首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   14篇
  免费   0篇
  国内免费   2篇
综合类   3篇
化学工业   1篇
建筑科学   1篇
自动化技术   11篇
  2018年   1篇
  2015年   1篇
  2014年   1篇
  2013年   2篇
  2012年   1篇
  2010年   1篇
  2008年   1篇
  1994年   1篇
  1993年   1篇
  1992年   1篇
  1991年   2篇
  1987年   1篇
  1986年   2篇
排序方式: 共有16条查询结果,搜索用时 93 毫秒
1.
本文提出了一种基于Uon Neumann结构的推理数据库系统,它克服了普通数据库系统及一般prolog语言系统各自的缺欠,综合了两种系统的特点,能使现有广泛使用的关系数据库系统升级为推理数据库系统。文中介绍了我们已在 IBM—PCXT上实现的推理数据库查询语言 Hprolog,并详细介绍了Hprolog的两个最低版本Hprologl和Hprolog2。逻辑程序设计语了Hprologl是一个prolog语言子系统。推理数据库查询语言Hprolog2能够基于关系数据库中的元组进行推理。文中最后给出了一个推理数据库的应用实例。  相似文献   
2.
建筑信息模型(BIM)系统在国内的发展还处于起步阶段,而且现代建筑的各个生命周期都有各自的一套数据组织管理模式和软件系统,这使得建立统一的信息系统变得较为困难。如何融合各阶段的有效数据,有效地反映建筑信息成为BIM系统的研究重点之一。为解决共享信息的问题、应用领域内的知识和提高BIM系统的智能化,提出根据业内的技术标准、经验知识构建领域本体的方法。通过给出基于本体的BIM系统应用框架,说明如何将领域本体应用于BIM系统以及本体如何与既有的知识、数据相结合产生各种针对性服务。  相似文献   
3.
针对现有停驻点的问题,将手机用户轨迹与背景地理信息相结合,并引入功能区概念,通过考虑用户在某一功能区域内的整体活动来判断用户是否在此停驻。通过对带有标签的模拟的手机轨迹数据进行实验,证明了新的停驻点识别方法有效地避免了由于正常切换、错误切换带来的误判。停驻点的判断更为宽泛,不仅限于一个小的范围(单个基站的覆盖范围),而是由多个相邻且功能相似小区组成的功能区中的小区集合。  相似文献   
4.
关于知识的推理   总被引:1,自引:0,他引:1  
近年来,关于知识的推理(Reasoning aboutKnowledge)正在成为计算机科学,特别是人工智能研究中的最重要的分支之一。自从八六年在美国加州召开首届关于知识的推理理论问题国际会议(简称 TARK:Theoretical Aspects of Reasoni-ng about Knowledge)以来,每两年将召开一次TARK 会议。今年三月份召开的 TARK90已是第三次盛会了。关于知识的推理的有关技术已在诸多的领域中得到应用,主要有,经济学,语言学,人工智能及计算机科学。这里,将简要地介绍关于知识的推理的有关基本知识、基本技术及其发展动向。一、关于知识的经典模型关于知识的逻辑推理(通常被称为认识逻辑(Epistemic Logics))的研究,最早由语言哲学家 J.Hintikka 在题为《知识和信念》书中提出了可能世界模型,其基本思路是  相似文献   
5.
张晓如  张再跃  眭跃飞  黄智生 《软件学报》2008,19(12):3170-3178
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.  相似文献   
6.
聚醚改性硅油的合成研究   总被引:1,自引:0,他引:1  
以六水合氯铂酸为催化剂,烯丙基聚醚(F-6)与含氢硅油为原料,在无溶剂甲苯的条件下,加热反应生成聚醚改性硅油,通过测定硅氢键的残余量来计算反应的转化率。分别研究了催化剂量、温度、烯丙基聚醚(F-6)与含氢硅油的物质的量比对反应转化率的影响,得出了最优化的反应条件为:催化剂的质量分数为1.5×10-5,温度120℃,n(聚醚)∶n(硅油)=1.20∶1.00。实验表明,合成的聚醚改性硅油可以有效降低溶剂型聚氨酯树脂溶液(As)树脂的表面张力,使其由30.4mN/m降到27.0mN/m。  相似文献   
7.
本文设计并实现了一个二级推理数据库系统.二级推理数据库是传统的数据库系统和PROLOG系统的结合,它可分为二级:数据库级及逻辑程序级.本文给出了二级推理数据库的抽象模型及逻辑语义.重点形式化地描述了语义特性,还讨论了二级推理数据库系统的冗余性、可分辨性及并发性,并得出了一些有意义的结果.  相似文献   
8.
提出在合理用药查询时加入中文自然语句转换为SPARQL查询语句的方法。采用比较成熟的自然语言处理工具和方法,对用户输入的自然查询语句进行语义分析、处理,深入挖掘用户需求、理解用户搜索意图。按照一定的规范将处理后的语句转换为合理的SPARQL查询语句。  相似文献   
9.
自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具有更可靠的数学基础;它也比界限方法具有更简洁易懂的表达方式。所以,它成为一种最有希望的非单调推理系统。本文将简要地介绍自知逻辑的主要概念,理论与方法。  相似文献   
10.
本文由上篇和下篇两个部分组成。上篇主要阐述人工智能理论研究的意义和作用,以消除人们通常对理论性研究所产生的一些误解;同时也进一步对关于知识的推理研究的意义进行分析。下篇主要介绍最近召开的关于知识推理理论问题的国际会议情况,着重其在计算机科学和人工智能领域方面的国际新动态和新进展。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号