摘要
联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。
Federation composability checking analyzes whether there are one or more than one manners that can meet the need and purpose of federation on semantics before constructing federation.Validity of federation is the main standard for checking the federation composability.Based on EATI,the formal theory of multi_resolution composability,and the formal representation of multi_resolution conceptual model and multi_resolution composable model are put forward. Through comparing these two models,the formal definition of federation validity is proposed,and then the method of federattion composability checking is given.The application showed that this method has some worth for constructing military simulation federation.
出处
《指挥控制与仿真》
2011年第2期57-60,80,共5页
Command Control & Simulation
基金
国家自然科学基金项目(71073172)
