期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
三值函数表格法最小化中的消变量与消阈化简 被引量:2
1
作者 金瓯 吴训威 《杭州大学学报(自然科学版)》 CSCD 1994年第1期47-52,共6页
本文在讨论Post代数中三值函数的代数基础、成本计算方法与函数简化准则的基础上提出了兼考虑消变量与消阈化简的三值函数表格法最小化程序.通过实例的化简表明考虑消阈化简后所得的函数的最小化SOP形式要比只考虑消变量化简所得的形式... 本文在讨论Post代数中三值函数的代数基础、成本计算方法与函数简化准则的基础上提出了兼考虑消变量与消阈化简的三值函数表格法最小化程序.通过实例的化简表明考虑消阈化简后所得的函数的最小化SOP形式要比只考虑消变量化简所得的形式更简单,相应电路的成本更低. 展开更多
关键词 逻辑 三值函数 表格法最小化
下载PDF
三值模糊逻辑函数实现静险态的检测 被引量:1
2
作者 尤飞 苗志宏 李洪兴 《模糊系统与数学》 CSCD 2004年第3期91-94,共4页
在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险... 在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α 展开更多
关键词 模糊逻辑函数 0-险态 α-险态 1-险态
下载PDF
三谱值函数的性质
3
作者 王建平 汤力 安远 《西安工程大学学报》 CAS 2010年第3期372-375,共4页
基于沃什谱理论研究了三谱值函数的一些特征,给出了三谱值函数限制在一个仿射子空间上的非线性度的下界,得到了三谱值函数具有一个k维线性结构时其变元个数n、三谱值阶数和k的制约关系,最后给出三谱值函数没有k维线性结构的充分条件.
关键词 布尔函数 函数 非线性度 线性结构
下载PDF
三值指数函数化简
4
作者 刘莹 赵爱民 《黑龙江电子技术》 1995年第4期15-17,21,共4页
本文将二值逻辑中常用的广义相容法和立方扩展法推广到三值逻辑中,给出了三值指数函数化简的实用方法。
关键词 指数函数 广义相容法 立方扩展法
下载PDF
三值逻辑函数表格法最小化的一种新方法 被引量:1
5
作者 张迎 高迎慧 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2002年第6期764-766,共3页
根据格代数公式,对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中,采用找出满足下述 条件最小项的策略:一是相邻最小项的数量为3的m次或者m-1次幂,同时保证m数值尽量大(m=1,2,…)。二是最小项的逻辑值为“1... 根据格代数公式,对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中,采用找出满足下述 条件最小项的策略:一是相邻最小项的数量为3的m次或者m-1次幂,同时保证m数值尽量大(m=1,2,…)。二是最小项的逻辑值为“1”或“2。为此,利用避开最邻近的最小项方法(该最小项逻辑值小于被选择最小项的逻辑值),从而减少了冗余项的数量。这种 方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。 展开更多
关键词 逻辑函数 表格法最小化 无关项 格代数 逻辑电路 最小项 数字电路
下载PDF
关于弹性函数及三谱值最优函数的构造
6
作者 谢敏 裴定一 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第2期226-233,共8页
主要研究弹性函数及三谱值最优函数的构造 .利用函数构造的基本方法 ,给出弹性函数几种新的更为简洁、直接的构造 ;研究部分bent函数的频谱性质及其构造 ,并利用部分bent函数给出三谱值最优函数的一种新的构造 .
关键词 非线性度 相关免疫 WALSH谱 弹性函数 部分BENT函数 最优函数 函数构造
下载PDF
基于三值Walsh插值函数的PSWF重构方法
7
作者 赛雷 王红星 +1 位作者 陆发平 康家方 《无线电通信技术》 2019年第5期512-517,共6页
针对采用二值Walsh函数重构椭圆球面波函数(PSWF)精度不高的问题,通过理论分析的方式,将二值Walsh插值函数推广为三值Walsh插值函数,并依据其完备正交性,提出基于三值Walsh插值函数的PSWF重构方法。在此基础上,对运算量、信号精度、信... 针对采用二值Walsh函数重构椭圆球面波函数(PSWF)精度不高的问题,通过理论分析的方式,将二值Walsh插值函数推广为三值Walsh插值函数,并依据其完备正交性,提出基于三值Walsh插值函数的PSWF重构方法。在此基础上,对运算量、信号精度、信号性能等进行数值分析。结果表明,相比于二值Walsh函数重构法,在运算量基本持平的基础上,提出的方法能够在相同采样点数量的情况下,使得时域重构信号的精度至少提升5个数量级,且时域正交性较好,频域能量聚集度也有1个数量级的提高。 展开更多
关键词 Walsh插函数 椭圆球面波函数 循环移位复制理论
下载PDF
基于多值方法的模糊逻辑函数最小化 被引量:2
8
作者 沈继忠 姚茂群 陈华华 《计算机学报》 EI CSCD 北大核心 2004年第4期555-560,共6页
首先提出了模糊逻辑和多值逻辑的相似性 ,并从开关信号理论出发建立了三值逻辑函数阈运算和模糊逻辑函数文字运算的对应关系 ,进而提出了基于差动电流开关理论的三值逻辑函数化简法求模糊逻辑函数最小化表达式的算法 ,并用该算法对几个... 首先提出了模糊逻辑和多值逻辑的相似性 ,并从开关信号理论出发建立了三值逻辑函数阈运算和模糊逻辑函数文字运算的对应关系 ,进而提出了基于差动电流开关理论的三值逻辑函数化简法求模糊逻辑函数最小化表达式的算法 ,并用该算法对几个模糊逻辑函数实例进行了化简 .实例操作表明 ,该算法具有操作简单快捷的特点 ,是获得模糊逻辑函数最小化表达式的一种有效的方法 . 展开更多
关键词 模糊逻辑 最小化 逻辑 差动电流开关理论 逻辑函数化简法
下载PDF
混合控制变量序的三值T门网络化简方法 被引量:1
9
作者 刘观生 沈继忠 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2002年第5期500-505,共6页
为获得 T门网络的最佳控制变量顺序 ,对于 n个变量的函数 ,用传统的方法需作 n!次搜索 ,如果考虑混合控制方式 ,则搜索的次数更多 .为了减少搜索次数 ,并尽可能得到更为简单的 T门网络 ,本文通过对真值表分割法的分析 ,并结合 T门网络... 为获得 T门网络的最佳控制变量顺序 ,对于 n个变量的函数 ,用传统的方法需作 n!次搜索 ,如果考虑混合控制方式 ,则搜索的次数更多 .为了减少搜索次数 ,并尽可能得到更为简单的 T门网络 ,本文通过对真值表分割法的分析 ,并结合 T门网络的特点 ,提出了一种用 T门实现三值逻辑函数的真值表分割法的改进算法 .该算法可实现混合控制变量序的 T门网络的最简或接近最简实现 ,且易于编程和上机操作 .最后还对几种 T门网络化简方法的优劣进行了比较 . 展开更多
关键词 混合控制变量序 化简方法 逻辑 T门网络 逻辑设计 逻辑函数 表分割法
下载PDF
基于XOR/AND逻辑的三值FPRM电路最佳延时极性搜索 被引量:1
10
作者 汪涛 张会红 王稼磊 《科技通报》 北大核心 2017年第1期71-75,共5页
通过分析三值FPRM(fixed-polarity Reed-Muller)函数表达式与三值列表极性转换算法,提出了一种基于XOR/AND逻辑的三值FPRM电路延时极性优化方法。首先根据三值FPRM逻辑电路延时模型,结合类Huffman算法评估某一极性下的电路延时;然后结... 通过分析三值FPRM(fixed-polarity Reed-Muller)函数表达式与三值列表极性转换算法,提出了一种基于XOR/AND逻辑的三值FPRM电路延时极性优化方法。首先根据三值FPRM逻辑电路延时模型,结合类Huffman算法评估某一极性下的电路延时;然后结合三值极性转换技术,依照非循环格雷码的次序搜索三值FPRM电路延时极性得到最佳延时电路;最后对12个中小规模Benchmark电路进行分析比较,实验数据显示:相比于0极性的三值FPRM逻辑电路,平均延时降低了31.13%。 展开更多
关键词 逻辑函数 FPRM电路 延时优化 极性搜索
下载PDF
多值逻辑函数最小化的McCluskey-Quine方法改进及程序实现 被引量:1
11
作者 张涌澎 钱博森 《航空计算技术》 1998年第4期50-54,共5页
多值逻辑电路的发展,使得以往的化简方式已不能适应电路取值的增高和函数项的增加。本文以三变量三值函数为例,讨论了多值逻辑电路化简的物理背景,采用改进的McCluskey-Quine方法进行最小化的算法,以及质蕴含项覆盖问题的求解,并... 多值逻辑电路的发展,使得以往的化简方式已不能适应电路取值的增高和函数项的增加。本文以三变量三值函数为例,讨论了多值逻辑电路化简的物理背景,采用改进的McCluskey-Quine方法进行最小化的算法,以及质蕴含项覆盖问题的求解,并给出了程序流程。由于该程序采用的面向对象技术,经过适当扩展可以应用于多变量多值函数。 展开更多
关键词 逻辑 最小化 三值函数 优化 逻辑电路
全文增补中
基于模拟退火遗传算法的三值FPRM电路功耗优化 被引量:3
12
作者 厉康平 汪鹏君 张会红 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期190-194,199,共6页
在三值FPRM(Fixed-Polarity Reed-Muller)逻辑函数中,n变量函数有3n个固定极性.针对不同极性下FPRM电路功耗不同的特点,研究了三值FPRM逻辑表达式,提出一种基于模拟退火遗传算法的三值FPRM电路功耗优化方法.首先,根据三值逻辑函数表达... 在三值FPRM(Fixed-Polarity Reed-Muller)逻辑函数中,n变量函数有3n个固定极性.针对不同极性下FPRM电路功耗不同的特点,研究了三值FPRM逻辑表达式,提出一种基于模拟退火遗传算法的三值FPRM电路功耗优化方法.首先,根据三值逻辑函数表达式和开关信号传递理论,建立三值FPRM电路功耗估计模型;再利用模拟退火遗传算法对三值FPRM电路进行功耗最佳极性搜索,得到了功耗最低的FPRM电路;最后对13个MCNC Benchmark电路进行仿真.结果表明:与0极性相比,搜索到的最佳极性功耗平均节省了73.98%. 展开更多
关键词 逻辑函数 FPRM电路 模拟退火遗传算法 功耗
下载PDF
基于穷举法的三值FPRM电路功耗最佳极性搜索 被引量:2
13
作者 厉康平 汪鹏君 张会红 《宁波大学学报(理工版)》 CAS 2015年第4期31-35,共5页
鉴于n变量三值逻辑函数在不同极性下的FPRM(Fixed-polarity Reed-Muller)表达式繁简不一,与之对应的FPRM电路功耗不同.通过对三值FPRM逻辑表达式的研究,提出一种基于穷举法的三值FPRM电路功耗最佳极性搜索方法.首先根据三值逻辑函数表... 鉴于n变量三值逻辑函数在不同极性下的FPRM(Fixed-polarity Reed-Muller)表达式繁简不一,与之对应的FPRM电路功耗不同.通过对三值FPRM逻辑表达式的研究,提出一种基于穷举法的三值FPRM电路功耗最佳极性搜索方法.首先根据三值逻辑函数表达式和开关信号传递理论,建立三值FPRM电路功耗估计模型;然后利用穷举法对三值FPRM电路进行功耗最佳极性搜索,得到功耗最优的FPRM电路;最后对13个MCNC Benchmark电路进行仿真验证.结果表明:与0极性相比,搜索到的最佳极性功耗平均节省72.72%. 展开更多
关键词 逻辑函数 FPRM电路 功耗 极性搜索
下载PDF
Kleene逻辑函数的特征与极小化
14
作者 裴道武 《工程数学学报》 CSCD 北大核心 2000年第4期81-85,共5页
本文进一步研究了 Kleene逻辑函数 ,得到了这类函数的特征性质 ,解决了这类函数的极小化问题。由于这类函数与正则三值逻辑函数的特殊关系 ,从而也解决了正则三值逻辑函数的极小化问题。
关键词 模糊逻辑 Kleene逻辑函数 逻辑函数 极小化
下载PDF
反链方法及其在正则三值逻辑函数计数上的应用
15
作者 王国俊 《科学通报》 EI CAS CSCD 北大核心 1996年第21期2008-2008,共1页
为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径... 为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1  设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E^n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E^n→E称正则函数,若(?)a,b∈E^n,当a(?)b时f(a)(?)f(b).正则函数f:E^n→E称单调函数,(?)a,b∈E^n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E^n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E^n.(?)). 展开更多
关键词 反链方法 逻辑函数 计数
原文传递
对称逻辑公式在L3^*逻辑度量空间中的分布 被引量:10
16
作者 王庆平 王国俊 《计算机学报》 EI CSCD 北大核心 2011年第1期105-114,共10页
在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑... 在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在[0,1]中稠密.然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集. 展开更多
关键词 对称R0函数 对称逻辑公式 准对称逻辑公式 同类向量 稠密
下载PDF
L3^*中逻辑公式的范式表示及对称逻辑公式的构造方法 被引量:2
17
作者 王庆平 《计算机学报》 EI CSCD 北大核心 2013年第4期851-861,共11页
将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基... 将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3*中对称逻辑公式的构造方法. 展开更多
关键词 Shannon展开式 R0函数 对称逻辑公式 范式表示 计数问题
下载PDF
On Triangle Interpolation Approximation of the Double Function 被引量:3
18
作者 袁学刚 韩友发 《Chinese Quarterly Journal of Mathematics》 CSCD 2000年第4期61-65,共5页
本文以两组不同的节点构造了一个组合型的二元三角插值多项式算子Lmn(f;x,y),并且研究了二元连续周期函数对这个算子的收敛性及收敛阶的估计等问题。
关键词 double triangle interpolation polymial convergence order converge uniforml?
下载PDF
2019年高考全国卷Ⅱ文科数学第21题的五种解法
19
作者 甘志国 《数理化解题研究》 2020年第13期32-33,共2页
2019年高考全国卷Ⅱ文科数学第21题是一道关于一元三次函数的含参问题,参考答案是用分离参数法来求解的.本文将给出这道题的五种解法,解法可以拓展读者的思维.
关键词 高考题 一元函数的极同号 导数 分离参数法
下载PDF
The Impacts of Permafrost Change on NPP and Implications:A Case of the Source Regions of Yangtze and Yellow Rivers 被引量:9
20
作者 FANG Yiping QIN Dahe +2 位作者 DING Yongjian YANG Jianping XU Keyan 《Journal of Mountain Science》 SCIE CSCD 2011年第3期437-447,共11页
This paper studies the relationship between net primary productivity (NPP) and annual average air temperature (GT) at 0cm above ground in permafrost regions by using revised Chikugo NPP model,cubic spline interpolatin... This paper studies the relationship between net primary productivity (NPP) and annual average air temperature (GT) at 0cm above ground in permafrost regions by using revised Chikugo NPP model,cubic spline interpolating functions,and non-linear regression methods.The source regions of the Yangtze and Yellow Rivers were selected as the research areas.Results illustrate that:(1) There is significant non-linear relationship between NPP and GT in various typical years;(2) The maximum value of NPP is 6.17,5.87,7.73,and 5.41 DM·t·hm-2 ·a-1 respectively,and the corresponding GT is 7.1,10.0,21.2,and 8.9 o C respectively in 1980,1990,2000 and 2007;(3) In 1980,the sensitivity of NPP to GT is higher than in 1990,2000 and 2007.This tendency shows that the NPP presents change from fluctuation to an adaptation process over time;(4) During 1980~2007,the accumulated NPP was reduced to 8.05,and the corresponding carrying capacity of theoretical livestock reduced by 11%;(5) The shape of the demonstration region of ecological compensation system,livelihood support system,and science appraisal system in the source regions of Yangtze and Yellow Rivers are an important research for increasing the adaptation capacity and balancing protection and development. 展开更多
关键词 The source regions of Yangtze and Yellow Rivers PERMAFROST Ground temperature (GT) Net primary productivity (NPP) Policy adaptation
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部