基于Multi-Agent的航空集群系统重构机理研究

集群作战是未来空中作战的主要样式,其重构机理的研究对于提升航空集群执行任务的整体性能以及在遭受攻击时的生存能力具有重要作用。从作战任务层面出发,对集群系统重构的定义以及类型、触发机制和基本原则进行了分析阐述;借鉴博弈论理论,将航空集群系统分布式重构问题映射为多Agent之间的合作-竞争问题,建立了基于Multi-Agent的系统重构模型,给出了重构的流程与算法,为航空集群系统自适应重构能力的设计实现提供了理论技术支持。     

不完全信息下军事威逼讨价还价博弈分析

在详细分析威慑与威逼区别的基础上,构建了不完全信息下军事威逼讨价还价博弈模型。按照最大期望效用准则,分析了不完全信息下军事威逼走向讨价还价阶段的条件,研究表明:运用鲁宾斯坦经典讨价还价唯一完美均衡解,得出以下结论:争夺目标自身的效用越大,战争带来的声誉得益效用越大,军事威逼走向讨价还价阶段的可能性越大;一旦进入讨价还价阶段,威逼者会接受挑战者提出的方案,冲突将不再发生。     

时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.     

截尾序贯验后加权检验截尾点的优化设计

选取截尾点是截尾序贯验后加权检验很关键的一步,目前理论上尚无有效的选取方法。本文用优化技术确定截尾点Ｃ,克服了实践中确定停时Ｎ和截尾点Ｃ遇到的计算困难,避免了一般取Ｃ＝１的盲目性,使截尾点Ｃ的选取有了理论根据。优选的截尾点不仅使双方承担的风险之和最小,而且使双方承担的风险值相对合理,易于接受。     

多舰对抗研究

研究了海上军事实战模式抽象出的一追二和一二对抗的两大问题。解决一追二问题的方法共讨论了三种：初始角的平分线航向法、瞬时角的平分线航向法、中点轨迹法。给出了确定性的数学模型、以及选代计算方法。一二对抗问题的结论可以由—一对抗问题的结论经过迭加而得到。而—一对抗问题的解决是以定性微分对策的双边极值原理为基础展开的。     

一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

一种鲁棒的场地球类视频中的球门探测方法

在场地球类视频中,球门常常会伴随着精彩片段而出现。因此,球门探测是体育视频的基础,同时也是视频高层语义概念探测的研究热点。目前,利用机器学习方法进行视频中的对象探测是非常有前途的研究领域。基于此,提出一种基于模糊决策树的球门探测算法,用来探测场地球类视频中球门帧的出现,为了提高分类准确性,在模糊决策树训练的过程中加入了平衡处理。实验结果表明,与基于阈值和决策树的算法相比,该算法可以得到更好的分类结果(F-measure>95%),并且我们可以从所建立的树中推导出模糊规则来解释分类模型。     

多捐赠者肾脏调换问题

用于器官移植的肾脏处于严重的短缺状态。为缓解这一问题,越来越多的国家开始实施各种形式的肾脏调换计划。肾脏调换问题一般被建模为一个合作博弈(KE)。其中的局中人为病人及与其配型失败的捐赠者所构成的二元组。现实中不乏拥有多个配型失败捐赠者的病人。定义了多捐赠者肾脏调换博弈(MDKE),分析了其可行解及稳定解的结构,证明了捐赠多颗肾脏无益于参与稳定调换,将TTC算法、KE稳定解的NP难解性以及最大覆盖稳定解的不可近似性拓展到MDKE。实验表明引入MDKE效果显著。     

基于凸优化理论的三维微分对策制导规律求解

针对三维微分对策制导律(DGL)求解问题,引入凸优化理论,将DGL求解归结到Hamilton系统的求解,设计了DGL求解算法,通过对代价函数梯度特征的凸分析,推导出对策系统鞍点存在的充要条件和求解方法,解决了以往通过对微分对策模型简化求解导致的模型不能客观反映作战过程的问题.