Rough集高效算法的研究

深入分析了现有Rough集算法低效性的根源，围绕不可区分关系和正区域两个核心概念，研究了不可区分关系的性质，给出并证明了正区域的一种等价计算方法，从而得出高效的Rough集基本算法；随后，分析了正区域的渐增式计算，并给出了一种完备的同性约简算法．理论分析和实验结果表明，该约简算法在效率上较现有的算法有显著提高．     

UML活动图描述工作流模型的执行语义

UML是软件工程中广泛应用的建模语言，但其主要问题是缺少严格的形式化语义，因而描述的模型容易产生歧义．根据UML活动图的语法和工作流系统的特点，为UML活动图定义了一种执行语义．基于时间转变系统模型，将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程．时间转变描述时间的前进，数据转变修改工作流案例的状态，这种语义比层次状态图具有更强的描述并行的能力，比Petri网和进程代数更适合描述工作流模型．     

多主体团队交互协议

团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation forintelligent physical Agent)ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义.     

一种新的快速计算正区域的方法

Rough集理论是一种新型的处理模糊性和不确定性知识的数学工具，正区域是该理论的核心概念之一，如何有效地计算正区域对提高各相关算法的性能至关重要．在对比Rough集理论进行深入研究的基础上，提出且证明了一种新的快速计算正区域的方法，并进一步分析了正区域的渐增式计算，最后给出了详细的算法描述和时间复杂度分析．理论分析和实验结果表明，该方法能够有效地降低计算复杂度，在效率上较现有的方法有显著提高．     

多主体交互协议的表示和实现

多主体系统中,按照协议进行的交互具有显著的优点。文章首先提出一种交互协议表示方法,从协议描述和决策规则两方面来表示交互协议;然后改进主体的结构,提出一种知识层、会话控制层和通信层的三层结构,在原有主体结构中增加交互协议解释器。这种方法使得主体可以灵活地选择交互协议,同时将会话控制从知识层中分离出来,不仅使得交互更加可靠,而且减轻了主体推理的负担,简化了知识层的结构。     

智能互联网

Intelligent Web functions essentially as an autonomic entity. The Web automatically regulates the func-tions and cooperation of related Web sites and available application services. In the paper we will discuss the key is-sues related to the intelligent Web, such as semantic representation, Agent, resource management, service manage-ment, Web mininlz and so on.     

一种支持应用程序独立于数据源的中间层

通过分析通用数据接口ＯＤＢＣ的工作机理,揭示了数据库接口对应用程序透明访问数据源支持的不足。为此,设计并实现了ＣＯＮＶＥＲＴＳＱＬ ＳＱＬ语言中间转换层,弥补了数据库接口在这方面的不足。在实路中,ＣＯＮＶＥＲＴＳＱＬ取得了良好的应用效果。