论文部分内容阅读
作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向，对后续的研究工作具有一定参考意义。
海上编队作战方案形式化描述研究
【摘 要】
：
作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方
【机 构】
：
海军大连舰艇学院
【出 处】
：
舰船电子工程
【发表日期】
：
2009年6期
【基金项目】
：
海军大连舰艇学院科研发展基金项目（编号：2008026）资助.
其他文献
在文献[20]中,系统阐述如何构建面向网络中心战的战场空间本体。构建战场空间本体采用的是以描述逻辑SHON(D)为形式化基础的本体语言OWLLDL,主要用于表达对象和类的层次结构,
智能光伏电站存在不稳定性,因此必须强化运维工作,文章针对智能光伏电站建设入手,针对智能光伏电站架构,监控系统数据采集与光伏电站运维实施方法展开进一步研究分析,期望可
UAE (uterine artery embolisation)是属于血管介入的新的微创治疗方法,目前广泛应用于妇产科疾病领域,均取得了不错的治疗效果。本综述评价了UAE在妇产科疾病领域的应用范围
文章针对定量分析信息欺骗对远程火力打击影响的难题,采用贝叶斯统计推测、博弈均衡分析和序分析方法得出了由基本概率矩阵元素构成的偏序关系决定是否存在信息欺骗机会的结
<正> 以往的研究表明,中耳是免疫调节的潜在场所。中耳粘膜是粘膜免疫系统组成部分。本文作者从单细胞水平,通过对中耳粘膜淋巴细胞群分布,细胞因子mRNA测定,特异抗原刺激产
当代中国文化建设曲折发展所折射出文化认识的深层问题中：文化决定论，文化工具论，文化观念的精神化和文化思维的一元化的偏颇倾向，共同反映出文化的外部制约机制与内部建构机制问
2001年5月19日凌晨，108国道太谷县南席道口发生了一起抢劫案。太谷县公安局110指挥中心指令胡村派出所火速出警。正在值班的指导员常冬青接令后，立刻带领一名民警与5名联防队员
税收是国家强制力实施的一种财政分配方式，依法纳税是每一个纳税人应尽的义务，而当前企业的偷税、欠税大量存在，直接影响国家税收计划的完成和税收职能作用的充分发挥，干扰和破坏