RADIC: un middleware de tolerancia a fallos que preserva el rendimiento

La tolerancia a fallos es una línea de investigación que ha adquirido una importancia relevante con el aumento de la capacidad de cómputo de los súper-computadores actuales. Esto es debido a que con el aumento del poder de procesamiento viene un aumento en la cantidad de componentes que trae consigo una mayor cantidad de fallos. Las estrategias de tolerancia a fallos actuales en su mayoría son centralizadas y estas no escalan cuando se utiliza una gran cantidad de procesos, dado que se requiere sincronización entre todos ellos para realizar las tareas de tolerancia a fallos. Además la necesidad de mantener las prestaciones en programas paralelos es crucial, tanto en presencia como en ausencia de fallos. Teniendo en cuenta lo citado, este trabajo se ha centrado en una arquitectura tolerante a fallos descentralizada (RADIC – Redundant Array of Distributed and Independant Controllers) que busca mantener las prestaciones iniciales y garantizar la menor sobrecarga posible para reconfigurar el sistema en caso de fallos. La implementación de esta arquitectura se ha llevado a cabo en la librería de paso de mensajes denominada Open MPI, la misma es actualmente una de las más utilizadas en el mundo científico para la ejecución de programas paralelos que utilizan una plataforma de paso de mensajes. Las pruebas iniciales demuestran que el sistema introduce mínima sobrecarga para llevar a cabo las tareas correspondientes a la tolerancia a fallos. MPI es un estándar por defecto fail-stop, y en determinadas implementaciones que añaden cierto nivel de tolerancia, las estrategias más utilizadas son coordinadas. En RADIC cuando ocurre un fallo el proceso se recupera en otro nodo volviendo a un estado anterior que ha sido almacenado previamente mediante la utilización de checkpoints no coordinados y la relectura de mensajes desde el log de eventos. Durante la recuperación, las comunicaciones con el proceso en cuestión deben ser retrasadas y redirigidas hacia la nueva ubicación del proceso. Restaurar procesos en un lugar donde ya existen procesos sobrecarga la ejecución disminuyendo las prestaciones, por lo cual en este trabajo se propone la utilización de nodos spare para la recuperar en ellos a los procesos que fallan, evitando de esta forma la sobrecarga en nodos que ya tienen trabajo. En este trabajo se muestra un diseño propuesto para gestionar de un modo automático y descentralizado la recuperación en nodos spare en un entorno Open MPI y se presenta un análisis del impacto en las prestaciones que tiene este diseño. Resultados iniciales muestran una degradación significativa cuando a lo largo de la ejecución ocurren varios fallos y no se utilizan spares y sin embargo utilizándolos se restablece la configuración inicial y se mantienen las prestaciones.

Controladores PI con acción de reset

El control automàtic exerceix un paper important en molts processos de la industria. Cada un dels sistemes de control requereix d’un controlador, la majoria dels quals són del tipus PI. L’objectiu d’aquest projecte es investigar tècniques que permetin superar les limitacions que tenen els controladors PI lineals. En la resposta d’un sistema de control es poden distingir dues tasques diferents: El seguiment a un canvi d’entrada o consigna correspon a la tasca de servo, mentre que el rebuig a pertorbacions correspon a la tasca de regulatori. Al típic esquema de control realimentat, aquestes dues tasques estan enfrontades, és a dir, una millora a la tasca de servo implica un empitjorament a la tasca de regulatori i a l’inversa. Això suposa un problema al rendiment del sistema, així com la necessitat d’establir un cert compromís entre les dues tasques. El que es pretén en aquest projecte es implementar senzilles regles de control no lineal amb la finalitat de millorar el rendiment del sistema i evitar la necessitat d’establir un compromís entre les dues tasques. Així, es pretén superar les limitacions que aquest té, obtenint controladors PI alternatius fàcilment sintetitzables.

Genome-wide mRNA expression correlates of viral control in CD4+ T-cells from HIV-1-infected individuals.

