当前位置:首页 > 电子/通信 > 综合/其它 > 基于多Agent的分布式电子市场体系及其关键技术研究
上海交通大学博士学位论文基于多Agent的分布式电子市场体系及其关键技术研究姓名:曹大军申请学位级别:博士专业:计算机软件与理论指导教师:徐良贤2002.6.1基于多Agent的分布式电子市场体系及其关键技术研究作者:曹大军学位授予单位:上海交通大学相似文献(10条)1.学位论文王路协同设计的建模方法及其在3D设计领域中的应用研究2006“计算机支持的协同工作”(ComputerSupportCooperativeWork,CSCW)的概念自80年代中期提出后,正受到越来越多的重视,至今已成为发展最快的研究方向之一。随着信息时代的到来和网络技术的发展,“计算机支持的协同设计”(ComputerSupportCooperativeDesign,CSCD)作为将CSCW的理论应用于产品设计领域的实践,正在成为一种必然的趋势。对应于不同类型的产品设计,协同活动呈现着不同的特点。应用于不同设计领域的CSCD平台在关注领域特性的同时,往往忽略了存在于不同领域中的协同活动的共性。因此,到目前为止,没有一套相对完整的形式化的理论用于指导开发CSCD平台的实践。本次课题的研究目的在于建立群体协同设计活动的一般性模型,使关于群体协同设计活动的讨论可以独立于活动的应用领域来进行。群体协同设计活动的一般性模型由设计活动的主体,设计活动的客体,设计任务以及设计约束等元素构成,本次课题为每一个这样的元素都分别建立了合理的普适的形式化描述。群体协同设计活动的一般性模型为面向协同设计领域的研究和实践提供了可参照的计算平台。本文首先介绍了多Agent系统的体系结构,解释了Aglet系统的体系结构和基于Aglet的消息机制,并阐述了使用Aglet构架搭建CSCD体系结构的原因,然后在此基础上分析并最终建立了用于描述群体协同设计活动的一般性模型。最后,文章分析了一个基于群体协同设计活动一般性模型构建的应用于3D协同设计领域的原型系统,给出了系统的功能、体系结构,讨论了系统中的通信机构,设计对象模型,约束控制,设计活动同步以及冲突检测和冲突消解功能的设计和实现,从而证明了群体协同设计活动一般性模型在实践中的可用性。2.会议论文罗军舟.沈俊.顾冠群基于多代理系统的网络管理实现模型1998本文从网络管理的智能化需求出发,充分吸收最新的网络技术,提出一种基于多Agent系统的网络管理实现模型,完成由集中式管理信息分布模型过渡到分散式计算分布模型.同时作者将高级Petri网引入多Agent知识库系统的形式化描述和分析,最后给出了系统的性能评价模型.3.会议论文陈宏兵.杨群.李千目.许满武MAS交互协议的形式化描述和验证2006在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题。4.学位论文朱军多Agent软件系统结构及开发方法的研究-以工控系统组态软件SYNALL为例1999多Agent系统是一种使用松散耦合方式集成系统的方法,它使得软件系统在增减模块的过程中对整体有较少的影响.然而,至今仍然没有一个精确、一致的模型用于刻画多Agent系统,这使得在多Agent系统的开发过程中难以选择一个合适的方法.该文试图通过建立一个多Agent软件系统的通用概念模型,以及相应的开发方法来解决这一问题.该文在考虑用和系统复合的基础上,提出了一个新型的多Agent软件体系结构ALA(Agent-LinkerArchitecture),这一体系结构支持分布式并发软件的设计开发.该文对ALA体系结构下的多Agent系统结构和元素进行了详细的概念解释,对各元素的特征用途给予了应有的描述.该文在建立ALA体系结构的同时,也提出了一个相应的基于ALA的多Agent系统开发方法,其中重点介绍了如何使用自顶向下和自底向上相结合的方法建造ALA体系结构,同时也对多Agent系统的性质验证进行了详细的讨论.总之,ALA体系结构不仅具有坚实的理论,同时也在实践中证明了其实用价值.今后的工作包括对ALA体系结构可伸缩性的评估,以及利用其它相关的研究成果增强ALA理论与相应的工具.5.期刊论文曾伟.费奇Agent规划的形式化描述-华中科技大学学报(自然科学版)2001,29(8)Agent的规划描述为动作树的抽象结构,刻画了Agent对其行为的选择、组合能力.将Agent的动作划分为实现型动作和维护型动作两种类型,以描述处于一定社会环境之中的Agent,一方面要实现某个目标或意图,另一方面要遵循社会规范的约束.采用扩充了模态算子和动作算子的一阶分枝时序逻辑,对Agent的动作进行了形式化描述.6.学位论文童海峰基于DFL的多Agent自动推理平台设计2005本文利用动态模糊逻辑(DFL)作为形式化描述工具,提出了Agent的推理模型,并在此基础上构造了一个多Agent系统推理平台。主要工作包括:基于DFL理论,构造了单个Agent的推理模型;分析了当前多Agent系统的研究状况,构建了多Agent系统的推理平台;给出了Agent推理过程中的选择算法、反馈算法、协商算法和推理算法;给出了该平台在组合数学中的初步应用。 综上所述,本文的特点主要有如下几点: 1、提出了基于DFL的多Agent自动推理平台的设计方案,并进行了初步的实例分析; 2、提出了基于DFL的Agent自动推理过程中的选择算法、反馈算法、协商算法等; 上述工作,对多Agent系统进行了合理的形式化描述,既弥补了现有理论的不足,又为进一步研究多Agent系统提供了新的途径。7.期刊论文李军.张卓.LIJun.ZHANGZhuo多Agent系统中Agent的协作机理与模式-青岛大学学报(工程技术版)2005,20(3)借鉴人类社会学,分析了多Agent系统中Agent之间的协作机理,提出了多Agent系统中Agent进行协作的4种模式--对话模式、会议模式、协同模式和层次模式.使用结构化方法描述了4种协作模式的协作过程,给出了对话模式的形式化描述,为设计具有分布式协作问题求解能力的多Agent系统提供了理论框架.8.学位论文陈璐零售电子市场中多并发双边自动协商模型研究2006蓬勃发展的零售电子市场正在吸引越来越多的商家和消费者在线进行商品交易。智能Agent技术在电子商务系统中的应用使得商务活动许多环节的自动化成为可能。而在实际商务活动中,协商是最重要的一环,因此,自动协商技术已成为实现第二代电子商务应用的关键技术。目前已有许多自动协商系统能够支持一对一协商,而针对一对多协商的研究则主要集中在各种类型的拍卖系统上,拍卖是一种竞争性协商,通常只针对价格一个议题,并不适用于半竞争性的零售电子市场。多并发双边协商则是一种更加灵活和更加适合的协商模型。本研究致力于解决的问题正是设计并建立一个适用于零售电子市场商品交易协商的多并发双边自动协商模型。本文的研究工作和创新点主要包括以下几个方面:1.论文分析了自动协商系统的研究现状,提出了基于多Agent系统的多并发双边协商模型。模型中包括三种类型的Agent,分别是CoordinatorAgent、BuyerAgent和SellerAgent;这三种Agent之间存在两种类型的交互,分别是BuyerAgent和SellerAgent之间的双边多议题协商,以及CoordinatorAgent和BuyerAgent之间的多线程协调,针对这两种不同的交互分别构建了双边多议题协商模型和多线程协调模型。2.论文在研究了零售电子市场特点的基础上,设计了基于PFCSP(PrioritizedFuzzyConstraintsSatisfactionProblem)的双边多议题协商模型,给出了模型中协商双方BuyerAgent和SellerAgent的形式化描述和各自的行为协议,定义了协商的通信接口,提出了BuyerAgent的三种基于模糊约束的协商策略以及相应的协商算法。3.论文构建了多线程协调模型,给出了CoordinatorAgent的形式化描述和行为协议,定义了协调的通信接口,提出了CoordinatorAgent的三种不同的协调策略以及相应的协调算法。4.在上述研究的基础上,笔者采用JAVA语言在JADE(JavaAgentDevelopingEnvironment)平台上设计实现了一个多并发双边协商的实验原型系统MCBNS(MultipleConcurrentBi-lateralNegotiationSystem),对基于PFCSP的双边多议题协商和多线程协调的正确性和可行性进行了验证,并分析比较了各种不同的协商策略和协调策略。9.期刊论文帅典勋.顾静多Agent系统分布式问题求解的代数模型方法(Ⅰ):社会行为、社会局势和社会动力学-计算机学报2002,25(2)该组论文提出一种新的代数模型方法,用于多Agent系统超分布超并行社会智能问题求解,该方法通过社会动力学和社会智能,统一地处理各种复杂的并行的社会行为,用于求解用常规方法难以处理的许多社会交互问题.本文是组合论文中第一篇,提出多Agent系统分布式问题求解的代数模型结构,讨论多Agent系统中典型社会行为模式及其性质,建立形式化描述,同时也论述了代数模型中的社会局势和社会动力学.10.学位论文刘磊软构件集成框架的研究2003该文通过对传统的软构件集成框架的分析,研究了软件工程的方法及基于CORBA的软构件生成和组装技术,提出一种新的分布式软构件集成环境DSCIE(DistributedSoftwareComponentIntegratedEnvironment)的框架.第1章简单回顾了软件重用研究的发展过程,突出讨论软件重用的理论基础和技术等方面的研究现状,并对目前有关软件重用研究的热点问题及其发展趋势进行了探讨,最后介绍了该文的主要工作与组织结构.第2章先简单介绍了软构件和软总线技术的定义和特点,然后对构件描述方法的发展过程和研究现状进行了介绍,最后在对软构件技术分析的基础上给出了软构件在分布式网络环境下的形式化描述.第3章主要分析了建立分布式构件库的过程.首先介绍了对软构件的要求、获取和分类.然后根据软构件的形式化描述、构造原则、获取步骤和分类方法,建立分布式构件库,最后说明了分布式软构件库的管理组成和管理工具.第4章在分布式构件库的基础上,分析当前CORBA和Agent技术的特点,将两种技术引入到分布式软构件集成框架的设计中.第5章提出一种新型的软构件集成环境框架的设计,此框架采用符合CORBA规范的分布式对象技术来构造软构件集成框架,引入主动工作的多Agent来降低软件合成的复杂性,从而增加软构件技术的网络适应性,为扩大软构件技术在网络环境下的应用提供有效的支持.第6章主要列举了利用软构件集成框架技术,开发的两个应用系统:报表构件生成系统和Web信息发布系统.引证文献(3条)1.黄天辰.韩京才基于Agent组织的作战模拟[期刊论文]-系统仿真学报2005(11)2.基于Agent技术的复杂适应系统分析与建模[期刊论文]-计算机仿真2005(9)3.尹全军基于多Agent的计算机生成兵力建模与仿真[学位论文]博士2005本文链接::上海海事大学(wflshyxy),授权号:f062da3a-7488-42f2-9e72-9e1c00f2707e下载时间:2010年10月27日
本文标题:基于多Agent的分布式电子市场体系及其关键技术研究
链接地址:https://www.777doc.com/doc-69479 .html