公共文化服务平台

国家重点基础研究发展计划(2002CB312002): 作品数：140 被引量：1,685H指数：21; 相关作者：吕建王志坚陶先平陆桑璐马晓星更多>>; 相关机构：南京大学河海大学上海交通大学更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术电子电信水利工程自然科学总论更多>>

一种广义信念修正的计算方法被引量：2: 2004年; AGM理论中新知识为单个语句 ,而实际上新知识通常是以多语句甚至无穷语句的形式出现广义信念修正从理论上扩充了AGM系统 ,但在具体实现上还缺乏有效的算法通过构造优序划分的方法解决信念间的关系问题 ,采用新知识的信度与冲突知识相关的方法解决新知识的信度问题给出了一种基于链表的计算方法。; 贾松茂高阳孙召春陈世福; 关键词：信念修正 GBR

面向服务的网格高性能计算策略被引量：3: 2006年; 网格技术和Web服务的发展,促成了服务计算的诞生和发展.本文在面向服务的架构下,重新研究传统计算网格下的高性能计算.首先,针对高性能计算应用的特点,结合面向服务的思想,提出了一种层次资源管理体系结构.其次,分析了适用于网格环境的高性能计算应用的程序结构,并通过有向无循环图(DAG)加以表示.第三,基于上述的资源管理体系结构和高性能计算应用模型,提出了一种改进的动态优先级调度算法.最后,通过仿真实验,分析了提出的算法的性能,实验结果表明提出的算法适用于网格环境,进而验证了本文提出的面向服务的网格高性能计算策略的有效性.; 翁楚良李明禄陆鑫达; 关键词：资源管理调度策略

网格环境下的一种服务模型及其应用被引量：8: 2005年; 建立一个统一高效的服务模型,对于方便地集成异构的资源、提高网格应用系统的效率、便于用户使用网格资源等都起着十分重要的作用。文章介绍了开放网格服务体系结构(OGSA),提出了一个基于OGSA的服务模型,研究了模型中服务的发布、发现、调用与安全机制,并通过一个应用验证了模型的正确性,为网格服务的商业化提供了有力的支持。; 唐飞龙李明禄潘群华; 关键词：网格服务开放网格服务体系结构

时序Agent程序设计语言TAOPLID的离线解释器: 2005年; AOPLID是一种面向agent程序设计语言。本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释器。首先,我们对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动。其次,为使TAOPLID离线解释器方便处理以集合方式表示的TAOPLID程序,设计并实现了TAOPLID预处理器,它将TAO-PLID程序的集合形式转换成Prolog子句形式,然后通过TAPOLID离线解释器对其解释生成一可执行的原子行动序列。; 李斌唐小燕吴梅丽张东摩吕建; 关键词：程序设计语言 AGENT 离线解释器情境演算再引入

基于重写逻辑的Web服务事务处理形式化描述被引量：4: 2005年; Web服务的事务处理研究越来越活跃，对于 Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法.该文提出了一种基于重写逻辑的 Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的 Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析.; 戚正伟毛宏燕尤晋元; 关键词：WEB服务事务处理重写逻辑形式化方法细胞膜演算

服务网格中的事务服务及基于Petri网的正确性分析被引量：19: 2005年; 面向服务的的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持.该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性.通过 Petri 网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性.网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持.; 唐飞龙李明禄黄哲学王卓立; 关键词：服务网格事务服务 PETRI网

基于本体的Web服务组合异构消息的转换被引量：2: 2005年; Web服务的动态组合中所面临的一个重要问题是不同Web服务之间的消息格式的异构，这使得服务组合的流程定义和服务的选择有了很大的耦合性，因而动态组合变得困难．本文分析了Web服务组合中消息传递的异构现象，提出了一种基于本体的异构消息自动匹配和转换方法．该方法将上游Web服务输出信息通过本体匹配的方式有效的提取出来，并根据对应操作转换为与当前Web服务的输入参数格式相匹配的形式．这样，简化了Web服务组合的过程定义，也能够支持Web服务的替换和过程的动态演化．; 钱柱中戚玉松陆桑璐谢立; 关键词：WEB服务组合本体

基于规划规则的激励学习偏差研究被引量：1: 2004年; 在实际动态系统中,经典无启发知识的激励学习算法收敛非常慢,因此必须采用某种偏差技术加速激励学习的收敛速度.已有激励学习偏差算法,通常先验地给出启发知识,这与激励学习的思想相矛盾.通过在初次激励学习获得的策略知识中,先抽取满足条件的规划知识,然后将规划知识作为启发知识,进一步指导后继激励学习.实验结果显示这种学习技术能有效加快算法收敛速度,并适用于动态复杂环境.; 汤九斌高阳陈世福; 关键词：收敛速度动态系统抽取知识

一个基于信任管理的分布式访问控制系统的设计与实现被引量：6: 2005年; 开放协同软件环境下软件系统的安全问题极大地影响了软件系统的开发与应用。信任管理是解决开放协同软件环境下安全问题的一个新思想。本文在分析了开放协同软件系统安全问题的基础上,针对现存信任管理系统的不足,设计并实现了一个适用于开放环境下的基于信任管理的分布式访问控制系统DACBTM。该系统采用信任度量的方法对软件实体间的信任关系进行评估。本文在系统实现的同时给出了一个经过改进与扩充的信任发现算法,该算法对于安全信息不足的情况给出了合理的解决方案。; 王远徐锋曹春吕建; 关键词：信任信任管理信任评估信任管理系统分布式软件系统

自主Agent结构AASC及其原型支撑系统AASS被引量：2: 2005年; 介绍了一个能刻画agent的多种特征,尤其是自主性的自主agent结构AASC。此结构结合了BDI结构和情境演算的优点,既能表示agent的信念、目标、策略等心智成分,又能进行行动推理和规划。为了能够方便用户建造自主agent,基于自主agent结构AASC,开发了AASC的原型支撑系统AASS。介绍了AASS的总体结构,讨论了AASS的主要成分类,说明了如何利用该系统开发agent应用系统。; 李斌唐小燕吴梅丽; 关键词：AGENT结构心智状态情境演算 BDI模型

国家重点基础研究发展计划(2002CB312002)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家重点基础研究发展计划(2002CB312002)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