Physical modeling of biomolecular computers: Models, limitations, and experimental validation

Springer Science and Business Media LLC - 2004
John A. Rose1, Akira Suyama2
1Department of Computer Science, and UPBSB, The University of Tokyo, and Japan Science and Technology Corporation, CREST, Japan
2Institute of Physics, The University of Tokyo, and Japan Science and Technology Corporation, CREST, Japan

Tóm tắt

A principal challenge facing the development and scaling of biomolecular computers is the design of physically well-motivated, experimentally validated simulation tools. In particular, accurate simulations of computational behavior are needed to establish the feasibility of new architectures, and to guide process implementation, by aiding strand design. Key issues accompanying simulator development include model selection, determination of appropriate level of chemical detail, and experimental validation. In this work, each of these issues is discussed in detail, as presented at the workshop on simulation tools for biomolecular computers (SIMBMC), held at the 2003 Congress on Evolutionary Computation. The three major physical models commonly applied to model biomolecular processes, namely molecular mechanics, chemical kinetics, and statistical thermodynamics, are compared and contrasted, with a focus on the potential of each to simulate various aspects of biomolecular computers. The fundamental and practical limitations of each approach are considered, along with a discussion of appropriate chemical detail, at the biopolymer, process, and system levels. The relationship between system analysis and design is addressed, and formalized via the DNA Strand Design problem (DSD). Finally, the need for experimental validation of both underlying parameter sets and overall predictions is discussed, along with illustrative examples.

Từ khóa


Tài liệu tham khảo

LM Adleman (1994) ArticleTitleMolecular computation of solutions to combinatorial problems Science 266 1021–1024 Occurrence Handle1:CAS:528:DyaK2MXitFSjs7k%3D Occurrence Handle7973651

M Andronescu et al. (2002) Algorithms for testing that sets of DNA words concatenate without secondary structure M Hagiya A Ohuchi (Eds) DNA Computing LNCS 2568 Springer NY 182–195

M Arita S Kobayashi (2003) ArticleTitleDNA sequence design using templates New Generation Computing 20 263–277

A Ben-Dor et al. (2000) ArticleTitleUniversal DNA tag systems: a combinatorial design scheme Journal of Computational Biology 7 503–519

AS Benight RM Wartell DK Howell (1981) ArticleTitleTheory agrees with experimental thermal denaturation of short DNA restriction fragments Nature 289 203–205

Blain D et al. (2004) Development, evaluation, and benchmarking of simulation software. Natural Computing, this issue

RD Blake et al. (1999) ArticleTitleStatistical mechanical simulation of polymeric DNA melting with MELTSIM Bioinformatics 15 370–375

G Bonnet et al. (1998) ArticleTitleKinetics of conformational fluctuations in DNA hairpinloops Proceedings National Academy of the USA 95 8602–8606

BR Brooks et al. (1983) ArticleTitleCHARMM: A program for macromolecular energy, minimization, and dynamics calculations Journal Computational Chemistry 4 187–217

C Cantor P Schimmel (1980) Biophysical Chemistry, Part III: The Behavior of Biological Macromolecules W. H. Freeman New York

TE Cheatham SuffixIII PA Kollman (2000) ArticleTitleMolecular dynamics simulation of nucleic acids Annual Review of Physical Chemistry 51 435–471

J Chen eds Reif J (2004) DNA Computing – 9th International Workshop on DNA Based Computers, LNCS 2943 Springer New York

A Condon RM Corn A Marathe (2001) ArticleTitleOn combinatorial DNA word design Journal of Computational Biology 8 201–220

RJ Deaton et al. (1998) ArticleTitleThe reliability of DNA-based computing Physical Review Letters 80 417–420

RJ Deaton et al. (2002) A software tool for generating non-crosshybridizing libraries of DNA oligonucleotides M Hagiya A Ohuchi (Eds) DNA Computing, LNCS 2568. Springer NY 252–261

B Eaton (1995) ArticleTitleLet’s get specific: the relationship between specificity and affinity Chemistry and Biology 2 635–638

M Feig BM Pettitt (1998) ArticleTitleStructural equilibrium of DNA represented with different force fields Biophysical Journal 75 134–149

M Garzon B Hyde K Bobba (2004b) Efficiency and reliability of semantic retrieval in DNA-based memories J Chen J Reif (Eds) DNA Computing –9th International Workshop on DNA Based Computers, LNCS 2943. Springer New-York 157–169

Garzon M, Blain D and Bobba K (2004a) Simulation environments for biomolecular computing. Natural Computing, this issue

