经典逻辑系统中公式的真度及公式间伪距离的一种等价定义

给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的.     

难度系数评分法

本文运用概率统计的理论导出难度系数的计算公式 :D (x) =0 .1Φ- 1(x* ) + 0 .5,进而给出以此公式的计分公式 T =aΦ- 1(x* ) + b,此公式可广泛用于各种综合评价的场合     

广义逆矩阵A~-的计算方法及应用

根据广义逆矩阵(减号逆)的定义AA-A=A,给出了求任意矩阵A的一个或全部广义逆矩阵A-的计算方法.当A-为A的全部广义逆矩阵时,得出了矩阵方程(或线性方程组)AX=B的统一通解公式X=A-B.     

Clifford分析中无界域上正则函数的边值问题

在引入修正Cauchy核的基础上,讨论了无界域上正则函数的带共轭值的边值问题：a(t)Φ (t) b(t)Φ (t) c(t)Φ-(t) d(t)Φ=g(t)．首先给出了无界域上正则函数的Plemelj公式,然后利用积分方程方法和压缩不动点原理证明了问题解的存在唯一性．     

区间数互补判断矩阵的一致性及排序方法研究

研究了区间数互补判断矩阵的一致性和排序方法.首先根据区间数模糊互补判断矩阵的一致性定义给出了其一致性等价定义;然后通过定义导出矩阵,给出了完全一致性判别方法和满意一致指标,并根据此指标给出了一种完全一致性的逼近方法和满意一致的调整方法;最后通过对实数互补判断矩阵权重公式的推广给出了区间数互补判断矩阵的一个权重计算公式.并通过算例说明了此方法的有效性.     

可换BR_0-代数的一种简化表示形式

在对可换BR_(0-)代数的定义和性质进行深入研究的基础上,给出了可换BR_(0-)代数的一种新的表示形式.进一步简化了可换BR_(0-)代数的定义,使其在形式上更加突出逻辑代数的特征及其与其它逻辑代数间的联系和区别.为继续揭示可换BR_(0-)代数的特征及其与其它逻辑代数间的关系提供了一个有力依据.     

基于错误逻辑相似变换构建网购用户评价有效集模型

基于错误逻辑相似转化联结词,给出了错误逻辑命题的论域、事物、空间、特征、量值、错误值、规则、错误函数、时间等参数的相似变换矩阵定义.文中给出了形式上为T(C_1)=C_2的相似变换错误矩阵方程模型.针对电子商务网购用户评价的网上抓取数据,定义了从包含若干无效评价的大集合向有效小集合变换的错误矩阵模型.模型是基于错误逻辑理论,从已知转化系数矩阵T,以及初始错误矩阵,向未知目标集合进行相似变换的知识推理探索.     

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。     

有限域上的逻辑函数与其Chrestenson谱的关系

本文首先给出了有限域上逻辑函数的Chrestenson线性谱的新定义(不同于文献[1]所给出的),如同Chrestenson循环谱一样,重新定义的Chrestenson线性谱也是有限域Fq到复数域的映射,且证明了它们之间在实质意义下可以相互线性表出;最后我们还用重新定义的Chrestenson线性谱给出了有限域上逻辑函数的反演公式.     

两类模糊数判断矩阵的转换关系及一致性研究

研究了三角模糊数互反和互补判断矩阵的相互转换和一致性问题.提出了三角模糊数互反判断矩阵完全一致性的定义以及三角模糊数互补判断矩阵加性一致性和乘性一致性的定义,给出了两类模糊数判断矩阵相互转化的公式,论证了转换公式对判断矩阵一致性的保持关系.最后,基于一致性模糊数判断矩阵元素和排序权值的关系,建立了两个方案排序的非线性规划模型.     

基于∨-·运算的Fuzzy矩阵方程的摄动问题

