Modelling on State Transfer of DNA Automaton

Yihong Qiu,Xiaoli Guo,Zhende Huang,Yisheng Zhu

DOI: https://doi.org/10.1109/icbbe.2009.5163078

2009-01-01

Abstract:A model for DNA automaton is proposed to illustrate the dynamics of the DNA computing. Simulation reveals that in steady-state the important intermediate product is produced slowly and maintains a relatively high concentration, resulting in a steady production of the final product.

What problem does this paper attempt to address?

Improve Capability of DNA Automaton: DNA Automaton with Three Internal States and Tape Head Move in Two Directions

Xiaolong Shi,Xin Li,Zheng Zhang,Jin Xu

DOI: https://doi.org/10.1007/11538356_8

2005-01-01

Abstract:DNA automaton is a simple molecular-scale automaton, in which the converting of information deploys in molecule-scale by DNA and DNA-manipulating enzymes autonomously. Finite automaton with two internal states has been applied to medical diagnosis. This paper analyses the computation ability of DNA automaton with different enzymes and the possibility of DNA finite automaton with three internal states which is more powerful than the two internal states finite automaton. Finally, we describe a DNA finite automaton with three internal states and proposal a scheme of DNA automaton model in which the tape head can move forward and backward, and symbols can be read from and write into the tape, thus extend the computation ability of DNA automaton and its application fields.
Computation in Chemistry: A Summary of the Development and Models of DNA Computing

Xiaoyao Yin,Fei Li,Xiaochen Bo,Zhigang Luo,Xiaolei Zuo

DOI: https://doi.org/10.7536/pc170701

2017-01-01

Progress in chemistry

Abstract:The development in computer science has brought a great impetus to the advance of human society. However, as the manufacturing process goes to the limit, there is an urgent need to find a new computing system to meet the growing demand for computing. DNA computing has attracted great attention due to its advantages in huge information storage, large scale parallelism and very low energy consumption. Many different models have been established ever since the experimental implementation of solving a 6 vertices Hamilton pathway problem by Adleman in 1994. In this paper, a brief introduction to the basic principles and experimental operations in DNA computing is first given, and the theories in this field are illustrated, including the DNA sequence design, complexity of different models and the proof of universal computing power. Moreover, the models regarded as breakthroughs in the field are summarized. All the models are classified based on the specific means in conducting the experiment, and reviewed according to different classes. More detailed descriptions are further set forth for a classical model in each class. At last, a prospect is made based on our work in this area.
DNA Computer Principle,Advances and Difficulties (iv):On the Models of DNA Computer

XU Jin,TAN Gang-Jun,FAN Yue-Ke,GUO Yang-An

DOI: https://doi.org/10.3321/j.issn:0254-4164.2007.06.002

2007-01-01

Chinese Journal of Computers

Abstract:In the DNA computer research,the quality of the model set up in DNA computing have a effect directly on all it's aspects,such as the extent of difficulty of encoding,the complete design of bio-operation and biochemistry reaction,size of solution space and computing time.Especially,the models have a effect directly on the application scope of computer as well as extent of universality.How to establish a high speed and powerful DNA Computer model with a certain universality,it is a difficulty problem that computer researcher has been interesting.For this,this paper will make a discussion around the modelings of DNA Computer.It is important that discuss some models built in recent 10 years.They are divided into 3 types:The first one is several main models built by using DNA molecular structure and characteristics;The second one is to make use of the bio-operation method build up of three kinds of model:Tube type,the surface type and chip type;The third is the so-called DNA computer model build up,working properly;This paper discusses the basic principle,function,merit and shortcoming of these models and research progress of the applications,the difficutties of the DNA computer model research analyzes,and gives solving way correspondingly.
Study of DNA computing model

ZHOU Kang,WEI Chuan-jia,CHENG Zhen,HUANG Yu-fang,XU Jin

DOI: https://doi.org/10.3778/j.issn.1002-8331.2009.18.001

2009-01-01

