Rational manipulation of mRNA folding free energy allows rheostat control of pneumolysin production by Streptococcus pneumoniae

Rational manipulation of mRNA folding free energy allows rheostat control of pneumolysin production by Streptococcus pneumoniae

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.

Synthetic biology approaches to shape bacteriophages towards Pseudomonas aeruginosa biofilm control

Dissertation for Ph.D. degree in Biomedical Engineering.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Resonancia Magnética Nuclear aplicada al estudio de nuevos sistemas farmacéuticos y biológicos, complejos poliméricos y conjuntos de espines modelo. Nuclear Magnetic Resonance applied to the study of new pharmaceutical and biological systems, polymeric complexes and model spin clusters.

El presente proyecto plantea utilizar integralmente la técnica de Resonancia Magnética Nuclear en sólidos como un medio experimental que permite entender fenómenos de la física fundamental, como así también realizar aplicaciones de interés en el campo de la química, los desarrollos farmacéuticos y la biología. Novedosas técnicas experimentales serán empleadas, en conjunción con otras más tradicionales, en la caracterización de nuevas estructuras poliméricas acomplejadas a metales, membranas biológicas y compuestos de interés farmacéutico en vías de desarrollo, los cuales presentan el fenómeno de polimorfismo . Esto se llevará a cabo complementando los resultados de RMN en sólidos con técnicas tanto espectroscópicas como analíticas (Infrarrojo, Difracción de Rayos X, Calorimetría, RMN en solución) y trabajo interdisciplinario. Paralelamente al desarrollo de estos temas, profundizaremos mediante investigación básica, en la compresión de la dinámica cuántica y el surgimiento de la irreversibilidad en sistemas de espines nucleares. Observaremos en particular la generación, evolución y control de las coherencias cuánticas múltiples en sistemas cuánticos abiertos, lo cual nos da información sobre tamaño de clusters de espines. Esto permitirá la correcta implementación de secuencias de pulsos sofisticadas, como así también desarrollar nuevos métodos de medición aplicados a la caracterización estructural y a la dinámica molecular de sólidos complejos. Debemos resaltar que este proyecto está conectado con aspectos tanto básicos como aplicados de la RMN en sólidos como técnica experimental, la cual se desarrolla en el país únicamente en FaMAF-UNC. Se nutre además de trabajo multidisciplinario promoviendo la colaboración con investigadores y becarios de distintas áreas (física, química, farmacia, biología) provenientes de distintos puntos del país. Finalmente podemos afirmar que este plan impulsa la aplicación de la física básica proyectada a diferentes áreas del conocimiento, en el ámbito de la provincia de Córdoba. The aim of the present proyect is to use Nuclear Magnetic Resonance (NMR) as a complete techique that allows the understanding of fundamental physics phenomena and, at the same time, it leads to important applications in the fields of chemistry, pharmaceutical developments and biology. New experiments will be used together with traditional ones, in the characterization of new metal-polymer complexes, biological membranes and pharmaceutical compounds, some of them presenting polymorfism. NMR experiments will be complemented with diverse spectroscopic and analytical techniques: Infrared, X ray Diffraction, Thermal Analysis, solution NMR, as well as multidisciplinary investigation. Additionally, the present proyect plans to study in depth several aspects of quantum dynamics phenomena and decoherence in nuclear spin systems. The present proyect is connected with basic and applied aspects of the solid state NMR technique, developed in our country, only at FaMAF-UNC. It is is composed by multidisciplinary work and it promotes the collaboration with researchers and students coming from different fields (physics, chemistry, pharmaceutical developments, biology) and different points of our country.

A comparative study in two secondary schools aimed at improving their energy management: Archbishop McHale College Tuam, Coláiste Cholmcille Indreabhánn

Climate change is a crisis that is going to affect all of our lives in the future. Ireland is expected to have increased storms and rain throughout the country. This will affect our lives greatly unless we do something to change it. In an attempt to try and reduce the impacts of climate change, countries across the world met to address the problem. The meeting became known as the Kyoto Protocol. The Kyoto protocol set out objectives for each developed country to achieve with regards to carbon emissions to the same levels as 1990 levels. Due to the economy in Ireland being at a low point in 1990, Ireland was given a target of 13% carbon emissions above 1990 levels. In order to meet targets Ireland produced two energy papers, the green paper and the white paper. The green paper identified drivers for energy management and control; they were security of energy supply, economic competitiveness and environmental protection. The white paper produced targets in which we should aim to achieve to try and address the green papers drivers. Within the targets was the plan to reduce energy consumption in the public sector by 33% by 2020 through energy conservation measures. Schools are part of the public sector that has targets to reduce its energy consumption. To help to achieve targets in schools initiatives have been developed by the government for schools. Energy audits should be performed in order to identify areas where the schools can improve their current trends and show where they can invest in the future to save money and reduce the schools overall environmental footprint. Grants are available for the schools for insulation through the energy efficiency scheme and for renewable energy technologies through the ReHeat scheme. The promotion of energy efficient programs in schools can have a positive effect for students to have an understanding. The Display Energy Certificate is a legal document that can be used to understand how each school is performing from an energy perspective. It can help schools to understand why they need to change their current energy management structure. By improving the energy management of the schools they then improve the performance on the Display Energy Certificate. Schools should use these tools wisely and take advantage of the grants available which can in the short to long term help them to save money and reduce their carbon footprint.

