收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

可重构的动态逻辑计算研究

彭海朋  
【摘要】: 当前,国际上高性能计算的主流体系结构都是建立在上世纪40年代冯·诺伊曼的计算机理论基础之上。然而冯·诺伊曼体系结构目前面临着难以逾越的发展障碍:在可用性方面,现有体系结构下的实际应用性能仅达到峰值性能的5%-10%;在实用性方面,由于采用单一固定配置,用户无法自主参与计算资源的配置和计算过程的控制,必须“削足适履”。尤其是当前以硅材质为基础的处理器芯片设计中,芯片被锁定只能执行特定的功能,使得现有的CPU缺乏可控性、灵活性和可变性。因此,具有动态可重构能力的逻辑门电路和芯片设计方面的基础科学研究是目前国内外研究的前沿和热点。 当前世界上应用较广的可重构芯片--现场可编程门阵列(FPGA),可以通过重新连线实现不同的功能。但FPGA进行重新配置的速度是相对缓慢的,通常每次重新布线都要花费几毫秒,这个布线时间使得FPGA无法实现实时的动态的配置。由于这种转换速度的限制,因而大大影响了FPGA技术的应用范围,在实际应用中,FPGA目前主要用于专用芯片设计。近十几年来,人们提出一种新的计算方案--混沌计算,该方案突破了FPGA的重连线的限制,使可重构计算更加灵活。 混沌计算由Sinha和Ditto于1998年共同提出,当年被美国物理联合会(AIP)评为最有影响力的科学事迹之一,并被Science News、Science Daily、Scientific American和MIT技术评论等广泛报道,混沌计算被Extreme Tech认为"The 10 Coolest Technologies You've Never Heard Of"。 混沌计算使用固定的电路结构并利用其内部的动力学特性,在不改变电路结构的情况下,通过改变系统参数值,使逻辑元件实时地在不同的逻辑门之间进行转换,从而实现不同的计算功能。与可编程互连线的FPGA技术不同,混沌计算实现了实时的动态可重构逻辑门。2008年,设计出基于混沌计算原理的VLSI芯片原型(TSMC CMOS,30Mhzclock),相应的芯片可以在单位时钟内完成芯片类型和功能的变换(配置),配置时间比FPGA芯片快大约百万倍。Sinha和Ditto等学者关于构造动态的逻辑计算的观点为:“这只能通过很强的非线性(尤其是混沌)来实现[This can only be achieved through strongly nonlinear (thus typically chaotic) characteristic]"、“注意在处理器芯片中非线性对于不同的布尔函数功能的实现显然是必要的[Note that nonlinearity in the processing units is clearly necessary for various Boolean implementations]"。所以从1998年到2008年,十年来国际同行在动态逻辑门设计方面大量的工作都集中于利用混沌系统来实现动态逻辑计算的研究。然而混沌系统是比较复杂的,同时它对于系统参数和初值条件极端敏感,并且表现出不规则性,显然这些特征对于设计低计算代价和高鲁棒性的动态逻辑计算芯片是不利的。若能找到更好的方法来实现动态逻辑计算,将会大大简化芯片设计和实现,并提高逻辑计算的稳定性和可靠性。 本文围绕设计更简单、鲁棒和高效的动态逻辑计算方案为中心,提出了利用控制和同步线性动力系统来设计动态逻辑门,给出了系统参数未知时保证同步和参数辨识的充分条件,实现了基于线性系统进行动态逻辑计算(简称线性系统计算)。进一步,本文提出了基于代数运算(加、减、乘和除)来构造动态逻辑门的代数逻辑计算,给出了一个动态逻辑门的设计和分析方法--曲线交点法。并且基于代数逻辑计算,本文给出了一个可以在全部16种逻辑模式间进行灵活动态转换的双阱模型,该模型解决了经典的XOR分类问题。 本论文的创新工作主要体现在以下几个部分: (1)采用线性系统和门限机制来模仿不同的逻辑门,通过控制系统的参数实现了系统在不同的逻辑运算功能之间灵活的转换,在此基础上讨论了比特算数加法运算及存储的实现,进而提出了线性系统计算的概念。同混沌计算相比,线性系统计算在新型的可重构的逻辑芯片、可重构处理器和可重构的集成电路设计与制造方面具有明显的优势。当考虑计算处理器在组成元件、能耗及转换时间等方面代价的时候,我们发现基于线性系统构成的计算元件的代价远小于混沌计算元件的代价。由于线性系统对于系统参数和初始条件的微小变化并不敏感,所以同混沌系统相比,线性系统更适合用来构造鲁棒的动态逻辑门。 (2)根据线性系统同步误差随着参数改变而规则改变的特点,我们提出基于同步线性系统来设计动态逻辑门。基于同步方法的动态逻辑门,个潜在的优势就是可以进行远程控制,操作者可以在远端通过改变控制信号,轻松的利用同步实现逻辑门及其阵列的灵活转变。我们进一步研究了当驱动系统参数未知时,基于同步的参数估计与逻辑门设计。德国学者Parlitz首次提出了基于同步辨识参数的思想,基于该思想的文章大量发表,十几年来该文被引用达100多次,但我们发现这个思想是错误的,并进一步基于Gram矩阵理论,系统解决了同步方法中保证辨识参数收敛到真值的条件问题。 (3)本文提出基于代数运算(加、减、乘和除)来构造动态逻辑门的代数逻辑计算。代数逻辑计算利用代数运算,通过改变控制指令,使得逻辑门能够在多种逻辑功能之间进行动态转换,进而拥有执行不同的逻辑运算的能力。我们研究了多输入多输出动态逻辑门,并分析了噪声对于逻辑门的影响,讨论了它与混沌计算和线性系统计算的异同,给出的相应电路设计证明了方法的可行性和有效性。同混沌计算和线性系统计算相比,代数逻辑计算由于没有使用动力学系统,不存在动力学系统的初始化过程和迭代更新运算过程。因此利用这种方法,可以构造和实现更加灵活、鲁棒、代价较低的可重构的动态计算设备。 (4)提出利用双势阱和代数运算构造可重构动态逻辑门。通过改变模型中阱宽、阱间距和双阱的位置,实现了动态逻辑门在16种逻辑间转变。我们分析了各种逻辑门的分布关系,讨论了噪声的影响并给出了电路。由于该模型利用一个运算单元实现了在全部16种逻辑门之间进行转换,如果把它作为一个分类器,那么它可以成功解决经典的XOR分类问题,XOR分类问题曾使神经网络的研究经历10余年的萧条。对于XOR问题,传统上需要调整2层或者3层以上的感知器(至少有9个参数)来解决。而我们的方法只需要一个逻辑运算单元且只需调整两个参数。 (5)在静态逻辑门的分析和设计中,一个著名的化简方法是卡诺图分析法。那么在动态逻辑门设计过程中其基本的分析方法是什么?当然这是一个困难的问题。本文对此进行了初步探讨,我们提出一个分析方法—曲线交点法,它不但可以分析各种逻辑门的分布,也可以分析噪声的影响。通过该方法我们可以很直观的知道如何改变控制参数得到不同的逻辑功能。目前已有的动态逻辑门设计方案,都可以通过该分析方法来进行分析,从而我们为动态逻辑门设计提供了一个简单、直观、可视的基本分析方法。 综上所述,本文系统的研究了可重构动态逻辑计算,给出了一系列方法和电路设计。所给方法具有明晰的物理意义、模型简单、易于工程人员理解、不仅在理论上值得深入研究,而且对于设计可控、灵活与可变的可重构集成电路芯片具有重要的工程应用价值。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 RichardC.Eden,FrankS.Lee,StephenI.Long,BryantM.Weich,RicardoZucca;任使用肖特基二极管-FET逻辑的GaAS集成电路中多级逻辑门的实现[J];电子器件;1980年S1期
2 刘文斌;朱翔鸥;殷志祥;;基于分子信标的逻辑门的计算模型[J];安徽理工大学学报(自然科学版);2008年01期
3 俞洋;宋世平;樊春海;;基于DNA分子的逻辑门与计算机[J];世界科技研究与发展;2006年01期
4 王瑞波,查子忠,张雷,李淳飞;由液晶电光开关构成的光学逻辑与存贮器件[J];哈尔滨工业大学学报;1989年06期
5 张顺兴;CMOS集成逻辑门的线性应用[J];江苏通信技术;1996年S1期
6 Glenn Chenier;Allen,TX;;用可配置逻辑门施密特输入构建多功能单稳电路[J];电子设计技术;2006年08期
7 金钊;;Logical Effort理论在电路设计中的应用[J];现代电子技术;2007年02期
8 汪学典;;关于施密特触发器的教学方法研究[J];高师理科学刊;2008年01期
9 叶勇;王友仁;陈燕;;基于GP算法的多模态门电路设计[J];佳木斯大学学报(自然科学版);2009年01期
10 张贵忠;简单逻辑门电路的学习方法[J];安顺师范高等专科学校学报;2001年03期
11 王晓晗;曹怀信;;量子计算中的矩阵方法[J];科技信息(学术研究);2008年09期
12 ;飞兆半导体推出可配置的超低功耗逻辑解决方案[J];单片机与嵌入式系统应用;2011年03期
13 李富义;一维逻辑门布局和门-网关联图[J];电子学报;1989年05期
14 马秀英;一个自动编程逻辑门的结构和应用[J];电子技术应用;1990年06期
15 李毅华;机电设备的故障树分析[J];煤矿机械;2001年06期
16 薛飞,杜江峰,周先意,韩荣典;通向通用量子计算机之路[J];物理;2004年08期
17 颜森林;;耦合反馈激光混沌振幅调制全光逻辑门及光电复合逻辑门研究[J];科学通报;2011年16期
18 姚成玉;张荧驿;王旭峰;陈东宁;;T-S模糊故障树重要度分析方法[J];中国机械工程;2011年11期
19 舒烈;功能配置逻辑门——软件开发的好帮手[J];电子技术应用;1992年10期
20 ;我研出新型DNA逻辑门 奠定发展DNA计算机基础[J];科技与经济画报;2006年02期
中国重要会议论文全文数据库 前10条
1 李荣华;罗红;罗群;李丽香;彭海朋;;噪声对混沌逻辑门的影响及其改进算法[A];2009全国虚拟仪器大会论文集(一)[C];2009年
2 白延春;李文涛;孙伟;张超;吴昊帅;郑弢;黄岩谊;严纯华;;微流芯片中分子基1:2型信号分离器的构筑[A];中国化学会第26届学术年会无机与配位化学分会场论文集[C];2008年
3 余梦晓;李蕾;沈莉;李富友;黄春辉;;基于螺吡喃LB膜修饰电极的固态INHIBIT逻辑门[A];中国化学会第二十五届学术年会论文摘要集(上册)[C];2006年
4 朱为宏;孟宪乐;张琼;冯艳丽;谭文娟;田禾;;萘酰亚胺单元为烯桥链的光致变色二噻吩乙烯类化合物[A];中国化学会第26届学术年会有机固体材料分会场论文集[C];2008年
5 郭志前;朱为宏;黄晓梅;解永树;田禾;;基于吡喃腈衍生物分子内电荷转移构建含有比较功能的半减法器[A];中国化学会第26届学术年会应用化学分会场论文集[C];2008年
6 林秀敏;;囚禁在不同腔中的两原子相位门的实现[A];第十一届全国量子光学学术会议论文摘要集[C];2004年
7 冯芒;朱熙文;;梯度磁场下超冷囚禁离子的量子信息处理[A];第十二届全国量子光学学术会议论文摘要集[C];2006年
8 朱为宏;;荧光功能单元DCM在逻辑门和光学探针的应用[A];中国化学会第28届学术年会第5分会场摘要集[C];2012年
9 邝继顺;汪昱;魏小芬;;基于不确定门延迟的瞬态电流测试自动测试生成[A];第十届全国容错计算学术会议论文集[C];2003年
10 刘贤玉;吴骊珠;佟振合;;基于调控二茂铁三联吡啶炔基铂(Ⅱ)配合物激发态的逻辑门[A];中国化学会第26届学术年会光化学分会场论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 童丁毅;有机荧光染料的设计合成及在化学传感和分子逻辑门中的应用[D];吉林大学;2014年
2 詹剑;可重用可组合的转录逻辑门设计[D];中国科学技术大学;2010年
3 郭志前;基于吡喃腈和菁染料衍生物的分子逻辑门和荧光探针[D];华东理工大学;2010年
4 邢亚军;单分子逻辑门的模拟与简化器件结构的有机电致发光材料研究[D];浙江大学;2005年
5 王子兴;非苯芳香性共轭体系的设计、合成及性能研究与应用[D];浙江大学;2006年
6 季伟;光分组交换网络中的若干关键技术研究[D];北京邮电大学;2006年
7 彭海朋;可重构的动态逻辑计算研究[D];北京邮电大学;2010年
8 吴昊;介观复杂体系中若干重要统计力学问题的理论研究[D];中国科学技术大学;2011年
9 张慧;多金属氧簇超分子复合物自组装及逻辑功能[D];吉林大学;2006年
10 管致锦;可逆计算中逻辑综合若干问题研究[D];南京航空航天大学;2008年
中国硕士学位论文全文数据库 前10条
1 朱文颖;可逆逻辑门网络级联及其应用研究[D];南通大学;2010年
2 张云美;DNA逻辑门的构建及其应用[D];南昌大学;2013年
3 俞经龙;可逆逻辑门进化设计方法及其CUDA实现[D];东华大学;2014年
4 白冰洋;现场可编程逻辑门阵列(FPGA)技术的应用研究[D];西北工业大学;2005年
5 嵇海宁;纳米金颗粒分子逻辑门的构建及其分析应用[D];湖南大学;2011年
6 马开扣;纠错码在工程中的应用及FPGA实现[D];南京理工大学;2004年
7 郑伟峰;汽车防抱制动逻辑门限控制算法研究[D];国防科学技术大学;2003年
8 周伟东;基于苝的衍生物的自组装体系的构建表征及性质[D];东华大学;2006年
9 徐海英;基于微环共振器的非线性效应及其在光通信中的应用研究[D];天津大学;2007年
10 谢湘云;吡唑啉酮类席夫碱化合物的合成、光致变色性质及分子逻辑开关[D];新疆大学;2009年
中国重要报纸全文数据库 前10条
1 成都 新鸿;逻辑门等效电路[N];电子报;2011年
2 记者 刘霞;用DNA和细菌组装的可模块化逻辑门问世[N];科技日报;2011年
3 海言;“交叉点阵逻辑门”打破硅芯片50年统治格局[N];科技日报;2006年
4 本报记者 周清春;DNA逻辑门:通向未来分子计算机[N];科技日报;2006年
5 记者 郑杨;我国在DNA计算机领域取得重要进展[N];经济日报;2006年
6 记者  任荃;DNA分子有望成未来超级计算机[N];文汇报;2006年
7 马晨;计算机可以依靠热能运行吗?[N];科技日报;2008年
8 明毅;量子技术改变企业计算未来[N];中国石油报;2006年
9 记者 冯卫东;新加坡推出声子计算机概念[N];科技日报;2007年
10 高博;超立方体可充当纳米计算机结构[N];科技日报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978