nach oben

Natural Computing

Erschienen in:

01.06.2010

Computing with energy and chemical reactions

verfasst von: Alberto Leporati, Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Claudio Ferretti

Erschienen in: Natural Computing | Ausgabe 2/2010

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Taking inspiration from some laws of Nature—energy transformation and chemical reactions—we consider two different paradigms of computation in the framework of Membrane Computing. We first study the computational power of energy-based P systems, a model of membrane systems where a fixed amount of energy is associated with each object and the rules transform objects by manipulating their energy. We show that if we assign local priorities to the rules, then energy-based P systems are as powerful as Turing machines; otherwise, they can be simulated by vector addition systems, and hence are not universal. Then, we consider stochastic membrane systems where computations are performed through chemical networks. We show how molecular species and chemical reactions can be used to describe and simulate the functioning of Fredkin gates and circuits. We conclude the paper with some research topics related to computing with energy-based P systems and with chemical reactions.

Vorheriger Artikel On spiking neural P systems

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Bennett CH (1973) Logical reversibility of computation. IBM J Res Dev 17:525–532MATHCrossRef

Besozzi D, Cazzaniga P, Pescini D, Mauri G (to appear) A multivolume approach to stochastic modelling with membrane systems. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Natural computing series. Springer-Verlag, Berlin

Cao Y, Gillespie DT, Petzold LR (2006) Efficient step size selection for the tau-leaping simulation method. J Chem Phys 124:044109CrossRef

Cazzaniga P, Pescini D, Besozzi D, Mauri G (2006) Tau leaping stochastic simulation method in P systems. In: Hoogeboom HJ, Păun Gh, Rozenberg G, Salomaa A (eds) Membrane computing. 7th international workshop, WMC 2006, LNCS 4361, Springer-Verlag, Berlin, pp 298–313

Dittrich P (2005) Chemical computing. In: Banâtre JP, Fradet P, Giavitto JL, Michel O (eds) Unconventional programming paradigms, UPP 2004, LNCS 3566, Springer-Verlag, Berlin, pp 19–32

Fredkin E, Toffoli T (1982) Conservative logic. Int J Theor Phys 21(3–4):219–253MATHCrossRefMathSciNet

Freund R (2003) Energy-controlled P systems. In: Păun Gh, Rozenberg G, Salomaa A, Zandron C (eds) Membrane computing. Proceedings of the international workshop, WMC–CdeA 2002, LNCS 2597, Springer-Verlag, Berlin, pp 247–260

Freund R, Oswald M (2002) GP systems with forbidding context. Fundam Inf 49(1–3):81–102MATHMathSciNet

Freund R, Leporati A, Oswald M, Zandron C (2005) Sequential P systems with unit rules and energy assigned to membranes. In: Margenstern M (ed) Machines, computations, and universality. 4th international conference, MCU 2004, LNCS 3354, Springer-Verlag, Berlin, pp 200–210

Frisco P (2004) The Conformon-P system: a molecular and cell biology-inspired computability model. Theor Comput Sci 312:295–319MATHCrossRefMathSciNet

Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340–2361CrossRef

Gillespie DT (2007) Stochastic simulation of chemical kinetics. Ann Rev Phys Chem 58:35–55CrossRef

Karp R, Miller R (1969) Parallel program schemata. J Comput Syst Sci 3(4):167–195. Also RC2053, IBM T.J. Watson Research Center, New York, April 1968

Landauer R (1961) Irreversibility and heat generation in the computing process. IBM J Res Dev 5:183–191MATHCrossRefMathSciNet

Landauer R (1982) Uncertainty principle and minimal energy dissipation in the computer. Int J Theor Phys 21(3–4):283–297MATHCrossRef

Leporati A, Zandron C, Mauri G (2004) Simulating the Fredkin gate with energy-based P systems. J Univers Comput Sci 10(5):600–619MathSciNet

Leporati A, Zandron C, Mauri G (2006) Reversible P systems to simulate Fredkin circuits. Fundam Inf 74:529–548MATHMathSciNet

Matsumaru N, Centler F, Speroni di Fenizio P, Dittrich P (2005) Chemical organization theory as a theoretical base for chemical computing. Int J Unconv Comput 3:285–309

Minsky ML (1967) Finite and infinite machines. Prentice-Hall, Englewood CliffsMATH

Păun Gh (2000) Computing with membranes. J Comput Syst Sci 1(61):108–143. See also Turku Centre for Computer Science, TUCS Report No. 208, 1998

Păun Gh (2002) Membrane computing—an introduction. Springer-Verlag, BerlinMATH

Păun Gh, Suzuki Y, Tanaka H (2001) P systems with energy accounting. Int J Comput Math 78(3):343–364MATHCrossRefMathSciNet

Pescini D, Cazzaniga P, Ferretti C, Mauri G (2009) First steps toward a wet implementation for τ-DPP. In: Corne DW, Frisco P, Păun Gh, Rozenberg G, Salomaa A (eds) Membrane computing. 9th international workshop, WMC 2008, LNCS 5391, Springer-Verlag, Berlin, pp 355–373

Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs

Toffoli T (1980) Reversible computing. MIT/LCS Technical Report 51

Titel: Computing with energy and chemical reactions
verfasst von: Alberto Leporati
Daniela Besozzi
Paolo Cazzaniga
Dario Pescini
Claudio Ferretti
Publikationsdatum: 01.06.2010
Verlag: Springer Netherlands
Erschienen in: Natural Computing / Ausgabe 2/2010
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-009-9160-x

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 2/2010

Preface

Watson–Crick palindromes in DNA computing

Deterministic and stochastic P systems for modelling cellular processes

Algorithms on ensemble quantum computers

On spiking neural P systems

Computation in Sofic Quantum Dynamical Systems

Premium Partner