A comparison of environmental licensing systems in operation in the wood panel manufacturing industry in the Northern Hemisphere

The objective of this thesis is to compare and contrast environmental licensing systems, for the wood panel industry, in a number of countries in order to determine which system is the best from an environmental and economic point of view. The thesis also examines the impact which government can have on industry and the type of licensing system in operation in a country. Initially, the thesis investigates the origins of the various environmental licensing systems which are in operation in Ireland, Scotland, Wales, France, USA and Canada. It then examines the Environmental Agencies which control and supervise industry in these countries. The impact which the type of government (i.e. unitary or federal) in charge in any particular country has on industry and the Regulatory Agency in that country is then described. Most of the mills in the thesis make a product called OSB (Oriented Strand Board) and the manufacturing process is briefly described in order to understand where the various emissions are generated. The main body of the thesis examines a number of environmental parameters which have emission limit values in the licenses examined, although not all of these parameters have emission limit values in all of the licenses. All of these parameters are used as indicators of the potential impact which the mill can have on the environment. They have been set at specific levels by the Environmental Agencies in the individual countries to control the impact of the mill. Following on from this, the two main types of air pollution control equipment (WESPs and RTOs) are described in regard to their function and capabilities. The mill licenses are then presented in the form of results tables which compare air results and water results separately. This is due to the fact that the most significant emission from this type of industry is to air. A matrix system is used to compare the licenses so that the comparison can be as objective as possible. The discussion examines all of the elements previously described and from this it was concluded that the IPC licensing system is the best from an environmental and economic point of view. It is a much more expensive system to operate than the other systems examined, but it is much more comprehensive and looks at the mill as a whole rather than fragmenting it. It was also seen that the type of environmental licensing system which is in place in a country can play a role in the locating of an industry as certain systems were seen to have more stringent standards attached to them. The type of standard in place in a country is in turn influenced by the type of government which is in place in that country.

Evaluation of the determinism of the actuator sensor interface (ASI) on programmable logic controllers (PLC), personal computers (PC) and real-time operating systems (RTOS)

The purpose of this study was to evaluate the determinism of the AS-lnterface network and the 3 main families of control systems, which may use it, namely PLC, PC and RTOS. During the course of this study the PROFIBUS and Ethernet field level networks were also considered in order to ensure that they would not introduce unacceptable latencies into the overall control system. This research demonstrated that an incorrectly configured Ethernet network introduces unacceptable variable duration latencies into the control system, thus care must be exercised if the determinism of a control system is not to be compromised. This study introduces a new concept of using statistics and process capability metrics in the form of CPk values, to specify how suitable a control system is for a given control task. The PLC systems, which were tested, demonstrated extremely deterministic responses, but when a large number of iterations were introduced in the user program, the mean control system latency was much too great for an AS-I network. Thus the PLC was found to be unsuitable for an AS-I network if a large, complex user program Is required. The PC systems, which were tested were non-deterministic and had latencies of variable duration. These latencies became extremely exaggerated when a graphing ActiveX was included in the control application. These PC systems also exhibited a non-normal frequency distribution of control system latencies, and as such are unsuitable for implementation with an AS-I network. The RTOS system, which was tested, overcame the problems identified with the PLC systems and produced an extremely deterministic response, even when a large number of iterations were introduced in the user program. The RTOS system, which was tested, is capable of providing a suitable deterministic control system response, even when an extremely large, complex user program is required.

City Outdoor Lighting System Control. Problems and Prospects

This review describes current problems, trends and prospects of the quasi-automatic light control system. The lighting systems of million cities.

Reduction, Linearization and stability of relative equilibria for mechanical systems on riemannian manifolds

