Difference between revisions of "Reversible computation"
From apm
(→External links: added link to papers by R. Glück) |
(→External links: added link to imm report 46 MolMechCompSys) |
||
| Line 43: | Line 43: | ||
* Very informative slides (PPT):<br>[http://www.powershow.com/view1/1b47cb-ZDc1Z/Reversible_Computing_Theory_I_Reversible_Logic_Models_powerpoint_ppt_presentation Reversible Computing Theory I: Reversible Logic Models]<br>[http://www.powershow.com/view/992b6-MWUzY/Principles_of_Adiabatic_Processes_powerpoint_ppt_presentation Principles of Adiabatic Processes] (this includes well merging for reversible adiabatic registers) | * Very informative slides (PPT):<br>[http://www.powershow.com/view1/1b47cb-ZDc1Z/Reversible_Computing_Theory_I_Reversible_Logic_Models_powerpoint_ppt_presentation Reversible Computing Theory I: Reversible Logic Models]<br>[http://www.powershow.com/view/992b6-MWUzY/Principles_of_Adiabatic_Processes_powerpoint_ppt_presentation Principles of Adiabatic Processes] (this includes well merging for reversible adiabatic registers) | ||
| − | |||
| − | |||
* [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.] | ||
* [http://www.cise.ufl.edu/research/revcomp/ RevComp - Actual implementations of reversible (electronic) circuits on chips] | * [http://www.cise.ufl.edu/research/revcomp/ RevComp - Actual implementations of reversible (electronic) circuits on chips] | ||
| + | |||
| + | * Report 46 of the Institute fro Molecular Manufacturing: [http://www.imm.org/Reports/rep046.pdf Molecular Mechanical Computing Sytems (2016-04) (pdf)] | ||
| + | |||
| + | * [http://en.wikipedia.org/wiki/Functional_programming WIKIPEDIA functional programming] | ||
| + | * [http://en.wikipedia.org/wiki/Reversible_logic WIKIPEDIA reversible computing] | ||
Revision as of 20:37, 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:
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)
- 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)
