概率有限自动机的商和同态

本文主要是通过概率有限自动机的有效划分来研究概率有限自动机的同态与商概率有限自动机的相关问题,得到了在同态或同构(弱同构)意义下概率有限自动机相互之间的关系,以及它们的商概率有限自动机的相互关系,得到了一些有意义的结果.     

输入存贮线性有限自动机积的讨论

本文刻画了输入存贮线性有限自动机本身结构矩阵的特点,证明了两个输入存贮线性有限自动机作积(后并、全直积、化合)之后仍然是输入存贮线性有限自动机,给出了两个输入存贮线性有限自动机作积之后的结构矩阵、自由响应生成矩阵、传输函数矩阵和原来两个输入存贮线性有限自动机的结构矩阵、自由响应生成矩阵、传输函数矩阵的关系.得出线性有限自动机M具有r阶输入存贮的等价命题.     

一种基于反向有限自动机的匹配算法

根据中文信息处理的需要,把传统的有限自动机改造成了反向有限自动机。讨论了利用反向有限自动机进行多模式的匹配,并给出了形式化的算法。通过比较,还指出反向有限自动机匹配算法的若干优越之处。     

由单个状态生成的有限自动机的一些性质

本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.     

基于模糊有限自动机的双模糊拓扑性质

本文研究了由模糊有限自动机的bifuzzy successor算子和bifuzzy source算子所导出的双模糊拓扑.根据这两个算子的性质,我们把它们导出的所有可能的双模糊拓扑系统地进行了分类,并证明了它们都是FFA的双模糊拓扑;进而研究了这些双模糊拓扑之间的关系.     

未初始化时序量子机的代数性质

量子计算以其独有的内在可并行性和物理可实现性引起了人们的广泛关注.量子计算模型是量子计算领域最重要的问题之一.时序量子机和量子时序机是重要的量子计算模型,这两种计算模型本质上是等价的.本文利用代数的方法研究未初始化时序量子机的性质,这些性质为研究时序量子机提供了理论基础.首先,我们给出未初始化时序量子机同态的定义,得到了一些同态性质,并证明了同态定理;其次,我们研究未初始化时序量子机输入输出对的集合上的同余性质,以及未初始化时序量子机矩阵代数的性质,给出了可交换未初始化时序量子机的定义,并对可交换未初始化时序量子机的性质进行了讨论;最后,我们探讨未初始化时序量子机的等价性,讨论了一个可交换未初始化时序量子机的两个初始向量的等价性,所得结果改进了已有的一些结论.     

基于量子逻辑的几类有穷自动机之间的关系

根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了初态为分明的确定型量子有穷自动机与终态为分明的确定型量子有穷自动机是等价的.这些结论为实际应用中计算模型的合理选取提供了理论依据.     

增加结构非循环模糊自动机最小化算法

我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完全增加结构算法较传统算法更可行和实用。新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。因为在增加模糊字符串到最小非循环确定模糊自动机的过程中,运用了一些相关的新函数,所以得到的自动机仍然是确定的,而且没有增加任何无关的字符串到自动机的可识别语言。     

(■,■∨■_((λ,μ)))-模糊子坡

坡代数在自动机理论、逻辑二元关系、疾病诊断、马可尔夫链等领域有重要作用.本文首先给出了(■,■∨■_((λ,μ)))-模糊子坡的概念,并研究了它的等价刻画,得到了(■,■∨■_((λ,μ)))-模糊子坡的并仍是(■,■∨■_((λ,μ)))-模糊子坡.其次,利用反扩张原理获得了(■,■∨■_((λ,μ)))-模糊子坡同态像与原像的性质.再次,通过引入模糊集的反直积的概念,给出了(■,■∨■_((λ,μ)))-模糊子坡在反直积运算下封闭的结论.最后,引入诺特子坡、阿丁子坡的新概念,并讨论了诺特子坡及阿丁子坡与(■,■∨■_((λ,μ)))-模糊子坡的关系.     

复f-代数上的正交射与Riesz同态

本文讨论了复Riesz空间上正交射的结构,得到了复f -代数与复正交射的关系。给出了复,一代数中Riesz同态与代数同态在一定条件下可互推的结果。证明了复Riesz同态满足推广的Schwarz不等式,并得到相关推论。     

