期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到83篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于本体的茶虫害诊断系统构建的研究 被引量：8
1
作者 吉喆 李绍稳 +5 位作者 张友华 张正竹 张国义 路遥 徐济成 朱利君 《农业网络信息》 2008年第9期112-116,共5页
本文简单介绍了本体的基本概念及其组成结构,详细阐述了使用本体开发工具Protégé构建茶叶病虫害领域本体的方法。针对茶虫害领域知识的特点,本文采用生物分类法与完整的公理系统相结合的方法,清晰的体现了茶虫害领域知识的层... 本文简单介绍了本体的基本概念及其组成结构,详细阐述了使用本体开发工具Protégé构建茶叶病虫害领域本体的方法。针对茶虫害领域知识的特点,本文采用生物分类法与完整的公理系统相结合的方法,清晰的体现了茶虫害领域知识的层次结构,并且有利于本体在诊断系统中的检索、推理等应用。 展开更多
关键词 本体 领域本体 茶虫害 分类法 公理系统
下载PDF
Rasmusen智猪博弈公理系统与一类技术创新博弈 被引量：9
2
作者 姜殿玉 《系统工程学报》 CSCD 北大核心 2013年第2期180-186,共7页
为了定量地研究调整和控制"智猪"的劳动积极性问题,建立一门关于智猪博弈的严格、科学和系统的理论.基于Rasmusen智猪博弈模型,由公理化方法建立了智猪博弈公理系统.提出了Rasmusen技术创新博弈模型,举例说明了用本理论解决... 为了定量地研究调整和控制"智猪"的劳动积极性问题,建立一门关于智猪博弈的严格、科学和系统的理论.基于Rasmusen智猪博弈模型,由公理化方法建立了智猪博弈公理系统.提出了Rasmusen技术创新博弈模型,举例说明了用本理论解决这类技术创新问题的方法.结果表明,在小猪劳有其利的情况下,其劳动积极性高于大猪.由定量地调整和设置某些指标可调动和控制"智猪"的劳动积极性. 展开更多
关键词 公理系统 Rasmusen智猪博弈 Rasmusen技术创新 出食量 槽板距 跑速 吃速
下载PDF
广义满意度原理及其特性分析 被引量：5
3
作者 姚新胜 黄洪钟 周仲荣 《西南交通大学学报》 EI CSCD 北大核心 2003年第6期712-716,共5页
采用系统分析法,定义并分析了广义满意度、满意序、满意标准、满意解等基本概念.通过对广义满意度原理公理化系统的构造,分析了广义满意度原理应用过程中满意解的获取、识别、转化等重要性质,并得出了满意度和满意水平的运算关系.
关键词 分析 满意度 特性 公理化系统
下载PDF
关于“不用联结词的逻辑系统”的注记 被引量：6
4
作者 杜国平 《重庆理工大学学报（社会科学）》 CAS 2019年第4期7-12,共6页
张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性工作。波兰表示法和括号表示法是逻辑符号表示法的两个相互映衬的典范。在括号表示法中,"不用联结词... 张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性工作。波兰表示法和括号表示法是逻辑符号表示法的两个相互映衬的典范。在括号表示法中,"不用联结词"指的仅仅是语形层面上的,而不是语义层面上的。基于括号表示法的命题逻辑公理系统H和一阶逻辑系统QH都可以进一步简化。 展开更多
关键词 命题联结词 波兰表示法 括号表示法 独立性 公理系统
下载PDF
基于信息公理的设计方案模糊评价方法 被引量：6
5
作者 张瑞军 贾庆轩 孟柳 《北京邮电大学学报》 EI CAS CSCD 北大核心 2012年第6期25-29,共5页
针对现有模糊信息公理方案评价方法在指标确定和隶属函数选择方面存在的不足,提出了一种改进的设计方案评价方法.首先根据公理设计原理,建立了目标域与指标域间之字形映射模型,确定了产品设计方案综合评价指标体系;其次根据指标值与设... 针对现有模糊信息公理方案评价方法在指标确定和隶属函数选择方面存在的不足,提出了一种改进的设计方案评价方法.首先根据公理设计原理,建立了目标域与指标域间之字形映射模型,确定了产品设计方案综合评价指标体系;其次根据指标值与设计范围的关系不同,将评价指标划分为不同类型,并采用正态模糊分布曲线描述各自隶属度,提出了相应的指标信息量计算方法;最后给出了基于信息公理设计方案模糊评价方法流程.通过机械式停车设备的方案评价验证了该方法的可行性和有效性. 展开更多
关键词 模糊评价 信息公理 设计方案 隶属函数 机械式停车设备
原文传递
关于线性空间的公理系统 被引量：4
6
作者 白述伟 《哈尔滨师范大学自然科学学报》 1996年第3期1-6,共6页
本文对中外代数书刊中的线性空间的概念进行综合研讨，概括出七种等价的公理系统，并独自给出线性空间另外二个等价的公理系统。同时，对线性空间这九种公理系统的独立性问题予以探讨。
关键词 线性空间 群 公理 公理系统 独立性
下载PDF
乔姆斯基的形式语言理论与计算机程序的电路控制
7
作者 陈锐 《西部学刊》 2023年第21期156-160,共5页
一阶谓词逻辑是语言学数学化的标准形式,具有公理递归演绎特性;乔姆斯基的形式语言理论和计算机程序语言都具备了一阶谓词逻辑的公理递归特性;计算机语言与乔姆斯基语言学具有完全的逻辑等价性,这使得人工智能处理人类语言成为可能;人... 一阶谓词逻辑是语言学数学化的标准形式,具有公理递归演绎特性;乔姆斯基的形式语言理论和计算机程序语言都具备了一阶谓词逻辑的公理递归特性;计算机语言与乔姆斯基语言学具有完全的逻辑等价性,这使得人工智能处理人类语言成为可能;人类语言最终可以还原为电路中高电压与低电压的有序变化,深刻地证明了物质与意识的辩证统一规律。 展开更多
关键词 一阶谓词逻辑 公理体系 递归 计算机程序语言 乔姆斯基 辩证统一
下载PDF
拟阵的几个公理系统与其自同构群的关系 被引量：4
8
作者 毛华 刘三阳 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2001年第1期48-51,共4页
讨论了拟阵的 5个公理系统与拟阵的自同构群的关系 .5个公理系统分别是独立集公理系统、基公理系统、秩公理系统、超平面公理系统和闭包公理系统 .对于拟阵的自同构群只有独立集公理系统、基公理系统和秩公理系统 ,而没有超平面公理系... 讨论了拟阵的 5个公理系统与拟阵的自同构群的关系 .5个公理系统分别是独立集公理系统、基公理系统、秩公理系统、超平面公理系统和闭包公理系统 .对于拟阵的自同构群只有独立集公理系统、基公理系统和秩公理系统 ,而没有超平面公理系统和闭包公理系统 . 展开更多
关键词 拟阵 自同构群 公理系统 离散数学
下载PDF
网络经济学的公理体系和几个相关理论问题 被引量：4
9
作者 孙健 麻志华 《上海交通大学学报》 EI CAS CSCD 北大核心 2003年第4期626-628,共3页
网络经济学的产生对传统经济学理论提出了挑战 ,但是网络经济学的理论发展远远落后于实践 .提出了六大主观资源的概念 ,并超出了注意力经济的范畴 .文中所采用的方法除经典数学方法外 ,主要采用模糊数学来描述网络经济中主观资源的特点 ... 网络经济学的产生对传统经济学理论提出了挑战 ,但是网络经济学的理论发展远远落后于实践 .提出了六大主观资源的概念 ,并超出了注意力经济的范畴 .文中所采用的方法除经典数学方法外 ,主要采用模糊数学来描述网络经济中主观资源的特点 ,揭示网络经济的本质特征和规律 。 展开更多
关键词 网络经济学 公理体系 主观资源
下载PDF
16种基础R_0-代数结构的相对独立公理系统 被引量：3
10
作者 乔希民 吴洪博 罗俊丽 《模糊系统与数学》 CSCD 北大核心 2012年第6期14-20,共7页
在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性。
关键词 模糊代数 基础R0-代数结构 并(交)半格 公理化系统 相对独立性
原文传递
关于Heyting代数公理系统的一个注记 被引量：3
11
作者 施恩伟 《云南师范大学学报（自然科学版）》 1999年第4期1-2,共2页
Ｈｅｙｔｉｎｇ 代数是一类重要的代数，很多数学结构都与这一代数有联系．在本文，我们指出，Ｈｅｙｔｉｎｇ
关键词 HEYTING代数 nullary算子 分配格 公理系统
下载PDF
一类智猪博弈公理系统与知识型员工激励问题研究 被引量：3
12
作者 王茜 冯娟 《经济研究导刊》 2014年第12期199-201,共3页
基于一类智猪博弈公理化系统研究企业中普遍存在的"搭便车"现象。首先对企业运作效率不高的原因进行分析,继而建立知识型员工的博弈模型,通过改变参数使得该博弈的均衡解转移,最后依据模型分析结果提出提高企业运作效率的方... 基于一类智猪博弈公理化系统研究企业中普遍存在的"搭便车"现象。首先对企业运作效率不高的原因进行分析,继而建立知识型员工的博弈模型,通过改变参数使得该博弈的均衡解转移,最后依据模型分析结果提出提高企业运作效率的方案。为企业中知识型员工的管理提供科学的、定量化的决策依据。 展开更多
关键词 智猪博弈 公理系统 知识型员工激励
下载PDF
公理信息论 被引量：2
13
作者 刘开第 吴和琴 《数学的实践与认识》 CSCD 北大核心 2001年第6期753-755,共3页
本文阐述了公理信息论的产生 。
关键词 信息理论 信息混沌 公理系统 公理信息论
原文传递
从循证医学看中医理论公理化体系的构建 被引量：3
14
作者 王瑞祥 周扬 《中医药学刊》 2006年第12期2279-2280,共2页
中医是一门经验科学,个性化色彩非常浓厚,不同的医家处于不同的医疗环境,对于中医理论的认识也不尽相同,但是中医毕竟有着公认的理论基础,文章借鉴循证医学的基本思路,提出了建立中医理论公理化体系的思想。
关键词 循证医学 公理体系 中医理论
下载PDF
关于R_0-代数的公理系统 被引量：2
15
作者 黄益生 《数学物理学报（A辑）》 CSCD 北大核心 2008年第5期958-966,共9页
该文给出了R_0-代数的一些简化公理系统,并证明了R_0-代数等价于满足某些条件的BCK-代数.
关键词 R0-代数 格 BCK-代数 公理系统
下载PDF
基于公理系统的面向对象自动测试研究 被引量：2
16
作者 胡煜 李远杰 +1 位作者 曾明 朱利 《微电子学与计算机》 CSCD 北大核心 2005年第7期16-18,23,共4页
文章提出了一个基于公理系统的面向对象自动测试框架。该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘termrewriting’技术生成‘消息对’形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测... 文章提出了一个基于公理系统的面向对象自动测试框架。该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘termrewriting’技术生成‘消息对’形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证。 展开更多
关键词 面向对象 软件测试 测试用例 代数规格说明 公理系统
下载PDF
面向对象类测试方法研究
17
作者 赵丽萍 汤文亮 《华东交通大学学报》 2009年第4期82-86,99,共6页
面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA... 面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。 展开更多
关键词 面向对象测试 代数规格说明 测试用例 公理系统
下载PDF
支持索引式的PPTL定理证明器的实现
18
作者 王小兵 寇蒙莎 +1 位作者 李春奕 赵亮 《软件学报》 EI CSCD 北大核心 2022年第6期2172-2188,共17页
定理证明是目前主流的形式化验证方法,拥有强大的抽象和逻辑表达能力,且不存在状态空间爆炸问题,可用于有穷和无穷状态系统,但其不能完全自动化,并且要求用户掌握较强的数学知识.含索引式的命题投影时序逻辑(PPTL)是一种具有完全正则表... 定理证明是目前主流的形式化验证方法,拥有强大的抽象和逻辑表达能力,且不存在状态空间爆炸问题,可用于有穷和无穷状态系统,但其不能完全自动化,并且要求用户掌握较强的数学知识.含索引式的命题投影时序逻辑(PPTL)是一种具有完全正则表达能力,并且包含LTL的时序逻辑,具有较强的建模和性质描述能力.目前,一个可靠完备的含索引式的PPTL公理系统已被构建,然而基于该公理系统的定理证明尚未得到良好工具的支持,存在证明自动化程度较低以及证明冗长易错的问题.鉴于此,首先设计了支持索引式的PPTL定理证明器的实现框架,包括公理系统的形式化与交互式定理证明;然后,在Coq中形式化定义了含索引式的PPTL公式、公理与推理规则,完成了框架中公理系统的实现;最后,通过两个实例的交互式证明验证了该定理证明器的可用性. 展开更多
关键词 定理证明 COQ 索引式 命题投影时序逻辑 公理系统
下载PDF
因果空间和概率论中集合论方法 被引量：1
19
作者 熊大国 《北京理工大学学报》 EI CAS CSCD 北大核心 2005年第1期31-34,共4页
建立《概率论自然公理系统》中的第 组和第 组公理.这两组公理把随机世界抽象成既直观又形象的因果空间.在因果空间中随机事件是原因点的集合,原因点的伪出现导致事件的出现.证明概率论中集合论方法是因果空间的产物,从而改变了Kolmogo... 建立《概率论自然公理系统》中的第 组和第 组公理.这两组公理把随机世界抽象成既直观又形象的因果空间.在因果空间中随机事件是原因点的集合,原因点的伪出现导致事件的出现.证明概率论中集合论方法是因果空间的产物,从而改变了Kolmogorov公理系统把集合论方法硬性地搬到概率论中的做法. 展开更多
关键词 公理系统 因果空间 事件空间 原因空间 原因点
下载PDF
模糊群的公理体系 被引量：1
20
作者 邱东 舒兰 《模糊系统与数学》 CSCD 北大核心 2008年第5期51-56,共6页
给出了模糊群的几个等价刻画,建立模糊群的公理体系并得到了五个最小完备系。此外还讨论以消去律为条件的模糊群的刻画,给出了有限模糊群和周期模糊群的最小完备系,同时也得到了一个一般模糊群的等价刻画,根据其三个推论可清楚地区分周... 给出了模糊群的几个等价刻画,建立模糊群的公理体系并得到了五个最小完备系。此外还讨论以消去律为条件的模糊群的刻画,给出了有限模糊群和周期模糊群的最小完备系,同时也得到了一个一般模糊群的等价刻画,根据其三个推论可清楚地区分周期模糊群、无扭模糊群和混合模糊群。 展开更多
关键词 模糊群 公理体系 消去律 最小完备系
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部