幺半环上一类有限状态自动机的约简性

对幺半环上确定型有限状态自动机及其约简性进行定义,得出两个状态是否可分的判定方法,证明了幺半环上任意一个有限状态自动机都与一个约简的自动机等价,并给出了一个具体可行的算法,最后举例验证了这一结果.     

下推自动机的半环方法

文章介绍半环代数理论,讨论了下推自动机,在下推自动机概念的基础上给出了其在半环上的定义,特别是下推转换矩阵的引入,使下推自动机的行为和半环代数理论上的等式建立了联系.从而使下推自动的讨论更加简洁.     

一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

半环同态在一些软代数上的作用

主要利用软集理论对半环同态进行刻画.首先,讨论了半环满同态在半环上的软半环、软子半环、软理想上的作用,得到了半环满同态是保软半环、保软子半环和保软理想的重要性质,并给出了一些具体例子.其次,讨论了半环同态在半环上的2个软半环的运算上的作用,得到了一些重要结论.     

概率有限自动机积的覆盖性

提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.     

Euler收敛的Cauchy强收敛探讨

在理论计算机科学中,形式语言的讨论归结为形式幂级数半环上的方程x=ax+b,而半环上极限论是讨论半环上方程的重要工具,特别是当limn→∞an=0时,强收敛性保证了半环上方程x=ax+b有唯一解a*b.因此半环上的强收敛性的讨论具有十分重要的意义.文章在实数半环上利用Cauchy强收敛性证明了Euler收潋性及其强收敛性,简化了传统的对Euler收敛的讨论.     

Zerosumfree半环上半线性空间的基

主要讨论了Zerosumfree半环上半线性空间基的基数问题.首先,介绍了半环上不可约有限分解的概念,然后研究了Zerosumfree半环上n维向量半线性空间中基的基数,并给出了基数为n的一系列等价条件,从而部分回答A.Di Nola等在其论文(Fuzzy Sets and Systems,2007,158:1-22.)中提出的开问题.     

线性有限自动机的输入存贮性及其算法

讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶效的一些算法.     

自动机和形式语言结构的理论研究

利用半群代数理论进一步讨论了自动机和形式语言的理论结构．首先构造了一个简单的有穷自动机的么半群，用代数理论分析了其性质，并推广到非确定性有穷自动机的情况．然后对字母表关于连接运算构成的么半群的性质作了进一步探讨，并给出了二进制串生成的半环，及研究了它的结构理论。     

零和自由半环上可逆矩阵的一些性质

讨论零和自由半环上矩阵可逆的性质.首先给出半环上矩阵可逆的充要条件和可逆矩阵的基本形式,证明了可逆矩阵经过有限次乘方后是一个可逆的对角矩阵,然后证明了可逆矩阵与其转置矩阵的乘积由一些置换矩阵乘以矩阵的转置与矩阵的积来表示,最后讨论了矩阵的双行列式以及矩阵不可逆的充分条件.     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。     

YBCO掺杂效应研究

介绍了YBCO掺杂的基础知识,总结了YBCO各个位置采用典型元素掺杂而导致的超导电性和结构的变化,阐述了掺杂对YBCO的重要影响,并简介了当前YBCO掺杂效应研究中的几个热点问题.     

A_5的一类12阶子群的构造

由于有限群的Lagrange定理的逆不成立,因此,n较大时要确定n次交代群An的所有子群或对An阶数的每一个正因数,确定是否存在这个阶数的子群是较困难的问题.文章通过对5-循环置换各次方幂的计算及其研究,构造出了A5的5个12阶子集,并证明了每一个子集都是A5的12阶子群,最后对A5的部分阶的子群做了总结.     

高频机组基础振动检测分析

为了找出诱发高频机组基础不良振动的原因，从基础计算模型方面对基础激励与响应进行了分析，以两个高频机组基础为动测实例，经模态分析得出钢筋混凝土构架式基础竖向1阶振动与电机产生共振；应用功率谱法对动力机组及基础平台进行动测，得出平台异常响应频率66Hz为水泵工作频率，调整机器的工作频率可避开不良振源影响，达到明显的减振效果。由此而知，动力机器基础出现不良振动时，不可盲目改变结构的动力特性，应在机器不同工况比如：停机、起机及正常转速下，对机器及基础进行动测并对振动信号进行比较分析，以制定出行之有效的减振方法。     

鸡法氏囊病及其防治

报告鸡法氏囊病的流行状况，主要症状，剖检情况及诊断，提出了综合性防治措施。     

圈幂补图的树宽

基于“前沿分支”的观点研究了圈幂补图的树宽，首先确定了它的树宽下界，又给出了达到此下界的标号，从而得到了它的树宽表达式。