偏序集拟阵自同构群的特征定理

偏序集拟阵理论是拟阵理论的推广 .文中提出了偏序集拟阵自同构群的概念 。

图的不相似特征定理的证明

指出了HARARY和NORMAN用归纳法证明连通图不相似特征定理的缺陷,并给出了一个完整证明,同时推广到一般图的不相似特征定理.

多元指数型算子一致逼近的特征定理

运用多元分解技巧和插补空间方法研究多元指数型算子的一致逼近。

一非线性最佳逼近特征定理

利用 隔离定理 ,给出了一个非线性最佳逼近特征定理 ,从而把洪勇和黄勇 (1999年 )凸逼近的一个结果完满地推广到非线性逼近的情形 .

关于N元向量值分叉连分式特征定理的证明

在多元向量值分叉连分式的构造中,特征问题的讨论尤为重要,结果已经给出了n元向量值分叉连分式插值的特征猜想,即一个n维插值点集包含N个元素,则建立在该点集上的n元向量值插值连分式将是一个分子为N-1次,分母为2[(N-1)/2]次的向量值有理函数,该文证明了这一猜想。

2-树不相似特征定理的一个证明

2 -树不相似特征定理就是对于任何具有q 类不相似线 ,r 类不相似格 ,s1类恰好具有两条相似线的不相似格 ,s2 类具有三条相似线的不相似格的 2 -树 ,其中s =s1+2s2 ,有q +s- 2r =1.F .Harary利用构造的方法说明了这一定理 ,但并未给出严格证明 ,这里将给出这一定理的一个证明 .

再谈数的整除性特征定理

针对整数论中数的整除特征进行了研究,从理论上解决了任意整数的整除特征问题。

分划扩充命题时态逻辑关于stutter不变性的特征定理

分划扩充命题时态逻辑通过加入分划算子P^(1,2),增强了经典命题时态逻辑的表达能力。本文就该扩充逻辑关于stutter不变性的研究,给出了它的一个关于stutter不变性的特征定理,即具备stutter不变性质的扩充时态逻辑的表达能力和不含○算子(后继Next算子)的分划扩充命题时态逻辑相同。这样在具体的模型检测的实现过程中可以看情况地使用偏序归约技术,进而可以大大地减少模型的状态空间数,使相应的模型检测算法效率得到显著提高,使一些状态个数过大的模型检测成为可能。

线性约束逼近中统一的特征定理

设 f 是线性赋范空间 R 中给定的函数,K 为广义多项式集合 V^n(?)R 中满足某种线性约束条件的多项式所成的子集合。本文研究了 K 对 f 的最佳逼近的特征。我们在较一般的情况下,即对空间 R 的范数,函数 f 的性质,以及 K 所满足的线性约束条件不作任何规定的情况下,获得了一种适用范围很广的特征定理,前人已证明的多种常见的约束逼近特征定理都是本文结果的特例,特别。

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．

周期边界条件Dirac算子的特征展开定理

用留数方法讨论了带周期边界条件的Dirac特征值问题的基本问题.解决了特征值的秩与整函数ω(λ)零点的重数的关系,并使特征值相对应的特征函数具体化,由此得到了一组标准的完备正交函数系,从而证明了向量函数,(x)在c[O,π]和(O,π)的特征展开定理.

探讨先进生产力的根本性质·定理·特征——用图表和数学模型研究

文章通过图表的追溯和延伸,实现了生产力研究定性分析向定量分析的转化,统一了内涵一致的现代生产力、先进生产力和新世纪先进生产力的表述,为探讨先进生产力的相关属性夯实了基础。又利用现代生产力模型的表征功能的探索功能,经过推导、分析,揭示了先进生产力相关属性根本的性质·定理和特征,为别开生面的生产力研究迈出了大胆探索的一步。

自由界面子结构法的移特征值定理

在自由界面子结构法中,过去总是要计算惯性释放附着模态,但是这种计算很麻烦,利用本文证明的移特征值定理可以避开这种计算。

多个连续型随机变量的特征化定理及其应用

文[1]、[2]中曾考虑了二个离散型随机变量的特征化定理。本文我们考虑了多个连续型随机变量的特征化定理并得到了它的一系列重要应用。本文的结果是对[1]、[2]结果的大大推广可以说是从条件分布角度来规划各个相互独立的连续型随机变量的特征的最一般的结果了。

正则余剩余格的特征及其应用

余剩余格理论是研究逻辑代数系统的重要工具,而余剩余格的代数结构本身就具有普遍性和代表性.文中对余剩余格的定义和性质进行研究,给出了余剩余格的特征定理,并且引入正则余剩余格的概念,进而讨论了正则余剩余格的特征定理,同时证明了正则余剩余格与正则剩余格的一致性.最后,基于正则余剩余格的特征定理给出了几类逻辑代数系统的等价刻画.

LF几乎半连续序同态的特征性质

利用分子网和模糊理想的δ-闭包算子、δ-收敛性及S-收敛性等概念给出了LF几乎半连续序同态的一些新的特征定理。讨论了LF 几乎半连续序同态与LF几乎连续序同态、LF半连续序同态、LF 几乎不定序同态、LF 弱不定序同态之间的关系。指出LF 几乎半连续性与LF弱半连续性是等价的。

最佳有理L_p逼近的特征与性质

在函数逼近中 ,用有理函数作为逼近工具要比多项式优越得多 ,特别对一些含有奇点的函数更是如此。而有理逼近的特征与性质是有理逼近研究的主要问题之一。利用 Lebesgue积分的性质证明最佳有理逼近的特征定理 ,并由该定理证明非有理函数的最佳逼近元必是正规的 ,其误差函数至少有 m +n

有限半群周期元和幂等元的特征

幂等元是半群理论中的一个重要概念 ,有限半群一定存在幂等元 ,本文首先给出幂等元的推广 ,引入周期元的概念 ,然后给出一个周期元的特征定理 。

利用哈密顿-凯莱定理求解微分方程组的两种方法

微分方程组在很多实际问题中（尤其是工程技术方面）都有广泛的应用，一些比较复杂的数学模型往往会导出多于一个微分方程的微分方程组，而且通过某些简化的假设和适当的变换，这种方程组又可化为一阶线性微分方程组。