Supervisory Control Theory in System Safety Analysis

Development of safety critical systems requires a risk management strategy to identify and analyse hazards, and apply necessary actions to eliminate or control them as malfunctions could be catastrophic. Fault Tree Analysis (FTA) is one of the most widely used methods for safety analysis in industrial use. However, the standard FTA is manual, informal, and limited to static analysis of systems. In this paper, we present preliminary results from a model-based approach to address these limitations using Supervisory Control Theory. Taking an example from the Fault Tree Handbook, we present a systematic approach to incrementally obtain formal models from a fault tree and verify them in the tool Supremica. We present a method to calculate minimal cut sets using our approach. These compositional techniques could potentially be very beneficial in the safety analysis of highly complex safety critical systems, where several components interact to solve different tasks

Predicting participation in group parenting education in an Australian sample: The role of attitudes, norms, and control factors

We examined the theory of planned behavior (TPB) in predicting intentions to participate in group parenting education. One hundred and seventy-six parents (138 mothers and 38 fathers) with a child under 12 years completed TPB items assessing attitude, subjective norms, perceived behavioral control (PBC), and two additional social influence variables (self-identity and group norm). Regression analyses supported the TPB predictors of participation intentions with self-identity and group norm also significantly predicting intentions. These findings offer preliminary support for the TPB, along with additional sources of social influence, as a useful predictive model of participation in parenting education

The inevitable youthfulness of known high-redshift radio galaxies

