模糊逻辑函数中短语的可消性

设Ｆ＝ａＰ＋ａ＿１Ｐ＿１＋……＋ａ＿ｍＰ＿ｍ是非冗余析取范式，本文获得了当ａ＞０．５时，ａＰ可消当且仅当ａＰ是冗余项，当ａ≤０．５时，给出了ａＰ可消的一个判别准则，然后归纳出短语可消性的判定法则。     

具常数存放的非线性功能反应捕食模型的定性分析

研究一类食饵具常数存放且功能反应函数为次线性函数的食饵-捕食者模型,获得了一些平衡点全局渐近稳定,极限环存在惟一的充分条件.利用数值仿真检验了我们的结论.     

不等式约束优化问题的一个势函数

基于Carroll(1961)建立的罚函数，本文给出了不等式约束优化问题的一个势函数，并且讨论了该函数的性质．最后证明了在此基础上建立的对偶算法具有Q-线性收敛性．     

多方过程几种定义说法等效性的证明

多方过程，又名多变过程，在热力工程中有重要的实用价值．在普通物理热学教材中对于多方过程的讲解，一般是不加推导直接利用理想气体的绝热过程得出多方过程方程，有关多方过程的定义说     

脉冲时滞抛物型偏微分方程组解的振动性

研究一类脉冲时滞抛物型偏微分方程组解的振动性,利用一阶脉冲时滞微分不等式获得了该类方程组在两类不同边值条件下所有解振动的若干充分条件.所得结果充分反映了脉冲和时滞在振动中的影响作用.     

正定矩阵标准型的复合矩阵的一般形式

实对称正定矩阵的复合矩阵正定性的研究已有结论,但对于一般意义下的正定矩阵的复合矩阵是否仍然是正定的研究需要利用一般的正定矩阵的标准形的复合矩阵进行讨论,给出了一般公式及具体算法,为讨论其复合矩阵的正定性提供了基础条件.     

局部可分度量空间闭s映象的注记

该文讨论局部可分度量空间闭s映象的分解定理, 证明了正则的Fréchet空间是局部可分度量空间的闭s映象当且仅当满足如下条件: 具有点可数的cs*网, 第一可数的闭子空间是局部可分的, 且Lindelof的闭子空间是可分的.     

集值优化问题强有效解的Kuhn Tucker最优性条件

在局部凸空间中考虑集值优化问题（VP）在强有效解意义下的Kuhn-Tucker最优性条件．在近似锥．次类凸假设下利用择一性定理得到了（VP）取得强有效解的必要条件，利用基泛函的性质给出了（VP）取得强有效解的充分条件，最后给出了一种与（VP）等价的无约束规划。