Design, specification, and synthesis of aircraft electric power systems control logic

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based spec- ifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considera- tions for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area.

This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller.

The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is ex- plored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.

Applying systematic design: the flight refuelling probe project

This report is a product of close industry-academia collaboration between British Aerospace and the Cambridge Engineering Design Centre (EDC). British Aerospace designs and integrates some of the most complex systems in the world, and its expertise in this field has enabled the company to become the United Kingdom's largest exporter. However, to stay at the forefront of the highly competitive aerospace industry it is necessary to seek new ways to work more effectively and more efficiently. The Cambridge EDC has played a part in supporting these needs by providing access to the methods and tools that it has developed for improving the process of designing mechanical systems. The EDC has gained an international reputation for the quality of its work in this subject. Thus, the collaboration is between two organisations each of whom are leaders in their respective fields. The central aim of the project has been to demonstrate how a systematic design process can be applied to a real design task identified by industry. The task selected was the design of a flight refuelling probe which would enable a combat aircraft to refuel from a "flying tanker". However, the systematic approach, methods and tools described in this report are applicable to most engineering design tasks. The findings presented in this report provide a sound basis for comparing the recommended systematic design process with industrial practice. The results of this comparison would enable the company to define ways in which its existing design process can be improved. This research project has a high degree of industrial relevance. The value of the work may be judged in terms of the opportunities it opens up for positive changes to the company's engineering operations. Several members of the EDC have contributed to the project. These include Dr Lucienne Blessing, Dr Stuart Burgess, Dr Amaresh Chakrabarti, Major Mark Nowack, Aylmer Johnson and Dr Paul Weaver. At British Aerospace special thanks must go to Alan Dean and David Halliday for their interest and the support they have given. The project has been managed by Dr Nigel Upton of British Aerospace during a 3 year secondment to the EDC.

Generación de energía eléctrica por combustión de biomasa forestal mediante ciclo rankine. Central de 2MW

[ES]Este proyecto se centra en el estudio y diseño de una central de generación de energía eléctrica por medio de biomasa forestal. La motivación para la realización de este proyecto reside en la gran importancia que en los últimos años están tomando las energías renovables. El Calentamiento Global es un hecho que durante los últimos años ha llevado a la investigación y desarrollo de las energías alternativas, que frenan o contribuyen al ralentizamiento de este fenómeno. Por su parte la implantación de una planta como la que se estudia a continuación, no solo ayudaría a la reducción de emisiones netas de CO2 a la atmósfera, sino que también tendría numerosas ventajas como son la creación de empleo, la limpieza de bosques, lo que ayuda a la prevención de incendios y plagas, y proporcionaría una independencia energética. Los pasos que se van a seguir en el proyecto son los siguientes:  Explicar el alcance y los objetivos del proyecto. Desarrollar las posibles alternativas que existen para la valorización de la biomasa forestal, incluyendo un resumen de las ventajas y desventajas que cada una presenta. Informe detallado de la alternativa seleccionada, la combustión, que incluye la explicación del proceso en la planta desde que el residuo sale del bosque, hasta la obtención de la energía eléctrica. Análisis económico y rentabilidad de la planta. Realizar el cronograma del proyecto. Por último se realizará un análisis de los posibles riesgos.

The Design and Synthesis of Transition Metal Complexes Supported by Non-innocent Ligand Scaffolds for Small Molecule Activation

This dissertation focuses on the incorporation of non-innocent or multifunctional moieties into different ligand scaffolds to support one or multiple metal centers in close proximity. Chapter 2 focuses on the initial efforts to synthesize hetero- or homometallic tri- or dinuclear metal carbonyl complexes supported by para-terphenyl diphosphine ligands. A series of [M₂M’(CO)₄]-type clusters (M = Ni, Pd; M’ = Fe, Co) could be accessed and used to relate the metal composition to the properties of the complexes. During these studies it was also found that non-innocent behavior was observed in dinuclear Fe complexes that result from changes in oxidation state of the cluster. These studies led to efforts to rationally incorporate central arene moieties capable managing both protons and electrons during small molecule activation.

Chapter 3 discusses the synthesis of metal complexes supported by a novel para-terphenyl diphosphine ligand containing a non-innocent 1,4-hydroquinone moiety as the central arene. A Pd⁰-hydroquinone complex was found to mediate the activation of a variety of small molecules to form the corresponding Pd⁰-quinone complexes in a formal two proton ⁄ two electron transformation. Mechanistic investigations of dioxygen activation revealed a metal-first activation process followed by subsequent proton and electron transfer from the ligand. These studies revealed the capacity of the central arene substituent to serve as a reservoir for a formal equivalent of dihydrogen, although the stability of the M-quinone compounds prevented access to the PdII-quinone oxidation state, thus hindering of small molecule transformations requiring more than two electrons per equivalent of metal complex.

