Contribution to the design of waveguide-fed compound-slot arrays by means of equivalent circuit modelling

Los arrays de ranuras son sistemas de antennas conocidos desde los años 40, principalmente destinados a formar parte de sistemas rádar de navíos de combate y grandes estaciones terrenas donde el tamaño y el peso no eran altamente restrictivos. Con el paso de los años y debido sobre todo a importantes avances en materiales y métodos de fabricación, el rango de aplicaciones de este tipo de sistemas radiantes creció en gran medida. Desde nuevas tecnologías biomédicas, sistemas anticolisión en automóviles y navegación en aviones, enlaces de comunicaciones de alta tasa binaria y corta distancia e incluso sistemas embarcados en satélites para la transmisión de señal de televisión. Dentro de esta familia de antennas, existen dos grupos que destacan por ser los más utilizados: las antennas de placas paralelas con las ranuras distribuidas de forma circular o espiral y las agrupaciones de arrays lineales construidos sobre guia de onda. Continuando con las tareas de investigación desarrolladas durante los últimos años en el Instituto de Tecnología de Tokyo y en el Grupo de Radiación de la Universidad Politécnica de Madrid, la totalidad de esta tesis se centra en este último grupo, aunque como se verá se separa en gran medida de las técnicas de diseño y metodologías convencionales. Los arrays de ranuras rectas y paralelas al eje de la guía rectangular que las alimenta son, sin ninguna duda, los modelos más empleados debido a la fiabilidad que presentan a altas frecuencias, su capacidad para gestionar grandes cantidades de potencia y la sencillez de su diseño y fabricación. Sin embargo, también presentan desventajas como estrecho ancho de banda en pérdidas de retorno y rápida degradación del diagrama de radiación con la frecuencia. Éstas son debidas a la naturaleza resonante de sus elementos radiantes: al perder la resonancia, el sistema global se desajusta y sus prestaciones degeneran. En arrays bidimensionales de slots rectos, el campo eléctrico queda polarizado sobre el plano transversal a las ranuras, correspondiéndose con el plano de altos lóbulos secundarios. Esta tesis tiene como objetivo el desarrollo de un método sistemático de diseño de arrays de ranuras inclinadas y desplazadas del centro (en lo sucesivo “ranuras compuestas”), definido en 1971 como uno de los desafíos a superar dentro del mundo del diseño de antennas. La técnica empleada se basa en el Método de los Momentos, la Teoría de Circuitos y la Teoría de Conexión Aleatoria de Matrices de Dispersión. Al tratarse de un método circuital, la primera parte de la tesis se corresponde con el estudio de la aplicabilidad de las redes equivalentes fundamentales, su capacidad para recrear fenómenos físicos de la ranura, las limitaciones y ventajas que presentan para caracterizar las diferentes configuraciones de slot compuesto. Se profundiza en las diferencias entre las redes en T y en ! y se condiciona la selección de una u otra dependiendo del tipo de elemento radiante. Una vez seleccionado el tipo de red a emplear en el diseño del sistema, se ha desarrollado un algoritmo de cascadeo progresivo desde el puerto alimentador hacia el cortocircuito que termina el modelo. Este algoritmo es independiente del número de elementos, la frecuencia central de funcionamiento, del ángulo de inclinación de las ranuras y de la red equivalente seleccionada (en T o en !). Se basa en definir el diseño del array como un Problema de Satisfacción de Condiciones (en inglés, Constraint Satisfaction Problem) que se resuelve por un método de Búsqueda en Retroceso (Backtracking algorithm). Como resultado devuelve un circuito equivalente del array completo adaptado a su entrada y cuyos elementos consumen una potencia acorde a una distribución de amplitud dada para el array. En toda agrupación de antennas, el acoplo mutuo entre elementos a través del campo radiado representa uno de los principales problemas para el ingeniero y sus efectos perjudican a las prestaciones globales del sistema, tanto en adaptación como en capacidad de radiación. El empleo de circuito equivalente se descartó por la dificultad que suponía la caracterización de estos efectos y su inclusión en la etapa de diseño. En esta tesis doctoral el acoplo también se ha modelado como una red equivalente cuyos elementos son transformadores ideales y admitancias, conectada al conjunto de redes equivalentes que representa el array. Al comparar los resultados estimados en términos de pérdidas de retorno y radiación con aquellos obtenidos a partir de programas comerciales populares como CST Microwave Studio se confirma la validez del método aquí propuesto, el primer método de diseño sistemático de arrays de ranuras compuestos alimentados por guía de onda rectangular. Al tratarse de ranuras no resonantes, el ancho de banda en pérdidas de retorno es mucho mas amplio que el que presentan arrays de slots rectos. Para arrays bidimensionales, el ángulo de inclinación puede ajustarse de manera que el campo quede polarizado en los planos de bajos lóbulos secundarios. Además de simulaciones se han diseñado, construido y medido dos prototipos centrados en la frecuencia de 12GHz, de seis y diez elementos. Las medidas de pérdidas de retorno y diagrama de radiación revelan excelentes resultados, certificando la bondad del método genuino Method of Moments - Forward Matching Procedure desarrollado a lo largo de esta tésis. Abstract The slot antenna arrays are well known systems from the decade of 40s, mainly intended to be part of radar systems of large warships and terrestrial stations where size and weight were not highly restrictive. Over the years, mainly due to significant advances in materials and manufacturing methods, the range of applications of this type of radiating systems grew significantly. From new biomedical technologies, collision avoidance systems in cars and aircraft navigation, short communication links with high bit transfer rate and even embedded systems in satellites for television broadcast. Within this family of antennas, two groups stand out as being the most frequent in the literature: parallel plate antennas with slots placed in a circular or spiral distribution and clusters of waveguide linear arrays. To continue the vast research work carried out during the last decades in the Tokyo Institute of Technology and in the Radiation Group at the Universidad Politécnica de Madrid, this thesis focuses on the latter group, although it represents a technique that drastically breaks with traditional design methodologies. The arrays of slots straight and parallel to the axis of the feeding rectangular waveguide are without a doubt the most used models because of the reliability that they present at high frequencies, its ability to handle large amounts of power and their simplicity of design and manufacturing. However, there also exist disadvantages as narrow bandwidth in return loss and rapid degradation of the radiation pattern with frequency. These are due to the resonant nature of radiating elements: away from the resonance status, the overall system performance and radiation pattern diminish. For two-dimensional arrays of straight slots, the electric field is polarized transverse to the radiators, corresponding to the plane of high side-lobe level. This thesis aims to develop a systematic method of designing arrays of angled and displaced slots (hereinafter "compound slots"), defined in 1971 as one of the challenges to overcome in the world of antenna design. The used technique is based on the Method of Moments, Circuit Theory and the Theory of Scattering Matrices Connection. Being a circuitry-based method, the first part of this dissertation corresponds to the study of the applicability of the basic equivalent networks, their ability to recreate the slot physical phenomena, their limitations and advantages presented to characterize different compound slot configurations. It delves into the differences of T and ! and determines the selection of the most suitable one depending on the type of radiating element. Once the type of network to be used in the system design is selected, a progressive algorithm called Forward Matching Procedure has been developed to connect the proper equivalent networks from the feeder port to shorted ending. This algorithm is independent of the number of elements, the central operating frequency, the angle of inclination of the slots and selected equivalent network (T or ! networks). It is based on the definition of the array design as a Constraint Satisfaction Problem, solved by means of a Backtracking Algorithm. As a result, the method returns an equivalent circuit of the whole array which is matched at its input port and whose elements consume a power according to a given amplitude distribution for the array. In any group of antennas, the mutual coupling between elements through the radiated field represents one of the biggest problems that the engineer faces and its effects are detrimental to the overall performance of the system, both in radiation capabilities and return loss. The employment of an equivalent circuit for the array design was discarded by some authors because of the difficulty involved in the characterization of the coupling effects and their inclusion in the design stage. In this thesis the coupling has also been modeled as an equivalent network whose elements are ideal transformers and admittances connected to the set of equivalent networks that represent the antennas of the array. By comparing the estimated results in terms of return loss and radiation with those obtained from popular commercial software as CST Microwave Studio, the validity of the proposed method is fully confirmed, representing the first method of systematic design of compound-slot arrays fed by rectangular waveguide. Since these slots do not work under the resonant status, the bandwidth in return loss is much wider than the longitudinal-slot arrays. For the case of two-dimensional arrays, the angle of inclination can be adjusted so that the field is polarized at the low side-lobe level plane. Besides the performed full-wave simulations two prototypes of six and ten elements for the X-band have been designed, built and measured, revealing excellent results and agreement with the expected results. These facts certify that the genuine technique Method of Moments - Matching Forward Procedure developed along this thesis is valid and trustable.