面向协议一致性测试的测试序列生成方法研究

考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性.     

初等细胞自动机局部规则的通用算法

针对初等细胞自动机的特点,使用分块矩阵(称之为局部规则矩阵)对初等细胞自动机的局部规则进行了基于矩阵形式的定义.在此基础上,定义了识别函数及其运算法则,并利用这些定义和法则给出了初等细胞自动机局部规则的通用算法.对于初等细胞自动机,这些研究的成果意味着在t时刻任何一个细胞及其邻居的状态的组合,都可以利用识别函数及其运算法则的函数运算得到t 1时刻的演化结果.     

拟序同态的某些性质

王国俊教授在[1]中引入序同态的概念,并进行了系统的研究。本文讨论条件较弱的拟序同态的性质。文中L_1和L_2表示Fuzzy格。 定义1 若:L_1→L_2是满足T(0)=0的保并映射,则称T是拟序同态。 命题1 设T:L_1→L_2是拟序同态,G:L_2→L_1保序,则下列条件等价;对A∈L_1,     

Frechet代数A[[X]]与自动连续性

本文研究Ｂａｎａｃｈ代数Ａ上的幂级数代数Ａ［［Ｘ］］与有关导子系及同态的自动连续性。证明Ａ［［Ｘ］］上使系数映射连续的Ｆｒéｃｈｅｔ空间拓扑唯一且关于这个拓扑，Ａ［［Ｘ］］是Ｆｒéｃｈｅｔ代数。证明了有关同态的自动连续性并给出了它们的一般形式，最后，讨论了有关导子系的自动连续性并给出了Ｂａｎａｃｈ代数之间导子系连续的充要条件。     

一种适用于数据库的加密算法

简要回顾秘密同态加密算法的基本原理,基于复合同态的数学理论,定义一种将浮点数转换为整数的同态运算,并运用复合同态的概念实现浮点型数据上的复合同态加密机制.利用中国剩余定理实现字符串数据的加密.     

基于struts框架的软件流程设计

简述struts框架和有限状态自动机在程序流程设计中的应用,提出利用有限状态机在struts框架的基础上进行程序流程设计的基本思想,并结合实际应用给出在大型复杂软件中的一种实现方法。     

有限热源四温位不可逆吸收式制冷循环模型及性能分析

建立了热源热容量有限、综合考虑热源与环境间的热漏、热源与循环工质问的热阻以及循环内部不可逆性时的不可逆四温位吸收式制冷循环模型，并导出了循环制冷率和制冷系数间的一般关系式；利用数值算例，分析了吸收式制冷机的一般性能和优化性能，得出了热漏、内不可逆性和工质放热量分配率对循环性能的影响规律。所得结论可为吸收式制冷机的设计和优化提供一些新的理论指导。     

广义三热源制冷循环的等效联合系统

首先将工作在有限高温热源和两个恒温热源之间的一类广义三热源制冷循环抽象为一个广义卡诺热机驱动一个卡诺制冷机的等效联合系统,然后应用广义卡诺热机和卡诺制冷机的有限时间热力学理论,导出广义三热源制冷循环在不可逆传热情况下的最佳制冷系数与制冷率间的关系。由此讨论这类制冷循环的各种优化性能,并给出这类制冷循环在几种特殊情况下的等效联合系统。所得的结果可为吸收式制冷机、喷射式制冷机和化学热泵等制冷设备的进一步开发和利用提供参考依据。     

一种基于无相变氖气冷媒HTS用Turbo-Brayton制冷系统

讨论了基于无相变氖气冷媒Turbo-Brayton制冷循环,分析了氖气Turbo-Brayton制冷循环中等熵压缩、等压冷却、等熵膨胀以及等压吸热四个过程,并建立了完整循环过程的数学模型.建立了基于HYSYS的无相变氖气冷媒Turbo-Brayton制冷循环模拟模型,得到了循环过程中关键节点稳态物理参数.同时讨论了制冷...     

基于struts框架的软件流程设计

简述struts框架和有限状态自动机在程序流程设计中的应用，提出利用有限状态机在struts框架的基础上进行程序流程设计的基本思想，并结合实际应用给出在大型复杂软件中的一种实现方法。