关于一类BCI-代数及其伴随半群的性质

研究了一类特殊ＢＣＩ－代数Ｘ＝Ｐ（Ｘ）∨ＳＰ（Ｘ）及其伴随半群,讨论了它的一些性质,得出Ｍ（Ｘ）＝Ｍ（Ｐ（Ｘ））∨Ｍ（ＳＰ（Ｘ））．证明了Ｓ是Ｍ（Ｘ）的真理想的充要条件是Ｓ为Ｍ（ＳＰ（Ｘ））的真理想;Ｍ（Ｘ）是剩余半群的充要条件为Ｍ（Ｐ（Ｘ））是剩余半群．当Ｍ（Ｘ）是剩余半群时,每一个ＢＣＩ－代数Ｘ＝Ｐ（Ｘ）∨ＳＰ（Ｘ）均可嵌入到一个ＢＣＩ－代数Ｘ＊＝Ｐ（Ｘ＊）∨ＳＰ（Ｘ＊）中,且Ｘ是Ｘ＊的子代数     

独立集上最小最大比值和最小极差比值问题的算法

定义在集Ｅ的子集Ｘ上的两个实函数的比值的极大、极小值分别记为Ｍ（Ｘ）和ｍ（Ｘ），极差△（Ｘ）＝Ｍ（Ｘ）－ｍ（Ｘ）。本文给出在秩为ｒ的独立系统（Ｅ，Ｉ）（ＩＰ（Ｅ））中求ｍａｘ｛ｍ（Ｘ）｜Ｘ∈Ｉ｜，｜Ｘ｜＝ｒ｝和ｍｉｎ｛△（Ｘ）｜Ｘ∈Ｉ｜，｜Ｘ｜＝ｒ｝的有效算法及其证明。     

多项式的最大公因式的矩阵求法

多项式的最大公因式的矩阵求法马巧云（数学系）１多项式的最大公因式的概念及性质设人Ｘ），ｇ（Ｘ）ＥＦ（工），如果Ｊ（工）是人工），ｇ（工）的一个公园式，且对于人工），ｇ（Ｉ）的任一公因式ｈ（Ｘ），都有ｈ（。）／ｄ（Ｘ），则称ｄ（Ｘ）为人Ｘ），ｇ（Ｘ）的...     

BCI－代数p－半单部分的若干性质

给出了ＢＣＩ－代数Ｘ的ｐ－半单部分ＳＰ（Ｘ）作成理想的几个充要条件．即ＳＰ（Ｘ）是Ｘ的理想当且仅当如下条件之一成立：ａ∈ＳＰ（Ｘ），右乘映射ａｒ是单射；ａ∈ＳＰ（Ｘ），ａｒ在Ｐ（Ｘ）上的限制是单射；Ｘ是Ｐ（Ｘ）与ＳＰ（Ｘ）的直积     

BCI—代数和p—半单部分的若干性质

给出了ＢＣＩ－代数Ｘ的ｐ－半单部分ＳＰ（Ｘ）作成理想的几个充要条件，即ＳＰ（Ｘ）是Ｘ的理想当且仅当如下条件之一成立：Ａ↑α∈ＳＰ（Ｘ），右乘映射αｒ是单射；Ａ↑α∈ＳＰ（Ｘ），αｒ在Ｐ（Ｘ）上的限制是单射；Ｘ是Ｐ（Ｘ）与ＳＰ（Ｘ）的直积。     

Cycles Through Many Vertices of Given Subsets in 1-Tough Graphs

设Ｇ是ｎ阶１－坚韧图，Ｘ是Ｇ的顶点子集合，定义α（Ｘ）＝ｍａｘ｛｜Ｓ｜｜Ｓ是诱导子图Ｇ［Ｘ］中的顶点独立集｝，σｋ（Ｘ）＝ｍｉｎ｛ｋｉ＝１ｄ（ｘｉ）｜｛ｘ１，ｘ２，…，ｘｋ｝是独立集｝和ｃ（Ｘ）＝ｍａｘ｛｜Ｖ（Ｃ）∩Ｘ｜｜Ｃ是Ｇ中的圈｝。我们得到如下主要结果：设Ｇ是ｎ阶１－坚韧图，并且σ３（Ｘ）≥ｎ，则ｃ（Ｘ）≥ｍｉｎ｛｜Ｘ｜，｜Ｘ｜＋δ（Ｘ）－α（Ｘ）＋１｜，并且这下界是最好的，这里δ（Ｘ）是不小于１３σ３（Ｘ）的最小正整数．     

诣零BCI代数的构造

证明了一个分支Ａ（ｅ）一旦有一个元素属于Ｎ（Ｘ）＝ＵＡ（ｅ）或Ｎ（Ｘ）＝ＵＡ（ｅ）那么这个分支Ａ（ｅ）以及它的相伴分支Ａ（０＊ｅ）都将整个地被包含于Ｎ（Ｘ）或Ｎ（Ｘ）从而Ｎ，（Ｘ）和Ｎ（Ｘ）完全的Ｎ（Ｅ）＝Ｅｋ＝和Ｎ（Ｅ）＝Ｅｉ所决定。     

