合同网模型在工程设备招标中的应用研究

合同网是一类重要的基于竞争机制的问题求解模型，它一般地不对竞争者范围进行限制，因此不能保证高的工作效率。工程设备招标活动是合同网模型的一类重要应用，但实践中的工程设备招标活动通常采用邀标为主的工作方式，邀标可以减少问题竞争者范围，提高工作效率。该文讨论基于邀标的合同网模型在工程设备招标中的应用问题，包括工程设备招标活动的业务流程，邀标群体的管理，计算机辅助工程设备招标系统的功能组成等。     

基于任务熟人集的合同网模型的改进

合同网模型广泛应用于基于多Agent系统的各种应用系统中，以解决分布合作求解和任务分配问题，在讨论基本合同网模型的缺点和不足的基础上，给出了一个任务熟人集的概念，随后提出一种改进的合同网模型和基于任务熟人集选择修选结点和协商策略方法的选择机制，该模型有效地降低通讯量，减少了协商时间和信息流量，提高了系统效率。     

一个基于范例推理的时序预测模型

本文在相似模型的统一描述的基础上，提出一个多层次的抽象范例重用框架，适用于进行描连和时序的预测。在时间序列的问题下，本文描述了多层次范例推理的方法，并且讨论了一些CBR循环常见的问题在时序预测中的情况。本文最后提供一个期货预测的例子，对本文的模型作了说明。     

基于知识辞典的范例推理系统的规则提取模型

本文提出了把范例分解为范例描述与结论、分别进行概化、在概化的每个范例模板中进行规则提取的模型，该模型可以解决范例与规则的衔接问题，为CBR与RBR集成推理提供了基础，并且对智能化范例调整也有帮助。最后，文章讨论了模型中存在的一些问题。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

范例推理在地理信息系统中的应用研究

范例推理（CBR）是一种用先前求解问题的经验和方法，通过类比和联想来解决当前相似问题的推理技术，它是动态决策环境下求解不良结构问题的常用方法。GIS系统作为一种新兴的地学工具，具有很强的空间分析能力，但由于地学问题的复杂性，一些地学现象很难用确切的模型进行模拟和预测。考虑到范例推理系统在处理半结构化和非结构化问题方面的出色能力，文中探讨了一个基于范例推理的GIS系统结构，并给出了地理范例的构建方法和表达模型。     

蛋鸡饲料配方专家系统：ICMIX

介绍基于范例推理实现的蛋鸡饲料配方专家系统ＩＣＭＩＸ。讨论了ＩＣＭＩＸ的范例、范例组织和检索、范围修改和修补问题。基于范例推理比传统的基于规则推理更适用于蛋鸡饲料配方这一要求，我种制约因素、需要丰富实践经验的问题域。     

扩展合同网方法在远程协同诊断中的应用

诊断任务分配是远程协同诊断的一个内容和难点;在经典合同网分配方法基础上,提出的扩展合同网分配方法依据诊断任务的相似范例推理和阈值规则确定投标诊断资源联盟,以满意效用并经过协商来签订和执行合同.该效用由多约束模糊系数法确定;给出了扩展合同网分配方法的算法描述和UML执行流程,通过一个FMS诊断任务分配过程验证了该方法是一个动态、有效的智能诊断任务分配方法;在结论中指出了进一步研究点。     

基于范例推理的CAD软件可重用技术的研究

基于软件重用技术与范例基技术在原理，在模具CAD领域软件的工具箱式CASE环境的研制中，通过范例基推理技术实现了CAD软件可重用机制，提出了CAD软件重用的范例定义，导出了范例推理算法，并给出范例推理可重用机制的功能模型。     

基于范例推理的CAD软件可重用技术的研究

基于软件重用技术与范例基技术在原理，在模具ＣＡＤ领域软件的工具箱式ＣＡＳＥ环境的研制中，通过范例基推理技术实现了ＣＡＤ软件可重用机制，提出了ＣＡＤ软件重用的范例定义，导出了范例推理算法，并给出范例推理可重用机制的功能模型。     

基于BDI的Agent合同网实现

合同网是一个用于分布式问题求解的高层通信协议,本文给出了一个扩充的合同网协议的会话策略和一个BDI精神状态形成模型,并在此基础上将BDI模型用于合同网协议,给出了实现合同同网协议的一系列BDI行为驱动规则。本文在合同网协议的招投标过程中引入了信任度、稳健度和积极程度等精神状态参数,这类参数有助于改善协作质量,从而使系统具有较好的适应性和灵活性。     

协同设计环境下的任务分配方法的研究

介绍一种基于辅助Agent的合同网模型的任务分配方法,并给出了协作过程中的任务选择策略和Agent选择策略,改进基本合同网模型的缺点和不足,以解决多Agent的协同设计系统中分布合作求解问题和任务分配,达到全局最优化,产生高质量的设计及有效的资源利用,并减少协商时间和信息流量,提高系统效率。     

基于Bit承诺的合同网模型

在分析现有合同网模型的基础上,针对合同网协商过程中的安全问题,利用Bit承诺协议和RSA算法,给出一个具有安全性的合同网协商模型,保证Agent之间信息的安全传输,防止协作Agent反悔、拒绝履行承诺。该协商模型满足不可否认性和强可验证性,投标价格保密安全,技术简单,通信量小。     

基于熟人联盟及扩充合同网协议的多智能体协商模型

合同网协议可扩充性好，处理动态环境能力强，在多智能体系统协商中应用广泛．在分析了经典合同网协议的优缺点后，提出了基于熟人联盟及扩充合同网协议的多智能体系统协商模型．根据模型设计了适合扩充合同网协议的系统结构，引入了熟人联盟以及信任度参数，提出熟人联盟生成方法及信任度更新规则并构造了基于经典合同网协议的扩充合同网协议．最后通过对一个导弹防御例子的测试及分析，证实了该模型在保证协商质量的基础上，有效地降低了协商代价．     

基于多Agent的动态路径规划方法研究

简要地介绍了多Agent技术,并以城市交通诱导系统中的动态路径规划为研究对象,提出了一种基于范例推理合同网协商机制的多Agent动态路径规划方法。     

无随机预言机的公平合同签署协议

针对目前已有的公平合同签署协议存在的不足,利用已有的无随机预言机模型下的短签名方案和q-强Diffie- Hellman假设,设计一种新的具有离线半可信第三方的公平合同签署协议,离线第三方只在意外情况下才介入协议,且在纠纷解决阶段只是协助参与方解密,则协议结束,第三方并不能获得参与方的签名。由于基于短签名,所需存储和通信的数据量小,该协议只适用于低带宽通信以及需要较小的数据存储量的环境。     

基于矩阵运算的Petri网反向推理算法

通过对加权模糊Petri网模型和反向推理算法的研究,建立了加权模糊Petri网的关联Petri网推理模型。在此基础上,提出了基于矩阵运算的反向推理算法。通过实例对算法进行了检验,结果表明该算法具有解决复杂问题的并行推理能力、推理效率高、推理过程简单、容易实现。