布尔函数的c导数及其在组合电路故障检测中的应用 被引量：11

1

作者 王芳 应时彦 肖林荣 《浙江大学学报（理学版）》 CAS CSCD 2014年第2期153-155,共3页

提出了布尔函数c导数的定义和性质,并给出了部分性质的证明.在此基础上,提出了求解"或"搭接及"与"搭接故障测试矢量的2个定理.通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔... 提出了布尔函数c导数的定义和性质,并给出了部分性质的证明.在此基础上,提出了求解"或"搭接及"与"搭接故障测试矢量的2个定理.通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔函数的布尔导数和e导数研究的补充与完善. 展开更多

关键词 e导数 e导数 布尔导数 组合电路故障检测 布尔函数的特殊运算 搭接故障

下载PDF 职称材料

从布尔代数到布尔微积分 被引量：10

2

作者 程代展 赵寅 徐相如 《控制理论与应用》 EI CAS CSCD 北大核心 2011年第10期1513-1523,共11页

布尔函数作为最简单的有限值函数具有特殊的重要性.它在包括信息、控制等许多领域有着广泛的应用.本文综合介绍有关布尔函数的理论基础.包括从布尔代数到布尔微积分的主要理论结果,它们在信息与控制中的一些些要应用,以及其前沿动态与... 布尔函数作为最简单的有限值函数具有特殊的重要性.它在包括信息、控制等许多领域有着广泛的应用.本文综合介绍有关布尔函数的理论基础.包括从布尔代数到布尔微积分的主要理论结果,它们在信息与控制中的一些些要应用,以及其前沿动态与新进展.介绍的一个重点是矩阵半张量积在这些领域的应用. 展开更多

关键词 布尔函数 .布尔代数 布尔导数 布尔积分 矩阵半张量积

下载PDF 职称材料

布尔函数的C偏导数及其在冗余函数检测中的应用 被引量：1

3

作者 花有清 陈海荣 《科技通报》 北大核心 2016年第9期1-4,25,共5页

给出了布尔代数C偏导数的定义和性质,对部分性质作了证明。提出了基于1值最小项表计算C偏导数的表格方法。该方法具有不受变量数限制和易于计算机编程操作等优点。讨论了布尔函数的C偏导数在检测冗余函数中的应用,给出了利用C偏导数检... 给出了布尔代数C偏导数的定义和性质,对部分性质作了证明。提出了基于1值最小项表计算C偏导数的表格方法。该方法具有不受变量数限制和易于计算机编程操作等优点。讨论了布尔函数的C偏导数在检测冗余函数中的应用,给出了利用C偏导数检测冗余函数的方法和实例。 展开更多

关键词 C导数 C偏导数 布尔导数 布尔偏导数 e导数 冗余函数

下载PDF 职称材料

关于布尔函数的布尔导数、e导数和c导数相互关系的研究

4

作者 王芳 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2019年第4期460-465,共6页

基于对布尔函数内部结构和相关性质的进一步揭示,及其应用领域的拓展,深入研究了布尔函数的布尔导数、e导数和c导数的相互关系,讨论了布尔函数的布尔偏导数、e偏导数和c偏导数之间的关系,得到了相关性质并给出了证明。以进一步完善布尔... 基于对布尔函数内部结构和相关性质的进一步揭示,及其应用领域的拓展,深入研究了布尔函数的布尔导数、e导数和c导数的相互关系,讨论了布尔函数的布尔偏导数、e偏导数和c偏导数之间的关系,得到了相关性质并给出了证明。以进一步完善布尔函数的布尔导数、e导数和c导数这3类特殊导数的运算理论。 展开更多

关键词 布尔导数 e导数 c导数 布尔偏导数 e偏导数 c偏导数

下载PDF 职称材料

关于高阶e导数性质之研究 被引量：3

5

作者 邱晓华 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2013年第4期424-427,共4页

