基于HTN作战计划生成技术中时序约束处理

针对以网络为中心的作战计划的特点,提出了基于层次任务网络的军事作战计划建模方法。在对层次任务网络形式化描述的基础上,结合简单时序网络和Allen区间代数对传统层次任务网络在时序约束方面进行扩展,介绍了扩展层次任务网络与简单时序网络的映射方法并给出计划求解算法。基于军事作战计划的抽象模型,提出了军事作战计划中军事规则、作战使命、作战能力和作战行动过程等要素与层次任务网络的映射关系。     

IDEF与UML相结合的作战任务建模方法

为了解决作战任务建模问题,在分析IDEF、UML两种建模语言优缺点的基础上,结合两者提出了一种新的建模方法.首先根据作战任务建模的功能需求,论述了使用IDEF0和IDEF3进行建模的可行性和使用时机,详细介绍了如何使用IDEF0和IDEF3描述作战任务本身信息和任务之间的逻辑和时序关系.然后给出IDEF0、IDEF3和UML之间的图元映射规则,将IDEF0、IDEF3模型转化为UML模型.最后,通过对一个潜舰对抗案例的作战任务进行建模,验证了该方法的有效性.     

作战任务的形式化描述及其过程表示方法

为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。     

面向战争设计工程的作战信息建模方法

首先对战争设计工程研究问题的思路进行了分析,给出了问题中存在的作战信息的结构.按照作战信息的结构,从实体、关系、任务、过程、交互5个方面,给出了作战信息的结构化、形式化建模的规范,主要为异质领域专家在理解问题、认识问题、表达解决思路中提供一定程度上的帮助,提高了战争设计工程的研究效率.     

基于离散事件仿真要素的军事仿真因果追溯方法

基于离散事件系统建模与仿真的军事仿真系统在军事筹划阶段扮演着至关重要的作用。因果追溯与分析是军事仿真中重要的技术，它可以在大量的数据与复杂的交互关系中找出时序上的关联关系，帮助研究人员确定作战行动中的一些关键实体或事件，用于探究战争的发展脉络与蕴含其中的因果关系。首先对作战仿真领域的因果追溯分析做了简要介绍，然后提出了一种基于离散事件仿真要素的因果追溯分析方法，这种方法可以分析军事仿真中的因果关系，并且有很高的通用性和良好的实用性。     

辅助任务增强的中文跨域NL2SQL算法

自然语言到结构化查询语言(natural language to structured query language,NL2SQL)任务旨在将自然语言询问转化为数据库可执行的结构化查询语言(structured query language,SQL) 语句。本文提出了一种辅助任务增强的中文跨域 NL2SQL 算法,其核心思想是通过在解码阶段添加辅助任务以结合原始模型来进行多任务训练,提升模型的准确率。辅助任务的设计是通过将数据库模式建模成图,预测自然语言询问与数据库模式图中的节点的依赖关系,显式地建模自然语言询问和数据库模式之间的依赖关系。针对特定的自然语言询问,通过辅助任务的提升,模型能够更好地识别数据库模式中哪些表/列对预测目标 SQL 更有效。在中文 NL2SQL 数据集 DuSQL 上的实验结果表明,添加辅助任务后的算法相对于原始模型取得了更好的效果,能够更好地处理跨域 NL2SQL 任务。     

任务空间概念建模语言初探

通过研究军事专家与系统分析人员的沟通问题,借鉴可视化建模、分层建模和多视图建模的思想,提出了任务空间概念建模语言(MSCML),对MSCML语言的各个建模元素进行了简要的说明.     

面向战争设计工程的作战任务设计建模方法

通过对战争设计工程作战任务设计建模方法的研究,首先提出了面向战争设计工程的作战任务建模框架,进而给出了作战任务模型的组成结构,即作战任务元模型、作战任务层次结构模型、作战任务关系模型,进一步明确了作战任务的影响条件.在此基础上,给出了潜艇打击舰艇编队的案例,证明了建模方法的有效性.     

舰船航渡过程中的松弛时间与航渡策略问题

针对舰船特点和任务要求,提出了舰船航渡中的松弛时间问题。在对问题分析的基础上,给出了松弛时间的定义并对其进行了建模,讨论了航渡失败的判断准则,给出了松弛时间的上下限以及航渡中实际的松弛时间的计算方法,并采用仿真的方法进行了典型航渡过程的松弛时间和成功概率的计算。在大量计算的基础上,初步探讨了航渡成功概率与各类航渡参数之间的关系,并对舰船最优航渡策略问题进行了初步分析,最后对于优化目标、计算初值、结果的表达方式等提出了一个可行的解决方案。     

基于任务成功性的常规潜艇任务剖面构建

在分析了现有任务剖面存在不足的基础上,提出了基于任务成功性的常规潜艇任务剖面构建技术,即对具有不同特点的任务阶段采用不同的构建技术.静态的任务阶段采用任务树图、时间基准图和任务剖面信息表进行描述;作战阶段具有随机性和不确定性,则采用流程建模工具IDEF3建立作战阶段的任务剖面模型,用来描述作战阶段的元任务及其逻辑关系、时序关系.基于任务成功性的任务剖面将为保障性工程的开展奠定基础.     

