重庆工商大学学报（自然科学版）
重慶工商大學學報（自然科學版）
중경공상대학학보（자연과학판）
JOURNAL OF CHONGQING TECHNOLOGY AND BUSINESS UNIVERSITY(NATURAL SCIENCE EDITION)
2006年
3期
273-276
,共4页
构件模型%构件接口%软件复用%仿真构件
構件模型%構件接口%軟件複用%倣真構件
구건모형%구건접구%연건복용%방진구건
为了解决信息家电辅助控制系统中仿真构件开发的复杂性和多样性,降低整个系统的开发难度,提出了一种适用于系统开发的仿真构件数学模型;给出了信息家电辅助系统中仿真构件的定义、分类和数学模型,并根据Hoare逻辑,提出了验证仿真构件内部逻辑设计正确与否的方法;最后,给出了一个空调辅助开发系统中仿真构件的实现方法.
為瞭解決信息傢電輔助控製繫統中倣真構件開髮的複雜性和多樣性,降低整箇繫統的開髮難度,提齣瞭一種適用于繫統開髮的倣真構件數學模型;給齣瞭信息傢電輔助繫統中倣真構件的定義、分類和數學模型,併根據Hoare邏輯,提齣瞭驗證倣真構件內部邏輯設計正確與否的方法;最後,給齣瞭一箇空調輔助開髮繫統中倣真構件的實現方法.
위료해결신식가전보조공제계통중방진구건개발적복잡성화다양성,강저정개계통적개발난도,제출료일충괄용우계통개발적방진구건수학모형;급출료신식가전보조계통중방진구건적정의、분류화수학모형,병근거Hoare라집,제출료험증방진구건내부라집설계정학여부적방법;최후,급출료일개공조보조개발계통중방진구건적실현방법.
