[發明專利]基于分子計算的米利型狀態機設計方法

有效

• 申請號: 201810255562.9
• 申請日: 2018-03-27
• 公開（公告）號: CN108537000B
• 公開（公告）日: 2021-07-27
• 發明（設計）人: 張川;鐘志偉;戈璐璐;尤肖虎
• 申請（專利權）人: 東南大學
• 主分類號: G16C20/10
• 分類號: G16C20/10;G16C20/70
• 代理公司: 南京蘇高專利商標事務所(普通合伙) 32204
• 代理人: 饒欣

1.基于分子計算的米利型狀態機設計方法，其特征在于：包括以下步驟：

S1：針對米利型狀態機特定的時序邏輯功能畫出對應的狀態轉換圖，狀態轉換圖中包含狀態變量、輸入變量和輸出變量這三種邏輯變量，為每一個邏輯變量分配特定的化學分子以表示其邏輯值；狀態轉換圖中包含多個箭頭，每一個箭頭都代表從一個狀態向另一個狀態的轉換；對于每一個狀態轉換都設定一種特定的催化劑分子，催化劑分子用于通過催化反應使得狀態變量和輸出變量的值更新或保持為箭頭所對應的狀態值和輸出值；

S2：確定狀態機的初始狀態；

S3：如果狀態機的輸入變量只有一個，則所述輸入變量分子通過催化反應將維持當前狀態的催化劑轉化為從當前狀態指向下一狀態的箭頭所對應的催化劑；如果狀態機的輸入變量超過一個，則所有輸入變量分子通過二分子反應壓縮為一種分子，壓縮后的分子將當前狀態的催化劑轉化為從當前狀態指向下一狀態的箭頭所對應的催化劑；

S4：轉化后的催化劑根據狀態轉換圖更新狀態變量和輸出變量的值，將輸入變量轉化為與整個化學反應網絡無關的物質。

2.根據權利要求1所述的基于分子計算的米利型狀態機設計方法，其特征在于：所述S2中初始狀態用狀態變量分子和輸出變量分子來表示，并且用催化劑通過催化反應來維持狀態變量和輸出變量的值。