信息家电控制器辅助系统仿真构件数学模型

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

Research into simulation component-based mathematical model of auxiliary system of information appliance

In order to solve the complex and diverse problems in developing auxiliary system of information appliance to reduce difficulty in the whole system development,the thesis covers mathematical model of auxiliary system of information appliance.The article gives the definition,classification and mathematical model and supplies a logic testification of the validity of interior logical design of simulation component according to the Hoare logic.Finally,it provides a realized method of simulation component in auxiliary development system of air-condition.