1坚韧图中过给定点子集的圈

设Ｇ是阶１－坚韧图，Ｘ是Ｇ的顶点子集合，定义（Ｘ）＝ｍａｘ｛│Ｓ││Ｓ是秀导子图Ｇ［Ｘ］中的顶点独立集｝，σｋ（Ｘ）－ｍｉｎ｛Σ＾ｋｉ＝１（１，２，…ｋ｝是独立集｝和ｃ（Ｘ）＝ｍａｘ｛│Ｖ（Ｃ）∩Ｘ││Ｃ是Ｇ中的圈｝。我们得到如下主要结果：设Ｇ是阶１－坚韧图，并且σ３（Ｘ）≥，则ｃ（Ｘ）≥ｍｉｎ｛│Ｘ│，│Ｘ│＋δ＾－（Ｘ）－α（Ｘ）＋１│，并且这下界是最好的，这时δ（Ｘ）是不小于     

X-最长圈的下界估计

设Ｇ是连通图,Ｘ＝Ｖ（Ｇ）,Ｇ〔Ｘ〕是Ｇ的Ｘ生成子图,记σｋ（Ｘ）＝ｍｉｎ｛Σｉ＝１ ｋ ｄ（Ｖｉ）;｛ｖ１,ｖ２,…,ｖｋ｝是Ｇ〔Ｘ〕的顶点独立集｝,得到如下结果,对于ｎ阶的１－坚韧图（ｎ≥３）,Ｘ＝Ｖ（Ｇ）,且σ３（Ｘ）≥ｎ＋ｒ≥ｎ,３│Ｘ│－２ｎ≥８ｔ－６ｒ－１７,则存在一个圈Ｃ满足│Ｃ（Ｘ）│≥｛Ｃ（Ｘ）│≥｛│Ｘ│,│Ｎ（Ｉｔ）∩Ｖ（Ｃ）│｝,其中Ｉｔ是Ｘ中ｔ个顶点的独立集。     

XYn型分子柔度通用线性关系式

根据分子柔度和规则，分别导出了ＸＹ＿３（Ｄ＿（３ｈ））、ＸＹ＿４（Ｄ＿（４ｈ））、ＸＹ＿４（Ｔ＿ｄ）、ＸＹ＿５（Ｄ＿（３ｈ））、ＸＹ＿５（Ｃ＿（４ｖ））和ＸＹ＿６（Ｏ＿ｈ）型分子柔度的通用线性关系式，并对关系式的正确性和用途作了讨论。     

一些在亚贝尔群上与多项式相联系的函数方程(Ⅰ)

在亚贝尔群上得到函数方程f_3(x_1+x_2+x_3)-[f_(21)(x_1+x_2)+f_(22)(x_1+x_2)+f_(23)(x_2+x_3)]+f_(11)(x_1)+f_(12)(x_2)_f_(13)(x_3)=0和f(x_1+x_2+…+x_n)-sum from i=1 to (n-1)sum from j=2 to n f_(ij)(x_i+x_j)+sum from i=1 to n f_i(x_i)=0的一般解。     

四阶两点常微分方程边值问题解的存在性

讨论一类四阶两点常微分方程边值问题x(4)=f(t,x,x′,x″,x),边界条件的解的存在性,并给出相应的结论。其中边界条件如下:x(0)=A,x(1)=B,x″(0)=,x″(1)=, x(0)=A,x(1)=B,x″(0)=,x(1)=, x(0)=A,x(1)=B,x(0)=,x″(1)=, x(0)=A,x′(1)=B,x″(0)=,x″(1)=, x(0)=A,x′(1)=B,x″(0)=,x(1)=, x(0)=A,x′(1)=B,x(0)=,x″(1)=, x′(0)=A,x(1)=B,x″(0)=,x″(1)=, x′(0)=A,x(1)=B,x″(0)=,x(1)=, x′(0)=A,x(1)=B,x(0)=,x″(1)=。这些结论是在假设f(t,x,y,p,r)在形如［0,1］×Dx×Dy×Dp×I的区域内不变号的条件下给出的,其中Dx、Dy、Dp、I分别为某一区间。     

导数定义公式的一个推广及其应用研究

将导数在某一点的定义f(x0)=lim(h→0)f(x0+h)-f(x0)/h推广为f(x0)=limf[x0+α(x)]-f[x0+β(x)]/α(x)-β(x)(α(x)→0,β(x)→0),从而简化了有关导数定义一类问题的求解.     

一种至少k－2位正确的捕错译码

