Difference between revisions of "Reversible computation"

Revision as of 19:19, 23 November 2016

• 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:

• nanomechanical computation
• quantum computation
• mechanical computation

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

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)

• WIKIPEDIA functional programming
• WIKIPEDIA reversible computing
• Reversible arithmetic logic unit for quantum arithmetic 2010 by Michael Kirkedal Thomsen, Robert Glück and Holger Bock Axelsen