There is great interindividual variability in HIV-1 viral setpoint after seroconversion, some of which is known to be due to genetic differences among infected individuals. Here, our focus is on determining, genome-wide, the contribution of variable gene expression to viral control, and to relate it to genomic DNA polymorphism. RNA was extracted from purified CD4+ T-cells from 137 HIV-1 seroconverters, 16 elite controllers, and 3 healthy blood donors. Expression levels of more than 48,000 mRNA transcripts were assessed by the Human-6 v3 Expression BeadChips (Illumina). Genome-wide SNP data was generated from genomic DNA using the HumanHap550 Genotyping BeadChip (Illumina). We observed two distinct profiles with 260 genes differentially expressed depending on HIV-1 viral load. There was significant upregulation of expression of interferon stimulated genes with increasing viral load, including genes of the intrinsic antiretroviral defense. Upon successful antiretroviral treatment, the transcriptome profile of previously viremic individuals reverted to a pattern comparable to that of elite controllers and of uninfected individuals. Genome-wide evaluation of cis-acting SNPs identified genetic variants modulating expression of 190 genes. Those were compared to the genes whose expression was found associated with viral load: expression of one interferon stimulated gene, OAS1, was found to be regulated by a SNP (rs3177979, p = 4.9E-12); however, we could not detect an independent association of the SNP with viral setpoint. Thus, this study represents an attempt to integrate genome-wide SNP signals with genome-wide expression profiles in the search for biological correlates of HIV-1 control. It underscores the paradox of the association between increasing levels of viral load and greater expression of antiviral defense pathways. It also shows that elite controllers do not have a fully distinctive mRNA expression pattern in CD4+ T cells. Overall, changes in global RNA expression reflect responses to viral replication rather than a mechanism that might explain viral control.

Semiactive backstepping control for vibration attenuation in structures equipped with magnetorheological actuatorscat

This paper deals with the problem of semiactive vibration control of civil engineering structures subject to unknown external disturbances (for example, earthquakes, winds, etc.). Two kinds of semiactive controllers are proposed based on the backstepping control technique. The experimental setup used is a 6-story test structure equipped with shear-mode semiactive magnetorheological dampers being installed in the Washington University Structural Control and Earthquake Engineering Laboratory (WUSCEEL). The experimental results obtained have verified the effectiveness of the proposed control algorithms

QFT control for vibration reduction in structures equipped with MR dampers

This short paper addresses the problem of designing a QFT (quantitative feedback theory) based controllers for the vibration reduction in a 6-story building structure equipped with shear-mode magnetorheological dampers. A new methodology is proposed for characterizing the nonlinear hysteretic behavior of the MR damper through the uncertainty template in the Nichols chart. The design procedure for QFT control design is briefly presented

Robust control of structures subject to uncertain disturbances and actuator dynamics

The objective the present research is try to find some control design strategies, which must be effective and closed to the real operation conditions. As a novel contribution to structural control strategies, the theories of Interval Modal Arithmetic, Backstepping Control and QFT (Qualitative Feedback Theory) will be studied. The steps to follow are to develop first new controllers based on the above theories and then to implement the proposed control strategies to different kind of structures. The report is organized as follows. The Chapter 2 presents the state-of-the-art on structural control systems. The chapter 3 presents the most important open problems found in field of structural control. The exploratory work made by the author, research proposal and working plan are given in the Chapter 4

Taajuusmuuttajien suorituskyvyn automaattinen testausympäristö

Tämä insinöörityö tehtiin ABB Oy, Drivesin Product AC -tulosyksikön tuotekehitysosastolle Helsingissä. Työssä kehitettiin taajuusmuuttajien suorituskyvyn automaattinen testausympäristö. ABB:n taajuusmuuttajien suorituskykytestejä ei ole aikaisemmin automatisoitu. Testit on tehty käsin ja niiden suorittamiseen ja tulosten käsittelyyn on kulunut paljon aikaa. Automaattisella testauksella pyrittiin testien suorittamiseen ja tulosten käsittelyyn kuluvan ajan huomattavaan pienentymiseen. Työssä ei ollut tarkoituksena tehdä suorituskykytestejä vaan kehittää automaattinen testausympäristö eli suorituskykytestipenkki, jossa suorituskykytestit on mahdollista suorittaa. Työssä keskityttiin taajuusmuuttajan nopeus- ja momenttisäätäjien suorituskykyyn. Työ toteutettiin suunnittelu- ja ohjelmointityönä. Testausympäristön laitteisto perustuu ABB:n tuotekehityslaboratorioiden olemassaoleviin testipaikkoihin. Testausympäristössä käytetään taajuusmuuttajien lisäksi pääasiassa kolmivaiheisia oikosulkumoottoreita. Lisäksi laitteistoon kuuluu ACS800-sarjan taajuusmuuttaja kuormakäyttönä, momenttianturi ja takometri eli kierrosnopeusmittari. Ohjelmointi tehtiin National Instrumentsin LabVIEW-ohjelmointiympäristön versiolla 8.0. Testausympäristön käyttöliittymänä toimii saman yrityksen TestStand-testausohjelmiston versio 3.5. Testattavien taajuusmuuttajien ohjausta ja momenttianturin lukemista varten ohjelmoitiin virtuaali-instrumentteja. Virtuaali-instrumentteja kutsutaan TestStand-testisekvensseistä. Testisekvenssit luodaan TestStandin sekvenssieditorilla ja suoritetaan sekvenssieditorissa tai operaattorin käyttöliittymässä. Työn tuloksena syntyi taajuusmuuttajien suorituskyvyn automaattinen testausympäristö. Testausympäristöä voidaan hyödyntää sekä nykyisen että seuraavan sukupolven taajuusmuuttajien testauksessa. Sillä on mahdollista suorittaa yleisimmät taajuusmuuttajien suorituskykytestit, kuten nopeus- ja momenttisäätöjen staattinen ja dynaaminen tarkkuus, hyvin kattavasti. Testit voidaan automaattisesti suorittaa koko testikäytön sallimalla pyörimisnopeus- ja kuormitusalueella. Näytteenottotaajuus voi olla enintään 1 kHz luettaessa pyörimisnopeutta ACS800-sarjan taajuusmuuttajan kautta ja momenttianturia samanaikaisesti. Virtuaali-instrumenteista koostuvia testisekvenssejä voidaan vapaasti muokata ja kehittää testejä edelleen tai luoda kokonaan uusia testejä. Testausympäristö perustuu teollisuudessa yleisesti käytettyihin ohjelmistoihin ja tarjoaa hyvät mahdollisuudet jatkokehitykselle.

