基于移动Agent的网格事务处理协调协议

针对网格环境中事务的特点,结合移动Agent技术,给出了一个网格事务处理模型,设计了模型中2种事务类型的协调协议.原子事务协调协议用于保证网格原子事务原子性和正确性,而聚合事务协调协议则用于网格聚合事务处理,降低长事务夭折的数量.最后给出了协议的正确性证明和实验结果分析.研究和实验结果表明,所提出的基于移动Agent的模型能够解决网格自治性问题,具有高协作性和高可靠性.模型中的2种事务协调协议可以减少事务处理过程中的实时连接和频繁交互次数,降低网络通信开销,大大提高了事务的执行效率和系统资源的利用率.     

工作流高级事务模型ESaga的实现与验证

对传统高级事务模型Saga进行扩展和改进的高级事务模型ESaga,建立在CORBA对象事务服务模型(OTS)基础之上.不仅为Saga模型增加了分布式事务支持,而且应用多A-gent技术进行优化,很大程度上弥补了Saga模型补偿事务过于复杂的不足,使Saga模型能够应用到现实工作流系统中解决长事务问题.现给出与ESaga模型实现相关的平台,长事务处理接口定义,事务Agent的部分定义、算法,及其验证结果.     

基于FIPA的实时多Agent股票买卖原型系统

提出了一个以CORBA作为底层并与FIPA兼容的实时多Agent股票买卖原型系统.在股票市场中,定义了四种不同类型的股票Agent.该系统由一个实时Agent通信层和一个实时CORBA层构成.在实时Agent通信层,FIPA Agent通过本文扩展的实时FIPA ACL通信.在CORBA层,Agent作为CORBA对象通过本文实现的OMG IDL进行通信.此外,还对实时Agent通信层的几个核心Agent的实现也作了相应的描述.受益于多Agent系统,原型股票系统的自动性增强.同时还提供了实时Agent通信、实时Agent调度、实时Agent目录设施等实时股票交易Agent服务.这些服务允许描述并增强了实时股票Agent的交互型.     

基于MySQL和PHP的分布式事务处理

在讨论分布式事务处理模型及事务提交协议的基础上,针对实际应用中的银行转账模型,分析一般分布式事务处理失败的原因,给出基于XA接口的MySQL(关系型数据库管理系统)和PHP(超级文本预处理语言)对分布式事务处理的实现方法和过程.研究结果表明,该分布式事务处理方法可靠,并可简化程序的实现.     

基于Q的多代理语义信息互操作查询系统

在引入并实现本体映射的基础上，基于Q语言(一种设计代理(Agent)和用户交互的场景描述语言)，提出了一个语义Web上多Agent信息互操作查询系统．该系统由领域本体服务器、本体映射服务器、语义信息源、以及多Agent查询系统组成．映射服务器通过映射规则提供概念转换功能，Q用于描述和统一多Agent查询系统中的Agent到Agent以及人到Agent的交互．系统结构的原型实现表明：通过Q场景(scenarios)，终端用户可以灵活和交互地控制多个Agent的行为，以实现信息互操作查询．     

PAR平台中并发分布式事务处理机制及其应用研究

随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在其建模语言Apla中融入了并发分布式事务处理机制,使得Apla语言不仅支持分布式数据库事务,还支持分布式非数据库事务.该文对Apla语言并发分布式事务处理机制进行了深入地研究,并将其应用在学生管理系统、在线购物系统等实际应用场景中.     

一种并发实时事务控制原型的设计与实现

随着移动通信技术的快速发展和移动计算机的大量普及,由移动计算、实时应用结合传统数据库技术而形成的移动实时数据库系统已成为研究热点.实时事务并发控制要充分考虑资源、时效、应用环境的限制,满足事务的实时性和移动性.本文针对一种混合的事务模型,重点实践了相应的事务并发控制处理原型的设计和实现,为进一步探索有效的移动实时事务处理方法奠定了基础.     

移动Agent技术的研究

移动Agent是分布式计算技术和人工智能技术有机结合的产物.是未来的主流分布式计算模式.本文重点研究了移动Agent系统的体系结构和通信机制,并利用移动Agent技术实现了电子商务系统原型.     

基于Agent的协同感知控制体系与通信机制

随着协同工作中分布式协同行为的增多,对协同主体之间信息交流和协同控制的要求越来越高.为了解决协同控制中动态、开放、社会性的复杂系统问题,引入了协同Agent的概念.利用协同Agent的信念-愿望-意图体系结构,有效实现了协同过程各阶段的感知、控制功能.此外,还利用言语行为理论扩展知识查询和操作语言通信原语,形式化定义了协同工作特有的言语行为,在通信层面为协同工作提供支持.     

面向UCAV系统的交互Agent协同技术

