张炜钟
- 作品数：12 被引量：16H指数：3
- 供职机构：中国人民解放军军事交通学院更多>>
- 发文基金：国家高技术研究发展计划国防科技技术预先研究基金国家部委资助项目更多>>
- 相关领域：自动化与计算机技术军事自然科学总论更多>>
- 一种UML活动图到模糊Petri网的转换算法被引量：1
- 2008年
- UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。
- 张炜钟王智学陈剑
- 关键词：模糊PETRI网活动图形式化
- 基于本体的需求模型演变影响分析
- 2012年
- 为实现需求演变过程管理,有效解决需求演变对系统的影响分析,通过构造定义本体来记录需求演变不同周期内的各类信息,并采用分层管理的策略,根据需求之间的依赖关系,构建了需求依赖分层树,展示需求之间的相互依赖关系,并引入代价分析方程来确定需求演变处理的优先级。这种基于本体的方法能够形成需求演变管理框架,实现对需求演变的自动管理以及对需求演变控制和需求追踪。
- 陈剑何红悦徐晓铁张炜钟
- 关键词：本体需求管理
- 基于SysML的C^4ISR系统效能分析及建模方法被引量：1
- 2012年
- 针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysM L的系统效能分析建模过程。结果表明该方法对C4ISR的效能分析建模合理可行。
- 王庆龙王智学张炜钟徐景
- 关键词：系统建模语言C4ISR系统系统效能分析
- 移动式仓库管理终端系统的分析与设计被引量：3
- 2014年
- 讨论了一个自主开发的移动仓储管理系统的设计和实现。该系统基于J2ME平台,能够配置在移动通信设备之上,完成现场货物信息的基本管理功能,以适应现代仓储管理的应用需求。
- 张炜钟周飞飞陈顺赵永刚
- 关键词：仓库管理移动终端B/S无线网络
- 复杂系统能力需求模型的仿真技术与实现被引量：1
- 2012年
- 为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。
- 张炜钟王智学王庆龙赵文陈剑
- 关键词：统一建模语言仿真
- 可执行能力需求模型的动作语义研究被引量：1
- 2011年
- 针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。
- 王智学张炜钟赵文姜志平
- 关键词：统一建模语言动作语义可执行模型
- SysML对C4ISR系统建模的支持研究
- 针对目前CISR系统分析与设计中采用的建模方法,通过分析比较研究它们存在的不足。分析了系统建模语言SysML的语义和图形机制,重点探讨了SysML对CISR系统建模的支持作用,包括新增模型和扩展模型的支持。并以某区域防空...
- 张炜钟王智学朱卫星刘丽丽
- 关键词：系统建模语言UML
- 文献传递
- 基于SysML的可执行体系结构框架被引量：3
- 2011年
- 目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程。应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导。
- 张炜钟王智学赵文
- 关键词：统一建模语言可执行体系结构系统建模语言
- 一种UML活动图到模糊Petri网的转换算法
- UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统...
- 张炜钟王智学陈剑
- 关键词：PETRI网活动图软件工程
- 文献传递
- SysML对C^4ISR系统建模的支持研究被引量：4
- 2011年
- 为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法。通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysML的系统建模分析过程,结果表明该文方法对于C4ISR的精确语义建模合理可行。
- 张炜钟王智学朱卫星陈剑
- 关键词：系统建模语言
