10.3969/j.issn.1672-058X.2006.03.016
信息家电控制器辅助系统仿真构件数学模型
为了解决信息家电辅助控制系统中仿真构件开发的复杂性和多样性,降低整个系统的开发难度,提出了一种适用于系统开发的仿真构件数学模型;给出了信息家电辅助系统中仿真构件的定义、分类和数学模型,并根据Hoare逻辑,提出了验证仿真构件内部逻辑设计正确与否的方法;最后,给出了一个空调辅助开发系统中仿真构件的实现方法.
构件模型、构件接口、软件复用、仿真构件
23
TP311(计算技术、计算机技术)
2006-07-31(万方平台首次上网日期,不代表论文的发表时间)
共4页
273-276