基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。     

作战计划的本体建模研究

作战计划为指挥员提供先进的决策辅助,需要明确有关作战过程相应的信息需求,并依赖于作战过程的形式化领域模型(本体)的开发。研究了相关文献中的作战行动规划过程模型,综述了若干通用计划本体的开发,如计划概念要素、知识表示技术等,为进一步研究作战行动过程提供了足够的、不同模型的信息。     

影响跳远踏板准确性的因素分析

随着跳远技术的不断发展和提高,运动员的助跑技术与运动员助跑踏板的准确性已成为决定跳远成绩的主要因素,而跳远踏板的准确问题普遍存在于各级水平的运动员之中．通过对影响跳远踏板准确性诸多因素进行分析．从技术,心理和外界环境等方面总结出影响跳远踏板准确性的因素．首先,助跑技术应放松、协调、快速、平稳而有节奏．其次,心理素质好坏也会直接影响踏板的准确性．     

开放实验室的建设与管理

建设开放实验室是高校提高学生创新能力的重要手段。文章介绍了建设开放实验室的意义、如何建设开放实验室、开放实验室的管理与运行机制三方面内容。