SysML对C^4ISR系统建模的支持研究 被引量：4

1

作者 张炜钟 王智学 +1 位作者 朱卫星 陈剑 《南京理工大学学报》 EI CAS CSCD 北大核心 2011年第3期386-391,共6页

为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法。通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR... 为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法。通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysML的系统建模分析过程,结果表明该文方法对于C4ISR的精确语义建模合理可行。 展开更多

关键词 系统建模语言 精确描述 定量分析

下载PDF 职称材料

基于SysML的可执行体系结构框架 被引量：3

2

作者 张炜钟 王智学 赵文 《计算机工程》 CAS CSCD 北大核心 2011年第22期39-41,共3页

目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开... 目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程。应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导。 展开更多

关键词 统一建模语言 可执行体系结构 系统建模语言 建模 美国国防部体系结构框架

下载PDF 职称材料

移动式仓库管理终端系统的分析与设计 被引量：3

3

作者 张炜钟 周飞飞 +1 位作者 陈顺 赵永刚 《微型机与应用》 2014年第18期83-85,89,共4页

讨论了一个自主开发的移动仓储管理系统的设计和实现。该系统基于J2ME平台,能够配置在移动通信设备之上,完成现场货物信息的基本管理功能,以适应现代仓储管理的应用需求。

关键词 仓库管理 移动终端 B/S 模式 无线网络

下载PDF 职称材料

车辆维修应用中存在的问题与改进措施 被引量：4

4

作者 黄绍博 张炜钟 《内燃机与配件》 2018年第4期148-149,共2页

随着国民经济水平的提高,在日常生活中人们更加追求便捷,而汽车作为最常见的一种代步工具,已经成为家家户户的必备之物。在汽车的使用率不断上升的同时,如何保证汽车质量也成为人们热议的话题之一。所以车辆维修与保养的注意事项需要得... 随着国民经济水平的提高,在日常生活中人们更加追求便捷,而汽车作为最常见的一种代步工具,已经成为家家户户的必备之物。在汽车的使用率不断上升的同时,如何保证汽车质量也成为人们热议的话题之一。所以车辆维修与保养的注意事项需要得到相关维修人员的广泛关注。本文从三个方面提出车辆维修技术中存在的问题,分别是:维修人员技术跟不上技术发展步伐、维修手段跟不上新技术的发展和车辆维修检测工作中存在的问题,然后根据修理存在的问题分三个方面讨论如何改进车辆维修应用中出现的问题的措施,维修设备应向高科技化、智能化发展、加强维修管理系统的完善和加强维修人员的培训。 展开更多

关键词 车辆维修 新技术 发展 管理

下载PDF 职称材料

军事应用活动仿真建模研究 被引量：2

5

作者 赵文 王智学 张炜钟 《舰船电子工程》 2011年第5期15-19,56,共6页

针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并... 针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并可以方便地向仿真模型实例转化,有利于实现模型可执行仿真。 展开更多

关键词 应用活动模型 能力需求模型 BNF XML UML

下载PDF 职称材料

战略投送基地效能评估基本问题分析 被引量：3

6

作者 彭富兵 张炜钟 +1 位作者 李振克 王磊 《军事交通学院学报》 2017年第3期1-4,8,共5页

分析战略投送基地效能评估基本问题,是开展战略投送基地效能评估的基础,对构建战略投送基地效能评估理论体系具有重要意义。界定战略投送基地效能评估的内涵,阐述战略投送基地效能评估的目的,确定战略投送基地效能评估的层次、对象与内... 分析战略投送基地效能评估基本问题,是开展战略投送基地效能评估的基础,对构建战略投送基地效能评估理论体系具有重要意义。界定战略投送基地效能评估的内涵,阐述战略投送基地效能评估的目的,确定战略投送基地效能评估的层次、对象与内容,探讨如何选择战略投送基地效能评估方法。 展开更多

关键词 战略投送基地 效能评估 评估方法

下载PDF 职称材料

基于SysML的C^4ISR系统效能分析及建模方法 被引量：1

7

作者 王庆龙 王智学 +1 位作者 张炜钟 徐景 《指挥信息系统与技术》 2012年第5期50-56,共7页

针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和... 针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysM L的系统效能分析建模过程。结果表明该方法对C4ISR的效能分析建模合理可行。 展开更多

