基于代数方法的组合异步时序机的控制与应用

发布时间：2024-02-18 04:20

　　有限自动机是具有有限内存的离散和数字系统的数学抽象建模.异步时序机属于一类特殊的有限自动机,是分析和设计数字电路和高速CPU的重要工具.随着科学技术的发展,自动机理论倍受科研人员的关注.借助于半张量积工具,可以将有限自动机和异步时序机等价地转化为一种代数形式.在此理论基础之上,本文研究了三种组合异步时序机(级联异步时序机、切换异步时序机和并联异步时序机)的模型匹配问题和一般异步时序机的静态矫正控制问题.论文主要包括以下七章.第一章介绍了有限自动机和异步时序机的研究背景与研究现状.第二章介绍了有限自动机、异步时序机、矩阵半张量积的相关预备知识.第三章研究了级联异步时序机的模型匹配问题.一个级联异步时序机是由多个输入/状态异步时序机以级联方式连接构成.首先,利用半张量积给出了级联异步机的代数表示形式.根据该代数表达分析了系统的能达性.然后,结合控制器的动态分析了整个闭环系统的动态规律,获得了模型匹配控制器存在的充分必要条件,并给出了控制器的设计算法.最后用一个例子验证了本章的结果.第四章研究了切换异步时序机的模型匹配问题.一个切换异步时序机也是由多个输入/状态异步时序机构成,但每个时刻仅有...

【文章页数】：122 页

【学位级别】：博士

【部分图文】：

图１．１：异步时序机（异步时序电路）基本模型．??

这使得其具备运行更快、规模更小等优势间．特别是在电子电路的研宄中，异步??自动机模拟的异步时序电路相比于同步自动机模拟的同步时序电路，具备更低功耗更低??延迟的特点［７］．?—个异步时序机（异步时序电路）基本模型如图１．１所示．在组合电路当??中，信号通过连线和逻辑单元时，都有一....

图２．１：有限自动机Ｓ的状态转移图．??

其中Ｕ⑴ｅ?Ｌ「，：Ｔ⑴ｅ?Ｘ和ｙ⑴ｅ?Ｙ分别为自动机在ｆ时刻的输入字符，状态字符和输??出字符．??例２．１．１．观察有限自动机Ｉ：?＝?（［／，Ｘ，Ｖ＞０，／，／ｉ）如图２．１．输入字母表［／＝?｛０，１｝，状??态字母表久＝?｛：ｒ０，?ＸＷ３｝．输出字母表Ｆ?＝?｛ｙｌ５....

本文编号：3901888