Estudo, desenvolvimento de manuais de utilização e colocação em funcionamento da bancada SIMATIC da Siemens

Dissertação de mestrado em Engenharia Mecatrónica

Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados

Dissertação de mestrado integrado em Engenharia Mecânica

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

Bilateral Sequential NAION: A Comparison of Visual Outcomes in Fellow Eyes Using Quantitative Analysis of Goldmann Visual Fields

Purpose: Previous studies of the visual outcome in bilateral non-arteritic anterior ischemic optic neuropathy (NAION) have yielded conflicting results, specifically regarding congruity between fellow eyes. Prior studies have used measures of acuity and computerized perimetry but none has compared Goldmann visual field outcomes between fellow eyes. In order to better define the concordance of visual loss in this condition, we reviewed our cases of bilateral sequential NAION, including measures of visual acuity, pupillary function and both pattern and severity of visual field loss.Methods: We performed a retrospective chart review of 102 patients with a diagnosis of bilateral sequential NAION. Of the 102 patients, 86 were included in the study for analysis of final visual outcome between the affected eyes. Visual function was assessed using visual acuity, Goldmann visual fields, color vision and RAPD. A quantitative total visual field score and score per quadrant was analyzed for each eye using the numerical Goldmann visual field scoring method previously described by Esterman and colleagues. Based upon these scores, we calculated the total deviation and pattern deviation between fellow eyes and between eyes of different patients. Statistical significance was determined using nonparametric tests.Results: A statistically significant correlation was found between fellow eyes for multiple parameters, including logMAR visual acuity (P = 0.0101), global visual field (P = 0.0001), superior visual field (P = 0.0001), and inferior visual field (P = 0.0001). In addition, the mean deviation of both total (P = 0.0000000007) and pattern (P = 0.000000004) deviation analyses was significantly less between fellow eyes ("intra"-eyes) than between eyes of different patients ("inter"-eyes).Conclusions: Visual function between fellow eyes showed a fair to moderate correlation that was statistically significant. The pattern of vision loss was also more similar in fellow eyes than between eyes of different patients. These results may help allow better prediction of visual outcome for the second eye in patients with NAION. These findings may also be useful for evaluating efficacy of therapeutic interventions.

Electronic properties of liquid ammonia: A sequential molecular dynamics/quantum mechanics approach

The electronic properties of liquid ammonia are investigated by a sequential molecular dynamics/quantum mechanics approach. Quantum mechanics calculations for the liquid phase are based on a reparametrized hybrid exchange-correlation functional that reproduces the electronic properties of ammonia clusters [(NH(3))(n); n=1-5]. For these small clusters, electron binding energies based on Green's function or electron propagator theory, coupled cluster with single, double, and perturbative triple excitations, and density functional theory (DFT) are compared. Reparametrized DFT results for the dipole moment, electron binding energies, and electronic density of states of liquid ammonia are reported. The calculated average dipole moment of liquid ammonia (2.05 +/- 0.09 D) corresponds to an increase of 27% compared to the gas phase value and it is 0.23 D above a prediction based on a polarizable model of liquid ammonia [Deng , J. Chem. Phys. 100, 7590 (1994)]. Our estimate for the ionization potential of liquid ammonia is 9.74 +/- 0.73 eV, which is approximately 1.0 eV below the gas phase value for the isolated molecule. The theoretical vertical electron affinity of liquid ammonia is predicted as 0.16 +/- 0.22 eV, in good agreement with the experimental result for the location of the bottom of the conduction band (-V(0)=0.2 eV). Vertical ionization potentials and electron affinities correlate with the total dipole moment of ammonia aggregates. (c) 2008 American Institute of Physics.

Economic design of an X chart for short-run production