e导数在组合电路故障检测、揭示H布尔函数的密码学性质和确保密码学系统安全性中具有重要的作用.首先阐述了布尔函数1阶e导数的定义和性质,在此基础上,提出了布尔函数高阶e导数的概念,参照布尔代数2阶及k阶布尔差分的定义,给出了2阶及k... e导数在组合电路故障检测、揭示H布尔函数的密码学性质和确保密码学系统安全性中具有重要的作用.首先阐述了布尔函数1阶e导数的定义和性质,在此基础上,提出了布尔函数高阶e导数的概念,参照布尔代数2阶及k阶布尔差分的定义,给出了2阶及k阶e导数的定义与性质,并给出了证明.将1阶e导数性质推广至n变量布尔函数任意k阶e导数,推动与完善了关于e导数的研究. 展开更多

关键词 布尔函数 e导数 高阶e导数 特殊运算

下载PDF 职称材料

计算含无关项布尔差分及布尔偏导数的表格算法 被引量：2

6

作者 邵梁 厉晓华 《科技通报》 2019年第3期119-122,共4页

为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项... 为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项来计算布尔差分及布尔偏导数。表格算法与代数方法、图形方法相比,具有快速便捷,适用多变量布尔函数及易于计算机编程等优点。 展开更多

关键词 无关项 布尔函数 布尔差分 布尔偏导数 表格算法

下载PDF 职称材料

基于最小项表计算e导数的方法 被引量：3

7

作者 马汝星 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2013年第5期531-534,共4页

给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.

关键词 布尔函数 表格方法 最小项表 e导数 密码学

下载PDF 职称材料

一次扩散布尔函数的一些密码学性质 被引量：2

8

作者 黄景廉 张椿玲 《通信技术》 2012年第3期43-45,48,共4页

通过将导数和自定义的e-导数结合,作为新的研究工具引入到布尔函数密码学性质研究中来。利用导数和e-导数可将布尔函数内部取值不同特点进行区分的特性,系统地证明了不同重量一次扩散布尔函数相关免疫最高阶数问题,得出了一些用传统研... 通过将导数和自定义的e-导数结合,作为新的研究工具引入到布尔函数密码学性质研究中来。利用导数和e-导数可将布尔函数内部取值不同特点进行区分的特性,系统地证明了不同重量一次扩散布尔函数相关免疫最高阶数问题,得出了一些用传统研究工具,如频谱理论等,不易导出的布尔函数密码学性质。这一结果对提高密码系统抵抗相关攻击的能力,提供了理论依据。 展开更多

关键词 布尔函数 e-导数 导数 扩散性 相关免疫性

原文传递

基于改进分解图计算布尔函数e-导数、c-导数及布尔导数的方法 被引量：1

9

作者 王芳 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2015年第3期298-302,共5页

提出了基于改进分解图(D图)同时计算布尔函数的1阶、2阶e-导数、c-导数及布尔导数的方法,讨论了当布尔函数的变量数为偶数(即n=2k)时,计算k阶及k阶以下全部e-导数、c-导数及布尔导数所需的D图数.与传统方法相比,该方法显著减少了D图数,... 提出了基于改进分解图(D图)同时计算布尔函数的1阶、2阶e-导数、c-导数及布尔导数的方法,讨论了当布尔函数的变量数为偶数(即n=2k)时,计算k阶及k阶以下全部e-导数、c-导数及布尔导数所需的D图数.与传统方法相比,该方法显著减少了D图数,且简单、有效、易于计算机编程操作. 展开更多

关键词 分解图 e-导数 c-导数 布尔导数 特殊运算

下载PDF 职称材料

一类三次Bent函数的二阶非线性度 被引量：2

10

作者 徐媛 崇金凤 卓泽朋 《计算机应用研究》 CSCD 北大核心 2011年第7期2687-2689,2718,共4页

研究了形如yTr(x5)+Tr(x3)的三次Bent函数,通过研究其导数的非线性度的下界,得到了该函数的二阶非线性度的下界,将所得结果与Carlet的结果进行了比较,结果表明,该函数的二阶非线性度大于Carlet给出的下界。

关键词 布尔函数 BENT函数 二阶非线性度 导数

下载PDF 职称材料

基于分解表计算逻辑函数e导数的新方法 被引量：2

11

作者 马汝星 《科技通报》 北大核心 2014年第1期141-144,共4页

通过对逻辑函数分解表的分析,提出了改进的逻辑函数分解表。在此基础上,提出了基于改进的分解表计算逻辑函数一阶、二阶e导数的新方法。与图形方法相比,本文提出的方法具有无需画图、使用方便以及适合计算机编程操作等优点。

