【摘 要】
：
针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通
【机 构】
：
国防科学技术大学信息系统与管理学院
论文部分内容阅读
针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。
其他文献
本文主要介绍了纺织品中常见的几种有害物质，并针对当前纺织品检测中所遇到的问题，提出了相应的有害物质检测方法，对纺织品安全检测的实践具有一定的指导意义。
肾上腺髓质素2（adrenomedullin-2，ADM2）／垂体中叶素（intermedin，IMD）是一个降钙素和降钙素基因相关肽（calcitonin gene-related peptide，CGRP）家族的新成员。由于二者在核苷酸和氨基酸
威胁度是威胁方和反威胁方综合对抗的体现,威胁同时作用于多个目标,威胁不是每个威胁属性威胁度的简单相加。针对这些特点,构建了战机威胁度属性指标体系;选择理想方案,建立
怀化地区１９９２年０～４岁儿童死亡评审工作浅析袁悦和，杨曼兮（湖南省怀化地区妇幼保健所４１８０００）为了较准确地掌握我地区０～４岁儿童（下称婴幼儿）死亡原因，为制订预防婴幼儿死亡的措施提供客观依据，我所在１９９２年
作为内科多发病和常见病,急性脑梗死主要引发原因为脑部出现缺氧以及缺血等现象,病情严重者甚至会出现脑部坏死等不良反应,患者会出现神经功能缺损,预后不佳,对患者心理状态
本文阐述了某核岛新型换热器在管板工件的加工工艺及制造难点,解决了工件的装夹、找正、配用刀具等工艺难题。
心力衰竭（heart failure，HF），指在有适量静脉血回流的情况下，由于心脏收缩及/或舒张功能障碍，心排血量不足以维持组织代谢需要的一种病理状态。临床上以心排血量不足，组织的血液灌注
公路工作业环境劳动卫生现状调查李凤英，辛业志，田国彬，彭仁和，艾健康，吴金龙公路是各地分布最广的交通体系。然而，路工作业场所的粉尘、毒物、噪声、高温等已成为严重的职业危害问