基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。

Research of Composability Checking for Multi_resolution

Federation composability checking analyzes whether there are one or more than one manner 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, put forward the formal theory of multi_resolution composability, and then the formal representation of multi_resolution conceptual model and multi_resolution composable model. 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.