加权有限自动机及其商变换半群

加权有限自动机是处理不确定环境下的计算的一种通用数学模型.文章对加权有限自动机及其乘积的结构作了进一步的研究.引入了加权变换半群和商变换半群的概念,并依据半环自身的结构,给出了加权有限自动机诱导的商变换半群有限的条件.讨论了加权有限自动机在各种乘积情形下的状态转移函数的性质,并建立了加权有限自动机的乘积(级联积)与其对应的商变换半群之间的关系,为进一步研究加权有限自动机的结构奠定了基础.     

幺半环上几类模糊自动机的关系

给出了幺半环上非确定的模糊自动机和确定的模糊自动机及其语言的定义,证明了幺半环上三类非确定的模糊自动机间的等价性和三类确定的模糊自动机间的等价性,讨论了幺半环上三类非确定的模糊自动机和第四类非确定的模糊自动机之间的关系,以及幺半环上非确定的模糊自动机和确定的模糊自动机之间的关系.     

无穷自动机的几个等价命题

本文证明了具有无穷栈符合的实时确定下推自动机与无穷自动机的等价性，并且将有限状态自动机的Ｍｙｈｉｌｌ－Ｎｅｒｏｄｅ定理推广到了无穷自动机和具有无穷栈符号的实时确定下推自动机。     

具有输出字符功能的模糊自动机的最小化问题

通过文献[8]中两类具有输出字符功能的Fuzzy自动机和Fuzzy有限状态自动机的强等价性,等价性和弱等价性的条件,在以往仅仅给出的Fuzzy有限状态自动机的最小化问题基础上,讨论了具有更广泛意义的具有输出字符功能的Fuzzy自动机的最小化问题,以及其最小化自动机与Fuzzy有限状态自动机的最小化自动机在不同条件下的关系。     

非时齐q过程以π(·)为强遍历极限的一个等价条件