The aim of this paper is to present an economical design of an X chart for a short-run production. The process mean starts equal to mu(0) (in-control, State I) and in a random time it shifts to mu(1) > mu(0) (out-of-control, State II). The monitoring procedure consists of inspecting a single item at every m produced ones. If the measurement of the quality characteristic does not meet the control limits, the process is stopped, adjusted, and additional (r - 1) items are inspected retrospectively. The probabilistic model was developed considering only shifts in the process mean. A direct search technique is applied to find the optimum parameters which minimizes the expected cost function. Numerical examples illustrate the proposed procedure. (C) 2009 Elsevier B.V. All rights reserved.

Phlebotomine salivas inhibit immune inflammation-induced neutrophil migration via an autocrine DC-derived PGE(2)/IL-10 sequential pathway

In the present study, we investigated whether saliva from Phlebotomus papatasi and Phlebotomus duboscqi inhibited antigen-induced neutrophil migration and the mechanisms involved in these effects. The pretreatment of immunized mice with salivary gland extracts (SGE) of both phlebotomines inhibited OVA challenge-induced neutrophil migration and release of the neutrophil chemotactic mediators, MIP-1 alpha, TNF-alpha, and leukotriene B-4 (LTB4). Furthermore, SGE treatment enhanced the production of anti-inflammatory mediators, IL-10 and PGE(2). SGE treatments failed to inhibit neutrophil migration and MIP-1 alpha and LTB4 production in IL-10(-/-) mice, also failing in mice treated with nonselective (indomethacin) or selective (rofecoxibe) cyclooxygenase (COX) inhibitors. COX inhibition resulted in diminished SGE-induced IL-10 production, and PGE(2) release triggered by SGE remained increased in IL-10(-/-) mice, suggesting that prostanoids are acting through an IL-10-dependent mechanism. SGE treatments in vivo reduced the OVA-induced lymphoproliferation of spleen-derived cells. Further, the in vitro incubation of bone marrow-derived dendritic cells (DC) with SGE inhibited the proliferation of CD4(+) T cells from OVA-immunized mice, which was reversed by indomethacin and anti-IL-10 antibody treatments. Supporting these results, SGE induced the production of PGE(2) and IL-10 by DC, which were blocked by COX inhibition. These effects were associated with the reduction of DC-membrane expression of MHC-II and CD86 by SGE treatment. Altogether, the results showed that Phlebotomine saliva inhibits immune inflammation-induced neutrophil migration by an autocrine DC sequential production of PGE(2)/IL-10, suggesting that the saliva constituents might be promising therapeutic molecules to target immune inflammatory diseases.

Multiple-scale hydrological and geophysical data integration through non-linear Bayesian sequential simulation

Significant progress has been made with regard to the quantitative integration of geophysical and hydrological data at the local scale. However, extending the corresponding approaches to the scale of a field site represents a major, and as-of-yet largely unresolved, challenge. To address this problem, we have developed downscaling procedure based on a non-linear Bayesian sequential simulation approach. The main objective of this algorithm is to estimate the value of the sparsely sampled hydraulic conductivity at non-sampled locations based on its relation to the electrical conductivity logged at collocated wells and surface resistivity measurements, which are available throughout the studied site. The in situ relationship between the hydraulic and electrical conductivities is described through a non-parametric multivariatekernel density function. Then a stochastic integration of low-resolution, large-scale electrical resistivity tomography (ERT) data in combination with high-resolution, local-scale downhole measurements of the hydraulic and electrical conductivities is applied. The overall viability of this downscaling approach is tested and validated by comparing flow and transport simulation through the original and the upscaled hydraulic conductivity fields. Our results indicate that the proposed procedure allows obtaining remarkably faithful estimates of the regional-scale hydraulic conductivity structure and correspondingly reliable predictions of the transport characteristics over relatively long distances.

Bilateral sequential nonarteritic anterior ischemic optic neuropathy: a comparison of visual outcomes in fellow eyes using quantitative analysis of goldmann visual fields.

