基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

MAX+(k)中公式改名的多项式时间可判定性

MAX^ (k)是极小不可满足公式的一个子类。作者引入了MAX^ (k)中公式的一种递归构造方法,基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX^ (k)中公式的改名问题在多项式时间内可以判定。     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

近似定理证明中的退化条件

复数域上近似定理证明的方法：首先将一个初等命题转变为多项式的零点问题，然后在一个更大的域上将此理想分解为一些正规分支的交，算法可快速判定例题在忽略一个低维部分的真假，分析了此自算歧的复杂度，对相伴多项式（退化条件）的次数进行估计并与已有结果进行比较。     

命题逻辑判定系统中基本真值矩阵的生成算法

给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法，从而为利用计算机处理命题逻辑的判定问题莫定了核心基础。     

吴方法在命题逻辑中的应用

该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式给出了命题公式的文法定义,通过语法, 语义分析实现了命题公式的代数化.此外,又根据特征列的性质,提出了一种逻辑推论自动生成的方法.     

命题多项式与命题函数的解析化

本文提出了命题多项式，０－１命题多项式的概念，应用它们，实现了命题函数的解析化。     

命题模糊逻辑系统中公式的理论可证度

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.     

限定井眼方向待钻轨道设计的代数法

限定了井眼方向的待钻井眼轨道设计问题需要求解一个7元非线性方程组,通常使用的数值迭代方法有许多固有的缺点,提出了一个新方法──代数法：将原始非线性方程组化简成一个三元多项式方程组,再进一步归结为求一个10次多项式方程全部正实数解问题和一个二元线性代数方程组问题。给出了代数法的计算机实现方法,具有计算速度快、数值稳定性好、存储需求小等特点。代数法具有与解析法相近的良好数学性质,能够对问题是否有解做出事前判断;在问题存在多个解的情况下,能够正确求出全部的解。所使用的数学化简技巧能够推广应用到求解定向井、水平井的井眼轨道设计问题中,有重要的理论价值和应用前景。     

域上多项式函数的一个性质及应用

定义在域ｋ上的代数簇之间的ｋ－态射将ｋ－有理点映为ｋ－有理点,反之一般不真,讨论了其逆在一定条件下成立,并用它研究多元置换多项式中的一个未解决的问题：若Ｆｇ上的多元多项式ｆ是Ｆｑ的某一扩域的置换多项式,ｆ是否一定是Ｆｑ的置换多项式。     

分片代数簇的机械化求解

分片代数曲线、曲面的拼接涉及多元样条函数组的零点问题，给出了分片多项式的初式、升列、求余分工以及特征列概念，应用求代数簇的吴方法，讨论求出相应的特征列及相应的特征的零点，进而给出一定条件下分片代数簇的机械化求解方法。     

一类整数扩环中的素数公式

给出多项式形素数在整数环的一类超积扩环中无限存在的判定方法。     

构造矩阵有理插值函数的方法

熟知的构造矩阵值有理插值函数的方法,是基于矩阵的古典逆或Samelson逆,利用连分式给出的,其算法可行性不易预知。借助构造向量值有理插值的方法,引入多个参数,定义一对多项式:代数多项式和矩阵值多项式,并利用两多项式相等的充分必要条件,通过求解方程组确定参数,并由此给出类似于多项式插值的矩阵值有理插值公式;该公式简单,便于实际应用。     

可满足公式到极小不可满足公式MU(1)的扩张复杂性

可满足合取范式（CNF）公式F到极小不可满足公式MU（1）的扩张是,对给定的CNF公式F,是否存在一个公式G满足条件var（G）包含var（F）并使得F＋G∈MU（1）。Horn公式到MU（1）公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。这里我们将给出一个多项式时间的算法解决这一问题。     

AES的插值攻击方法

由Jakobsen和Knudsen提出的插值攻击, 是对具有简单代数函数作为S盒的分组密码十分有效的一种密码分析方法. 本文分析了AES(Advanced Encryption Standard)算法中的代数表达式, 得出三轮AES加密后的明密文代数表达式具有次数较低(低于255次）的特点. 由于此特点, 通过拉格郎日插值公式, 利用255个函数值可唯一地求出254次多项式的表示, 把插值攻击应用到了低轮AES的密码分析中, 并给出了相应的结论及证明. 利用此攻击方法, 通过选取256对明密文, 即可还原4轮AES的密钥, 利用2048对明密文, 可成功地破译5轮AES密码, 并可把此攻击扩展到6轮的AES密码.     

一种求二元向量有理插值函数的方法

对于二元向量值有理插值的计算,定义一个二元实代数多项式,利用两个多项式相等的充要条件,通过求解线性方程组确定引入的多个参数,并由此给出二元向量值有理插值公式,在相应的向量值有理插值函数存在时,当任意指定一个实二元多项式作为分母时,都可以相应的确定其分子的具体表达式;最后用实例来说明它的有效性。     

严格正则系统同时镇定问题的一个数值解法

本文先运用多项式稳定性的一个充分判据，将严格正则线性系统的同时镇定问题化成一组非线性不等式的求解，然后提出了一种求解非线性不等式组的拟牛顿下山数值算法，并应用该方法求解该组非线性不等式。算例表明本文方法的有效性     

解仿射多项式系统的结式消元法

在仿射变换下给出一种结式消元法的充要条件,并由此给出解仿射多项式系统的变换消元法．利用变换消元法可以把代数簇分解成纯ｄ维的子簇,并把代数簇表示为ｄ＋１维子空间上的超曲面形式和一系列的消元多项式组,且能求出全部孤立解,同时给出了算法及其在多项式因式分解中的应用