Skip to main content

2017 | OriginalPaper | Buchkapitel

26. On Improving the Expressive Power of Chemical Computation

verfasst von : Erik Bergh, Zoran Konkoli

Erschienen in: Advances in Unconventional Computing

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

The term chemical computation describes information processing setups where an arbitrary reaction system is used to perform information processing. The reaction system consists of a set of reactants and a reaction volume that harbours all chemicals. It has been argued that this type of computation is in principle Turing complete: for any computable function a suitable chemical system can be constructed that implements it. Turing completeness cannot be strictly guaranteed due to the inherent stochasticity of chemical reaction dynamics. The computation process can end prematurely or branch off in the wrong direction. The frequency of such errors defines the so-called fail rate of chemical computation. In this chapter we review recent advances in the field, and also suggest a few novel generic design principles which, when adhered to, should enable engineers to build accurate chemical computers.

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!

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"

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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
The results for d \(=\) 2,3 only qualitative since the results are not fully converged with respect to the size of the lattice. This analysis is illustrated briefly in Fig. 26.18.
 
2
We believe that the \(f_2\) values for \(d=2\) and \(d=3\) should be actually a bit higher due to lack of convergence for two \((d = 2)\) and three \((d = 3)\) dimensions with respect to the number of sites (cells) in the lattice.
 
3
The same problem with few successful while-loops arises. The specified numbers are for \(v_0=1\).
 