Nitrogen fixation by native Bradyrhizobia in symbiosis with Lupinus mariae-josephae requires a T3SS encoding a NopE-like effector

Several bradyrhizobial isolates from L. mariae-josephae root nodules [1] contain a type III secretion system (T3SS) within a cluster of about 30 genes. Among those genes, ttsI codes for the transcriptional activator of the system. Mutation of ttsI resulted in the formation of white, non-fixing nodules with the natural legume host, L. mariae-josephae. The T3SS cluster also contains a gene coding for a NopE-like protein. NopE proteins have been demonstrated to be effectors in the Bradyrhizobium-soybean symbiosis [2] and belong to a small group of poorly characterized proteins from plant-associated bacteria that contain one or two autocleavage motifs known as DUF1521 (Schirrmeister et al. 2011). The amino acid sequence of a NopE-like protein in the L. mariae-josephae strain LmjC contains just one autocatalytic motif. This is unlike NopE1 and NopE2 proteins secreted by the T3SS of B. japonicum, that contain two motifs [3]. The autocleavage of LmjC NopE protein was analyzed after expression in E. coli and purification. Two protein fragments of the predicted sizes appeared in the presence of Ca2+, Cu2+, Cd2+, Zn2+ and Mn2+ cations. In contrast, autocleavage did not take place in the presence of Ni2+, Co2+ or Mg2+. Site-directed mutagenesis of the DUF1521 motif in LmjC NopE abolished self-cleavage in vitro. Symbiotic competence of a NopE- mutant with the L. mariae-josephae host was not affected. Possible roles of NopE are discussed.