Abstract:DNA computing model plays an important role in the study field of DNA computing.It is significance to study DNA computing model.In the paper,first DNA computing model history is reviewed.Then the mechanism of DNA computing starting with DNA basic structure,and the process of DNA computing is analyzed in detail,thereby,basic concepts of DNA computing models are summed up.DNA computing models are classified by DNA molecule configuration of DNA computing,and theory and application for all sorts of DNA computing models are analyzed in detail.
General DNA Automaton Model with R/W Tape

Shi Xiaolong,Pan linqiang,Xu Jin

DOI: https://doi.org/10.1007/11816102_28

2006-01-01

Abstract:Since Turing machine is consisted of R/W Tape head and Turing Tape, that means a DNA based Turing machine must realize the read and write processes on Turing Tape with DNA molecules, and make the head move in two directions either. Based on our previous works on DNA computing, especially on DNA automaton and the relationship between enzymes and their computation ability with DNA automaton model. We combined different enzymes together to modify the cut and recognition sites with a programmable Tape head to embody the read and write symbol procedure on Turing tape. And this article will describe how the programmable Tape head moves in two direction and read/write procedure of Turing Tape in details.
A Computing Model Based on DNA Strand Replacement/Fluorescence Labeling for 0-1 Programming

MA Li-na,DONG Ya-fei,ZHANG Cheng,LIU Xi-kui

DOI: https://doi.org/10.3969/j.issn.1000-0984.2013.11.020

2013-01-01

Abstract:DNA strand replacement and fluorescence labeling are new technique in the area of biological computing.And they both have the advantage of operating simply,so they became common methods in DNA computing.DNA Self-assembly algorithm is a new computing model based on molecule which is regard as data storage and operator.In order to improve the specificity and detection sensitivity of self-assembly algorithm,we introduced both DNA strand replacement technique and fluorescence labeling into the self-assembly algorithm for the first time,and proposed a new DNA computing model to solve 0-1 programming problem. Compared with the previous DNA computing model,The model have some significant advantages such as improving the reliability and accuracy of the arithmetic,and it can reduce the solution space gradually,thereby reduced the complexity of operation,furthermore,it make the detection method flexibly,and easy to be used for the other self-assembly algorithm model.
The System Control Model Based on Biological DNA

Wang Chunxia,Qin Xiansheng,Qi Zhongxia,Liu Wenhui

DOI: https://doi.org/10.4028/www.scientific.net/amr.403-408.3631

2011-01-01

Advanced Materials Research

Abstract:In order to increase autonomy and adaptive system, this article builds a control model based on biological mechanism of DNA. In the cell gene controls the characteristics of the organism by guidance to synthesis of proteins. On the basis of the research in the biological regulation of DNA expression and mechanism, building cell control model based on Petri nets, sketch-like cell control system design of basic ideas and principles, and the article provides a modeling method to improve system performance.
A Quantum Chemical Convolutional Neural Network Model for Predicting Thermodynamics and Kinetics of DNA Molecules from Sequences

Likun Wang,Hao Pei,Tong Zhu

DOI: https://doi.org/10.26434/chemrxiv-2022-zq8x7

2022-01-01

Abstract:Accurate predicting thermodynamics and kinetics of DNA molecules are important for designing oligonucleotides in biotechnological applications, but current models in use are not accurate enough. Here, we propose a model combining quantum chemical calculations and convolutional neural networks (QCM) to predict the free energies of DNA duplexes and rate constants of DNA strand displacement reactions. The QCM achieves better accuracy than previous models on two limited datasets by active learning, the accuracy of predicting free energies of duplexes is 23% better than the nearest neighbor model, and the accuracy of predicting rate constants of strand displacement reactions is 60% better than the worm-like chain model.
A Model in Κ for DNA Addition

Xian Xu,Xiaoju Dong,Yuxi Fu

DOI: https://doi.org/10.1016/j.entcs.2007.05.018

2007-01-01

Electronic Notes in Theoretical Computer Science

