Difference between revisions of "Reversible computation"
From apm
(→External links: changed one link to one that does not require the less and less supported flash software "flash") |
(→External links: added tip to use download option for slides if flash is hot installed/working) |
||
| Line 43: | Line 43: | ||
== External links == | == External links == | ||
| − | * Very informative slides (PPT):<br>[https://www.slideserve.com/germane-nieves/reversible-computing-theory-i-reversible-logic-models Reversible Computing Theory I: Reversible Logic Models] [http://www.powershow.com/view1/1b47cb-ZDc1Z/Reversible_Computing_Theory_I_Reversible_Logic_Models_powerpoint_ppt_presentation flash version]<br>[http://www.powershow.com/view/992b6-MWUzY/Principles_of_Adiabatic_Processes_powerpoint_ppt_presentation Principles of Adiabatic Processes] | + | * Very informative slides (PPT):<br>[https://www.slideserve.com/germane-nieves/reversible-computing-theory-i-reversible-logic-models Reversible Computing Theory I: Reversible Logic Models] [http://www.powershow.com/view1/1b47cb-ZDc1Z/Reversible_Computing_Theory_I_Reversible_Logic_Models_powerpoint_ppt_presentation flash version]<br>[http://www.powershow.com/view/992b6-MWUzY/Principles_of_Adiabatic_Processes_powerpoint_ppt_presentation Principles of Adiabatic Processes] These slides includes well merging for reversible adiabatic registers.<br>(use the download option if you don't have flash installed/working) |
---- | ---- | ||
* [http://iopscience.iop.org/1751-8121/43/38/382002/fulltext/ Reversible arithmetic logic unit for quantum arithmetic 2010 by Michael Kirkedal Thomsen, Robert Glück and Holger Bock Axelsen]<br>[http://dblp.uni-trier.de/pers/hd/g/Gl=uuml=ck:Robert.html further Papers by Robert Glück et.al.] | * [http://iopscience.iop.org/1751-8121/43/38/382002/fulltext/ Reversible arithmetic logic unit for quantum arithmetic 2010 by Michael Kirkedal Thomsen, Robert Glück and Holger Bock Axelsen]<br>[http://dblp.uni-trier.de/pers/hd/g/Gl=uuml=ck:Robert.html further Papers by Robert Glück et.al.] | ||
Revision as of 10:06, 27 December 2019
- 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
- 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 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)