Consider a Riemannian manifold equipped with an infinitesimal isometry. For this setup, a unified treatment is provided, solely in the language of Riemannian geometry, of techniques in reduction, linearization, and stability of relative equilibria. In particular, for mechanical control systems, an explicit characterization is given for the manner in which reduction by an infinitesimal isometry, and linearization along a controlled trajectory "commute." As part of the development, relationships are derived between the Jacobi equation of geodesic variation and concepts from reduction theory, such as the curvature of the mechanical connection and the effective potential. As an application of our techniques, fiber and base stability of relative equilibria are studied. The paper also serves as a tutorial of Riemannian geometric methods applicable in the intersection of mechanics and control theory.

Anàlisi del sistema operatiu RTLinux e implementació d'un entorn de desenvolupament de tasques en temps real (aplicat al control de processos)

El projecte "Anàlisi del sistema operatiu RTLinux i implementació d'un entorn de desenvolupament de tasques en temps real" analitza la possibilitat de crear un entorn de desenvolupament de tasques en temps real per poder crear sistemes de control complex, tot això mitjançant codi lliure. Inicialment es fa un aprenentatge sobre el concepte de temps real, després s'elegeix el sistema operatiu en temps real RTLinux per a crear l'entorn de desenvolupament utilitzant el llenguatge de programació Tcl/Tk. Es creen un conjunt d'aplicacions (pel control computacional) per estudiar la viabilitat de la construcció de l'entorn desitjat per facilitar la tasca de l'usuari final. Aquest projecte obre multitud de possibles camins a continuar: comunicació remota, implementació de planificadors, estudi de controladors, etc.

SGCE: Sistema de Gestió i Control d'Equips

Aquest projecte es presenta com una solució al problema aparegut per la implantació de l'estació clínica de treball, e-CAP, en els centres d'atenció primària del servei d'atenció primària de la població de l’Hospitalet del Llobregat. La solució desenvolupada és una aplicació Web que proporciona la funcionalitat requerida per a dur a terme el control de l'equip informàtic, així com la gestió de les incidències. Aquesta aplicació Web està enfocada al personal d'atenció a l'usuari dels centres anomenats anteriorment amb la supervisió del departament de Sistemes d'Informació de cada servei d'atenció primària.

The protein phosphatase 7 regulates phytochrome signaling in Arabidopsis.

The psi2 mutant of Arabidopsis displays amplification of the responses controlled by the red/far red light photoreceptors phytochrome A (phyA) and phytochrome B (phyB) but no apparent defect in blue light perception. We found that loss-of-function alleles of the protein phosphatase 7 (AtPP7) are responsible for the light hypersensitivity in psi2 demonstrating that AtPP7 controls the levels of phytochrome signaling. Plants expressing reduced levels of AtPP7 mRNA display reduced blue-light induced cryptochrome signaling but no noticeable deficiency in phytochrome signaling. Our genetic analysis suggests that phytochrome signaling is enhanced in the AtPP7 loss of function alleles, including in blue light, which masks the reduced cryptochrome signaling. AtPP7 has been found to interact both in yeast and in planta assays with nucleotide-diphosphate kinase 2 (NDPK2), a positive regulator of phytochrome signals. Analysis of ndpk2-psi2 double mutants suggests that NDPK2 plays a critical role in the AtPP7 regulation of the phytochrome pathway and identifies NDPK2 as an upstream element involved in the modulation of the salicylic acid (SA)-dependent defense pathway by light. Thus, cryptochrome- and phytochrome-specific light signals synchronously control their relative contribution to the regulation of plant development. Interestingly, PP7 and NDPK are also components of animal light signaling systems.

Promise for plant pest control: root-associated pseudomonads with insecticidal activities.

Insects are an important and probably the most challenging pest to control in agriculture, in particular when they feed on belowground parts of plants. The application of synthetic pesticides is problematic owing to side effects on the environment, concerns for public health and the rapid development of resistance. Entomopathogenic bacteria, notably Bacillus thuringiensis and Photorhabdus/Xenorhabdus species, are promising alternatives to chemical insecticides, for they are able to efficiently kill insects and are considered to be environmentally sound and harmless to mammals. However, they have the handicap of showing limited environmental persistence or of depending on a nematode vector for insect infection. Intriguingly, certain strains of plant root-colonizing Pseudomonas bacteria display insect pathogenicity and thus could be formulated to extend the present range of bioinsecticides for protection of plants against root-feeding insects. These entomopathogenic pseudomonads belong to a group of plant-beneficial rhizobacteria that have the remarkable ability to suppress soil-borne plant pathogens, promote plant growth, and induce systemic plant defenses. Here we review for the first time the current knowledge about the occurrence and the molecular basis of insecticidal activity in pseudomonads with an emphasis on plant-beneficial and prominent pathogenic species. We discuss how this fascinating Pseudomonas trait may be exploited for novel root-based approaches to insect control in an integrated pest management framework.