OBJECTIVE To better define the concordance of visual loss in patients with nonarteritic anterior ischemic optic neuropathy (NAION). METHODS The medical records of 86 patients with bilateral sequential NAION were reviewed retrospectively, and visual function was assessed using visual acuity, Goldmann visual fields, color vision, and relative afferent papillary defect. A quantitative total visual field score and score per quadrant were analyzed for each eye using the numerical Goldmann visual field scoring method. RESULTS Outcome measures were visual acuity, visual field, color vision, and relative afferent papillary defect. A statistically significant correlation was found between fellow eyes for multiple parameters, including logMAR visual acuity (P = .01), global visual field (P < .001), superior visual field (P < .001), and inferior visual field (P < .001). The mean deviation of total (P < .001) and pattern (P < .001) deviation analyses was significantly less between fellow eyes than between first and second eyes of different patients. CONCLUSIONS Visual function between fellow eyes showed a fair to moderate correlation that was statistically significant. The pattern of vision loss was also more similar in fellow eyes than between eyes of different patients. These results may help allow better prediction of visual outcome for the second eye in patients with NAION.

A characterization of sequential rationalizability

A choice function is sequentially rationalizable if there is an ordered collection of asymmetric binary relations that identifies the selected alternative in every choice problem. We propose a property, F-consistency, and show that it characterizes the notion of sequential rationalizability. F-consistency is a testable property that highlights the behavioral aspects implicit in sequentially rationalizable choice. Further, our characterization result provides a novel tool with which to study how other behavioral concepts are related to sequential rationalizability, and establish a priori unexpected implications. In particular, we show that the concept of rationalizability by game trees, which, in principle, had little to do with sequential rationalizability, is a refinement of the latter. Every choice function that is rationalizable by a game tree is also sequentially rationalizable. Finally, we show that some prominent voting mechanisms are also sequentially rationalizable.

Phase 3 randomized trial on larynx preservation comparing sequential vs alternating chemotherapy and radiotherapy.

BACKGROUND: Both induction chemotherapy followed by irradiation and concurrent chemotherapy and radiotherapy have been reported as valuable alternatives to total laryngectomy in patients with advanced larynx or hypopharynx cancer. We report results of the randomized phase 3 trial 24954 from the European Organization for Research and Treatment of Cancer. METHODS: Patients with resectable advanced squamous cell carcinoma of the larynx (tumor stage T3-T4) or hypopharynx (T2-T4), with regional lymph nodes in the neck staged as N0-N2 and with no metastasis, were randomly assigned to treatment in the sequential (or control) or the alternating (or experimental) arm. In the sequential arm, patients with a 50% or more reduction in primary tumor size after two cycles of cisplatin and 5-fluorouracil received another two cycles, followed by radiotherapy (70 Gy total). In the alternating arm, a total of four cycles of cisplatin and 5-fluorouracil (in weeks 1, 4, 7, and 10) were alternated with radiotherapy with 20 Gy during the three 2-week intervals between chemotherapy cycles (60 Gy total). All nonresponders underwent salvage surgery and postoperative radiotherapy. The Kaplan-Meier method was used to obtain time-to-event data. RESULTS: The 450 patients were randomly assigned to treatment (224 to the sequential arm and 226 to the alternating arm). Median follow-up was 6.5 years. Survival with a functional larynx was similar in sequential and alternating arms (hazard ratio of death and/or event = 0.85, 95% confidence interval = 0.68 to 1.06), as were median overall survival (4.4 and 5.1 years, respectively) and median progression-free interval (3.0 and 3.1 years, respectively). Grade 3 or 4 mucositis occurred in 64 (32%) of the 200 patients in the sequential arm who received radiotherapy and in 47 (21%) of the 220 patients in the alternating arm. Late severe edema and/or fibrosis was observed in 32 (16%) patients in the sequential arm and in 25 (11%) in the alternating arm. CONCLUSIONS: Larynx preservation, progression-free interval, and overall survival were similar in both arms, as were acute and late toxic effects.

