二次曲面图形的一种新作法

根据二次曲面方程的特征根与其图形主轴之间的关系可化简二次曲面的一般方程为标准方程。从而作出曲面的图形。     

一类简化的时滞半导体激光方程的Hopf分岔

研究一类简化的时滞半导体激光方程的稳定性和Hopf分岔.以时滞量为参数,分析系统线性化方程零解的稳定性,给出系统产生Hopf分岔临界时滞表达式,最后用数值模拟对结论进行验证.     

模糊推理全蕴涵算法及其还原性

模糊推理是模糊控制的逻辑基础,然而通用的模糊推理CRI算法却缺乏严格的逻辑依据,近期问世的模糊推理全蕴涵三I算法有效地改进了CRI算法。本文研究了全蕴涵三I算法的一般计算公式及其还原性问题,并且得到了一些新的算法,也提出了一些新的观点,文献中已有的结果大多数是本文结果的特例。从而为模糊推理提供了一种新方法。     

分形插值函数的矩量计算

介绍了迭代函数系及其分形插值的原理,用反例说明书[2]中关于分形插值函数一阶矩量计算公式是错误的,同时给出了分形插值函数一阶矩量的正确公式.而且将该公式推广到m阶,并用计算机中的Fortran语言对m阶矩量公式进行编程.只需输入迭代函数系的各参数及所需矩量的阶数,就可以得到所需的矩量,从而为矩量的计算提供了方便.     

Ω群上T同余L关系

利用完备Brouwer格L上的无穷V-分配t-模T引入并讨论Ω群上相容L关系概念，然后在其基础上进一步引入并研究Ω群上T同余L关系概念，最后讨论Ω群上T同余L关系与正规Ω-TL子群的关系。     

Ω-TL子群和正规Ω-TL子群

引入Ω-群上Ω-TL子群和正规Ω-TL子群的概念，讨论它们的一些基本性质，给出由L子集生成的Ω-TL子群和正规Ω-TL子群的计算公式，其中T是给定的完备Brouwer格L上的任意一个无穷∨-分配t-模。     

一个带非线性边界条件的强耦合抛物方程组的整体存在性与爆破

本文处理带非线性边界条件 u n=uα, v n=vβ ,(x ,t) ∈ Ω× (0 ,T)的抛物方程组ut =vpΔu ,vt=uqΔv ,(x ,t) ∈Ω× (0 ,T) ,其中Ω RN 为一个有界区域 ,p ,q>0和α ,β≥ 0为常数 .研究了上述问题正解的整体存在性和爆破 ,建立了整体存在和爆破的新标准 .证明了当max{p+β,q+α}≤ 1时正解 (u ,v)整体存在 ,当min{p+β ,q+α}>1且max{α ,β}<1时正解 (u ,v)在有限时刻爆破     

模糊推理三I算法的逻辑基础

在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。     

非等间距序列的灰色模型

在对原始数据序列的一次累加生成时 ,考虑序列的间距 ,提出了对非等间距序列建立 GM( 1,1)模型的基本理论和方法 .通过对算例进行的计算 ,表明本文提出的方法概念明确、计算方便、有较高的拟合和预测精度 .对解决各个领域中广泛存在的非等间距序列的建模拟合和预测问题提供了一种比较好的方法     

量子群Uq(osp(1, 2))的中心

本文讨论了单李超代数osp(1,2)的量子化包络代数Uq(osp(1,2))的中心,利用Uq(osp(1,2))的表示的已知结果,证明了量子群Uq(osp(1,2))的中心的刻画,证明了该量子群的中心是由一个元素生成的多项式代数.