一类逻辑方程组的解法研究(英文)

为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.

逻辑方程F=G的解集研究及其应用

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F+G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F+G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F+G=0和F-+G-=0的解集分别为S3、S4,则F=G的解集为S3+S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′+S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。

黎曼假设及其充要条件

１８５９年，Ｂ．Ｒｉｅｍａｎｎ猜测Ｚｅｔａ函数ζ（ｓ）的所有非平凡零点位于临界线Ｒｅｓ＝１／２上，通常称之为黎曼假设，这是一个迄今尚未证明的著名教学问题．本文研究黎曼假设的充要条件，并指出验证该条件的困难．

零对称BZ-代数的充要条件

重新证明文[10]中几个重要结论并修正文[10]中的定理1(11)和定理2.在此基础上,利用这些重新证明过的结论及修正过的定理可以按照文[10]中引理3,定理4,定理6,定理7,定理10的证明过程原样证明文[10]中的相应结果.因而在文[10]中,除性质11是结合BZ-代数的等价性质(见文[15]),定理1(11)及定理2需要进行修正外,其余结论及证明过程均成立.

0-1型与非0非1型逻辑方程构成的逻辑方程组的解法

为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。

航天电子设备归零中多余物定位排查的探讨

在航天电子设备归零中,由于多余物存在发现难、定位难、复现难等问题,导致归零存在定位不准确的可能。为避免归零过程中出现多余物定位不准确的现象,结合实践对航天电子设备归零中定位为多余物的必要条件和充分条件进行了探讨,并给出了可能造成定位错误的情形,对多余物归零过程提出了建议。

Zero extension for Poisson's equation

In this paper,we present a necessary and sufficient condition to guarantee that the extended function of the solution for Poisson's equation in a smaller domain by zero extension is still the solution of the corresponding extension problem in a larger domain.We prove the results under the frameworks of classical solutions,strong solutions and weak solutions.Furthermore,we give some observations for the nonlinear pLaplace equation.