Influence of early antioxidant supplements on clinical evolution and organ function in critically ill cardiac surgery, major trauma, and subarachnoid hemorrhage patients.

INTRODUCTION: Oxidative stress is involved in the development of secondary tissue damage and organ failure. Micronutrients contributing to the antioxidant (AOX) defense exhibit low plasma levels during critical illness. The aim of this study was to investigate the impact of early AOX micronutrients on clinical outcome in intensive care unit (ICU) patients with conditions characterized by oxidative stress. METHODS: We conducted a prospective, randomized, double-blind, placebo-controlled, single-center trial in patients admitted to a university hospital ICU with organ failure after complicated cardiac surgery, major trauma, or subarachnoid hemorrhage. Stratification by diagnosis was performed before randomization. The intervention was intravenous supplements for 5 days (selenium 270 microg, zinc 30 mg, vitamin C 1.1 g, and vitamin B1 100 mg) with a double-loading dose on days 1 and 2 or placebo. RESULTS: Two hundred patients were included (102 AOX and 98 placebo). While age and gender did not differ, brain injury was more severe in the AOX trauma group (P = 0.019). Organ function endpoints did not differ: incidence of acute kidney failure and sequential organ failure assessment score decrease were similar (-3.2 +/- 3.2 versus -4.2 +/- 2.3 over the course of 5 days). Plasma concentrations of selenium, zinc, and glutathione peroxidase, low on admission, increased significantly to within normal values in the AOX group. C-reactive protein decreased faster in the AOX group (P = 0.039). Infectious complications did not differ. Length of hospital stay did not differ (16.5 versus 20 days), being shorter only in surviving AOX trauma patients (-10 days; P = 0.045). CONCLUSION: The AOX intervention did not reduce early organ dysfunction but significantly reduced the inflammatory response in cardiac surgery and trauma patients, which may prove beneficial in conditions with an intense inflammation. TRIALS REGISTRATION: Clinical Trials.gov RCT Register: NCT00515736.

Non-invasive detection of coronary endothelial response to sequential handgrip exercise in coronary artery disease patients and healthy adults.

OBJECTIVES: Our objective is to test the hypothesis that coronary endothelial function (CorEndoFx) does not change with repeated isometric handgrip (IHG) stress in CAD patients or healthy subjects. BACKGROUND: Coronary responses to endothelial-dependent stressors are important measures of vascular risk that can change in response to environmental stimuli or pharmacologic interventions. The evaluation of the effect of an acute intervention on endothelial response is only valid if the measurement does not change significantly in the short term under normal conditions. Using 3.0 Tesla (T) MRI, we non-invasively compared two coronary artery endothelial function measurements separated by a ten minute interval in healthy subjects and patients with coronary artery disease (CAD). METHODS: Twenty healthy adult subjects and 12 CAD patients were studied on a commercial 3.0 T whole-body MR imaging system. Coronary cross-sectional area (CSA), peak diastolic coronary flow velocity (PDFV) and blood-flow were quantified before and during continuous IHG stress, an endothelial-dependent stressor. The IHG exercise with imaging was repeated after a 10 minute recovery period. RESULTS: In healthy adults, coronary artery CSA changes and blood-flow increases did not differ between the first and second stresses (mean % change ±SEM, first vs. second stress CSA: 14.8%±3.3% vs. 17.8%±3.6%, p = 0.24; PDFV: 27.5%±4.9% vs. 24.2%±4.5%, p = 0.54; blood-flow: 44.3%±8.3 vs. 44.8%±8.1, p = 0.84). The coronary vasoreactive responses in the CAD patients also did not differ between the first and second stresses (mean % change ±SEM, first stress vs. second stress: CSA: -6.4%±2.0% vs. -5.0%±2.4%, p = 0.22; PDFV: -4.0%±4.6% vs. -4.2%±5.3%, p = 0.83; blood-flow: -9.7%±5.1% vs. -8.7%±6.3%, p = 0.38). CONCLUSION: MRI measures of CorEndoFx are unchanged during repeated isometric handgrip exercise tests in CAD patients and healthy adults. These findings demonstrate the repeatability of noninvasive 3T MRI assessment of CorEndoFx and support its use in future studies designed to determine the effects of acute interventions on coronary vasoreactivity.