Native bradyrhizobia isolated from Lupinus mariae-josephae possess an essential T3SS for symbiosis

Analysis of the genome sequence of bradyrhizobia strains isolated from root nodules of Lupinus mariae-josephae revealed the presence of a type III secretion system (T3SS). Mutagenesis of ttsI gene that codes for the transcriptional activator (TtsI) resulted in the formation of white, non-fixing nodules in L. mariae-josephae. The T3SS cluster includes a gene coding for a NopE-like protein with an autocleavage motif. The NopE protein is an effector in the Bradyrhizobium-soybean symbiosis (Wenzel et al., 2010). The autocatalytic properties of the purified NopE-like protein have been studied.

Hardware timestamping for image acquisition system based on FlexRIO and IEEE 1588 v2 Standard

Current fusion devices consist of multiple diagnostics and hundreds or even thousands of signals. This situation forces on multiple occasions to use distributed data acquisition systems as the best approach. In this type of distributed systems, one of the most important issues is the synchronization between signals, so that it is possible to have a temporal correlation as accurate as possible between the acquired samples of all channels. In last decades, many fusion devices use different types of video cameras to provide inside views of the vessel during operations and to monitor plasma behavior. The synchronization between each video frame and the rest of the different signals acquired from any other diagnostics is essential in order to know correctly the plasma evolution, since it is possible to analyze jointly all the information having accurate knowledge of their temporal correlation. The developed system described in this paper allows timestamping image frames in a real-time acquisition and processing system using 1588 clock distribution. The system has been implemented using FPGA based devices together with a 1588 synchronized timing card (see Fig.1). The solution is based on a previous system [1] that allows image acquisition and real-time image processing based on PXIe technology. This architecture is fully compatible with the ITER Fast Controllers [2] and offers integration with EPICS to control and monitor the entire system. However, this set-up is not able to timestamp the frames acquired since the frame grabber module does not present any type of timing input (IRIG-B, GPS, PTP). To solve this lack, an IEEE1588 PXI timing device its used to provide an accurate way to synchronize distributed data acquisition systems using the Precision Time Protocol (PTP) IEEE 1588 2008 standard. This local timing device can be connected to a master clock device for global synchronization. The timing device has a buffer timestamp for each PXI trigger line and requires tha- a software application assigns each frame the corresponding timestamp. The previous action is critical and cannot be achieved if the frame rate is high. To solve this problem, it has been designed a solution that distributes the clock from the IEEE 1588 timing card to all FlexRIO devices [3]. This solution uses two PXI trigger lines that provide the capacity to assign timestamps to every frame acquired and register events by hardware in a deterministic way. The system provides a solution for timestamping frames to synchronize them with the rest of the different signals.

