Author/Authors :
Joon Shik Kim، نويسنده , , Ji-Woo Lee، نويسنده , , Yung-Kyun Noh، نويسنده , , Ji-Yoon Park، نويسنده , , Dong Yoon Lee، نويسنده , , Kyung-Ae Yang، نويسنده , , Young Gyu Chai، نويسنده , , Jong Chan Kim، نويسنده , , Byoung-Tak Zhang، نويسنده ,
Abstract :
Many DNA-based technologies, such as DNA computing, DNA nanoassembly and DNA biochips, rely on DNA hybridization reactions. Previous hybridization models have focused on macroscopic reactions between two DNA strands at the sequence level. Here, we propose a novel population-based Monte Carlo algorithm that simulates a microscopic model of reacting DNA molecules. The algorithm uses two essential thermodynamic quantities of DNA molecules: the binding energy of bound DNA strands and the entropy of unbound strands. Using this evolutionary Monte Carlo method, we obtain a minimum free energy configuration in the equilibrium state. We applied this method to a logical reasoning problem and compared the simulation results with the experimental results of the wet-lab DNA experiments performed subsequently. Our simulation predicted the experimental results quantitatively.
Keywords :
DNA computing , Evolutionary algorithm , Monte Carlo method , DNA theorem proving