Literatur
1.
Zurück zum Zitat Conrad, M.: Evolutionary learning circuits. J. Theor. Biol. 46, 167–188 (1974)CrossRef Conrad, M.: Evolutionary learning circuits. J. Theor. Biol. 46, 167–188 (1974)CrossRef
3.
Zurück zum Zitat Kampfner, R.R., Conrad, M.: Sequential behavior and stability properties of enzymatic neuron networks. Bull. Math. Biol. 45, 969–980 (1983)CrossRefMATH Kampfner, R.R., Conrad, M.: Sequential behavior and stability properties of enzymatic neuron networks. Bull. Math. Biol. 45, 969–980 (1983)CrossRefMATH
4.
Zurück zum Zitat Kirby, K.G., Conrad, M.: Intraneuronal dynamics as a substrate for evolutionary learning. Phys. D 22, 205–215 (1986)MathSciNetCrossRef Kirby, K.G., Conrad, M.: Intraneuronal dynamics as a substrate for evolutionary learning. Phys. D 22, 205–215 (1986)MathSciNetCrossRef
5.
6.
Zurück zum Zitat Hjelmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of neural networks and turing-machines. Proc. Natl. Acad. Sci. U. S. A. 88, 10983–10987 (1991)CrossRefMATH Hjelmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of neural networks and turing-machines. Proc. Natl. Acad. Sci. U. S. A. 88, 10983–10987 (1991)CrossRefMATH
7.
Zurück zum Zitat Hjelmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of finite-state machines. Proc. Natl. Acad. Sci. U. S. A. 89, 383–387 (1992)CrossRef Hjelmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of finite-state machines. Proc. Natl. Acad. Sci. U. S. A. 89, 383–387 (1992)CrossRef
8.
Zurück zum Zitat Aoki, T., Kameyama, M., Higuchi, T.: Interconnection-free biomolecular computing. Computer 25, 41–50 (1992)CrossRef Aoki, T., Kameyama, M., Higuchi, T.: Interconnection-free biomolecular computing. Computer 25, 41–50 (1992)CrossRef
9.
Zurück zum Zitat Conrad, M.: Molecular computing - the lock-key paradigm. Computer 25, 11–20 (1992)CrossRef Conrad, M.: Molecular computing - the lock-key paradigm. Computer 25, 11–20 (1992)CrossRef
10.
Zurück zum Zitat Hjelmfelt, A., Ross, J.: Chemical implementation and thermodynamics of collective neural networks. Proc. Natl. Acad. Sci. U. S. A. 89, 388–391 (1992)CrossRef Hjelmfelt, A., Ross, J.: Chemical implementation and thermodynamics of collective neural networks. Proc. Natl. Acad. Sci. U. S. A. 89, 388–391 (1992)CrossRef
11.
Zurück zum Zitat Hjelmfelt, A., Schneider, F.W., Ross, J.: Pattern-recognition in coupled chemical kinetic systems. Science 260, 335–337 (1993)CrossRef Hjelmfelt, A., Schneider, F.W., Ross, J.: Pattern-recognition in coupled chemical kinetic systems. Science 260, 335–337 (1993)CrossRef
12.
Zurück zum Zitat Hjelmfelt, A., Ross, J.: Mass-coupled chemical-systems with computational properties. J. Phys. Chem. 97, 7988–7992 (1993)CrossRef Hjelmfelt, A., Ross, J.: Mass-coupled chemical-systems with computational properties. J. Phys. Chem. 97, 7988–7992 (1993)CrossRef
13.
Zurück zum Zitat Rambidi, N.G.: Biomolecular computer: roots and promises. Biosystems 44, 1–15 (1997)CrossRef Rambidi, N.G.: Biomolecular computer: roots and promises. Biosystems 44, 1–15 (1997)CrossRef
14.
Zurück zum Zitat Rambidi, N.G., Maximychev, A.V.: Towards a biomolecular computer. information processing capabilities of biomolecular nonlinear dynamic media. Biosystems 41, 195–211 (1997)CrossRef Rambidi, N.G., Maximychev, A.V.: Towards a biomolecular computer. information processing capabilities of biomolecular nonlinear dynamic media. Biosystems 41, 195–211 (1997)CrossRef
15.
Zurück zum Zitat Conrad, M., Zauner, K.P.: Dna as a vehicle for the self-assembly model of computing. Biosystems 45, 59–66 (1998)CrossRef Conrad, M., Zauner, K.P.: Dna as a vehicle for the self-assembly model of computing. Biosystems 45, 59–66 (1998)CrossRef
16.
Zurück zum Zitat Hiratsuka, M., Aoki, T., Higuchi, T.: Enzyme transistor circuits for reaction-diffusion computing. IEEE Trans. Circuits Syst. I-Fundam. Theory Appl. 46, 294–303 (1999)CrossRef Hiratsuka, M., Aoki, T., Higuchi, T.: Enzyme transistor circuits for reaction-diffusion computing. IEEE Trans. Circuits Syst. I-Fundam. Theory Appl. 46, 294–303 (1999)CrossRef
17.
Zurück zum Zitat Stange, P., Zanette, D., Mikhailov, A., Hess, B.: Self-organizing molecular networks. Biophys. Chem. 79, 233–247 (1999)CrossRefMATH Stange, P., Zanette, D., Mikhailov, A., Hess, B.: Self-organizing molecular networks. Biophys. Chem. 79, 233–247 (1999)CrossRefMATH
18.
Zurück zum Zitat Simpson, M.L., Sayler, G.S., Fleming, J.T., Applegate, B.: Whole-cell biocomputing. Trends Biotechnol. 19, 317–323 (2001)CrossRef Simpson, M.L., Sayler, G.S., Fleming, J.T., Applegate, B.: Whole-cell biocomputing. Trends Biotechnol. 19, 317–323 (2001)CrossRef
19.
Zurück zum Zitat Winfree, E.: Dna computing by self-assembly. Natl. Acad. Eng.: The Bridge 33, 31–38 (2003) Winfree, E.: Dna computing by self-assembly. Natl. Acad. Eng.: The Bridge 33, 31–38 (2003)
20.
Zurück zum Zitat Lizana, L., Konkoli, Z., Orwar, O.: Tunable filtering of chemical signals in a simple nanoscale reaction-diffusion network. J. Phys. Chem. B 111, 6214–6219 (2007)CrossRef Lizana, L., Konkoli, Z., Orwar, O.: Tunable filtering of chemical signals in a simple nanoscale reaction-diffusion network. J. Phys. Chem. B 111, 6214–6219 (2007)CrossRef
21.
Zurück zum Zitat Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7, 615–633 (2008)MathSciNetCrossRefMATH Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7, 615–633 (2008)MathSciNetCrossRefMATH
22.
Zurück zum Zitat Soloveichik, D., Seelig, G., Winfree, E.: Dna as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. 107, 5393–5398 (2010)CrossRef Soloveichik, D., Seelig, G., Winfree, E.: Dna as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. 107, 5393–5398 (2010)CrossRef
23.
Zurück zum Zitat Jiang, H., Riedel, M.D., Parhi, K.K.: Digital logic with molecular reactions. 2013 IEEE/Acm International Conference on Computer-Aided Design. ICCAD-IEEE ACM International Conference on Computer-Aided Design, pp. 721–727. IEEE, New York (2013) Jiang, H., Riedel, M.D., Parhi, K.K.: Digital logic with molecular reactions. 2013 IEEE/Acm International Conference on Computer-Aided Design. ICCAD-IEEE ACM International Conference on Computer-Aided Design, pp. 721–727. IEEE, New York (2013)
24.
Zurück zum Zitat Cummings, R., Doty, D., Soloveichik D.: Probability 1 computation with chemical reaction networks. In: Murata, S., Kobayashi, S., (eds.) DNA Computing and Molecular Programming, Lecture Notes in Computer Science, vol. 8727, pp. 37–52. Springer International Publishing, Berlin (2014) Cummings, R., Doty, D., Soloveichik D.: Probability 1 computation with chemical reaction networks. In: Murata, S., Kobayashi, S., (eds.) DNA Computing and Molecular Programming, Lecture Notes in Computer Science, vol. 8727, pp. 37–52. Springer International Publishing, Berlin (2014)
25.
Zurück zum Zitat Sienko, T., Adamatzky, A., Rambidi, N.G., Conrad, M.: Molecular Computing. MIT Press, Cambridge (2005)MATH Sienko, T., Adamatzky, A., Rambidi, N.G., Conrad, M.: Molecular Computing. MIT Press, Cambridge (2005)MATH
27.
Zurück zum Zitat Krivine, J., Danos, V., Benecke, A.: Modelling epigenetic information maintenance: A kappa tutorial. In: Bouajjani, A., Maler, O. (eds.) Computer Aided Verification. Proceedings, volume 5643 of Lecture Notes in Computer Science, pp. 17–32. Springer, Berlin (2009)CrossRef Krivine, J., Danos, V., Benecke, A.: Modelling epigenetic information maintenance: A kappa tutorial. In: Bouajjani, A., Maler, O. (eds.) Computer Aided Verification. Proceedings, volume 5643 of Lecture Notes in Computer Science, pp. 17–32. Springer, Berlin (2009)CrossRef
28.
Zurück zum Zitat Degano, P., Bracciali, A.: Process calculi, systems biology and artificial chemistry. Handb. Nat. Comput. 3, 1863–1896 (2012)CrossRef Degano, P., Bracciali, A.: Process calculi, systems biology and artificial chemistry. Handb. Nat. Comput. 3, 1863–1896 (2012)CrossRef
29.
Zurück zum Zitat Liekens, A.M.L., Fernando, C.T.: Turing complete catalytic particle computers. In: Costa, F.A.E., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) Advances in Artificial Life, Proceedings, volume 4648 of Lecture Notes in Artificial Intelligence, pp. 1202–1211 (2007) Liekens, A.M.L., Fernando, C.T.: Turing complete catalytic particle computers. In: Costa, F.A.E., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) Advances in Artificial Life, Proceedings, volume 4648 of Lecture Notes in Artificial Intelligence, pp. 1202–1211 (2007)
30.
Zurück zum Zitat Cardelli, L., Zavattaro, G.: On the computational power of biochemistry. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) Algebraic Biology. Proceedings, volume 5147 of Lecture Notes in Computer Science, pp. 65–80. Springer, Berlin (2008)CrossRef Cardelli, L., Zavattaro, G.: On the computational power of biochemistry. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) Algebraic Biology. Proceedings, volume 5147 of Lecture Notes in Computer Science, pp. 65–80. Springer, Berlin (2008)CrossRef
31.
Zurück zum Zitat Liekens, A., Fernando, T: Turing Complete Catalytic Computers. In: Advances in Artificial life, vol. 4648, pp. 1202–1211. Springer, Berlin (2007) Liekens, A., Fernando, T: Turing Complete Catalytic Computers. In: Advances in Artificial life, vol. 4648, pp. 1202–1211. Springer, Berlin (2007)
32.
Zurück zum Zitat Konkoli, Z.: Diffusion controlled reactions, fluctuation dominated kinetics, and living cell biochemistry. Int. J. Softw. Inform. 7, 675 (2013) Konkoli, Z.: Diffusion controlled reactions, fluctuation dominated kinetics, and living cell biochemistry. Int. J. Softw. Inform. 7, 675 (2013)
33.
Zurück zum Zitat Konkoli, Z.: Modeling reaction noise with a desired accuracy by using the x level approach reaction noise estimator (xarnes) method. J. Theor. Biol. 305, 1–14 (2012)MathSciNetCrossRef Konkoli, Z.: Modeling reaction noise with a desired accuracy by using the x level approach reaction noise estimator (xarnes) method. J. Theor. Biol. 305, 1–14 (2012)MathSciNetCrossRef
34.
Zurück zum Zitat Singh, A., Hespanha, J.P.: A derivative matching approach to moment closure for the stochastic logistic model. Bull. Math. Biol. 69, 1909–1925 (2007)MathSciNetCrossRefMATH Singh, A., Hespanha, J.P.: A derivative matching approach to moment closure for the stochastic logistic model. Bull. Math. Biol. 69, 1909–1925 (2007)MathSciNetCrossRefMATH
35.
Zurück zum Zitat Privman, V.: Nonequilibrium Statistical Mechanics in One Dimension. Cambridge Univ. Press, Cambridge (1997)CrossRefMATH Privman, V.: Nonequilibrium Statistical Mechanics in One Dimension. Cambridge Univ. Press, Cambridge (1997)CrossRefMATH
36.
Zurück zum Zitat Brookshear, G., Brylow, D.: Computer Science: An Overwiew, 11th edn. Addison-Wesley, Boston (2003) Brookshear, G., Brylow, D.: Computer Science: An Overwiew, 11th edn. Addison-Wesley, Boston (2003)
37.
Zurück zum Zitat Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, 1st edn. Elsevier Science, Amsterdam (2003)MATH Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, 1st edn. Elsevier Science, Amsterdam (2003)MATH
38.
Zurück zum Zitat Elf, J., Donĉić, A., Ehrenberg, M.: Mesoscopic reaction-diffusion in intracellular signaling. Proc. SPIE 5110, 114–124 (2003)CrossRef Elf, J., Donĉić, A., Ehrenberg, M.: Mesoscopic reaction-diffusion in intracellular signaling. Proc. SPIE 5110, 114–124 (2003)CrossRef
Metadaten
Titel
On Improving the Expressive Power of Chemical Computation
verfasst von
Erik Bergh
Zoran Konkoli
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-33924-5_26