仿真模型的语法可组合问题及组合判定  

Study on Syntactic Composablity of Simulation Models and Composability Checking

作　　者：周东祥[1] 李群[1] 王维平[1] 

机构地区：[1]国防科技大学信息系统与管理学院,湖南长沙410073

出　　处：《火力与指挥控制》2009年第8期4-9,共6页Fire Control & Command Control

基　　金：国家自然科学基金资助项目(60574056)

摘　　要：层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则。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.

关 键 词：组合仿真 语法组合 相容性 可替换性 组合判定 类型匹配 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]