Radio galaxies can be seen out to very high redshifts, where in principle they can serve as probes of the early evolution of the Universe. Here we show that for any model of radio-galaxy evolution in which the luminosity decreases with time after an initial rapid increase (that is, essentially all reasonable models), all observable high-redshift radio-galaxies must be seen when the lobes are less than 10^7 years old. This means that high-redshift radio galaxies can be used as a high-time-resolution probe of evolution in the early Universe. Moreover, this result helps to explain many observed trends of radio-galaxy properties with redshift [(i) the `alignment effect' of optical emission along radio-jet axes, (ii) the increased distortion in radio structure, (iii) the decrease in physical sizes, (iv) the increase in radio depolarisation, and (v) the increase in dust emission] without needing to invoke explanations based on cosmology or strong evolution of the surrounding intergalactic medium with cosmic time, thereby avoiding conflict with current theories of structure formation.Comment: To appear in Nature. 4 pages, 2 colour figures available on request. Also available at http://www-astro.physics.ox.ac.uk/~km

A Study of Brain Networks Associated with Swallowing Using Graph-Theoretical Approaches

Functional connectivity between brain regions during swallowing tasks is still not well understood. Understanding these complex interactions is of great interest from both a scientific and a clinical perspective. In this study, functional magnetic resonance imaging (fMRI) was utilized to study brain functional networks during voluntary saliva swallowing in twenty-two adult healthy subjects (all females, 23.1±1.52 years of age). To construct these functional connections, we computed mean partial correlation matrices over ninety brain regions for each participant. Two regions were determined to be functionally connected if their correlation was above a certain threshold. These correlation matrices were then analyzed using graph-theoretical approaches. In particular, we considered several network measures for the whole brain and for swallowing-related brain regions. The results have shown that significant pairwise functional connections were, mostly, either local and intra-hemispheric or symmetrically inter-hemispheric. Furthermore, we showed that all human brain functional network, although varying in some degree, had typical small-world properties as compared to regular networks and random networks. These properties allow information transfer within the network at a relatively high efficiency. Swallowing-related brain regions also had higher values for some of the network measures in comparison to when these measures were calculated for the whole brain. The current results warrant further investigation of graph-theoretical approaches as a potential tool for understanding the neural basis of dysphagia. © 2013 Luan et al

Stress induced polarization of immune-neuroendocrine phenotypes in Gallus gallus

Immune-neuroendocrine phenotypes (INPs) stand for population subgroups differing in immune-neuroendocrine interactions. While mammalian INPs have been characterized thoroughly in rats and humans, avian INPs were only recently described in Coturnix coturnix (quail). To assess the scope of this biological phenomenon, herein we characterized INPs in Gallus gallus (a domestic hen strain submitted to a very long history of strong selective breeding pressure) and evaluated whether a social chronic stress challenge modulates the individuals’ interplay affecting the INP subsets and distribution. Evaluating plasmatic basal corticosterone, interferon-γ and interleukin-4 concentrations, innate/acquired leukocyte ratio, PHA-P skin-swelling and induced antibody responses, two opposite INP profiles were found: LEWIS-like (15% of the population) and FISCHER-like (16%) hens. After chronic stress, an increment of about 12% in each polarized INP frequency was found at expenses of a reduction in the number of birds with intermediate responses. Results show that polarized INPs are also a phenomenon occurring in hens. The observed inter-individual variation suggest that, even after a considerable selection process, the population is still well prepared to deal with a variety of immune-neuroendocrine challenges. Stress promoted disruptive effects, leading to a more balanced INPs distribution, which represents a new substrate for challenging situations.Fil: Nazar, Franco Nicolas. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Biológicas y Tecnológicas. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Investigaciones Biológicas y Tecnológicas; ArgentinaFil: Estevez, Inma. Centro de Investigación. Neiker - Tecnalia; EspañaFil: Correa, Silvia Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Córdoba. Centro de Investigaciones en Bioquímica Clínica e Inmunología; ArgentinaFil: Marin, Raul Hector. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Biológicas y Tecnológicas. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Investigaciones Biológicas y Tecnológicas; Argentin

Giant cell tumor of the uterus: case report and response to chemotherapy

BACKGROUND: Giant cell tumor (GCT) is usually a benign but locally aggressive primary bone neoplasm in which monocytic macrophage/osteoclast precursor cells and multinucleated osteoclast-like giant cells infiltrate the tumor. The etiology of GCT is unknown, however the tumor cells of GCT have been reported to produce chemoattractants that can attract osteoclasts and osteoclast precursors. Rarely, GCT can originate at extraosseous sites. More rarely, GCT may exhibit a much more aggressive phenotype. The role of chemotherapy in metastatic GCT is not well defined. CASE PRESENTATION: We report a case of an aggressive GCT of the uterus with rapidly growing lung metastases, and its response to chemotherapy with pegylated-liposomal doxorubicin, ifosfamide, and bevacizumab, along with a review of the literature. CONCLUSION: Aggressive metastasizing GCT may arise in the uterus, and may respond to combination chemotherapy

What are the living conditions and health status of those who don't report their migration status? a population-based study in Chile

BACKGROUND: Undocumented immigrants are likely to be missing from population databases, making it impossible to identify an accurate sampling frame in migration research. No population-based data has been collected in Chile regarding the living conditions and health status of undocumented immigrants. However, the CASEN survey (Caracterizacion Socio- Economica Nacional) asked about migration status in Chile for the first time in 2006 and provides an opportunity to set the base for future analysis of available migration data. We explored the living conditions and health of self-reported immigrants and respondents who preferred not to report their migration status in this survey. METHODS: Cross-sectional secondary analysis of CASEN survey in Chile in 2006. Outcomes: any disability, illness/accident, hospitalization/surgery, cancer/chronic condition (all binary variables); and the number of medical/emergency attentions received (count variables). Covariates: Demographics (age, sex, marital status, urban/rural, ethnicity), socioeconomic status (education level, employment status and household income), and material standard of living (overcrowding, sanitation, housing quality). Weighted regression models were estimated for each health outcome, crude and adjusted by sets of covariates, in STATA 10.0. RESULTS: About 1% of the total sample reported being immigrants and 0.7% preferred not to report their migration status (Migration Status - Missing Values; MS-MV). The MS-MV lived in more deprived conditions and reported a higher rate of health problems than immigrants. Some gender differences were observed by health status among immigrants and the MS-MV but they were not statistically significant. Regressions indicated that age, sex, SES and material factors consistently affected MS-MVs’ chance of presenting poor health and these patterns were different to those found among immigrants. Great heterogeneity in both the MS-MV and the immigrants, as indicated by wide confidence intervals, prevented the identification of other significantly associated covariates. CONCLUSION: This is the first study to look at the living conditions and health of those that preferred not to respond their migration status in Chile. Respondents that do not report their migration status are vulnerable to poor health and may represent undocumented immigrants. Surveys that fail to identify these people are likely to misrepresent the experiences of immigrants and further quantitative and qualitative research is urgently required