摘要
层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则。
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.
出处
《火力与指挥控制》
CSCD
北大核心
2009年第8期4-9,共6页
Fire Control & Command Control
基金
国家自然科学基金资助项目(60574056)
关键词
组合仿真
语法组合
相容性
可替换性
组合判定
类型匹配
composable simulation ,syntactic composabiltiy ,compatibility,substitutability, composabiltiy checking,type matching
