半环中赋值与序的相容性

在交换半环范畴中,研究赋值与序之间的相容性。通过引进赋值的半截口,这样一个事实被证明:半环的一个赋值具有一个半截口,只要该赋值的值幺半群是一个群。基于此事实,建立了如下主要结果:对于半环S的一个赋值v,v是S的一个实赋值当且仅当v与S的某个序相容。     

软代数的Stone定理

对于每一个正规软代数Ｆ，对应有一个准Ｂｏｏｌｅ环Ｆ．反之，每一个准Ｂｏｏｌｅ环Ｒ，对应有一个正规软代数Ｒ，且有＝Ｆ，＝Ｒ．     

复合随机变量高阶矩的一个积分表达式

<正> 本文给出了求中复合随机变量高阶矩的一个积分表达式,从而简化了计算。如果一个随机变量X,它服从的分布与一个参数λ有关,而λ也是一个随机变量,它服从一个确定的分布,这时我们称随机变量X为一个服从复合分布的复合随机变量。在应用问题中,常常遇到服从复合分布的随机变量     

一类超图的异色数

一个超图Ｈ＝（Ｖ，Ｅ）的一个ｔ着色是从Ｖ到一个ｔ元集的满射，称Ｈ的一个ｔ着色ｆ分离Ｈ的一个条边α∈Ｅ（Ｇ）如果｜ｆ（ａ）｜＝｜α｜。称ｆ为异色的如果ｆ分离Ｈ的至和一条边，否则ｆ为非异色。Ｈ的异色数，记为ｈｃ（Ｈ），是最小的数ｔ使得任一个着色都是异色。在本文中，我们引进一类超图，并确定了它们的异色数。     

有限群的Z-半置换子群

设G是有限群,称Z是G的一个Sylow子群完全集,如果对IGI的每一个素因子p,Z包含G的一个且仅一个Sylow p-子群。G的一个子群H称为在G中Z-半置换的,如果H与Z中每一个阶与｜H｜互素的元素可置换。本文研究群G的Sylow-子群的极大子群的Z-半置性对G的结构的影响,改进了一些新近的结论。     

环的根的若干结果

本文证明了下面主要结果: Ⅰ.设R是一个根,则R是一个强半单根的充分必要条件是满足对任意环A的每一个理想I,I=I+R（A）成立。Ⅱ.设R是一个根,A是任意环,则下面条件等价。（1）?I1,I2?A有I1∩I2=I1∩I2; （2）?I?A,TI是L（A）的凸子格且β（A）是一个下半格,其中TI1∩TI2=TI1∩I     

关于Menger定理的推广的注

本文给出了一个图为Ｍｅｎｇｅｒ型的一个充分必要条件，利用这个条件，我们拓广了已知的Ｍｅｎｇｅｒ型图的类。     

平面哈密顿图的判定

一个图,如果存在一个圈,它通过图的所有顶点,而且每个顶点只通过一次,不能重复,这种图就是哈密顿图,这个圈就叫哈密顿圈。确定一个图是不是哈密顿图是图论中的一个重要问题,然而一直没有很好的判定方法。本文的目的是建立一些确定平面哈密顿图的方法。     

关于拓扑空间分离性的注记

给出了一个Ｔ３ １／２空间的一个等价条件。     

给定离散度的最优策略

、问题考虑每次处理一个点的单因素优选试验,让二表示印,1〕上单峰函数的全体.厂任二时,记x厂为f的峰点,即f(x,)常称一个N次处理的安排方案S为一个策略,它的含义是给出了一个N 2个元素的     

关于Hermite映照的一点注记

设①:C~m×C~m→C~n是一个Hermite映照,9cR~n是一个正则锥.本文给出了Q为口-正定的一个特征刻划,并给出了其应用的例子.     

关于二元解析插值的收敛性

对于一个二元解析函数,讨论了它在一个矩形区域上的二元多项式的Lagrange插值,证明了为使任意选取节点的插值收敛,被插值函数必须解能析延拓到一个足够大的区域.     

不可压缩的Brinkman-Forchheimer方程的回溯两重网格法

本文考虑了不可压缩的Brinkman-Forchheimer方程的回溯两重网格法.该方法需要在粗网格上解一个非线性方程,在细网格上解一个Stokes问题以及在粗网格上解一个线性校正问题.最后给出了格式的能量误差估计,并用数值实验验证了本文算法的有效性及稳定性.     

寻求多项式系统在闭超长方体上的实零点

对于给定的一个n元多项式系统P和Rn中一个闭超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一个实零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。同时给出了另一算法,可用来检验所得的实零点是否属于闭超长方体S。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。     

交换环上M-赋值的分解

研究交换环上M-赋值的分解与合成。通过在序幺半群上引进融洽同余，交换环上M-赋值被分解为一个可消M-赋值及其剩余环的一个核为零的Manis赋值。反之，对于交换环上一个可消M-赋值及其剩余环的一个核为零的Manis赋值，该环的一个M-赋值被合成，使得它能通过所述的分解回复到两个给定的赋值。     

关于算法集的一些特征

本文提出对算法的集合进行研究;论述了“算法集”在构造上是一个有限集,是一个递归集,是一个分立集,归纳了算法的五种结构格式。     

BMOA中泰勒系数为正的函数的特征

本文用较简单的方法证明了Fefferman, C.的一个结果.同时我们还得到了使了BMOA的一个较弱的充分条件.     

有向Cayley图的直径

设Ｇ是一个有限Ａｂｅｌ群，Ｍ是Ｇ的一个二元生成集．Ｇ上的有向Ｃａｙｌｅｙ图Ｄ（Ｃ，Ｍ）是一个以Ｇ为顶点集的有向图，若ｘ，ｙ∈Ｇ，则存在ｘ到ｙ的弧当且仅当ｙ－ｘ∈Ｍ．Ｎ个顶点的所有这种有向Ｃａｙｌｅｙ图的最小直径和平均距离是多少？我们将此问题转化为一个几何问题并由此得到了直径的一个下－２和平均距离的一个下界．这两个界仅当Ｎ＝３ｘ２时可达，这里ｘ是任一自然数．     

三角形上的分片二阶光滑有理插值

给出三角形上一种C2插值格式,插值函数由偏插值函数加权求和而成.偏插值函数对应于每一个顶点：构造三角形的一种分割,在其上定义一个分片5次多项式,只插值该顶点及其相邻两边上的插值条件.对应于每一个顶点有一个权函数,它由重心坐标定义,是一个有理函数.所得的插值函数是一个分片有理函数,只需被插函数在三角形顶点处的直至2阶导数值,利用多项式的Bernstein-Bézier表示,该插值函数易于表达和计算.     

关于全图补图的完美匹配

G是一个简单图,变换图G---是G的全图的补图.证明了对于给定的一个图G,G K1 K2,G---有一个完美匹配的充要条件是V(G) E(G)是偶数.