Uso de Leap Motion en juegos didácticos para niños con necesidades educativas especiales

Este Trabajo de Fin de Grado (TFG) tiene el objetivo incorporar el dispositivo Leap Motion [1] en un juego educativo para niños con necesidades educativas especiales para permitirles aprender de una forma divertida mientras disfrutan con los mini juegos que ofrece nuestra aplicación. Está destinado al apoyo del sistema educativo para los niños con necesidades educativas especiales. Debido al público que tenemos como objetivo debemos de tener en cuenta que hay distintos tipos de usuarios según el tipo de discapacidad que tienen. Entre ellas tenemos discapacidad visual, auditiva, cognitiva y motriz. Tenemos distintos mini juegos para facilitar el aprendizaje de las letras y nuevas palabras, los nombres de colores y diferenciarlos y la asociación de conceptos mediante ejemplos sencillos como son ropa, juguetes y comida. Para hacer que la interacción sea más divertida tenemos distintos tipos de dispositivos de interacción: unos comunes como son el teclado y la pantalla táctil y otros más novedosos como son Kinect [2] y Leap Motion que es el que se introducirá en el desarrollo de este Trabajo de Fin de Grado. El otro objetivo de este proyecto es el estudio de los distintos dispositivos de interacción. Se quiere descubrir qué tipo de sistemas de interacción son más sencillos de aprender, cuáles son más intuitivos para los niños, los que les resultan más interesantes permitiendo captar mejor su atención y sus opuestos, es decir, los que son más difíciles de entender, los más monótonos y los más aburridos para ellos.---ABSTRACT---This Final Degree Project (TFG) aims to incorporate the Leap Motion device [1] in an educational game for children with special educational needs to enable them to learn in a funny way while enjoying the mini games that our application offered. It is intended to support the education system for children with special educational needs. Because the public that we have as objective we must take into account that there are different types of users depending on the type of disability they have. Among them we have visual, auditory, cognitive and motor disabilities. We have different mini games to make easier learning of letters and new words, names and distinguish colors and the association of concepts through simple examples such as clothing, toys and food. To make the interaction more fun we have different interaction devices: common such as the keyboard and the touch screen and other more innovative such as Kinect [2] and Leap Motion which is to be introduced in the development of this Final Degree Work. The other objective of this project is to study the various interaction devices. You want to find out what type of interaction systems are easier to learn, which are more intuitive for children, who are more interesting allowing better capture their attention and their opposites, that is, those that are more difficult to understand, the most monotonous and most boring for them.

The Salmonella invasin SipB induces macrophage apoptosis by binding to caspase-1

