Agent辅助服务体系研究

为解决Agent在充满不确定因素的互联网环境中执行任务时易陷入无助境地的问题，探讨了一种为Agent提供帮助的辅助服务体系，该体系建立在Agent之间交流的语义清晰化基础之上，以中介Agent为核心，以分布于互联网的Agent社会为体系，帮助Agent在互联网环境中高效方便地执行任务。     

OKMF: 一个基于本体论的知识管理系统框架

根据知识管理的工作原理、功能结构和知识在企事业中的全过程，提出将知识过程分为俘获、保存和重用三个阶段，用知识的转化和连接机制衔接这三个环节，本体论贯穿始终．设计了一个此理论下的基于本体论的知识管理系统基本框架——OKMF，对于将本体翻译为元知识结构、基于本体论的知识项检索以及人与知识的连接机制等方面，进行了比较系统和深入的论述，探讨了框架中的主要技术并给出了一个系统实例。     

基于Agent技术的虚拟组织集成框架IFVO

虚拟组织正成为常规组织（或个人）间协同工作的重要形式,并要求集成化信息基础的支持。文中提出一个基于Ａｇｅｎｔ技术的虚拟组织集成框架ＩＦＶＯ,它以面向活动分担的联合意向作为主要手段从３个方面：体系结构方式、Ａｇｅｎｔ协作的语义互操作,支持集成化虚拟组织信息基础的开发和协调运作,ＩＦＶＯ将虚拟组织的信息基础封装和构造为可快速组合和拆卸的嵌套Ａｇｅｎｔ联邦,从而能有效地支持虚拟组织的动态建立、运营过程的     

基于任务结构模型的多Agent产品并行开发体系

为了促进产品并行开发,文章提出了一种用于描述基于领域的任务分解、任务之间的约束关系及任务与产品信息之间对应关系的任务结构模型,设计了表示语言ＣＲＬＥ以定义领域共享本体论和任务结构模型。在此基础上构建了多Ａｇｅｎｔ产品并行开发体系,包括由多个协作Ａｇｅｎｔ和一个协作促进器组成的Ａｇｅｎｔ联邦、系统服务Ａｇｅｎｔ和领域服务Ａｇｅｎｔ,并提供了协调机制。     

开放式软件体系结构描述语言设计

本文针对软件体系结构描述语言的发展趋势和研究特点,提出并实现了一种开放式的软件体系结构描述语言ＣＯＡＤＬ,ＣＯＡＤＬ不仅使得工作人员可以方便的使用其对软件系统进行软件体系结构设计和开发,而且还为有关工作人员提供了进一步利用其它现有体系结构语言的扩展接口。     

基于构件的电子商务

电子商务系统的设计多采用三层体系结构。文中针对三层体系结构存在的缺点，介绍了一种基构件的四层体系结构的设计方法，分析了这种方法方法的特点，并给出了一个实例说明。     

面向超大数据集的SVM近似训练算法

标准SVM学习算法运行所需的时间和空间复杂度分别为O(l~3)和O(l~2),l为训练样本的数量,因此不适用于对超大数据集进行训练.提出一种基于近似解的SVM训练算法:Approximate Vector Machine(AVM).AVM采用增量学习的策略来寻找近似最优分类超平面,并且在迭代过程中采用热启动及抽样技巧来加快训练速度.理论分析表明,该算法的计算复杂度与训练样本的数量无关,因此具有良好的时间与空间扩展性.在超大数据集上的实验结果表明,该算法在极大提高训练速度的同时,仍然保持了原始分类器的泛化性能,并且训练完毕具有较少的支持向量,因此结果分类器具有更快的分类速度.     

基于NGPD的PaaS平台研究与实现*

云计算是一种将计算和存储任务分配到由大量计算机构成的云中的计算模式。云计算提供三种类型的服务：基础设施即服务（IaaS）、平台即服务(PaaS)和软件即服务(SaaS)。虽然PaaS在云系统中起到了关键的作用,但是目前的PaaS平台存在着服务协同性低、资源匮乏、用户界面不友好等问题。本文设计并实现了基于准则调控和策略驱动的自治式服务协同模型（NGPD）的PaaS平台,其利用自治计算元素实现了自治式服务协同,这是尝试解决现有PaaS平台支持提供云平台型服务不足的探索性研究,为云用户提供了更加高效和经济的平台开发环境。     

词法多重散列与包容语义相结合的服务查找

为进一步提升服务组合性能,提出将词法多重散列与包容语义相结合的快速服务查找法.该方法有如下特点：将服务描述模型分解为不同粒度的词法和语义子块,同时将服务查找过程转换为按词法子块粒度递增的多重散列过程,利用子块间的包容语义消解散列冲突,实现降低查找失败时间至最低;所建立的服务库一方面通过缩减服务组合路径搜索空间降低查找成功时间,另一方面为设计高效组合路径查找算法提供了基础;可提供近似常数时间的原子服务查找和服务建库过程.实验证明该方法查找准确,较当前权威组织提供的基准服务查找方法效率提升显著,并具有查找时间几乎与服务库规模无关的良好稳定性.     

基于符号模型检验的可信跨域协作系统验证方法

针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的状态或状态转移集,消除了系统模型和规范的语义不一致性;系统抽象模型包括规范Kripke结构和路径规范性定义,以及规范Kripke结构的分支时态逻辑（CTL）语义3个部分,实现了可信系统的形式建模;验证算法描述了系统符号模型检验的具体实现过程.与基于定理证明的验证方案相比,该方案有效降低了验证时间,提高了验证效率.