导读:本文包含了输入存贮论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:自动机,矩阵,线性,布尔,极小,模型,地理信息。
输入存贮论文文献综述
冯文俊,易忠,邓培民[1]（2012）在《输入存贮线性有限自动机的弱可逆性》一文中研究指出应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得出输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由此条件得出延迟τ步弱可逆和严格延迟τ步弱可逆的输入存贮线性有限自动机的构造方法并且求出延迟0步弱可逆输入存贮线性有限自动机的一个弱逆.(本文来源于《数学的实践与认识》期刊2012年01期）
冯文俊,易忠,邓培民[2]（2010）在《输入存贮线性有限自动机的极小化》一文中研究指出由输入存贮线性有限自动机的线性系数组成的矩阵得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机的极小化方法.(本文来源于《数学的实践与认识》期刊2010年08期）
冯文俊,邓培民,易忠[3]（2009）在《输入存贮线性有限自动机积的讨论》一文中研究指出本文刻画了输入存贮线性有限自动机本身结构矩阵的特点,证明了两个输入存贮线性有限自动机作积(后并、全直积、化合)之后仍然是输入存贮线性有限自动机,给出了两个输入存贮线性有限自动机作积之后的结构矩阵、自由响应生成矩阵、传输函数矩阵和原来两个输入存贮线性有限自动机的结构矩阵、自由响应生成矩阵、传输函数矩阵的关系。得出线性有限自动机M具有r阶输入存贮的等价命题。(本文来源于《工程数学学报》期刊2009年03期）
吴中伟,欧阳旻,邓培民,易忠[4]（2009）在《线性有限自动机的输入存贮性及其算法》一文中研究指出讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶数的一些算法。(本文来源于《广西师范大学学报(自然科学版)》期刊2009年02期）
陈燕敏,邓培民,易忠[5]（2007）在《有限自动机矩阵模型的应用——有限自动机r阶输入存贮性质判定新方法》一文中研究指出在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,给出了有限自动机r阶输入存贮性质判定的新方法。该方法不仅有利于算法设计和计算机自动处理,也促进了有限自动机的研究和发展。(本文来源于《计算机工程与应用》期刊2007年29期）
冯文俊[6]（2007）在《关于输入存贮线性有限自动机和状态机的研究》一文中研究指出自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论。五十年代,在开关网络理论和数理逻辑中图灵机理论的基础上,形成了自动机理论这一数学分支学科。随着科学技术的发展,自动机理论有了深入的发展和广泛的应用,成为许多学科的重要理论和基础。自动机理论中最重要的问题之一是技术实现问题,文献[1]给出了任意的线性有限自动机在一定条件下都可以等价嵌入于一个输入存贮线性有限自动机。也就是说,在一定条件下,任意的线性有限自动机的功能都可以通过输入存贮线性有限自动机来实现。文献[2]证明了任何延迟τ步可逆线性有限自动机都存在τ阶输入存贮线性有限自动机为它的延迟τ步逆。并且,输入存贮线性有限自动机在有限自动机公钥密码体制和数字签名中也有重要的应用[3-12]。而输入存贮线性有限自动机是一类典型的、易于实现的线性有限自动机。所以,我们有必要对输入存贮线性有限自动机进行讨论,以便进一步研究任意的线性有限自动机和为密码学、网络、自动控制、模式识别等而服务。本文从输入存贮线性有限自动机本身出发对其进行研究,剖析了其自身结构,两个输入存贮线性有限自动机作积之后的结构,一个线性有限自动机M具有r阶输入存贮的等价定理。然后应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得到了h阶输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由这些条件得出了延迟τ步弱可逆和严格延迟τ步弱可逆的h阶输入存贮线性有限自动机新的构造方法、求出延迟0步弱可逆h阶输入存贮线性有限自动机的一个弱逆(这里,τ为任意正整数)。而且还应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机积的弱可逆性,得出两个h阶输入存贮线性有限自动机作全直积和化合之后延迟0步弱可逆的充分必要条件是这两个h阶输入存贮线性有限自动机本身都是延迟0步弱可逆的。此外,本文应用输入存贮线性有限自动机的线性系数组成的矩阵来研究输入存贮线性有限自动机的极小化问题,得到输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机极小化的新方法。对状态自动机来说,与自动机的等价嵌入类似的问题是状态机的覆盖问题。本文还讨论了两个状态机积的变换半群和它们变换半群的积之间的覆盖关系、两个状态机的积之间的覆盖关系、两个变换半群的积之间的覆盖关系、两个状态机的积与覆盖它们的状态机的积之间的覆盖关系、两个变换半群的积与覆盖它们的变换半群的积之间的覆盖关系。本文共分五部分,每部分为一章。第一章:引言。本章主要介绍了输入存贮线性有限自动机在自动机理论中所起的重要作用以及国内外学者应用输入存贮线性有限自动机研究的一些成果,并给出了(输入存贮)线性有限自动机的一些概念与记号。第二章:输入存贮线性有限自动机积的讨论。本章通过讨论得出输入存贮线性有限自动机本身结构矩阵的特点、两个输入存贮线性有限自动机作积之后仍然是输入存贮线性有限自动机,还讨论了两个输入存贮线性有限自动机作积之后的结构矩阵、自由响应生成矩阵、传输函数矩阵和原来两个输入存贮线性有限自动机的结构矩阵、自由响应生成矩阵、传输函数矩阵的关系。而且还通过讨论得出一个线性有限自动机M具有r阶输入存贮的等价定理。主要结论有:定理2.2.4设M是GF ( q )上输入、输出维数分别为l ,m的h阶输入存贮线性有限自动机,由下式定义: ,其中B′_j为GF ( q )上m×l阶矩阵。则M的结构矩阵A,B ,C ,D分别为:这里, 0_(l ,l)表示l×l阶零阵, E_(i ,l)表示第i个l阶单位阵, E_l表示l阶单位阵, i = 1,…, h-1.定理2.2.10设M是GF ( q )上线性有限自动机,则M具有r阶输入存贮性? M等价于M 1与Mα的后并,其中M 1是一个r阶输入存贮线性有限自动机,Mα是一个具有r阶输入存贮性的自治的线性有限自动机。定理2.2.15设M = ( X , Y , S ,δ,λ) , M′= (Y , Y′, S′,δ′,λ′)是两个h阶输入存贮线性有限自动机,则M·M′= ( X , Y′, S×S′, (δ|—),(λ|—))是2h阶输入存贮线性有限自动机。第叁章:输入存贮线性有限自动机的弱可逆性。本章应用输入存贮线性有限自动机的结构矩阵来讨论输入存贮线性有限自动机的弱可逆性,得到h阶输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由这些条件得出延迟τ步弱可逆和严格延迟τ步弱可逆的h阶输入存贮线性有限自动机新的构造方法、求出延迟0步弱可逆输入存贮线性有限自动机的一个弱逆。而且还应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机积的弱可逆性,得出两个h阶输入存贮线性有限自动机作全直积和化合之后延迟0步弱可逆的充分必要条件是这两个输入存贮线性有限自动机本身都是延迟0步弱可逆的。这里,τ、h为任意的正整数。主要结论有:定理3.2.2设M是GF ( q )上h阶输入存贮线性有限自动机,由下式定义:(1)M延迟0步弱可逆? M的结构矩阵D列线性无关。(2)当1≤τ≤h时,若B_j= 0, j = 0,1,τ- 1,则M严格延迟τ步弱可逆(?) B_τ列线性无关。推论3.2.3设M是GF ( q )上h阶输入存贮线性有限自动机,由下式定义:(1)如果B0列线性无关,则M延迟τ步弱可逆。τ为任意非负整数。构造3.3.1由定理3.2.2的方法,我们可以构造出GF ( q )上严格延迟τ步弱可逆的h阶输入存贮线性有限自动机M .方法如下:设M由下式定义: ,其中B_j为GF ( q )上m×l阶矩阵。令B_0 = B_1 =…= B_(τ-1) = 0,B_τ为GF ( q )上列线性无关的m×l阶矩阵,B_(τ+1) ,…, B_h为GF ( q)上任意的m×l阶矩阵,则这样定义的M为严格延迟τ步弱可逆的h阶输入存贮线性有限自动机。这里,1≤τ≤h.构造3.3.2由推论3.2.3(1)的方法,我们可以构造出GF ( q )上延迟τ步弱可逆的h阶输入存贮线性有限自动机M .方法如下:设M由下式定义: ,其中B_j为GF ( q )上m×l阶矩阵。令B_0为GF ( q )上列线性无关的m×l阶矩阵, B_1 , B_2 ,…, B_h为GF ( q )上任意的m×l矩阵,则这样定义的M为延迟τ步弱可逆的h阶输入存贮线性有限自动机。这里,τ为任意非负整数。定理3.4.1设M = ( X , Y , S ,δ,λ)是GF ( q )上h阶输入存贮线性有限自动机,由下式定义:若M延迟0步弱可逆,则存在(0,4)阶存贮线性有限自动机M′= (Y , X , S′,δ′,λ′)为M的延迟0步弱逆。M′由下式定义:这里:P为B_0的左逆矩阵。定理3.5.1设M = ( X , Y , S ,δ,λ), M′= ( X′, Y′, S′,δ′,λ′)为GF ( q )上两个h阶输入存贮线性有限自动机,分别由以下两式定义:若M和M′都延迟0步弱可逆,则M和M′的全M×M′= (X×X′, Y×Y′, S×S′,δ×δ′,λ×λ′)延迟0步弱可逆。定理3.5.2设M = ( X , Y , S ,δ,λ) , M′= (Y , Y′, S′,δ′,λ′)是GF ( q )上两个h阶输入存贮线性有限自动机, M的输入、输出维数分别为l、m ,M′的输入、输出维数分别为m、m′, M和M′分别由以下两式定义:若M和M′都延迟0步弱可逆,则M和M′的化合M ? M′= ( X , Y′, S×S′,δ,λ)延迟0步弱可逆。第四章:输入存贮线性有限自动机的极小化。本章用新的方法得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机极小化的新方法。主要结论有:定理4.2.8设M = ( X , Y , S ,δ,λ)是GF ( q )上h阶输入存贮线性有限自动机,由下式定义: ,则M极小(?) U的列在GF ( q )上线性无关。这里,U为M的线性系数组成的矩阵,定理4.2.11设M = ( X , Y , S ,δ,λ)是GF ( q )上h阶输入存贮线性有限自动机,由下式定义:M的结构矩阵为A , B ,C , D .设U的j_1 ,…, j_r列是它的GF ( q )上极大线性无关列,这些列组成矩阵U_1,且U = U_1T,T是GF ( q )上r×n矩阵。设M_1是GF ( q )上线性有限自动机,结构矩阵为A_1 = TA′, B_1 = TB , C_1 = C′,D_1 = D.其中A′,C′分别为A和C的第j_1 ,…, j_r列组成的矩阵。则有M～M_1且M 1极小。第五章:状态机和变换半群积的覆盖关系。本章讨论了两个状态机积的变换半群和它们变换半群的积之间的覆盖关系、两个状态机的积之间的覆盖关系、两个变换半群的积之间的覆盖关系、两个状态机的积与覆盖它们的状态机的积之间的覆盖关系、两个变换半群的积与覆盖它们的变换半群的积之间的覆盖关系。主要结论有:定理5.2.4设M =(Q ,∑, F ), M′= (Q′,∑′, F′)是两个状态机,则(1) TS ( M∧M′) = TS ( M )∧TS(M′),对半群满同态θ:∑~+→S ,θ′:∑~+→S′成立。这里θ(α) = [α],θ′(α) = [α]′.(3) TS ( M(?)M′)≤TS ( M )(?) TS(M′)定理5.2.3设M =(Q ,∑, F ), M′= (Q′,∑′, F′)是两个状态机,则(1) M∧M′≤M×M′(2) M×M′≤M(?) M′(3) MωM′≤M(?) M′定理5.2.6设M_i =(Q_i ,∑_i , F_i ), Mi′= (Q_i′,∑_i′, F_i′), i=1,2是状态机.若M_1≤M_1′, M_2≤M_2′,则(1) M_1×M_2≤M_1′×M_2′(2) M_1(?)M_2≤M_1′(?) M_2′(3) M_1ωM_2≤M_1′ωM_2′(本文来源于《广西师范大学》期刊2007-04-01）
文毅玲[7]（2004）在《有限自动机的化合与等价于(输入)存贮线性有限自动机问题》一文中研究指出自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论。五十年代，在开关网络理论和数理逻辑中图灵机理论的基础上，形成了自动机理论这一数学分支学科。目前，根据自动机的应用情况，主要集中在可逆自动机、线性自动机和循环自动机的研究上。我国学者陶仁骥于1985年首先提出了有限自动机公开钥密码体制(FAPKC)，由于这一理论在构造单钥、双钥和基于身份的密码体制等密码学重要分支中都有良好的应用，并具有很大的应用潜力，进一步激发了人们的研究兴趣。在双钥和基于身份的密码体制的构造中，有限自动机的化合成为一种基本手段。就我所知，除文献[3~5]对两个有限自动机化合前后的可逆性及RaRb变换之间的关系进行了深入的研究外，还没有其它研究化合性质的文章。本人对有限自动机化合前后的严格延迟步数，弱逆，极小性和线性性等的关系作了一系列研究，获得的结果对于在密码体制构造中构造具有所需性质的自动机具有重要的指导意义。主要结论有：1．关于严格延迟步数：Mi是X上严格延迟(i步弱可逆的，i=1，2，则M1(M2是延迟(1+(2步弱可逆的[12]，若设其严格延迟步数为(，则有(1((((1+(2；若(1=0，则M1(M2与M2(M1都是严格延迟(2步弱可逆的；对一般情形，给出M1(M2是严格延迟(1+(2步弱可逆的一个充要条件。2．关于弱逆：1) 如果M1'是M1的延迟(步弱逆，M2'是M2的延迟0步弱逆，则M2'(M1'是M1(M2的延迟(步弱逆；2) 如果M1'是M1的延迟(步逆，M2'是M2的延迟('步弱逆， 给出M2'(M1'是M1(M2的延迟(+('步弱逆的一个充分条件。 3．关于极小性：化合后的有限自动机极小必然要求化合前的两个有限自动机均极小。例证两个极小有限自动机的化合未必极小。4．关于线性性：线性有限自动机的化合仍为线性有限自动机，并给出它们<WP=3>之间的结构矩阵、自由响应生成矩阵和传输函数矩阵的显式关系式。此外，自动机理论中最重要的一个问题是技术实现问题，所以对一般自动机都是研究线性实现问题，而(输入)存贮线性有限自动机是一类典型的、易于实现的且结构简单的线性有限自动机。文献[33]中给出了等价嵌入于存贮线性有限自动机的一组充要条件以及一个可等价嵌入的充分条件和一个不可等价嵌入的充分条件。"嵌入于"意味着后者的功能强于前者，并可能强于前者许多，这就是说后者虽然能实现前者的功能，但可能会有一些"浪费"。什么样的线性有限自动机刚好与一个(输入)存贮线性有限自动机功能等价，或者说(输入)存贮线性有限自动机能够实现的功能最强线性有限自动机是哪一类线性有限自动机？本人运用文献［33］提出的模的思想方法研究(输入)存贮线性有限自动机的功能等价问题，回答了上述问题，从而对于将一类复杂的线性有限自动机化简为易于实现的(输入)存贮线性有限自动机具有重要的理论和现实意义。主要结论有：1．可等价嵌入于一个输入存贮线性有限自动机，则必然等价于这个输入存贮线性有限自动机。并给出一组等价于输入存贮线性有限自动机的充要条件和一个充分条件。2．给出等价于存贮线性有限自动机的一个充要条件。3．两个(输入)存贮线性有限自动机的化合，必存在它的一个子线性有限自动机与一个(输入)存贮线性有限自动机等价。全文分为叁章： 介绍自动机理论的历史背景与发展现状和本人的研究内容与主要结果，并将文中涉及到的一些基本概念和记号作了系统的介绍。 对有限自动机化合前后的严格延迟步数、弱逆、极小性以及线性性等的关系进行研究，给出所获得的结果。 运用文献［33］提出的模的思想方法研究(输入)存贮线性有限自动机功能等价问题，解决了什么样的线性有限自动机刚好与一个(输入)存贮线性有限自动机功能等价的问题。(本文来源于《广西师范大学》期刊2004-03-01）
孙小薇,王元珍,肖伟器[8]（1995）在《地理信息数据库系统中地图的输入和存贮》一文中研究指出地图是地理信息数据库系统中一类重要的信息。本文在介绍我们研制的地图识别输入系统MRIS和地图数据库系统MAPDB的基础上,讨论了地理信息数据库系统中地图的录入及识别矢量化的技术途径,并提出了一种合理的地图数据存贮模型。(本文来源于《数据库研究与进展95——第十叁届全国数据库学术会议论文集》期刊1995-12-01）
输入存贮论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
由输入存贮线性有限自动机的线性系数组成的矩阵得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机的极小化方法.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
输入存贮论文参考文献
[1].冯文俊,易忠,邓培民.输入存贮线性有限自动机的弱可逆性[J].数学的实践与认识.2012
[2].冯文俊,易忠,邓培民.输入存贮线性有限自动机的极小化[J].数学的实践与认识.2010
[3].冯文俊,邓培民,易忠.输入存贮线性有限自动机积的讨论[J].工程数学学报.2009
[4].吴中伟,欧阳旻,邓培民,易忠.线性有限自动机的输入存贮性及其算法[J].广西师范大学学报(自然科学版).2009
[5].陈燕敏,邓培民,易忠.有限自动机矩阵模型的应用——有限自动机r阶输入存贮性质判定新方法[J].计算机工程与应用.2007
[6].冯文俊.关于输入存贮线性有限自动机和状态机的研究[D].广西师范大学.2007
[7].文毅玲.有限自动机的化合与等价于(输入)存贮线性有限自动机问题[D].广西师范大学.2004
[8].孙小薇,王元珍,肖伟器.地理信息数据库系统中地图的输入和存贮[C].数据库研究与进展95——第十叁届全国数据库学术会议论文集.1995
论文知识图
