一种算子命题逻辑系统及其T-不变量推理算法

定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。     

一种算子模糊逻辑系统及其Petri网推理算法

定义一种只带模糊文字以及模糊算子的模糊逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理，给出了算子模糊逻辑的Petri网模型：Horn型，进一步讨论了推理算法：T-不变量算法，得到了算法的完备性定理，最后用实例进行了验证。     

LP(X)中MP归结推理

首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.     

一种调整模糊判断矩阵一致性的方法

依据人类判断思维的特性定义了一个模糊判断矩阵顺序一致性的标准,根据模糊一致矩阵的性质研究判断矩阵的导出矩阵,以导出矩阵为依据将初始判断矩阵进行调整,使其最终达到顺序一致性。最后给出一个算例。     

Vandermonde矩阵的一种应用

以Vandermonde矩阵的基本性质、矩阵的特征值与迹之间的关系为理论依据，由矩阵的（理论）特征值生成的Vandermonde矩阵．构造出一种特殊的等幂和矩阵．即幂迹矩阵，在此基础上可给出判定任意n阶实矩阵的互异特征值个数的三个充要条件．以及相应的算法和自定义matlab函数．     

反对称矩阵的一种计算方法

本文讨论反对称矩阵的数值计算问题．指出联立方程求解可以用分块矩阵ＬＤＬ^Ｔ算法．对于反对称阵的辛本征问题论述了辛雅可比算法，辛Ｈｏｕｓｅｈｏｌｄｅｒ变换．分块三对角化等．对最优控制、结构力学、波的传播等，是一种好的算法．     

一种新的互补判断矩阵排序方法

排序方法问题是决策分析中的重要问题,具有广泛的应用价值.面对某一项选拔,快速而有效的将备选项目进行排序进而择优和决策显得尤为重要.但由于备选项在各个方面的相近或相同,很难将其排序进行决策,将这些方面以数据来衡量并组合起来,形成判断矩阵.针对互补判断矩阵的乘性一致性定义和加性一致性定义,尝试提出一个新的函数,并分别建立最优化模型,得到了相应的两个排序公式,并从理论上研究了它们的一些性质,通过仿真实例说明该方法的可行性,简便性.     

一种信息系统划分间的矩阵方法

本语文针对信息系统划分提出了一个新的属性归类的矩阵方法，使得繁琐的Ｕ／Ｃ阵分析统一在一种形式之一 属度概念构造了属性分类转换矩阵，通过转换矩阵直接得到各种划分结果并且给出了两种不同划分间的转换方法。     

格上的T-幂等矩阵

利用完备的分配格L上三角模定义L上的矩阵运算，给出这些运算的一些基本性质，并且讨论L上的T-幂等矩阵。     

求非亏损矩阵特征值的一种数值计算方法

借助相似变换将非亏损矩阵转为Hessenberg矩阵,通过获得确定Hessenberg矩阵特征多项式系数的方法,利用特征值与特征多项式系数间的关系,给出求非亏损矩阵特征值的一种数值算法。     

一种校正模糊判断矩阵一致性的新方法

给出一种校正模糊判断矩阵一致性的新方法。首先 ,给出关于模糊判断矩阵满意一致性的定义及判定方法 ,然后通过构造和分析能够反映完全一致性矩阵和原判断矩阵之间关系的偏差矩阵 ,给出校正模糊判断矩阵一致性的计算步骤 ,最后给出了一个算例。     

层次分析法中判断矩阵一致性修正的新算法

设计了判断矩阵一致性修正的一种新方法,使判断矩阵一致性在每次迭代修正过程中得到最大程度改善,并通过一个非线性规划模型描述每次迭代的过程.同时作者也证明了这种迭代方法具有收敛性,即通过有限次迭代能够达到满意的一致性阈值.最后给出了一个算例,并进行了比较.     

三角模糊数判断矩阵理论及排序方法研究

由于三角模糊数运算的复杂性和特殊性,许多经典判断矩阵的理论并非完全适用于三角模糊数判断矩阵.首先指出目前文献中三角模糊数判断矩阵排序向量研究中存在的问题,并对经典判断矩阵的理论和性质在三角模糊数中是否完全适用进行了证明,然后基于已经证明在三角模糊数判断矩阵所适用的性质,分别建立了最小二乘法的三角模糊数互反互补判断矩阵目标优化模型,通过求解其模型可得到矩阵的权重向量,最后利用已有的三角模糊数排序公式求得决策结果.算例分析验证了该方法的正确性和有效性.     

A Method to Find Weight Matrices Having Symmetric Second-Order Differential Operators with Matrix Leading Coefficient

We develop a method to construct examples of weight matrices of size N×N having symmetric second-order differential operators of the form

A Note on "Rearrangement and Matrix Product Inequalities

ＡＮｏｔｅｏｎ＂ＲｅａｒｒａｎｇｅｍｅｎｔａｎｄＭａｔｒｉｘＰｒｏｄｕｃｔＩｎｅｑｕａｌｉｔｉｅｓ＂ＹａｎｇＺｈｏｎｇｐｅｎｇ（杨忠鹏）（ＤｅｐａｒｔｍｅｎｔＭａｔｈｅｍａｔｉｃｓ，ＪｉｌｉｎＴｅａｃｈｅｒ＇ｓＣｏｌｌｅｇｅ，Ｊｉｌｉｎ，１３２０１１...     

区间数互补判断矩阵的拓扑排序方法

提出了方案之间进行比较时优于与劣于的定义,通过构造与区间数互补判断矩阵相对应的有向图的方法,将互补判断矩阵的排序问题转化为有向图中顶点的拓扑排序问题,将有向图中的顶点按照备选方案的重要性顺序输出,得到的顶点的序列即为备选方案的重要性排序,数值计算实例验证了该方法的有效性与可行性。     

Resolution and the integrality of satisfiability problems

A satisfiability problem can be regarded as a nondisjoint union of set covering problems. We show that if the resolution method of theorem proving is applied to the satisfiability problem, its constraint set defines an integral polytope if and only if the constraint sets of the set covering problems do. In this sense, resolution reduces the integrality question for the satisfiability problem to that for the set covering problem. Partially supported by ONR grant N00014-92-J-1028 and AFOSR grant 91-0287.     

粗信息矩阵的数量特征

利用已给出粗信息矩阵及粗集的有关理论,提出并研究了粗信息矩阵的两个数量特征--粗牲度短阵及粗精度矩阵,给出了一系列性质及定理.