Recently, Salmonella spp. were shown to induce apoptosis in infected macrophages. The mechanism responsible for this process is unknown. In this report, we establish that the Inv-Spa type III secretion apparatus target invasin SipB is necessary and sufficient for the induction of apoptosis. Purified SipB microinjected into macrophages led to cell death. Binding studies show that SipB associates with the proapoptotic protease caspase-1. This interaction results in the activation of caspase-1, as seen in its proteolytic maturation and the processing of its substrate interleukin-1β. Caspase-1 activity is essential for the cytotoxicity. Functional inhibition of caspase-1 activity by acetyl-Tyr-Val-Ala-Asp-chloromethyl ketone blocks macrophage cytotoxicity, and macrophages lacking caspase-1 are not susceptible to Salmonella-induced apoptosis. Taken together, the data demonstrate that SipB functions as an analog of the Shigella invasin IpaB.

DNA methyltransferases of the cyanobacterium Anabaena PCC 7120

From the characterization of enzyme activities and the analysis of genomic sequences, the complement of DNA methyltransferases (MTases) possessed by the cyanobacterium Anabaena PCC 7120 has been deduced. Anabaena has nine DNA MTases. Four are associated with Type II restriction enzymes (AvaI, AvaII, AvaIII and the newly recognized inactive AvaIV), and five are not. Of the latter, four may be classified as solitary MTases, those whose function lies outside of a restriction/modification system. The group is defined here based on biochemical and genetic characteristics. The four solitary MTases, DmtA/M.AvaVI, DmtB/M.AvaVII, DmtC/M.AvaVIII and DmtD/M.AvaIX, methylate at GATC, GGCC, CGATCG and rCCGGy, respectively. DmtB methylates cytosines at the N4 position, but its sequence is more similar to N6-adenine MTases than to cytosine-specific enzymes, indicating that it may have evolved from the former. The solitary MTases, appear to be of ancient origin within cyanobacteria, while the restriction MTases appear to have arrived by recent horizontal transfer as did five now inactive Type I restriction systems. One Mtase, M.AvaV, cannot reliably be classified as either a solitary or restriction MTase. It is structurally unusual and along with a few proteins of prokaryotic and eukaryotic origin defines a structural class of MTases distinct from all previously described.

Desmuslin, an intermediate filament protein that interacts with α-dystrobrevin and desmin

Dystrobrevin is a component of the dystrophin-associated protein complex and has been shown to interact directly with dystrophin, α1-syntrophin, and the sarcoglycan complex. The precise role of α-dystrobrevin in skeletal muscle has not yet been determined. To study α-dystrobrevin's function in skeletal muscle, we used the yeast two-hybrid approach to look for interacting proteins. Three overlapping clones were identified that encoded an intermediate filament protein we subsequently named desmuslin (DMN). Sequence analysis revealed that DMN has a short N-terminal domain, a conserved rod domain, and a long C-terminal domain, all common features of type 6 intermediate filament proteins. A positive interaction between DMN and α-dystrobrevin was confirmed with an in vitro coimmunoprecipitation assay. By Northern blot analysis, we find that DMN is expressed mainly in heart and skeletal muscle, although there is some expression in brain. Western blotting detected a 160-kDa protein in heart and skeletal muscle. Immunofluorescent microscopy localizes DMN in a stripe-like pattern in longitudinal sections and in a mosaic pattern in cross sections of skeletal muscle. Electron microscopic analysis shows DMN colocalized with desmin at the Z-lines. Subsequent coimmunoprecipitation experiments confirmed an interaction with desmin. Our findings suggest that DMN may serve as a direct linkage between the extracellular matrix and the Z-discs (through plectin) and may play an important role in maintaining muscle cell integrity.

Striking a balance: Modulation of the actin cytoskeleton by Salmonella

