一种多智能体组织模型

多智能体组织是由多个智能体以承担组织结构中的角色而组成的系统。它一旦形成,就正如一个智能体一样,作为一个整体承担社会或其他某个组织的角色。因此,对多智能体组织的研究就应从整体和结构两个角度进行。基于这种思想,对现有的组织模型进行了改进,提出一种较为通用的组织结构,以及基于角色的社会智能体、多智能体组织的统一模型,并描述了一种实现最大组织效益的多智能体组织形成机制。     

基于多智能体的多机器人控制研究

多机器人控制是目前机器人研究的关键问题,本文以足球机器人为研究平台,首先讨论多智能体系统的组织结构和智能体的体系结构;然后,基于多智能体理论,组建多机器人系统,提出一种适用性广泛的多机器人协作控制方案,主智能体和辅助智能体相互协作,降低多机器人系统控制的复杂度.提高了控制效率.实验结果证明该协作控制方案的优越性.     

用智能体实施化工企业多层优化的新策略

对化工企业的多层次优化提出了一种全面的规划方法，包括经营方案优化、生产调度优化、装置操作优化等，并给出了一个化工企业多层优化框架．在化工企业多层框架的基础上，引入智能体技术，研究了多个智能体的组织、各个智能体的作用以及智能体的设计与实现．     

一种基于多智能体的ODSS的设计与实现

我智能体和组织决策支持系统是近年来人工智能和系统工程中的研究热点,本文在研究多智能体和组织决策支持系统的基础上,设计开发了一种基于多智能体的组织决策支持系统,并将该系统应用于彭风机厂的ＣＩＭＳ工程中,以验证该系统的功能与效果,最后,对系统进行了简要地总结。     

一种面向仿真的分布式多智能体层次问题求解算法

多智能体分布问题求解复杂度与其组织结构紧密相关,在层次组织中进行多层问题抽象以及子问题并行求解,可以将复杂度为指数规模问题规约为对数规模问题.本文使用基于角色层次组织模型,集成人工智能中已有快速求解算法,提出一种面向仿真的层次式多智能体问题求解算法.算法具有良好的计算复杂度、灵活性与可扩展性,已应用于战场仿真中多智能体的协同.     

基于D-S证据的多Agent不确定结论模型框架

抓住智能体的独立行为特性，针对多智能体不确定结论的综合问题，提出了一种基于D S证据理论的多智能体不确定结论求解模型。对传统的D S公式进行了扩充和改进，从而解决了多智能体之间结论的信息融合问题，并对模型进行了模拟仿真。     

多智能体系统初始状态一致性应用研究

针对一阶多智能体系统,研究了含有时滞和不含时滞两种情形下收敛到初始状态（认为初始状态都为0）的问题,提出了一种使多智能体系统能够收敛到初始状态的一致性协议。在此一致性协议的基础上,严格推导了该多智能体系统达到初始状态的充分性判据。结合无人机编队中的应用,给出了两种情况下多智能体系统收敛到初始状态的仿真,验证了所提出的一致性协议的正确性以及充分性判据的有效性。     

异构多智能体系统模型检查

近几年,模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑（ATL）,也被给予了高度关注.根据智能体是否可以看到全局信息分为不完全信息和完全信息;根据智能体是否可以记录历史信息分为无记忆能力和无限记忆能力,提出了四种经典的策略类型.这些策略类型是通过ATL的语义进行刻画的.然而,在一个多智能体系统中,考虑完全信息和无限记忆能力时,所有智能体都只能选择这一种策略类型;在考虑不完全信息或无记忆能力时,仅在联合模态操作<>φ和的[[A]]φ里出现的智能体具备这种策略类型,而其他智能体还是完全信息和无限记忆能力策略类型.这可能会导致嵌套联合模态操作中智能体策略类型的不一致,且智能体策略类型取决于逻辑公式和逻辑的语义.而在实际多智能体系统中,智能体的策略类型往往取决于系统本身,且不同智能体具有不同的策略类型,即智能体策略类型是异构的,这种多智能体系统被称为异构多智能体系统.针对这些问题,本文提出了一种在语法层对智能体策略类型进行刻画的系统模型,即带类型解释系统.带类型解释系统在已有的解释系统中为每个智能体引入"策略类型"这一属性,允许不同智能体具备不同的策略类型.带类型解释系统可用于异构多智能体系统的建模.针对新提出的系统模型,对ATL语义进行了研究,设计了ATL模型检查算法,实现了相应的模型检查工具ShTMC.     

多智能体技术及其在虚拟企业伙伴选择中的应用

研究了一种多智能体的体系结构及其实现技术。并实现了基于这种智体技术的虚拟企业伙伴选择原型系统。证明智能体技术在构建虚拟组织信息系统中的有效性。     

增强Q学习在非确定马尔可夫系统寻优问题中的应用

增强学习属于机器学习的一种,它通过与环境的交互获得策略的改进,其在线学习和自适应学习的特点使其成为解决策略寻优问题有力的工具。多智能体系统是人工智能领域的一个研究热点,对于多智能体学习技术的研究需要建立在系统环境模型的基础之上,由于多个智能体的存在,智能体之间的相互影响使得多智能体系统高度复杂,多智能体系统环境属于非确定马尔可夫模型,因此直接把基于马尔可夫模型的增强学习技术引入多智能体系统是不合适的。论文基于智能体间独立的学习机制,提出了一种改进的多智能体Q学习算法,使其适用于非确定马尔可夫环境,并对该学习技术在多智能体系统RoboCup中的应用进行了研究,实验证明了该学习技术的有效性与泛化能力,最后简要给出了多智能体增强学习研究的方向及进一步的工作。     