Abstract:DNA computing is a hot research topic in recent years. Formalization and verification using theories(π-calculus, bioambients, κ-calculus and etc.) in Computer Science attract attention because it can help prove and predict to a certian degree various kinds of biological processes. Combining these two aspects, formal methods can be used to verify algorithms in DNA computing, including basic arithmetic operations if they are to be included in a DNA chip. In this paper, we first introduce a newly-designed algorithm for solving binary addition with DNA, which contributes to a unit in DNA computer processor, and then formalize the algorithm in κ-calculus(a formal method well suited for describing protein interactions) to show the correctness of it in a sense, and a sensible example is provided. Finally, some discussion on the described model is made, in addition to a few possible future improvement directions.
Dynamics of Dna Translocation in A Solid-State Nanopore Immersed in Aqueous Glycerol

Binquan Luan,Deqiang Wang,Ruhong Zhou,Stefan Harrer,Hongbo Peng,Gustavo Stolovitzky

DOI: https://doi.org/10.1088/0957-4484/23/45/455102

IF: 3.5

2012-01-01

Nanotechnology

Abstract:Nanopore-based technologies have attracted much attention recently for their promising use in low-cost and high-throughput genome sequencing. To achieve single-base resolution of DNA sequencing, it is critical to slow and control the translocation of DNA, which has been achieved in a protein nanopore but not yet in a solid-state nanopore. Using all-atom molecular dynamics simulations, we investigated the dynamics of a single-stranded DNA (ssDNA) molecule in an aqueous glycerol solution confined in a SiO2 nanopore. The friction coefficient ξ of the ssDNA molecule is found to be approximately 18 times larger in glycerol than in water, which can dramatically slow the motion of ssDNA. The electrophoretic mobility μ of ssDNA in glycerol, however, decreases by almost the same factor, yielding the effective charge (ξμ) of ssDNA being roughly the same as in water. This is counterintuitive since the ssDNA effective charge predicted from the counterion condensation theory varies with the dielectric constant of a solvent. Due to the larger friction coefficient of ssDNA in glycerol, we further show that glycerol can improve trapping of ssDNA in the DNA transistor, a nanodevice that can be used to control the motion of ssDNA in a solid-state nanopore. Simulation results of slowing ssDNA translocation were confirmed in our nanopore experiment.
DNA computer model — — Part I : Theory

XU Jin,DONG Yafei,WEI Xiaopeng

2004-01-01

Abstract:Sticker model is one of the basic models in the DNA computer models. This model is coded with single-double stranded DNA molecules. It has the following advantages that the operations require no strands extension and use no enzymes; What’s more, the materials are reusable. Therefore it arouses attention and interest of scientists in many fields. In this paper, we will systematically analyze the theories and applications of the model, summarize other scientists’ contributions in this field, and propose our research results. This paper is the theoretical portion of the sticker model on DNA computer, which includes the introduction of the basic model of sticker computing. Firstly, we systematically introduce the basic theories of classic models about sticker computing; Secondly, we discuss the sticker system which is an abstract computing model based on the sticker model and formal languages; Finally, extend and perfect the model, and present two types of models that are more extensive in the applications and more perfect in the theory than the past models: one is the so-called k-bit sticker model, the other is full-message sticker DNA computing model.
Programmable pushdown store base on DNA computing

Zheng Zhang,Jin Xu,Jie Liu,Linqiang Pan

DOI: https://doi.org/10.1007/11816102_31

2006-01-01

Abstract:DNA computing aims at using nucleic acids for computing. Micro-molar DNA solutions can act as billions of parallel nanoprocessors with few consume. Finite automation is a general compute model. Now, A programmable finite automation based on DNA computing is available[1]. It's act as a basic features and processes of a finite automaton with two internal states and an alphabet comprising two input symbols. Here we describe a new finite automata made of biomolecules, which can be used as a programmable pushdown store.
The Mechanism and Model of DNA Computing

刘西奎,李艳,许进

DOI: https://doi.org/10.3969/j.issn.1000-3428.2002.06.001

2002-01-01

