Reversible computation
- note reversible cascades
- analogy with harmonic oscillator - assymetric - energy backflow
- splitup into many paths via distributing gears (differential / planetary) (analogy electric nodes and transformers)
- link logistic data transmission rods
- pros & cons of rotative logic - reconfigurativability - space use
- why functional programming matters for AP technology
- reversible 1:1 IO mapping - pure functions
- low and high level programming languages
- relevance for multicore parallel computation
- classical reversible gates
related:
Energy swinging frequency
In reversible computing devices energy needs to swing back and forth. If energy is moved back to the main energy storage source possibly every cycle (possibly through lots of mechanical differentials) friction losses will become too high.
For every stiff material there is a natural resonance frequency characteristic for size. If the swinging of energy is kept maximally local thus minimal in size the natural resonance frequency will be very high enforcing a too high operation speed with too much friction again.
Some optimal point in-between these two extremes must be found. To lower the resonance frequency the springs must be made more compliant and/or the mass must be made bigger.
(TODO: add the scaling law math for the resonance frequency of rotative and reciprocative resonators - how to scale the springs?)
Related
- Nanomechanical computation
- Reversible actuation
- Energy recuperation
- Sharing of energy devaluations for a defined arrow of time in the mechanosynthesis in nanofactories: Dissipation sharing
- Low speed efficiency limit
- Quantum computing
- Formal systems
- Rod logic, Buckling logic, Rotating link logic
External links
- Very informative slides (PPT):
Reversible Computing Theory I: Reversible Logic Models flash version
Principles of Adiabatic Processes These slides includes well merging for reversible adiabatic registers.
(use the download option if you don't have flash installed/working)
- Reversible arithmetic logic unit for quantum arithmetic 2010 by Michael Kirkedal Thomsen, Robert Glück and Holger Bock Axelsen
further Papers by Robert Glück et.al. - RevComp - Actual implementations of reversible (electronic) circuits on chips
- Report 46 of the Institute fro Molecular Manufacturing: Molecular Mechanical Computing Sytems (2016-04) (pdf)
- Wikipedia: functional programming
- Wikipedia: reversible computing
- Wikimedia commons (de): causal depencency cone (TODO: integrate that image (or a similar translated one) here)