元任务插入的多星成像侦察任务聚类启发式算法

在多颗卫星协同执行侦察任务时,多星成像侦察任务聚类能够提高多颗卫星的整体侦察效率。根据卫星成像侦察元任务之间的聚类关系及约束条件,建立了数学规划模型,并提出了模型求解的基于元任务插入的启发式聚类算法,最后结合实例验证了算法的有效性。     

基于过程建模的复杂装备虚拟维修训练仿真

针对复杂装备维修训练的特点，结合Petri网技术研究了维修作业过程的描述方法，建立了维修作业过程描述模型，可以清晰表达各维修作业间的逻辑关系、约束条件和维修保障资源的配置，引入时间概念也便于某些维修性分析工作的开展；基于此过程描述模型设计并开发了某型装备的虚拟维修训练系统，通过仿真实例，说明该系统可以有效地解决装备维修训练中存在的问题，具有一定的实用价值。     

C2组织结构设计:平台-任务关系设计

以联合作战战役为例建立作战平台和任务模型,对C2(Command and Control)组织结构设计中平台-任务关系设计问题分析了传统多维动态列表规划算法(Multidimensional Dynamic List Scheduling,MDLS)在解决作战平台资源调度(平台-任务分配)问题的不足,提出了在平台-任务分配过程中采用任务选择平台组、平台选择任务以及两者选择冲突消除改进的MDLS算法,以解决MDLS算法的不足,并对不同方法的结果进行了比较.     

A balancing problem for mixed model assembly lines with a paced moving conveyor

We state a balancing problem for mixed model assembly lines with a paced moving conveyor as: Given the daily assembling sequence of the models, the tasks of each model, the precedence relations among the tasks, and the operations parameters of the assembly line, assign the tasks of the models to the workstations so as to minimize the total overload time. Several characteristics of the problem are investigated. A line‐balancing heuristic is proposed based on a lower bound of the total overload time. A practical procedure is provided for estimating the deviation of any given line‐balance solution from the theoretical optimum. Numerical examples are given to illustrate the methodology. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

级联失效下非对称依赖网络鲁棒性研究

研究级联失效下网络化信息物理系统的鲁棒性具有重要的现实意义。针对具有单向依赖关系的信息物理系统构建双层非对称依赖网络模型,综合依赖失效和过载失效设计级联失效模型,提出一种更贴近实际的非对称攻击方式,并给出一种资源限制下的节点容量分配方式。针对无标度子网构成的非对称依赖网络进行了仿真实验,结果表明:网络鲁棒性与子网络平均度、度指数、节点容量等呈正相关关系;同配依赖网络以及按度值分配节点容量的网络具有更高的鲁棒性;非对称依赖网络面对蓄意攻击时具有脆弱性;以同等力度单独攻击被依赖子网时,网络受到的损伤更大。构建的模型及发现的规律对于研究网络鲁棒性、优化网络设计具有一定的参考价值。     

航母编队在对空防御中预警机空域配置的方法

航母编队在对空防御中,通常利用预警机机载雷达探测距离远的优势实施对空预警,以提高编队防空作战能力。基于预警机的任务,提出了预警机空域配置的基本要求,分析了预警机前出距离、预警距离、预警扇面角与巡逻线长度之间制约关系,并建立了模型。在此基础上进行仿真分析。仿真结果证明该方法实用、可行,为对空防御中预警机空域的配置提供了参考依据。     

以任务成功性为中心的维修决策方法与应用

为解决传统的基于状态检测与故障诊断、以装备战备完好性为中心的维修决策方法的不足,提出了以任务成功性为中心的维修策略.并以某型自行火炮为例,建立了反映其任务成功性的评估指标体系.指出了传统模糊评判方法存在的不足,提出了考虑系统参数时变的动态模糊综合评判方法,对于给定训练和作战任务的成功性进行了评估.以确定能否执行任务,任务成功性是多少,以便在执行任务前预先实现视情预知维修,确保任务的顺利完成.     

快速部署机场指挥决策关键技术

针对快速部署机场指挥决策问题,分析了美军指挥决策技术发展现状,重点研究了快速部署机场指挥决策需要的态势感知、决策模型设计与优化、知识表示与存储、案例推理、综合业务信息查询、任务流程规划、模拟推演与效能评估、行动监视与动态干预、软硬件系统综合集成等9项关键技术及其相互之间的关系,指出任务规划是指挥决策过程的核心任务。最后分析了模型设计、案例推理、推演评估、3S技术等四个方面存在的主要技术应用难点。     

基于依赖矩阵的Web服务组合故障诊断

为了保证指挥信息系统在动态环境下能够提供持续可靠的组合服务,提出一种利用依赖矩阵对Web服务组合故障原因进行诊断的模型,对依赖矩阵的建立进行了详细说明。然后,基于构造的依赖矩阵,提出改进的贪心算法对失效情况进行探测,并设计了基于二分查找的故障定位算法。实验模拟表明,提出的模型能够利用少量探测就能监测整个服务组合流程的运行情况,并定位找到错误源。