| Aqueous Computing: A Survey with an Invitation to Participate |
| |
| 作者姓名： | TomHead XiaChen |
| |
| 作者单位： | [1]DepartmentofMathematicalSciences,BinghamtonUniversity,Binghamton,NewYork13902－6000,USA [2]BiologicalSciencesDepartment,BinghamtonUniversity,Binghamton,NewYork13902－6000,USA |
| |
| 基金项目： | 国家自然科学基金，the Leiden Center for Natural Computing |
| |
| 摘 要： | The concept of aqueous computing is presented here,first infull generality,and afterward,using an implementation in a specific enzymatic technology.Aqueous computing arose in the context of biomoloecular (DNA) computing,but the concept is independent of the specifics of its biochemical origin.Alternate technologies for realizing aqueous computing are being considered for future implementation.A solution of an instance of the Boolean satisfiability problem,(SAT),is reported here that provides a new example of an aqueous computation that has been carried out successfully.This small instance of the SAT problem is sufficiently complex to allow our current enzymatic technology to be illustrated in detail.The reader is invited to participate in the rich interdisciplinary activity required by wet lab computing.A project is suggested to the reader for determining the three-colorings of a graph.The basic operations required for this project are exhibited in the solution of the SAT example reported here.
|
| 关 键 词： | DNA计算 生物分子计算 流体存储 |
Aqueous computing: A survey with an invitation to participate |
| |
| Tom Head,Xia Chen,Masayuki Yamamura,Susannah Gal.Aqueous Computing: A Survey with an Invitation to Participate[J].Journal of Computer Science and Technology,2002,17(6):0-0. |
| |
| Authors: | Tom Head Xia Chen Masayuki Yamamura Susannah Gal |
| |
| Affiliation: | (1) Department of Mathematical Sciences, Binghamton University, 13902-6000 Binghamton, New York, USA;(2) Biological Sciences Department, Binghamton University, 13902-6000 Binghamton, New York, USA;(3) Computational Intelligence and System Science, Tokyo Institute of Technology, 4259, Nagasuta, 226 Yokohama, Japan |
| |
| Abstract: | The concept of aqueous computing is presented here, first in full generality, and afterward, using an implementation in a specific enzymatic technology. Aqueous computing arose in the context of biomolecular (DNA) computing, but the concept is independent of the specifics of its biochemical origin. Alternate technologies for realizing aqueous computing are being considered for future implementation. A solution of an instance of the Boolean satisfiability problem, (SAT), is reported here that provides a new example of an aqueous computation that has been carried out successfully. This small instance of the SAT problem is sufficiently complex to allow our current enzymatic technology to be illustrated in detail. The reader is invited to participate in the rich interdisciplinary activity required by wet lab computing. A project is suggested to the reader for determining the three-colorings of a graph. The basic operations required for this project are exhibited in the solution of the SAT example reported here. |
| |
| Keywords: | aqueous computing biomolecular computing DNA computing enzymatic computing fluid memory graph three-colorings |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
|
