有限自动机的半环方法

文章利用半环方法来讨论有限自动机.首先,利用线性代数基础给出半环上有限自动机的概念;然后,证明了半环上的有限自动机与不确定的有限状态自动机识别语言的一致性.从数学的角度看该方法使得有限自动机的讨论更加简洁.     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

有限自动机的积可逆性讨论

主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论．     

有限自动机正则化方法研究

有限自动机正则化是编译中的重要技术,文章针对现有有限自动机正则化方法的不足,分析了有限自动机正则化的本质,提出了一个新的有限自动机正则化方法。这个新的方法具有通用的特点。     

设备自动巡检逻辑的层级有限自动机建模与实现

为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示.给出了HFA向软件实现转化的基本框架.这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证.     

有限自动机化合的一些结果

主要讨论了有限自动机的化合与化合前两个有限自动机的弱可逆性,严格延迟步数,弱逆以及线性的一些关系．     

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

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

Fuzzy有限自动机语言的运算封闭性

作者已对Fuzzy3型文法与Fuzzy有限态自动机的关系作了详细的研究,本文将在此基础上对Fuzzy有限自动机语言的性质作进一步讨论.证明了Fuzzy有限自动机语言对并、连接(乘积)及闭包运算具有封闭性.     

房间内人群疏散过程的元胞自动机研究

利用偏向随机行走格子气模型中方向选择概率的计算方法,以及元胞自动机模型中的碰撞规则,建立元胞自动机行人流模型,并对房间内的逃生行人流进行了模拟和研究.结果得出了出口宽度与逃生时间的标度关系:tc∝d-0.616±0.02.     

有限元编程与C语言

介绍如何用Ｃ组织结构化的数据类型编写有限元分析程序，探讨在有限元建模过程中，如何生成、删除、插入单元及节点的链表，如何使用存储的动态分配，最后对Ｃ和ＦＯＲＴＲＡＮ作了比较     

序列空间中的有限维分解性质

本文讨论可分Ｂａｎａｃｈ空间中的有限分解性质（ｆ、ｄ、ｄ、ｐ），并证明了：如果Ｘ具有ｆ、ｄ、ｄ、ｐ，则序列空间ｌｐ（Ｘ）（１≤ｐ〈∞）、ｃｏ（Ｘ）及Ｃｅｘｐ（Ｘ）（１〉ｐ〈∞）也具有ｆ、ｄ、ｄ、ｐ。     

奇异强子物质中的核子体积效应

用相对论平均场方法研究了核子体积效应对奇异强子物质的影响,结果发现考虑核子的有限体积后,通过反应ΛΛΞＮ压低了Ξ超子的产生,但是在奇异粒子丰度｜Ｓ｜／Ａ较大时,这种效应不改变奇异强子物质中包含的Ξ超子成分．     

热粘弹有限元

给出了热粘弹有限元方法的一般列式,它基于作者在文[17]中建立的变温下一般热粘弹性材料的本构方程。对记忆积分进行了简化,这种简化不涉及材料的膨胀松弛时间和剪切松弛时间。它适用于各种热粘弹性材料在变温下的有限元计算。     

有限离散函数导数的一个几何表现

进一步研究了有限离散函数导数的几何性质,初步探讨了线性和非线性有限离散函数导数在几何变换下的差异。利用这种差异描述了湍流的平截面的运动情形。     

面向对象数据库语言OL-4的设计

介绍了面向对象数据库系统Daemon4／1的语言系统OL-4的设计和主要特色。OL-4是具有对象库查询和管理的嵌入LISP的面向对象程序设计语言．其持色包括对象的基本模型、继承模式、语言的基本设施以及和库结合后的新机制。OL-4是一种较为完善和功能强大的程序设计语言。     

极小子群对有限群构造的影响

设G是有限群，极小子群在有限群的研究中扮演着十分重要的角色．利用极小子群的弱c-正规性刻画群G的结构，得到了一个群p-幂零、幂零的一些充分条件，并推广了一些已知结果．     

一类有限环元数的上界

本文证明了具有ｎ（ｎ≥２）个左（右）零因子的环Ｒ，当｜Ｒ｜＜ｎ２时，必有｜Ｒ｜≤ｎ２２