基于自组织演化的多Agent可信联盟研究

不同于现有采用博弈论的方法研究多Agent联盟技术,从联盟信任这一角度开展可信联盟研究,首先在历史合作信息的基础上构建个体信任度,在此基础上建立联盟信任度,进而形成可信联盟.通过联盟间的竞价协商来使得多个小规模的联盟合并成规模更大的联盟从而完成复杂的任务,刻画出联盟演化的自组织性并将信任贯穿于联盟的演化过程.为获得稳定的联盟,在联盟内部收益分配的机制上采用自由竞价与信任评估方式,最后在联盟收益分配结束后,通过信任修正来解决自由竞价中的欺诈行为,并同时获得数据隐私保护,使得联盟内部成员获得公平合理而又高效的分配机制.通过联盟信任,建立起分布式合作模型,可以大规模地降低计算复杂度和可控的风险收益,为动态联盟的稳定性提供有效保障.     

基于Wright-Fisher过程的WSNs节点信任随机演化策略

为解决无线传感器网络节点间的信任影响节点协作的问题,考虑到节点数量有限及个体随机性,基于Wright-Fisher过程的随机演化博弈,提出WSNs节点信任随机演化策略,并加入与节点信任相关的惩罚机制。该策略弥补了复制子动态不适用于节点数量有限的WSNs节点信任演化建模问题,经过随机动力学分析,推导并证明了达到演化稳定状态的定理。最后通过实验验证定理并分析惩罚力度和选择强度对演化稳定状态的影响。     

基于ACP的动态网民群体运动组织建模与计算实验研究

由互联网促成的社会运动组织一经出现, 就受到了广大社会学者以及计算机领域专家的广泛关注. 一方面, 互联网特别是移动互联网在整合信息、引发共振、实时分享及高度互动等方面的特性, 为网民行为的大规模快速聚集提供了直通渠道, 使得多角度超视距观察并研究在线人群复杂行为及其组织特性成为可能; 另一方面, 这一研究在社会化媒体营销、共享经济、非军事组织行动中的应用意义愈加显著. 本文引入群体行为动力学和社会运动组织理论的研究, 提出基于ACP的动态网民群体运动组织(Cyber movement organizations, CMOs)研究方法. 本文工作首先使用多智能体建模方法构造双层结构的人工社区模型, 以此为基础对动态网民的个体以及群体动态组织行为展开计算实验探讨, 重点阐释了社区用户的交互行为机制及群体组织活动的建模机制, 为揭示微观个体简单行为对于宏观群体复杂涌现现象的影响奠定基础.     

一种多智能体协作中形成联盟的机制

提出了一种联盟形成的机制,采用按劳分配的方法,可以使系统达到全局最优化解,并且保持稳定。文中用Postman问题对机制进行了例证。并对该机制进行了性能分析,证明了它的优越性。     

基于遗传算法的多智能体联盟形成机制

针对动态开放式多智能体系统中联盟的形成问题,提出“按能力分配”的联盟报酬划分规则和联盟报酬率等概念及相关命题,讨论Agent之间的协商机制和协商原则,在此基础上建立基于多智能体遗传算法的联盟形成机制。仿真计算结果表明,该联盟形成机制能够减少系统的通信量,保证所得联盟的稳定性和全局最优性,提高系统的结盟效率。     

动态约束下的联盟形成

联盟形成是多Agent系统中一种重要的合作方式。人们设计了一系列联盟形成框架,较好地解决了联盟值最大化、任务分配、组合拍卖等问题。已有关于联盟形成的研究,较多地从效用、任务等角度来考虑问题。在一些情况下,仅从这些角度考虑联盟形成是不够的,于是我们从约束的角度来研究联盟形成。首先深刻分析了联盟形成时的约束问题,采用命题逻辑来描述对Agent的约束,给出了联盟偏好语言及其语义描述;接着给出了它的一些性质;最后将动态约束下的联盟形成机制与常见的一些联盟形成机制作了对比,体现了动态约束下联盟形成机制的特点。     

多智能体联盟形成算法的探讨与研究

Agents联盟形成是分布人工智能DAI中一种重要的协作方法.本文简要分析了Agents联盟的结构、形式以及联盟结构问题的数学模型.对于可分解的任务,且子任务之间没有优先关系,Agents要形成多个联盟(联盟结构),文中研究了基于遗传算法的联盟结构形成算法,并对这种算法的并行化作了探讨.     

具有观点演化的多运动体系统动态行为分析

为探讨在自然界中,具有有限智能的生物个体所组成的群体在运动过程中所产生的集群运动,提出一种基于多运动体的分析模型。分别设计了基于观点演化的静态和动态一致性控制协议,通过赫尔维茨稳定性理论得到多运动体系统达到一致性的充要条件,并且对该传播模型阈值进行分析,得到模型的传播阈值,通过调节观点传播效率与网络拓扑结构,最终观点收敛状态将会趋于预期结果。得到在此模型下,观点的演化只对多运动体系统的动态行为产生影响,而不影响多运动体系统一致性稳定的条件的结论,最后通过几个数值例子验证了结果的正确性。该模型对自然界中因为观点演化导致的一致、分组和发散等现象给出了一个合理的解释。     

