防范秘密攻击的安全计算的博弈论实现

在博弈论中,惩罚博弈模拟了参与者试图欺骗但又不想被抓住,即安全计算中秘密攻击者的情形。针对密码学的计算博弈模型,本文对Halpern与Rafael提出的能否在计算具有成本的惩罚博弈与具有一定威慑度的防范秘密攻击的安全计算之间建立联系的问题给出肯定的回答,提出威慑度为1/2的防范秘密攻击的安全是计算博弈中错误可忽略的调解人的通用实现。     

期权博弈评价：一种内生化期权价值模型

实物期权价值实际上是一种选择权价值,期权博弈是实物期权定价与博弈论均衡分析相结合的产物.实物期权与博弈论相结合而形成的对项目评价概念-期权博弈评价.是以特定时期、特定信息环境、特定主体面向特定项目的期权博弈模型构建为基础,以均衡概念、项目价值和主体策略为判断标准的理论分析体系.而这种体系模型最大的特点是内生化了不确定性策略环境所带来的管理柔性价值(等待的实物期权价值).     

异构无人系统集群自主协同关键技术综述

本文给出了国内外异构协同项目实例及已经出现的异构集群形式,并综合文献资料给出了异构集群的定义。将同构多无人系统协同任务过程中的关键技术分为协同网络通信、协同决策与规划技术、协同编队控制技术和协同末制导技术,对每个关键技术进展做了总结概括,给出了异构集群相比同构集群的技术差异。在此基础上提出了任务前规划和协同博弈制导两个技术领域,提出了针对异构集群的分组配比问题,介绍了场景建模和双层优化模型求解技术的发展现状;针对多体对抗问题给出了微分对策理论需要解决的问题。最后对异构集群协同技术所面临的难点作出总结,并对该研究领域的未来发展作出展望。     

带有时间与探测约束的“到达-回避”博弈

针对飞行器具有运行时间约束以及所携带探测器具有有限探测范围的现实情况,在传统生命线对策问题的基础上提出了一类考虑时间约束与探测约束的新型“到达-回避”定性微分对策博弈。通过分析对策问题所有可能的中性终端集以及问题对应的哈密顿方程,给出了防御者与进攻者最优博弈策略形式。利用所得到的策略和攻防双方的约束条件,得到了原问题对应界栅的精确解,并通过数值仿真验证了界栅的正确性。所得到的界栅可将博弈空间分为攻防双方的获胜区域,并可用于快速判断博弈问题最终结果,为飞行器攻防博弈双方的策略制定提供理论依据。     

基于Hotelling模型的双寡头市场定价博弈分析

文章在三阶段Hotelling模型的基础上研究了双寡头市场的定价博弈问题。在第一阶段两个寡头企业同时选择价格策略;在第二阶段两寡头企业确定价格大小及相应的定价概率;在第三阶段由消费者选择企业。由博弈分析的结果得出,使用高价和打折相互结合的混合策略为双寡头市场定价博弈的唯一纳什均衡策略,此时博弈双方获得最大利润,即高低价混合策略才是理论推导的最佳策略。文章在最后还从正反两方面给出了这个结论实证上的支持。     

基于近似动态规划的目标追踪控制算法

在目标跟踪问题中,针对飞行器控制算法难以适应目标大机动飞行甚至与我方博弈等难度较大任务的问题,提出了基于近似动态规划的目标追踪控制算法。该算法通过使用博弈策略对我方无人机进行训练形成经验,将双方位置等状态作为已知量,滚转方向作为控制量,利用两物体的相对位置得出其特征,并形成近似值函数;最终利用rollout算法进行最优跟踪决策求解,实现对跟踪目标甚至是博弈目标的灵活有效精确跟踪。仿真结果验证了近似动态规划用于控制算法的有效性。      

未来智能空战发展综述

随着装备战斗力生成模式逐渐向机械化、信息化、智能化"三化融合"发展演变,未来航空主战装备的定位、形态及运用将可能发生根本性变革。为应对新时期空战任务所面临的环境高复杂性、博弈强对抗性、响应高实时性、信息不完整性、边界不确定性等一系列挑战,交叉融合人工智能理论与空战对抗技术,研发智能空战系统,将有望在下一代无人制空装备谱系中构建不对称"智能代差",成为制胜未来空天战场的核心关键。本文完整梳理了智能空战研究的发展脉络,总结了以专家机动逻辑、自动规则生成、规则演进、机器学习等方法为代表的智能空战基础理论。从体系、应用及技术视角全面剖析了智能空战的发展趋势,以智能空战的不确定性、安全性、解释性、迁移性、协同性为切入点阐述了智能空战应用落地的若干问题,以期为未来智能空战技术研究勾勒出一条新的探索路径,为人工智能理论与航空科学技术的跨领域交叉融合提供新的发展思路。     

基于CW方程的航天器追逃问题半直接求解方法

针对时间固定的两航天器追逃问题,提出一种以半直接配点法研究追逃双方最优控制策略的求解方法。航天器追逃问题是基于微分对策的追逃问题,该问题是含有追逐者和逃逸者控制变量的两点边值问题。若采用必要条件求解,则对迭代初值要求高,收敛困难。在两航天器均为连续小推力的假设条件下,以终端距离为支付函数,给出半直接配点法的求解过程。在此数值方法中,根据半直接转换将微分对策问题转化为最优控制问题,采用Gauss-Lobbato配点法将此最优问题最终转化为非线性规划问题,继而通过序列二次规划算法求解。这种半直接配点法避免了对微分对策问题最优策略的必要条件(两点边值问题)求解。采用该方法求解对迭代初值不敏感,且数值稳定性好。数值仿真实例验证了这种求解方法的可行性。该方法提高了求解两点边值问题的收敛性,为求解含有双方控制变量的微分对策问题提供了一种思路。     

基于双层博弈的多臂在轨服务航天器路径规划

针对在轨服务多臂航天器系统高精度的位姿协同要求及其运动过程中的避障约束,提出一种基于机械臂末端（腕关节）和肘关节的双层博弈多臂路径规划方法。研究建立了多臂运动学模型,在博弈论基础上建立多臂的博弈模型;给出了双层博弈的基本算法流程及其纳什均衡解的求解策略;以动目标多臂围捕为场景进行仿真分析,验证所提出算法末端精确跟踪抓取和肘部避障能力的有效性和实用性。所得结果可为多臂在轨服务航天器的智能化路径规划与控制提供新的解决方案。