Abstract:AbsrtactIn this paper,the DNA computing and its models are introduced.The mathematics base of DNA computing is given.The advantages and current existing problems of DNA computing are discussed. ;;
Binary Tree Dna Computing Model Based On The Insert - Remove System

Qinghu Wang,Zhili Pei,Jie Lian,Bin Wu

DOI: https://doi.org/10.4028/www.scientific.net/AMM.411-414.2062

2013-01-01

Abstract:DNA computing has the support of automata theory completely, based on the equivalent for expressing problem by DNA computing model and the double-shift language in automata theory, using a DNA molecule may encode the instantaneous description of Turing machine, and the operation of continuous sequence can be realized by the DNA molecule' s operation with enzymes. Insert - Remove System is a computing system in DNA computing, designed an Binary Tree DNA computing model based on the Insert - Remove System in this paper, which can realize the insert, delete and traversal operation, and has the completeness of the theory.
A Molecular Computing Model for Graph Coloring Problem Using DNA Quantum Dot

Jiawei Li,Zhichao Song,Cheng Zhang,Jing Yang,H. Inaki Schlaberg,Shi Liu

DOI: https://doi.org/10.1166/jctn.2015.3885

2015-01-01

Journal of Computational and Theoretical Nanoscience

Abstract:We present a computing model using DNA/QD (quantum dot) conjugates to solve a graph coloring problem. In this model, an effective DNA strand displacement and specific sequence recognitions ensure the accuracy of constructing the initial solution space and deleting the false solutions. The DNA/QD conjugates play a key role in obtaining the true solutions through electrophoresis. Because the process is enzyme-free, the biological operation is fast and only needs to be carried out once to eliminate false solutions and gain the optimum solution. Compared with conventional algorithms, its time and space complexity is much lower owing to the high parallelism of molecular computing.
A molecular computing model using 3D Dumbbell DNA origami

Jing Yang,Kuiting Chen,Xiang Li,Cheng Zhang

2018-01-01

Abstract:Recently, DNA assembly based nano-devices have been developed to accomplish certain functions such as molecular messages sensing, detecting and logic computing. It has been proved to be a novel hot topic on molecular biology. In this paper, we utilize DNA to construct a logical computing device using a dumbbell-shaped origami structure, where cocaine-detecting biosensor cooperating with fluorescence probe was also established. The important roles of dumbbell-shaped structure in the model are as follows: the core structure of the model and linking components to effectively improve the local concentration of the substrate. Notably, the increase of local concentration can greatly improve the efficiency of the reaction, thus shortening the reaction time of the logic gates and molecular sensors. Compared to the existing logic computing models which mainly use oligonucleotides to realize calculating functions, the superiority of our design is that the DNA nicking enzymes are also introduced to perform computing functions.
A DNA Finite-State Machine Based on the Programmable Allosteric Strategy of DNAzyme

Jun Wang,Xiaokang Zhang,Peijun Shi,Ben Cao,Bin Wang

DOI: https://doi.org/10.3390/ijms24043588

IF: 5.6

2023-02-11

International Journal of Molecular Sciences

Abstract:Living organisms can produce corresponding functions by responding to external and internal stimuli, and this irritability plays a pivotal role in nature. Inspired by such natural temporal responses, the development and design of nanodevices with the ability to process time-related information could facilitate the development of molecular information processing systems. Here, we proposed a DNA finite-state machine that can dynamically respond to sequential stimuli signals. To build this state machine, a programmable allosteric strategy of DNAzyme was developed. This strategy performs the programmable control of DNAzyme conformation using a reconfigurable DNA hairpin. Based on this strategy, we first implemented a finite-state machine with two states. Through the modular design of the strategy, we further realized the finite-state machine with five states. The DNA finite-state machine endows molecular information systems with the ability of reversible logic control and order detection, which can be extended to more complex DNA computing and nanomachines to promote the development of dynamic nanotechnology.

biochemistry & molecular biology,chemistry, multidisciplinary
A Splicing Model-Based DNA-computing Approach on Microfluidic Chip.

Hua Xie,Bowei Li,Jianhua Qin,Zhende Huang,Yisheng Zhu,Bingcheng Lin

