Joannis Petri Fontanellae ... Decisiones sacri regii senatus Cathaloniae : [Texto impreso] tomus primus ... cum novo repertorio generali ...

Tit. en antep.: Joannis Petri Fontanellae, J.U.D. Decisiones sacri regii Senatus Cathaloniae : in quibus materiae ecclesiasticae non paucae tractantur duobus tomis diuisae. Cum repertorio generali et S. Rotae Romanae decisionibus recentissimis

Ioannis Petri Fontanellae ... Decisiones sacri regii senatus Cathaloniae : [Texto impreso] tomus secundus ...cum nouo repertorio generali materiarum ac rerum notabilium ...

Marca tip. en port

Clarorum Valentinorum Petri Joannis Nunnesii Emanuelis Martini, Gregorii Majansii, Joannis Insulae, aliorumque orationis selectae [Texto impreso]

Marca tip. en port

Petri Ioannis Perpiniani... Societate Iesu Orationes duodeviginti [Texto impreso]

Colofón

Clementina, hoc est, B. Clementis romani, divorum Petri et Pauli... discipuli et in rom. sede successoris... Opera quae quidem in hunc usque diem a variis auctoribus collecta... [Texto impreso] : cum nova praefatione...

Colofón

Petri Lombardi episcopi parisien. sententiarum libri IIII: [Texto impreso]

Marca tip. en port

Las Redes de Petri Interpretadas en el Diagnóstico de Fallos de Sistemas Híbridos. Aplicación a un Helicóptero no Tripulado