关键词 布尔代数 逻辑函数 分解表 e导数

下载PDF 职称材料

E-导数在研究布尔函数的密码学性质中的应用 被引量：1

12

作者 李卫卫 王卓 何亮 《长沙通信职业技术学院学报》 2008年第2期45-48,共4页

为了更好地揭示布尔函数的密码学性质,文章将引入布尔函数的导数这一定义,它能和导数一起全面揭示布尔函数的密码学性质和结构的关系。文章主要对关系密码系统安全性能的平衡布尔函数的相关免疫性以及E-导数的密码学性质进行了研究。

关键词 e-导数 布尔函数 导数

下载PDF 职称材料

单Buck逆变器布尔型滑模控制研究 被引量：1

13

作者 陈江辉 邓红雷 +1 位作者 王健敏 谢运祥 《电机与控制学报》 EI CSCD 北大核心 2011年第7期71-76,共6页

为了提高逆变器滑模控制器的稳态精确度,针对一种由一个双向Buck变换器和桥式换向电路组成的单Buck型逆变器进行类似Lyapunov函数的布尔量滑模控制策略的研究。在其等效电路的状态空间平均法动态模型基础上,建立单Buck型逆变器等效电路... 为了提高逆变器滑模控制器的稳态精确度,针对一种由一个双向Buck变换器和桥式换向电路组成的单Buck型逆变器进行类似Lyapunov函数的布尔量滑模控制策略的研究。在其等效电路的状态空间平均法动态模型基础上,建立单Buck型逆变器等效电路的三阶系统数学模型,构建具有电流环节和积分环节的全状态变量滑模切换函数,在此切换函数基础上给出布尔滑模控制器的分析和设计过程。仿真和实验结果表明:系统稳态终值误差小,输出电压和电流具有强鲁棒性和良好动态性能;布尔滑模控制的实际控制律简单,易于实现;验证了所采用布尔滑模控制策略的正确性。 展开更多

关键词 BUCK逆变器 滑模控制 布尔量 三阶系统 稳态误差 李导数

下载PDF 职称材料

一类三次Bent函数的二阶非线性度 被引量：1

14

作者 卓泽朋 魏仕民 +1 位作者 崇金凤 王慧 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2013年第1期82-86,共5页

研究了一类特殊形式的三次Bent函数,通过研究其导数的非线性度的下界,得到了该函数的二阶非线性度的下界.同时,将所得结果与一些特殊类型函数的二阶非线性度的下界进行了比较,这些特殊类型的函数都具有高的一阶非线性度.研究结果表明,... 研究了一类特殊形式的三次Bent函数,通过研究其导数的非线性度的下界,得到了该函数的二阶非线性度的下界.同时,将所得结果与一些特殊类型函数的二阶非线性度的下界进行了比较,这些特殊类型的函数都具有高的一阶非线性度.研究结果表明,所讨论函数的二阶非线性度大于这些已知函数的二阶非线性度的下界. 展开更多

关键词 布尔函数 BENT函数 二阶非线性度 导数

原文传递

导数、e-导数与非线性度、代数免疫性

15

作者 张志杰 岳立柱 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2017年第9期983-989,共7页

为提高密码系统抵抗线性逼近攻击、差分攻击、相关攻击、代数攻击等众多密码攻击的能力,提高密码系统的安全性,利用布尔函数导数部分和e-导数部分求非线性度中与函数距离最近的线性函数和求函数最低代数次数零化子的方法.分别给出了平衡... 为提高密码系统抵抗线性逼近攻击、差分攻击、相关攻击、代数攻击等众多密码攻击的能力,提高密码系统的安全性,利用布尔函数导数部分和e-导数部分求非线性度中与函数距离最近的线性函数和求函数最低代数次数零化子的方法.分别给出了平衡H布尔函数、Bent函数、重量2n-1+2n-2的H布尔函数的与函数距离最近的线性函数、非线性度,最低代数次数零化子、代数免疫阶等结果,并给出了提高奇数元函数非线性度和代数免疫阶的方法和结果. 展开更多

关键词 密码学 安全性 布尔函数 e-导数 非线性度 代数免疫性

下载PDF 职称材料

关于E-导数的注记

16