Salmonella spp. have evolved the ability to enter into cells that are normally nonphagocytic. The internalization process is the result of a remarkable interaction between the bacteria and the host cells. Immediately on contact, Salmonella delivers a number of bacterial effector proteins into the host cell cytosol through the function of a specialized organelle termed the type III secretion system. Initially, two of the delivered proteins, SopE and SopB, stimulate the small GTP-binding proteins Cdc42 and Rac. SopE is an exchange factor for these GTPases, and SopB is an inositol polyphosphate phosphatase. Stimulation of Cdc42 and Rac leads to marked actin cytoskeleton rearrangements, which are further enhanced by SipA, a Salmonella protein also delivered into the host cell by the type III secretion system. SipA lowers the critical concentration of G-actin, stabilizes F-actin at the site of bacterial entry, and increases the bundling activity of the host-cell protein T-plastin (fimbrin). The cellular responses stimulated by Salmonella are short-lived; therefore, immediately after bacterial entry, the cell regains its normal architecture. Remarkably, this process is mediated by SptP, another target of the type III secretion system. SptP exert its function by serving as a GTPase-activating protein for Cdc42 and Rac, turning these G proteins off after their stimulation by the bacterial effectors SopE and SopB. The balanced interaction of Salmonella with host cells constitutes a remarkable example of the sophisticated nature of a pathogen/host relationship shaped by evolution through a longstanding coexistence.

Molecular and cell biology aspects of plague

A 70-kb virulence plasmid (sometimes called pYV) enables Yersinia spp. to survive and multiply in the lymphoid tissues of their host. It encodes the Yop virulon, a system consisting of secreted proteins called Yops and their dedicated type III secretion apparatus called Ysc. The Ysc apparatus forms a channel composed of 29 proteins. Of these, 10 have counterparts in almost every type III system. Secretion of some Yops requires the assistance, in the bacterial cytosol, of small individual chaperones called the Syc proteins. These chaperones act as bodyguards or secretion pilots for their partner Yop. Yop proteins fall into two categories. Some are intracellular effectors, whereas the others are “translocators” needed to deliver the effectors across the eukaryotic plasma membrane, into eukaryotic cells. The translocators (YopB, YopD, LcrV) form a pore of 16–23 Å in the eukaryotic cell plasma membrane. The effector Yops are YopE, YopH, YpkA/YopO, YopP/YopJ, YopM, and YopT. YopH is a powerful phosphotyrosine phosphatase playing an antiphagocytic role by dephosphorylating several focal adhesion proteins. YopE and YopT contribute to antiphagocytic effects by inactivating GTPases controlling cytoskeleton dynamics. YopP/YopJ plays an anti-inflammatory role by preventing the activation of the transcription factor NF-κB. It also induces rapid apoptosis of macrophages. Less is known about the role of the phosphoserine kinase YopO/YpkA and YopM.

Morphological classification of microtidal sand and gravel beaches

A new classification of microtidal sand and gravel beaches with very different morphologies is presented below. In 557 studied transects, 14 variables were used. Among the variables to be emphasized is the depth of the Posidonia oceanica. The classification was performed for 9 types of beaches: Type 1: Sand and gravel beaches, Type 2: Sand and gravel separated beaches, Type 3: Gravel and sand beaches, Type 4: Gravel and sand separated beaches, Type 5: Pure gravel beaches, Type 6: Open sand beaches, Type 7: Supported sand beaches, Type 8: Bisupported sand beaches and Type 9: Enclosed beaches. For the classification, several tools were used: discriminant analysis, neural networks and Support Vector Machines (SVM), the results were then compared. As there is no theory for deciding which is the most convenient neural network architecture to deal with a particular data set, an experimental study was performed with different numbers of neuron in the hidden layer. Finally, an architecture with 30 neurons was chosen. Different kernels were employed for SVM (Linear, Polynomial, Radial basis function and Sigmoid). The results obtained for the discriminant analysis were not as good as those obtained for the other two methods (ANN and SVM) which showed similar success.

Pseudomonas aeruginosa fimL regulates multiple virulence functions by intersecting with Vfr-modulated pathways

