DNA-Computing – ein funktionales Modell im laborpraktischen Experiment

Zusammenfassung. Im Zentrum der Betrachtungen zum DNA-Computing steht die Frage nach den Chancen und Grenzen dieses neuen Berechnungsmodells, nachdem in den letzten Jahren eine rasante Entwicklung auf das Thema aufmerksam machte. Neben beachtlichen theoretischen Untersuchungen zum “Rechnen im Reagenzglas” werden auch laborpraktische Implementierungen favorisiert. An der TU Dresden wurde in interdisziplinärer Arbeit ein Integer-Rucksackproblem mittels eines DNA-Algorithmus im Labor gelöst und dabei eine Vielzahl molekularbiologischer Operationen analysiert. Mit Hilfe dieses Satzes von Operationen gelang eine universelle und labornahe Modellierung des DNA-Computing. Hierbei angewandte Techniken und Methoden werden vorgestellt und bewertet. Die Beschreibung des DNA-Algorithmus zeigt, wie sich Einzeloperationen vorteilhaft zu Operationsfolgen zusammensetzen lassen und gemeinsam mit einer geeigneten DNA-Kodierung der Eingangsdaten zur Lösung des Problems im Labor führen. Erstmalig wurden hierbei natürliche Zahlen verarbeitet. Die Arbeitsgemeinschaft DNA-Computing Dresden konzentriert sich auf Aufgabenstellungen, die formale Modelle des DNA-Computing mit überzeugenden Laborimplementierungen verbinden.Abstract. DNA computing as a new model for computation is worldwide considered with respect to its chances and limits. During the last years a huge progress in this field of research could be observed. Both remarkable theoretical studies about “Calculating inside the reaction tube” and lab-practical implementations are focussed. An instance of the integer knapsack problem was solved at Dresden University of Technology in an interdisciplinary manner. In this context, a multiplicity of molecular biological operations was analyzed. Using the applicable set of operations it was possible to model a universal description of DNA computing close to the laboratory. The methods and techniques the description is based on are introduced and evaluated. The specification of the DNA algorithm shows a way how single operations can be combined advantageously to a sequence of operations. This aspect and an appropriate DNA encoding of input data led to a successful solution in the laboratory. For the first time natural numbers were processed. The Dresden DNA Computation Group concentrates on objectives that connect formal models of DNA computing with convincing implementations in the laboratory.

[1]  Uwe Schöning,et al.  Theoretische Informatik kurz gefasst , 1992 .

[2]  S. Grimwade Recombinant DNA , 1977, Nature.

[3]  Lila Kari,et al.  From Micro-Soft to Bio-Soft: Computing With DNA , 1997, BCEC.

[4]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[5]  Gheorghe Paun,et al.  DNA Computing: New Computing Paradigms , 1998 .

[6]  Erik Winfree,et al.  A Sticker-Based Model for DNA Computation , 1998, J. Comput. Biol..

[7]  L F Landweber,et al.  Molecular computation: RNA solutions to chess problems , 2000, Proc. Natl. Acad. Sci. USA.

[8]  David K. Gifford,et al.  Thermodynamic simulation of deoxyoligonucleotide hybridization for DNA computation , 1997, DNA Based Computers.

[9]  Masami Hagiya,et al.  From Molecular Computing to Molecular Programming , 2000, DNA Computing.

[10]  John H. Reif,et al.  Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization , 2000, DNA Computing.

[11]  Leonard M. Adleman,et al.  Solution of a Satisfiability Problem on a Gel-Based DNA Computer , 2000, DNA Computing.

[12]  Gheorghe Paun Splicing: A Challenge for Formal Language Theorists , 2001, Current Trends in Theoretical Computer Science.

[13]  Thomas Hinze,et al.  Distributed Splicing of RE with 6 Test Tubes , .

[14]  J.,et al.  Using DNA to Solve NP-Complete ProblemsRichard , 1995 .

[15]  Martyn Amos,et al.  Error-resistant implementation of DNA computations , 1996, DNA Based Computers.

[16]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..