逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.

逻辑函数的规范XOS和COD展开式

从香农展开定理出发,推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式,并给出了相应的图形表示.

逻辑函数的减-异或、除-符合展开式的最小化方法

本文根据布尔减-异号、除-符合代数系统中的规范展开式,给出了布尔减-异或、除-符合逻辑函数的代数化简法和图形化简法。

低功耗异或同或电路的设计研究

提出了2种传输管实现的新型低功耗异或门结构,UPPL(UnsymmetricalPushPullPassTransistorLogic)结构和CPPL(ComplementaryPushPullPassTransistorLogic)结构,两者均为非互补输入,互补输出,都能够同时产生异或和同或信号,且输出为全摆幅电压。对新结构在0.18μm工艺1.8V电压下进行了hspice仿真,与已有同类电路在速度、功耗和功耗延迟乘积方面进行了比较。UPPL结构和CPPL结构与2003年MohamedElgamel提出的最新设计相比,空负载时,功耗延迟乘积项分别有61.0%和58.4%的降低;扇出为3时,分别有25.3%和45.3%的降低。

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发.

视觉零知识身份认证的研究

零知识证明协议是一种非常强大的密码系统。大部分的零知识身份识别方案的安全性是基于复杂的数学算法,和交互双方大规模的计算,即证明者和示证者。而视觉密码技术是一种特别的不需要了解密码学和相应的复杂的数学计算的密码学。因此提出了一个新的基于视觉密码的零知识身份证明方法,克服了当前零知识身份证明协议依赖计算设备和复杂计算。

逻辑表达式的简化和转换方法的改进

阐述了推广的吸收律、广义还原律和分解定理等以及与-或及与-异或表达式间的转换公式.以示例说明,巧妙地使用这些定理和公式将能更好地利用布尔代数法对逻辑表达式进行简化.

基于布尔异或掩码转算术加法掩码的安全设计

针对布尔异或掩码转算术加法掩码算法需要额外引入随机数的缺点,提出了一种基于数字电路设计的高效转换方法。该方法站在高效电路设计的角度,将布尔异或掩码转换成算术加法掩码,同时保证在数据转换过程中泄露的能量消耗和敏感中间值无依赖关系,有效保护了敏感信息。该电路逻辑结构简单,并在FPGA开发板上进行了实测攻击分析。实验结果表明,该方法具有有效性,拓展了安全防护电路的设计思路。