Difference between revisions of "Reversible computation"
(→External links: added link to "causal depencency cone" picture) |
(→Related: added link to yet unwritten page Formal system) |
||
| Line 38: | Line 38: | ||
* [[Low speed efficiency limit]] | * [[Low speed efficiency limit]] | ||
* Quantum computing | * Quantum computing | ||
| + | * [[Formal system]]s | ||
== External links == | == External links == | ||
Revision as of 09:55, 16 July 2017
- 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
- Reversible actuators
- Sharing of energy devaluations for a defined arrow of time in the mechanosynthesis in nanofactories
- Low speed efficiency limit
- Quantum computing
- Formal systems
External links
- Very informative slides (PPT):
Reversible Computing Theory I: Reversible Logic Models
Principles of Adiabatic Processes (this includes well merging for reversible adiabatic registers)
- 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)