La seguridad y fiabilidad de los procesos industriales son la principal preocupación de los ingenieros encargados de las plantas industriales. Por lo tanto, desde un punto de vista económico, el objetivo principal es reducir el costo del mantenimiento, el tiempo de inactividad y las pérdidas causadas por los fallos. Por otra parte, la seguridad de los operadores, que afecta a los aspectos sociales y económicos, es el factor más relevante a considerar en cualquier sistema Debido a esto, el diagnóstico de fallos se ha convertido en un foco importante de interés para los investigadores de todo el mundo e ingenieros en la industria. Los principales trabajos enfocados en detección de fallos se basan en modelos de los procesos. Existen diferentes técnicas para el modelado de procesos industriales tales como máquinas de estado, árboles de decisión y Redes de Petri (RdP). Por lo tanto, esta tesis se centra en el modelado de procesos utilizando redes de petri interpretadas. Redes de Petri es una herramienta usada en el modelado gráfico y matemático con la habilidad para describir información de los sistemas de una manera concurrente, paralela, asincrona, distribuida y no determinística o estocástica. RdP son también una herramienta de comunicación visual gráfica útil como lo son las cartas de flujo o diagramas de bloques. Adicionalmente, las marcas de las RdP simulan la dinámica y concurrencia de los sistemas. Finalmente, ellas tienen la capacidad de definir ecuaciones de estado específicas, ecuaciones algebraicas y otros modelos que representan el comportamiento común de los sistemas. Entre los diferentes tipos de redes de petri (Interpretadas, Coloreadas, etc.), este trabajo de investigación trata con redes de petri interpretadas principalmente debido a características tales como sincronización, lugares temporizados, aparte de su capacidad para procesamiento de datos. Esta investigación comienza con el proceso para diseñar y construir el modelo y diagnosticador para detectar fallos definitivos, posteriormente, la dinámica temporal fue adicionada para detectar fallos intermitentes. Dos procesos industriales, concretamente un HVAC (Calefacción, Ventilación y Aire Acondicionado) y un Proceso de Envasado de Líquidos fueron usados como banco de pruebas para implementar la herramienta de diagnóstico de fallos (FD) creada. Finalmente, su capacidad de diagnóstico fue ampliada en orden a detectar fallos en sistemas híbridos. Finalmente, un pequeño helicóptero no tripulado fue elegido como ejemplo de sistema donde la seguridad es un desafío, y las técnicas de detección de fallos desarrolladas en esta tesis llevan a ser una herramienta valorada, desde que los accidentes de las aeronaves no tripuladas (UAVs) envuelven un alto costo económico y son la principal razón para introducir restricciones de volar sobre áreas pobladas. Así, este trabajo introduce un proceso sistemático para construir un Diagnosticador de Fallos del sistema mencionado basado en RdR Esta novedosa herramienta es capaz de detectar fallos definitivos e intermitentes. El trabajo realizado es discutido desde un punto de vista teórico y práctico. El procedimiento comienza con la división del sistema en subsistemas para seguido integrar en una RdP diagnosticadora global que es capaz de monitorear el sistema completo y mostrar las variables críticas al operador en orden a determinar la salud del UAV, para de esta manera prevenir accidentes. Un Sistema de Adquisición de Datos (DAQ) ha sido también diseñado para recoger datos durante los vuelos y alimentar la RdP diagnosticadora. Vuelos reales realizados bajo condiciones normales y de fallo han sido requeridos para llevar a cabo la configuración del diagnosticador y verificar su comportamiento. Vale la pena señalar que un alto riesgo fue asumido en la generación de fallos durante los vuelos, a pesar de eso esto permitió recoger datos básicos para desarrollar el diagnóstico de fallos, técnicas de aislamiento, protocolos de mantenimiento, modelos de comportamiento, etc. Finalmente, un resumen de la validación de resultados obtenidos durante las pruebas de vuelo es también incluido. Un extensivo uso de esta herramienta mejorará los protocolos de mantenimiento para UAVs (especialmente helicópteros) y permite establecer recomendaciones en regulaciones. El uso del diagnosticador usando redes de petri es considerado un novedoso enfoque. ABSTRACT Safety and reliability of industrial processes are the main concern of the engineers in charge of industrial plants. Thus, from an economic point of view, the main goal is to reduce the maintenance downtime cost and the losses caused by failures. Moreover, the safety of the operators, which affects to social and economic aspects, is the most relevant factor to consider in any system. Due to this, fault diagnosis has become a relevant focus of interest for worldwide researchers and engineers in the industry. The main works focused on failure detection are based on models of the processes. There are different techniques for modelling industrial processes such as state machines, decision trees and Petri Nets (PN). Thus, this Thesis is focused on modelling processes by using Interpreted Petri Nets. Petri Nets is a tool used in the graphic and mathematical modelling with ability to describe information of the systems in a concurrent, parallel, asynchronous, distributed and not deterministic or stochastic manner. PNs are also useful graphical visual communication tools as flow chart or block diagram. Additionally, the marks of the PN simulate the dynamics and concurrence of the systems. Finally, they are able to define specific state equations, algebraic equations and other models that represent the common behaviour of systems. Among the different types of PN (Interpreted, Coloured, etc.), this research work deals with the interpreted Petri Nets mainly due to features such as synchronization capabilities, timed places, apart from their capability for processing data. This Research begins with the process for designing and building the model and diagnoser to detect permanent faults, subsequently, the temporal dynamic was added for detecting intermittent faults. Two industrial processes, namely HVAC (Heating, Ventilation and Air Condition) and Liquids Packaging Process were used as testbed for implementing the Fault Diagnosis (FD) tool created. Finally, its diagnostic capability was enhanced in order to detect faults in hybrid systems. Finally, a small unmanned helicopter was chosen as example of system where safety is a challenge and fault detection techniques developed in this Thesis turn out to be a valuable tool since UAVs accidents involve high economic cost and are the main reason for setting restrictions to fly over populated areas. Thus, this work introduces a systematic process for building a Fault Diagnoser of the mentioned system based on Petri Nets. This novel tool is able to detect both intermittent and permanent faults. The work carried out is discussed from theoretical and practical point of view. The procedure begins with a division of the system into subsystems for further integration into a global PN diagnoser that is able to monitor the whole system and show critical variables to the operator in order to determine the UAV health, preventing accidents in this manner. A Data Acquisition System (DAQ) has been also designed for collecting data during the flights and feed PN Diagnoser. Real flights carried out under nominal and failure conditions have been required to perform the diagnoser setup and verify its performance. It is worth noting that a high risk was assumed in the generation of faults during the flights, nevertheless this allowed collecting basic data so as to develop fault diagnosis, isolations techniques, maintenance protocols, behaviour models, etc. Finally, a summary of the validation results obtained during real flight tests is also included. An extensive use of this tool will improve preventive maintenance protocols for UAVs (especially helicopters) and allow establishing recommendations in regulations. The use of the diagnoser by using Petri Nets is considered as novel approach.

Systematic Process for Building a Fault Diagnoser Based on Petri Nets Applied to a Helicopter

