部队铁路输送梯队划分模型研究

根据部队铁路输送梯队编成的一般规律,提出并构建了梯队划分数学模型,研究了模型的求解方法,并结合实验验证了模型及解法的有效性。模型及其求解方法可应用于部队铁路输送列车梯队编成自动化。     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

防空预警雷达阵地配置及其物元分析

防空预警雷达阵地配置是防空兵战前决策的重要内容。首先分析了影响和决定防空预警雷达阵地配置的战术因素、生存因素和地形因素,总结了防空预警雷达阵地配置的约束条件,然后依据整体探测效能最优的原则提出了防空预警雷达阵地配置的基本模型,探讨了通过调整约束参数来自动生成方案及控制方案数量的问题,最后运用物元分析法对配置方案的合理性进行了分析评判,并对配置方案进行排序,以辅助指挥员决策。     

一种通用的兵力编成方案辅助生成方法

从统一技术体制和应用模式的角度出发,建立通用兵力编成方案的描述模型,用自定义指令解析机制实现兵力编成软件中数据与显示软件模块的解耦,并给出部队实力同步级联自动统计的实现算法,进而提出一种通用的兵力编成方案辅助生成方法,为实现编成拟制软件的通用性、灵活性和可扩展性提供参考。     

基于体系结构物理交换规范的作战活动可执行模型构建方法

作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型,并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。     

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

舰船作战系统一体化建模仿真环境研究

分析了舰船作战系统仿真的现状和一体化建模仿真环境的特点,讨论了一体化建模仿真环境应具备的功能：模型管理、模型验证、仿真管理、仿真生成、数据管理、数据分析、文档生成、资源共享和协同管理,给出了一体化建模仿真环境的体系结构、运行模式和工作流程,最后提出了仿真应用程序代码自动生成技术的解决方案。     

舰载武器系统研制方案多目标生成与评价方法

舰载武器系统研制方案的生成、评价与优选问题是武器装备研制论证中的重要内容.在分析目前舰载武器系统研制方案论证方法的基础上,构建了舰载武器系统多目标优化模型,提出了舰载武器系统研制方案的多目标生成方法,并建立了不完全偏好信息的舰载武器系统研制方案的多目标评价与优选模型.实例分析说明,该模型与方法是有效的,可为武器装备研制论证问题提供辅助决策方法和智力支持.     

驱逐舰武器配置模型研究

如何生成武器配置的可行方案 ,是舰船顶层设计的问题。本文采用运筹学方法 ,建立了驱逐舰武器配置的目标规划模型 ,讨论了建模过程和模型求解。     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

炮控系统故障诊断树自动生成技术研究

针对人工建立故障诊断树可能存在建树不完全、建树过程费时费力的问题,对故障诊断树自动生成技术进行了研究,开拓了计算机辅助故障诊断的方法途径。首先详细论述了故障诊断树自动生成技术的4个关键步骤,分别是故障诊断信息建模、系统结构图的绘制、数据库的存储和故障诊断树的生成;然后基于Visio VBA软件和ACCESS数据库设计开发了炮控系统结构图绘制模块和故障诊断树生成模块;最后通过一个具体实例实现了故障诊断树的自动生成。结果表明:故障诊断树自动生成技术有助于提高建树的效率和准确率。     

基于地域分析的智能空间决策支持技术

地域分析技术是作战指挥辅助决策的关键技术之一。详细介绍了基于多维战场环境条件下作战地域分析的智能空间决策支持系统的设计方法、系统结构、主要算法和实现。系统以军事地理信息系统、军用地图处理和态势信息系统为开发平台,设计过程中采用了联机分析处理、模型技术、数据挖掘、人工智能等辅助决策技术,实现了多约束条件下炮兵作战地域选择方案的自动生成和评估,提出了基于栅格元数据的地理信息表示模型、地域分析和评估模型、基于产生式规则的知识推理算法以及将模型、知识推理和实现方法紧密集成的决策支持模型,对基于地域分析的智能空间决策支持系统的系统结构和功能实现以及多层次决策支持技术进行了探索和研究。     

带数据传输的光学卫星成像调度系统关键技术研究

针对光学小卫星成像调度系统设计需求,考虑侧视、存储容量、能量和数据传输等复杂约束,面向小规模问题应用,设计了问题求解流程.建立了顶点和边都带权的成像约束图模型,并提出了基于标记更新最短路算法的复杂约束成像卫星调度算法解决成像方案生成过程;对数传方案生成过程,给出背包模型并采用带回看策略的贪婪启发式方法进行问题求解.实验结果表明,该方法是可行和适用的.     

雷达网情报保障方案决策支持系统设计

在现代防空战场环境下,雷达网面临各种复杂的情报保障任务。针对目前雷达网指挥自动化系统在情报保障辅助决策上的空白,设计了区域性雷达网情报保障方案自动生成决策支持系统（DSS）。运用决策支持系统的理论和方法对系统的建模进行了宏观的设计,阐述了系统的结构组成、功能模块和工作流程;并运用面向对象的方法实现模型库管理系统,将模型与数据完美结合。该系统为设计雷达网情报保障方案DSS提供了一条相对有效的途径。系统的实现还有待进一步的研究,但它的完成必将大大提高现有雷达网指挥自动化系统的辅助决策能力。     

Soar在水面舰艇CGF防空决策行为模型构建中的应用

计算机生成兵力(CGF)的行为模型研究一直是人工智能技术应用于军事仿真的一个重要研究内容。基于综合认知架构Soar设计并实现了水面舰艇CGF的自动防空决策行为模型,并在海战CGF系统中实现了该模型,应用结果表名Soar在构建CGF行为模型的有效性和可行性。     

基于树型结构的防空力量配属方案生成模型研究

根据当前防空作战任务,科学、快速地制定出防空力量配属方案,是防空作战指挥的一个难点.针对这一问题,构建了基于树型结构的防空力量配属方案生成模型.依据被保护目标的重要性及其特点,结合现有的防空力量资源,生成防空力量配属方案树,通过对方案树的访问得到所有的可行方案,并将其进行比较确定出最终的配属方案.     

基于对策编组的时敏目标打击方案生成方法

提出了一种基于对策编组的时敏目标打击方案快速生成方法。在给定时敏目标及各类作战资源相关信息的前提下,通过建立并求解时敏目标集与打击对策集之间的编组优化模型来实现打击方案的快速生成。生成的方案能够确保在攻击窗口内以最短的时间完成打击任务,从而提高了对时敏目标的快速打击能力。     

多阶段任务系统可靠性分析的二元决策图模型

为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤:基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明:该方法可以有效应用于多阶段任务系统的可靠性分析。     

面向磁场有限元分析的舰船模块化几何建模技术研究

运用模块化思想,完成了舰船结构模块和功能模块的划分,并通过对功能模块的变参,实现了自动生成船舶各个组成部件几何模型的建模系统。最后,以某舰几何模型为基础对该舰磁场分布进行有限元分析计算。结果表明,该方法计算精度较高,能够较好反映舰船空间磁场的分布。     

SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。