偏序半群中的最小滤子

给出了偏序半群中最小滤子的构造 ,以及几种特殊的偏序半群 ,其中的最小滤子有简单的形式 ,给出了偏序半群上最小半格同余 n与最小正则半格同余 N相等的一个充分必要条件 ,并提出一个问题 ,即 Nm( x) =Nm( x)是否为 n =N的必要条件     

覆叠同伦正则态射的若干性质

在点标道路连通CW空间的同伦范畴中,引进了覆叠同伦正则态射的概念,并证明了笛卡尔积保持履叠同伦正则性,继而得到了smash积也保持覆叠同伦正则性,最后讨论了覆叠同伦正则性保函数空间.     

基于正六边形栅格JPS算法的智能体路径规划

通过构建正六边形栅格地图, 并修改传统跳点搜索(jump point search, JPS)算法的邻居剪枝、强制邻居判断的规则和JPS策略, 提出一种新的正六边形栅格JPS算法, 并且利用该算法解决智能体在环境地图存在障碍物时的路径规划问题。利用Pycharm平台进行仿真研究, 并与传统正方形栅格A^*算法和JPS算法进行路径规划仿真比较, 结果表明正六边形栅格JPS算法可更好地实现路径规划, 所规划出的路径可避免穿越墙角的不安全行为、减少转向次数, 且该算法可减少路径规划时间, 提高了路径规划的质量和效率。     

Fuzzy幂环

自李洪兴1991年提出了幂环这一问题以来,多年来既没有找到非平凡的幂环,也没有证明任一环R上仅存在平凡的幂环,2000年作者证明了幂环的存在性,因而将环上的代数结构向其Fuzzy幂集上提升是有意义的.文章提出了Fuzzy幂环的有关概念,得到一系列相关性质,给出一致Fuzzy幂环和正则Fuzzy幂环的结构.     

122号元胞自动机的演化语言复杂性

研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。     

关于整正则有向图的补图与联图

把补图与联图这两种二元运算应用于正则有向图,发现无向正则图中的一些定理在有向图中亦成立,使定理的应用范围更加宽广,在此基础上进一步探讨了其成为整谱图的条件,从而得到了构造整谱有向图的新方法,可以用来构造新的整谱有向图.     

聚苯乙烯-聚丙烯酸嵌段共聚物胶束在临界温度下的有规聚集

用扫描电子显微镜对聚苯乙烯-b-聚丙烯酸(PS-b-PAA)嵌段共聚物在水中自组装形貌进行了观察。结果表明：外界环境和制样方法能够影响聚合物的自组装和聚集情况。0℃时,PS38-b-PAA210胶束聚集形成纺锤状结构。而在临界条件下,缓慢改变体系冷冻-解冻循环次数,则会得到这些纺锤结构的花状聚集体。认为自组装有序结构及其有序聚集体的形成借助了介质水的多晶结构的形成及其过程中产生的取向力。     

一类基因调控模型的稳定性与Hopf分支分析

利用中心流形和正规型理论研究了一类由常微分方程组来刻画的基因调控模型,得到该系统局部稳定性和出现Hopf分支的一些充分条件,通过数值模拟验证了所得结论的正确性.     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

LF拓扑空间中分离性Ti(i=2,3)的几点注记

王国俊教授在《L-拓扑空间论》一书中研究LF拓扑空间分离性时,T2强调支撑点不一样,T3则强调非零准分明闭集,本文对T2分离性给出了注记,对T3分离性进行了改进。