线性自动机理论(Ⅳ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。     

线性自动机理论(Ⅲ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。     

线性自动机理论(Ⅴ)——状态迁移图型(一般情形)

本文给出一般线性自动机图型的一般表述形式,给出一组平面图形得以实现为一般线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的一般线性自动机。     

关于线性內动机理論中的一个自由选取問題

§1.前言在线性内动机理论中,能否并如何线性实现一个事先不完全地给出的状态图形,是一个重要的综合问题.比方说,事先给出的图形仅仅是一个含有K个状态的顺向圈z_K.这样,整个线性内动机之状态图形的其它节点(状态)就成为自由选取(don’t care)的了,它们可以被任意地配置成适当的圈(非奇异情形)以至树形(一般情形).关于这一方面的一个问题是:给了一个顺向圈z_K,试求得以线性实现这个z_K的线性内动机的存储元件(单位延迟)的最小个数.Elspas在1959年提出了这个问题,但没有解决.本文将在作者以前的关于线性内动机理论的工作的基础上来讨论这个问题,     

线性内动机理论(Ⅰ)

引言本文试图利用近世代数之工具,较为全面地研究线性内动机的一些基本理论问题.这些问题包括:机器的结构分析以及子机器的综合问题,特别是,具体地刻划线性内动机的图型和全面地研究图形的线性实现问题——究竟有哪些图形是可能由线性内动机实现的?一图形之线性实现又有多少种可能,并如何切实可行地实现之?     

线性内动机理论(Ⅲ)线性内动机的图型和图形的线性实现

引言本文(Ⅲ)是前两部分(Ⅰ)和(Ⅱ)的直接继续。在这里,我们将在前两部分的研究的基础上,具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题。本部分(Ⅲ)由§§7—8组成。在§7中,为了具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题,我们研究了圈环中标准元素之连乘积的一般表达式和圈环中之一元素分解为标准元素因子之连乘积问题,讨论了这种分解的唯一性和可能性,并且在可能的情况下给出了这种     

一种非确定型有穷自动机的极小化方法

自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机．而非确定型有穷状态自动机（NFA）极小化问题尚未找到有效算法．尽管NFA可以转化为DFA且接受的语言不变,但可能会出现状态数指数级增加．从语言B可以构造一个接受自己的子语言自动机,同态压缩映射子语言自动机为最终系统,从而为接受语言B的极小化自动机．     

线性循环细胞自动机的动态分析

本文利用线性循环细胞自动机的线性循环特性,把自动机问题归结为有限环R=F_■[x]/(x~■-1)中的一些纯粹代数问题.即用中国剩余定理,把环R 分解成一些子环的直和.然后将与这些子环相对应的小自动机的功态特性合成为原来自动机的动态特性.     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

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

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

线性内动机理论(Ⅱ)

引言本文的(Ⅱ)和(Ⅲ)部分是前部分(Ⅰ)的直接继续。在(Ⅰ)的一般的理论准备的基础上,以下的(Ⅱ)和(Ⅲ)部分将具体地刻划线性内动机的图型并全面地讨论图形的线性实现问题。本部分(Ⅱ)又是后部分(Ⅲ)的准备部分,集中讨论标准元素。标准元素相当于巡回     

准模糊图拟阵

在作者前期工作的基础上继续讨论国圈好模糊拟阵的基础性质，给出圈好模糊拟阵的“模糊圈公理”；然后，研究了“基好模糊拟阵”及其与圈好模糊拟阵的等价性；最后，总结圈好模糊拟阵与“基好模糊拟阵”的性质，提出“准模糊糊图拟阵”的概念，证明了“准模糊图拟阵”的“模糊基公理”和导出拟阵序列特征。刻画了“准模糊图拟阵”的内在本质，提供了一种构造“准模糊图拟阵”的方法。     

正则语言非正则运算的封闭性

本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性，进而得出正则语言类在非正则运算“∩”、“-”以及“ ”下的封闭性的结论，并具体给出识别三类语言运算的确定型有穷自动机模型．     

有限交换环上的线性元胞自动机

在线性元胞自动机矩阵表示的基础上证明有限交换环上的线性元胞自动机的一组定理,并借此分析某些典型线性元胞自动机的演化性质.     

两类三圈图的正负惯性指数和零度

研究了1-型三圈图和2-型三圈图的正负惯性指数和零度问题.通过删除悬挂的树和压缩内部路等方法,给出这两类特殊三圈图的正负惯性指数和零度的计算方法,得到以下结论:1-型三圈图的正负惯性指数(或零度)等于一些树和一些双圈图的正负惯性指数(或零度)之和;2-型三圈图的正负惯性指数(或零度)等于一些树和一些简单三圈图的正负惯性指数(或零度)之和,其中涉及的这些简单三圈图的正负惯性指数和零度可以利用Matlab软件计算;对1-型三圈图和2-型三圈图验证了前人提出的关于图的正负惯性指数差的一个猜想成立.     

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

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

拟（h，k）阶存贮线性有限自动机的一些结果

利用拟（r,r）阶存贮线性有限自动机可以轻松地构造出一个延迟r步弱可逆的有限自动机,这比文献[2]中通过Ra,Rb变换,对（r,r）阶存贮线性有限自动机进行一系列复杂烦琐的变换来构造一个延迟r步弱可逆的有限自动机的方法要简单可行。文章利用拟（r,r）阶存贮线性有限自动机,给出了一种构造延迟r步前馈可逆的线性有限自动机M和延迟r步前馈逆线性有限自动机时的简便方法。     

两类特殊三圈图的正负惯性指数和零度

讨论了Ⅰ-型三圈图和Ⅱ-型三圈图的正负惯性指数和零度问题。主要通过删除悬挂的树和压缩内部路等方法,给出了两类特殊三圈图的正负惯性指数和零度的计算方法：Ⅰ-型三圈图的正负惯性指数（零度）等于一些树和一些双圈图（或单圈图或树）的正负惯性指数（零度）之和;Ⅱ-型三圈图的正负惯性指数（零度）等于一些树和一些简单三圈图的正负惯性指数（零度）之和,对于点数较少的三圈图的正负惯性指数和零度利用软件 Matlab 计算得到。     

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

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

工作乐趣对员工创新绩效的影响——以高新技术企业为例

基于自我决定理论,以295名高新技术企业员工为样本进行实证研究,探讨“社交型”“放松型”“辅助型”和“福利型”工作乐趣对员工创新绩效的影响。结果表明,4种类型的工作乐趣均对员工创新绩效有显著的正向影响;内部动机在4种工作乐趣与员工创新绩效之间起中介作用;自主性支持负向调节福利型乐趣对员工内部动机的积极影响。