定义基于∨ - .运算的 Fuzzy矩阵 A的同解简化矩阵 ,利用 A的同解简化矩阵 A(1) 给出基于∨ - .运算的 Fuzzy矩阵方程的矩阵解法 ,并研究这类 Fuzzy矩阵方程的摄动问题。     

加权Motzkin序列的Hankel行列式

基于经典的Motzkin路引入了一类新的加权Motzkin路的定义,用这种路给出了一类指数型Riordan矩阵的组合解释,得到了相应的Riordan矩阵第0列元素(加权Motzkin序列)的加法公式.作为应用,得到了一类加权Motzkin序列的Hankel行列式的计算方法.     

三阶复正交矩阵与二阶矩阵代数上的相似变换

设M_2是二阶复矩阵的全体,Φ是M_2上的线性映射.本文建立了三阶复正交矩阵与M_2上的相似变换之间的一一对应关系,并利用这一对应关系证明了Φ保Lie积行列式(谱、边缘谱)的充要条件是存在c∈{±1,±i},二阶可逆矩阵T和二阶矩阵S,使得Φ(A)=cTAT~(-1)+tr(SA)I对所有A∈M_2都成立.     

多值逻辑系统中公式的μ-真度理论

通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.     

相关免疫逻辑函数的特征矩阵及其计数

本文定义了取值于任意抽象集合的逻辑函数的特征矩阵及其相关免疫性,用概率的方法研究了这类最一般的逻辑函数具有相关免疫性时,其特征矩阵的性质,由此给出了逻辑函数相关免疫的等价判别条件,据此给出了这类相关免疫逻辑函数的一种构造方法并对相关免疫逻辑函数的计数进行了研究,得到了一个一般性的下界.     

二元矩阵有理插值函数的构造

一般构造矩阵值有理函数的方法是利用连分式给出的,其算法的可行性不易预知,且计算量大.本文对于二元矩阵值有理插值的计算,通过引入多个参数,定义一对二元多项式:代数多项式和矩阵多项式,利用两多项式相等的充分必要条件通过求解线性方程组确定参数,并由此给出了矩阵值有理插值公式.该公式简单,具有广阔的应用前景.     

2×2矩阵代数上保持斜Lie积数值半径的映射（英文）

w(A)表示有界线性算子A的数值半径.本文完全刻画了2×2复矩阵代数M₂(C)上满足w(AB-BA^*)=w(Φ(A)Φ(B)-Φ(B)Φ(A)^*)对任意A,B∈M2(C)成立的一般映射Φ.     

不完备直觉模糊信息系统属性约简新方法

为了解决不完备直觉模糊(决策)信息系统属性约简问题,首先利用属性值贴近度和阈值λ构建不完备直觉模糊信息系统的广义λ-容差关系,然后利用此广义λ-容差关系来定义不完备直觉模糊(决策)信息系统的广义λ-可辨识矩阵,再后根据广义λ-可辨识矩阵构造不完备直觉模糊(决策)信息系统的广义λ-辨识公式,最后通过所构造的广义λ-辨识公式的极小析取范式可以唯一确定不完备直觉模糊(决策)信息系统所有(相对)约简。通过算例说明所介绍的属性约简方法的科学性和有效性。     

GF(Pn)上的插值理论及其在信息隐藏中的应用

给出了信息隐藏的一种数学描述,得到了GF(Pn)上的Newton插值公式,讨论了Newton插值公式和范德蒙逆矩阵在信息隐藏中的应用,给出了算法和算例.     

随机P矩阵和随机P0矩阵线性互补问题

定义了随机P矩阵和随机P0矩阵,给出了矩阵为随机P矩阵或随机P0矩阵的充要条件.研究了随机线性互补问题(SLCP)的矩阵为随机P矩阵时,期望残差方法(ERM)解集的有界性.得到了期望矩阵为P矩阵时,(ERM)解集非空有界.并且研究离散情形(ERM)与期望值方法(EV)解的关系,给出了(ERM)解唯一的条件.