This work presents a systematic process for building a Fault Diagnoser (FD), based on Petri Nets (PNs) which has been applied to a small helicopter. This novel tool is able to detect both intermittent and permanent faults. The work carried out is discussed from theoretical and practical point of view. The procedure begins with a division of the whole system into subsystems, which are the devices that have to be modeled by using PN, considering both the normal and fault operations. Subsequently, the models are integrated into a global Petri Net diagnoser (PND) that is able to monitor a whole helicopter and show critical variables to the operator in order to determine the UAV health, preventing accidents in this manner. A Data Acquisition System (DAQ) has been designed for collecting data during the flights and feeding PN diagnoser with them. Several real flights (nominal or under failure) have been carried out to perform the diagnoser setup and verify its performance. A summary of the validation results obtained during real flight tests is also included. An extensive use of this tool will improve preventive maintenance protocols for UAVs (especially helicopters) and allow establishing recommendations in regulations

Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets

An integrated understanding of molecular and developmental biology must consider the large number of molecular species involved and the low concentrations of many species in vivo. Quantitative stochastic models of molecular interaction networks can be expressed as stochastic Petri nets (SPNs), a mathematical formalism developed in computer science. Existing software can be used to define molecular interaction networks as SPNs and solve such models for the probability distributions of molecular species. This approach allows biologists to focus on the content of models and their interpretation, rather than their implementation. The standardized format of SPNs also facilitates the replication, extension, and transfer of models between researchers. A simple chemical system is presented to demonstrate the link between stochastic models of molecular interactions and SPNs. The approach is illustrated with examples of models of genetic and biochemical phenomena where the UltraSAN package is used to present results from numerical analysis and the outcome of simulations.

Characterization of the Saccharomyces cerevisiae ERG27 gene encoding the 3-keto reductase involved in C-4 sterol demethylation

The last unidentified gene encoding an enzyme involved in ergosterol biosynthesis in Saccharomyces cerevisiae has been cloned. This gene, designated ERG27, encodes the 3-keto sterol reductase, which, in concert with the C-4 sterol methyloxidase (ERG25) and the C-3 sterol dehydrogenase (ERG26), catalyzes the sequential removal of the two methyl groups at the sterol C-4 position. We developed a strategy to isolate a mutant deficient in converting 3-keto to 3-hydroxy-sterols. An ergosterol auxotroph unable to synthesize sterol or grow without sterol supplementation was mutagenized. Colonies were then selected that were nystatin-resistant in the presence of 3-ketoergostadiene and cholesterol. A new ergosterol auxotroph unable to grow on 3-ketosterols without the addition of cholesterol was isolated. The gene (YLR100w) was identified by complementation. Segregants containing the YLR100w disruption failed to grow on various types of 3-keto sterol substrates. Surprisingly, when erg27 was grown on cholesterol- or ergosterol-supplemented media, the endogenous compounds that accumulated were noncyclic sterol intermediates (squalene, squalene epoxide, and squalene dioxide), and there was little or no accumulation of lanosterol or 3-ketosterols. Feeding experiments in which erg27 strains were supplemented with lanosterol (an upstream intermediate of the C-4 demethylation process) and cholesterol (an end-product sterol) demonstrated accumulation of four types of 3-keto sterols identified by GC/MS and chromatographic properties: 4-methyl-zymosterone, zymosterone, 4-methyl-fecosterone, and ergosta-7,24 (28)-dien-3-one. In addition, a fifth intermediate was isolated and identified by 1H NMR as a 4-methyl-24,25-epoxy-cholesta-7-en-3-one. Implications of these results are discussed.

Covalent intermediate trapped in 2-keto-3-deoxy-6- phosphogluconate (KDPG) aldolase structure at 1.95-Å resolution

2-Keto-3-deoxy-6-phosphogluconate (KDPG) aldolase catalyzes the reversible cleavage of KDPG to pyruvate and glyceraldehyde-3-phosphate. The enzyme is a class I aldolase whose reaction mechanism involves formation of Schiff base intermediates between Lys-133 and a keto substrate. A covalent adduct was trapped by flash freezing KDPG aldolase crystals soaked with 10 mM pyruvate in acidic conditions at pH 4.6. Structure determination to 1.95-Å resolution showed that pyruvate had undergone nucleophilic attack with Lys-133, forming a protonated carbinolamine intermediate, a functional Schiff base precursor, which was stabilized by hydrogen bonding with active site residues. Carbinolamine interaction with Glu-45 indicates general base catalysis of several rate steps. Stereospecific addition is ensured by aromatic interaction of Phe-135 with the pyruvate methyl group. In the native structure, Lys-133 donates all of its hydrogen bonds, indicating the presence of an ɛ-ammonium salt group. Nucleophilic activation is postulated to occur by proton transfer in the monoprotonated zwitterionic pair (Glu-45/Lys-133). Formation of the zwitterionic pair requires prior side chain rearrangement by protonated Lys-133 to displace a water molecule, hydrogen bonded to the zwitterionic residues.

