赋值格为非线性序的Kleene-Dienes四值逻辑系统K24

研究赋值格为非线性序,非运算不同于Ｂｏｏｌｅ的补运算,而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４,得到若干结果。特别是,Ｋ＾２４中没有重言式,其准重言式恰与Ｃ２中的重言式一致,即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。     

Entropy,Periodicity, and Graphs with Zero Euler Characteristic

Let G be a graph which contains exactly one simple closed curve. We prove that a continuous map f : G → G has zero topological entropy if and only if there exist at most k ≤ |(Edg(G) End(G) 3)/2] different odd numbers n1,...,nk such that Per(f) is contained in ∪i=1^k ∪j=0^∞ ni2^j, where Edg(G) is the number of edges of G and End(G) is the number of end points of G.     

低功耗互补传输门绝热逻辑和时序电路的设计

研究了采用二相非交叠功率时钟的绝热触发器及时序电路的设计，介绍了采用二相无交叠功率时钟的互补传输门绝热逻辑（CPAL）电路，并分析了其工作原理．该电路利用nMOS管自举原理对负载进行全绝热驱动，从而减小了电路整体功耗，且CPAL能耗几乎与工作频率无关．提出了性能良好的低功耗绝热D、T和JK触发器，并与其他几种绝热触发器进行功耗比较．给出了绝热时序电路的一般设计方法，并作为实例采用应用绝热D触发器设计了十进制计数器．SPICE程序模拟表明：设计的电路具有正确的逻辑功能及低功耗的优点．     

建立模糊诊断矩阵的一种新方法

本文首先提出了一个新的模糊逻辑算子——模糊加权综合算子“#”,进而给出建立模糊诊断矩阵的新方法——网络法 ,并给出了相应的算法     

论四大滴定理论内容整合与教材改革

提出对四大滴定理论进行整合,统一滴定过程观察量为pM′,删简功能相同或者内容相同的重复概念,围绕滴定反应稳定常数K稳定建立逻辑体系,在数学处理模式上取得一致,从而获得基本理论的统一,同时建议吸收计算机等相关学科的成果来简化并强化分析化学中的计算手段;继承并发展经典的分析化学滴定理论。     

含参量蕴涵算子的构造及其性质

从空间几何的角度给出了几类含参量蕴涵算子，它们可以将常见的三种蕴涵算子Lukasiewicz算子、如算子及Godel算子包含其中，此外，还讨论了蕴涵算子的正则性质。     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．