請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/67570
標題: | 類比與數位生物計算機之自動化設計 Design automation in analog and digital biological computing |
作者: | Tai-Yin Chiu 邱泰尹 |
指導教授: | 江介宏 |
關鍵字: | 生物計算,生物系統設計最佳化,系統及合成生物學,DNA奈米科技,基因電路,線性系統,重組?, biological computing,bio-design automation,systems and synthetic biology,DNA nanotechnology,genetic circuits,linear systems,recombinase, |
出版年 : | 2017 |
學位: | 碩士 |
摘要: | 隨著合成生物學及DNA奈米科技的發展,許多生物計算機的模型已經被提出或甚至實現。如同經典計算機,生物計算機也可被分類為類比和數位兩種類型,而本篇論文即探討這兩種類型的生物計算器之自動化設計。在類比生物計算中,先前的研究提出了如何利用生化反應來以近似的(approximate)方式拼湊出線性系統,受此啟發,我們改良並提出了一套方法,使得我們能以自動化合成的方式精準的(exact)實現線性系統。我們從數學的分析出發,設計了三個可以直接以DNA鍊取代反應(DNA strand displacement reaction)實現的三個模組,並且證明了這三個模組可用來合成任意線性系統。此外,我們設計了一套自動化合成的流程,透過此流程,我們只需提供待實現系統的轉移函數(transfer function),即可自動化的以這三個模組合成出待實現系統。
而在數位生物計算中,先前的研究提出了如何利用DNA重組酶(recombinase)在大腸桿菌中來實現兩個輸入信號的邏輯閘(two-input logic gate),受此啟發,我們研究了如何將兩個輸入信號推廣至多個輸入訊號,並且探討多輸入訊號邏輯閘(multi-input logic gate)的表現力(expressive power),此外,我們研究如何利用多輸入訊號邏輯閘來合成出性能最佳化(performance-optimized)的大型邏輯電路。為此,我們首先用正規語言來定義DNA序列的語法,藉由此語法來定義出合法的「由重組酶實現的邏輯閘(recombinase-based logic gate)」,此外我們也推導出合法邏輯閘的布林語意(Boolean semantics),並發現由重組酶實現的邏輯閘的語意是一套決策清單(decision list)而且是功能完備的(functionally complete)。有了合法邏輯閘的定義及其語意,我們利用邏輯合成工具將合法邏輯閘合成出任意大型的邏輯電路,且所合成的電路將會是面積或者是延遲最佳化(area and delay optimization)。 With the advancements of synthetic biology and DNA nanotechnology, more and more biological computing devices were proposed. Like classical computation bio-computing can be categorized into analog and digital computing. In this thesis we study the design automation of both types of bio-computing devices. For the analog regime, motivated by previous work on linear systems implemented approximately with biochemical reactions, we consider a methodology for exact and automatic implementation of biological linear systems. From the mathematical analysis we designed three modules exactly implementable with DNA strand displacement reactions and proved them sufficient to synthesize any linear system. Furthermore, we devised an automated design flow which can synthesize linear systems with these three modules from their transfer function specifications. For the digital regime, inspired by previous work on building two-input genetic logic gates in E. coli cells based on recombinase-mediated DNA inversion, we investigated the expressive power of generalized multi-input recombinase-based logic gates and the performance-optimized design automation for large-scale logic circuits. Here we used formal language to define the syntax of a DNA sequence which forms a legal recombinase-based logic gate. Moreover, We derived the Boolean semantics of legal logic gates, which can be characterized by decision lists and are functionally complete. For design automation we exploited logic synthesis tool to synthesize large-scale recombinase-based circuits with area and delay optimizations. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/67570 |
DOI: | 10.6342/NTU201702239 |
全文授權: | 有償授權 |
顯示於系所單位: | 電子工程學研究所 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-106-1.pdf 目前未授權公開取用 | 12.71 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。