Skip to main content

An Implementation of Elementary Arithmetic with Virus Machine

  • Chapter
  • First Online:
Enjoying Natural Computing

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11270))

  • 463 Accesses

Abstract

In recent years, the popularity of natural computing has been on the increase. Recently, it has inspired a novel biological computational model, called virus machine, which incorporates concepts from virology and theoretical computer science. The virus machine computational paradigm is based on the manner in which viruses replicate and transmit from one host cell to another. It is represented as a heterogeneous network consisting of three subnetworks: a virus transmission network, an instruction transfer network, and an instruction-channel control network. In this paper, elementary arithmetic operation systems are built based on virus machine. Specifically, adder, subtractor, multiplier, and divider are constructed using virus machines. This work can be viewed as a first step towards a “CPU” in wet.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021–1024 (1994)

    Article  Google Scholar 

  2. Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Livneh, Z., Shapiro, E.: Programmable and autonomous computing machine made of biomolecules. Nature 414(6862), 430–434 (2001)

    Article  Google Scholar 

  3. Bhatia, S., Laboda, C., Yanez, V.F., Haddock, T.L., Densmore, D.: Permutation machines. ACS Synth. Biol. 5(8), 827–834 (2016)

    Article  Google Scholar 

  4. Bonchis, C., Ciobanu, G., Izbasa, C.: Encodings and arithmetic operations in membrane computing. Theory Appl. Models Comput. 3959, 621–630 (2006)

    MathSciNet  MATH  Google Scholar 

  5. Boneh, D., Dunworth, C., Lipton, R.J., Sgall, J.: On the computational power of DNA. Discret. Appl. Math. 71(1–3), 79–94 (1996)

    Article  MathSciNet  Google Scholar 

  6. Braich, R.S., Chelyapov, N., Johnson, C., Rothemund, P.W., Adleman, L.: Solution of a 20-variable 3-SAT problem on a DNA computer. Science 296(5567), 499–502 (2002)

    Article  Google Scholar 

  7. Cavaliere, M., Egecioglu, O., Ibarra, O.H., Ionescu, M., Păun, G., Woodworth, S.: Asynchronous spiking neural P systems: decidability and undecidability. Theor. Comput. Sci. 219(24), 197–207 (2013)

    MATH  Google Scholar 

  8. Chang, W.L.: Fast parallel DNA-based algorithms for molecular computation: quadratic congruence and factoring integers. IEEE Trans. Nanobiosci. 11(1), 62–69 (2012)

    Article  MathSciNet  Google Scholar 

  9. Chang, W.L., Vasilakos, A.: Molecular algorithms of implementing bio-molecular databases on a biological computer. IEEE Trans. Nanobiosci. 14(1), 104–111 (2014)

    Article  Google Scholar 

  10. Chang, W.L., Vasilakos, A.V., Ho, M.: The DNA-based algorithms of implementing arithmetical operations of complex vectors on a biological computer. IEEE Trans. Nanobiosci. 14(8), 907–914 (2015)

    Article  Google Scholar 

  11. Chen, X., Pérez-Jiménez, M.J., Valencia-Cabrera, L., Wang, B., Zeng, X.: Computing with viruses. Theor. Comput. Sci. 623, 146–159 (2016)

    Article  MathSciNet  Google Scholar 

  12. Diaz, C., Frias, T., Sanchez, G., Perez, H., Toscano, K., Duchen, G.: A novel parallel multiplier using spiking neural P systems with dendritic delays. Neurocomputing 239, 113–121 (2017)

    Article  Google Scholar 

  13. Diaz, C., Sanchez, G., Duchen, G., Nakano, M., Perez, H.: An efficient hardware implementation of a novel unary spiking neural network multiplier with variable dendritic delays. Neurocomputing 189, 130–134 (2016)

    Article  Google Scholar 

  14. Gupta, V., Irimia, J., Pau, I., Rodriguez-Paton, A.: Bioblocks: programming protocols in biology made easier. ACS Synth. Biol. 6(7), 1230–1232 (2017)

    Article  Google Scholar 

  15. Gutiérrez, M.E., Gregorio Godoy, P., Pérez, D.P.G., Muñoz, L.E., Sáez, S., Rodriguez Paton, A.: A new improved and extended version of the multicell bacterial simulator gro. ACS Synth. Biol. 6(8), 1496–1508 (2017)

    Article  Google Scholar 

  16. Kari, L., Gloor, G., Yu, S.: Using DNA to solve the bounded post correspondence problem. Theor. Comput. Sci. 231(2), 193–203 (2000)

    Article  MathSciNet  Google Scholar 

  17. Liu, X., Li, Z., Liu, J., Liu, L., Zeng, X.: Implementation of arithmetic operations with time-free spiking neural P systems. IEEE Trans. Nanobiosci. 14(6), 617–624 (2015)

    Article  Google Scholar 

  18. Liu, X., Suo, J., Leung, S.C.H., Liu, J., Zeng, X.: The power of time-free tissue P systems: Attacking NP-complete problems. Neurocomputing 159(1), 151–156 (2015)

    Article  Google Scholar 

  19. Ouyang, Q., Kaplan, P.D., Liu, S., Libchaber, A.: DNA solution of the maximal clique problem. Science 278(5337), 446–449 (1997)

    Article  Google Scholar 

  20. Pan, L., Zeng, X., Zhang, X.: Time-free spiking neural P systems. Neural Comput. 23(5), 1320–1342 (2011)

    Article  MathSciNet  Google Scholar 

  21. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MathSciNet  Google Scholar 

  22. Song, T., Pan, L., Wang, J., Venkat, I., Subramanian, K.G., Abdullah, R.: Normal forms of spiking neural P systems with anti-spikes. IEEE Trans. Nanobiosci. 11(4), 352–359 (2012)

    Article  Google Scholar 

  23. Xu, J., et al.: An unenumerative DNA computing model for vertex coloring problem. IEEE Trans. Nanobiosci. 10(2), 94–98 (2011)

    Article  Google Scholar 

  24. Yang, J., Jiang, S., Liu, X., Pan, L., Zhang, C.: Aptamer-binding directed DNA origami pattern for logic gates. ACS Appl. Mater. Interfaces 8(49), 34054–34060 (2016)

    Article  Google Scholar 

  25. Zeng, X., Song, T., Zhang, X., Pan, L.: Performing four basic arithmetic operations with spiking neural P systems. IEEE Trans. Nanobiosci. 11(4), 366–374 (2012)

    Article  Google Scholar 

Download references

Acknowledgements

The work was supported by the National Natural Science Foundation of China (Grant Nos. 61472333, 61772441, 61472335), Project of marine economic innovation and development in Xiamen (No. 16PFW034SF02), Natural Science Foundation of the Higher Education Institutions of Fujian Province (No. JZ160400), Natural Science Foundation of Fujian Province (No. 2017J01099), President Fund of Xiamen University (No. 20720170054), Project TIN2016-81079-R, (MINECO AEI/FEDER, Spain-EU) and InGEMICS-CM project (B2017/BMD-3691, FSE/FEDER, Comunidad de Madrid-EU). X. Zeng is supported by Juan de la Cierva position (code: IJCI-2015-26991).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xiangrong Liu .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Yan, X., Liu, X., Zeng, X., Rodríguez-Patón, A. (2018). An Implementation of Elementary Arithmetic with Virus Machine. In: Graciani, C., Riscos-Núñez, A., Păun, G., Rozenberg, G., Salomaa, A. (eds) Enjoying Natural Computing. Lecture Notes in Computer Science(), vol 11270. Springer, Cham. https://doi.org/10.1007/978-3-030-00265-7_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-00265-7_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-00264-0

  • Online ISBN: 978-3-030-00265-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics