Skip to main content
Top
Published in: The Journal of Supercomputing 2/2023

26-07-2022

Generic and scalable DNA-based logic design methodology for massive parallel computation

Authors: Zohre Beiki, Ali Jahanian

Published in: The Journal of Supercomputing | Issue 2/2023

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The need for computation speed is ever increasing. A promising solution for this requirement is parallel computing but the degree of parallelism in electronic computers is limited due to the physical and technological barriers. DNA computing proposes a fascinating level of parallelism that can be utilized to overcome this problem. This paper presents a new computational model and the corresponding design methodology using the massive parallelism of DNA computing. We proposed an automatic design algorithm to synthesis the logic functions on the DNA strands with the maximum degree of parallelism. In the proposed model, billions of DNA strands are utilized to compute the elements of the Boolean function concurrently to reach an extraordinary level of parallelism. Experimental and analytic results prove the feasibility and efficiency of the proposed method. Moreover, analyses and results show that a delay of a circuit in this method is independent of the complexity of the function and each Boolean function can be computed with O(1) time complexity.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Haefner JW, Cicirelli F, Giordano A, Mastroianni C (2019) Improving Efficiency in Parallel Computing Leveraging Local Synchronization. International Conference on Numerical Computations: Theory and Algorithms. Springer, Cham Haefner JW, Cicirelli F, Giordano A, Mastroianni C (2019) Improving Efficiency in Parallel Computing Leveraging Local Synchronization. International Conference on Numerical Computations: Theory and Algorithms. Springer, Cham
2.
go back to reference Beiki Z, Zare Dorabi Z, Jahanian A (2018) Real parallel and constant delay logic circuit design methodology based on the DNA model-of-computation. Microprocess Microsyst 61:217–226CrossRef Beiki Z, Zare Dorabi Z, Jahanian A (2018) Real parallel and constant delay logic circuit design methodology based on the DNA model-of-computation. Microprocess Microsyst 61:217–226CrossRef
3.
go back to reference Adleman Leonard M (1994) Molecular computation of solutions to combinatorial problems. Science 266(5187):1021–1024CrossRef Adleman Leonard M (1994) Molecular computation of solutions to combinatorial problems. Science 266(5187):1021–1024CrossRef
4.
go back to reference Amos M, Gibbons A, Hodgson D (1999) Error-resistant implementation of DNA computations. In DNA Based Computers II 44: 151–161 Amos M, Gibbons A, Hodgson D (1999) Error-resistant implementation of DNA computations. In DNA Based Computers II 44: 151–161
5.
go back to reference Winfree E (1998) Universal Computation via Self-assembly of DNA: Some Theory and Experiments in Landweber and Baum editors, DNA Based Computers II. In Proceedings of the Second DIMACS Workshop, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 44: 172–190 Winfree E (1998) Universal Computation via Self-assembly of DNA: Some Theory and Experiments in Landweber and Baum editors, DNA Based Computers II. In Proceedings of the Second DIMACS Workshop, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 44: 172–190
6.
go back to reference Wang Z, Ji Z, Su Z, Wang X, Zhao K (2016) Solving the maximal matching problem with DNA molecules in Adleman-Lipton model. Int J Biomath 9:1650019MathSciNetCrossRefMATH Wang Z, Ji Z, Su Z, Wang X, Zhao K (2016) Solving the maximal matching problem with DNA molecules in Adleman-Lipton model. Int J Biomath 9:1650019MathSciNetCrossRefMATH
7.
go back to reference Zhao K, Wang Z, Lu Y, Qin J, Tan J (2015) A new biologically DNA computational algorithm to solve the k-vertex cover problem. J Comput Theor Nanosci 12:524–526CrossRef Zhao K, Wang Z, Lu Y, Qin J, Tan J (2015) A new biologically DNA computational algorithm to solve the k-vertex cover problem. J Comput Theor Nanosci 12:524–526CrossRef
8.
go back to reference Wang Z, Zhao K, Wang X, Huang W, Zou Q (2015) A biological computing algorithm to solve K-Closure problem. J Comput Theor Nanosci 12:1818–1820CrossRef Wang Z, Zhao K, Wang X, Huang W, Zou Q (2015) A biological computing algorithm to solve K-Closure problem. J Comput Theor Nanosci 12:1818–1820CrossRef
9.
go back to reference Sanches CAA, Soma NY (2016) A general resolution of intractable problems in polynomial time through DNA computing. Biosystems 150:119–131CrossRef Sanches CAA, Soma NY (2016) A general resolution of intractable problems in polynomial time through DNA computing. Biosystems 150:119–131CrossRef
10.
go back to reference Wang Z, Pu J, Cao L, Tan J (2015) A Parallel Biological Optimization Algorithm to Solve the Unbalanced Assignment Problem Based on DNA Molecular Computing. In International Journal of Molecular Sciences 16: 25338–25352 Wang Z, Pu J, Cao L, Tan J (2015) A Parallel Biological Optimization Algorithm to Solve the Unbalanced Assignment Problem Based on DNA Molecular Computing. In International Journal of Molecular Sciences 16: 25338–25352
11.
go back to reference Sallam AA, Kazem M, Askar AB (2016) Solving Minimum Independent Dominating Set with Adelman-Lipton model. In International Advanced Research Journal in Science, Engineering and Technology, 3: 50–53 Sallam AA, Kazem M, Askar AB (2016) Solving Minimum Independent Dominating Set with Adelman-Lipton model. In International Advanced Research Journal in Science, Engineering and Technology, 3: 50–53
12.
go back to reference Wang H (1961) Proving theorems by pattern recognition-II. In Bell Labs Technical Journal 40.1: 1–41 Wang H (1961) Proving theorems by pattern recognition-II. In Bell Labs Technical Journal 40.1: 1–41
13.
go back to reference Mao C et. al (2000) Logical computation using algorithmic self-assembly of DNA triple-crossover molecules. In Nature 407.6803: 493 Mao C et. al (2000) Logical computation using algorithmic self-assembly of DNA triple-crossover molecules. In Nature 407.6803: 493
14.
go back to reference Rothemund PWK, Papadakis N, Winfree E (2004) Algorithmic self-assembly of DNA Sierpinski triangles. In PLoS biology 2.12: e424 Rothemund PWK, Papadakis N, Winfree E (2004) Algorithmic self-assembly of DNA Sierpinski triangles. In PLoS biology 2.12: e424
15.
go back to reference Barish RD, Rothemund PWK, Winfree E (2005) Two computational primitives for algorithmic self-assembly: copying and counting. Nano Lett 5(12):2586–2592CrossRef Barish RD, Rothemund PWK, Winfree E (2005) Two computational primitives for algorithmic self-assembly: copying and counting. Nano Lett 5(12):2586–2592CrossRef
16.
go back to reference Amos M (2001) Theoretical and experimental DNA computation. Current trends in theoretical computer science: entering the 21st century. 614–630 Amos M (2001) Theoretical and experimental DNA computation. Current trends in theoretical computer science: entering the 21st century. 614–630
17.
go back to reference Tsai S (2008) Using Sticker-based Model to Solve the Clique Problem on DNA-based Computing. In Convergence and Hybrid Information Technology, 2008. ICCIT’08. Third International Conference on. Vol. 1. IEEE Tsai S (2008) Using Sticker-based Model to Solve the Clique Problem on DNA-based Computing. In Convergence and Hybrid Information Technology, 2008. ICCIT’08. Third International Conference on. Vol. 1. IEEE
18.
go back to reference Sipser M (2012) Introduction to the Theory of Computation. Cengage Learning, 3rd edition Sipser M (2012) Introduction to the Theory of Computation. Cengage Learning, 3rd edition
19.
go back to reference Linz P (2017) An introduction to formal languages and automata. Jones and Bartlett Learning, 6th edition Linz P (2017) An introduction to formal languages and automata. Jones and Bartlett Learning, 6th edition
20.
go back to reference Hadjicostis CN (2020) Finite Automata Models. Estimation and Inference in Discrete Event Systems. Springer, Cham: 25–68 Hadjicostis CN (2020) Finite Automata Models. Estimation and Inference in Discrete Event Systems. Springer, Cham: 25–68
21.
go back to reference Seeman Nadrian C, Sleiman Hanadi F (2017) DNA nanotechnology. In Nature Reviews Materials 3: 17068 Seeman Nadrian C, Sleiman Hanadi F (2017) DNA nanotechnology. In Nature Reviews Materials 3: 17068
22.
go back to reference Cavallotti C, Pelucchi M, Frassoldati A (2018) Analysis of acetic acid gas-phase reactivity: Rate constant estimation and kinetic simulations. Proceedings of the Combustion Institute Cavallotti C, Pelucchi M, Frassoldati A (2018) Analysis of acetic acid gas-phase reactivity: Rate constant estimation and kinetic simulations. Proceedings of the Combustion Institute
23.
go back to reference Ambekar Anirudha, Chowdhury Arindrajit (2018) An experimental technique for determination of intrinsic burning rate constants of liquid fuels. Appl Therm Eng 135:238–245CrossRef Ambekar Anirudha, Chowdhury Arindrajit (2018) An experimental technique for determination of intrinsic burning rate constants of liquid fuels. Appl Therm Eng 135:238–245CrossRef
24.
go back to reference Adleman Leonard M (1994) Molecular computation of solutions to combinatorial problems. Science 266(5187):1021–1024CrossRef Adleman Leonard M (1994) Molecular computation of solutions to combinatorial problems. Science 266(5187):1021–1024CrossRef
27.
go back to reference Brun Y (2008) Solving NP-complete problems in the tile assembly model. Theor Comput Sci 395.1: 31–46 Brun Y (2008) Solving NP-complete problems in the tile assembly model. Theor Comput Sci 395.1: 31–46
Metadata
Title
Generic and scalable DNA-based logic design methodology for massive parallel computation
Authors
Zohre Beiki
Ali Jahanian
Publication date
26-07-2022
Publisher
Springer US
Published in
The Journal of Supercomputing / Issue 2/2023
Print ISSN: 0920-8542
Electronic ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-022-04693-z

Other articles of this Issue 2/2023

The Journal of Supercomputing 2/2023 Go to the issue

Premium Partner