期刊文献+
共找到98篇文章
< 1 2 5 >
每页显示 20 50 100
L^*系统中由单个原子生成的公式的真值函数的特征 被引量:12
1
作者 任芳 《工程数学学报》 CSCD 北大核心 2005年第3期563-566,共4页
本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的... 本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。 展开更多
关键词 L^*系统 逻辑公式 真值函数
下载PDF
Gdel逻辑和L~*逻辑中公式的真度分布 被引量:5
2
作者 李成允 张兴芳 《系统科学与数学》 CSCD 北大核心 2010年第10期1417-1428,共12页
研究了Godel逻辑系统和L*逻辑系统中公式的真度的分布情况.结果表明在Godel逻辑系统和L*逻辑系统中含有n个原子命题的公式(n元公式)的真度集分别为{i/(n+1)!|0≤i≤(n+1)!,i∈N}和{i/(n+1)!|0≤i≤2n(n+1)!,i∈N}.进... 研究了Godel逻辑系统和L*逻辑系统中公式的真度的分布情况.结果表明在Godel逻辑系统和L*逻辑系统中含有n个原子命题的公式(n元公式)的真度集分别为{i/(n+1)!|0≤i≤(n+1)!,i∈N}和{i/(n+1)!|0≤i≤2n(n+1)!,i∈N}.进而得到了Godel逻辑系统和L*逻辑系统中公式的真度集均为[0,1]上的有理数集.最后,还给出了两系统中公式的相似度,伪距离的分布情况. 展开更多
关键词 Godel逻辑系统 L*逻辑系统 逻辑公式 真度 相似度 伪距离
原文传递
Gdel系统中由一个或两个原子生成的公式的真值函数的特征 被引量:5
3
作者 张安英 张兴芳 高芹 《模糊系统与数学》 CSCD 北大核心 2007年第3期54-59,共6页
在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
关键词 Goedel系统 逻辑公式 真值函数
下载PDF
关于逻辑函数化简方法的研究 被引量:3
4
作者 冯乃勤 孙玉强 +1 位作者 魏淑桃 陈广林 《小型微型计算机系统》 CSCD 北大核心 2003年第1期130-134,共5页
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同... 变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。 展开更多
关键词 数字系统 布尔代数 逻辑函数 卡诺图 公式法
下载PDF
基于软集上逻辑公式的极大关联规则描述与挖掘方法 被引量:3
5
作者 冯锋 张珑耀 张青 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2018年第4期901-908,共8页
针对常规关联规则定义中未涉及项域划分的问题,提出极大关联规则是对常规关联规则的有益补充.以软集理论和软集逻辑公式为主要工具,解决了常规关联规则和极大关联规则挖掘中相关核心概念的描述问题,获得了二者的统一数学刻画.实例分析表... 针对常规关联规则定义中未涉及项域划分的问题,提出极大关联规则是对常规关联规则的有益补充.以软集理论和软集逻辑公式为主要工具,解决了常规关联规则和极大关联规则挖掘中相关核心概念的描述问题,获得了二者的统一数学刻画.实例分析表明,与经典挖掘方法相比,基于软集逻辑公式的极大关联规则挖掘方法能有效降低冗余,并剔除无效规则,提高了所得规则的准确性和挖掘效率. 展开更多
关键词 关联规则 软集 逻辑公式 实现集 数据挖掘
下载PDF
英汉语分裂句的焦点移位及其语义语用对比分析 被引量:3
6
作者 尹丕安 罗洋 《西安外国语大学学报》 CSSCI 2015年第4期11-14,共4页
分裂句是英汉两种语言中共同存在的一种句型。本文通过阐述英汉语中分裂句的构成及其特征,以及系动词"BE"和谓语动词"是"在这两种结构中的句法和语义特征。运用Chomsky最简方案(MP)中的C-command,Locality Princip... 分裂句是英汉两种语言中共同存在的一种句型。本文通过阐述英汉语中分裂句的构成及其特征,以及系动词"BE"和谓语动词"是"在这两种结构中的句法和语义特征。运用Chomsky最简方案(MP)中的C-command,Locality Principle,φ-features,Phase Impenetrability Condition(PIC)原则和Luigi Rizzi的split CP hypothesis,阐明在两种语言中,不同成分之间的领属关系及焦点等一系列问题,并对分裂句和准分裂句的焦点和语义语用及其逻辑式(LF)进行了描述。 展开更多
关键词 句法 分裂句 焦点 语义 语用 逻辑式
原文传递
数控高次曲线插补的分析与应用
7
作者 蒋建强 《微电机》 北大核心 2007年第9期59-61,共3页
数控机床加工的零件轮廓一般由直线、圆弧组成,也有一些非圆曲线轮廓例如高次曲线、列表曲线、列表曲面等,但都可以用直线或圆弧去逼近。本文主要论述了插补算法的工作流程和对数控系统的影响,并对高次曲线的插补原理进行分析,最后推导... 数控机床加工的零件轮廓一般由直线、圆弧组成,也有一些非圆曲线轮廓例如高次曲线、列表曲线、列表曲面等,但都可以用直线或圆弧去逼近。本文主要论述了插补算法的工作流程和对数控系统的影响,并对高次曲线的插补原理进行分析,最后推导出高次曲线插补的递推公式,绘制插补逻辑图,其递推公式和插补逻辑图同样适用于其它高次曲线。 展开更多
关键词 高次曲线 插补 逻辑图 递推公式
下载PDF
基于数控高次曲线插补的研究与应用 被引量:2
8
作者 蒋建强 《制造业自动化》 北大核心 2006年第12期86-88,共3页
数控机床加工的零件轮廓一般由直线、圆弧组成,也有一些非圆曲线轮廓例如高次曲线、列表曲线、列表曲面等,但都可以用直线或圆弧去逼近。本文主要论述了插补算法对数控系统的影响和插补算法的工作流程,并对高次曲线的插补原理进行分析... 数控机床加工的零件轮廓一般由直线、圆弧组成,也有一些非圆曲线轮廓例如高次曲线、列表曲线、列表曲面等,但都可以用直线或圆弧去逼近。本文主要论述了插补算法对数控系统的影响和插补算法的工作流程,并对高次曲线的插补原理进行分析与研究,最后推导出高次曲线插补的递推公式,绘制插补逻辑图,其递推公式和插补逻辑图同样适用于其它高次曲线。 展开更多
关键词 高次曲线 插补 逻辑图 递推公式
下载PDF
基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记 被引量:2
9
作者 赖家俊 徐扬 《系统科学与数学》 CSCD 北大核心 2013年第10期1256-1262,共7页
引入了语言真值格值一阶逻辑系统L_(v(n×2))F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒真的一些语义与语法特征.
关键词 语言真值格值一阶逻辑 形式推演 逻辑公式 程度化公式
原文传递
数理逻辑的若干应用 被引量:2
10
作者 杜君花 梁红梅 马艳萍 《高师理科学刊》 2018年第9期56-60,共5页
研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的"一致"与"处处"的关系,证明某些推理形式的正确性,证明命题的等价性及在社会科学中的应用.
关键词 数理逻辑 逻辑公式 推理形式 等价 反证法
下载PDF
基于优先执行关系闭包运算的事务可串行化判定方法 被引量:2
11
作者 熊中敏 王佳艳 +1 位作者 汪博 陈明 《计算机应用与软件》 北大核心 2019年第9期52-57,99,共7页
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数... 现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。 展开更多
关键词 数据库 并发事务 可串行化 闭包计算 逻辑公式
下载PDF
论《周易》的太极代数及逻辑语义模型
12
作者 王俊龙 《宏观语言学》 2016年第1期143-150,共8页
本文论述了《周易》的数理逻辑本质,认为它实际提出了一种新的逻辑代数一太极代数,而其中的八卦则是通用的逻辑语义结构模型。具体地说,太极代数是形下的正(1)、负(-1)和形上的空(-0)和无(0)构成的四元逻辑代数。其八卦反映的是... 本文论述了《周易》的数理逻辑本质,认为它实际提出了一种新的逻辑代数一太极代数,而其中的八卦则是通用的逻辑语义结构模型。具体地说,太极代数是形下的正(1)、负(-1)和形上的空(-0)和无(0)构成的四元逻辑代数。其八卦反映的是交集、交之补、并集、并之补、对称差、差之补、单集、单之补等八个逻辑运算公式。六十四卦是反映高维语义结构的演绎逻辑系统,构成了六十四重逻辑反义结构。本文的结论可应用于语言学尤其是语义学的研宄。 展开更多
关键词 《周易》 八卦 太极代数 逻辑公式 逻辑语义 通用模型
下载PDF
Gdel中单个或两个原子生成公式的真度分布
13
作者 李友雨 张兴芳 李成允 《计算机工程与应用》 CSCD 北大核心 2009年第14期56-57,共2页
以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。
关键词 Gdel系统 逻辑公式 真度
下载PDF
Π系统中公式的真值函数及真度分布
14
作者 李友雨 张兴芳 李成允 《计算机工程与应用》 CSCD 北大核心 2009年第15期39-40,共2页
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类... 以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。 展开更多
关键词 Π系统 逻辑公式 真值函数 真度
下载PDF
Gdel逻辑系统中公式真度判断方法
15
作者 张凤姣 张兴芳 《聊城大学学报(自然科学版)》 2011年第1期39-42,46,共5页
通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
关键词 Gdel逻辑系统 逻辑公式 真值函数 伪真值函数 真度
下载PDF
L*系统中由单个原子生成公式的真度分布
16
作者 李友雨 张兴芳 李成允 《计算机工程与应用》 CSCD 北大核心 2010年第10期31-32,共2页
以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。
关键词 L*系统 逻辑公式 真度
下载PDF
基于网络拓扑的继电线路逻辑表达式抽取方法
17
作者 张颖瑶 耿英三 +1 位作者 张国钢 邓永庆 《低压电器》 北大核心 2007年第21期1-4,48,共5页
继电线路的可测性设计和功能验证,在电力系统的安全可靠性运行中起着重要的作用,用逻辑分析的方法对控制电路进行功能验证是一种全新的思路。提出了一种用深度优先搜索电路中所有回路构造电路逻辑表达式的方法,并将抽取出的逻辑表达式... 继电线路的可测性设计和功能验证,在电力系统的安全可靠性运行中起着重要的作用,用逻辑分析的方法对控制电路进行功能验证是一种全新的思路。提出了一种用深度优先搜索电路中所有回路构造电路逻辑表达式的方法,并将抽取出的逻辑表达式用二叉树进行存储。该方法能够快速、准确地抽取出复杂控制线路的逻辑表达式,并方便地计算出逻辑表达式的值。 展开更多
关键词 继电线路 网络拓扑 逻辑表达式 二叉树
下载PDF
Rough逻辑及其在数据约简中的应用 被引量:54
18
作者 刘清 刘少辉 郑非 《软件学报》 EI CSCD 北大核心 2001年第3期415-419,共5页
讨论了被定义在邻域值决策表上的 Rough逻辑及其公式的真值 ,它在数据约简中的应用比 Pawlak定义的决策表上的决策逻辑更加广泛 .目前常用的数据约简方法有 Pawlak的数据分析和 Skowron的分明矩阵法 .前者是非形式的 ,不易机械化 ;而后... 讨论了被定义在邻域值决策表上的 Rough逻辑及其公式的真值 ,它在数据约简中的应用比 Pawlak定义的决策表上的决策逻辑更加广泛 .目前常用的数据约简方法有 Pawlak的数据分析和 Skowron的分明矩阵法 .前者是非形式的 ,不易机械化 ;而后者虽说直观、易理解 ,但还要求生成一个分明矩阵的中间环节 ,从而造成时空上的不必要的开销 .采取一边从邻域值决策表关于属性值邻域是分明的属性并构成邻域分明合取范式 ,一边做这种逻辑公式的等价变换直接得到邻域值决策表的诸多约简 .由于不用生成分明矩阵的中间环节 ,这样便节省了空间和时间 ,提高了运行效率 .对此 ,对拥有 6个属性 (4个条件和两个决策属性 )以及 10 2个个体的一致决策表或邻域值决策表进行处理并生成了约简的决策规则 .用两种不同方法在 P 2 33/ 6 4 M的微机上用 DELPHI3.0分别对它们进行约简并得到相同的结果 ,采用一边从表中提取公式一边做约简的方法 ,所用时间约 1分 54秒 ;而用分明矩阵法却耗去 1分 55秒 .由于增加了一个数组 (分明矩阵 ) ,便增加了空间复杂度 O(m× n2 ) ,其中 m为属性数 ,n为个体数 ,随着属性数和个体数的增加 ,所占的空间和时间也将急剧增加 .可见 ,从空间和时间消耗上来看 ,这两种方法的优劣是十分明显的 . 展开更多
关键词 邻域值决策表 数据约简 ROUGH集 决策逻辑 人工智能
下载PDF
智能电网调度控制系统的远方操作安全防误技术 被引量:44
19
作者 林静怀 米为民 +4 位作者 李泽科 陈郑平 张连超 刘必晶 金鑫 《电力系统自动化》 EI CSCD 北大核心 2015年第1期60-64,240,共6页
随着大运行体系建设的不断深入,调控中心的远方遥控操作要求实现到冷备用状态,这就对调控远方遥控操作的安全性、可靠性提出了更高的要求。文中基于智能电网调度控制系统,研究了实现调控和防误一体化的远方操作安全防误技术,对其中的调... 随着大运行体系建设的不断深入,调控中心的远方遥控操作要求实现到冷备用状态,这就对调控远方遥控操作的安全性、可靠性提出了更高的要求。文中基于智能电网调度控制系统,研究了实现调控和防误一体化的远方操作安全防误技术,对其中的调控和防误一体化建模、统一防误采集规范、一体化防误逻辑规则生成等关键技术给出了具体的解决方案。该防误技术已经成功应用于某智能电网调度控制系统,建立了调控与防误一体化的智能操作管理系统,解决了远方遥控到冷备用状态的关键技术问题。 展开更多
关键词 防误系统 调控和防误一体化 防误采集 防误逻辑规则 防误逻辑公式 拓扑防误 方遥控 冷备用
下载PDF
组合险象逻辑余式判据 被引量:11
20
作者 童永承 《计算机学报》 EI CSCD 北大核心 1994年第6期429-434,共6页
本文给出了逻辑函数余式的定义,建立了简单逻辑函数余式和复合逻辑函数余式,并得到一系列逻辑冒险,0型功能冒险,1型功能冒险的判定定理及确定各类险象和其转化条件.为无险象组合电路设计及最终解决组合险象问题奠定了坚实的基础.
关键词 逻辑函数余式 组合逻辑电路
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部