Following the reversible computation paradigm is essential in the design of many emerging technologies such as quantum computation or dedicated low power concepts. The design of corresponding circuits and systems heavily relies on information about whether the function to be realized is indeed reversible. In particular in hierarchical synthesis approaches where a given function is decomposed in...

Let ? O(n) be a nite group acting orthogonally on IR n. We say that ? is a reversing symmetry group of a homeomorphism, diieomorphism or ow f t : IR n 7 ! IR n (t 2 Z Z or t 2 IR) if ? has an index two subgroup ~ ? whose elements commute with f t and for all elements 2 ? ? ~ ? and all t , f t (x) = f ?t (x). We give necessary group and representation theoretic conditions for subgroups of revers...

Heteroaggregation is the aggregation of mixed particle systems where the colloidal particles may differ in charge, size and chemical composition. The phenomenon of heteroaggregation is of great relevance in industrial processes and the natural environment. This review will focus on binary heteroaggregation where at least one of the particles is a stimulus-responsive smart particle. Aggregation ...

The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Reversible CCS (RCCS), proposed by Danos and Krivine, enacts reversibility by means of memory stacks. Ulidowski and Phillips proposed a general method to reverse a process calculus given in a particular SOS forma...

We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe. The correspondence relates combinators witnessing type isomorphisms in the programming language to paths in the univalent universe; and combinator optimizations in the programming language to 2-paths in the univalent universe. The result suggests a si...

This paper presents a heuristic cost minimization approach to synthes­ izing linear reversible circuits. Two bidirectional linear reversible circuit syn­ thesis methods are introduced, the Alternating Elimination with Cost Minimiza­ tion method (AECM) and the Multiple CNOT Gate method (MCG). Al­ gorithms, example syntheses, and extensions to these methods are presented. An MCG variant which inc...

The Energetic and Exergetic performances evaluating models were built for a agricultural greenhouse cooling with groundwater-style GSHP system (GSHPs) in Northern China. The Exergy destruction (Exdest), Exergy efficiency(ε) and coefficient of performance (COP) were estimated and presented based on summer cooling test monitored data and the simulation models. Analyzed results indicate that the e...

A two-state, three-dimensional, deterministic, reversible cellular automaton is shown to be capable of approximately circular orbits, wavelike undulations, and particle-like configurations that decay in accordance with a half-life law. Fig 1: Busy Boxes CA tracing a quasi-circular path

We introduce a new model for simulating natural phenomena. We address several issues: topology, basic set properties like injectivity and surjectivity, reversibility, and decidability questions about a special kind of conservation law called grain conservation and ultimate periodicity.