恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

关于图的第二特征标R2(G)

对任意图G，h(G，x)表示图G的伴随多项式，R2(G)表示图G的第二特征标，本文刻画了R2(G)=-2，-1，0，1，2的全部连通图。     

海拉尔盆地地层水特征与粘土矿物转化和赋存的关系

海拉尔盆地地质条件及其复杂,开发难度大,本文将油藏地球化学中地层水研究与粘土矿物成岩转化研究相结合,指出了地层水特征与空隙中粘土矿物及其他矿物成岩转化和赋存的某种相关性,对储集层地质学研究很有助益,对勘探开发一体化研究提供了该方面重要的科研依据。     

英语科技文体特点试析

科技英语是科学语言,在词汇、句子结构等方面有其独特的一些语言特征.本文从以下几方面进行分析.     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

重特征线性偏微分算子局部可解的一个充分条件

证明了特征重数可变的线性偏微分算子局部存在弱解的一个充分条件。     

HARICH-CHANDRA MODULES OVER LIE SUPERAL GEBRAS

In this paper, we obtain a theorem for the classification of the irreducible Harich-Chandra modules over G, Where G is a basic classical Lie superalgebra of I type. And the list of the classi-ficatication is given for G=A(1,0).     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

关于Herstein定理的逆问题研究

设R是一个环,如果存在n>1使f:x→xn为R的一个环同态,则映射f:R→R称为一个幂自同态。本文将完全刻划出无零因子环的所有幂自同态。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果