Recovery of respiration following the SOS response of Escherichia coli requires RecA-mediated induction of 2-keto-4-hydroxyglutarate aldolase.

Agents that damage DNA in Escherichia coli or interfere with its replication induce DNA repair and mutagenesis via the SOS response. This well-known activity is regulated by the RecA protein and the LexA repressor. Following repair or bypass of the DNA lesion, the cell returns to its resting state by a largely unknown process. We found that 2-keto-4-hydroxyglutarate aldolase (4-hydroxy-2-oxoglutarate aldolase; EC 4.1.3.16) is necessary for the recovery of respiration and that it is regulated by the SOS response. This protein was induced by DNA-damaging agents. Induction required RecA activation. When the LexA regulon was repressed, activation of RecA was not sufficient for induction, indicating the requirement for an additional protein under LexA control. Finally, a mutant in the corresponding hga gene was UV sensitive. 2-Keto-4-hydroxyglutarate aldolase also plays a role in respiratory metabolic pathways, which suggests a mechanism for respiration resumption during the termination of the SOS response.

Lipid A biosynthesis in Rhizobium leguminosarum: role of a 2-keto-3-deoxyoctulosonate-activated 4' phosphatase.

Lipid A from several strains of the N2-fixing bacterium Rhizobium leguminosarum displays significant structural differences from Escherichia coli lipid A, one of which is the complete absence of phosphate groups. However, the first seven enzymes of E. coli lipid A biosynthesis, leading from UDP-GlcNAc to the phosphorylated intermediate, 2-keto-3-deoxyoctulosonate (Kdo2)-lipid IVA, are present in R. leguminosarum. We now describe a membrane-bound phosphatase in R. leguminosarum extracts that removes the 4' phosphate of Kdo2-lipid IVA. The 4' phosphatase is selective for substrates containing the Kdo domain. It is present in extracts of R. leguminosarum biovars phaseoli, viciae, and trifolii but is not detectable in E. coli and Rhizobium meliloti. A nodulation-defective strain (24AR) of R. leguminosarum biovar trifolii, known to contain a 4' phosphatase residue on its lipid A, also lacks measurable 4' phosphatase activity. The Kdo-dependent 4' phosphatase appears to be a key reaction in a pathway for generating phosphate-deficient lipid A.

A potassium channel beta subunit related to the aldo-keto reductase superfamily is encoded by the Drosophila hyperkinetic locus.

Genetic and physiological studies of the Drosophila Hyperkinetic (Hk) mutant revealed defects in the function or regulation of K+ channels encoded by the Shaker (Sh) locus. The Hk polypeptide, determined from analysis of cDNA clones, is a homologue of mammalian K+ channel beta subunits (Kv beta). Coexpression of Hk with Sh in Xenopus oocytes increases current amplitudes and changes the voltage dependence and kinetics of activation and inactivation, consistent with predicted functions of Hk in vivo. Sequence alignments show that Hk, together with mammalian Kv beta, represents an additional branch of the aldo-keto reductase superfamily. These results are relevant to understanding the function and evolutionary origin of Kv beta.

Modelagem e análise das cadeias de suprimentos globais e resilientes baseadas em rede de Petri.

Em um cenário de aumento de competitividade, crescente expectativa por inovações do produto e necessidade de atender diferentes perfis de consumidores, o conceito de gerenciamento de cadeias de suprimentos globais (GSCM) surge como uma estratégia para coordenar mais eficazmente as atividades dispersas geograficamente dos sistemas produtivos. Na adoção do GSCM, as organizações devem lidar com rupturas que impactam no gerenciamento das suas atividades, tais como a interrupção de vias de transporte, pane no fornecimento de energia, desastres naturais e até ataques terroristas. Nesse contexto, o trabalho introduz um procedimento sistematizado para modelagem das cadeias de suprimentos visto como um sistema a eventos discretos e sua análise por simulação das atividades do GSCM baseada em técnicas formais como a rede de Petri (PN) e o Production Flow Schema (PFS). Um exemplo é também apresentado para ilustrar e comprovar as vantagens do método proposto na análise do GSCM.