The major genetic determinants of HIV-1 control affect HLA class I peptide presentation.

Infectious and inflammatory diseases have repeatedly shown strong genetic associations within the major histocompatibility complex (MHC); however, the basis for these associations remains elusive. To define host genetic effects on the outcome of a chronic viral infection, we performed genome-wide association analysis in a multiethnic cohort of HIV-1 controllers and progressors, and we analyzed the effects of individual amino acids within the classical human leukocyte antigen (HLA) proteins. We identified >300 genome-wide significant single-nucleotide polymorphisms (SNPs) within the MHC and none elsewhere. Specific amino acids in the HLA-B peptide binding groove, as well as an independent HLA-C effect, explain the SNP associations and reconcile both protective and risk HLA alleles. These results implicate the nature of the HLA-viral peptide interaction as the major factor modulating durable control of HIV infection.

Clinical review: Update on neurally adjusted ventilatory assist - report of a round-table conference.

ABSTRACT: Conventional mechanical ventilators rely on pneumatic pressure and flow sensors and controllers to detect breaths. New modes of mechanical ventilation have been developed to better match the assistance delivered by the ventilator to the patient's needs. Among these modes, neurally adjusted ventilatory assist (NAVA) delivers a pressure that is directly proportional to the integral of the electrical activity of the diaphragm recorded continuously through an esophageal probe. In clinical settings, NAVA has been chiefly compared with pressure-support ventilation, one of the most popular modes used during the weaning phase, which delivers a constant pressure from breath to breath. Comparisons with proportional-assist ventilation, which has numerous similarities, are lacking. Because of the constant level of assistance, pressure-support ventilation reduces the natural variability of the breathing pattern and can be associated with asynchrony and/or overinflation. The ability of NAVA to circumvent these limitations has been addressed in clinical studies and is discussed in this report. Although the underlying concept is fascinating, several important questions regarding the clinical applications of NAVA remain unanswered. Among these questions, determining the optimal NAVA settings according to the patient's ventilatory needs and/or acceptable level of work of breathing is a key issue. In this report, based on an investigator-initiated round table, we review the most recent literature on this topic and discuss the theoretical advantages and disadvantages of NAVA compared with other modes, as well as the risks and limitations of NAVA.

A Phase IIB, Randomized, Double-Blind, Multicenter, Immunogenicity Study of Vacc-4x Versus Placebo in HIV-1-infected Patients

Background: Vacc-4x is a peptide-based HIV therapeutic vaccine to conserved domains on p24Gag. Recently conserved 'sectors' on HIV p24, critical for virus viability and thereby immunologically vulnerable have been identified. Elite controllers target immune responses to such regions. The Vacc-4x peptides lie within a number of these conserved sectors of HIV p24. The co-primary endpoints of this study were to compare changes in CD4 counts and return to ART between treatmentand placebo groups during a 24 week treatment interruption. Secondary endpoints included safety, viral load and immunogenicity.Methods: This prospective, randomized, double blind phase IIB clinical study (NCT00659789) was carried out in 13 European and 5 US centers recruiting 135 patients on ART. After 6 immunizations on ART over 28 weeks, treatment was interrupted for up to 24 weeks (to week 52) (Vacc-4x n = 88; placebo n = 38). Immunological analyses (ELISPOT, proliferation, intracellular cytokine staining) were carried out at central laboratories.Results: There were no Vacc-4x-related serious adverse events. Of the 135 patients recruited (male n = 92; female n = 43), 126 patients completed the study. Median prestudy CD4 count was 712 (Vacc-4x) and 619 cells/mm3 (placebo), and median CD4 nadir 300 (Vacc-4x) and 285 cells/mm3 (placebo). There was no statistically significant difference between the two groups regarding change in CD4 counts (p = 0.12) or ART resumption (p = 0.89) during treatment interruption. A statistically significant treatment difference between Vacc-4x and placebo groupsfor viral load (VL) was found for patients who achieved a 6 month ART-free period (p = 0.0022). There was a positive correlation between ELISPOT responses and lower viral load in the Vacc-4x group compared to placebo (p = 0.02). Long-term follow-up of patients up t o week 104 was completed in June 2011.Conclusion: Vacc-4x was found to be safe and well tolerated. TheVacc-4x group experienced a significant reduction in viral load compared to placebo.

