85 research outputs found

    Constraint on the optical constants of a transparent film on an absorbing substrate for inversion of the ratio of complex p and s reflection coefficients at a given angle of incidence

    Get PDF
    An absorbing substrate of complex refractive index n2-jk2 can be coated by a transparent thin film of refractive index n1 and normalized thickness ζ so that the ratio of complex reflection coefficients for the pand s polarizations of the film-covered substrate ρ is the inverse of that of the film-free substrate ρ¯ at a given angle of incidence φ. A pair of parallel (metallic) mirrors, one uncoated and the other coated with a ρ-inverting layer, causes a beam displacement without change of polarization and with a certain net reflectance (insertion loss) ℜ. In this paper the constraint on n1,n2,k2 for ρ inversion (ρρ¯ = 1) is represented by a family of constant -n1 contours in the n2k2 plane at φ = 45, 60, and 75°. Along each solution curve, ζ and ℜ are also plottedvs n2 at constant n1. Analysis of the effect of small errors of incidence angles, film refractive index, and thickness is presented for two specific designs using Al mirrors at 650 and 950 nm

    Constraint on the optical constants of a transparent film on an absorbing substrate for inversion of the ratio of complex p and s reflection coefficients at a given angle of incidence

    Get PDF
    An absorbing substrate of complex refractive index n2-jk2 can be coated by a transparent thin film of refractive index n1 and normalized thickness ζ so that the ratio of complex reflection coefficients for the pand s polarizations of the film-covered substrate ρ is the inverse of that of the film-free substrate ρ¯ at a given angle of incidence φ. A pair of parallel (metallic) mirrors, one uncoated and the other coated with a ρ-inverting layer, causes a beam displacement without change of polarization and with a certain net reflectance (insertion loss) ℜ. In this paper the constraint on n1,n2,k2 for ρ inversion (ρρ¯ = 1) is represented by a family of constant -n1 contours in the n2k2 plane at φ = 45, 60, and 75°. Along each solution curve, ζ and ℜ are also plottedvs n2 at constant n1. Analysis of the effect of small errors of incidence angles, film refractive index, and thickness is presented for two specific designs using Al mirrors at 650 and 950 nm

    Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

    Get PDF
    Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems

    Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study

    Get PDF
    Isabelle/SACM is a tool for automated construction of model-based assurance cases with integrated formal methods, based on the Isabelle proof assistant. Assurance cases show how a system is safe to operate, through a human comprehensible argument demonstrating that the requirements are satisfied, using evidence of various provenances. They are usually required for certification of critical systems, often with evidence that originates from formal methods. Automating assurance cases increases rigour, and helps with maintenance and evolution. In this paper we apply Isabelle/SACM to a fragment of the assurance case for an autonomous underwater vehicle demonstrator. We encode the metric unit system (SI) in Isabelle, to allow modelling requirements and state spaces using physical units. We develop a behavioural model in the graphical RoboChart state machine language, embed the artifacts into Isabelle/SACM, and use it to demonstrate satisfaction of the requirements

    Clinical Study Maternal Hypotension during Fetoscopic Surgery: Incidence and Its Impact on Fetal Survival Outcomes

    Get PDF
    In this retrospective cohort study, we aimed to determine the incidence of intraoperative maternal hypotension during fetoscopic surgery for twin-twin transfusion syndrome (TTTS) and to evaluate the impact of intraoperative hypotension on fetal survival. A total of 328 TTTS patients with recipient twin cardiomyopathy who underwent fetoscopic surgery under epidural anesthesia were included. The exposure of interest was maternal medical therapy with nifedipine for the treatment of fetal cardiomyopathy. We found that intraoperative hypotension occurred in 53.4% (175/328 patients). There was no statistically significant difference in incidence of hypotension between nifedipine exposure and nonexposure groups (54.8% versus 50.8%, = 0.479). However, the nifedipine exposure group received a statistically significant higher dose of phenylephrine (7.04 ± 6.38 mcg/kg versus 4.70 ± 4.14 mcg/kg, = 0.018) and higher doses of other vasopressor, as counted by number of treatments (6.06 ± 4.58 versus 4.96 ± 3.42, = 0.022). There were no statistically significant differences in acute fetal survival rate (within 5 days) and fetal survival rate at birth between hypotensive and nonhypotensive patients. We concluded that preoperative exposure to nifedipine resulted in increased intraoperative maternal vasopressor requirement during fetoscopic surgery under epidural anesthesia. In patients who had intraoperative maternal hypotension, there was no correlation between the presence of maternal hypotension and postoperative fetal survival

    Arabin cervical pessary for prevention of preterm birth in cases of twin-to-twin transfusion syndrome treated by fetoscopic LASER coagulation: the PECEP LASER randomised controlled trial

    Get PDF
    Abstract Background Fetoscopic LASER coagulation of the placental anastomoses has changed the prognosis of twin-twin transfusion syndrome. However, the prematurity rate in this cohort remains very high. To date, strategies proposed to decrease the prematurity rate have shown inconclusive, if not unfavourable results. Methods This is a randomised controlled trial to investigate whether a prophylactic cervical pessary will lower the incidence of preterm delivery in cases of twin-twin transfusion syndrome requiring fetoscopic LASER coagulation. Women eligible for the study will be randomised after surgery and allocated to either pessary or expectant management. The pessary will be left in place until 37 completed weeks or earlier if delivery occurs. The primary outcome is delivery before 32 completed weeks. Secondary outcomes are a composite of adverse neonatal outcome, fetal and neonatal death, maternal complications, preterm rupture of membranes and hospitalisation for threatened preterm labour. 352 women will be included in order to decrease the rate of preterm delivery before 32 weeks’ gestation from 40% to 26% with an alpha-error of 0.05 and 80% power. Discussion The trial aims at clarifying whether the cervical pessary prolongs the pregnancy in cases of twin-twin transfusion syndrome regardless of cervical length at the time of fetoscopy. Trial registration ClinicalTrials.gov Identifier: NCT01334489 . Registered 04 December 2011

    Researching COVID to enhance recovery (RECOVER) pregnancy study: Rationale, objectives and design

    Get PDF
    Importance Pregnancy induces unique physiologic changes to the immune response and hormonal changes leading to plausible differences in the risk of developing post-acute sequelae of SARS-CoV-2 (PASC), or Long COVID. Exposure to SARS-CoV-2 during pregnancy may also have long-term ramifications for exposed offspring, and it is critical to evaluate the health outcomes of exposed children. The National Institutes of Health (NIH) Researching COVID to Enhance Recovery (RECOVER) Multi-site Observational Study of PASC aims to evaluate the long-term sequelae of SARS-CoV-2 infection in various populations. RECOVER-Pregnancy was designed specifically to address long-term outcomes in maternal-child dyads. Methods RECOVER-Pregnancy cohort is a combined prospective and retrospective cohort that proposes to enroll 2,300 individuals with a pregnancy during the COVID-19 pandemic and their offspring exposed and unexposed in utero, including single and multiple gestations. Enrollment will occur both in person at 27 sites through the Eunice Kennedy Shriver National Institutes of Health Maternal-Fetal Medicine Units Network and remotely through national recruitment by the study team at the University of California San Francisco (UCSF). Adults with and without SARS-CoV-2 infection during pregnancy are eligible for enrollment in the pregnancy cohort and will follow the protocol for RECOVER-Adult including validated screening tools, laboratory analyses and symptom questionnaires followed by more in-depth phenotyping of PASC on a subset of the overall cohort. Offspring exposed and unexposed in utero to SARS-CoV-2 maternal infection will undergo screening tests for neurodevelopment and other health outcomes at 12, 18, 24, 36 and 48 months of age. Blood specimens will be collected at 24 months of age for SARS-CoV-2 antibody testing, storage and anticipated later analyses proposed by RECOVER and other investigators. Discussion RECOVER-Pregnancy will address whether having SARS-CoV-2 during pregnancy modifies the risk factors, prevalence, and phenotype of PASC. The pregnancy cohort will also establish whether there are increased risks of adverse long-term outcomes among children exposed in utero

    Inexpensive and Accurate Measuring Device forWater Constitute in Oil

    Get PDF
    This paper presents an inexpensive and accurate measuring device for water constitute in oil. The new device is based on the relationship between the water constitute in oil and the pressure of a sample from the oil. Experimental results show that the device can attain a very high resolution that can reach up +/- 0.4% and it can be used to measure a full range of water percentage levels (0-100%). Experimental results showed good agreement with theory
    corecore