UCAV的每个组成部分都是一个高技术的复杂子系统，而且各个组成部分相互之间具有很强的依赖性和协调性，其UCAV系统实时交互的正确性依赖于全局实时约束，并且是一个多Agent系统。因此需对多Agent的协同技术进行深入的研究。首先，提出了基于时间约束的部分一全局计划（TPGP），实现了全局约束。其次，研究了任务协同关系，分布实时Agent协同。最终实现了实时约束下的UCAV系统多Agent的协同。     

图形翻译器的研究

为对概念设计到结构设计的映射提供一个良好的方法 ,在提出的基于原型的结构设计模型中 ,建立了能将原有实例图形自动翻译为参数化原型样图 ,进而实现实例化变形设计的图形翻译器。讨论了图形翻译器的理论基础、图形约束及其处理方法、图形翻译器的结构和算法流程、给出了结构件的设计实例。结果表明 ,图形翻译器是实现结构设计自动化的有效工具     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。     

一种基于元规则的自然语言生成规则解释技术

结合一个基于规则的日汉机器翻译系统,给出了自然语言生成规则的一种解释技术.该技术着眼于汉语生成规则语言的表达能力、自然性以及可扩充性,在实现中采用了基于元规则的方法,可以很方便地对规则语言进行扩充;另外,元规则的描述主要采用了自动机模型.所述的原则和技术也适用于一般的基于规则的自然语言处理系统.     

Establishing Efficient C2C E-alliance Based on Mobile Agent

In order to alleviate difficulties of conducting consumer-to-consumer(C2C)e-commerce transaction,establishing efficient e-alliance was proposed.E-alliance is the union of e-commerce sites.It is constructed by mobile agents.The mobile agent architecture was discussed.The process of selecting suitable e-commerce site to e-alliance was presented based on support vector machine(SVM)and fuzzy method.A prototype of the proposed system is implemented on a web platform.To enable data exchange between e-alliance and...     

配电网与微电网群日前电能交易纳什议价方法

随着售电侧电力市场改革的不断深入,研究配电网与微电网群之间的电能交易问题对推动区域电网经济效益具有重要意义。针对此问题,本文研究提出了一种基于纳什议价的配电网与微电网群日前电能交易方法。该方法在充分考虑可再生能源发电和电力负荷波动对微电网电能交易调度影响的基础上,以配电运营商与微电网运营商在电网电价下的最优交易成本作为纳什议价的谈判破裂点,构建了配电运营商与多个微电网运营商分别独立议价的合作博弈模型。其合作博弈均衡的求解问题可转化为社会效益最大化和支付效益最大化两个连续子问题,并采用交替方向乘子法进行分步求解。最后,通过算例分析验证了所提方法对提升区域电网中电能交易主体经济效益的有效性。     

企业-科研机构合作创新的演化博弈分析

企业与科研机构的合作创新是企业获取技术的一种重要手段。该文运用演化博弈基本理论和模型对企业与科研机构间合作创新问题进行研究,分析了企业面临科研机构不同价值类型的科研成果在技术交易与商业化协作2种合作方式之间的策略选择趋势;以及科研机构为应付企业的2种合作方式对科研成果价值类型的策略选择;并进一步说明了我国高风险科研项目合作困难的深层次原因。     

电气操作票生成及网络计算机协同工作的专家系统

针对电厂电网运行自动化和无人值守变电站远程控制管理的需要，提出了一种计算机操作票智能处理的专家系统及现代网络远程计算机支持的协同工作（CSCW）的决策支持系统（DSS），该系统具有机器学习，知识处理和图形辅助验证功能，数据库设计可满足多站点运行数据自动上报及不同时次的配置接入与维护，系统通过网络通讯，可远程模拟工作现场显示，并具有人机界面友好，维护操作方便，消息驱动机制灵活等特点。     

Architecture of Next-Generation E-Commerce Platform

E-commerce, driven by computer and internet technology, has experienced a significant growth in almost all fields during the past two decades. E-commerce has significantly changed the rules of business. Numerous research institutions and enterprises have made e-commerce more intelligent and convenient. Here, we propose a novel prototype of next-generation e-commerce platform with an architecture framework and theoretical models.Each subject, including the individual, enterprise, and administrative department, has his/her personalized portal to complete the subject information synchronization, supply release, demand satisfaction, and social contact. By using the personalized portal, instead of the traditional trading platform, the consumers and suppliers can complete intelligent matching transactions without intermediate traders. Moreover, the overall transaction process can be reviewed, making the transaction safer, more transparent, and more interesting. Moreover, the interconnected personalized portals solve the isolated islands of information, and the counterparts support parallel processing.Thus, this may improve the operating efficiency of the entire society.     

Research on negotiating agent development

The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules. can he dynamically inserted into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent. Tbe set of desirable criteria and rules is required to be justified with different context of the application.