基于随机采样的运动规划综述

综述了基于随机采样的运动规划方法．首先介绍了基于随机采样的运动规划的发展历程和几种典型方法;然后分析了这一类规划方法的重要性质及目前仍然存在的问题;最后展望了基于随机采样的运动规划的应用前景．     

求多项式方程全部实根的混合差分进化算法

针对多项式方程求实根问题,提出了一种混合差分进化算法.在该算法中,先对标准差分进化算法进行了一些改进,对计算种群个体的适应度并排序,利用二分之一规则选取个体,并引入自适应变异算子和进化策略重组算子,用改进的差分进化算法对种群进行优化,然后引入模拟退火算法和小生境技术对生成的新个体进一步优化.通过典型算例的数值仿真表明,文中提出的算法克服了标准差分进化算法易陷入局部极优等缺点,可以求任意高次多项式方程的全部实根,而且求解效率高,是一种求解多项式方程全部实根的有效算法.     

基于混合蚁群遗传算法的Agent联盟求解

针对混合蚁群遗传算法容易融合时机过早或过晚、种群进化经历的代数过多、效率低等问题,首先改进了蚁群算法,并将改进的蚁群算法和遗传算法结合,应用于Agent联盟求解.提出了基于混合蚁群遗传算法的Agent联盟求解算法(Hybrid Ant Colony and Genetic Algorithm,HAGA),算法的核心是动态寻找两个算法的衔接点,在该点左侧使用遗传算法,右侧使用蚁群算法.与其他传统算法的实验比较,证明了该算法在求解联盟的最优解的时问和精度上都有较高的效果.把HAGA应用于RoboCup 2D龙队客户端程序中,使用比赛分析工具软件SoccerDoctor对比赛结果进行了统计分析,结果显示龙队在诸多技术参数方面均占有明显优势.     

求解线性方程组直接法的Excel实现

介绍了在Excel工作表中,用直接法求解线性方程组的具体实现方法。列举了线性方程组求解的Gauss消去法和三角分解法。方法简单,结果直观。     

潜艇回转运动模型建立与仿真

分析了潜艇水而运动的受力情况，讨论了潜艇的位置，姿态与舵角的关系，建立了潜艇回转运动参数与舵角信息的数学模型和适用于仿真的仿真模型，仿真表明，文中所得出的模型反映了潜艇的操纵特性，可以应用与潜艇模拟训练器的设计中。     

可信软件的构造与演化分析专刊前言

近年来,软件及其运行环境发生了质的变化,边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战.如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视,多国政府、组织、企业、科研机构纷纷提出了与可信软件构造与演化相关的研究计划.     

线性化迭代求解方程的一种方法及实例应用

在求解非线性方程中,利用泰勒级数展开成一次项式,取初值迭代求解方程的方法,以及在此基础上的应用。     

Behavior Evolution of Multiple Mobile Agents under Solving a Continuous Pursuit Problem Using Artificial Life Concept

In engineering aspects, the goal of artificial life is to incarnate unique behaviors or phenomena of living creatures in nature into artifacts like computers. Artificial life can provide a useful methodology for multiple mobile agent learning which is full of autonomy and creativity. In this paper, a neural network is used for the behavior decision controller. The input of the neural network is decided by the existence of other agents and the distance to the other agents. The output determines the directions in which the agent moves. The connection weight values of this neural network are encoded as genes, and the fitness of individuals is determined using a genetic algorithm. Here, the fitness values imply how much group behaviors fit adequately to the goal. The validity of the system is verified through simulation. Moreover, in this paper, we could have observed the agents' emergent behaviors during simulation.     

移动可信平台的发展与研究

随着通信技术和互联网技术的不断融合,移动终端应用越来越广泛,与此同时安全问题正逐渐成为其众多应用推广的主要障碍。可信计算技术是有效解决移动终端安全问题的一种新思路。该文在阐述可信计算一些重要概念的基础上,对可信计算组织定义的移动可信模块(Mobile Trusted Module,MTM)的结构和特点进行了详细描述,介绍了当前增强移动平台安全的TrustZone及M-Shield技术,并且着重分析了两种可行的MTM的实现技术。最后对移动可信计算技术未来的研究方向进行了展望。     

任意概率分布的伪随机数研究和实现

非均匀随机数在计算机仿真、信息安全、自动控制等领域有重要应用，但计算机系统中一般只提供均匀分布的随机数。介绍如何通过均匀分布的伪随机数来产生任意概率分布的伪随机数分理论和方法，包括反函数法、变换法和舍选法，并给出了舍选法的具体实现，最后通过实验结果进行检验。     

用EXCEL解方程和得出数学模型的最优化解

用 EXCEL解方程可以大大减轻手工求解的计算量 ,并可得到精确解。通过实例展示了 EXCEL求解数学方程的强大功能 ,描述了“规划求解”解多元方程或找到数学模型的最优解 ,其实“规划求解”远不止这些 ,它在求最高产量、最高收入、最合理的计划安排、工程问题等方面都有大量应用。