检索结果-内蒙古大学图书馆

计算机仿真 2009年第7期26卷 109-112页

作者：杨惠珍李家宽康凤举西北工业大学航海学院陕西西安710072

联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模... 详细信息

联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。

关键词：联邦概念模型校核验证与确认模糊层次分析法形式化校核

来源：评论

学校读者我要写书评

暂无评论

CPN在联邦概念模型形式化建模与验证中的应用

CPN在联邦概念模型形式化建模与验证中的应用

引用

2010中国科协海峡两岸青年科学家学术活动月“仿真科学与技术”学术研讨会

作者：郝莉莉杨惠珍西北工业大学航海学院西安 710072 水下信息处理与控制国家重点实验室西安 710072

联邦概念模型是整个联邦系统开发的依据,采用形式化的方法建立和验证联邦概念模型有助于提高模型的可重用性和可信度。分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri 网的联邦概念模型形式化建模与验证方法,给... 详细信息

联邦概念模型是整个联邦系统开发的依据,采用形式化的方法建立和验证联邦概念模型有助于提高模型的可重用性和可信度。分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri 网的联邦概念模型形式化建模与验证方法,给出了用着色Petri 网建立与验证联邦概念模型的步骤,并以一制造系统为例,利用CPN Tools建立了系统的联邦概念模型,验证了所建模型的活性、家态和公平性。研究表明,着色Petri网能够为联邦概念模型的形式化建模和验证提供有效的支持。

关键词：着色Petri网联邦概念模型形式化建模形式化验证

来源：评论

学校读者我要写书评

暂无评论

基于HLA的电站仿真联邦技术研究

基于HLA的电站仿真联邦技术研究

引用

作者：马萍哈尔滨工业大学

学位级别：博士

随着电力系统的飞速发展,电力系统内不同类型仿真系统之间的联网仿真过程中暴露的问题日益突出,使得系统之间的联网仿真难以实施.该文基于高层体系结构(HLA)对电站仿真系统的设计与开发过程的关键技术问题进行了深入系统的研究,有效地... 详细信息

随着电力系统的飞速发展,电力系统内不同类型仿真系统之间的联网仿真过程中暴露的问题日益突出,使得系统之间的联网仿真难以实施.该文基于高层体系结构(HLA)对电站仿真系统的设计与开发过程的关键技术问题进行了深入系统的研究,有效地解决了联网问题,使电力系统内不同类型仿真系统的联网仿真方便易行,同时增加了仿真部件和模型的可重用性,对分布式仿真系统的研究、开发及应用具有重要的理论意义及实际应用价值.该文首先回顾了电力系统仿真的历史与现状,探讨了电力系统仿真的应用范围及发展的新方向,分析了该文研究的背景及意义;对HLA的概念、发展历程及应用领域进行了全面的综述.接着该文在第二章针对基于HLA的电站仿真联邦概念模型的建模问题进行了深入的研究,提出了按照战略层、系统层和对象层进行分层次建立联邦概念模型的方法,给出了联邦概念模型的建模过程模型以及不同层次概念模型的描述方法,建立了基于HLA的电站仿真联邦的概念模型,并对联邦概念模型的验证方法进行了研究.该文第三章深入地研究了HLA仿真联邦的设计与优化问题.该文第四章对已有电站仿真系统与HLA联邦的集成方法进行了研究.该文在第五章讨论了HLA联邦测试的基本原则,给出了HLA仿真联邦全生命周期的测试框架;研究并给出了联邦成员OMT测试方法、联邦成员接口规范测试方法、集成测试方法以及联邦剧本测试方法,最后完成了联邦测试平台的设计.该文最后对\"基于HLA的电站仿真联邦技术研究\"进行了总结,并指出了未来的研究方向.

关键词：高层体系结构电站仿真联邦概念模型联邦对象模型联邦测试

来源：评论

学校读者我要写书评

暂无评论

CPN在FCM形式化建模与验证中的应用

引用

计算机仿真 2011年第6期28卷 113-116页

作者：郝莉莉杨惠珍谢攀西北工业大学航海学院陕西西安710072

联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证... 详细信息

联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。

关键词：联邦概念模型形式化建模形式化验证

来源：评论

