-
-
公开(公告)号:CN108537000A
公开(公告)日:2018-09-14
申请号:CN201810255562.9
申请日:2018-03-27
Applicant: 东南大学
IPC: G06F19/00
Abstract: 本发明公开了一种基于分子计算的米利型状态机设计方法,包括以下步骤:S1:针对米利型状态机特定的时序逻辑功能画出对应的状态转换图;S2:确定状态机的初始状态;S3:如果状态机的输入变量只有一个,则所述输入变量分子通过催化反应将维持当前状态的催化剂转化为从当前状态指向下一状态的箭头所对应的催化剂;如果状态机的输入变量超过一个,则所有输入变量分子通过二分子反应压缩为一种分子,压缩后的分子将当前状态的催化剂转化为从当前状态指向下一状态的箭头所对应的催化剂;S4:转化后的催化剂根据状态转换图更新状态变量和输出变量的值,将输入变量转化为与整个化学反应网络无关的物质。本发明提高了化学反应网络的物理实现的可行性。
-
公开(公告)号:CN105677293A
公开(公告)日:2016-06-15
申请号:CN201610014193.5
申请日:2016-01-11
Applicant: 东南大学
IPC: G06F7/50
CPC classification number: G06F7/50
Abstract: 本发明公开了一种基于双稳态反应的CRNs加法器的计算方法,包括以下步骤:S1设置参数,S2将被加数与加数相加,被加数与加数对应位的物质同时进行异或反应,得到第一步中间产物与进位物质;S3第一步中间产物在进位物质的催化下转化为下一步的中间产物;每一步的中间产物转化为对应的最终产物,并在双稳态反应下,最后得到稳定的结果。本发明无需数字电路加法器内部复杂的电路结构,寻求简洁高效的计算方式,使得被加数在加数的“催化”作用下,通过中间产物快速而稳定地转化为计算结果。
-
公开(公告)号:CN105447339A
公开(公告)日:2016-03-30
申请号:CN201511027212.X
申请日:2015-12-31
Applicant: 东南大学
Abstract: 本发明公开了一种基于化学反应动力学的组合逻辑电路设计方法,根据设定的逻辑功能,得到一张反映输入信号、输出信号逻辑关系的真值表,将该真值表通过卡诺图作部分映射到形式化学反应网络CRNs,从而实现该设定逻辑功能。方法借助于卡诺图作部分映射,减少使用的化学反应方程数目而不影响所实现的逻辑功能,具有普适一般性,且通俗易懂。
-
公开(公告)号:CN105046102A
公开(公告)日:2015-11-11
申请号:CN201510369748.3
申请日:2015-06-29
Applicant: 东南大学
IPC: G06F19/16
Abstract: 本发明公开了一种基于DNA分子链置换反应提取实现组合逻辑的CRNs的方法,包括以下步骤:步骤1:按照设定的逻辑功能,得到一张反映输入、输出逻辑关系的真值表,并从真值表中映射出形式化学反应网络;步骤2:采用卡诺图化简的方法,对步骤1中获得的形式化学反应网络进行化简,获得用于实现组合逻辑功能的形式化学反应网络。本发明提供的方法主要用于DNA分子链置换反应中表示逻辑关系的化学反应网络的获得,主要采用电子学中的真值表以及卡诺图化简的方式获取CRNs,不仅无需考虑具体的电路架构就可以获得能够反应逻辑关系的CRNs,而且简化了CRNs,有效降低了能耗。同时本发明提供的方法更具有一般性,通俗易懂,操作更加简单方便。
-
公开(公告)号:CN108537000B
公开(公告)日:2021-07-27
申请号:CN201810255562.9
申请日:2018-03-27
Applicant: 东南大学
Abstract: 本发明公开了一种基于分子计算的米利型状态机设计方法,包括以下步骤:S1:针对米利型状态机特定的时序逻辑功能画出对应的状态转换图;S2:确定状态机的初始状态;S3:如果状态机的输入变量只有一个,则所述输入变量分子通过催化反应将维持当前状态的催化剂转化为从当前状态指向下一状态的箭头所对应的催化剂;如果状态机的输入变量超过一个,则所有输入变量分子通过二分子反应压缩为一种分子,压缩后的分子将当前状态的催化剂转化为从当前状态指向下一状态的箭头所对应的催化剂;S4:转化后的催化剂根据状态转换图更新状态变量和输出变量的值,将输入变量转化为与整个化学反应网络无关的物质。本发明提高了化学反应网络的物理实现的可行性。
-
-
公开(公告)号:CN105677293B
公开(公告)日:2018-11-23
申请号:CN201610014193.5
申请日:2016-01-11
Applicant: 东南大学
IPC: G06F7/50
Abstract: 本发明公开了一种基于双稳态反应的CRNs加法器的计算方法,包括以下步骤:S1设置参数,S2将被加数与加数相加,被加数与加数对应位的物质同时进行异或反应,得到第一步中间产物与进位物质;S3第一步中间产物在进位物质的催化下转化为下一步的中间产物;每一步的中间产物转化为对应的最终产物,并在双稳态反应下,最后得到稳定的结果。本发明无需数字电路加法器内部复杂的电路结构,寻求简洁高效的计算方式,使得被加数在加数的“催化”作用下,通过中间产物快速而稳定地转化为计算结果。
-
公开(公告)号:CN105046102B
公开(公告)日:2018-03-20
申请号:CN201510369748.3
申请日:2015-06-29
Applicant: 东南大学
IPC: G06F19/16
Abstract: 本发明公开了一种基于DNA分子链置换反应提取实现组合逻辑的CRNs的方法,包括以下步骤:步骤1:按照设定的逻辑功能,得到一张反映输入、输出逻辑关系的真值表,并从真值表中映射出形式化学反应网络;步骤2:采用卡诺图化简的方法,对步骤1中获得的形式化学反应网络进行化简,获得用于实现组合逻辑功能的形式化学反应网络。本发明提供的方法主要用于DNA分子链置换反应中表示逻辑关系的化学反应网络的获得,主要采用电子学中的真值表以及卡诺图化简的方式获取CRNs,不仅无需考虑具体的电路架构就可以获得能够反应逻辑关系的CRNs,而且简化了CRNs,有效降低了能耗。同时本发明提供的方法更具有一般性,通俗易懂,操作更加简单方便。
-
公开(公告)号:CN107423554A
公开(公告)日:2017-12-01
申请号:CN201710431481.5
申请日:2017-06-09
Applicant: 东南大学
Abstract: 本发明公开了一种用可逆单分子反应实现马尔科夫链的设计方法,利用反应物最终的浓度表征马尔科夫链的稳态概率分布,适用于离散时间的马尔科夫链和连续时间的马尔科夫链。本发明方法解决了现有技术中用DNA反应估算马尔科夫链稳态分布的方法不能实现对连续时间马尔科夫链的计算,同时有效地减少了所需反应物的种类和反应个数。
-
-
-
-
-
-
-
-
-