Chapter 4 discusses the synthesis of metal complexes supported by a ligand containing a 3,5-substituted pyridine moiety as the linker separating the phenylene phosphine donors. Nickel and palladium complexes supported by this ligand were found to tolerate a wide variety of pyridine nitrogen-coordinated electrophiles which were found to alter central pyridine electronics, and therefore metal-pyridine π-system interactions, substantially. Furthermore, nickel complexes supported by this ligand were found to activate H-B and H-Si bonds and formally hydroborate and hydrosilylate the central pyridine ring. These systems highlight the potential use of pyridine π-system-coordinated metal complexes to reversibly store reducing equivalents within the ligand framework in a manner akin to the previously discussed 1,4-hydroquinone diphosphine ligand scaffold.

Chapter 5 departs from the phosphine-based chemistry and instead focuses on the incorporation of hydrogen bonding networks into the secondary coordination sphere of [Fe₄(μ₄-O)]-type clusters supported by various pyrazolate ligands. The aim of this project is to stabilize reactive oxygenic species, such as oxos, to study their spectroscopy and reactivity in the context of complicated multimetallic clusters. Herein is reported this synthesis and electrochemical and Mössbauer characterization of a series of chloride clusters have been synthesized using parent pyrazolate and a 3-aminophenyl substituted pyrazolate ligand. Efforts to rationally access hydroxo and oxo clusters from these chloride precursors represents ongoing work that will continue in the group.

Appendix A discusses attempts to access [Fe₃Ni]-type clusters as models of the enzymatic active site of [NiFe] carbon monoxide dehydrogenase. Efforts to construct tetranuclear clusters with an interstitial sulfide proved unsuccessful, although a (μ₃-S) ligand could be installed through non-oxidative routes into triiron clusters. While [Fe₃Ni(μ₄-O)]-type clusters could be assembled, accessing an open heterobimetallic edge site proved challenging, thus prohibiting efforts to study chemical transformations, such as hydroxide attack onto carbon monoxide or carbon dioxide coordination, relevant to the native enzyme. Appendix B discusses the attempts to synthesize models of the full H-cluster of [FeFe]-hydrogenase using a bioinorganic approach. A synthetic peptide containing three cysteine donors was successfully synthesized and found to chelate a preformed synthetic [Fe₄S₄] cluster. However, efforts to incorporate the diiron subsite model complex proved challenging as the planned thioester exchange reaction was found to non-selectively acetylate the peptide backbone, thus preventing the construction of the full six-iron cluster.

Split-aperture laser pulse compressor design tolerant to alignment and line-density differences

We introduce a four-pass laser pulse compressor design based on two grating apertures with two gratings per aperture that is tolerant to some alignment errors and, importantly, to grating-to-grating period variations. Each half-beam samples each grating in a diamond-shaped compressor that is symmetric about a central bisecting plane. For any given grating, the two half-beams impinge on opposite sides of its surface normal. It is shown that the two split beams have no pointing difference from paired gratings with different periods. Furthermore, no phase shift between half-beams is incurred as long as the planes containing a grating line and the surface normal for each grating of the pair are parallel. For grating pairs satisfying this condition, gratings surfaces need not be on the same plane, as changes in the gap between the two can compensate to bring the beams back in phase. © 2008 Optical Society of America.

Novel method for design of surface relief guided-mode resonant gratings at normal incidence

We demonstrate that the surface relief guided-mode resonant gratings with specified central wavelength and FWHM in the visible wavelength range can be designed by analyzing the complex poles of Reflectance and transmission coefficient matrix algorithm (RTCM), a variant of S-matrix propagation algorithm proposed for calculation of multilayer gratings. In addition, FWHM is computed with couple-mode (CM) theory of resonant gratings which is firstly extended by Norton et al. in calculation of waveguide grating. Furthermore, the side band reflections of the filter can be reduced to less than 5% in the visible wavelength with the antireflection (AR) design technique widely used in the thin-film field. (C) 2008 Elsevier B.V. All rights reserved.

O design das cédulas brasileiras do cruzeiro ao real (1970-2010)

Este trabalho é uma investigação da história do papel-moeda brasileiro, do cruzeiro de 1970 ao real de 2010, do ponto de vista do Design Gráfico, considerando as dimensões histórica, tecnológica e política do objeto dinheiro impresso. Foram levantados dados de diferentes fontes, como bibliografia especializada, documentos da Casa da Moeda do Brasil e do Banco Central, bem como entrevistas com profissionais envolvidos nos projetos de papel-moeda brasileiro no período de 1970 a 2010. O estudo aponta para uma crescente nacionalização do processo de projeto gráfico do papel-moeda brasileiro a partir dos anos 1960, com a aprovação da proposta da cédula de cinco cruzeiros pela Casa da Moeda, dando início à nacionalização definitiva dos trabalhos de projeto e de produção de cédulas pelo Brasil, atingida com o lançamento da família de cédulas projetada por Aloísio Magalhães, e com a modernização da Casa da Moeda no final dos anos 1970.

Design of a half ton dehydrator for fish

A half-ton capacity artificial dryer has been designed at the Central Institute of Fisheries Technology for drying fish like Mackerel, Sardine, White bait etc. The dryer is a hot air recirculation type. 80 KW thermostatically controlled heating coils are made use of for heating the air. The air is circulated by means of an axial flow pattern fan. Drying takes place at a temperature of 115 degrees F. The structure of the dryer comes to about Rs. 20,000.