逻辑函数中的约束项与任意项

逻辑函数中的约束项和会意项是两个不同的概念，但就它们对逻辑函数的影响而言，又没什么不同。本文在指出它们的不同基础上，说明在逻辑函数中又不加区别的原因。     

论含约束项卡诺图的降维

本文运用逻辑代数的基本理论,对含约事项的逻辑函数表达式进行变换,导出用降维函数表述的含约束项的逻辑函数表达式,从而得出含约束项的降维卡诺图的填写原则。     

四变量复合项组合险象精确定位

根据逻辑余式的原理，利用k=1状态变化过程对，在二变量组合险象的基础上，运用快速简化计算方法，精确定位四变量输入逻辑函数组合险象204163项，为多输入无组合险象数字电路的设计奠定了强有力的基础。     

逻辑函数的组合项化简法

提出了逻辑函数的组合项化简法,它吸取了卡诺图化简法和列表化简法的优点,是一种全新的逻辑函数化简法,与代数化简法,卡诺图化简法和列化简法相比,显更加直接和简便,所谓组合项,即由几个最小项合并而成的项。     

基于可观测无关项的多级逻辑优化

章在对可观测性无关项相关问题进行研究的基础上，给出了通过计算逻辑网络中门的可观测无关项，得到最大允许函数集，依此来消除网络中冗余门，进行逻辑设计优化的方法；同时对已有算法做了一定改进，以适用大输入和输出变量逻辑网络的优化。     

论约束项取值的任意性

本文论证了约束项可以任意取值,但毫不影响逻辑函数简化结果的正确性。     

蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分，但是在扩展过程中，这两个部分处理的方式极为相似，从而使计算机程序简化，并节省了机器的时间、空间资源。     

带有约束项的多变量的逻辑函数化简的一种方法——兼论步进电机环行分配器的逻辑设计

当逻辑函数的变量比较多时,用卡诺图法来化简就比较麻烦。本文所提出的方法是根据逻辑函数各最小项的公因子中各变量来判断,各变量是否覆盖逻辑函数为0的项,如否该变量就是最简式。细无 1个变量的最简式则用公因子中两个变量“相与”去试验,再看“相与”者是否覆盖逻辑函数为0项,如否,则此“相与”的两个变量即为逻辑函数的最简式。     

用电子计算机辅助简化逻辑函数

本文根据正三角形桁架图形构成原理,提出了编制用计算机辅助多变量逻辑函数简化通用程序的方法。如果根据这种方法编制一个n变量通用程序,它不仅适用于n变量各种逻辑函数,也适用于n变量以下各种逻辑函数。对于变量数超过n的各种逻辑函数,只要它们的标准项的等效十进数最大不超过(2~n-1),这个通用程序也能适用。     

基于可观测无关项的多级逻辑优化

文章在对可观测性无关项相关问题进行研究的基础上,给出了通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化的方法;同时对已有算法做了一定改进,以适用大输入和输出变量逻辑网络的优化。     

逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义，探讨其运算规律，得出几个运算规则公式。根据这些公式，导出了逻辑函数之间的运算性质。     

逻辑函数的三维K图化简

根据Ｋ图化简逻辑函数的方法给出三维Ｋ图及化简二值、三值逻辑函数的方法，使逻辑函数相邻项的邻接关系得以增强，变量数得以增加。     

Fuzzy区间值函数项级数及其一致收敛性

文章在已知Fuzzy函数项级数一致收敛概念的基础上，补充了区间值函数项级数一致收敛的概念和判别方法，给出了一致收敛性的区间值函数项级数的分析性质。     

蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分,但是在扩展过程中,这两个部分处理的方式极为相似,从而使计算机程序简化,并节省了机器的时间、空间资源。     

多输出逻辑函数的一种化简方法

多输出逻辑函数的化简，目前还没有成熟的方法．凭经验决定蕴涵项的取舍，往往不能确定方案是否最简．由于将多个输出电路作为一个整体电路看待，每个单输出函数最简单并不能保证整体方案最简单．若能找出各输出函数间的公共项，即使它不是质蕴涵项，由于公用，也可能得到最简的方案一作者提出了一种规范而又切实可行的化简方法，用此方法最终可解决多输出函数的化简问题．     

函数项级数一致收敛性的判定

对比数项级数和函数项级数，给出了与数项级数收敛性判别法类似的函数项级数一致收敛性判别法，即比式判别法、根式判别法，同时还给出了函数项级数一致收敛性的对数判别法．     

关于Leibniz型函数项级数的一致收敛判别法

本文给Ｌｅｉｂｎｉｚ型函数项级数，并且应用Ｄｉｎｉ定理及Ｄｉｒｉｃｈｌｅｔ定理证明是一致收敛的，它可作为Ｄｉｒｉｃｈｌｅｔ定理的推广，是差别函数项级数一致收敛性的又一行这有效的新方法。     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵，对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合，形成输入积项扩展后的积项形式．对于二级SOP型的多输入多输出逻辑函数，设计了基于积项扩展的多输入多输出集成电路逻辑优化软件，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20000，并通过了Benchmark例题的测试和正确性验证．     

具有非线性阻尼项和源项的波动方程解的爆破

通过能量函数，利用两种不同的方法，研究了含有源项和阻尼项的一类非线性波动方程的初边值问题，以及在某种条件下整体解的不存在性。证明了当问题的初始能量E(0)＜d(d为某正数)时，问题的解必在有限时间内爆破。