Virial定理的证明及应用

利用平均值公式证明了量子力学中的Ｖｉｒｉａｌ定理,并通过实例说明了该定理在量子力学等学科中的应用。     

算法复杂性函数等价类A[F]中的分解性定理

证明了算法复杂性函数渐近优超等价类数学结构Ａ［Ｆ］中的分解性定理。对任意非免费算法复杂性函数类［ｆ］∈Ａ［Ｆ］及正整数ｎ,存在类［ｇ１］,［ｇ２］,…,［ｇｎ］∈Ａ［Ｆ］满足［ｇｉ］〈［ｆ］（ｉ＝１,２,…,ｎ）且［ｆ］＝Ｖｉ＝１＾ｎ［ｇｉ］。     

由L.逐项积分定理所诱发的思考

本文将Lebesgue积分理论中的非负可测函数项级数逐项积分定理,推到一类特殊的一般可测函数项级数上。     

广义变换图G^＋∞（R,S）的边连通度

记Ａ＋∞（Ｒ,Ｓ）为具有行和向量Ｒ及列和向量Ｓ的所有ｍ×ｎ阶非负整数矩阵的集合．广义变换图Ｇ＋∞（Ｒ,Ｓ）的顶点定义为Ａ＋∞（Ｒ,Ｓ）中的矩阵,两个顶点（矩阵）相邻当且仅当它们可通过一次变换相互得到．并证明Ｇ＋∞（Ｒ,Ｓ）的边连通度等于其顶点的最小度δ（Ｇ＋∞（Ｒ,Ｓ））．     

广义自旋变相过程的最优耦合及其保序性

将最优耦合方法应用到广义自旋变相过程,证明了其最优耦合的存在性,并给出一类特殊情形的显示表达式,还讨论了其保序性。     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题     

关于亚纯函数的导函数的唯一性

得到了关于亚纯函数的导函数唯一性的ＩＭ四值定理。     

基于阻尼最小二乘法的鲁棒自校正预测控制器

本文将广义预测控制器（GPC）与阻尼最小二乘法（DLS）相结合,构成一种鲁棒自校正预测控制器．仿真结果表明,这种算法比基于通常的递推最小二乘法（RLS）的自校正预测算法有更强的鲁棒性．     

广义模糊度量空间中映象的不动点定理

广义模糊度量空间中映象的不动点定理陈琼（数学系）引入一类广义ｆｕｚｙ度量空间,其ｆｕｚｚｙ度量是一个满足一定条件的模糊数,刻画的是两个模糊点之间的距离．还研究了广义ｆｕｚｚｙ度量空间中映象不动点的存在性,得到了一些不动模糊点定理．１基本概念和引理称映...     

电站锅炉故障诊断系统的广义故障树知识表示方法

故障诊断知识表示是知识处理中最基本的一个问题,其目的在于把领域诊断专家的知识以一定的表达范式表示出来。针对电站锅炉的故障诊断问题,提出了面向对象基于框架、规则、模型与过程集成的广义故障树知识表示方法。它是在故障树的基础上,以诊断对象为中心,应用面向对象技术将多种单一的知识表示方法集成一种混合的表示形式,并给出电站锅炉系统广义故障树诊断对象描述实例。这种知识表示方法具有简洁、灵活、透明,且易于诊断推理的特点。