|
| 摘要: |
| 为了解决信息家电辅助控制系统中仿真构件开发的复杂性和多样性,降低整个系统的开发难度,提出了一种适用于系统开发的仿真构件数学模型;给出了信息家电辅助系统中仿真构件的定义、分类和数学模型,并根据Hoare逻辑,提出了验证仿真构件内部逻辑设计正确与否的方法;最后,给出了一个空调辅助开发系统中仿真构件的实现方法。 |
| 关键词: 构件模型,构件接口,软件复用,仿真构件 |
| DOI： |
| 分类号:TP311 |
| 基金项目: |
|
| Research into simulation component-based mathematical model of auxiliary system of information appliance |
|
ZHU Chao-ping LIN Ji-hai
|
| Abstract: |
| 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 g |
| Key words: simulation component,component model,component interface,software reuse |