Nuclear receptor PPARS function in stem cell differentiation and bone physiology

In adult, bone remodeling is a permanent process, reaching an annual turnover of about 10% of the skeleton. Bone remodeling requires the sequential and coordinated actions of the hematopoietic origin osteoclasts, to remove bone and the mesenchymal origin osteoblasts to replace it. An increased level of bone resorption is the primary cause of age-related bone loss often resulting in osteopenia, and is the major cause of osteoporosis.¦Peroxisome proliferator-activated receptors (PPARs), which are expressed in three isotypes, PPARa, PPARp and PPARy, are ligand-activated transcription factors that control many cellular and metabolic processes, more particularly linked to lipid metabolism. In bone, previous works has shown that PPARy inhibits osteogenesis by favoring adipogenesis from common mesenchymal progenitors. In addition, the pro-osteoclastogenesis activity of PPARy results in an increased bone resorption. Accordingly, treatment with PPARy agonist such as the anti-diabetic drug TZD causes bone loss and accumulation of marrow adiposity in mice as well as in postmenopausal women. The aim of the present thesis work was to elucidate the PPARs functions in bone physiology.¦The initial characterization of the PPARP" bone phenotype mainly revealed a decreased BMD. In vitro studies exploring the potency of mesenchymal stem cells to differentiate in osteoblast showed no differences depending on the genotype. However, we could demonstrate an effect of PPARp in partially inhibiting osteoclastogenesis. These results are further sustained by a study made in collaboration with the group of Dr Kronke, which showed an impressive protection against ovariectomy-generated bone loss when the females are treated with a PPARp agonist.¦Observations in PPARy null mice are more complex. The lab has recently been able to generate mice carrying a total deletion of PPARy. Intriguingly, the exploration of the bone phenotype of these mice revealed paradoxical findings. Whereas short bones such as vertebrae exhibit an elevated BMD as expected, long bones (tibia and femur) are clearly osteoporotic. According to their activity when set in culture, osteoblast differentiation normally occurs. Indeed the phenotype can be mainly attributed to a high density of osteoclasts in the cortical bone of PPARy null mice, associated to large bone resorption areas.¦Our explorations suggest a mechanism that involves regulatory processes linking osteoclastogenesis to adipogenesis, the latter being totally absent in PPARy null mice. Indeed, the lack of adipose tissue creates a favorable niche for osteoclastogenesis since conditioned medium made from differentiated adipocyte 3T3L1 inhibited osteoclastogenesis from both PPARy-/- and WT cells. Thus, adipokines deficiency in PPARy-/- mice contributes to de- repress osteoclastogenesis. Using specific blocking antibody, we further identified adiponectin as the major player among dozens of adipokines. Using flow cytometry assay, we explored the levels at which the osteoclastic commitment was perturbed in the bone marrow of PPARy-/- mice. Intriguingly, we observe a general decrease for hematopoietic stem cell and lineage progenitors but increased proportion of osteoclast progenitor in PPARy-/- bone marrow. The general decrease of HSC in the bone marrow is however largely compensated by an important extra-medullary hematopoeisis, taking place in the liver and in the spleen.¦These specific characteristics emphasize the key role of PPARy on a cross road of osteogenesis, adipogenesis and hematopoiesis/osteoclastogenesis. They underline the complexity of the bone marrow niche, and demonstrate the inter-dependance of different cell types in defining bone homeostasis, that may be overseen when experimental design single out pure cell populations.¦Chez l'adulte, même après la fin de la croissance, le renouvellement des os se poursuit et porte sur environ 10% de l'ensemble du squelette adulte, par année. Ce renouvellement implique à la fois des mécanismes séquentiels et coordonnés des ostéoclastes d'origine hématopoïetique, qui dégradent l'os, et des ostéoblastes d'origine mésenchymale, qui permettent la régénération de l'os. La perte en densité osseuse due à l'âge entraîne un fort niveau de résorption, conduisant souvent à une ostéopénie, elle-même cause de l'ostéoporose.¦Les trois isotypes PPAR (Peroxisome proliferator-activated receptor, PPARa, PPARp, et PPARy) sont des récepteurs nucléaires qui contrôlent de nombreux mécanismes cellulaires et métaboliques, plus particulièrement liés au métabolisme lipidique. Au niveau osseux, des travaux précédents ont montré que PPARy inhibe l'ostéoblastogenèse en favorisant la formation d'adipocytes à partir de la cellule progénitrice commune. De plus, l'activité pro- ostéoclastogénique de PPARy induit une résorption osseuse accrue. Condormément à ces observations, les patients diabétiques traités par les thiazolidinediones qui agissent sur PPARy, ont un risque accrue d'ostéoporose liée à une perte osseuse accrue et un accroissement de l'adiposité au niveau de la moelle osseuse. Dans ce contexte, l'objectif de mon travail de thèse a été d'élucider le rôle des PPAR dans la physiologie osseuse, en s'appuyant sur le phénotype des souris porteuses de mutation pour PPAR.¦La caractérisation initiale des os des souris porteuses d'une délétion de ΡΡΑΕφ a principalement révélé une diminution de la densité minérale osseuse (DMO). Alors que l'ostéogenèse n'est pas significativement altérée chez ces souris, l'ostéoclastogenèse est elle augmentée, suggérant un rôle modérateur de ce processus par ΡΡΑΕΙβ. Ces résultats sont par ailleurs soutenus par une étude menée par le groupe du Dr Krônke en collaboration avec notre groupe, et qui monte une protection très importante des souris traitées par un activateur de PPARP contre l'ostéoporose provoquée par l'ovariectomie.¦Les observations concernant PPARy donnent des résultats plus complexes. Le laboratoire a en effet été capable récemment de générer des souris portant une délétion totale de PPARy. Alors que les os courts chez ces souris présentent une augmentation de la DMO, comme attendu, les os longs sont clairement ostéoporotiques. Ce phénotype corrèle avec une densité élevée d'ostéoclastes dans l'os cortical de ces os longs. Deux processus semblent contribuer à ce phénotype. En premier lieu, nous démontrons qu'un milieu conditionné provenant de cultures de cellules 3T3-L1 différenciées en adipocytes contiennent une forte activité inhibitrice d'osteoclastogenesis. L'utilisation d'anticorps neutralisant permet d'identifier l'adiponectine comme l'un des facteurs principaux de cette inhibition. Les souris PPARy étant totalement dépourvues d'adipocytes et donc de tissu adipeux, la sécrétion locale d'adiponectine dans la moelle osseuse est donc également absente, entraînant une désinhibition de l'ostéoclastogenèse. En second lieu, des analyses par FACS révèle une proportion accrue des cellules progénitrices d'ostéoclastes dans la moelle osseuse. Cela s'accompagne par une diminution globale des cellules souches hématopoïétiques, qui est cependant largement compensée par une importante hématopoëise extra-médullaire, dans le foie comme dans la rate.¦L'ensemble de notre travail montre toute l'importance de PPARy au carrefour de l'ostéogenèse, adipogenèse, et hématopoëise/osteoclastogenèse. Il souligne la complexité de la niche que représente la moelle osseuse et démontre l'inter-dépendance des différents types cellulaires définissant l'homéostasie osseuse, complexité qui peut facilement être masqué lorsque le travail expérimental se concentre sur le comportement d'un type cellulaire donné.