收藏本站
《2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

有限自动机在数字逻辑电路设计中的应用

区汝就  
【摘要】:本文通过找出数字逻辑电路与有限自动机的关系,证明了状态图不存在回路的有限自动机与组合逻辑电路的等价性,有限自动机与Mealy型时序逻辑电路的等价性,从而分别为组合逻辑电路及Mealy型时序逻辑电路找到了数学模型。并运用该模型得出数字电路的计算能力,从理论上解决了数字电路的数学描述问题。运用本文所提出的理论,能够判断设计某一数字逻辑电路的可实现性。
【作者单位】:江苏徐州中国矿业大学计算机科学与技术学院
【分类号】:TN791;TP301.1

【引证文献】
中国硕士学位论文全文数据库 前1条
1 商丽卫;基于有限状态机的乘法器设计与实现[D];太原科技大学;2012年
【参考文献】
中国期刊全文数据库 前1条
1 李岚;;Mealy和Moore型电路的比较[J];兵工自动化;2006年05期
【共引文献】
中国期刊全文数据库 前6条
1 尚文文;李伟;;故障显示电路的设计[J];才智;2010年34期
2 李安迎;邓靖靖;邓世建;肖金球;;基于三杯式风速传感器的风速监测站设计[J];电测与仪表;2010年S2期
3 王凯歌,牛憨笨,郭保平,阔晓梅,王鹏业;一种新型脉冲微束斑X射线源的研究[J];光电子·激光;2004年09期
4 梁改革;徐亮亮;王加加;;基于AT89S51单片机的超声测距[J];硅谷;2010年09期
5 蔡儒军;;组合电路中的竞争与险象[J];群文天地;2012年10期
6 牛小玲;袁小平;翟小东;;基于可编程器件的任意进制BCD码计数器的设计方法[J];实验室科学;2012年06期
中国重要会议论文全文数据库 前2条
1 张普红;霍健;;光电触发并联晶闸管回路检测电路[A];全国冶金自动化信息网2011年年会论文集[C];2011年
2 孟宪坤;;智能铅酸电池充电器的软件设计与实现[A];第九届全国电技术节能学术会议论文集[C];2007年
中国博士学位论文全文数据库 前1条
1 王凯歌;微束斑X射线源的理论与实验研究[D];中国科学院研究生院(西安光学精密机械研究所);2002年
中国硕士学位论文全文数据库 前1条
1 汪定军;荧光相关光谱分析仪的硬件采集系统设计[D];上海交通大学;2009年
【同被引文献】
中国期刊全文数据库 前8条
1 蒋龙龙;陈文宇;;利用等价类构造有限状态自动机[J];计算机科学;2006年11期
2 刘强,王荣生;基于改进的BOOTH编码的高速32×32位并行乘法器设计[J];计算机工程;2005年06期
3 胡正伟;仲顺安;;一种多功能阵列乘法器的设计方法[J];计算机工程;2007年22期
4 王新刚,樊晓桠,李瑛,齐斌;一种并行乘法器的设计与实现[J];计算机应用研究;2004年07期
5 张盛,戴宏宇,周润德;流水线阵列乘法器的功耗分析和优化[J];微电子学;2004年01期
6 向淑兰,曹良帅;数字信号处理器中阵列乘法器的研究与实现[J];微电子学与计算机;2005年10期
7 李康;林钰凯;马佩军;史江义;梁亮;;基于部分积优化的高速并行乘法器实现[J];微电子学与计算机;2011年01期
8 应琦钢;郑丹丹;何乐年;;基于优化电路的高性能乘法器设计[J];微电子学与计算机;2011年04期
中国硕士学位论文全文数据库 前4条
1 赵忠民;64位高性能嵌入式CPU中乘法器单元的设计与实现[D];同济大学;2007年
2 李楠;快速乘法器的设计[D];哈尔滨工业大学;2007年
3 林钰凯;高性能并行乘法器关键技术研究[D];西安电子科技大学;2010年
4 孙振玮;基于优化Booth算法实现的可配置18位乘法器硬核设计与验证[D];西安电子科技大学;2011年
【二级参考文献】
中国期刊全文数据库 前1条
1 印丕勤;时序检测器的设计[J];山东建材学院学报;1998年01期
【相似文献】
中国期刊全文数据库 前10条
1 陈海云;;数字电路教学方法刍议[J];广东水利电力职业技术学院学报;2005年04期
2 黄洁;;数字电路中PLD实验的教学改革[J];武汉职业技术学院学报;2006年02期
3 许昌;金荣泰;胡博;;数字系统的有限自动机ASM图设计[J];电子技术;1992年09期
4 孙上上;;用电路实现有限自动机的几种方法[J];电子技术;1988年12期
5 佟学志;邓传坚;;浅谈数字电路的特点与应用[J];民营科技;2011年05期
6 鲍卫军,赵新;提高数字电路工作效率的方法[J];鞍山师范学院学报;2001年01期
7 黄明;;TDA2822M在数字电路中的应用(上)[J];电子制作;2001年09期
8 皇甫海燕;MATLAB在数字电路教学中的应用[J];新疆师范大学学报(自然科学版);2005年03期
9 张海泉;时序逻辑电路的自启动研究[J];河南教育学院学报(自然科学版);2005年03期
10 吕俊霞;数字电子电路调试方法[J];九江职业技术学院学报;2005年03期
中国重要会议论文全文数据库 前10条
1 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
2 王锋;;通过基于光电编码器的数字电路实现直线位移高精度测量的一种方法[A];山东电机工程学会第七届发电专业学术交流会论文集[C];2008年
3 陈冰;尹禄;胡金华;;基于人工神经网络的数字电路故障诊断[A];2008中国仪器仪表与测控技术进展大会论文集(Ⅲ)[C];2008年
4 庞浩;俎云霄;王赞基;;一种新型的全数字锁相环[A];第七届北京青年科技论文评选获奖论文集[C];2003年
5 徐新河;陈光(衤禹);谢永乐;;数字电路可控性算法和C++程序实现[A];2004全国测控、计量与仪器仪表学术年会论文集(上册)[C];2004年
6 赵庆;;基于verilog的数字可综合电路设计[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(下册)[C];2008年
7 聂文滨;;Multisim在数字电子技术实验中的应用[A];武汉(南方九省)电工理论学会第22届学术年会、河南省电工技术学会年会论文集[C];2010年
8 洪海丽;;Multisim7软件在数字电路教学中的应用[A];全国高等学校电子技术研究会2008年年会论文集[C];2008年
9 王月芳;陈圣俭;;边界扫描技术在测试性设计中的应用研究[A];第20届测控、计量、仪器仪表学术年会论文集[C];2010年
10 邓元庆;贾鹏;;《数字电路与系统设计》教材的特色创新[A];电子高等教育学会2007年学术年会论文集[C];2007年
中国重要报纸全文数据库 前10条
1 江苏 赵忠仁;电子职校数字电路及其应用实例(上)[N];电子报;2011年
2 常州市电子技工学校 何海滨;PROTEUS仿真教学——数字电路篇[N];电子报;2009年
3 四川 王斌;数字电路抗干扰的方法[N];电子报;2002年
4 山东 徐庆芳;数字电路复位信号的检测[N];电子报;2003年
5 福建 庄涛;浅谈数字电路中触发器的教学[N];电子报;2011年
6 四川南部县职业技术学校 敬树贤;谈谈由数字电路的真值表写出逻辑函数表达式的方法[N];电子报;2008年
7 子良 摘译;抢答游戏中的优先判决器[N];电子报;2009年
8 烟台南山学院东海校区电子工程学院 邹天汉;触发器输出状态口诀记忆法[N];电子报;2009年
9 西安 沈友;两款音响式逻辑笔[N];电子报;2011年
10 徐家政;微波器件CADS参数提取系统问世[N];中国电子报;2000年
中国博士学位论文全文数据库 前10条
1 范德会;基于PSA的集成电路形式验证方法研究[D];哈尔滨工程大学;2012年
2 吴福炜;数字电路低功耗设计方法研究[D];中国科学院研究生院(上海微系统与信息技术研究所);2003年
3 刘歆;数字电路的故障测试模式生成方法研究[D];华中科技大学;2004年
4 黄正峰;数字电路软错误防护方法研究[D];合肥工业大学;2009年
5 王秀芹;基于SAT的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
6 黄越;数字集成电路自动测试生成算法研究[D];江南大学;2012年
7 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
8 李迪;高性能sigma-delta ADC的设计与研究[D];西安电子科技大学;2010年
9 吴多龙;印刷电路板的电磁辐射研究[D];电子科技大学;2000年
10 吴笑峰;高精度sigma-delta ADC的研究与设计[D];西安电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 樊敏;OLRDS结构技术研究[D];解放军信息工程大学;2009年
2 周渝;基于蚁群算法的数字电路测试模式生成研究[D];华中科技大学;2005年
3 陈萍;数字电路的多种子内建自测试及测试复用研究[D];华南师范大学;2005年
4 楚丽娜;PCB级数字电路故障模拟实用化技术研究[D];北京邮电大学;2006年
5 王宇;基于蚁群算法和粒子群算法的数字集成电路测试生成研究[D];哈尔滨工程大学;2008年
6 张耀镭;数字电路在线进化设计研究[D];南京航空航天大学;2007年
7 徐琼燕;数字电路及EDA实验系统设计及其应用[D];南昌大学;2008年
8 陆琨;蒙特卡洛模拟法在数字电路板自动测试领域的应用研究[D];哈尔滨工程大学;2009年
9 杨玲;数字电路多目标进化设计研究[D];南京航空航天大学;2010年
10 杨松川;一种符合EPC gen2协议的数字电路硬件实现、验证及检测[D];电子科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026