本文就可测空间(E,ε)上满足一定条件的 q 函数(?)(t,x,A),(-∝相似文献   

语言的幂级数表达式和有限自动机状态方程的近似解法

一、预备知识 具有初始状态和最终状态的有限自动机是一个5维系统。设M=(Q,Σ,q_1,δ,T),其中Σ为输入的有限字母表,Q为有限状态集,q_1,T分别为初始状态和终结状态集合,并且T(?)Q.δ为状态转移函数.δ:Q×Σ→Q 当δ为单值函数时,M为确定有限自动机;如果δ为半序函数时,则M为不完全确定有限自动机。本文讨论不限于确定有限自动机。为方便起见,以下简称M为机器。     

两类循环模糊自动机的弱等价性

定义循环模糊自动机和循环模糊有限状态自动机,并讨论了这两类循环模糊自动机的弱等价性.     

Max-Lukasiewicz复合推理下的模糊图灵机

研究max-Lukasiewicz复合推理下的模糊图灵机.形式化定义了模糊图灵机--确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研究了这几类模糊图灵机的关系.进而定义模糊图灵机上的模糊递归可枚举语言和模糊递归语言.得出结论:当接受模糊递归可枚举语言时 ,非确定型模糊图灵机和确定型模糊图灵机不等价;而接受模糊递归语言时,它们等价.     

‖S_n‖超越ε(nlgn)~(1/2)的次数、最大程度和最后时刻的矩的讨论

设{X_n,n≥1}是i.i.d.的B值随机变量序列,本文讨论了‖S_(?)‖超越ε(nlgn)~(1/2)的次数L(ε)、最大程度N(ε)和最后时刻H(ε)关于某一类特定的函数φ(t)的某种形式的矩同相应的尾概率级数收敛性之间的关系,得到了若干等价性命题.     

‖S_n‖超越ε(nlgn)~(1/2)的次数、最大程度和最后时刻的矩的讨论

设{X_n,n≥1}是i.i.d.的B值随机变量序列,本文讨论了‖S_(?)‖超越ε(nlgn)~(1/2)的次数L(ε)、最大程度N(ε)和最后时刻H(ε)关于某一类特定的函数φ(t)的某种形式的矩同相应的尾概率级数收敛性之间的关系,得到了若干等价性命题.     

Orlicz空间中加权光滑模与K-泛函的等价性及其应用

首先介绍了由Young函数生成的Orlicz空间L_Φ~*[0,∞),然后利用归纳假设和分解方法证明了r阶加权光滑模与加权K-泛函的等价性,最后作为光滑模的应用给出了Gamma算子在L_Φ~*[0,∞)空间内加权同时逼近的B-型强逆不等式.     

某些加权复合算子之不变子空间的存在性

本文研究某些加权复合算子之非平凡不变子空间的存在性。特别地,证明了每个亚正规加权复合算子均有非平凡的不变子空间并且提出了一个新概念,称其为本性可逆变换。对于概率空间上本性可逆变换所确定的加权复合算子,给出其非平凡不变子空间存在性的一个等价刻画。     

某些加权复合算子之不变子空间的存在性

本文研究某些加权复合算子之非平凡不变子空间的存在性.特别地,证明了每个亚正规加权复合算子均有非平凡的不变子空间并且提出了一个新概念,称其为本性可逆变换.对于概率空间上本性可逆变换所确定的加权复合算子,给出其非平凡不变子空间存在性的一个等价刻画.     

形式语言的广义Schreier描述系统及其与自动机的关系

本文引入了形式语言的广义Schreier描述系统(GSS),并研究了它与自动机的关系。探明了Schreier语言与自动机传递图支撑树间的对应性,并证明了GSS与自动机的等价性。     

最小化基于合成模糊变换的模糊自动机

经过重新定义模糊自动机,使得模糊自动机的识别过程与一个合成模糊变换(CF变换)一致,而且得到了尊重合成模糊变换的最粗分类即为状态集的最粗等价分类这一重要结论.在对尊重合成模糊变换的最粗分类的讨论中,给出了找到尊重合成模糊变换的最粗分类的有限步算法,亦即状态集的最粗等价分类和最小化模糊自动机的算法.该算法不仅给出了最长运算时间,而且还给出可终止算法的条件,使得运算更为可行和简便.     

马氏决策规划的加速逼近算法与最小方差问题

我们涉及的折扣马氏决策规划(有些著者称为马氏决策过程),具有状态空问与每个状态可用的决策集均为可数无穷集、次随机转移律族、有界报酬函数.给出了一个求(ε_)最优平稳策略的加速收敛逐次逼近算法,比White的逐次逼近算法更快地收敛于(ε_)最优解,并配合有非最优策略的检验准则,使算法更加得益. 设β为折扣因子,一般说β(或(ε,β))_最优平稳策略,往往是非唯一的,甚至与平稳策略类包含的策略数一样多.我们自然希望在诸β(或(ε,β))_最优平稳策略中寻求方差齐次地(关于初始状态)达(ε_)最小的策略.我们证明了这种策略确实存在,并给出了获得这种策略的算法.     

非自治中立型无穷时滞泛函微分方程的加权伪概自守解

首先引入h型Stepanov 加权伪概自守函数和∞型Stepanov加权伪概自守函数的概念, 接着建立了其函数空间的完备性以及相应组合定理, 最后证明了一类非自治无穷时滞偏中立型泛函微分方程在S^p-加权伪概自守系数下加权伪概自守解的存在唯一性.     

求一类非凸规划问题全局解的确定性算法

本文对一类非凸规划问题(NP)给出一确定性全局优化算法.这类问题包括:在非凸的可行域上极小化有限个带指数的线性函数乘积的和与差,广义线性多乘积规划,多项式规划等.通过利用等价问题和线性化技巧提出的算法收敛到问题(NP)的全局极小.     

正则半狄氏型以及相应Hunt过程的一些分析

本文首先讨论由正则半狄氏型所定义的一些概念与由相应Hunt过程所定义的一些慨念之间的关系,主要证明了例外集、ε-例外集与半极集的等价性,q．e．精连续函数与ε-拟连续函数的等价性．接着讨论正则半狄氏型的部分,证明了正则半狄氏型在一个开集上的部分仍是一个正则半狄氏型．     

含变量可转移函数核的Hilbert型级数不等式

设λ_1λ_2≠0,若t0时,K(x,y)满足K(tx,y)=K(x,t(λ_1/λ_2)y),K(x,ty)=K(t(λ_2/λ_1),y).则称K(x,y)是具有参数λ_1和λ_2的变量可转移函数,这是一种非齐次函数.该文研究了含λ_1λλ_20情形的变量可转移函数核的Hilbert型级数不等式,并讨论其等价形式和最佳常数问题.