Virulence of Pseudomonas aeruginosa involves the co-ordinate expression of a range of factors including type IV pili (tfp), the type III secretion system (TTSS) and quorum sensing. Tfp are required for twitching motility, efficient biofilm formation, and for adhesion and type III secretion (TTS)-mediated damage to mammalian cells. We describe a novel gene (fimL) that is required for tfp biogenesis and function, for TTS and for normal biofilm development in P. aeruginosa. The predicted product of fimL is homologous to the N-terminal domain of ChpA, except that its putative histidine and threonine phosphotransfer sites have been replaced with glutamine. fimL mutants resemble vfr mutants in many aspects including increased autolysis, reduced levels of surface-assembled tfp and diminished production of type III secreted effectors. Expression of vfr in trans can complement fimL mutants. vfr transcription and production is reduced in fimL mutants whereas cAMP levels are unaffected. Deletion and insertion mutants of fimL frequently revert to wild-type phenotypes suggesting that an extragenic suppressor mutation is able to overcome the loss of fimL. vfr transcription and production, as well as cAMP levels, are elevated in these revertants, while Pseudomonas quinolone signal (PQS) production is reduced. These results suggest that the site(s) of spontaneous mutation is in a gene(s) which lies upstream of vfr transcription, cAMP, production, and PQS synthesis. Our studies indicate that Vfr and FimL are components of intersecting pathways that control twitching motility, TTSS and autolysis in P. aeruginosa.

Venom proteins from polydnavirus-producing endoparasitoids: Their role in host-parasite interactions

Endoporasitoid wasps have evolved various mechanisms to ensure successful development of their progeny, including co-injection of a cocktail of maternal secretions into the host hemocoel, including venom, calyx fluid, and polydnoviruses. The components of each type of secretion may influence host physiology and development independently or in a synergistic fashion. For example, venom fluid consists of several peptides and proteins that promote expression of polydnavirus genes in addition to other activities, such as inhibition of prophenoloxidase activation, inhibition of hemocytes spreading and aggregation, and inhibition of development. This review provides a brief overview of advances and prospects in the study of venom proteins from polydnavirus-producing endoparositoid wasps with a special emphasis on the role of C. rubecula venom proteins in host-parositoid interactions.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

LDL-Lipids from patients with hypercholesterolaemia and Alzheimer's disease are inflammatory to microvascular endothelial cells:mitigation by statin intervention

Elevated LDL concentration in mid-life increases the risk of developing Alzheimer's disease (AD) in later life. Increased oxidative modification (oxLDL) and nitration is observed during dementia and hypercholesterolemia. We investigated the hypothesis that statin intervention in mid-life mitigates the inflammatory effects of oxLDL on the microvasculature. Human microvascular endothelial cells (HMVEC) were maintained on transwells to mimic the microvasculature and exposed to patient and control LDL. Blood was obtained from statin-naïve, normo- and hyperlipidaemic subjects, AD with vascular dementia (AD-plus) and AD subjects (n=10/group) at baseline. Only hyperlipidaemic subjects with normal cognitive function received 40mg simvastatin intervention/day for three months. Blood was re-analysed from normo- and hyper-lipidaemic subjects after three months. LDL isolated from statin-naïve hyperlipidaemic, AD and AD-plus subjects was more oxidised (agarose gel electrophoretic mobility, protein carbonyl content and 8-isoprostane F2α) compared to control subjects. Statin intervention decreased protein carbonyls (2.5±0.4 Vs 3.95±0.2nmol/mg; P<0.001) and 8-isoprostane F2α (30.4±4.0 pg/ml Vs 43.5±8.42 pg/ml; P<0.05). HMVEC treatment with LDL-lipids from hyperlipidaemic, AD and AD-plus subjects impaired endothelial tight junction expression and decreased total glutathione levels (AD; 18.61±1.3, AD-plus; 16.5±0.7nmol/mg protein) compared to untreated cells (23.8±1.2 vs nmol/mg protein). Basolateral IL-6 secretion was increased by LDL-lipids from hyperlipidaemic (78.4±1.9 pg/ml), AD (63.2±5.9 pg/ml) and AD-plus (80.8±0.9 pg/ml) groups compared to healthy subject lipids (18.6±3.6 pg/ml). LDL-Lipids isolated after statin intervention did not affect endothelial function. In summary, LDL-lipids from hypercholesterolaemic, AD and AD-plus patients are inflammatory to HMVEC. In vivo intervention with statins reduces the damaging effects of LDL-lipids on HMVEC.