DOI: https://doi.org/10.1002/elps.200900323

2009-01-01

Electrophoresis

Abstract:DNA computing is a new computation form based on DNA biochemical reactions, which is mainly composed of sticker and splicing computation models. In this work, a microfluidic chip-based approach was established for splicing model-based DNA computing. A finite automaton with two input symbols (a, b) and three states (S0, S1, and S2) was applied in the pattern recognition for isosceles triangles. The DNA computation processes of automaton were realized through DNA digestion, ligation, DNA separation, and detection on the microfluidic chip. The established approach is efficient, controllable, and easy to integrate, which paves the way for the building of complete biomolecular computers in the future.
Modelling and Analysis of Cascade Digital Circuit System Based on DNA Strand Displacement

Hui Lv,Tao Sun,Qiang Zhang

DOI: https://doi.org/10.1007/978-3-031-09726-3_21

2022-01-01

Abstract:The cascade digital circuit system based on DNA strand displacement is investigated in this paper. In order to more accurately represent the reaction process, the loss of reaction substrate caused by base pair mismatch and “hairpin structure” in the process of DNA strand displacement are taken into account. Meanwhile, the time delay of DNA double-strand molecular breaks is also added to the constructed system model. The positivity of solutions, the stability and bifurcation at equilibrium point are investigated at length. It can be observed that when the time delay parameter pass some critical values, Hopf bifurcation may appear near the equilibrium point. By choosing different initial parameters, the equilibrium state reached by the system is different, and the stability of the system under equilibrium state will also be different.
DNA Computing for Combinational Logic

Chuan Zhang,Lulu Ge,Yuchen Zhuang,Ziyuan Shen,Zhiwei Zhong,Zaichen Zhang,Xiaohu You

DOI: https://doi.org/10.48550/arXiv.1807.02010

2018-07-05

Abstract:With the progressive scale-down of semiconductor's feature size, people are looking forward to More Moore and More than Moore. In order to offer a possible alternative implementation process, people are trying to figure out a feasible transfer from silicon to molecular computing. Such transfer lies on bio-based modules programming with computer-like logic, aiming at realizing the Turing machine. To accomplish this, the DNA-based combinational logic is inevitably the first step we have taken care of. This timely overview paper introduces combinational logic synthesized in DNA computing from both analog and digital perspectives separately. State-of-the-art research progress is summarized for interested readers to quick understand DNA computing, initiate discussion on existing techniques and inspire innovation solutions. We hope this paper can pave the way for the future DNA computing synthesis.

Emerging Technologies,Signal Processing,Molecular Networks

Modelling on State Transfer of DNA Automaton

Improve Capability of DNA Automaton: DNA Automaton with Three Internal States and Tape Head Move in Two Directions

Computation in Chemistry: A Summary of the Development and Models of DNA Computing

DNA Computer Principle,Advances and Difficulties (iv):On the Models of DNA Computer

Study of DNA computing model

General DNA Automaton Model with R/W Tape

A Computing Model Based on DNA Strand Replacement/Fluorescence Labeling for 0-1 Programming

The System Control Model Based on Biological DNA

A Quantum Chemical Convolutional Neural Network Model for Predicting Thermodynamics and Kinetics of DNA Molecules from Sequences

A Model in Κ for DNA Addition

Dynamics of Dna Translocation in A Solid-State Nanopore Immersed in Aqueous Glycerol

DNA computer model — — Part I : Theory

Programmable pushdown store base on DNA computing

The Mechanism and Model of DNA Computing

Binary Tree Dna Computing Model Based On The Insert - Remove System

A Molecular Computing Model for Graph Coloring Problem Using DNA Quantum Dot

A molecular computing model using 3D Dumbbell DNA origami

A DNA Finite-State Machine Based on the Programmable Allosteric Strategy of DNAzyme

A Splicing Model-Based DNA-computing Approach on Microfluidic Chip.

Modelling and Analysis of Cascade Digital Circuit System Based on DNA Strand Displacement

DNA Computing for Combinational Logic