导读:本文包含了时序机论文开题报告文献综述及选题提纲参考文献，主要关键词:敌对输入,异步时序机,矩阵半张量积,控制器
时序机论文文献综述
陈增强,王晶晶,韩晓光,张青[1]（2019）在《基于矩阵半张量积方法的带有敌对输入的异步时序机控制》一文中研究指出本文基于矩阵半张量积方法研究了带有敌对输入的异步时序机的控制问题.首先,利用矩阵半张量积,给出了带有敌对输入的异步时序机动态行为的代数表示.接着,通过分析具体的控制过程设计了具有最小状态集的控制器并给出了控制器状态转移结构矩阵和输出结构矩阵的赋值算法.其次,基于带有敌对输入的异步时序机的代数表示和控制器的赋值算法给出了整个闭环系统的动态行为的代数表示,从而验证本文理论结果的正确性.最后,利用具体实例说明了本文所提方法的的可行性和有效性.(本文来源于《中国科学:信息科学》期刊2019年11期）
王彪[2]（2019）在《基于代数方法的组合异步时序机的控制与应用》一文中研究指出有限自动机是具有有限内存的离散和数字系统的数学抽象建模.异步时序机属于一类特殊的有限自动机,是分析和设计数字电路和高速CPU的重要工具.随着科学技术的发展,自动机理论倍受科研人员的关注.借助于半张量积工具,可以将有限自动机和异步时序机等价地转化为一种代数形式.在此理论基础之上,本文研究了叁种组合异步时序机(级联异步时序机、切换异步时序机和并联异步时序机)的模型匹配问题和一般异步时序机的静态矫正控制问题.论文主要包括以下七章.第一章介绍了有限自动机和异步时序机的研究背景与研究现状.第二章介绍了有限自动机、异步时序机、矩阵半张量积的相关预备知识.第叁章研究了级联异步时序机的模型匹配问题.一个级联异步时序机是由多个输入/状态异步时序机以级联方式连接构成.首先,利用半张量积给出了级联异步机的代数表示形式.根据该代数表达分析了系统的能达性.然后,结合控制器的动态分析了整个闭环系统的动态规律,获得了模型匹配控制器存在的充分必要条件,并给出了控制器的设计算法.最后用一个例子验证了本章的结果.第四章研究了切换异步时序机的模型匹配问题.一个切换异步时序机也是由多个输入/状态异步时序机构成,但每个时刻仅有一个子机处于运行状态,而且切换信号的变化也要满足基本运行模式.首先,借助于半张量积给出了四种关于切换异步时序机的代数表达.在此框架下,定义了稳定转换矩阵和容许模型-输入-状态转换矩阵.然后,分别用这两个矩阵分析了系统的能达性和设计了最优控制输入串控的搜索算法.最后获得了模型匹配控制器存在的充分必要条件,并将本章结果应用到异步错误累加器.第五章研究了并联异步时序机的容错控制.由于系统的每个子机均有可能因干扰而造成系统故障或错误运行,所以本课题极具挑战性.首先,利用半张量积给出了并联异步时序机稳定状态变化规律的代数表达.根据该代数表达分析了系统的能达性和能检性.然后,给出了并联异步时序机的容错控制器存在的充分必要条件.最后将本章结果应用到一个由叁个异步错误累加器并联的系统.第六章研究了异步时序机模型匹配问题的静态控制方法.简单来说就是寻找静态反馈控制器来解决模型匹配问题.静态控制器不包含存储单元,仅仅由一些逻辑门构成.首先,利用半张量积,给出了异步时序机和静态控制器的代数表达.然后,讨论了无不匹配状态和仅一个不匹配状态这两种简单情形下模型匹配问题.结合这两种情况和异步时序机的能达性分析,给出了模型匹配的静态控制器的设计算法,并获得了此静态控制器存在的充分必要条件.最后将本章结论应用到一个简单的家庭安防报警系统.第七章展望了基于半张量积的有限自动机和异步时序机的可能性未来工作.(本文来源于《山东大学》期刊2019-05-23）
李国懿[3]（2016）在《浅谈集成电路中完全规定时序机状态最小化的K等价划分法》一文中研究指出本文着重讨论大规模集成电路品种越来越多、功能越来越复杂的情况下,对完全规定时序机状态最小化的k等价划分问题。(本文来源于《通讯世界》期刊2016年21期）
钟声,张健,杨春,王鹏,刘璐[4]（2013）在《Multi-h CPM信号的有限状态时序机表示》一文中研究指出为获得多指数连续相位调制(Multi-h CPM)信号更为简洁的脉冲幅度调制(PAM)分解形式,提出了一种用有限状态时序机表示Multi-h CPM信号的新算法.该算法利用调制指数循环周期变化的特性,通过基本波形分解算法,将Multi-h CPM信号表示为周期时不变的有限状态时序机和周期时不变的PAM调制器的级联结构;然后通过限定输入符号进制数为偶数,将时序机的状态转移过程描述成一个可约的、周期平稳的、非齐次Markov链.文中采用该算法对不同调制指数下的状态转移过程进行算例验证,并给出了算法的最佳接收机模型和仿真结果.与传统的PAM最优检测算法相比,文中算法的检测性能可达到理论值,而网格状态数仅为PAM最优检测算法的一半.(本文来源于《华南理工大学学报(自然科学版)》期刊2013年01期）
宋璞,李清宝,肖达,樊敏[5]（2008）在《未知同步时序机状态网络生成算法研究》一文中研究指出获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。(本文来源于《计算机工程与设计》期刊2008年06期）
童永承,李国屏,石曙东,童钰[6]（2006）在《基于虚拟时序机的隐式软故障精确定位》一文中研究指出虚拟时序机中的不完全封闭顺序时序机的工作模式识别,特别地隐式软故障精确定位是重大难题。在虚拟状态表、虚拟状态差表、虚拟自状态差表的基础上,提出了一系列定义,导出了一系列重要定理、性质及规律,建立了状态差理论及自状态差法。可简单、直观地识别虚拟时序机的全部工作模式,精确定位隐式软故障。(本文来源于《计算机工程与设计》期刊2006年07期）
李清宝[7]（2005）在《同步时序机快速状态加全模拟算法研究》一文中研究指出同步时序机状态加全模拟是同步时序机反设计的关键步骤。因时序机状态出现的频率不同,模拟分析的时间不等,有的太长,难以满足要求。本文在长期实践基础上提出了一种同步时序状态加全模拟的路径驱动算法,可以使状态驱动路径长度尽可能短,路径查找或搜索次数尽可能少,从而达到同步时序机快速状态加全模拟的目的。(本文来源于《微计算机信息》期刊2005年25期）
童永承[8]（2005）在《基于不完全封闭顺序时序机的动态故障精确定位》一文中研究指出不完全封闭顺序时序机的工作模式识别,特别地动态故障精确定位是重大难题。本文在样本状态表,样本状态差表,样本自状态差表的基础上,提出了一系列定义,导出了一系列重要定理,性质及规律,建立了状态差理论及自状态差法。可直观地识别不完全封闭顺序时序机的全部工作模式,精确实时定位动态故障。理论及方法的重大贡献在于对数字集成系统的设计测试起重大推动作用。(本文来源于《湖北师范学院学报(自然科学版)》期刊2005年02期）
童永承[9]（2004）在《基于顺序时序机的数字集成系统隐式软故障自状态差定位》一文中研究指出建立隐式软故障概念。目前国内、国际在数字领域内极为关心的重大问题是它的精确定位 ,利用顺序时序机产生了全部工作模式下的样本状态表、状态差表 ,导出了基于顺序时序机状态差的一系列重要和特别有用的性质及规律 ,所形成的自状态差理论要比当前使用的故障诊断方法方便简单得多 ,用自状态理论极为容易对待测数字集成系统工作模式进行识别 ,同时直观地对隐式软故障精确定位 ,并可确定隐式软故障数目。自状态差法无疑将为数字集成系统设计及测试带来强有力支持(本文来源于《湖北师范学院学报(自然科学版)》期刊2004年01期）
方振贤,徐维杰[10]（2001）在《叁值动态和静态广义时序机理论》一文中研究指出该文在叁值电路叁要素理论的基础上提出了叁值动态和静态广义时序机理论。首先找出叁值状态图和电路方程间的关系,该关系既适用于静态电路,又适用于动态电路。对静态电路文中推导出各型叁值触发器完整特性方程,它描述了触发器全时刻的行为,用以代替常规特性方程,使叁值同步和异步时序电路统一。对动态电路该文用电容代替触发器存储叁值信息,实现叁值动态时序电路(特别是叁值同步动态时序电路,属于非触发器式的时序电路)。因动态电路和静态电路主要差别是负载行为,故此可以在叁值电路叁要素理论和广义时序机理论下统一叁值动态和静态,同步和异步时序电路。(本文来源于《电子与信息学报》期刊2001年04期）
时序机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
有限自动机是具有有限内存的离散和数字系统的数学抽象建模.异步时序机属于一类特殊的有限自动机,是分析和设计数字电路和高速CPU的重要工具.随着科学技术的发展,自动机理论倍受科研人员的关注.借助于半张量积工具,可以将有限自动机和异步时序机等价地转化为一种代数形式.在此理论基础之上,本文研究了叁种组合异步时序机(级联异步时序机、切换异步时序机和并联异步时序机)的模型匹配问题和一般异步时序机的静态矫正控制问题.论文主要包括以下七章.第一章介绍了有限自动机和异步时序机的研究背景与研究现状.第二章介绍了有限自动机、异步时序机、矩阵半张量积的相关预备知识.第叁章研究了级联异步时序机的模型匹配问题.一个级联异步时序机是由多个输入/状态异步时序机以级联方式连接构成.首先,利用半张量积给出了级联异步机的代数表示形式.根据该代数表达分析了系统的能达性.然后,结合控制器的动态分析了整个闭环系统的动态规律,获得了模型匹配控制器存在的充分必要条件,并给出了控制器的设计算法.最后用一个例子验证了本章的结果.第四章研究了切换异步时序机的模型匹配问题.一个切换异步时序机也是由多个输入/状态异步时序机构成,但每个时刻仅有一个子机处于运行状态,而且切换信号的变化也要满足基本运行模式.首先,借助于半张量积给出了四种关于切换异步时序机的代数表达.在此框架下,定义了稳定转换矩阵和容许模型-输入-状态转换矩阵.然后,分别用这两个矩阵分析了系统的能达性和设计了最优控制输入串控的搜索算法.最后获得了模型匹配控制器存在的充分必要条件,并将本章结果应用到异步错误累加器.第五章研究了并联异步时序机的容错控制.由于系统的每个子机均有可能因干扰而造成系统故障或错误运行,所以本课题极具挑战性.首先,利用半张量积给出了并联异步时序机稳定状态变化规律的代数表达.根据该代数表达分析了系统的能达性和能检性.然后,给出了并联异步时序机的容错控制器存在的充分必要条件.最后将本章结果应用到一个由叁个异步错误累加器并联的系统.第六章研究了异步时序机模型匹配问题的静态控制方法.简单来说就是寻找静态反馈控制器来解决模型匹配问题.静态控制器不包含存储单元,仅仅由一些逻辑门构成.首先,利用半张量积,给出了异步时序机和静态控制器的代数表达.然后,讨论了无不匹配状态和仅一个不匹配状态这两种简单情形下模型匹配问题.结合这两种情况和异步时序机的能达性分析,给出了模型匹配的静态控制器的设计算法,并获得了此静态控制器存在的充分必要条件.最后将本章结论应用到一个简单的家庭安防报警系统.第七章展望了基于半张量积的有限自动机和异步时序机的可能性未来工作.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
时序机论文参考文献
[1].陈增强,王晶晶,韩晓光,张青.基于矩阵半张量积方法的带有敌对输入的异步时序机控制[J].中国科学:信息科学.2019
[2].王彪.基于代数方法的组合异步时序机的控制与应用[D].山东大学.2019
[3].李国懿.浅谈集成电路中完全规定时序机状态最小化的K等价划分法[J].通讯世界.2016
[4].钟声,张健,杨春,王鹏,刘璐.Multi-hCPM信号的有限状态时序机表示[J].华南理工大学学报(自然科学版).2013
[5].宋璞,李清宝,肖达,樊敏.未知同步时序机状态网络生成算法研究[J].计算机工程与设计.2008
[6].童永承,李国屏,石曙东,童钰.基于虚拟时序机的隐式软故障精确定位[J].计算机工程与设计.2006
[7].李清宝.同步时序机快速状态加全模拟算法研究[J].微计算机信息.2005
[8].童永承.基于不完全封闭顺序时序机的动态故障精确定位[J].湖北师范学院学报(自然科学版).2005
[9].童永承.基于顺序时序机的数字集成系统隐式软故障自状态差定位[J].湖北师范学院学报(自然科学版).2004
[10].方振贤,徐维杰.叁值动态和静态广义时序机理论[J].电子与信息学报.2001