Revision to the SUDAS Traffic Signal Standards – Phase 2, Final Report, May 2012

This report provides a summary of the updates to the traffic signal content within the Iowa Statewide Urban Design and Specifications (SUDAS) Design Manual Chapter 13 and Standard Specifications Division 8. Major focal points included pole footing design, cabinets and controllers, monitoring systems, communications systems, and figure updates. This work was completed through a project task force with a variety of participants (contractors, Iowa Department of Transportation, city traffic engineers, consultant, vendors, and University research and support staff).

Host and viral genetic correlates of clinical definitions of HIV-1 disease progression.

Background: Various patterns of HIV-1 disease progression are described in clinical practice and in research. There is a need to assess the specificity of commonly used definitions of long term non-progressor (LTNP) elite controllers (LTNP-EC), viremic controllers (LTNP-VC), and viremic non controllers (LTNP-NC), as well as of chronic progressors (P) and rapid progressors (RP). Methodology and Principal Findings: We re-evaluated the HIV-1 clinical definitions, summarized in Table 1, using the information provided by a selected number of host genetic markers and viral factors. There is a continuous decrease of protective factors and an accumulation of risk factors from LTNP-EC to RP. Statistical differences in frequency of protective HLA-B alleles (p-0.01), HLA-C rs9264942 (p-0.06), and protective CCR5/CCR2 haplotypes (p-0.02) across groups, and the presence of viruses with an ancestral genotype in the "viral dating" (i.e., nucleotide sequences with low viral divergence from the most recent common ancestor) support the differences among principal clinical groups of HIV-1 infected individuals. Conclusions: A combination of host genetic and viral factors supports current clinical definitions that discriminate among patterns of HIV-1 progression. The study also emphasizes the need to apply a standardized and accepted set of clinical definitions for the purpose of disease stratification and research.

Smith Predictor Sliding Mode Closed-loop Glucose Controller in Type 1 Diabetes

Type 1 diabetic patients depend on external insulin delivery to keep their blood glucose within near-normal ranges. In this work, two robust closed-loop controllers for blood glucose regulation are developed to prevent the life-threatening hypoglycemia, as well as to avoid extended hyperglycemia. The proposed controllers are designed by using the sliding mode control technique in a Smith predictor structure. To improve meal disturbance rejection, a simple feedforward controller is added to inject meal-time insulin bolus. Simulations scenarios were used to test the controllers, and showed the controllers ability to maintain the glucose levels within the safe limits in the presence of errors in measurements, modeling and meal estimation

Revision to the SUDAS Traffic Signal Standards - Phase 2, 2012

This report provides a summary of the updates to the traffic signal content within the Iowa Statewide Urban Design and Specifications (SUDAS) Design Manual Chapter 13 and Standard Specifications Division 8. Major focal points included pole footing design, cabinets and controllers, monitoring systems, communications systems, and figure updates. This work was completed through a project task force with a variety of participants (contractors, Iowa Department of Transportation, city traffic engineers, consultant, vendors, and University research and support staff).

Profile Following for Inspection of Underwater Structures

We present a seabed profile estimation and following method for close proximity inspection of 3D underwater structures using autonomous underwater vehicles (AUVs). The presented method is used to determine a path allowing the AUV to pass its sensors over all points of the target structure, which is known as coverage path planning. Our profile following method goes beyond traditional seabed following at a safe altitude and exploits hovering capabilities of recent AUV developments. A range sonar is used to incrementally construct a local probabilistic map representation of the environment and estimates of the local profile are obtained via linear regression. Two behavior-based controllers use these estimates to perform horizontal and vertical profile following. We build upon these tools to address coverage path planning for 3D underwater structures using a (potentially inaccurate) prior map and following cross-section profiles of the target structure. The feasibility of the proposed method is demonstrated using the GIRONA 500 AUV both in simulation using synthetic and real-world bathymetric data and in pool trials