運用化學反應實作穩健算數運算之研究

Robust Arithmetic Computation with Chemical Reactions

鄭棋勻(Chi-Yun Cheng)

指導教授 ： 江介宏

國立臺灣大學/電機資訊學院/電子工程學研究所/碩士(2012年)

https://doi.org/10.6342/NTU.2012.00822

摘要

在本篇論文裡介紹利用生物化學反應式作為工具來達成算術運算。特別的是，我們用生物化學反應式來達成除法和最大公因數的計算。
在研究上面臨了兩個重要的挑戰：首先，生物化學反應式在本質上是會同時觸發的，此併發現象不同於典型的程式語言系統規範。接著，為使得這套設計方法能有系統的且有能夠達成複雜設計的潛力，必須以模組化的理念實行。前者能透過從缺指示物和延遲緩衝器來克服，它們在必要時能將生物化學反應式的活化做適當的規劃使其連續且有規律。後者可直覺地透過裴氏網的形式將程式轉為反應式解決。有了這些設計理念，模擬結果顯示出除法和最大公因數可透過生物化學反應式達成。我們期望類似的設計理念能夠適用於更複雜的算術運算之上。

關鍵字

生物化學反應式 ； 算術運算 ； 裴氏網

並列摘要

This thesis exploits biochemical reactions as a media for arithmetic computation. In particular, we show how division and greatest common divisor (GCD) computation can be achieved using biochemical reactions.
The main challenges are two-fold: First, biochemical reactions are intrinsically concurrent. This concurrency differs from the sequentiality in typical programming languages for system specification. Second, to make the design methodology systematic and potentially scalable to complex designs, the principle of modularity has to be enforced. The former is overcome through the use of absence indicators and delay buffers, which makes the activation of biochemical reactions well-ordered in a sequential manner when necessary. The latter is resolved through the intuitive program-to-reaction translation with Petri net visualization. With these design principles, simulation results show that division and GCD computation can be achieved through biochemical reactions. We ticipate similar design principles can be applied to achieve more complex arithmetic computations.

並列關鍵字

Biochemical Reactions ； Arithmetic Computation ； Petri Nets

參考文獻

[1] B. Fett and M. Riedel. Module Locking in Biochemical Systems. In Proc. Int'l

Conf. Computer-Aided Design, 2008.

[2] E. Andrianantoandro, S. Basu, D. Karig, and R. Weiss. Synthetic biology: New

engineering rules for an emerging discipline. Molecular Systems Biology, 2006.

[3] U. Alon. An Introduction to Systems Biology: Design Principles of Biological