赵文
- 作品数:4 被引量:7H指数:2
- 供职机构:解放军理工大学指挥自动化学院更多>>
- 发文基金:国家高技术研究发展计划国防科技技术预先研究基金国家部委资助项目更多>>
- 相关领域:军事自动化与计算机技术自然科学总论更多>>
- 复杂系统能力需求模型的仿真技术与实现被引量:1
- 2012年
- 为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。
- 张炜钟王智学王庆龙赵文陈剑
- 关键词:统一建模语言仿真
- 可执行能力需求模型的动作语义研究被引量:1
- 2011年
- 针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。
- 王智学张炜钟赵文姜志平
- 关键词:统一建模语言动作语义可执行模型
- 基于SysML的可执行体系结构框架被引量:3
- 2011年
- 目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程。应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导。
- 张炜钟王智学赵文
- 关键词:统一建模语言可执行体系结构系统建模语言
- 军事应用活动仿真建模研究被引量:2
- 2011年
- 针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并可以方便地向仿真模型实例转化,有利于实现模型可执行仿真。
- 赵文王智学张炜钟
- 关键词:BNFXMLUML