检测线性函数与线性变量的表格方法

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

基于图形方法的冗余函数与自反函数检测

冗余函数和自反函数是特殊的布尔函数，本文阐述了冗余函数和自反函数的定义，提出了冗余函数和自反函数的性质，讨论了冗余函数和自反函数的图形检测方法．并用实例说明之．通过计算机编程操作．可以得到用于多变量冗余函数和自反函数检测的快速算法．     

基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．     

检测旋转对称函数的表格方法

讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed—Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法．文中提出的表格方法具有简单、方便和易于计算机编程操作等优点．     

基于dj图检测特殊布尔函数的图形方法

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外,还讨论了求∫（x1～xn）的dj图的改进的图形方法．     

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.     

基于布尔e导数的特殊逻辑函数检测方法

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.     

特殊逻辑函数布尔差分及布尔e-导数的性质研究

布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础.     

基于分解图检测特殊函数的新方法

特殊布尔函数在电路设计中有着独特的优点．本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明．本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义．     

求解非埃尔米特正定方程组的广义LHSS迭代法

基于矩阵的埃尔米特和反埃尔米特分解,李良等给出了一类求解非埃尔米特正定方程组的LHSS迭代法,在系数矩阵的埃尔米特和非埃尔米特之间进行了非对称迭代,在较松弛的约束条件下即可获得收敛结果.本文对该方法做进一步研究,给出了一类求解非埃尔米特正定方程组的广义LHSS迭代方法.数值结果表明,系数矩阵经恰当分解,在处理某些问题时广义LHSS迭代法优于HSS迭代法.     

CI~-+CH_3I反应的溶剂效应机理研究

本研究用集团结构适应性理论探讨了Cl~-+CH_3I反应在十一种质子溶剂和极性非质子溶剂中的溶剂效应机理。实验表明,亲核试剂Cl~-越游离,反应速率就越大。按集团结构适应性理论,一个良好的溶剂应同时具备下述两种集团结构:(1)强负电集团,以便栓住正离子M~+,使Cl~-游离;(2)带有一定量的正电荷的正电集团,而且电荷又较分散,这有助于Cl~-从M~+的束缚中解脱出来,使Cl~-更游离。如DMF和DMSO等极性非质子溶剂就是具有上述两种集团结构的优良溶剂。若溶剂正电集团过强或正电荷高度集中,则正电集团又抑制了Cl~-的进攻能力。因此能与Cl~-形成氢键的质子溶剂是不良溶剂。     

高阶非线性差分方程正解的存在性与渐近性态

研究了一类高阶非线性中立型差分方程正解的存在性和渐近性.利用knaster不动点定理,获得了该类方程存在有界最终正解和渐近趋于零的有界最终正解的充分条件.     

具有比率依赖的食饵-捕食随机模型的分析

研究在随机干扰下的具有比率依赖的HollingⅢ功能反应的食饵-捕食模型。通过运用随机微分方程比较定理和伊藤公式,证明了系统有唯一正解并且是随机最终有界的,也证明了系统在一定的条件下,是平均持久的。除此之外,还得到了系统趋于灭绝的条件。最后通过数值模拟验证了所得理论结果的正确性     

关于丢番图方程X2-(a2+1)Y4=35-12a的讨论

设a是正整数,证明了当a=1时,方程X²-(a²+1)Y⁴=35-12a仅有正整数解(X,Y)=(5,1);当a=2时,该方程仅有正整数解(X,Y)=(4,1)和(56,5);当a=3时,该方程仅有正整数解(X,Y)=(3,1);当a=4时,该方程仅有正整数解(X,Y)=(2,1)和(202,7);当a=5时,该方程仅有1组互素的正整数解(X,Y)=(1,1);当a=6时,该方程无正整数解(X,Y);当a≥7且12a+1为非平方数时,该方程最多有3组互素的正整数解(X,Y);当a≥7且12a+1为平方数时,该方程最多有4组互素的正整数解(X,Y).     

一类带有比率依赖型反应函数的捕食-食饵模型正解的存在性和多重性

讨论了一类带有Crowley-Martin和比率依赖反应函数的扩散捕食-食饵模型.首先利用局部分歧理论考察了系统关于强半平凡解处产生正解的存在性,再运用扰动理论得到了正解的稳定性.最后借助全局分歧理论和不动点指数理论给出了正解多重性的条件.     

电压幅值可达毫伏数量级的小信号峰值检测电路的设计

讨论了一般峰值检测电路的缺陷，提供了检测信号电压幅值可达毫伏数量级的小信号峰值检测的电路，并对其应用给出了例子。在实际工作中往往只需对波形的正向峰值进行检测，故只对正峰值检测电路进行讨论。由于小信号检测存在噪声干扰的问题，最后还对噪声处理进行了讨论。     

含奇性拟线性椭圆型方程的特征值问题

讨论奇性拟线性椭圆型方程的特征值问题,其中,第一特征值对应的特征函数是C1,α(Ω)相关的,而且是正的、单一的、孤立的,且关于非负特征函数是唯一的正特征值。此外,这些性质也被推广到更一般的奇性情况。     

基于正反馈异或/同或门的低延时混合逻辑加法器设计

针对采用传输管逻辑设计的加法器存在阈值损失以及延时过高等问题, 结合正反馈原理, 提出无阈值损失的低延时正反馈混合逻辑加法器设计方案. 该方案首先分析传输管异或门阈值损失机理, 利用正反馈环电平锁定特性, 设计无阈值损失的正反馈异或/同或门; 然后利用有比逻辑特定晶体管的尺寸差, 以减少正反馈异或/同或门输出延时; 最后融合传输管逻辑、传输门逻辑和静态互补CMOS逻辑等的优点, 实现无阈值损失且低延时的混合逻辑加法器. 在TSMC 65nm CMOS工艺下, HSPICE仿真结果表明, 所设计电路与传输门加法器相比延时和功耗延时积分别降低12.75%和10.88%.     

三次正多项式p-不可约的充要条件

通过对所有可能正分解的详细讨论,给出了三次正多项式p-不可约的显式充要条件,该条件为由三次正多项式的系数构成的一个简单不等式.本文使用的主要工具是笛卡尔符号法则的推论和多项式完全判别系统相关结论等.