期刊文献+
共找到185篇文章
< 1 2 10 >
每页显示 20 50 100
PID Pan-Boolean algebra control 被引量:1
1
作者 陈进 周瑾 +2 位作者 洪晓鸥 陈冠玲 汪志锋 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第S1期154-157,共4页
Single input single output system was studied. With proportion, differential, integral results of deviation between given input and output as controller input, the logic rules in control process was analyzed, these lo... Single input single output system was studied. With proportion, differential, integral results of deviation between given input and output as controller input, the logic rules in control process was analyzed, these logic rule with Pan-Boolean algebra was described, therefore a PID Pan-Boolean algebra control algorithm was obtained. The simulation results indicates that the new control algorithm is more effective compared to the traditional PID algorithm, having advantages such as more than 3 adjustable parameters of controllers, better result, and so on. 展开更多
关键词 Pan-boolean algebra CONTROL PID CONTROL
在线阅读 下载PDF
逐重量完美平衡布尔函数的构造
2
作者 赵庆兰 王富佳 秦宝东 《通信学报》 北大核心 2025年第2期97-107,共11页
在FLIP等同态友好流密码的背景下,逐重量完美平衡布尔函数成为密码学中研究的热点问题,但已有的研究结果构造的逐重量完美平衡布尔函数的k-重量非线性度离其上界仍有距离,基于此,提出一种新的逐重量完美平衡布尔函数的构造方法。首先,对... 在FLIP等同态友好流密码的背景下,逐重量完美平衡布尔函数成为密码学中研究的热点问题,但已有的研究结果构造的逐重量完美平衡布尔函数的k-重量非线性度离其上界仍有距离,基于此,提出一种新的逐重量完美平衡布尔函数的构造方法。首先,对于m≥4的正整数,给出了一类2^(m)元的八次基础布尔函数,并利用代数正规型确定其k-重量分布。随后,通过修改此类基础函数的支撑集,构造出了一类2^(m)元逐重量完美平衡布尔函数,从理论上证明了其在每个非平凡等重量子集上都是平衡的。此外,分析了所提构造方法与同类构造方法之间的区别,证明了逐重量完美平衡布尔函数的代数次数。最后,与目前已有的同类函数进行比较,结果表明,新构造的8元函数在k=3和k=4时分别超过现有的k-重量非线性度,达到18和26,新构造的16元函数在k=13时的k-重量非线性度从目前最高值152提高到了160。 展开更多
关键词 FLIP 逐重量完美平衡布尔函数 代数次数 重量非线性度
在线阅读 下载PDF
粗糙集的两种新型算子及其Boolean代数性质 被引量:2
3
作者 张化光 梁洪力 《应用科学学报》 CAS CSCD 2004年第4期503-508,共6页
主要定义两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质.基于这两种算子建立了粗糙集的并、交、补运算,并证明在此定义下的粗糙集补集为Boolean补.
关键词 代数性质 算子 补集 粗糙集 证明 运算
在线阅读 下载PDF
高非线性四谱值和五谱值布尔函数的构造 被引量:1
4
作者 郭飞 王子龙 段明 《通信学报》 北大核心 2025年第3期144-150,共7页
四谱值和五谱值布尔函数对于密码学应用具有特殊的意义,通过修改Maiorana-McFarland类bent函数,给出了一种偶数元四谱值和五谱值布尔函数的构造,确定了所构造函数的Walsh谱分布,证明其非线性度和半bent函数一样高,为2^(n-1)-2^(n/2)(n... 四谱值和五谱值布尔函数对于密码学应用具有特殊的意义,通过修改Maiorana-McFarland类bent函数,给出了一种偶数元四谱值和五谱值布尔函数的构造,确定了所构造函数的Walsh谱分布,证明其非线性度和半bent函数一样高,为2^(n-1)-2^(n/2)(n为变元数),代数次数能取到3和理论上界n/2+1之间的任意值。并深入研究了该构造的一个子类,包含的函数具有五谱值和最高的代数次数n/2+1,且不存在非零线性结构。 展开更多
关键词 布尔函数 四谱值函数 五谱值函数 非线性度 代数次数
在线阅读 下载PDF
Boolean代数族模素强滤子约化直积可分配的特征性质 被引量:1
5
作者 关质钧 杨海欧 《哈尔滨船舶工程学院学报》 CSCD 1994年第1期64-70,共7页
本文构造一类Boolean代数──Boolean代数族{B_t}_t∈T模素强滤子F的约化直积R/F,证明:P/F是可分配的,充分必要{t:B_t是完备原子Boolean代数}∈F①.
关键词 布尔代数 直积 约化 滤子
在线阅读 下载PDF
Boolean代数族模素强滤子约化直积的同构特征
6
作者 杨海欧 关质钧 沈艳 《哈尔滨工程大学学报》 EI CAS CSCD 1995年第2期100-106,共7页
考查文献[4]的结果在理论上的应用,给出Boolean代数族模素强滤子约化直积在无限性运算下的一个同构定理。
关键词 boolean代数 同构特征 模素强滤子 约化直积
在线阅读 下载PDF
Boolean代数与减法代数
7
作者 贺品品 《陕西师范大学学报(自然科学版)》 CAS CSCD 1996年第4期17-20,共4页
根据集合代数的研究引入了减法代数的概念.证明了任一Boolean代数等价于一个具有一个二元代数运算,且仅可由四个方程式定义的减法代数系统〈X;-,0,1〉
关键词 减法代数 偏序集 布尔代数
在线阅读 下载PDF
任意偶变元上代数免疫度最优的平衡旋转对称布尔函数的构造
8
作者 赵庆兰 李盼 +2 位作者 郑东 李梦苒 张建东 《密码学报(中英文)》 CSCD 北大核心 2024年第4期924-944,共21页
旋转对称布尔函数是一类在输入进行循环移位的条件下输出保持不变的布尔函数.此类函数因具有特殊的结构并且包括许多具有良好密码学性质的布尔函数而在密码学领域受到广泛关注.在代数攻击出现之后,如何构造出具有最优代数免疫度的平衡... 旋转对称布尔函数是一类在输入进行循环移位的条件下输出保持不变的布尔函数.此类函数因具有特殊的结构并且包括许多具有良好密码学性质的布尔函数而在密码学领域受到广泛关注.在代数攻击出现之后,如何构造出具有最优代数免疫度的平衡旋转对称布尔函数成为布尔函数相关研究中的一个热点问题.对于这个问题的研究,在任意奇数变元上已经有了丰富的成果,而在任意偶变元上构造此类函数一直以来都是一件具有挑战性的工作.2021年,Mesnager等人提出了一类构造方法成功解决了这个难题,但所构造函数的非线性度不高.本文在任意偶变元n上给出了一类新的旋转对称布尔函数构造方法,所构造的函数不仅具有最优代数免疫度和平衡性,同时其非线性度在变元个数n大于等于8时均高于现有的任意偶变元上的同类构造.除此之外,通过电脑程序得到了这类新函数在变元个数小于等于16时不仅具有良好的抵抗快速代数攻击的能力而且代数次数可达到最高值n−1或次高值n−2. 展开更多
关键词 旋转对称布尔函数 代数次数 代数免疫度 平衡性 非线性度
在线阅读 下载PDF
概念设计中基于扩展功能矩阵的功能求解方法 被引量:16
9
作者 刘晓平 唐益明 +1 位作者 秦晋 路强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第12期1610-1617,共8页
提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地... 提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地缩减了解空间,提高了效率,同时对于概念设计中创新冲突的检测与定位起到了积极的推动作用. 展开更多
关键词 概念设计 功能树 布尔代数 扩展功能矩阵
在线阅读 下载PDF
结合二叉判决图和布尔可满足性的等价性验证算法 被引量:8
10
作者 严晓浪 郑飞君 +1 位作者 葛海通 杨军 《电子学报》 EI CAS CSCD 北大核心 2004年第8期1233-1235,共3页
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比... 本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比主要有如下改进 :在AIG中结合多种引擎进行简化 ,不存在误判可能 ;充分利用了基于电路解算器和基于合取范式解算器各自优点 ,减小了SAT推理的搜索空间 .实验结果表明了本算法的有效性 . 展开更多
关键词 等价性验证 与/非图 孤立节点 二叉判决图 可满足性解算器
在线阅读 下载PDF
从布尔代数到布尔微积分 被引量:10
11
作者 程代展 赵寅 徐相如 《控制理论与应用》 EI CAS CSCD 北大核心 2011年第10期1513-1523,共11页
布尔函数作为最简单的有限值函数具有特殊的重要性.它在包括信息、控制等许多领域有着广泛的应用.本文综合介绍有关布尔函数的理论基础.包括从布尔代数到布尔微积分的主要理论结果,它们在信息与控制中的一些些要应用,以及其前沿动态与... 布尔函数作为最简单的有限值函数具有特殊的重要性.它在包括信息、控制等许多领域有着广泛的应用.本文综合介绍有关布尔函数的理论基础.包括从布尔代数到布尔微积分的主要理论结果,它们在信息与控制中的一些些要应用,以及其前沿动态与新进展.介绍的一个重点是矩阵半张量积在这些领域的应用. 展开更多
关键词 布尔函数 .布尔代数 布尔导数 布尔积分 矩阵半张量积
在线阅读 下载PDF
粗集的公理化 被引量:51
12
作者 祝峰 何华灿 《计算机学报》 EI CSCD 北大核心 2000年第3期330-333,共4页
粗集是知识发现领域的基础理论 ,该文在 L in等工作的基础上对粗集的公理化进行了深入的研究 ,去除了以往文献中给出的粗集公理组中的冗余性 ,得到了两个关于粗集的最小公理组 ,它们各自只包含 3个公理 .
关键词 粗集 知识发现 公理化 近似运算
在线阅读 下载PDF
布尔代数的(∈,∈∨q_(λ,μ))-模糊理想 被引量:11
13
作者 刘春芝 廖祖华 姜雪 《江南大学学报(自然科学版)》 CAS 2011年第6期737-740,共4页
文中给出了布尔代数的(∈,∈∨q(λ,μ))-模糊理想及广义模糊理想的新概念,得到了(∈,∈∨q(λ,μ))-模糊理想的一些等价刻画及基本性质。
关键词 布尔代数 理想 (∈ ∈∨q(λ μ))-模糊理想 广义模糊理想
在线阅读 下载PDF
地图图层系统为布尔代数系的证明及应用 被引量:4
14
作者 郑红波 钟业勋 秦绪佳 《浙江工业大学学报》 CAS 2005年第1期60-63,共4页
布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元... 布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元素的地图符号系统属于布尔代数系已经得到了证明.根据布尔代数的定义和充要条件,结合图层示例,论证了地图图层系统也是布尔代数系,这为地图图层系统在计算机的表示提供了计算机理论基础和数学工具.实例表明,不管是电子地图还是GIS中,都是利用图层来组织和管理地图数据库的. 展开更多
关键词 数系 布尔代数 证明 结合图 充要条件 表示 有限 图层 计算机理论 系统
在线阅读 下载PDF
关于逻辑函数化简方法的研究 被引量:3
15
作者 冯乃勤 孙玉强 +1 位作者 魏淑桃 陈广林 《小型微型计算机系统》 CSCD 北大核心 2003年第1期130-134,共5页
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同... 变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。 展开更多
关键词 数字系统 布尔代数 逻辑函数 卡诺图 公式法
在线阅读 下载PDF
基于感知机的故障树最小割集算法 被引量:4
16
作者 苑春苗 陈宝智 李畅 《中国安全科学学报》 CAS CSCD 2006年第5期141-144,共4页
在人工神经元网络原理的基础上,提出了一种计算复杂系统最小割集的方法。该方法根据逻辑“与”和“或”门具有线性可分割的特点,选用了基于M-P模型算法的感知机网络作为计算模型,理论推导出故障树中的逻辑关系与感知机模型中神经网络基... 在人工神经元网络原理的基础上,提出了一种计算复杂系统最小割集的方法。该方法根据逻辑“与”和“或”门具有线性可分割的特点,选用了基于M-P模型算法的感知机网络作为计算模型,理论推导出故障树中的逻辑关系与感知机模型中神经网络基本单元之间的转换规则,利用该规则可将所建故障树转化成便于编程求解的由神经网络基本单元组成的神经网络树。实例计算结果表明,感知机网络模型适合表达故障树中的逻辑关系,神经网络树所反映的基本事件与顶事件之间的映射关系便于编程求解,并可快速准确地获得复杂系统故障树的最小割集。 展开更多
关键词 布尔代数 算法 故障树 神经网络 感知机 最小割集合
在线阅读 下载PDF
5元1阶弹性函数的代数免疫阶 被引量:9
17
作者 杜蛟 温巧燕 +1 位作者 张劼 宋守超 《通信学报》 EI CSCD 北大核心 2011年第4期17-24,共8页
首先给出了最优代数免疫布尔函数弹性阶的一个上界,并且证明了一类5元1阶弹性函数不是最优代数免疫函数,得到了最优代数免疫函数具有一阶弹性时可能的结构形式;在此基础上,给出了布尔函数代数免疫阶和弹性阶随着变元个数变化的一些结果... 首先给出了最优代数免疫布尔函数弹性阶的一个上界,并且证明了一类5元1阶弹性函数不是最优代数免疫函数,得到了最优代数免疫函数具有一阶弹性时可能的结构形式;在此基础上,给出了布尔函数代数免疫阶和弹性阶随着变元个数变化的一些结果,最后给出了一个5元1阶弹性的最优代数免疫布尔函数。 展开更多
关键词 布尔函数 零化子 代数免疫 相关免疫
在线阅读 下载PDF
一种快速构造降次函数的新算法 被引量:5
18
作者 陈杰 胡予濮 韦永壮 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2005年第5期790-793,共4页
基于密码函数分拆的思想提出了一种快速有效构造降次函数g的新算法.该算法通过每次选取不同变量进行分拆,在函数分解﹂k/2」次后建立方程组,最后通过求解此方程组得到满足条件的降次函数g.新算法可以求解代数次数至多为﹂k/2」的降次函... 基于密码函数分拆的思想提出了一种快速有效构造降次函数g的新算法.该算法通过每次选取不同变量进行分拆,在函数分解﹂k/2」次后建立方程组,最后通过求解此方程组得到满足条件的降次函数g.新算法可以求解代数次数至多为﹂k/2」的降次函数g,使得函数f*g的代数次数至多为「k/2﹁.该算法计算复杂度为O(2k/2)w+2,在k较大时,小于已有算法的计算复杂度O((2k-1)w).结果表明,在很低的计算复杂度下,能快速构造出降次函数g. 展开更多
关键词 代数攻击 计算复杂度 布尔函数 代数次数
在线阅读 下载PDF
一种实现Reed-Muller展开系数与谱系数相互转换的有效算法及其图形方法 被引量:3
19
作者 杭国强 吴训威 《计算机学报》 EI CSCD 北大核心 2003年第10期1350-1354,共5页
通过引入 p bj系数 ,将模 2运算中“1”的个数信息包含其中 ,提出了一种实现Reed Muller展开系数与谱系数之间直接相互转换的有效算法 .在此基础上 ,结合bj系数图与谱系数图的特点 ,建立了实现bj系数图与谱系数图相互转换的规则及步骤 ... 通过引入 p bj系数 ,将模 2运算中“1”的个数信息包含其中 ,提出了一种实现Reed Muller展开系数与谱系数之间直接相互转换的有效算法 .在此基础上 ,结合bj系数图与谱系数图的特点 ,建立了实现bj系数图与谱系数图相互转换的规则及步骤 .在变量数较少时 ,图形转换方法具有直观、便捷等特点 .最后以函数对称性的检测为例讨论了它的应用 .Reed Muller展开系数与谱系数之间直接相互转换算法的建立为进一步研究两种展开形式之间的关系提供了有效的途径 ,同时也给两类系数的计算以及为一些数字逻辑问题的解决提供了新的方法 . 展开更多
关键词 与门电路 或门电路 与非门电路 非门电路 电路设计 Reed-Muller展开系数 谱系数 算法 图形方法 数字逻辑
在线阅读 下载PDF
偶变元MAI旋转对称布尔函数 被引量:5
20
作者 董德帅 李超 +1 位作者 屈龙江 付绍静 《国防科技大学学报》 EI CAS CSCD 北大核心 2012年第4期85-89,共5页
代数免疫度是布尔函数的一个重要密码学指标。给出了具有最大代数免疫度的偶数元旋转对称布尔函数的两种构造方法。进一步地,研究了特殊情形时所构造的旋转对称布尔函数的非线性度,当n≥18时,构造3得到的MAI旋转对称布尔函数的非线性度... 代数免疫度是布尔函数的一个重要密码学指标。给出了具有最大代数免疫度的偶数元旋转对称布尔函数的两种构造方法。进一步地,研究了特殊情形时所构造的旋转对称布尔函数的非线性度,当n≥18时,构造3得到的MAI旋转对称布尔函数的非线性度优于已知构造的偶数元MAI旋转对称布尔函数的非线性度。 展开更多
关键词 布尔函数 旋转对称对布尔函数 代数免疫度 非线性度
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部