基于表格方法的冗余函数、自反函数及自双反函数的检测

基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数．讨论了表格法作为检测特殊函数的易用性和可编程性．     

基于矩阵方法的dj展开系数与bj展开系数的转换

讨论了基于异或运算的bj展开系数和基于符合运算的dj展开系数的矩阵转换方法,给出了8种矩阵转换方法．虽然本文的讨论仅限于3变量,但是由于变换矩阵满足递推律容易,将这些方法推广至任意变量数．     

直接控制触发器预置端的 2-3混值计数器设计

木文研究混值计数器设计中触发器直接预置端的应用.文中首先分析了三值触发器预置端的功能，将二值触发器的邻控原理推广到三值触发器中.然后提出了反馈式和邻控式混值计数器的设计.按照此法设计的电路比较简单，具有一定的实用意义.     

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

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

铁电液晶在电场作用下螺旋结构变化的观察

本文从实验和理论上对电场展开铁电液晶螺旋结构的过程进行了全面的观察和研究。实验发现在不同频率下电场展开螺旋结构的过程有着很大的差异。我们在0－120kHz范围内测量了展开过程听弯曲阈值、畸变阈值和临界场;同时根据电场展开时织构的变化将频率范围分成七个频区分别进行了讨论,其中特别研究了所出现的菱形网格图案和λ图案,并以近晶层弯折和扭曲的模型解释了这些图案的形成。     

基于四位全加器的开关函数加权实现

任意开关函数都可表示成某些变量重复的对称函数形式,即开关函数的加权表达式.本文根据开关',`-,CI数的加权表达式,提出了基于四位全加器的加权网络的实现,并在此基础上通过使用数据选择器实现开关函数.     

基于三角形结构计算GRM展开系数的新算法

分析了单变量、两变量和n变量逻辑函数GRM展开系数的递推三角形结构,相应的三角形的左边或右边表示某固定极性下的GRM展开系数.进一步分析表明极性为q的GRM展开系数即为自上向下由各行脚标中含q的项.在此基础上提出了基于三角形结构计算GRM展开系数的新算法.与已有算法相比,本文提出的算法在速度上优于其他算法.     

关于对称函数的性质之补充研究

在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.任意对称函数可表示为     

计算谱系数的改进算法

逻辑函数可以通过如下正交变换从二进制域变换至谱域:R]=[T]·F]式中R]为谱系数列阵,r_i∈{-2~n,-2~n+2,…,0,…,2~n-2,2~n},i=1,2,…,n,…,12…n;[T]为从二进制域到谱域的变换矩阵,T_(ij)∈{-1,+1};F]为函数f(x)的函数值0→1,1→-1经变换后的列阵,f_i∈{-1,-1}.式(1)的逆变换为F]=[r]~(-1)·R]     

CRM分解图的性质及其应用

针对或/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法--CRM分解图,给出了其特点和性质,并作了相应证明.此外,文中还讨论了对CRM分解图进行对称函数检测的方法,并以实例加以说明.本文的讨论揭示了CRM分解图的内在规律,有助于开拓CRM分解图的应用领域,可以用来指导超大规模集成电路的设计和化简,使电路实现较传统设计更简单、更有效.