公共文化服务平台

基于散列的语义服务匹配算法被引量：1: 2010年; 为提升服务匹配算法的性能,提出在散列过程中进行语义匹配。设计了基于框架的本体描述模型和支持多属性的服务描述模型。针对不同粒度模型子块的"约束结构"或"定义结构"设计散列函数,在按子块粒度递增的多重散列过程中完成服务匹配;设计了子块间的包容关系语义,并基于该语义进行散列冲突消解。理论分析表明该方法的匹配耗时指标为一区间常数。实验证明,该匹配策略相对于当前主流服务发现方法,提升查全率和查准率的同时,降低了匹配耗时;能快速建立支持高效服务组合的服务依赖关系图。; 傅朝阳高济郭航周尤明; 关键词：本体语义匹配

一种子句重构的增强Tableau算法: 2009年; 利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.; 古华茂高济王勋吴海燕; 关键词：可满足性

基于角色模型的多Agent自适应知识供应系统: 2009年; 通过应用语义Web技术,构造基于本体的可重构企业知识库和知识供应本体环境,解决不同企业知识的异构性问题.以DORL作为Agent应用域本体、角色相关内容的描述语言,以BDI刻画和描述Agent的概念和特征,作为Agent及角色的知识表示和推理能力的模式,应用多Agent系统角色间协作技术,实现企业知识供应系统.并提出了一种基于角色模型的多Agent自适应的应用系统架构.; 金智勇叶时平高济; 关键词：AGENT 角色模型

基于服务的规范多Agent系统动态模型被引量：1: 2012年; 为了描述规范多Agent服务协同的动态语义并解决服务描述规范ebXML存在的缺陷问题,扩展ebXML并借鉴SOC和SOA的优秀成果,提出了一种基于服务的规范多Agent系统动态模型.新模型包含服务规范语言SBNL(及其扩展规范)和联合二方协同主从闭包转移结构两大部分.SBNL从时态性和道义性有效实现了对服务协同的约束;而在转移结构中,以联合二方协同主从闭包作为状态转移标记、以SBNL规范(或以其扩展规范)剪枝后的协同树描述模型的动态语义.给出了二方协同定义和服务规范的种类、特性和形式,建立了基于服务的NMAS剪枝动态模型,并进行了应用分析.结果表明,新模型解决了ebXML的缺陷,有效描述了规范Agent服务协同的同步性和异步性,提高了规范多Agent系统的实用性.; 周尤明高济; 关键词：多AGENT系统动态模型 EBXML

基于双层信誉和反馈机制的可信信誉计算: 2009年; 针对多Agent系统中传统的信誉机制主要考虑的是事务层的信用计算,而不能很好的解决利用评价对信用计算进行扰乱和攻击的问题,设计了基于"事务信誉"、"评价信誉"的双层信誉模型和评价信誉反馈(RRF)机制.模型区分了事务信誉和评价信誉两种不同层次的信誉,利用消费方Agent的评价信誉决定对提供方Agent事务信誉的影响权重,并根据评价反馈值和评价值的距离调整以往评价者提供的评价值信誉.最后提出基于RRF机制的WS-QP算法.理论证明及实验结果表明,该模型和机制能够有效地减少恶意评价、随意评价和不公平评价等扰乱和攻击行为的影响.; 徐萍高济郭航; 关键词：多AGENT系统

引入任务情景的服务发现方法被引量：1: 2010年; 如何准确地发现目标服务是服务计算研究的关键问题。传统的服务发现方法由于没有考虑服务任务情景的适用性,查询精度仍有较大上升空间。基于此,提出包含任务情景的服务发现方法,以自定义本体论为基础,引入结构化概念实例模式来描述任务情景。实验数据表明,该方法提高了服务发现的精度。; 彭艳斌高济余洪刚; 关键词：本体论任务情景

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

用于IT系统自修复的功能点切片模型: 2009年; 针对缺乏以数据为基础的分析模型和信息以非结构化形式存储的复杂IT系统中的软件自修复问题,提出了一个基于过程模型的功能点切片模型(FPSM).该模型在功能点分析5类组件的基础上,建立组件间的各种依赖关系,形成系统功能点依赖图,再应用功能点切片的方法,实现组件间的自动化关联分析,以支持软件系统运行阶段功能异常的自修复.模型实现了异常原因定位、变更影响分析以及解决方案匹配的自动化.实验结果表明,功能点切片模型和基于模型的切片器工具由于对系统组件进行了有效的定义和关联,能有效地降低异常事务的风险指标,并能够减小系统故障的发生频率.; 徐萍高济张千里郭航; 关键词：自治计算

基于MVC+ORACLE+ODAC的企业内部业务数据系统的设计与实现被引量：1: 2016年; 当前不少大企业都以业务数据为基础,来判断企业的投资领域和员工的绩效,业务数据的统计和呈现尤为重要。大多企业内部管理系统的现状:前台不可配置因而维护量大,后台业务复杂因而团队开发效率低、新版本发布延迟,以及跨国公司业务数据不能及时同步因而数据不可靠。针对这一需求和现状,采用基于MVC+ORALCE+ODAC的架构开发,结合SVN、Robocopy和Jenkins机制自动同步数据和实时发布新版本。对系统的整体设计模型、完全可配置的前台、MVC+ORACLE+ODAC架构在系统中的应用和关键技术进行重点描述。该系统目前已应用于杭州的某大公司,实际应用证明该系统具有可配置、高效、可靠和安全的特点。; 周敏高济金智勇; 关键词：业务数据 MVC

Web服务业务流程一致性验证: 2010年; 在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。; 吴明晖熊向辉应晶; 关键词：WEB服务业务流程执行语言一致性

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家高技术研究发展计划(2007AA01Z187)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家高技术研究发展计划(2007AA01Z187)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