检索结果-南通市图书馆

系统工程与电子技术 2017年第5期39卷 1030-1035页

作者：傅炯罗爱民罗雪山刘俊先国防科学技术大学信息系统工程重点实验室湖南长沙410073

针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Pe... 详细信息

针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。

关键词：体系结构体系结构验证评估可执行模型物理交换规范 Petri网标记语言

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

体系结构评估方法的研究与实现

引用

计算机与现代化 2009年第8期 23-25页

作者：徐卫克中国青年政治学院计算机教学与应用中心北京100089

体系结构评估方法在体系结构评估中起着决定性的作用,论文对于目前比较流行的体系结构评估方法进行了比较,并在深入分析体系结构评估基本原理、实现步骤的基础上,从需求角度、开发角度和项目管理角度提出了一套较为通用的体系结构验证... 详细信息

体系结构评估方法在体系结构评估中起着决定性的作用,论文对于目前比较流行的体系结构评估方法进行了比较,并在深入分析体系结构评估基本原理、实现步骤的基础上,从需求角度、开发角度和项目管理角度提出了一套较为通用的体系结构验证评估指标体系,以期能为体系结构的验证评估提供理论和技术参考。

关键词：体系结构体系结构验证评估

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

信息安全视角下的C^4ISR系统耦合性研究

引用

计算机工程与设计 2011年第10期32卷 3266-3269页

作者：陈磊马自堂孙磊解放军信息工程大学电子技术学院

针对以耦合率为指标之一的C4ISR系统体系结构设计合理性验证评估问题,从功能系统间交互信息的安全性需求出发,通过推理揭示出密钥关系的耦合本质,进而提出并分析了密钥关联耦合的概念及其属性。给出了密钥关联耦合的定量度量方法,采用... 详细信息

针对以耦合率为指标之一的C4ISR系统体系结构设计合理性验证评估问题,从功能系统间交互信息的安全性需求出发,通过推理揭示出密钥关系的耦合本质,进而提出并分析了密钥关联耦合的概念及其属性。给出了密钥关联耦合的定量度量方法,采用该方法能在体系结构设计结束后就实施并完成度量,且不必考虑密码算法及密钥长度等细节问题。利用Briand等人提出的准则证明了度量方法的科学性与合理性,并结合案例说明了度量方法的可行性与易操作性。

关键词：体系结构验证评估耦合信息安全 C^4ISR系统度量

来源：

维普期刊数据库

同方期刊数据库评论