M Hagiya A Ohuchi (Eds) (2003) DNA Computing, LNCS 2568 Springer NY

Hartemink A and Gifford D (1999) Thermodynamic simulation of deoxyribonucleotide hybridization for DNA computation. In: Rubin H and Wood DH (eds) (2000), DNA Based Computers III. pp. 25–38. Amercian Mathematical Society, Providence

IL Hofacker (2003) ArticleTitleVienna RNA secondary structure server Nucleic Acids Research 31 3429–3431

F Jensen (2001) Introduction to Computational Chemistry Wiley New York

A Leach (2001) Molecular Modeling: Principles and Applications Prentice Hall Upper Saddle River

Q Liu et al. (1999) ArticleTitleProgress towards demonstration of a surface based DNA computation: a one word approach to solve a model satisfiability problem Biosystems 52 25–33

JS McCaskill (1990) ArticleTitleThe equilibrium partition function and base pair binding probabilities for RNA secondary structure Biopolymers 29 1105–1119

Michalewicz Z (1996) Genetic Algorithms + Data Structures = Evolution Programs, 3rd ed. Springer, New York

A Nishikawa M Yamamura M Hagiya (2001) ArticleTitleDNA computation simulator based on abstract bases Soft Computing 5 25–38

DA Pearlman et al. (1995) ArticleTitleAMBER, a computer program for applying molecular mechanics, normal mode analyis, molecular dynamics and free energy calculations to elucidate the structures and energies of molecules Computer Physics Communications 91 1–41

D Poland H Scheraga (1970) Theory of Helix-Coil Transitions in Biopolymers Academic Press New York

JA Rose RJ Deaton (2001) The fidelity of annealing–ligation: a theoretical analysis A Condon G Rozenberg (Eds) DNA Computing – 6th International Workshop on DNA Based Computers, LNCS 2054. Springer NY 231–246

JA Rose et al. (2001) The fidelity of the tag–antitag system N Jonaska NC Seeman (Eds) DNA Computing – 7th International Workshop on DNA Based Computers, LNCS 2340. Springer New York 302–310

Rose JA, et al. (2002) Equilibrium analysis of the efficiency of an autonomous molecular computer. Physical Review E 65: Article 021910, 1–13

Rose JA, Hagiya M and Suyama A (2003) The fidelity of the tag-antitag system 2: reconciliation with the stringency picture. In: Proceedings of the Congress on Evolutionary Computation, Dec. 2003, Canberra, Australia, pp 2740–2747

Rose JA, Deaton RJ and Suyama A (2004) Statistical Thermodynamic Analysis and Design of DNA-based Computers. Natural Computing, this issue

H Rubin DH Wood (Eds) (2000) DNA Based Computers III American Mathematical Society Providence,RI

J SantaLucia SuffixJr. D Hicks (2004) ArticleTitleThe thermodynamics of DNA structural motifs Annual Review of Biophysics and Biomolecular Structure 33 415–440

A Smellie S Teig P Towbin (1995) ArticleTitlePoling: promoting conformational variation Journal Computational Chemistry 16 171–187

J Sponer J Kypr (1993) ArticleTitleTheoretical analysis of the base stacking in DNA. Choice of the force field and a comparison with the oligonucleotide crystal structures Journal Biomolecular Structure & Dynamics 11 277–292

G Steger (1994) ArticleTitleThermal denaturation of double-stranded nucleic acids: prediction of temperatures critical for gradient gel electrophoresis and polymerase chain reaction Nucleic Acids Research 22 2760–2768

Takano M et al. (2004) On the model granularity to simulate protein dynamics: A biological physics view on biomolecular computing. Natural Computing, this issue

H Uejima M Hagiya (2004) Secondary structure design of multi-state DNA machines based on sequential structure transitions J Chen J Reif (Eds) DNA Computing – 9th International Workshop on DNA Based Computers LNCS 2943. Springer New York 74–85

K Holde Particlevan C Johnson P Ho (1998) Principles of Biophysical Chemistry Prentice Hall Upper Saddle River

E Voit (2000) Computational Analysis of Biochemical Systems Cambridge University Press New York

E Kitzing Particlevon (1992) ArticleTitleModeling DNA structures Progress in Nucleic Acids Research and Molecular Biology 43 89–110

JG Wetmur (1991) ArticleTitleDNA probes: applications of the principles of nucleic acid hybridization Critical Reviews in Biochemistry and Molecular Biology 26 227–259

RM Wartell AS Benight (1985) ArticleTitleThermal denaturation of DNA molecules: A comparison of theory with experiment Physics Reports 126 67–107

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Thông tin tác giả