关键词 系统建模语言 C4ISR系统 系统效能分析 定量分析

下载PDF 职称材料

可执行能力需求模型的动作语义研究 被引量：1

8

作者 王智学 张炜钟 +1 位作者 赵文 姜志平 《系统工程与电子技术》 EI CSCD 北大核心 2011年第12期2662-2667,共6页

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型... 针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。 展开更多

关键词 统一建模语言 能力需求 动作语义 可执行模型

下载PDF 职称材料

一种UML活动图到模糊Petri网的转换算法 被引量：1

9

作者 张炜钟 王智学 陈剑 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期102-106,共5页

UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模... UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。 展开更多

关键词 模糊UML 模糊PETRI网 活动图 形式化 建模

下载PDF 职称材料

军区级铁路军事运输调度管理信息系统的设计与实现

10

作者 付国玺 周飞飞 张炜钟 《信息与电脑（理论版）》 2013年第1期38-39,共2页

本文利用数据库技术和地理信息系统技术,设计并实现了军区级铁路军事运输调度管理信息系统,目的在于改进军区铁路军事运输调度管理方式,有效地提高军交运输部门的办公效率,以信息化促进管理现代化。

关键词 铁路军事运输 调度管理 设计与实现

原文传递

基于本体的需求模型演变影响分析

11

作者 陈剑 何红悦 +1 位作者 徐晓铁 张炜钟 《解放军理工大学学报（自然科学版）》 EI 北大核心 2012年第5期501-504,共4页

为实现需求演变过程管理,有效解决需求演变对系统的影响分析,通过构造定义本体来记录需求演变不同周期内的各类信息,并采用分层管理的策略,根据需求之间的依赖关系,构建了需求依赖分层树,展示需求之间的相互依赖关系,并引入代价分析方... 为实现需求演变过程管理,有效解决需求演变对系统的影响分析,通过构造定义本体来记录需求演变不同周期内的各类信息,并采用分层管理的策略,根据需求之间的依赖关系,构建了需求依赖分层树,展示需求之间的相互依赖关系,并引入代价分析方程来确定需求演变处理的优先级。这种基于本体的方法能够形成需求演变管理框架,实现对需求演变的自动管理以及对需求演变控制和需求追踪。 展开更多

关键词 本体 需求管理 影响分析

下载PDF 职称材料

计算机在交通管理统计工作中的应用 被引量：1

12

作者 黄绍博 张炜钟 《信息记录材料》 2018年第6期58-59,共2页

随着科学技术的不断发展的大数据应用的兴起,计算机在交通管理统计中发挥着越来越重要的作用,本文详细介绍了交通管理统计的定义和计算机在交通管理统计中的重要性,对计算机在交通管理统计中的现状进行了认真分析,并深入剖析了计算机应... 随着科学技术的不断发展的大数据应用的兴起,计算机在交通管理统计中发挥着越来越重要的作用,本文详细介绍了交通管理统计的定义和计算机在交通管理统计中的重要性,对计算机在交通管理统计中的现状进行了认真分析,并深入剖析了计算机应用存在的问题,同时就如何在交通统计中合理应用计算机技术,提出了对策措施。 展开更多

关键词 计算机 交通管理 统计工作

下载PDF 职称材料

战略投送基地保障能力仿真评估 被引量：1

13

作者 张炜钟 彭富兵 《军事交通学院学报》 2017年第12期1-5,共5页

为加强战略投送基地建设,提高战略投送基地保障能力,通过对某战略投送基地保障系统的功能结构和业务流程的分析,依托ExtendSim仿真平台构建基地转运系统全要素、全过程的仿真模型,结合建制部队投送转运任务实例进行仿真分析,找出制约保... 为加强战略投送基地建设,提高战略投送基地保障能力,通过对某战略投送基地保障系统的功能结构和业务流程的分析,依托ExtendSim仿真平台构建基地转运系统全要素、全过程的仿真模型,结合建制部队投送转运任务实例进行仿真分析,找出制约保障能力的"瓶颈"环节,并给出提升基地保障能力的对策与建议。 展开更多

关键词 战略投送基地 转运系统 保障能力 ExtendSim

下载PDF 职称材料

