期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
OWL本体建模中约束公理的应用 被引量:6
1
作者 林汝坤 刘芳 +1 位作者 戴长华 姚莉 《计算机工程》 EI CAS CSCD 北大核心 2006年第16期193-194,223,共3页
本体建模的难点在于概念的定义和概念间关系的描述,OWL中的约束公理正好是解决这个难点问题的强有力方法。约束公理是OWL语言中最核心的部分,通过约束公理可以更完整更明确地定义本体模型,使所建立的本体模型能满足最小本体承诺规则。... 本体建模的难点在于概念的定义和概念间关系的描述,OWL中的约束公理正好是解决这个难点问题的强有力方法。约束公理是OWL语言中最核心的部分,通过约束公理可以更完整更明确地定义本体模型,使所建立的本体模型能满足最小本体承诺规则。该文以W3C提供的酒本体为例子,结合工程实践,描述了如何利用OWL的约束公理,完善和准确定义本体中的概念。 展开更多
关键词 ONTOLOGY OWL 约束公理
在线阅读 下载PDF
基于OWL的制造业知识本体构建研究 被引量:3
2
作者 刁雅静 王志英 葛世伦 《江苏科技大学学报(自然科学版)》 CAS 北大核心 2009年第6期538-542,共5页
如何描述制造企业逻辑模型是当前企业信息化实现过程中亟待解决的关键问题.文中以本体论为理论依据,以制造业物资管理子领域为研究背景,在分析其业务流程的基础之上,采用OWL(Ontology Web Language)本体描述语言,完成了领域概念抽取、OW... 如何描述制造企业逻辑模型是当前企业信息化实现过程中亟待解决的关键问题.文中以本体论为理论依据,以制造业物资管理子领域为研究背景,在分析其业务流程的基础之上,采用OWL(Ontology Web Language)本体描述语言,完成了领域概念抽取、OWL描述及约束公理定义,构建出物资管理子领域知识本体模型,进而提出了基于OWL构建制造业知识本体的方法. 展开更多
关键词 本体 OWL 约束公理
在线阅读 下载PDF
基于OWL的产品设计知识本体建模 被引量:1
3
作者 王有远 王发麟 +2 位作者 计红胜 戴先明 宗琪 《制造业自动化》 北大核心 2012年第13期63-66,共4页
传统的描述语言和工具不能充分、准确的对产品设计知识进行分类和描述。本体是对一个特定领域中重要概念的共享的形式化的描述。本文基于本体论的思想,从本体论的角度对企业产品设计知识进行分类和概念的抽取,利用OWL本体描述语言对产... 传统的描述语言和工具不能充分、准确的对产品设计知识进行分类和描述。本体是对一个特定领域中重要概念的共享的形式化的描述。本文基于本体论的思想,从本体论的角度对企业产品设计知识进行分类和概念的抽取,利用OWL本体描述语言对产品设计知识本体进行形式化描述,通过OWL约束公理来定义本体模型,在此基础上构建出基于OWL的产品设计知识本体模型。以汽车造型设计为例,介绍了汽车产品造型设计知识本体模型的构建。 展开更多
关键词 产品设计知识 本体 OWL 约束公理
在线阅读 下载PDF
从中文Web网页中获取实体简称的研究 被引量:3
4
作者 丁远钧 曹存根 +1 位作者 王石 符建辉 《计算机科学》 CSCD 北大核心 2012年第3期174-182,195,共10页
简称是自然语言词汇的重要组成部分,其获取是自然语言处理中的一个基本而又关键的问题。提出了一种根据汉语全称从Web中获取对应汉语简称的方法。该方法包括获取和验证两个步骤。获取步骤通过选择查询模式从Web上获得候选简称集合。为... 简称是自然语言词汇的重要组成部分,其获取是自然语言处理中的一个基本而又关键的问题。提出了一种根据汉语全称从Web中获取对应汉语简称的方法。该方法包括获取和验证两个步骤。获取步骤通过选择查询模式从Web上获得候选简称集合。为了验证候选简称,定义了全简称关系约束,分别定性和定量地表示全称和对应简称之间的约束,构建了全简称关系图来表示所有全称和简称之间的联系,在验证过程中,先分别用约束公理和关系图对候选简称进行过滤,再用约束函数对候选简称分类,并以分类类别、语料标记和约束函数值作为属性构建决策树,利用决策树对候选简称进行验证。实验结果表明,获取方法的最终准确率为94.63%,召回率为84.09%,验证方法的准确率为94.81%。 展开更多
关键词 自然语言处理 简称获取 约束公理 约束函数 关系图
在线阅读 下载PDF
电磁媒质本构关系公理化约束 被引量:3
5
作者 郭辉萍 刘学观 +2 位作者 殷红成 巢增明 黄培康 《中国科学(G辑)》 CSCD 2005年第6期609-615,共7页
电磁媒质参数约束问题的研究在媒质特性的分析、新人工合成材料的制备以及媒质参数的反演等方面具有十分重要的意义.从媒质本构关系应与物理学普遍适用的定律不相矛盾出发,总结出了电磁媒质本构关系应满足的公理化约束,主要包括确定性... 电磁媒质参数约束问题的研究在媒质特性的分析、新人工合成材料的制备以及媒质参数的反演等方面具有十分重要的意义.从媒质本构关系应与物理学普遍适用的定律不相矛盾出发,总结出了电磁媒质本构关系应满足的公理化约束,主要包括确定性原理、客观性原理、因果性原理及许可性原理等,并从最小耗能原理出发导出了任意线性均匀非时变媒质参数应满足的约束关系,为任意电磁媒质本构关系的确定提供了一条新的技术途径. 展开更多
关键词 电磁媒质 媒质参数约束 公理约束 能量守恒原理 最小耗能原理
原文传递
关于形式化及其实现的可能世界 被引量:1
6
作者 李春泰 《安徽师范大学学报(自然科学版)》 CAS 2004年第2期160-162,共3页
形式化公理学为研究可能世界的存在条件提供了新的基础 .在此基础上 ,可能世界完全摆脱了直观的干扰 ,因此它只受限于逻辑的制约 ;所以对象原有的刻划已失去了实质公理学阶段的意义转而由公理约束其存在形态并借翻译、赋值、解释、实现... 形式化公理学为研究可能世界的存在条件提供了新的基础 .在此基础上 ,可能世界完全摆脱了直观的干扰 ,因此它只受限于逻辑的制约 ;所以对象原有的刻划已失去了实质公理学阶段的意义转而由公理约束其存在形态并借翻译、赋值、解释、实现等方式生成可能世界 . 展开更多
关键词 形式化公理 可能世界 公理约束 数学 非-欧几何学
在线阅读 下载PDF
Integration of Theory of Constraints Thinking Process and Lean Production for Troubleshooting on a Contractor
7
作者 Vitor Hugo Martins e Resende Tatiana Gondim do Amaral 《Journal of Civil Engineering and Architecture》 2015年第11期1279-1293,共15页
The thinking process of TOC (Theory of Constraints) was an important consolidated tool to the systematization of the companies' necessities because of its competitive advantage. The lean thinking proposed by Taiich... The thinking process of TOC (Theory of Constraints) was an important consolidated tool to the systematization of the companies' necessities because of its competitive advantage. The lean thinking proposed by Taiichi Ohno and developed by Toyota Company has been tested and found effective in several production processes. This paper aims to propose a method of problem solving through the integration of the principles of lean thinking and the TPTOC (Thinking Process of the Theory of Constraints). The method was implemented on a civil contractor, using the research methodology and the action research. We concluded that, after the research, the core problem regarding the company is the technical failure of the administrative staff, which causes delay in the construction works and financial loss. We also concluded that the obstacles that could prevent the achievement of objectives are related to lack of a vision from senior management regarding financial return when investing in employee training. The goal was accomplished with the integration of two philosophies, TPTOC and lean. And only the tools proposed by Fl^vio Augusto Picchi were not enough for executing the action, so new lean actions were verbalized. 展开更多
关键词 Exchange information thinking process lean thinking
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部