(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。     

Hermite正定矩阵生成序列的敛散性

给出了Hermite 正定矩阵生成序列的性质和敛散性的等价命题。     

(～P(x),(∪.),(∩.),-)逻辑的语义问题

本文得出了在(～P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(～P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(～P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.     

用积分因子法解二阶线性常微方程尝析

读文,思方法之巧,关键是以同乘两边后．得到一个恰当方程,因为此时方程左边恰是关于x的全导数,恰是的积分因子．那么,二阶线性常微方程是否可以类似解决呢？首先,让我们从恰当方程开始讨论．为方便我们假定以下讨论中所涉及函数的定义域均为凸区域．若左边是某函数关于x的全导数,称该方程是恰当方程．同一方程两边同乘产后成一恰当方程,叫原方程的积分因子．可见定理1是恰当方程的充要条件是：．证明充分性显然．必要性：若是恰当方程,则使得由①,F是y’的一次函数,设,三一千,联系②式知,凡（x,y）是y的一次函数．设几（x,…     

由某些函数构造的状态变权

研究状态变权的构造问题,给出一种由多元函数和已知状态变权构造新状态变权和三种由多元函数直接构造状态变权的方法。特别地,证明了文[5]由状态均值构造状态变权的方法都可看作是函数构造状态变权的特例,并进一步给出一种基于几何均值的状态变权构造方法。     

与积分有关的一类函数极限的再探讨

用马克劳林公式探讨带有定积分的函数极限     

伴随对及其构造

先讨论伴随对定义及其等价条件,给出伴随对存在的一个充分条件;其次讨论40个模糊蕴涵算子和40个模糊圈乘算子的性质,并给出由模糊蕴涵算子构造模糊圈乘算子的方法;最后讨论40个算子对构成伴随对的情况.     

区间值晕集与区间值模糊集

讨论四种形式区间值晕集的性质,并利用晕集对区间值模糊集的隶属函数与运算进行重新刻画。     

属性层次模型AHM在质量评估中的应用

一种新的无结构决策方法—属性层次模型AHM.与Saaty提出的层次分析法AHP是不同的.AHM既不需要计算特征向量,也不需要进行一致性检验,运算量小,科学性强.通过对一个质量评估问题的分析,说明属性层次模型AHM是简便易行、行之有效的决策方法.     

基于极小扩展原理的表现外延

给出因素空间中基于极小扩展原理的外延与表现外延,并研究表现外延的投影与柱体扩张的若干性质.