代数替换公理与对偶原理

提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理．通过这两个规律，极大地简化和统一了布尔代数中的运算规律和运算公式．在布尔代数中，A的非与A的对偶本质上是一回事．对偶本质上是一种对称的关系．一个代数表达式（这里的表达式是一个广义的概念，它可以是一个变量，一个常量，一个逻辑函数，一个集合表达式等）的对偶，等于该表达式中的每个元素（如变量、常量、运算符、关系符等，对偶算子除外）分别同时取其对偶，并保持原来的运算次序不变（也即原表达式中的对偶算子和括号位置不变）；对于关系表达式而言，原表达式与其对偶表达式必然同时正确或同时错误，这一规律叫做对偶原理．     

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

关于Heyting代数公理系统的一个注记

Ｈｅｙｔｉｎｇ代数是一类重要的代数，很多数学结构都与这一代数有联系。在本文，我们指出，Ｈｅｙｔｉｎｇ代数的公理系统中的一个条件是多余的。     

平面图与对偶原理

该文利用对偶原理创造性地解决了平面图、连通图及对偶图之间的相互关系问题,纠正了长期以来对于平面图及其同构的错误认识,指出平面图必为连通图,平面图本质上是画在同一平面上的顶点、边、面均不相交的连通图。两个平面图的同构指这两个平面图的顶点、边、面之间均有一一对应关系。面是平面图区别于非平面图的本质特征。同构的平面图的对偶图必同构,事实上,平面图的对偶图是唯一的。任意一个平面图都伴有一个隐图,而该隐图实质上是该平面图的对偶图,该隐图可(根据对偶原理)通过D—过程画出。平面图与其对偶图互为对偶。显平面图与其隐对偶图合称为相伴对偶图。     

平面图与对偶原理

该文利用对偶原理创造性地解决了平面图、连通图及对偶图之间的相互关系问题,纠正了长期以来对于平面图及其同构的错误认识,指出平面图必为连通图,平面图本质上是画在同一平面上的顶点、边、面均不相交的连通图.两个平面图的同构指这两个平面图的顶点、边、面之间均有一一对应关系.面是平面图区别于非平面图的本质特征.同构的平面图的对偶图必同构,事实上,平面图的对偶图是唯一的.任意一个平面图都伴有一个隐图,而该隐图实质上是该平面图的对偶图,该隐图可(根据对偶原理)通过 D-过程画出.平面图与其对偶图互为对偶.显平面图与其隐对偶图合称为相伴对偶图.     

对偶原理及其应用

本文讨论了对偶原理在电路和电磁场中的应用。     

ZY3代数的一个公理系统

本文指出ZY3代数的原公理系统是不独立的,并给出ZY3代数的一个新的公理系统。     

对偶原理在组合逻辑电路设计中的应用

本文讨论了对偶原理在组合逻辑电路设计中的应用,这种应用为我们设计电路选择器件又提供了一种方法。     

射影几何的对偶原则

采用代数方法证明了射影几何的时偶原则及二次曲线的对偶定理．     

在仿射平面上建立对偶原则的一种方法

本文主要就仿射平面的特征,介绍在仿射平面上建立对偶原则的一种方法。这种方法的要点是将仿射平面上不平行于ox轴的直线m:x y_0y x_0=0与点M(x_0,y_0)建立对偶对应。然后,根据这样的对应来阐述初等几何中本来不相关的两个仅反映仿射性质的命题,却能够对偶地联系起来。     

原子Boolean格代数的模中有限秩算子的性质

本文对原子 Boolean格代数模中的有限秩算子进行了讨论，得到了一些结论，这些结论是子空间格代数中相应结论的推广 .     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

具有高代数免疫阶布尔函数的构造

在探讨密码学中布尔函数性质的基础上，提出了一个具有高代数免疫阶布尔函数的构造方法，利用这种方法可以构造出一类具有高代数免疫阶的布尔函数，并给出了一个实例。     

论电压跟随器与电流跟随器的对偶性

根据电路理论中的对偶原理，提出用电压和电流跟随器灵活地构成非常有用的电压、电流、跨导和互阻抗四种运算放大器。