战略投送需求概念与基本要素分析

14

作者 张国全 付国玺 +1 位作者 郭鹏飞 张炜钟 《军事交通学报》 2022年第12期1-5,共5页

为战略投送需求问题的深入研究奠定逻辑起点,进一步形成统一认识,需要厘清战略投送需求基本概念。以战略投送和需求这两个概念内涵为基础,阐释战略投送需求概念,论述战略投送需求属性,围绕需求主体、需求对象和供给主体,对战略投送需求... 为战略投送需求问题的深入研究奠定逻辑起点,进一步形成统一认识,需要厘清战略投送需求基本概念。以战略投送和需求这两个概念内涵为基础,阐释战略投送需求概念,论述战略投送需求属性,围绕需求主体、需求对象和供给主体,对战略投送需求基本要素进行系统分析,以完善对概念的认识。 展开更多

关键词 战略投送 战略投送需求 基本要素

下载PDF 职称材料

信息化条件下军用车辆管理的思考探讨

15

作者 黄绍博 张炜钟 《信息记录材料》 2018年第6期222-223,共2页

信息化条件下后勤保障任务艰巨,车辆运输保障作为后勤保障的重要组成部分,在战时必须发挥重要作用以支持前方战斗需求。因此为保证车辆保障任务的顺利遂行,研究提高车辆管理质量和保障能力具有十分重要的意义。

关键词 信息化条件 军用车辆 保障需求

下载PDF 职称材料

面向目标的C4ISR系统效能概念建模与一致性分析方法

16

作者 王智学 董庆超 +1 位作者 张炜钟 蒋鑫 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2013年第9期2381-2389,共9页

为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念... 为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性. 展开更多

关键词 效能分析 软目标 一致性 描述逻辑

原文传递

建制部队战略投送保障需求测算方法研究

17

作者 张炜钟 张国全 《综合运输》 2017年第3期62-67,共6页

建制部队战略投送保障需求的测算是一项重大而又艰巨的任务。针对目前投送保障需求测算方法缺乏规范性和统一性问题,提出战略投送保障需求测算方法框架。通过分析建立战略投送保障任务模型和需求模型,给出任务-需求匹配测算方法。以铁... 建制部队战略投送保障需求的测算是一项重大而又艰巨的任务。针对目前投送保障需求测算方法缺乏规范性和统一性问题,提出战略投送保障需求测算方法框架。通过分析建立战略投送保障任务模型和需求模型,给出任务-需求匹配测算方法。以铁路车辆保障为例,构建人员和装备的保障需求测算模型。通过该方法的研究,为整建制部队战略投送保障方案、能力评估、技术装备与标准规范等研究提供设计参考,为整建制部队战略投送保障能力建设提供决策指导。 展开更多

关键词 交通运输 需求测算 战略投送 保障能力 模型

原文传递

军用车辆交通风险控制问题探究

18

作者 黄绍博 张炜钟 《内燃机与配件》 2018年第5期191-192,共2页

军用车辆安全管理工作随着现代风险管理理论和技术的发展备受关注,风险控制的范围也越来越大。控制交通风险可以有效减少交通事故的发生,所以应对交通风险的策略也越来越多。交通风险的应对策略是回避风险、减轻风险以及转移风险策略,... 军用车辆安全管理工作随着现代风险管理理论和技术的发展备受关注,风险控制的范围也越来越大。控制交通风险可以有效减少交通事故的发生,所以应对交通风险的策略也越来越多。交通风险的应对策略是回避风险、减轻风险以及转移风险策略,本文主要从消除风险因素、降低风险发生的概率以及降低风险后果这三个点提出交通风险的应对策略,为做好车辆交通事故预防工作提供理论参考,最后根据交通风险应对策略提出了军用车辆交通风险的措施。 展开更多

关键词 交通风险 军用车辆 运输安全

下载PDF 职称材料

复杂系统能力需求模型的仿真技术与实现 被引量：1

19

作者 张炜钟 王智学 +2 位作者 王庆龙 赵文 陈剑 《系统工程与电子技术》 EI CSCD 北大核心 2012年第7期1419-1423,共5页

为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后... 为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。 展开更多

关键词 统一建模语言 能力需求模型 可执行 仿真

下载PDF 职称材料