Mechanical Computing Systems Using Only Links and Rotary Joints

A new paradigm for mechanical computing is demonstrated that requires only two basic parts, links and rotary joints. These basic parts are combined into two main higher level structures, locks and balances, and suffice to create all necessary combinatorial and sequential logic required for a Turing-complete computational system. While working systems have yet to be implemented using this new paradigm, the mechanical simplicity of the systems described may lend themselves better to, e.g., microfabrication, than previous mechanical computing designs. Additionally, simulations indicate that if molecular-scale implementations could be realized, they would be far more energy-efficient than conventional electronic computers.

[1]  John W. Loughary The computer is in , 1970 .

[2]  Kuntala Boruah,et al.  DNA Computing Models for Boolean Circuits and Logic Gates , 2015, 2015 IEEE International Conference on Computational Intelligence & Communication Technology.

[3]  Rolf Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[4]  Faisal Khair Chowdhury Micro-electro-mechanical-systems-based single-device digital logic gates for harsh environment applications , 2013 .

[5]  Vanesa Marcos,et al.  Stereodivergent synthesis with a programmable molecular machine , 2017, Nature.

[6]  J. Reif Mechanical Computation: its Computational Complexity and Technologies Chapter, Encyclopedia of Complexity and Systems Science , 2008 .

[7]  Elad Alon,et al.  Mechanical Computing Redux: Relays for Integrated Circuit Applications , 2010, Proceedings of the IEEE.

[8]  Tsu-Jae King Liu,et al.  Design, Optimization, and Scaling of MEM Relays for Ultra-Low-Power Digital Logic , 2011, IEEE Transactions on Electron Devices.

[9]  F. Park,et al.  Singularity Analysis of Closed Kinematic Chains , 1999 .

[10]  K. Eric Drexler,et al.  Nanosystems - molecular machinery, manufacturing, and computation , 1992 .

[11]  E. Lutz,et al.  Experimental verification of Landauer’s principle linking information and thermodynamics , 2012, Nature.

[12]  R. Service,et al.  Chemistry Nobel heralds age of molecular machines. , 2016, Science.

[13]  Kenneth C Bradley Mechanical Computing in Microelectromechanical Systems (MEMS) , 2003 .

[14]  David S. Touretzky Building the Pascaline: Digital Computing Like It's 1642 (Abstract Only) , 2015, SIGCSE.

[15]  Clément Gosselin,et al.  Singularity analysis of closed-loop kinematic chains , 1990, IEEE Trans. Robotics Autom..

[16]  R. Feynman Quantum mechanical computers , 1986 .

[17]  C. Amarnath,et al.  Mechanical Logic Devices and Circuits , 2009 .

[18]  J. G. Koller,et al.  Adiabatic Switching, Low Energy Computing, And The Physics Of Storing And Erasing Information , 1992, Workshop on Physics and Computation.

[19]  Charles H. Bennett,et al.  The thermodynamics of computation—a review , 1982 .

[20]  C. Amarnath,et al.  Design , Analysis and Fabrication of a Microflexural AND Gate , 2007 .

[21]  Tommaso Toffoli,et al.  A nanomechanical Fredkin gate. , 2014, Nano letters.

[22]  Michael L. Roukes,et al.  Mechanical Computation, Redux? , 2004 .

[23]  Y Li,et al.  Simultaneous and coordinated rotational switching of all molecular rotors in a network. , 2016, Nature nanotechnology.

[24]  M. Blencowe Nanoelectromechanical systems , 2005, cond-mat/0502566.

[25]  Scott Dhuey,et al.  Experimental test of Landauer’s principle in single-bit operations on nanomagnetic memory bits , 2016, Science Advances.

[26]  Deog-Kyoon Jeong,et al.  An efficient charge recovery logic circuit , 1996, IEEE J. Solid State Circuits.

[27]  William Greenwood,et al.  The history of nuclear weapon safety devices , 1998 .

[28]  D. Buck,et al.  The Cryotron-A Superconductive Computer Component , 1956, Proceedings of the IRE.

[29]  Jordan R. Raney,et al.  Stable propagation of mechanical signals in soft media using stored elastic energy , 2016, Proceedings of the National Academy of Sciences.

[30]  Robert Kovacs,et al.  Digital Mechanical Metamaterials , 2017, CHI.

[31]  Michael P. Frank Throwing computing into reverse , 2017, IEEE Spectrum.

[32]  Jim Euchner Design , 2014, Catalysis from A to Z.

[33]  Christina Kluge Adiabatic Logic Future Trend And System Level Perspective , 2016 .

[34]  Ted Hubbard,et al.  Simulation, dynamic testing and design of micromachined flexible joints , 2001 .

[35]  Tad Hogg,et al.  Evaluating the friction of rotary joints in molecular machines , 2017, 1701.08202.

[36]  Kazuo Tanaka,et al.  DNA logic gates. , 2004, Journal of the American Chemical Society.

[37]  Michael P. Frank,et al.  Introduction to reversible computing: motivation, progress, and challenges , 2005, CF '05.

[38]  Konrad Zuse,et al.  The Computer — My Life , 1993, Springer Berlin Heidelberg.

[39]  Nestoras Tzartzanis,et al.  Low-power digital systems based on adiabatic-switching principles , 1994, IEEE Trans. Very Large Scale Integr. Syst..