并行工程方法、技术与实践

并行工程(CE)是集成地、并行地设计产品及相关过程的系统化方法.它通过组成多学 科产品可发队伍、改进产品开发流程、利用各种计算机辅助工具等手段,使产品开发的早期阶 段能及早考虑下游的各种因素,作出正确的决策,达到缩短产品开发周期、提高产品质量、降 低产品成本,从而增强企业竞争能力的目标.文中分析了CE的本质特点,指出CE是组织 模式改革-用户需求定义-环境建设-产品开发新技术应用等四个要素的综合平衡,而且必须 经过信息集成-过程集成-自动决策支持三个台阶.进而简要介绍几种典型的方法和技术,并 分析了CE在国外的应用状况.最后,总结了企业实施CE的阶段演进策略,为我国全面开 展CE的研究、开发与应用提供理论背景和几点建议.     

软件开发的并行工程方法研究

并行工程是集成地、并行地设计产品及其相关的各种过程的系统方法。这种方法要求产品开发人员从设计一开始就考虑产品整个生命中从概念形成到产品报废处理的所有因素，包括质量、成本、进度计划和用户的要求。将并行工程思想引入软件开发中，研究并行工程方法在软件开发中的集成框架、利用并行工程方法进行软件开发的团队组成以及利用并行工程方法进行软件开发的模式。     

Attacking contrast enhancement forensics in digital images

Currently, plenty of digital image forensic techniques have been proposed and used as diagnostic tools. It is urgent and significant to assess the reliability of such techniques applied in practical scenarios. In this paper, we investigate the security of existing digital image contrast enhancement （CE） forensic algorithms. From the standpoint of attackers, we propose two types of attacks, CE trace hiding attack and CE trace forging attack, which could invalidate the forensic detector and fabricate two types of forensic errors, respectively. The CE trace hiding attack is implemented by integrating loca] random dithering into the design of pixel value mapping. The CE trace forging attack is proposed by modifying the gray level histogram of a target pixel region to counterfeit peak/gap artifacts. Such trace forging attack is typically applied to create sophisticated composite images which could deceive the prior CE-based composition detectors. Extensive experimental results demonstrate the efficacy of our proposed CE anti-forensic schemes.     

Exact safety verification of hybrid systems using sums-of-squares representation

In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inductive invariants of the given systems. A numerical invariant of the given system can be obtained by solving a parameterized polynomial optimization problem via sum-of-squares （SOS） relaxation. And a method based on Gauss-Newton refinement and rational vector recovery is used to obtain the invariants with rational coefficients, which exactly satisfy the conditions of invariants. Several examples are given to illustrate our algorithm.     

并行工程环境中的信息资源字典系统

并行工程（ＣＥ）的信息种类繁多，结构复杂，并且数据量非常大，需要存储在异构分散的数据库中，为方便应用和各种ＣＥ工具的集成，需对它们对行统一管理。信息资源字典系统（ＩＲＤＳ）从广义的概念上支持三模式结构，是ＣＥ信息集成的有效工具。文章介绍一个ＩＲＤＳ系统的开发，它有在并概念，三模式结构及在ＣＥ信息管理中的应用。     

Windows应用程序移植到Windows CE下的策略

嵌入式软件开发是嵌入式系统应用的关键所在，已成为国内外的一大研究热点。通过分析Windows CE的特性，并比较Windows CE与Windows的异同，找到了函数替代、改变程序逻辑等方法，从而解决了把MFC应用程序从Windows移植到Windows CE的问题。     

Windows CE自定制Shell

Shell是用户访问操作系统的接口。Shell开发在WindowsCE操作系统开发中占据一定的重要性。对WindowsCEShell进行了概述,并通过建立Shell模型,讲述如何自定制WindowsCEShell和定制Shell必须注意的问题。对WindowsCEShell的定制进行深入研究。     

Chaotic Evolution: fusion of chaotic ergodicity and evolutionary iteration for optimization

We propose a novel population-based optimization algorithm, Chaotic Evolution (CE), which uses ergodic property of chaos to implement exploration and exploitation functions of an evolutionary algorithm. CE introduces a mathematical mechanism into an iterative process of evolution and simulates ergodic motion in a search space with a simple principle. A control parameter, direction factor rate, is proposed to guide search direction in CE. It is easy to extend its search capability by using different chaotic system in CE algorithm framework. The scalability of CE is higher than that of some other evolutionary computation algorithms. A series of comparative evaluations and investigations is conducted to analyse characteristics of the proposal. Our proposal can obtain better optimization performance by comparing with differential evolution and some of its variants. We point out that the chaos theory is used not only to describe and explain a non-linear system, but also to implement a variety of optimization algorithms based on its ergodic property.     

嵌入式移动数据库SQL Server CE应用程序的开发与设计

随着.NET Compact Framework的推出,SQL Server CE也推出了2.0。文章介绍了SQL Server CE 2.0新的性能,以及在Mi-crosoft.NET Compact Framework架构下,采用ADO.NET开发移动设备SQL Server CE数据库应用的新方法,并结合实例研究了嵌入式移动数据库SQL Server CE 2.0和SQL Server 2000的数据同步问题。