层次任务网络中的重新规划研究综述

层次任务网络(hierarchical task network, HTN)作为智能规划技术的重要组成部分,已成功应用于无人平台任务规划、应急方案制定等各领域中。由于日益增加的不确定因素对计划执行效果的影响,迫切需要重新规划技术,因此基于HTN的重新规划技术成为近年来的研究热点。首先,通过对当前研究现状的总结梳理,提出了基于HTN的3层重新规划框架。然后,分别从框架中的计划修复、局部重规划和全局重规划3个层次阐述了相应的技术路线与实现细节,针对不同层次指出了目前方法的优势与不足。最后,对该问题未来的研究方向进行了展望,并提出了待解决的关键问题及解决思路。     

作战效能及其评估方法研究综 述简

在对比国内外效能概念的基础上,研究了作战效能的基本概念,给出作战行动效能的定义及其内涵解释。按照传统和新兴的分类原则对作战效能的评估方法进行划分,重点讨论了层次分析法、ADC模型法、作战模拟法、试验统计法和支持向量机评估法这五种典型的方法。分析了每种方法的优势与不足,以及应用中需注意的问题。最后指出目前研究中存在的难点,明确进一步研究的内容与方法,对作战效能评估工作具有一定的指导意义。     

战场综合防护仿真系统设计与实现

在分析了战场综合防护系统特点的基础上,提出了一种基于多Agent的战场综合防护仿真系统的设计方法,并重点讨论了基于EJB组件模型和JMS消息驱动的仿真系统实现方法,建立了战场综合防护效能评估模型,最后对仿真结果数据进行了分析。     

基于支持向量机的部队作战效能评估

随着信息化战争复杂性与不确定性的增加,对部队作战效能的评估提出了更高要求。在分析支持向量机和增强最简半自治适应性作战神经网络仿真工具箱（enhanced irreducible semi autonomous adaptive combat neural simulation toolkit, EINSTein）特点的基础上,建立了基于支持向量机的部队作战效能评估模型,完成从评估指标到作战效能值的非线性映射。在一定作战想定背景下,结合EINSTein系统产生的仿真数据对模型进行了验证。仿真结果表明,与误差反向传播神经网络（back propagation neural networks, BPNN）相比,基于支持向量机的效能评估模型能够降低人为因素的影响,更准确地评估部队作战效能,是一种有效的评估方法。     

一种基于用例的突发事件应急疏散仿真系统需求设计

在阐述用例模型及基本构件概念的基础上,给出了突发事件应急疏散仿真需求描述的基本方法,寻找仿真系统的参与者,并根据参与者确定仿真系统的用例,以用例图规定系统的行为,以文档形式的用例规约描述具体用例,建立突发事件应急疏散仿真用例模型.最后,通过"调用疏散模型"的活动图实现了对用例的进一步求精,展现了用例驱动应急疏散仿真系统需求建模的全过程.     

丹红注射液联合法舒地尔治疗急性脑梗死80例临床疗效分析

观察丹红注射液联合法舒地尔治疗急性脑梗死的临床疗效。将甘肃省天水市四。七医院收治的80例急性脑梗死患者,随机分为试验组（40例）和对照组（40例）。两组均给与常规治疗,对照组给予丹红注射液,试验组给予丹红＋法舒地尔联合治疗,疗程14d。观察两组患者治疗前后美国国立卫生院神经功能缺损评分（NIHSS）及临床疗效改善率的差异。两组治疗前后比较,差异有统计学意义（P〈0．01）,两组治疗均有效;治疗后两组NIHSS评分比较,差异有统计学意义（P〈0．01）,试验组疗效优于对照组;两组有效率的比较,试验组总有效率（92．50％）,对照组总有效率（67．50％）,差异有统计学意义（P〈0．05）,试验组优于对照组。试验组治疗过程中未出现不良反应。结论丹红注射液联合法舒地尔治疗急性脑梗死较单纯使用丹红注射液临床效果显著,且安全性高,无不良反应发生。     

破障艇作业可视化仿真与效能评估

引入了船体动力学等相关模型,设计实现了破障艇作业可视化仿真系统,并对不同条件下破障过程进行了可视化仿真.优化创建了不同浪谱的动态LOD海面,通过粒子系统实现了首尾浪迹、爆炸水柱等特殊效果.建立了破障艇作业效能模糊综合评判的指标体系,给出了效能评价模型和评价方法,并对其仿真实例结果进行了评估,评估结果表明仿真系统具有可信性.     

基于动态故障树的导弹驾驶仪系统可靠性分析

导弹驾驶仪系统的可靠性是影响整个导弹任务成功的重要因素。由于该系统构成复杂且部件故障具有动态特性,传统的故障树分析方法很难描述系统失效的动态机制。为此,首先建立了某驾驶仪系统的动态故障树;然后根据部件测试和维修过程中的不确定状态按照一定的概率转化为可维修和不可维修的部件,从而对系统进行可靠性分析。在求解过程中,为了避免马尔科夫链应用中存在的组合爆炸问题,将蒙特卡洛方法应用于动态子树的求解中。仿真结果表明,上述方法可以对复杂、动态系统进行可靠性分析。     

走出小学语文课堂教学中“质疑环节”的误区

宋代学者朱熹曾说：“学贵有疑，小疑则小进，大疑则大进。疑者，觉悟之机也。”质疑是求解的前提，创新的钥匙，探究的灵魂，思维的开始。学生能在课堂上质疑问难，它的意义是深远的。可纵观目前小学语文课堂教学中“质疑环节”的安排，存在着多种误区，如何走出小学语文课堂教学中“质疑环节”的误区，充分发挥“质疑环节”的作用与效益是文章探讨的主要问题。     

二分(mg+k-1,mf-k+1)-图的正交(g,f)-因子分解

利用因子理论中的常规方法证明了汪长平提出的猜想对二分图是成立的。其结论是：若G是一个二分（mg＋k-1，mf-k＋1）-图，1≤k≤m，H是G中一个给定的有k条边的子图，则G存在一个子图R，使得尺有一个（g，f）一因子分解与正交。