当ｘ２＋ｘ＋１不是ｇ（ｘ）的因子，ｇ（ｘ）和（ｘ２＋ｘ＋１）ｇ（ｘ）分别是二元线性循环码ｃ（ｘ）和Ｃｓｕｂ（ｘ）的生成多项式时，则Ｃｓｕｂ（ｘ）是ｃ（ｘ）的子码．恰当选用ｃ（ｘ）／Ｃｓｕｂ（ｘ）的４个余式ｃ（ｘ）转换为子码，然后对子码捕错．当错误矢量Ｅ（ｘ）的重量Ｗ［Ｅ（ｘ）］≤ｔ，且有连续ｋ位为零时，就能正确译码．     

确定双曲型方程未知系数的反问题

本文在有界区域上讨论了一雏线性双曲型方程的初边值问题. {p(x)ux)x q(x)u(x,t) r(x)s(t), (x,t) ∈Ωu(x,0) =f1(x), u1(x,0) =f2(x), 0≤ x ≤ lαtu(0,t) β1ux(0,t)= g1 (t), α2u(l,t) β2ux(l,t)= g2(t), 0≤ x ≤ T 其中αi2 βi2≠0,i=1,2,由给定的平行附加条件u(x,t)=f3(x),确定未知函数r(x)的反问题,得到了反问题解的存在性和唯一性.     

积分不等式(Ⅰ)

本文最初欲把Ｂｅｌｍａｎ不等式推广成：已知φ（ｘ）≤Ｃ（ｘ）＋Ｋ１（ｘ）∫ｘａＨ１（ζ）φ（ζ）ｄζ＋Ｋ２（ｘ）∫ｘａＨ２（ζ）φ（ζ）ｄζ（其中：Ｋｉ（ｘ）≥０,Ｈｉ（ｘ）≥０,ｉ＝１,２）,求适合上述不等式的φ（ｘ）的最优上界Ψ（ｘ）（ｘ≥ａ）。但后来证明这个最优上界Ψ（ｘ）是不能用初等方法求出的,只知道Ψ（ｘ）是存在的且适合积分方程：Ψ（ｘ）＝Ｃ（ｘ）＋Ｋ１（ｘ）∫ｘａＨ１（ζ）Ψ（ζ）ｄζ＋Ｋ２（ｘ）∫ｘａＨ２（ζ）Ψ（ζ）ｄζ。把此结论加以全面的推广即得到本文在高维向量空间中的多变量线性积分不等式     

广义凝聚算子的不动点定理

引入了广义凝聚算子的概念，然后讨论了非线性算子方程A(x，x)=x和非线性算子方程组{A(x，x)=x，B(x，x)的迭代求解问题，得到了若干新的不动点定理．     

两类非线性三阶四点边值问题解的存在性

利用Leray-Schauder度理论,得到了非线性三阶微分方程x'=f(t,x,x',x″),t∈[0,1]分别满足下列四点边界条件x(0)=0,x'(0)=αx'(ξ),x'(1)=βx'(η)和x'(0)=αx'(ξ),x(1)=0,x'(1)=βx'(η)的两类边值问题解的存在性,并且作为应用给出了一个例子.     

具有Beddington-DeAngelis功能性反应的三维离散顺环捕食系统的持久性

研究一类具有Beddington—DeAngelis功能性反应的三维顺环捕食系统的持久性问题。首先,建立具有B-D功能性反应的三维顺环捕食系统的半离散化数学模型,具体为{x1（n＋1）=x1（n）exp{[r1（n）-a1（n）x1（n）-b1（n）x2（n）/c1（n）＋d1（n）x2（n）＋x1（n）＋k3（n）＋b3（n）x3（n）/c3（n）d3（n）x1（n）＋x3（n）]} x2（n＋1）=x2（n）exp{[r2（n）-a2（n）x2（n）-b2（n）x3（n）/c2（n）＋d2（n）x3（n）＋x2（n）＋k1（n）＋b1（n）x1（n）/c1（n）d1（n）x2（n）＋x1（n）]}。x3（n＋1）=x3（n）exp{[r3（n）-a3（n）x3（n）-b3（n）x1（n）/c3（n）＋d3（n）x1（n）＋x3（n）＋k2（n）＋b2（n）x2（n）/c2（n）d2（n）x3（n）＋x2（n）]}。然后,利用不等式技巧,得到系统永久持续生存性的一个充分条件,即：假设条件r1^Lc1^L〉b1^UM2,r2^Lc2^L〉b2^UM3,r3^Lc3^L〉b3^UM1成立,则此半离散化三维顺环捕食系统是永久持续生存的,其中M1=max{r1^U＋k3^Ub3^U/a1^L,exp（r1^U-1＋k3^Ub3^U）/a1^L},M2=max{r2^U＋k1^Ub1^U/a2^L,exp（r2^U-1＋k1^Ub1^U）/a2^L},M3=max{r3^U＋k2^Ub2^U/a3^L,exp（r3^U-1＋k2^Ub2^U）/a3^L}均为正常数。所获得结论将连续情形推广到了半离散化模型。     

二维定常的微流边界层解的存在性

证明了二维边界层uδu/δx＋vδu/δy=vδ2u/δy2-dp/dx和δu/δx＋δv/δy=0满足边界条件：内解的存在唯一性,其中：X是适当小的正数;