期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
基于约束条件随机场的Web数据语义标注 被引量:9
1
作者 董永权 李庆忠 +1 位作者 丁艳辉 彭朝晖 《计算机研究与发展》 EI CSCD 北大核心 2012年第2期361-371,共11页
Web数据语义标注是Web信息抽取中的关键步骤.条件随机场是利用序列特征处理序列标注问题的经典方法.然而现有条件随机场模型无法综合利用已有的Web数据库信息和Web数据元素之间的逻辑关系,导致Web数据语义标注准确率不高.因此,提出一种... Web数据语义标注是Web信息抽取中的关键步骤.条件随机场是利用序列特征处理序列标注问题的经典方法.然而现有条件随机场模型无法综合利用已有的Web数据库信息和Web数据元素之间的逻辑关系,导致Web数据语义标注准确率不高.因此,提出一种约束条件随机场模型(CCRF).该模型通过引入可信约束和逻辑约束,有效利用了已有的Web数据库信息和Web数据元素之间的逻辑关系.为了克服现有条件随机场模型Viterbi推理方法无法综合利用这2类约束的不足,该模型采用整数线性规划推理方法,将两类约束同时引入推理过程.通过在多个领域的真实数据集上的实验结果表明,所提出的模型能够显著提高Web数据语义标注的性能,并且为Web信息抽取奠定了良好的基础. 展开更多
关键词 语义标注 web信息抽取 条件随机场 整数线性规划 web数据集成
在线阅读 下载PDF
一种面向语义Web服务的软件设计语言和设计方法 被引量:4
2
作者 曹虹华 应时 +1 位作者 杜德慧 贾向阳 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期129-135,共7页
在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域... 在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域的一个实例,讨论了该方法的全过程.还给出了SPL语言和相关语言的比较.该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 . 展开更多
关键词 语义web服务 语义编程语言SPL 软件设计方法
在线阅读 下载PDF
基于语义的QoS感知Web服务发现机制 被引量:4
3
作者 王晓峻 毛莺池 钱国锋 《计算机科学》 CSCD 北大核心 2010年第8期133-138,共6页
随着提供相同功能的Web服务数量的日益增多,服务质量(Quality of Service,QoS)成为用户选择Web服务的重要考虑因素。目前,通过对服务QoS属性在语法层匹配来提供Web服务选取的机制不能很好地满足复杂QoS属性匹配的要求。研究了基于用户Qo... 随着提供相同功能的Web服务数量的日益增多,服务质量(Quality of Service,QoS)成为用户选择Web服务的重要考虑因素。目前,通过对服务QoS属性在语法层匹配来提供Web服务选取的机制不能很好地满足复杂QoS属性匹配的要求。研究了基于用户QoS需求偏好,将用户需求的QoS与候选服务的QoS进行语义比较,结合约束规划(Constraint Programming)方法,在语义层匹配Web服务的QoS属性,选取满足匹配要求的服务,最后对满足QoS属性值约束的候选服务进行优化选择处理,获取最终匹配的候选服务。 展开更多
关键词 web服务发现 QOS感知 约束规划 语义 web
在线阅读 下载PDF
基于元对象机制的语义Web服务组合模型转换方法 被引量:1
4
作者 倪悦 范玉顺 《计算机集成制造系统》 EI CSCD 北大核心 2011年第4期867-875,共9页
为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活... 为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活的模型转换方法,从而保证不同领域业务过程协同的顺利进行。通过在欧盟ImportNET项目中的应用验证了所提框架和转换方法的有效性。 展开更多
关键词 语义 web服务 元对象机制 模型转换 业务过程协同
在线阅读 下载PDF
一种面向语义Web服务的语义程序变换方法
5
作者 王权于 应时 +1 位作者 吕国斌 赵楷 《计算机科学》 CSCD 北大核心 2010年第3期175-177,181,共4页
语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法... 语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。 展开更多
关键词 语义web服务 语义程序 程序变换
在线阅读 下载PDF
一种基于Agent的语义Web服务编制框架
6
作者 赵楷 应时 +2 位作者 胡罗凯 曾志浩 袁文杰 《计算机工程与科学》 CSCD 北大核心 2010年第6期150-154,共5页
针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语... 针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语义Web服务编制的技术框架。框架实现基于SPL开发和运行支撑平台,该平台为语义Web服务和软件Agent提供必要的运行支持。 展开更多
关键词 AGENT 多AGENT系统 语义编程语言 语义web服务 编制框架
在线阅读 下载PDF
多主体系统中的动态服务匹配 被引量:4
7
作者 蒋运承 张海俊 +1 位作者 董明楷 史忠植 《电子学报》 EI CAS CSCD 北大核心 2004年第3期457-461,共5页
本文研究了多主体系统的服务匹配问题 ,分析了目前服务描述语言CDL、SDL和LARKS等存在的不足 ,并结合Web服务、语义Web服务和Grid服务等特点 ,提出了一种带语义、继承以及支持协商机制的主体服务描述语言SDLSIN .在SDLSIN的基础上 ,本... 本文研究了多主体系统的服务匹配问题 ,分析了目前服务描述语言CDL、SDL和LARKS等存在的不足 ,并结合Web服务、语义Web服务和Grid服务等特点 ,提出了一种带语义、继承以及支持协商机制的主体服务描述语言SDLSIN .在SDLSIN的基础上 ,本文重点研究了多主体系统中的动态服务匹配 ,提出了四种类型的服务匹配算法 .最后 。 展开更多
关键词 多主体系统 主体服务描述 服务匹配 人工智能 服务描述语言 web服务 Grid服务
在线阅读 下载PDF
一种基于模块单子语义的动态程序切片方法 被引量:13
8
作者 张迎周 徐宝文 《计算机学报》 EI CSCD 北大核心 2006年第4期526-534,共9页
提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片... 提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性. 展开更多
关键词 程序切片 动态切片 单子 单子转换器 模块单子语义
在线阅读 下载PDF
一种从Z规约到并行程序的精化方法 被引量:3
9
作者 万剑怡 孙永强 薛锦云 《软件学报》 EI CSCD 北大核心 2002年第11期2106-2111,共6页
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过... 提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述. 展开更多
关键词 Z规约 并行程序 精化方法 程序设计
在线阅读 下载PDF
结构件快速数控编程系统的集成技术研究 被引量:2
10
作者 李铁钢 付春林 王宛山 《组合机床与自动化加工技术》 北大核心 2012年第9期87-90,共4页
为提高飞机结构件的加工质量和效率,实现结构件快速数控编程加工,分析了结构件快速数控编程的网络化制造的信息流程,构建了结构件快速编程系统的体系结构。首先,提出了基于语义WEB服务和组件技术的系统集成解决方案,构建了基于本体的数... 为提高飞机结构件的加工质量和效率,实现结构件快速数控编程加工,分析了结构件快速数控编程的网络化制造的信息流程,构建了结构件快速编程系统的体系结构。首先,提出了基于语义WEB服务和组件技术的系统集成解决方案,构建了基于本体的数控编程的信息模型,最后,基于上述系统体系结构和实现方法,开发了一个原型系统。通过实验实例证明了本文方法的有效性,提高了结构件数控编程的效率和质量。 展开更多
关键词 数控编程 系统集成 语义web服务 本体 结构件
在线阅读 下载PDF
WordNet应用程序编程接口改进方法及其在Mashup服务发现中的应用 被引量:1
11
作者 曾诚 唐永 +1 位作者 朱子龙 李兵 《计算机应用》 CSCD 北大核心 2015年第11期3182-3186,共5页
传统的WordNet应用程序编程接口(API)在使用时是基于文件操作的,每执行一次API都需要到库文件中查找,因此导致基于API操作的文本分析与相似度计算耗时较为严重。因此,提出一种WordNet API改进方法:将WordNet概念语义网的构造过程移植到... 传统的WordNet应用程序编程接口(API)在使用时是基于文件操作的,每执行一次API都需要到库文件中查找,因此导致基于API操作的文本分析与相似度计算耗时较为严重。因此,提出一种WordNet API改进方法:将WordNet概念语义网的构造过程移植到内存中,同时增加了若干便于相似度计算的API,使得概念之间关系的追踪进程和文本相似度计算过程得以加快。该方法在Mashup服务发现过程中得以应用,实验证明利用改进后的API能够有效地提高Mashup服务的查询效率和查全率。 展开更多
关键词 WORDNET 应用程序编程接口 语义 Mashup服务 相似度计算
在线阅读 下载PDF
结合DL-safe规则发现日志本体频繁模式的方法 被引量:1
12
作者 孙明 陈波 周明天 《电子学报》 EI CAS CSCD 北大核心 2010年第2期376-381,共6页
为发现语义Web使用记录中所蕴含的有效信息,本文提出了一种挖掘日志本体频繁Web访问模式的方法.该方法引入应用访问规则集和观察集分别表示日志信息动态变化的语义规则和使用事实,并在DL安全的限定下将日志本体和应用访问规则集相结合... 为发现语义Web使用记录中所蕴含的有效信息,本文提出了一种挖掘日志本体频繁Web访问模式的方法.该方法引入应用访问规则集和观察集分别表示日志信息动态变化的语义规则和使用事实,并在DL安全的限定下将日志本体和应用访问规则集相结合构成一个推理过程可判定的混合知识库.在此基础上,利用日志本体中事件整分关系的语义构建访问模式学习的事务模型,并采用ILP的方法学习生成频繁用户访问模式树,解决了推理访问模式中非描述逻辑原子的问题.实验结果表明该方法的可用性和有效性. 展开更多
关键词 语义网使用挖掘 日志本体 频繁web访问模式 DL-safe规则 归纳逻辑编程
在线阅读 下载PDF
一种基于异构系统发现日志本体关联规则的方法 被引量:1
13
作者 孙明 陈波 周明天 《计算机科学》 CSCD 北大核心 2009年第12期187-190,共4页
构建日志本体之上的访问模式关联规则是语义Web使用挖掘的主要任务之一。在DL-safe规则的限定下,将日志本体和一阶应用规则相结合,构成异构日志知识库,以提高Web日志系统的知识表示和推理能力。在此基础上借助ILP理论从异构日志知识库... 构建日志本体之上的访问模式关联规则是语义Web使用挖掘的主要任务之一。在DL-safe规则的限定下,将日志本体和一阶应用规则相结合,构成异构日志知识库,以提高Web日志系统的知识表示和推理能力。在此基础上借助ILP理论从异构日志知识库中挖掘出频繁用户访问模式,并生成访问模式关联规则,以发现用户访问行为之间更丰富的潜在关联知识。该方法提高了语义Web使用挖掘的质量,为改进站点结构提供了更有效的决策知识。实验结果证明了该方法的可行性和有效性。 展开更多
关键词 语义web使用挖掘 日志本体 异构系统 关联规则 归纳逻辑编程
在线阅读 下载PDF
程序设计语言及相关领域的研究方向 被引量:2
14
作者 李留英 齐璇 +1 位作者 张猛 齐治昌 《计算机工程与科学》 CSCD 1999年第2期80-83,共4页
本文主要讨论了程序设计语言的研究方向,以及与之有关的研究领域,并展望了程序设计语言的发展。
关键词 程序设计语言 语义 类型系统 程序分析 程序变换
在线阅读 下载PDF
UNITY与典型程序设计模型的比较
15
作者 肖美华 薛锦云 化志章 《计算机工程与应用》 CSCD 北大核心 2003年第32期52-54,104,共4页
UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、C... UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。 展开更多
关键词 程序设计模型 UNITY形式语义 程序转换 Seuss
在线阅读 下载PDF
扩展AL-log挖掘日志本体的ILP方法
16
作者 孙明 陈波 +1 位作者 刘东 周明天 《计算机应用研究》 CSCD 北大核心 2009年第6期2328-2331,共4页
为发现W eb使用记录中所蕴涵的用户访问模式,在深入分析日志本体中事件间的抽象关系后,提出适用于原子事件和复合事件间整分关系推理的ALC传播规则扩展已有的推理模式,并在此基础上提出一种挖掘日志本体的ILP方法。该方法结合描述逻辑和... 为发现W eb使用记录中所蕴涵的用户访问模式,在深入分析日志本体中事件间的抽象关系后,提出适用于原子事件和复合事件间整分关系推理的ALC传播规则扩展已有的推理模式,并在此基础上提出一种挖掘日志本体的ILP方法。该方法结合描述逻辑和Horn规则在知识表示和推理过程中互补的特点,采用AL-log混合系统构建知识库,利用约束SLD-反驳消解和扩展ALC传播规则从日志本体中学习用户访问模式,达到站点商业智能和个性化的目的。最后给出验证该方法的实例,实验结果表明了该方法的可行性和有效性。 展开更多
关键词 语义网使用挖掘 归纳逻辑程序设计 日志本体 AL-log 混合推理
在线阅读 下载PDF
结合DL-safe规则的评估日志本体访问模式
17
作者 孙明 陈波 周明天 《计算机应用》 CSCD 北大核心 2009年第5期1401-1404,共4页
为从W eb使用记录中获得有效模式,在DL-Safe规则的限定下,将日志本体和应用访问规则相结合构建为一个推理过程可判定的混合日志知识库,并在此基础上提出一种从候选用户访问模式集中评估有效模式的方法。该方法首先借助归纳逻辑编程的思... 为从W eb使用记录中获得有效模式,在DL-Safe规则的限定下,将日志本体和应用访问规则相结合构建为一个推理过程可判定的混合日志知识库,并在此基础上提出一种从候选用户访问模式集中评估有效模式的方法。该方法首先借助归纳逻辑编程的思想对候选模式进行观察覆盖测试,并通过计算模式支持度找出其频繁项,然后利用语义普遍性测量提高了模式评估的质量。同时该方法还引入日志本体事件分类关系修剪冗余访问模式以提高模式评估的效率。实验结果表明了该方法的有效性和可行性。 展开更多
关键词 语义网使用挖掘 日志本体 DL安全规则 归纳逻辑编程 模式评估
在线阅读 下载PDF
一种基于执行路径状态比对的科学计算程序等效性判定方法
18
作者 曲海鹏 张敏媛 +1 位作者 韩庆迪 林喜军 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2021年第11期86-93,共8页
科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法... 科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法——SCEP,通过对程序不同版本在相同的输入空间的路径状态进行约束求解和精确比对,判定其计算的等效性。将SCEP方法与已有的判定方法在多个库函数组成的spcLib测试程序集上进行了对比实验,结果表明SCEP能判定更多的函数转换类型,不仅可用于“Fortran-to-Fortran”源码等效性检查,还能对“Fortran-to-C/C++”源码转换进行等价性判定。该方法有助于为科学计算程序的优化改进过程和向C/C++迁移过程提供完备的计算等效性保证。 展开更多
关键词 程序等效性验证 科学计算程序 状态匹配 回归验证 语义不变的转换
在线阅读 下载PDF
Unity和Gamma之间的程序变换:一个实例研究 被引量:1
19
作者 王敏 丁卫群 《小型微型计算机系统》 EI CSCD 北大核心 1998年第5期40-47,共8页
Gamma和Unity都是面向问题描述的编程模型。本文中我们提出了一种从Unity到Gamma的语义等价的程序变换方法,进而我们证明,Gamma比相应的Unity有更强的表达能力。同时,也提出了逆转换方法。把这些方法... Gamma和Unity都是面向问题描述的编程模型。本文中我们提出了一种从Unity到Gamma的语义等价的程序变换方法,进而我们证明,Gamma比相应的Unity有更强的表达能力。同时,也提出了逆转换方法。把这些方法运用到排序问题中的实验结果表明,用转换机制以及把Unity作为Gamma的实现层来编写有效的程序是一种可行的方法。 展开更多
关键词 程序变换 UNITY Gamma语言
在线阅读 下载PDF
一种描述逻辑与逻辑程序相结合的杂合系统DLclog 被引量:1
20
作者 杨方凯 陈小平 《软件学报》 EI CSCD 北大核心 2008年第12期3100-3110,共11页
面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription... 面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription)对其进行非经典解释,即出现在规则体中的DL谓词在其他DL谓词的解释任意发生变化的情况下,其外延在DL本体的模型中被解释为最小.使用这种方法,DL+log的非单调语义(NM-semantics,简称NM语义)被扩展成了DLclog的非单调限制语义(nonmonotonic circumscriptive semantics,简称NMC语义),从而成为目前表达能力和推理能力最强的杂合系统.此外,在DL本体使用ALCIO和ALCQO书写,且不允许属性(role)出现在规则中的失败否定(NAF)之后时,还给出了可靠完全的推理算法和NMC语义下可满足性的判定复杂度. 展开更多
关键词 限制 描述逻辑 杂合系统 逻辑程序规则 语义web
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部