基于遗传算法的机场机位分配策略

通过对大型机场机位分配所受约束和最终目标的分析研究，将其模型化，提出使用遗传算法来解决机场机位分配问题，并设计实现了该算法。为促进算法收敛，引入模拟退火思想对适应度函数进行了修正。实验数据表明，该算法相对已有的其它机位分配方法在计算时间、实时性和结果优化程度上都有一定的优势。目前该方法已经成功应用到国内某国际机场。  

CBD关键技术研究

文中介绍了ＣＢＤ的概念及关键技术，分析了目前的研究成果和不足，提出了基于约束满足技术的实例修改的思想，  

基于反射的连接器组合重用方法

连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.  

认证协议两种形式化分析方法的比较

串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.  

Solving multi-granularity temporal constraint networks

Many problems in scheduling, planning, and natural language understanding have been formulated in terms of temporal constraint satisfaction problems (TCSP). These problems have been extensively investigated in the AI literature providing effective solutions for some fragments of the general model. Independently, there has been an effort in the data and knowledge management research community for the formalization of the concept of time granularity and for its applications. This paper considers a framework for integrating the notion of time granularity into TCSP, and investigates the problems of consistency and network solution, which, in this context, involve complex manipulation of the periodic sets representing time granularities. A sound and complete algorithm for consistency checking and for deriving a solution is presented. The paper also investigates the algorithm's computational complexity and several optimization techniques specific to the multi-granularity context. An application to e-commerce workflows illustrates the benefits of the framework and the need for specific reasoning tools.  

一种求解Job_Shop调度的变量排序启发算法

该文提出了搜索空间的概率模型，并以模型中的工序开工概率、工序对机床的独立需求概率和机床累计需求三个评价因子，构造了新的变量排序启发算法。仿真结果表明新算法在较小的计算时间代价下，显著提高了系统的搜索效率。  

规划问题编码为约束可满足问题的研究

基于约束可满足问题的规划求解是研究智能规划的重要技术方法。把规划问题编码为约束可满足（CSP）问题，是这种规划求解方法的关键技术之一。本文介绍把规划问题编码为约束可满足问题的方法，及一些已有的并且已经用于规划的可满足过程，并对这些编码方法做进一步的研究，主要讨论领域知识在编码方法中的应用，提出在编码求解中加入领域知识的观点。  

基于PKI加密设备的CSP软件设计与实现

Windows环境下，微软以CSP方式向用户提供了加密应用程序接口，本文在分析了微软操作系统加密体系的基础上。详细说明了基于PKI加密设备的CSP软件的设计方法，并实现了我们已开发的PKI USB Key的CSP软件。  

基于通信的MAS内多Agent自动协商

给出了一个通用的基于联合意图的多Agent系统内部Agent协商模型，详细分析了Agent间的异步通信机制以及基于语言行为学的Agent自动协商语义，并在该协商语义的基础上给出了MAS内部基于联合意图的Agent自动协商通信协议，最后利用通信顺序进程验证了该协议的安全性和活性．  

基于离散模式的XML数据查询的CSP实现

XML成为WWW上采用的信息交换，表示和存储手段之一，文中给出了基于OEM数据模型的XML数据离散模式概念和基于模式匹配的数据查询概念，重点研究了通过将模式匹配转换到约束满足问题（CSP）来具体求解匹配实例的方法，此方法使WWW上基于内容的查询转变为更为精确的基于结构的查询，理论上证明了这种模式匹配到CSP转换的可行性。