期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
支持术语公理约束的扩展模糊描述逻辑推理 被引量:7
1
作者 康达周 徐宝文 +1 位作者 陆建江 李言辉 《软件学报》 EI CSCD 北大核心 2007年第7期1563-1572,共10页
扩展模糊描述逻辑是对描述逻辑的一种模糊扩展,支持对复杂模糊知识的表示和推理,但该逻辑缺乏支持术语公理约束的推理算法.提出扩展模糊描述逻辑EFALCR+(extended fuzzy attributive concept description language with complements and... 扩展模糊描述逻辑是对描述逻辑的一种模糊扩展,支持对复杂模糊知识的表示和推理,但该逻辑缺乏支持术语公理约束的推理算法.提出扩展模糊描述逻辑EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles)的受限TBox(terminological box)描述术语公理,给出受限TBox约束下的EFALCR+推理算法,并对该算法进行优化,证明优化后的算法是正确完备的,时间复杂性不超过指数,最后证明受限TBox约束下的EFALCR+推理问题是指数时间完全问题.优化算法的最坏时间复杂性已达到该问题推理算法的复杂度下界,是实现术语公理约束下模糊知识库推理的有效算法. 展开更多
关键词 描述逻辑 模糊 TBox(terminological box) 推理 语义WEB 知识表示
在线阅读 下载PDF
现代会计的特质(上) 被引量:5
2
作者 杨时展 《财会通讯(上)》 1991年第2期3-6,共4页
1 客观事物是不断发展的,人们对客观事物的认识也是不断发展的,人们对会计的认识同样是不断发展的。现代会计是会计发展的结果,要理解现代会计,先得理解会计。什么叫会计?这要先从两个公认为权威性的定义说起: 一个是美国会计实际工作... 1 客观事物是不断发展的,人们对客观事物的认识也是不断发展的,人们对会计的认识同样是不断发展的。现代会计是会计发展的结果,要理解现代会计,先得理解会计。什么叫会计?这要先从两个公认为权威性的定义说起: 一个是美国会计实际工作者的团体美国会计师协会提出的。这个协会于1941年发布的第一号会计名词公报(Accaunting terminology Bulletin No. 1)对会计作了如下定义:“会计是一种将具有或部分具有财务性质的交易和事件,以一种有意义的情况,用货币量度加以记录、分类和汇点,并解释其结果的技术(art)。”按照这一说法,会计只是一种以簿记方法汇集数据的技术,除了对其结果进行解释以外。 展开更多
关键词 美国会计师 计量信息 下定义 terminology BULLETIN 信息科学 汇点 美国会计学会 国际会计标准 经济信息系统
在线阅读 下载PDF
中国的语言管理:回顾与评价
3
作者 博纳德.斯波斯基 程京艳 《语言战略研究》 2016年第5期5-8,共4页
中华人民共和国自建立之初,就始终积极地承担着语言管理的重要使命,如汉字的简化与标准化、将普通话作为国家通用语来推广、设计并使用拼音作为一种辅助系统、鉴别并绘制区域性语言变体地图、识别并描述少数民族的官方语言变体。
关键词 语言变体 通用语 辅助系统 语言教学法 外语教学 terminology 双语现象 QUALIFIED annually 《简化字总表》
在线阅读 下载PDF
SIMPLIFICATION FOR ESS OF EVOLUTIONARY GAME WITH TWO TYPES OF PLAYERS
4
作者 Zhao Jingzhu Research Center for Eco-Environmental Sciences, Chinese Academy of Sciences 《中国科学院研究生院学报》 CAS CSCD 1990年第1期74-78,共5页
In this paper, a simplified expression for ESS (evolutionary stablestrategy) of evolutionary game with two types of players is given andthe equivalence between the simplified expression and the original isproved.
关键词 evolutionary simplified EQUIVALENCE Probability FITNESS terminology games utilized DETAILS PREDATOR
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部