Abstract
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.
Similar content being viewed by others
Reference
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
Author information
Authors and Affiliations
Corresponding author
Additional information
Authors contributed equally to the present work.
Rights and permissions
About this article
Cite this article
Rose, J.A., Suyama, A. Physical modeling of biomolecular computers: Models, limitations, and experimental validation. Nat Comput 3, 411–426 (2004). https://doi.org/10.1007/s11047-004-2643-x
Issue Date:
DOI: https://doi.org/10.1007/s11047-004-2643-x