Abstract
Amorphous computers are systems that derive their computational capability from the operation of vast numbers of simple, identical, randomly distributed and locally communicating units. The wireless communication ability and the memory capacity of the computational units is severely restricted due to their minimal size. Moreover, the units originally have no identifiers and can only use simple communication protocols that cannot guarantee a reliable message delivery. In this work we concentrate on a so-called flying amorphous computer whose units are in a constant motion. The units are modelled by miniature RAMs communicating via radio. We design a distributed probabilistic communication protocol and an algorithm enabling a simulation of a RAM in finite time. The underlying algorithms make use of a number of original ideas having no counterpart in the classical theory of distributed computing. Our result is the first one showing computational universality of a flying amorphous computer.
This research was carried out within the institutional research plan AV0Z10300504 and partially supported by the GA ČR grant No. P202/10/1333.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abelson, H., et al.: Amorphous Computing. MIT Artificial Intelligence Laboratory Memo No. 1665 (August 1999)
Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Knight Jr., T.F., Nagpal, R., Rauch, E., Sussman, G.J., Weiss, R.: Amorphous Computing. Communications of the ACM 43(5), 74–82 (2000)
Abelson, H., Beal, J., Sussman, G.J.: Amorphous Computing. Computer Science and Artificial Intelligence Laboratory, Technical Report, MIT-CSAIL-TR-2007-030 (June 2007)
Aho, A.V., Hopcroft, J.E., Ullman, J.D.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading (1974)
Hoyle, F.: The Black Cloud, 219 p. Penguin Books (1957)
Kahn, J.M., Katz, R.H., Pister, K.S.: Next century challenges: mobile networking for ”Smart Dust”. In: Proceedings of the 5th Annual ACM/IEEE International Conference on Mobile Computing and Networking, MobiCom 1999, pp. 271–278. ACM, New York (August 1999)
Kahn, J.M., Katz, R.H., Pister, K.S.J.: Emerging Challenges: Mobile Networking for Smart Dust. Journal of Communications and Networks 2, 188–196 (2000)
Kurzweil, R.: The Singularity is Near, p. 652 pages. Viking Books, New York (2005)
Petrů, L.: Universality in Amorphous Computing. PhD Disseration Thesis, Dept. of Math. and Physics, Charles University, Prague (2009)
Petrů, L., Wiedermann, J.: A Model of an Amorphous Computer and Its Communication Protocol. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 446–455. Springer, Heidelberg (2007)
Sailor, M.J., Link, J.R.: Smart dust: nanostructured devices in a grain of sand. Chemical Communications 11, 1375 (2005)
Vinge, V.: A Deepness in the Sky, 800 p. Tor Books (January 2000)
Warneke, B., Last, M., Liebowitz, B., Pister, K.S.J.: Smart Dust: communicating with a cubic-millimeter computer. Computer 34(1), 44–51 (2001)
Warneke, B., Atwood, B., Pister, K.S.J.: Smart dust mote forerunners. In: Proceedings of the 14th IEEE International Conference on Micro Electro Mechanical Systems, MEMS 2001, pp. 357–360 (2001)
Wiedermann, J., Petrů, L.: Computability in Amorphous Structures. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 781–790. Springer, Heidelberg (2007)
Wiedermann, J., Petrů, L.: Communicating mobile nano-machines and their computational power. In: Cheng, M. (ed.) NanoNet 2008. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 3, pp. 123–130. Springer, Heidelberg (2009)
Wiedermann, J., Petrů, L.: On the Universal Computing Power of Amorphous Computing Systems. Theory of Computing Systems 46(4), 995–1010 (2009), http://www.springerlink.com/content/k2x6266k78274m05/fulltext.pdf
Wiedermann, J.: Nanomachine Computing by Quorum Sensing. In: Kelemen, J., Kelemenova, A. (eds.) Computation, Cooperation, and Life, Festschrifte. LNCS. Springer, Heidelberg (to appear, 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petrū, L., Wiedermann, J. (2011). A Universal Flying Amorphous Computer. In: Calude, C.S., Kari, J., Petre, I., Rozenberg, G. (eds) Unconventional Computation. UC 2011. Lecture Notes in Computer Science, vol 6714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21341-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-21341-0_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21340-3
Online ISBN: 978-3-642-21341-0
eBook Packages: Computer ScienceComputer Science (R0)