导读:本文包含了概率有限自动机的商论文开题报告文献综述及选题提纲参考文献，主要关键词:概率有限自动机,积,覆盖,同态
概率有限自动机的商论文文献综述
杨京开,蔡永裕,程裕强,黄飞丹[1]（2017）在《概率有限自动机积的覆盖性》一文中研究指出提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.(本文来源于《湖南科技大学学报(自然科学版)》期刊2017年04期）
杨京开,黄秋娇,李芳,陈彩虹[2]（2016）在《概率有限自动机的代数性质》一文中研究指出研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画.(本文来源于《数学的实践与认识》期刊2016年08期）
谢正卫[3]（2014）在《概率有限自动机的交换性》一文中研究指出提出了一类概率有限自动机并给出其交换的概念,得到了此类自动机交换的一些刻画,定义了两个概率有限自动机的和与积,并且得到了和自动机、积自动机交换的充要条件。(本文来源于《江苏理工学院学报》期刊2014年06期）
吴宗显,邓培民,易忠[4]（2009）在《概率有限自动机的商和同态》一文中研究指出本文主要是通过概率有限自动机的有效划分来研究概率有限自动机的同态与商概率有限自动机的相关问题,得到了在同态或同构(弱同构)意义下概率有限自动机相互之间的关系,以及它们的商概率有限自动机的相互关系,得到了一些有意义的结果。(本文来源于《工程数学学报》期刊2009年05期）
吴宗显,邓培民,易忠[5]（2009）在《概率有限自动机的积和分解》一文中研究指出给出几种概率有限自动机的积,讨论了他们之间的相互关系,并在文献[1]的基础上利用这些积给出匀概率有限自动机的分解,证明了一个匀概率有限自动机可以分解为一个随机编码源、一个伯努利过程和一些确定有限自动机的串联积。(本文来源于《计算机工程与应用》期刊2009年15期）
陈华,王灿,陈纯,唐文彬,钱剑飞[6]（2008）在《利用信息检索和概率有限自动机的程序理解》一文中研究指出为提高基于信息检索的程序理解方法的准确性,提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机(probabilistic finite-state automata,PFA)解决了信息检索结果在程序理解中的不确定性,同时采用信息检索构建了多个简单的PFA,而不是单个复杂的PFA,提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类,然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索,取检索结果中的最相关的n项作为候选模板,由候选模板对应得到相应的PFA,通过分析找到最大概率的PFA,完成对源码内容的语义标注.(本文来源于《浙江大学学报(工学版)》期刊2008年12期）
吴宗显[7]（2008）在《概率有限自动机的代数性质》一文中研究指出自动机理论是研究离散型数字系统的功能、结构及两者关系的数学理论,是对许多具体的离散数字系统的抽象;自动机理论是在开关网络理论和数理逻辑中图灵机理论的基础上发展起来的一门学科.概率有限自动机是自动机理论的一个分支,与非概率有限自动机不同之处是概率有限自动机的动作是随机的.概率有限自动机的主要研究内容与一般的自动机理论相平行,有概率图灵机、概率时序机、概率识别器等方面的研究工作.这些工作一方面是推广自动机已有的结果;另一方面也提出不少新的问题,丰富了自动机理论的内容.本文从代数的角度考虑,讨论概率有限自动机的代数结构问题,讨论了概率有限自动机的商自动机与概率有限自动机同态之间的关系,证明了同态分解定理,得到了一种概率有限自动机的分解;深入探讨了它们几种积之间的相互关系.本文分为五个部分,前面四个部分中每一个部分为一章,最后部分为结束语.第一章为引言.这部分简单介绍了概率有限自动机和确定有限自动机的基本情况.阐述了本文的思路,另外,对本文的基本概念和记号也做了介绍.第二章讨论了概率有限自动机的商自动机和概率有限自动机同态之间的关系,主要的结果有:命题2.1.4若M =< X , Q , Y ,P>是匀概率有限自动机, M是既约的当且仅当Q≤2.定理2.2.1设M =< X , Q , Y ,P>是概率有限自动机,π_ 1 ,π_ 2是M的有效划分,且π_ 1≤π_2,则定理2.2.6设M =< X , Q , Y ,P>是概率有限自动机,则在概率有限自动机同构的意义下M的商概率有限自动机和与M同态的概率有限自动机一一对应.定理2.2.7 (概率有限自动机的同态分解定理)设M_1 =< X , Q_1 , Y ,P1>, M_2 =< X , Q2 , Y ,P2>, M 3 =< X , Q_3 , Y ,P3>是概率有限自动机,M_2≤M1, M 3≤M1,?是M_1到M_2的同态,ψ是M1到M 3的同态,则存在M_2到M 3的同态θ使得ψ=θφ的充要条件为由同态φ诱导出的M_1的有效划分π_ 1与由同态ψ诱导出的M_1的有效划分π_满足π_ 1≤π_.定理2.2.8设M_1 =< X , Q_1 , Y ,P1> , M_2 =< X , Q2 , Y ,P2>是概率有限自动机, M_2≤M1,φ: Q_1→Q2是M_1到M_2的同态,若π_ 2 = { H ii = 1,2, L , n}是M_2的一个有效划分,则,Hi∈π_2是M_1的有效划分,且2 1( H i ) = {q 1∈Q_1φ( q1 )∈H i }= Ki.第叁章给出了概率有限自动机叁种积的定义,并利用这些积对特殊的概率有限自动机进行分解.主要结果有:定理3.1.2设M_1 =< X , Q_1 , Y1 ,P1>, M_2 =< X , Q2 , Y2 ,P2> , N1 =< Z1 , R1 , U 1 ,P1′>和N 2 =< Z 2 , R2 , U 2 ,P2′>是概率有限自动机,若M_2≤wM1, N 2≤wN1,则有:ⅰ) M_2×N 2≤wM_1×N1;ⅱ)若M =< X , Q , Y ,P>,则M×N 2≤wM×N1.定理3.3.1设M =< X , Q , Y ,P>是匀概率有限自动机,则M可以分解为一个只有一个输出的匀概率有限自动机与一个马尔科夫链的串联积.定理3.3.4设M =< X , Q , Y ,P>是匀概率有限自动机,则M可以分解为一个随机编码源、一个伯努力过程和一些确定有限自动机的串联积.定理3.3.5设M t =< X t , Qt , Yt ,Pt> t = 1,2,是概率有限自动机, { }π_ 1 = H ii = 1,2, L ,n, { }π_ 2 = K jj = 1,2, L ,m分别是M_1与M_2的有效划分,则{ }π_ 1×π_ 2 = ( H i , K j ) H i∈π_ 1 ,Kj∈π_2是M_1×M2的有效划分,其中( H i , K j ) = {( qi , q j ) qi∈H i ,q j∈Kj},且M_1×M_2π_ 1×π_2φ1 21 2M Mπ_×π_.第四章给出自动机的几种积,重点讨论概率有限自动机积之间的同态关系,主要结果有:定理4.2.1设M_1 =< X 1 , Q_1 , Y1 ,P1>, M_2 =< X 2 , Q2 , Y2 ,P2> , M 3 =< X 3 , Q_3 , Y3 ,P3>是概率有限自动机,则以下几条成立ⅰ) ( M_1ω1 M_2 )ω2 M 3φM_1ω3 ( M_2ω4 M3),其中ω3 =ω1且为单射,ω4由ω1 ,ω2确定;ⅱ) ( M_1⊕M_2 )⊕M 3φwM_1⊕( M_2⊕M3);ⅲ) ( M_1 o M_2 ) o M 3φwM_1 o ( M_2 o M3);ⅳ) ( M_1 U M_2 ) U M 3 (?)M_1 U ( M_2 U M3).定理4.2.2设M_1 =< X 1 , Q_1 , Y1 ,P1>,M_2 =< X 2 , Q2 , Y2 ,P2>是概率有限自动机,且满足对(?)q 2 ,q2′∈Q2, (?)x 2 ,x2′∈X2, y 2∈Y2,都有P2 ( q2 , x2 , q2′, y 2 ) = P2 ( q2 , x2′, q2′, y2),即M_2的输入输出变换概率在状态一定时和输入无关时,则有M_1ωM_2≤wM_1 o M2.定理4.2.4若M =< X , Q , Y ,P>, M_1 =< X 1 , Q_1 , Y1 ,P1>, M_2 =< X 2 , Q2 , Y2 ,P2>是概率有限自动机, M_1≤wM2,则M o M_1≤wM o M2.最后部分为结束语,总结了本文的主要工作,阐述了这些工作的意义以及今后的工作.(本文来源于《广西师范大学》期刊2008-04-01）
曾浩[8]（2007）在《一个单向量子有限自动机接受概率问题的研究》一文中研究指出单向量子有限自动机是实现量子计算机的最有可能的理论模型之一,其识别能力与其接受语言的概率之间存在矛盾,本文构造了一个特别的单向量子有限自动机充分说明了这一点。(本文来源于《福建电脑》期刊2007年08期）
概率有限自动机的商论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
概率有限自动机的商论文参考文献
[1].杨京开,蔡永裕,程裕强,黄飞丹.概率有限自动机积的覆盖性[J].湖南科技大学学报(自然科学版).2017
[2].杨京开,黄秋娇,李芳,陈彩虹.概率有限自动机的代数性质[J].数学的实践与认识.2016
[3].谢正卫.概率有限自动机的交换性[J].江苏理工学院学报.2014
[4].吴宗显,邓培民,易忠.概率有限自动机的商和同态[J].工程数学学报.2009
[5].吴宗显,邓培民,易忠.概率有限自动机的积和分解[J].计算机工程与应用.2009
[6].陈华,王灿,陈纯,唐文彬,钱剑飞.利用信息检索和概率有限自动机的程序理解[J].浙江大学学报(工学版).2008
[7].吴宗显.概率有限自动机的代数性质[D].广西师范大学.2008
[8].曾浩.一个单向量子有限自动机接受概率问题的研究[J].福建电脑.2007