期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到187篇文章
< 1 2 … 10 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于本体论和词汇语义相似度的Web服务发现 被引量：218
1
作者 吴健 吴朝晖 +1 位作者 李莹 邓水光 《计算机学报》 EI CSCD 北大核心 2005年第4期595-602,共8页
Web服务的大量涌现对服务发现提出了挑战,UDDI上基于关键词和简单分类的服务发现机制已经不能很好满足需要.该文在分析现有相关研究的基础上,提出了基于本体论和词汇语义相似度的 Web服务发现方法.通过构建Web服务本体,给出一个明晰的We... Web服务的大量涌现对服务发现提出了挑战,UDDI上基于关键词和简单分类的服务发现机制已经不能很好满足需要.该文在分析现有相关研究的基础上,提出了基于本体论和词汇语义相似度的 Web服务发现方法.通过构建Web服务本体,给出一个明晰的Web服务发现的研究对象,指出可对Web服务进行的几种相似度计算,并对其中的词汇语义相似度计算进行详细讨论.文中具体给出两种词汇语义相似度计算方法,其中第一种方法计算词汇语义相似度基于词语间距离度量,第二种方法计算词汇语义相似度则建立在义原相似度基础上.引入本体论和词汇语义相似度,为Web服务相似度计算、Web服务发现提供了一种有效可行的方法. 展开更多
关键词 本体 WEB服务 词汇语义相似度 WEB服务发现
下载PDF
基于描述逻辑的主体服务匹配 被引量：62
2
作者 史忠植 蒋运承 +1 位作者 张海俊 董明楷 《计算机学报》 EI CSCD 北大核心 2004年第5期625-635,共11页
多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题 .描述逻辑是知识表示和推理的形式化工具 ,它提供了可判定的和可靠的推理服务 .该文利用描述逻辑有效的推理功能 ,特别是它对概念包含关系的有效判断 ,把它与多主... 多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题 .描述逻辑是知识表示和推理的形式化工具 ,它提供了可判定的和可靠的推理服务 .该文利用描述逻辑有效的推理功能 ,特别是它对概念包含关系的有效判断 ,把它与多主体系统的服务推理结合起来 .充分利用描述逻辑具有清晰模型 理论语义和有效的概念分层推理服务等功能 ,该文提出了基于描述逻辑的主体服务匹配算法 ,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配 ,并提出了五种服务匹配算法 .这些方法都是基于语义的服务匹配 ,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配 ,克服了基于语义距离进行服务匹配的不足 . 展开更多
关键词 服务匹配 描述逻辑 推理机制 服务分层 多主体系统
下载PDF
认知语言学的“功”与“过” 被引量：78
3
作者 石毓智 《外国语》 CSSCI 北大核心 2004年第2期21-33,共13页
本文根据我们对汉语的研究经验讨论认知语言学的进步和局限。文章以具体的例证说明了,认知语言学跟传统结构主义语言学、特别是形式主义语言学相比,有八个方面的优点,同时也存在着七个方面的局限性。本文的分析对如何消化和使用这门新... 本文根据我们对汉语的研究经验讨论认知语言学的进步和局限。文章以具体的例证说明了,认知语言学跟传统结构主义语言学、特别是形式主义语言学相比,有八个方面的优点,同时也存在着七个方面的局限性。本文的分析对如何消化和使用这门新兴的语言学科有一定的帮助。 展开更多
关键词 认知语言学 结构主义语言学 形式主义语言学 语义 语法
原文传递
UML状态机的形式语义 被引量：26
4
作者 蒋慧 谢希仁 林东 《软件学报》 EI CSCD 北大核心 2002年第12期2244-2250,共7页
许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形... 许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明,为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义.此方法既是对一些经典Statechart形式化方法的综合,又针对UML状态机的特点作了创新,使状态项能够动态地描述任意时刻UML状态机的配置树,简化LTS的标记,同时,结构化的语义规则更为形式化验证奠定了基础. 展开更多
关键词 UML 状态机 形式语义 面向对象 建模语言
下载PDF
谈“只”与“连”的形式语义 被引量：50
5
作者 蔡维天 《中国语文》 CSSCI 北大核心 2004年第2期99-111,共13页
汉语中"只"与"连"一向都被认为是带有焦点的结构。然而当我们用 Kiss(1998)和徐烈炯(2002)提出的焦点判准来做测试的时候,却发现它们之间有不对称的现象:"只"字句能通过并列结构测试和否定结构测试;而&qu... 汉语中"只"与"连"一向都被认为是带有焦点的结构。然而当我们用 Kiss(1998)和徐烈炯(2002)提出的焦点判准来做测试的时候,却发现它们之间有不对称的现象:"只"字句能通过并列结构测试和否定结构测试;而"连"字句则不能。本文拟以 Horn(1969)对英语中only 和 even 的语义分析为出发点,来解决这个不对称的问题。就"只"字句而言,其预设为基本命题;其断言则为其基本命题之否定,并以焦点词组之补集为其范域。相较之下,"连"字句的断言才是基本命题;其预设则含有焦点词组之补集。这个差异正是不对称现象的来源。本文的研究不仅解决了"连"字句属对比焦点还是话题焦点的争议,也对强势量化词和疑问副词在"只"字句中的孤岛效应提出了合理解释。这样看来,语用的研究确实需要和句法、语义结合起来,来自语义、语用方面的材料不仅使形式分析更具有深度,也使我们对语言事实的观察更为周全。 展开更多
关键词 “只”字句 “连”字句 语法 形式语义 汉语
原文传递
IEC 61850的语义空间研究 被引量：27
6
作者 张结 卢德宏 《电力系统自动化》 EI CSCD 北大核心 2004年第11期45-48,共4页
变电站通信网络和系统系列标准——IEC 61850正在成为变电站自动化的一个重要标准。文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。提出“语义空间”的概念,给出“语义空间”构成“偏序集”的推断,并从语... 变电站通信网络和系统系列标准——IEC 61850正在成为变电站自动化的一个重要标准。文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。提出“语义空间”的概念,给出“语义空间”构成“偏序集”的推断,并从语义空间的数据通信基础、语义空间的结构、语义空间的可伸缩条件等方面对IEC 61850模型的语义空间做出分析,与传统自动化系统进行比较,发现和挖掘上述几个方面与“互操作性”的关系,寻找满足IEC 61850“互操作性”的基本语义形式。 展开更多
关键词 IEC 61850 变电站自动化 信息模型 形式语义 语义空间
下载PDF
GIS中空间拓扑关系的形式化描述 被引量：10
7
作者 王丽萍 潘云鹤 邱飞岳 《浙江工业大学学报》 CAS 1999年第2期168-172,共5页
介绍了空间拓扑关系的形式化描述的一些方法，并提出了一种新的描述方法即基于Ｖｏｒｏｎｏｉ图的维扩展描述法。
关键词 地理信息系统 点集拓扑 空间拓扑关系 VORONOI图
下载PDF
基于进化分布式本体的语义Web服务动态发现 被引量：14
8
作者 马应龙 金蓓弘 冯玉琳 《计算机学报》 EI CSCD 北大核心 2005年第4期603-614,共12页
在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的 Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念... 在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的 Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了 PDK方法的一些重要属性.PDK用来描述分布式本体的进化和更新, 它适用于语义Web服务环境.基于PDK, 文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p -可满足性. 展开更多
关键词 语义WEB服务 描述逻辑 分布式描述逻辑 服务发现 本体
下载PDF
面向服务的知识发现体系结构研究与实现 被引量：16
9
作者 杨立 左春 王裕国 《计算机学报》 EI CSCD 北大核心 2005年第4期445-457,共13页
知识发现服务(Knowledge Discovery Service,KDS)作为一种数据、计算、语义密集型的高层服务应用,用户通常需要具备非常全面的知识才能正确使用.如何实现一个面向最终用户的、智能的、有质量保证的 KDS架构面临很多困难.现有的研究提出... 知识发现服务(Knowledge Discovery Service,KDS)作为一种数据、计算、语义密集型的高层服务应用,用户通常需要具备非常全面的知识才能正确使用.如何实现一个面向最终用户的、智能的、有质量保证的 KDS架构面临很多困难.现有的研究提出了利用数据挖掘本体和预测执行时间的方法来帮助用户选择正确并且高质量的 KDS.但是数据挖掘本体只是对数据挖掘的方法进行枚举,无法保证服务的质量,而预测执行时间的方法不能体现KDS本身的特点,因而难以获得满意的服务效果.为了更有效地辅助最终用户在面向服务的体系结构(Service OrientedArchitecture,SOA)上自助地实现知识发现应用,该文提出了一种新的面向服务的知识发现体系结构——SOA4KD,将用户的知识发现需求分为内容需求和质量需求,并提出了扩展的知识发现任务本体 EKDTO,以自然语言的方式进行用户意图获取;在考虑到KDS的服务特性的前提下,充分分析了KDS自身的特点,提出了KDS质量本体KDSQO,采用元学习来进行选择最适合的KDS.相对于目前的体系结构,提出了为最终用户提供高质量知识发现服务的一些新方法和技术,为面向服务的知识发现系统设计与实现提供了一个新的参考模型. 展开更多
关键词 知识发现 面向服务的体系结构 自然语言界面 质量 本体 元学习
下载PDF
Agent组织结构设计的一种形式语义 被引量：13
10
作者 张伟 石纯一 《软件学报》 EI CSCD 北大核心 2002年第3期447-452,共6页
Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象... Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作. 展开更多
关键词 MAS AGENT 组织结构 形式语义 Π演算 抽象机 人工智能
下载PDF
工作流活动多实例的调度控制 被引量：14
11
作者 孙瑞志 史美林 《软件学报》 EI CSCD 北大核心 2005年第3期400-406,共7页
支持多实例的工作流管理系统为工作流过程处理带来极大的灵活性,活动多实例要解决的主要问题之一是多实例的调度控制.在分析了多实例的分配和汇聚等问题之后,针对过程中活动间不同活动语义的上下文,对活动多实例的活动属性进行了统一的... 支持多实例的工作流管理系统为工作流过程处理带来极大的灵活性,活动多实例要解决的主要问题之一是多实例的调度控制.在分析了多实例的分配和汇聚等问题之后,针对过程中活动间不同活动语义的上下文,对活动多实例的活动属性进行了统一的形式描述,提出了活动多实例控制体 Shell,用于控制活动多实例的分配和提交.Shell可以根据不同的活动语义,处理多实例的同步并控制整个过程的运行.Shell的提出解决了工作流执行中一个活动多个执行实例的同步执行问题. 展开更多
关键词 工作流 工作流管理系统 活动多实例 控制体 同步
下载PDF
UML活动图的时序逻辑语义 被引量：13
12
作者 朱雪阳 唐稚松 《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1478-1484,共7页
UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在... UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZE语义,并用一个例子说明活动图到XYZE的语义转换,为进一步的分析提供形式化基础. 展开更多
关键词 UML 活动图 形式化语义 时序逻辑 XYZ/E
下载PDF
UML活动图的形式语义及分析 被引量：10
13
作者 梁义芝 王延章 +1 位作者 缪旭东 刘云飞 《计算机工程与应用》 CSCD 北大核心 2003年第18期28-30,44,共4页
UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该... UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。 展开更多
关键词 UML活动图 形式语义 系统分析
下载PDF
BPMN 2.0编排的形式语义和分析 被引量：21
14
作者 代飞 赵文卓 +3 位作者 杨云 莫启 李彤 周华 《软件学报》 EI CSCD 北大核心 2018年第4期1094-1114,共21页
BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的... BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误. 展开更多
关键词 业务流程建模标注2.0 编排 PETRI网 形式语义 语义分析
下载PDF
通信协议形式化模型的研究 被引量：4
15
作者 李腊元 《计算机学报》 EI CSCD 北大核心 1998年第5期419-427,共9页
本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对... 本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述．重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT（Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础． 展开更多
关键词 通信协议 形式化模型 谓词逻辑 计算机网络
下载PDF
基于Petri网的UML状态图的形式化模型 被引量：9
16
作者 郭峰 姚淑珍 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第2期248-252,共5页
提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标... 提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质. 展开更多
关键词 UML状态图 PETRI网 形式化语义
下载PDF
同步数据流语言可信编译器的构造 被引量：18
17
作者 石刚 王生原 +6 位作者 董渊 嵇智源 甘元科 张玲波 张煜承 王蕾 杨斐 《软件学报》 EI CSCD 北大核心 2014年第2期341-356,共16页
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解... 同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lustre为原型)到串行命令式语言(C为原型)的可信编译器构造的关键技术研究.其挑战性在于两类语言之间的巨大差异,源语言具有时钟同步、数据流、并发及流数据对象等特征,而目标语言则具有顺序控制流特征.同类研究中,目前尚无针对核心翻译过程的公开成果.就单一时钟的情形实现了一个经过形式化验证的完整编译过程,相关技术将应用于安全关键领域编译系统的开发.综述了这一可信编译器的研究背景、意义、总体设计框架、核心技术、现状以及进行中或后续的工作. 展开更多
关键词 同步数据流语言 经过验证的编译器 形式化验证 形式语义 定理证明
下载PDF
UML 2.0顺序图的XYZ/E时序逻辑语义研究 被引量：11
18
作者 黄正宝 张广泉 《计算机科学》 CSCD 北大核心 2006年第8期249-251,共3页
UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础... UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础上,给出了UML2.0顺序图的XYZ/E时序逻辑语义,为使用UML2.0顺序图与XYZ/E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。 展开更多
关键词 时序逻辑 形式化语义 UML2.0 顺序图 XYZ/E
下载PDF
组合原则 被引量：16
19
作者 邹崇理 《逻辑学研究》 2008年第1期75-83,共9页
组合原则是逻辑语义学的基本原则,表现为函项的思想和句法与语义的对应。就构造逻辑系统而言,组合原则是一种方法论。作为延伸到自然语言形式语义学的产物,组合原则起到一种核心灵魂的作用。组合原则在理论层面和应用领域皆获得一些有... 组合原则是逻辑语义学的基本原则,表现为函项的思想和句法与语义的对应。就构造逻辑系统而言,组合原则是一种方法论。作为延伸到自然语言形式语义学的产物,组合原则起到一种核心灵魂的作用。组合原则在理论层面和应用领域皆获得一些有价值的结果。自然语言违反组合原则的实例主要表现为歧义现象、语用因素和句法与语义不对应的情况,这正是调整组合原则的适用条件从而促进形式语义学发展的契机。 展开更多
关键词 组合原则 形式语义学
下载PDF
OWL-S的形式语义 被引量：6
20
作者 蒋运承 史忠植 《计算机科学》 CSCD 北大核心 2005年第7期5-7,16,共4页
本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在 Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了 OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形... 本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在 Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了 OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形式语义,为语义Web服务提供了合理的理论基础。 展开更多
关键词 形式语义 OWL WEB服务 WEB服务 语义WEB 研究现状 理论基础 服务提供
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 10 下一页 到第 页
使用帮助 返回顶部