作者 徐媛 崇金凤 卓泽朋 《淮北师范大学学报（自然科学版）》 CAS 2011年第2期17-19,共3页

利用E-导数的性质,给出p次扩散的一个充分条件,进而推广已有的相关结论;对近期文献中出现的一个结论进行题设条件的弱化,给出另外一种简单的证明.

关键词 布尔函数 导数 扩散准则 相关免疫

下载PDF 职称材料

减小平衡H布尔函数相关度的算法和相关问题研究 被引量：18

17

作者 何亮 王卓 李卫卫 《通信学报》 EI CSCD 北大核心 2010年第2期93-99,共7页

以布尔函数的导数和e-导数为工具,深入到平衡H布尔函数的内部结构中去分析,明确得出了不存在二阶相关免疫平衡H布尔函数的结论,解决了是否存在二阶相关免疫的平衡H布尔函数这一尚无正确实际结果的问题。从逻辑和理论的合理性上,明确了... 以布尔函数的导数和e-导数为工具,深入到平衡H布尔函数的内部结构中去分析,明确得出了不存在二阶相关免疫平衡H布尔函数的结论,解决了是否存在二阶相关免疫的平衡H布尔函数这一尚无正确实际结果的问题。从逻辑和理论的合理性上,明确了讨论平衡H布尔函数的广义相关免疫性对密码体制安全的必要性,并通过对平衡H布尔函数的广义相关免疫性和相关度的分析,导出了减小平衡H布尔函数相关度并同时提高较小相关度阶数的算法。 展开更多

关键词 H布尔函数 e-导数 相关免疫性 相关度

下载PDF 职称材料

H布尔函数的相关免疫性与重量的关系 被引量：9

18

作者 黄景廉 王卓 《通信学报》 EI CSCD 北大核心 2012年第2期110-118,共9页

将布尔函数的导数和与导数一起便可直接明确刻画布尔函数的重量而定义的e-导数一起作研究工具,深入到布尔函数取值的内部结构中去,讨论了在H布尔函数存在的一个大重量范围内,所有不同重量的H布尔函数的一阶、任意m阶相关免疫函数存在与... 将布尔函数的导数和与导数一起便可直接明确刻画布尔函数的重量而定义的e-导数一起作研究工具,深入到布尔函数取值的内部结构中去,讨论了在H布尔函数存在的一个大重量范围内,所有不同重量的H布尔函数的一阶、任意m阶相关免疫函数存在与否的问题。对存在m阶相关免疫性的H布尔函数,它的相关免疫阶数m与维数n的具体关系,以及m的最大值问题。给出了m阶相关免疫H布尔函数只存在于2种重量的H布尔函数中,其相关免疫阶数m的最大值为n-2,以及其余重量的H布尔函数中不存在二阶以上(包括二阶)相关免疫函数等一系列结果。同时,也给出了一些判断布尔函数相关免疫性的方法。 展开更多

关键词 H布尔函数 e-导数 导数 扩散性 相关免疫阶数 重量 阶数最大值

下载PDF 职称材料

计算布尔E-导数的新算法 被引量：6

19

作者 厉晓华 杭国强 《电路与系统学报》 CSCD 北大核心 2012年第5期1-5,共5页

为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重... 为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重复项来得到。含任意项布尔函数的1值最小项和任意项中相应位取反变换产生重复的1值最小项和新的任意项来计算一阶布尔E-导数。二阶含任意项布尔E-导数通过相应两位取反变换产生重复的1值最小项和新的任意项来计算。该方法用表格模拟了计算布尔E-导数的过程。应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适用求解多变量逻辑函数以及计算机编程。 展开更多

关键词 逻辑函数 布尔E-导数:表格算法 任意项

下载PDF 职称材料

布尔特殊运算c-导数及其在Bent函数研究中的应用 被引量：4

20

作者 马汝星 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2015年第2期157-161,共5页

提出了布尔函数c-导数的定义,给出c-导数的性质,并对部分性质作了证明.讨论了布尔函数c-导数、布尔导数及e-导数之间的关系,以及c-导数在对密码学研究有重要应用价值的Bent函数中的应用.

关键词 布尔特殊运算 c-导数 e-导数 BENT函数 H-布尔函数 密码学性质

下载PDF 职称材料