A new model 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 approach, 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.
Issue Section:
Research Papers
References
1.
Reif
, J. H.
, 2009
, “Mechanical Computation: It's Computational Complexity and Technologies
,” Encyclopedia of Complexity and System Science
, R. A.
Meyers
, ed., Springer-Verlag
, Berlin, Germany, pp. 5466
–5482
.2.
Bromley
, A.
, 1983
, “Inside the World's First Computers
,” New Sci.
, 99
, pp. 781
–784
.3.
Zuse
, K.
, 1993
, The Computer—My Life
, Springer-Verlag
, Berlin, Germany.4.
Bradley
, K. C.
, 2003
, “Mechanical Computing in Microelectromechanical Systems (MEMS)
,” Master's thesis
, Air Force Institute of Technology, Wright-Patterson AFB, OH.http://www.dtic.mil/dtic/tr/fulltext/u2/a415137.pdf5.
Pott
, V.
, Kam
, H.
, Nathanael
, R.
, Jeon
, J.
, Alon
, E.
, and Liu
, T.-J. K.
, 2010
, “Mechanical Computing Redux: Relays for Integrated Circuit Applications
,” Proc. IEEE
, 98
(12
), pp. 2076
–2094
.6.
Kam
, H.
, Liu
, T.-J. K.
, Markovic
, D.
, and Alon
, E.
, 2011
, “Design, Optimization, and Scaling of Mem Relays for Ultra-Low-Power Digital Logic
,” IEEE Trans. Electron. Devices
, 58
(1
), pp. 236
–250
.7.
Chowdhury
, F. K.
, 2013
, “Micro-Electro-Mechanical-Systems-Based Single-Device Digital Logic Gates for Harsh Environment Applications
,” Ph.D. thesis, The University of Utah, Salt Lake City, UT.8.
Boruah
, K.
, and Dutta
, J. C.
, 2015
, “Dna Computing Models for Boolean Circuits and Logic Gates
,” IEEE International Conference on Computational Intelligence and Communication Technology (CICT),
Ghaziabad, India, Feb. 13–14, pp. 529
–533
.9.
Okamoto
, A.
, Tanaka
, K.
, and Saito
, I.
, 2004
, “DNA Logic Gates
,” J. Am. Chem. Soc.
, 126
(30
), pp. 9458
–9463
.10.
Athas
, W. C.
, Svensson
, L. J.
, Koller
, J. G.
, Tzartzanis
, N.
, and Chou
, E. Y.-C.
, 1994
, “Low-Power Digital Systems Based on Adiabatic-Switching Principles
,” IEEE Trans. Very Large Scale Integr. (VLSI) Syst.
, 2
(4
), pp. 398
–407
.11.
Moon
, Y.
, and Jeong
, D.-K.
, 1996
, “An Efficient Charge Recovery Logic Circuit
,” IEICE Trans. Electron.
, 79
(7
), pp. 925
–933
.12.
Roukes
, M. L.
, 2004
, “Mechanical Computation, Redux?
,” Electron Devices Meeting, IEDM Technical Digest
, Piscataway, NJ, Dec. 13–15, pp. 539
–542
.13.
Wenzler
, J.-S.
, Dunn
, T.
, Toffoli
, T.
, and Mohanty
, P.
, 2013
, “A Nanomechanical Fredkin Gate
,” Nano Lett.
, 14
(1
), pp. 89
–93
.14.
Frank
, M. P.
, 2017
, “Throwing Computing Into Reverse
,” IEEE Spectrum
, 54
(9
), pp. 32
–37
.15.
Howell
, L. L.
, 2001
, Compliant Mechanisms
, Wiley
, Hoboken, NJ.16.
Ion
, A.
, Wall
, L.
, Kovacs
, R.
, and Baudisch
, P.
, 2017
, “Digital Mechanical Metamaterials
,” CHI Conference on Human Factors in Computing Systems
, Denver, CO, May 6–11, pp. 977–988.17.
Ekinci
, K. L.
, and Roukes
, M. L.
, 2005
, “Nanoelectromechanical Systems
,” Rev. Sci. Instrum.
, 76
(6
), p. 061101
.18.
Fettig
, H.
, Wylde
, J.
, Hubbard
, T.
, and Kujath
, M.
, 2001
, “Simulation, Dynamic Testing and Design of Micromachined Flexible Joints
,” J. Micromech. Microeng.
, 11
(3
), p. 209
.19.
Sharma
, A.
, Ram
, W. S.
, and Amarnath
, C.
, 2009
, “Mechanical Logic Devices and Circuits
,” 14th National Conference on Machines and Mechanisms (NaCoMM-09
), Durgapur, India, Dec. 17–18, pp. 235
–239
.http://www.nacomm09.ammindia.org/NaCoMM-2009/nacomm09_final_pap/R/RCA18.pdf20.
Modi
, A.
, Shah
, H.
, Amarnath
, C.
, Gandhi
, P.
, Singh
, S.
, and Rashmi
, R.
, 2007
, “Design, Analysis and Fabrication of a Microflexural and Gate
,” 13th National Conference on Mechanisms and Machines
(NaCoMM-07
), Bangalore, India, Dec. 12–13, pp. 275
–279
.http://nacomm07.ammindia.org/Contents/papers/NaCoMM-2007-115.pdf21.
Skakoon
, J. G.
, 2009
, “There's the Rub: Some Surprising Discoveries Are Made in the Quest of a Practically Frictionless Mechanical Operation
,” Mechanical Engineering
, American Society of Mechanical Engineers, New York.22.
Feynman
, R. P.
, 1985
, “Quantum Mechanical Computers
,” Opt. News
, 11
(2
), pp. 11
–20
.23.
Teichmann
, P.
, 2011
, Adiabatic Logic: Future Trend and System Level Perspective
, Vol. 34
, Springer Science and Business Media
, Berlin, Germany.24.
Gosselin
, C.
, and Angeles
, J.
, 1990
, “Singularity Analysis of Closed-Loop Kinematic Chains
,” IEEE Trans. Rob. Autom.
, 6
(3
), pp. 281
–290
.25.
Park
, F.
, and Kim
, J. W.
, 1999
, “Singularity Analysis of Closed Kinematic Chains
,” ASME J. Mech. Des.
, 121
(1
), pp. 32
–38
.26.
Touretzky
, D. S.
, 2015
, “Building the Pascaline: Digital Computing Like It's 1642
,” 46th ACM Technical Symposium on Computer Science Education
, Kansas City, MO, Mar. 4–7, p. 688
.http://www.cs.cmu.edu/~dst/Pascaline/pascaline-proposal.pdf27.
Bennett
, C. H.
, 1982
, “The Thermodynamics of Computational Review
,” Int. J. Theor. Phys.
, 21
(12
), pp. 905
–940
.28.
Raney
, J. R.
, Nadkarni
, N.
, Daraio
, C.
, Kochmann
, D. M.
, Lewis
, J. A.
, and Bertoldi
, K.
, 2016
, “Stable Propagation of Mechanical Signals in Soft Media Using Stored Elastic Energy
,” Proc. Natl. Acad. Sci.
113
(35), 9722–9727.29.
Plummer
, D.
, and Greenwood
, W.
, 1998
, “The History of Nuclear Weapon Safety Devices
,” 34th AIAA/ASME/SAE/ASEE Joint Propulsion Conference and Exhibit
, p. 3464
.30.
Forrest
, D. R.
, 2015
, “Integrated Nanosystems for Atomically Precise Manufacturing
,” Department of Energy Integrated Nanosystems for Atomically Precise Manufacturing Workshop
, Berkeley, CA, August 5–6.https://www.energy.gov/sites/prod/files/2016/06/f33/Welcome%20and%20Overview%20-%20Forrest.pdf31.
Service
, R.
, 2016
, “Chemistry Nobel Heralds Age of Molecular Machines
,” Science
, 354
(6309
), p. 158
.32.
Kassem
, S.
, Lee
, A. T. L.
, Leigh
, D. A.
, Marcos
, V.
, Palmer
, L. I.
, and Pisano
, S.
, 2017
, “Stereodivergent Synthesis With a Programmable Molecular Machine
,” Nature
, 549
, pp. 374
–378
.33.
Drexler
, K. E.
, 1992
, “Nanosystems
,” Molecular Machinery, Manufacturing and Computation
, Wiley, Hoboken, NJ.34.
Merkle
, R.
, Freitas
, R. A.
, Jr., Hogg
, T.
, Moses
, M.
, Moore
, T. E.
, and Ryley
, J.
, 2016
, “Molecular Mechanical Computing Systems
,” Institute for Molecular Manufacturing, Palo Alto, CA, IMM Report No. 46
.http://www.imm.org/Reports/rep046.pdf35.
Hogg
, T.
, Moses
, M. S.
, and Allis
, D. G.
, 2017
, “Evaluating the Friction of Rotary Joints in Molecular Machines
,” Mol. Syst. Des. Eng.
, 2, 235–252.36.
Frank
, M. P.
, 2005
, “Introduction to Reversible Computing: Motivation, Progress, and Challenges
,” Second Conference on Computing Frontiers
, pp. 385
–390
.37.
Landauer
, R.
, 1961
, “Irreversibility and Heat Generation in the Computing Process
,” IBM J. Res. Develop.
, 5
(3
), pp. 183
–191
.38.
Bérut
, A.
, Arakelyan
, A.
, Petrosyan
, A.
, Ciliberto
, S.
, Dillenschneider
, R.
, and Lutz
, E.
, 2012
, “Experimental Verification of Landauers Principle Linking Information and Thermodynamics
,” Nature
, 483
(7388
), p. 187
.39.
Hong
, J.
, Lambson
, B.
, Dhuey
, S.
, and Bokor
, J.
, 2016
, “Experimental Test of Landauers Principle in Single-Bit Operations on Nanomagnetic Memory Bits
,” Sci. Adv.
, 2
(3
), p. e1501492
.40.
Zhang
, Y.
, Kersell
, H.
, Stefak
, R.
, Echeverria
, J.
, Iancu
, V.
, Perera
, U. G. E.
, Li
, Y.
, Deshpande
, A.
, Braun
, K. F.
, Joachim
, C.
, Rapenne
, G.
, and Hla
, S.-W.
, 2016
, “Simultaneous and Coordinated Rotational Switching of All Molecular Rotors in a Network
,” Nat. Nanotech.
, 11
(8
), p. 706
.Copyright © 2018 by ASME
You do not currently have access to this content.
