检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]通信指挥学院,湖北武汉430010 [2]中国电子设备系统工程研究所,北京100039 [3]解放军西安陆军学院,陕西西安710108
出 处:《火力与指挥控制》2008年第9期4-5,10,共3页Fire Control & Command Control
基 金:"十五"武器装备预研基金项目(41306070201)
摘 要:在分析基于CPN(Colored Petri Net)仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的转换方法进行了探讨,并结合实例利用具体信息系统对其体系结构进行了逻辑验证、行为和效能评估。On the basis of architectural validation and evaluation by CPN simulation, the paper discusses conversion method from architectural products to executable model, and logic validation, behavior and effectiveness evaluation of the architecture are carried out through the practical information system.
关 键 词:C^4ISR体系结构 CPN 验证 评估
分 类 号:TP302[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3