欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
层次化特征是仿真可组合问题的本质特征之一，首先介绍了仿真可组合问题的基本概念，提出多层次的组合参考模型，以此引出语法层次的可组合问题，进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题，建立了三类变换条件下的类型等价及子类型匹配关系，并以此为基础构建了语法层次组合相容性及可替换性的判定规则。
英文摘要：
Hierarchical structure is the one of the key features of simulation composabiltiy. The bastc concepts of simulation coomposabiltiy was introduced firstly, then the hieraehial-multidimensional reference model was constructed, which drew the sysntactic level of simulation composability. The syntactic composition mismatch was studied from three points of view, i.e. naming, parameter sequence and complex types match. In order to address the mismatching issues described above, three type equivalence and subtyping rules under transformation were proposed, and based on these type matching relations, the definition and the formal checking rules for compostion compatibility and substitutability checking were formed.
同期刊论文项目
同项目期刊论文
期刊信息
位置：