弱平坦性和平坦性一致的幺半群

在幺半群中,引入了弱左PSF幺半群的概念,并研究了它的性质,刻画了所有弱平坦S 系是平坦S 系的幺半群.     

生成非Cross簇的最小幺半群

一个幺半群簇是一个在同态像、子幺半群和任意直积运算下封闭的幺半群类.一个有限生成的、有限基的且包含有限多个子簇的幺半群簇称作Cross幺半群簇.证明了5阶幺半群M5生成一个非Cross幺半群簇.通过逐个验证,在同构和反同构意义下,除M5外的所有阶数小于等于5的幺半群都生成Cross幺半群簇.在同构和反同构意义下,M5是生成非Cross幺半群簇的唯一最小幺半群.     

自由幺半群A~*的两类极大自由幺子半群

构造了自由幺半群A 的两类极大自由幺子半群 ,文中同时给出了自由半群A+ 的极大子半群的完全刻划 .     

型A半群的局部化

证明了任一型A半群在其幂等元半格上的局部化存在且在同构意义下唯一，从而将局部化推广到型A半群上，接着证明了该局部化就是它的最大可消幺半群同态像，并由此导出了型A半群的最小可消幺半群同余的一个刻画．     

条件(E′)与均衡平坦性

给出了条件(E)的推广即条件(E′)的等价刻画,并利用条件(E′)和均衡平坦性给出了幂等元幺半群的S-系范畴特征,即证明了若S是幂等元幺半群则所有S-系是均衡平坦的,所有S-系满足条件(E′),所有S-系满足条件(E)是等价的.     

条件(E'''')与均衡平坦性

给出了条件(E)的推广即条件(E')的等价刻画,并利用条件(E')和均衡平坦性给出了幂等元幺半群的S-系范畴特征,即证明了若S是幂等元幺半群则所有S-系是均衡平坦的,所有S-系满足条件(E'),所有S-系满足条件(E)是等价的.     

可消幺半群的格林关系

探讨了可消幺半群上的格林关系,尤其是L关系,研究了可消幺半群S中的正则元群G,并且G是S上的幺正子半群.     

幺半群-矩阵型自动机的自同态幺半群

基于对循环交换自动机的特征幺半群的研究,给出了幺半群-矩阵型自动机的一个刻画,同时讨论了幺半群-矩阵型自动机的输入集和幺半群的生成元集之间的关系,将群-矩阵型自动机的结论推广到幺半群-矩阵型自动机.     

半群X*的一族极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,A=B2∪ E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM-12B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群.利用文[2]的结果证明了对N≥2,幺半群A*也是自由幺半群X*的...     

*-左Ample幺半群的最小*-右可消同余

利用幺半群的*-右可消性,构造出*-左ample幺半群的最小*-右可消同余,改进了型A幺半群的最小右可消同余.     

有限域上向量子集中的陪集及最小陪集覆盖

在有限域上多元非线性方程的解集可以是任意向量集，在该向量集所属的空间上如果找到最小数量的陪集，并覆盖该向量集，那么用这组陪集来线性化该方程成为了可能。文章提出了在多元非线性方程的解集中算出陪集的算法以及最小陪集覆盖的算法，并给出了独立试验的结果。     

群同态个数的刻画

利用群作用的等价类, 将上循环集与群同态进行联系. 通过上循环集对两个有限群之间的同态个数进行刻画, 证明了对任意有限群A,G, 如果A,G的上循环集中元素的个数可被|A|和|G|的最大公因子整除, 则A,G之间的同态个数可被|A|和|G|的最大公因子整除.     

液化气船液罐鞍座温度场的有限元计算

本文采有四边形９节点等参单元有限元法编制了一通用程序,它适用于任何二维“场”问题分析．对任意形状、不同边界条件,它都能较精确地进行处理,具有网格自动生成和编号的功能,能打印出每个节点的温度值,并画出各种鞍座的等温线簇．它的精度远高于常规的三角形单元,在３８６微机上的运行时间在５ｍｉｎ左右,一次最多可计算５３０个点．     

关于（g,f）-3-覆盖图

设G是一个图,用V（G）和E（G）表示顶点集和边集,并设g和f是定义在V（G）上的两个非负整数值函数且g〈f。图G的一个（g,f）-因子是G的一个支撑子图F使对任意的x∈V（G）有g（x）≤dF（x）≤f（x）。如果过图G的任何三条边都有一个（g,f）-因子,则称图G是一个（g,f）-3-覆盖图,本文给出了一个图是（g,f）-3-覆盖图的一个充分条件。     

图Pm×P3(n=11+8k)的点可区别全染色与算法

集合{1,2,…,n}中取4个数字的所有组合,经三角排序后任意相邻2个组合都有3个相同数字.利用此结果和组合性质(n+8k3)-(n3)≡0 (mod 4)构造算法,并证明当n=11+8k(k =0,1,…)和(n-14)/2+2＜m≤(n4)/2+2时积图Pm×P3的点可区别全色数为n.     

一类哈密顿图的控制数的上界

设G=(V,E)是一个简单图,D是V的一个子集,如果集合V-D的任意点都与D中的点相邻,则称D为图G的一个控制集.图G的最小控制集中的点数称为G的控制数.本文对哈密顿图的控制数进行了研究,证明了命题:如果n阶图G是一个最小度为5的哈密顿图,则图G的控制数就不大于5n/14.     

二值图像的自动表述

提出了一种通过对图像中物体的边缘进行描述来表征二值图像的方法 .该方法对二值图像进行边缘提取、周线跟踪、特征点提取、边缘分割及曲线匹配 .经处理后的图像由一系列描述物体边缘的数学方程来表征 ,有利于图像数据压缩及重构 .     

对洪关于幂LCM矩阵的一个猜想的注记

一个含有n个不同正整数的集合S={xt，…，xn}称为是gcd闭的，如果S中任两个整数的最大公因子也在S中，洪绍方在2002年猜想：对于给定的一个正整数t，存在一个仅由t决定的正整数k(t)，使得当n≤k(t)时，定义在任意gcd闲集S={xt，…，xn}上的幂LCM矩阵([xi，xj]^t)是非奇异的；而当n≥k(t) 1，则存在一个gcd闭集S={xt，…，xn}，使得定义在其上的幂LCM矩阵([xi，xj]^t)奇异，洪于1999年证明了k (1)=7，在本文中，作者证明了若t≥2，则有k(t)≥8．     

任意域上一般线性群周期元素的阶

设F是任意一个域,GL(m,F)为F上的一般线性群,SF(m)表示GL(m,F)中周期元素的阶数集.对任意正整数n,GL(m,F)中有阶为n的元素的充分必要条件被证明.进一步,若E/F为域扩张,SF(m)=SE(m)的条件被得到.       

无线网络中一种智能路由算法

一个ad hoc网络是一个多跳无线网络,网络中的节点互相通信而不依赖于预先架设的固定基础设施,这种动态网络的最重要特点是寻找在通常情况下很好执行的路由算法。基于“簇”的算法是最有效的算法,目前,创建和维持“簇”通常是基于启发式方法。MWIS是一个分布式算法用于在一个无线网络拓扑图中确定最大权独立集算法,而划分网络节点为“簇”的问题可以很容易简化为寻找最大权力集问题。基于MWIS,我们提出了寻找一个最大向量权独立集算法MVWIS并且通过MATUB进行了仿真实验。