学校读者我要写书评

暂无评论

基于HLA的联邦开发过程的研究和应用

基于HLA的联邦开发过程的研究和应用

引用

作者：曾艳丽电子科技大学

学位级别：硕士

本文研究了新一代的分布式仿真体系结构HLA和联邦开发与运行FEDEP模型,并以开发电子对抗仿真系统联邦为例,研究了联邦开发的通用技术,总结了开发联邦过程中使用的方法和工具。首先,论文简单论述HLA的主要内容和基本概念;以开发电子对抗... 详细信息

本文研究了新一代的分布式仿真体系结构HLA和联邦开发与运行FEDEP模型,并以开发电子对抗仿真系统联邦为例,研究了联邦开发的通用技术,总结了开发联邦过程中使用的方法和工具。首先,论文简单论述HLA的主要内容和基本概念;以开发电子对抗仿真系统联邦为例,详细阐述了FEDEP模型的每个实现阶段包含的主要工作;同时,分析了联邦成员开发的方法,提出了一种适合态势显示应用的联邦成员的组成结构。其次,研究了开发联邦使用的建模技术,根据实际开发联邦的经验,总结了建立联邦概念模型、联邦对象模型和仿真对象模型的过程、方法,并且使用了专用的建模工具实现了三种模型的建立。同时,比较了面向对象思想在联邦建模过程的运用和在传统面向对象软件开发过程运用的区别,分析了其特殊性。最后,研究了HLA的时间管理策略,分析了在联邦开发过程中,联邦成员可以选择的时间管理策略的方案,同时总结了选择不同时间管理策略方案的原则。

关键词：高层体系结构联邦概念模型联邦对象模型仿真对象模型时间管理

来源：评论

学校读者我要写书评

暂无评论

基于HLA的反辐射无人机系统仿真研究

引用

微计算机信息 2009年第1期25卷 246-248页

作者：胡啸刘守义徐继明空军工程大学电讯工程学院西安710077

基于HLA建立仿真应用系统是提高作战仿真活动效率、检验武器系统作战效能的有效途径。分析了反辐射无人机与雷达对抗仿真系统的组成和特点,介绍了基于HLA的反辐射无人机仿真系统的体系结构,开发了系统的FOM/SOM表,探讨了基于HLA的仿真... 详细信息

基于HLA建立仿真应用系统是提高作战仿真活动效率、检验武器系统作战效能的有效途径。分析了反辐射无人机与雷达对抗仿真系统的组成和特点,介绍了基于HLA的反辐射无人机仿真系统的体系结构,开发了系统的FOM/SOM表,探讨了基于HLA的仿真应用系统开发的一般过程,给出了反辐射无人机与雷达对抗仿真系统的设计实例。

关键词：高层体系结构反辐射无人机联邦概念模型仿真

来源：评论

学校读者我要写书评

暂无评论

虚拟舰艇设计与开发

虚拟舰艇设计与开发

引用

'2005系统仿真技术及其应用学术交流会

作者：徐永杰孙永侃海军大连舰艇学院海军大连舰艇学院

虚拟舰艇是海战仿真中作战水面舰艇的仿真实体表示,是实现海军装备体系对抗仿真环境的主要部件之一,其本身也是一个综合仿真系统和虚拟实验环境。结合实际的虚拟舰艇构建过程,从开发联邦概念模型出发,应用HLA技术对虚拟舰艇联邦进行总... 详细信息

虚拟舰艇是海战仿真中作战水面舰艇的仿真实体表示,是实现海军装备体系对抗仿真环境的主要部件之一,其本身也是一个综合仿真系统和虚拟实验环境。结合实际的虚拟舰艇构建过程,从开发联邦概念模型出发,应用HLA技术对虚拟舰艇联邦进行总体设计;明确了虚拟舰艇联邦结构和功能设计,分析联邦运行功能需求,设计了联邦运行管理流程;按照设计的开发步骤完成了虚拟舰艇联邦对象模型（VS-FOM）的开发,并给出了VS-FOM的核心类表和基类属性表和系统软件实现的方案;实现的虚拟舰艇已应用于单舰作战过程仿真。

关键词：虚拟舰艇 HLA 联邦概念模型联邦运行管理

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：