Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

不确定带权有限状态机的最小化问题

本文提出一个不完全确定带权有限状态机的状态最小化问题：找一个状态间权值最小的机器覆盖确定机。在详细讨论了与这一问题解决有关的概念基础上，借助于ｂｉｎａｔｅ覆盖问题，给出了它的两个分枝限界算法。     

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

MS-代数的主同余关系的注记

研究MS代数的主同余关系的可补性,给出了MS代数的主同余关系是可补的充要条件。     

有限状态机在嵌入式软件中的应用

简述了有限状态机的基本概念和传统理论,提出了利用有限状态机进行程序设计的基本思想,并结合实际应用给出了在大型复杂软件中的一种实现方法。     

关于对偶余代数的注记

给出了一个对偶余代数问题的反例．作为反射代数的一个应用,建立了从卷积代数 Ｈｏｍ（ Ｃ, Ａ） 到余代数张量的对偶代数（ Ｃ  Ａ°）  的同构映射     

有限状态机的VHDL设计

介绍了用VHDL的有限状态机设计方法,该设计不需要进行复杂的状态化简、状态分配、状态编码,输出和激励函数,也不需要画原理图,通过EDA工具就可以完成所有的工作,同时以一个波形发生器的实例设计,说明了设计的特点和优越性,通过仿真波形验证了设计的正确性,实现了基于VHDL的有限状态机现代数字系统设计。     

有限状态机的设计与优化

在数字系统中,状态机的设计对系统的可靠性、稳定性具有决定性的作用,因此,基于超高速集成电路硬件的有限状态机的设计和优化是完成数字系统设计的重要环节.状态机通常分为米勒型和摩尔型,给出状态机的超高速集成电路硬件描述,讨论状态机的速度优化,并提出一种容错设计方法.     

软代数的素理想与同余关系的注记

讨论了非分配软代数F的素理想表示同余关系的问题，指出非分配软代数F的同余关系θ可素理想表示的充要条件是F／θ是软代数，以Con(F)表示F的同余关系格，PCon(F)表示F的全体可由素理想表示的同余关系，证明了按照Con(F)中偏序关系，PCon(F)构成Con(F)的一个子格，并且PCon(F)可嵌入于F的全体素理想集Z（F）的对偶幂集格^↑P（Z（F））中。     

有限状态机在开放式数控系统中的应用

为了克服传统编程模式开发的控制程序可移植性差、维护困难等缺点,研究了采用FSM开发CNC系统软件的方法.介绍了FSM的基本原理并提出了对复杂系统采用层级式FSM建模的方案;分析了开放式CNC系统的主要软件模块构成,并简要描述了主要软件模块的FSM行为模型;介绍了基于FSM的系统重构机理,使用FSM可以实现软件单元的功能定义和控制逻辑分离,提高系统重构的柔性;基于FSM的系统重构机理,研究了在系统中扩充自适应调节进给速度功能的方法.     

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

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

基于词计算的Fuzzy有限自动机的最小化

介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的输入和输出分别由输入和输出字母表的Fuzzy子集串代替,定义了它的最小形式,得到这种新的Fuzzy有限自动机M都存在一个与之等价的最小Fuzzy有限自动机Mm。     

有限群自动机的若干环论与图论性质

通过研究有限群自动机的关联环和导图来刻画有限群自动机,给出了有限群自动机不可约和不可分的一些判别法则。     

基于粗糙集理论的有限自动机最小化方法改进

有限自动机放在粗糙集的范畴中来研究,它的各个状态对应粗糙集论域中的每个对象,每个输入符号为一个等价关系。从粗糙集的角度,利用对论域进行知识划分的方法,每次产生新的等价类,直到每个等价类都不能划分为止,从而得到最小化的有限自动机。与已有的研究方法不同,该方法以粗糙集理论为工具,为有限自动机最小化方法研究提供了新的思路。     

关于有限可解群的p超可解性的一个注记

群G的一个子群H称为可补的，如果存在G的一个子群T满足G=HT．利用可补子群研究了有限可解群的户超可解性．特别地，给出了可解群为户超可解群的一个充分条件．     

关于置换特征标的一个注记

利用有限秩自由R-模V与一个G-集Ω构造出一个G-模VΩ,并给出了由它定义的特征标的计算公式,我们的结果是置换模R[Ω]定义的特征标的一个推广。     

直觉模糊有限自动机的行为特征

提出了一种新的直觉模糊有限自动机,重点讨论了响应函数、直觉可达状态、直觉初始分布、行为特征、直觉正则的一些性质,揭示了直觉模糊有限自动机的行为特征.     

有限域上Reed-Solomon码的一个注记(英文)

设Fq是特征为p的q元有限域.固定Fq的一个非空子集D={x1,…,xn}.熟知标准Reed-Solomon码Cq(Fq,k)的对偶码Cq(Fq,q-k)仍为Reed-Solomon码.对于广义Reed-Solomon码Cq(D,k),给出存在广义Reed-Solomon码Cq(B,n-k),使得Cq(D,k)与Cq(B,n-k)互为对偶码的一个充要条件.并由此构造出一类满足此条件的广义Reed-Solomon码.关键词:Reed-Solomon码;自对偶码;本原元素     

概率有限自动机的交换性

提出了一类概率有限自动机并给出其交换的概念,得到了此类自动机交换的一些刻画,定义了两个概率有限自动机的和与积,并且得到了和自动机、积自动机交换的充要条件。