基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

基于多数覆盖的二级MPRM函数逻辑优化

利用不相交乘积项之间逻辑"或"和逻辑"异或"可以互换的特性,该文将原逻辑函数转化成由不相交乘积项组成的二级混合极性Reed-Muller(MPRM)函数。然后通过搜索不相交乘积项的多数覆盖和检测乘积项间的位操作结果,实现了二级MPRM函数的优化。另外,该文还提出一种基于逻辑覆盖的功能验证方法也被提出用于验证逻辑函数优化前后逻辑功能的等效性。实验显示,与已发表的方法相比,该文的优化算法在保证优化效果的同时使运算速度获得了明显的改进。     

基于逻辑函数e导数的双逻辑综合

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.     

基于K图的逻辑函数OC展开式在固定极性下的化简

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点.     

基于CRM型三变量通用逻辑门的查表设计

讨论了逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序以及P分类代表函数的接线方案.在此基础上提出了基于CRM型三变量通用逻辑门的查表设计方法,并给出了具体设计实例.     

通用逻辑门的研究与应用

本文简述了通用逻辑门 ULG的引入思想与定义. 作者同意 Hurst 的看法，认为有实用价值的ULG，应是 n=2、3.在综合对 ULG2与ULG3 的最新研究的基础上，作者认为文献（12）中提出的最佳 ULG2有可能被采用于实际电路．因此，较为系统地探讨了它在组合电路设计乃至在 ROM 中的各种应用．此外，本文还把通用逻辑门的概念推广，从而引出 通用逻辑门的概念， 并讨论了最佳 ULG2 在设计时序电路中的应用.     

2-3混值编码与混值计数器

本文分析了三值信号的二值表示和三值电路的二值结构特征,提出了使用二值触发器和三值触发器设计混值计数器的方案。文中基于B²TCD混值编码提出了8421 BCD码加法计数器使用混值逻辑的新设计。     

三值函数在固定极性下的综合及三值重I2L电路

本文用模代数和Kronecker乘积对多值函数的展开进行了讨论.提出了相应于各种极性展开系数的变换算法及它们的最小化程序.最后考虑了用集成注入逻辑(I²L)技术实现三值函数。     

基于RM型三变量通用逻辑门的查表设计

本文讨论了逻辑函数的RM展开与分类，给出了基于逻辑函数RM展开的三变量函数P分类表、接线顺序表以及P分类代表函数的接线方案。在此基础上提出了基于RM型三变量通用逻辑门的查表设计方法，并给出了具体设计实例。     

展开螺旋结构的临界场的研究

本文测量了铁电流晶FCS101在交流电场中展开螺旋结构的结构的临界场与温度、频率的变化关系,在实验中观察滞后现象和重入现象,并且从SmC相系统的自由能出发,推导出了高频临界场的表达式,理论计算值和实验结果符合得较好。