CN107103183B - 基于分子计算的同步时序逻辑设计方法 - Google Patents
基于分子计算的同步时序逻辑设计方法 Download PDFInfo
- Publication number
- CN107103183B CN107103183B CN201710193067.5A CN201710193067A CN107103183B CN 107103183 B CN107103183 B CN 107103183B CN 201710193067 A CN201710193067 A CN 201710193067A CN 107103183 B CN107103183 B CN 107103183B
- Authority
- CN
- China
- Prior art keywords
- state
- variable
- intermediate product
- state transition
- input
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G16—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR SPECIFIC APPLICATION FIELDS
- G16C—COMPUTATIONAL CHEMISTRY; CHEMOINFORMATICS; COMPUTATIONAL MATERIALS SCIENCE
- G16C20/00—Chemoinformatics, i.e. ICT specially adapted for the handling of physicochemical or structural data of chemical particles, elements, compounds or mixtures
- G16C20/80—Data visualisation
-
- G—PHYSICS
- G16—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR SPECIFIC APPLICATION FIELDS
- G16C—COMPUTATIONAL CHEMISTRY; CHEMOINFORMATICS; COMPUTATIONAL MATERIALS SCIENCE
- G16C20/00—Chemoinformatics, i.e. ICT specially adapted for the handling of physicochemical or structural data of chemical particles, elements, compounds or mixtures
- G16C20/10—Analysis or design of chemical reactions, syntheses or processes
Landscapes
- Chemical & Material Sciences (AREA)
- Engineering & Computer Science (AREA)
- Crystallography & Structural Chemistry (AREA)
- Life Sciences & Earth Sciences (AREA)
- Bioinformatics & Cheminformatics (AREA)
- Bioinformatics & Computational Biology (AREA)
- Computing Systems (AREA)
- Theoretical Computer Science (AREA)
- Analytical Chemistry (AREA)
- Chemical Kinetics & Catalysis (AREA)
- Data Mining & Analysis (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明公开了一种基于分子计算的同步时序逻辑设计方法,通过在不同时钟电平压缩存储和释放状态转化信息,可将任意的状态转换图映射为化学反应,从而构建能实现对应逻辑功能的分子系统。
Description
技术领域
本发明涉及化学反应网络计算领域,特别是涉及基于分子计算的同步时序逻辑设计方法。
背景技术
化学反应网络(CRNs)是由一系列形如的基元反应所构成的集合(包含反应物、生成物、反应速率常数)。在分子计算中,CRNs是描述化学系统行为、构建动力学模型的建模语言。2010年,现有技术从理论层面证明:任意的只包含二输入反应和单输入反应的CRNs,总是能被映射为DNA链置换反应。而DNA链置换反应由美国加州理工大学首次提出,已有相应的理论支持与实验验证,这使得CRNs具有很好的可操作性与可实现性。有了可靠的物理实现载体后,研究者可以专心于顶层的CRNs模型设计工作。
在CRNs的设计中,通常用双轨逻辑表征数字逻辑变量。例如,某一逻辑变量X的值由2种分子X0、X1表示,即:若CRNs中出现一定浓度的X0,代表X的逻辑值为0;若CRNs中出现一定浓度的X1,代表X的逻辑值为1。同时,将现有技术所提出的双稳态反应,如图1,用于每一个逻辑变量以确保每一个逻辑变量的值的稳定性。另外,在双轨逻辑的基础上,现有技术为CRNs层面的时序逻辑电路提供CRNs时钟信号的生成方法,可得到如图2所示的时钟。
然而,现有的CRN同步时序逻辑实现方法在面对具有反馈回路的电路时,存在分子浓度随时间衰减的缺点。
发明内容
发明目的:本发明的目的是提供一种能够解决现有技术中存在的缺陷的基于分子计算的同步时序逻辑设计方法。
技术方案:为达到此目的,本发明采用以下技术方案:
本发明所述的基于分子计算的同步时序逻辑设计方法,包括以下步骤:
S1:逻辑变量的表征与时钟信号的生成:画出描述同步时序逻辑电路功能的状态转换图,状态转换图中包含状态变量、输入变量和输出变量这三种逻辑变量,用双轨逻辑和双稳态反应表征状态转换图中的逻辑变量,利用时钟信号驱动状态转换图;
S2:根据状态变量与输入变量得到并压缩状态转换信息:在时钟低电平时,时钟信号clk0首先与状态转换图中第一个状态变量反应生成第一个状态中间产物,第一个状态中间产物再与第二个状态变量反应生成第二个状态中间产物,依次进行,直至第N-1个状态中间产物与第N个状态变量反应生成第N个状态中间产物,N为状态变量的总个数;第N个状态中间产物再与第一个输入变量反应得到第一个输入中间产物,第一个输入中间产物与第二个输入变量反应得到第二个输入中间产物,依次进行,直至第M-1个输入中间产物与第M个输入变量反应得到最终的分子keysmithi,M为输入变量的总个数,i=1,2…K,K为状态转化图中可能发生的状态转换的种类;
S3:释放状态转换信息并完成状态转换:在时钟高电平时,时钟信号clk1将步骤S2生成的keysmithi转换为分子keyi,分子keyi根据状态转换图,通过双分子催化反应将当前状态变量和输出变量彻底转换为目标状态的状态变量和输出变量,且状态变量和输出变量的转换在同一时钟高电平完成;
S4:在时钟低电平时,时钟信号clk0将步骤S3生成的keyi彻底转化为与整个反应体系不相干的分子。
有益效果:本发明公开了一种基于分子计算的同步时序逻辑设计方法,通过在不同时钟电平压缩存储和释放状态转化信息,可将任意的状态转换图映射为化学反应,从而构建能实现对应逻辑功能的分子系统。与现有技术相比,本发明具有以下有益效果:
1)稳定性比现有方法更好,特别是本方法的分子浓度不因电路中的反馈回路而随时间衰减;
2)具有简便性与通用性,无需进行复杂的电路设计,可直接从功能(状态转换图)入手设计CRN。
附图说明
图1为现有技术提出的双稳态反应;
图2为采用现有技术的CRNs时钟信号生成方法生成的时钟信号;
图3为本发明具体实施方式中的状态转换图;
图4为本发明具体实施方式中的生成状态转换图的keysmithi的方法;
图5为对应于图4的具体反应方程;
图6为本发明具体实施方式中的时钟高电平信号clk1把keysmith1转化为key1的方程;
图7为本发明具体实施方式中的分子key1把2个状态逻辑变量XY的值从0改为1的方程;
图8为本发明具体实施方式中的时钟低电平信号clk0清除key1的过程。
具体实施方式
本具体实施方式公开了一种基于分子计算的同步时序逻辑设计方法,包括以下步骤:
基于分子计算的同步时序逻辑设计方法,其特征在于:包括以下步骤:
S1:逻辑变量的表征与时钟信号的生成:画出描述同步时序逻辑电路功能的状态转换图,如图3所示,状态转换图中包含状态变量、输入变量和输出变量这三种逻辑变量,用双轨逻辑和双稳态反应表征状态转换图中的逻辑变量,如图1所示,利用图2所示的时钟信号驱动状态转换图;图3中,圆圈内XY为状态变量,箭头侧边的Z为输入变量,Q为输出变量,括号内的keyi完成对应箭头所示的状态转换;
S2:根据状态变量与输入变量得到并压缩状态转换信息,如图4和图5所示:在时钟低电平时,时钟信号clk0首先与状态转换图中第一个状态变量反应生成第一个状态中间产物,第一个状态中间产物再与第二个状态变量反应生成第二个状态中间产物,依次进行,直至第N-1个状态中间产物与第N个状态变量反应生成第N个状态中间产物,N为状态变量的总个数;第N个状态中间产物再与第一个输入变量反应得到第一个输入中间产物,第一个输入中间产物与第二个输入变量反应得到第二个输入中间产物,依次进行,直至第M-1个输入中间产物与第M个输入变量反应得到最终的分子keysmithi,M为输入变量的总个数,i=1,2…K,K为状态转化图中可能发生的状态转换的种类;
S3:释放状态转换信息并完成状态转换:在时钟高电平时,时钟信号clk1将步骤S2生成的keysmithi转换为分子keyi,如图6所示,分子keyi根据状态转换图,通过双分子催化反应将当前状态变量和输出变量彻底转换为目标状态的状态变量和输出变量,如图7所示,且状态变量和输出变量的转换在同一时钟高电平完成;
S4:在时钟低电平时,时钟信号clk0将步骤S3生成的keyi彻底转化为与整个反应体系不相干的分子,如图8所示。
图5中,分子mi(i=1,2,…8)代表中间产物;箭头上方的ks、kf代表反应速率常数,kf的值为ks的100倍,也就是说,分子clk0参与的2个反应的速率慢于其它反应,为限速步骤。它使得keysmithi的生成速率主要由clk0与X的反应决定,也就是说,当clk0的浓度接近0时,中间产物m1m2将不再生成,反之将被快速地转化为对应的keysmithi。
Claims (1)
1.基于分子计算的同步时序逻辑设计方法,其特征在于:包括以下步骤:
S1:逻辑变量的表征与时钟信号的生成:画出描述同步时序逻辑电路功能的状态转换图,状态转换图中包含状态变量、输入变量和输出变量这三种逻辑变量,用双轨逻辑和双稳态反应表征状态转换图中的逻辑变量,利用时钟信号驱动状态转换图;
S2:根据状态变量与输入变量得到并压缩状态转换信息:在时钟低电平时,时钟信号clk0首先与状态转换图中第一个状态变量反应生成第一个状态中间产物,第一个状态中间产物再与第二个状态变量反应生成第二个状态中间产物,依次进行,直至第N-1个状态中间产物与第N个状态变量反应生成第N个状态中间产物,N为状态变量的总个数;第N个状态中间产物再与第一个输入变量反应得到第一个输入中间产物,第一个输入中间产物与第二个输入变量反应得到第二个输入中间产物,依次进行,直至第M-1个输入中间产物与第M个输入变量反应得到最终的分子keysmithi,M为输入变量的总个数,i=1,2…K,K为状态转化图中可能发生的状态转换的种类;
S3:释放状态转换信息并完成状态转换:在时钟高电平时,时钟信号clk1将步骤S2生成的keysmithi转换为分子keyi,分子keyi根据状态转换图,通过双分子催化反应将当前状态变量和输出变量彻底转换为目标状态的状态变量和输出变量,且状态变量和输出变量的转换在同一时钟高电平完成;
S4:在时钟低电平时,时钟信号clk0将步骤S3生成的keyi彻底转化为与整个反应体系不相干的分子。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710193067.5A CN107103183B (zh) | 2017-03-28 | 2017-03-28 | 基于分子计算的同步时序逻辑设计方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710193067.5A CN107103183B (zh) | 2017-03-28 | 2017-03-28 | 基于分子计算的同步时序逻辑设计方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107103183A CN107103183A (zh) | 2017-08-29 |
CN107103183B true CN107103183B (zh) | 2020-04-24 |
Family
ID=59675947
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710193067.5A Active CN107103183B (zh) | 2017-03-28 | 2017-03-28 | 基于分子计算的同步时序逻辑设计方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107103183B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108537000B (zh) * | 2018-03-27 | 2021-07-27 | 东南大学 | 基于分子计算的米利型状态机设计方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103475361A (zh) * | 2013-02-21 | 2013-12-25 | 郑州轻工业学院 | 一种基于dna自组装计算的半减器设计方法 |
CN105046102A (zh) * | 2015-06-29 | 2015-11-11 | 东南大学 | 基于DNA分子链置换反应提取实现组合逻辑的CRNs的方法 |
CN204791732U (zh) * | 2015-05-08 | 2015-11-18 | 淮阴师范学院 | 一种新型分子结构演示模型 |
JP2016014074A (ja) * | 2014-06-19 | 2016-01-28 | 国立研究開発法人物質・材料研究機構 | プログラム可能なナノロボットに添付されたセンサ、分子機械及びコントローラ |
-
2017
- 2017-03-28 CN CN201710193067.5A patent/CN107103183B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103475361A (zh) * | 2013-02-21 | 2013-12-25 | 郑州轻工业学院 | 一种基于dna自组装计算的半减器设计方法 |
JP2016014074A (ja) * | 2014-06-19 | 2016-01-28 | 国立研究開発法人物質・材料研究機構 | プログラム可能なナノロボットに添付されたセンサ、分子機械及びコントローラ |
CN204791732U (zh) * | 2015-05-08 | 2015-11-18 | 淮阴师范学院 | 一种新型分子结构演示模型 |
CN105046102A (zh) * | 2015-06-29 | 2015-11-11 | 东南大学 | 基于DNA分子链置换反应提取实现组合逻辑的CRNs的方法 |
Non-Patent Citations (3)
Title |
---|
《A formal design Methodology for Synthesizing a Clock Signal with an Arbitrary Duty Cycle of M/N》;Lulu Ge et al;《IEEE Workshop on Signal Processing》;20151231;第1-6页; * |
《Digital Logic with Molecular Reactions》;Hua Jiang et al;;《IEEE》;20131231;第721-727页; * |
《Synchronous Sequential Computation with Molecular Reactions》;Hua Jiang et al;;《48th ACM EDAC IEEE Design Automation Conference》;20111231;第836-841页; * |
Also Published As
Publication number | Publication date |
---|---|
CN107103183A (zh) | 2017-08-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Zhou et al. | Constructing a new chaotic system based on the Silnikov criterion | |
CN104022782B (zh) | 一种数字式多通道模拟信号发生方法 | |
Bryans et al. | The power of nondeterminism in self-assembly | |
CN108931917A (zh) | 一种三阶严反馈混沌投影同步方法 | |
CN107103183B (zh) | 基于分子计算的同步时序逻辑设计方法 | |
CN102419789B (zh) | 一种高层次综合方法以及系统 | |
CN108009395B (zh) | 一种用dna链置换反应实现单分子形式化学反应网络的方法 | |
CN109062054A (zh) | 一种三阶严反馈混沌轨迹跟踪方法 | |
CN106656213B (zh) | 基于k段分解的低复杂度极化码折叠硬件构架的实现方法 | |
Chen et al. | A stable-manifold-based method for chaos control and synchronization | |
Khan et al. | GF (4) based synthesis of quaternary reversible/quantum logic circuits | |
Kabulov et al. | Algorithmic method of the conversion functioning tables (FT) for control industrial systems | |
CN103049603B (zh) | 一种带并发的状态机图转换到自动机的方法 | |
CN105447339A (zh) | 一种基于化学反应动力学的组合逻辑电路设计方法 | |
CN111739132B (zh) | 一种基于局部控制器的全身骨骼运动效果修改方法 | |
Li et al. | Five inputs code lock circuit design based on DNA strand displacement mechanism | |
CN108537000B (zh) | 基于分子计算的米利型状态机设计方法 | |
CN107124161B (zh) | 一种基于单分子和二分子化学反应网络实现m/n占空比时钟信号的方法 | |
Schwatinski et al. | An advanced simulation approach for parallel DEVS with ports | |
CN111598241B (zh) | 一种dna逻辑级联电路及处理方法、装置和介质 | |
Csenki | Flowgraph models in reliability and finite automata | |
Zhong et al. | Implementation of Mealy machine with molecular reactions | |
Shinde et al. | On the joint distribution of runs in the sequence of Markov-dependent multi-state trials | |
Wang et al. | Three-Input and Nine-Output Cubic Logical Circuit Based on DNA Strand Displacement | |
Chen et al. | Timed-pNets: A formal communication behavior model for real-time CPS system |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |