舰艇编队区域防空探索性建模与分析

舰艇编队的区域防空作战是一个复杂问题.具有体系特性的战略层规划一直是其中的重点和难点.探索性分析正是适宜解决这一难题的方法论,它可以通过高层次模型的定量探索,在深入细节之前对问题有个广度的了解.依照探索性分析的思想,从宏观层次描述舰艇编队区域防空问题;基于所设计的时间片影响图分析建模软件工具EASim,建立了该问题的高...     

基于粒度计算的指控系统效能测度的探索性建模方法

分析了探索性分析模型的粒度原理,建立了基于粒度计算的指控系统效能测度的探索性分析模型,重点研究了探索性分析模型的建立,属性函数的构造和探索因子集的粒度获取方法,并结合多兵种联合作战案例,对使命完成时间测度进行了探索性分析,实验表明,基于粒度计算的探索性建模方法能够通过粒度的转换降低问题的复杂度,并在不同粒度层次上实现对问题描述的一致性。     

八种作战分析模型的逻辑框架研究

作战分析模型是作战实验室的支柱模型系统之一,是针对指挥人员或作战研究人员关注的重难点问题进行分析的工具。作战力量需求分析模型、作战效益分析模型、作战力量替换分析模型、作战指挥效益分析模型、作战编成优化分析模型、作战信息网有效性分析模型、作战地域电磁监控分析模型、作战保障到达率分析模型是八种重要、常用的作战分析模型,在开发时应聚焦和简化需求,搞清逻辑关系,再进行算法设计。     

基于探索性计算实验的信息化武器装备体系优化方法

针对信息化武器装备体系复杂系统的结构优化问题,以综合集成思想和复杂自适应系统理论为指导,提出探索性计算实验优化方法和面向探索性计算实验的SABI(System of system,Agent,Behavior,Interaction)建模方法。在分析武器装备体系结构优化目标的基础上,依据武器装备体系探索性计算实验自顶向下的探索分析和自底向上的综合集成分析的要求,给出了武器装备体系结构探索性计算实验优化分析逻辑框架和基于多Agent的武器装备体系探索性计算实验优化分析模型。     

作战体系优化方法

体系对抗已成为高技术战争的一个基本形态,它的作战能力不仅取决于体系构成要素的强弱,更取决于要素组合状态的优劣,作战体系的优化是实现最大作战效能的必要手段,也是高技术体系对抗作战迫切需要解决的问题.在给出探索性分析和作战体系的基本概念和体系评价准则后,提出了作战体系的优化方法并给出了优化过程描述.该方法主要采用探索性分析方法进行体系对抗仿真,并对仿真结果、作战任务指标、武器费用进行综合分析,最后得出最优的作战体系.     

网络中心作战体系效能评估问题

网络中心作战体系效能评估问题是网络中心战研究领域的重要问题.阐述了该问题的研究内容,分析了网络中心作战体系效能评估的概念及特点,概述了研究网络中心作战体系效能评估的基本问题:作战效能产生机制、评估指标体系、评估方法和评估工具等,为进一步研究该问题提供了一个参考体系.最后,提出一个基于探索性建模与分析方法的网络中心作战体系效能评估框架.     

基于UML的C4ISR体系结构描述方法

C4ISR系统是集指挥、控制、通信、计算机和情报、监视、侦察为一体的复杂大系统,无论开发和仿真都需要建立科学合理的需求分析模型.根据UML的特点和C4ISR体系结构及其产品特点,提出了用UML来描述C4ISR体系结构的方法,并通过对某防空旅的作战描述说明了该方法的可行性.     

军事概念模型知识获取过程方法和工具

军事概念模型是独立于实现的真实世界的实体、任务等作战要素的表示.军事概念模型是军事建模仿真系统开发中非常重要的一步,对于仿真的可信度具有重要的影响.从知识系统开发的观点将军事概念模型开发分成知识获取和知识工程两个阶段.探讨了军事知识获取的过程,知识结构化描述的表示方法、语言和描述过程,在此基础上开发了支持军事概念模型知识获取的工具"兵书一号",并得到了广泛的推广和应用.     

问题链式教学模式在工程力学课程教学中的应用

描述了问题链式教学模式的内涵,并结合工程力学课程中应力状态分析的具体实例,将该教学内容梳理、提炼和升华,设计成链状结构的环环紧扣的问题集合,说明了问题链式教学模式的应用方法。由此可以引导学生探索性地发现问题、解决问题,提高学生的独立思考和创新思维能力。     

一种通用仿真支撑系统在模拟器研制中的应用

介绍了一种通用仿真支撑系统MINIS的功能及主要特点,阐述了其建模原理与实现方法,并以一个电站模拟器研制的实例说明了其在仿真软件开发中的应用.     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

基于传递闭包的任务时序依赖关系建模方法

建立正确、有效的任务模型是正确引导出信息系统需求的关键步骤。文中针对任务间时序依赖关系,给出与任务建模相关的若干形式定义和命题,帮助分析人员判断任务间的并发和死锁。给出任务间时序依赖关系建模的详细步骤,并根据时序依赖关系的传递性质,给出一种任务关系图上的传递闭包方法,可以帮助分析人员直观地判断任务间时序依赖关系的问题和错误,科学、合理地标记各个任务的时序等级属性,帮助建模人员从全局上明确各个任务在执行时所处的相对位置,以及在每个阶段需要同时展开哪些任务。     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

基于制导武器的分布式半实物仿真系统研究

应导弹动态性能指标检验的迫切需求,开发了基于制导武器的分布式半实物仿真系统。充分利用仿真模型构建一体化思想,将整个半实物仿真系统按其功能划分成若干个网络节点,采用弹道仿真工作站集中式分布的星形结构进行分布式系统仿真。仿真软件借鉴Windows操作系统消息、事件驱动方式,采用客户/服务器运行机制,基于VC＋＋软件开发工具实现了半实物仿真系统中的数据采集、视景驱动的多线程开发,修正了视线角误差,从而确保了导弹动态性能检测精度;实现了导弹攻击过程可视化仿真,较准确地再现了制导武器在不同干扰条件下的攻击过程。     

C2组织探索性分析框架设计研究

以验证组织优化设计方法为目的,将探索性分析思想引入组织优化设计研究,根据探索性分析的特点与组织优化设计方法验证的具体需要,对C2组织探索性分析的过程进行了研究,初步设计了面向C2组织的探索性分析框架并对其中的关键技术进行了分析。     

多Agent系统计算的意愿理论

意愿是规范和描述多Ａｇｅｎｔ系统的一个重要抽象认知概念。本文提出了多Ａｇｅｎｔ系统计算的意愿理论以支持多Ａｇｅｎｔ系统计算的理论研究。基于多Ａｇｅｎｔ系统计算的动作模型理论，我们给出了意愿概念新的语义定义，获取和描述了它的一些重要逻辑属性。     

移动智能体的形式化研究

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望     

有源消声技术与应用述评

近十几年来 ,有源消声技术成为噪声控制领域一个多学科交叉、渗透、延伸的研究热点 ,它以其体积小、重量轻、低频消声效果好等优点获得普遍的关注。本文简述有源消声的基本原理 ,对有源消声理论研究、实现技术、产品应用三个方面的国内外研究现状、进展和难点进行了详细的阐述和分析 ,较为完整地展示了当前该研究领域的全貌 ,最后进一步分析了有源消声走向工程化过程中存在的一些主要问题 ,提出了有源消声技术的几个重点发展方向