CiteSeerX — BDD-based synthesis of reversible logic …
Completely bio-based poly(limonene carbonate) is a thermoplastic polymer, which can be synthesized by copolymerization of limonene oxide (derived from limonene, which is found in orange peel) and CO2. Poly(limonene carbonate) has one double bond per repeating unit that can be exploited for further chemical modifications. These chemical modifications allow the tuning of the properties of the aliphatic polycarbonate in nearly any direction. Here we show synthetic routes to demonstrate that poly(limonene carbonate) is the perfect green platform polymer, from which many functional materials can be derived. The relevant examples presented in this study are the transformation from an engineering thermoplastic into a rubber, addition of permanent antibacterial activity, hydrophilization and even pH-dependent water solubility of the polycarbonate. Finally, we show a synthetic route to yield the completely saturated counterpart that exhibits improved heat processability due to lower reactivity.
BDD-Based Synthesis of Reversible Logic - ResearchGate
Automation: Types of automation, Degree of automation, Technical, economic and human factors in automation, Technologies like Mechanical, Electrical, Hydraulic, etc., Comparative evaluation, Development of automation systems using mechanical devices, pneumatic systems, hydraulic systems, electrical systems and hybrids. Synthesis and analysis, Optimization techniques, Illustrative examples of the above types of systems used for automation of machine tools, Material Handling devices, products etc. Industrial logic control systems, Logic diagramming, Design of servo systems, Design for automation, Cost-benefit analysis. Control: Open loop and closed loop control, Mathematical model of physical systems, Laplace transformation, Transfer functions, Types of controllers, Stability analysis in feedback controls, Transient response analysis of systems, Frequency response methods, Improving system performance, Discrete-time systems and Z-Transform method. Introduction to non-linear control systems, Approach to optimal and adaptive control systems, Micro-processor based digital control, State space analysis.
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-power design and nan-otechnologies. However, current methods for the synthesis of re-versible logic are limited, i.e. they are applicable to relatively small functions only. In this paper, we propose a synthesis approach, that can cope with Boolean functions containing more than a hundred of variables. We present a technique to derive reversible circuits for a function given by a Binary Decision Diagram (BDD). The cir-cuit is obtained using an algorithm with linear worst case behavior regarding run-time and space requirements. Furthermore, the size of the resulting circuit is bounded by the BDD size. This allows to transfer theoretical results known from BDDs to reversible cir-cuits. Experiments show better results (with respect to the circuit cost) and a significantly better scalability in comparison to previous synthesis approaches.