论文部分内容阅读
为了解决信息家电辅助控制系统中仿真构件开发的复杂性和多样性，降低整个系统的开发难度，提出了一种适用于系统开发的仿真构件数学模型；给出了信息家电辅助系统中仿真构件的定义、分类和数学模型，并根据Hoare逻辑，提出了验证仿真构件内部逻辑设计正确与否的方法；最后，给出了一个空调辅助开发系统中仿真构件的实现方法。