继电器软件模型

本文回顾了过去和现在所用的继电器模型。文中讨论了模型的各种形式，需要什么信息建立这些模型，模型的证明方法，列举一现在和将来可能使用的软件模型。