Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Religion and assisted and non-assisted suicide in Switzerland: National Cohort Study

Background In the 19th century, eminent French sociologist Emile Durkheim found suicide rates to be higher in the Protestant compared with the Catholic cantons of Switzerland. We examined religious affiliation and suicide in modern Switzerland, where assisted suicide is legal. Methods The 2000 census records of 1 722 456 (46.0%) Catholics, 1 565 452 (41.8%) Protestants and 454 397 (12.2%) individuals with no affiliation were linked to mortality records up to December 2005. The association between religious affiliation and suicide, with the Protestant faith serving as the reference category, was examined in Cox regression models. Hazard ratios (HRs) with 95% confidence intervals (CIs) were adjusted for age, marital status, education, type of household, language and degree of urbanization. Results Suicide rates per 100 000 inhabitants were 19.7 in Catholics (1664 suicides), 28.5 in Protestants (2158 suicides) and 39.0 in those with no affiliation (882 suicides). Associations with religion were modified by age and gender (P < 0.0001). Compared with Protestant men aged 35–64 years, HRs (95% CI) for all suicides were 0.80 (0.73–0.88) in Catholic men and 1.09 (0.98–1.22) in men with no affiliation; and 0.60 (0.53–0.67) and 1.96 (1.69–2.27), respectively, in men aged 65–94 years. Corresponding HRs in women aged 35–64 years were 0.90 (0.80–1.03) and 1.46 (1.25–1.72); and 0.67 (0.59–0.77) and 2.63 (2.22–3.12) in women aged 65–94 years. The association was strongest for suicides by poisoning in the 65–94-year-old age group, the majority of which was assisted: HRs were 0.45 (0.35–0.59) for Catholic men and 3.01 (2.37–3.82) for men with no affiliation; 0.44 (0.36–0.55) for Catholic women and 3.14 (2.51–3.94) for women with no affiliation. Conclusions In Switzerland, the protective effect of a religious affiliation appears to be stronger in Catholics than in Protestants, stronger in older than in younger people, stronger in women than in men, and particularly strong for assisted suicides.

Long-term results after proximal thoracic aortic redo surgery

Objective: To evaluate early and mid-term results in patients undergoing proximal thoracic aortic redo surgery. Methods: We analyzed 60 patients (median age 60 years, median logistic EuroSCORE 40) who underwent proximal thoracic aortic redo surgery between January 2005 and April 2012. Outcome and risk factors were analyzed. Results: In hospital mortality was 13%, perioperative neurologic injury was 7%. Fifty percent of patients underwent redo surgery in an urgent or emergency setting. In 65%, partial or total arch replacement with or without conventional or frozen elephant trunk extension was performed. The preoperative logistic EuroSCORE I confirmed to be a reliable predictor of adverse outcome- (ROC 0.786, 95%CI 0.64–0.93) as did the new EuroSCORE II model: ROC 0.882 95%CI 0.78–0.98. Extensive individual logistic EuroSCORE I levels more than 67 showed an OR of 7.01, 95%CI 1.43–34.27. A EuroSCORE II larger than 28 showed an OR of 4.44 (95%CI 1.4–14.06). Multivariate logistic regression analysis identified a critical preoperative state (OR 7.96, 95%CI 1.51–38.79) but not advanced age (OR 2.46, 95%CI 0.48–12.66) as the strongest independent predictor of in-hospital mortality. Median follow-up was 23 months (1–52 months). One year and five year actuarial survival rates were 83% and 69% respectively. Freedom from reoperation during follow-up was 100%. Conclusions: Despite a substantial early attrition rate in patients presenting with a critical preoperative state, proximal thoracic aortic redo surgery provides excellent early and mid-term results. Higher EuroSCORE I and II levels and a critical preoperative state but not advanced age are independent predictors of in-hospital mortality. As a consequence, age alone should no longer be regarded as a contraindication for surgical treatment in this particular group of patient

Patent foramen ovale screening by ear oximetry in divers

The aim of this study was to test the hypothesis that ear oximetry immediately after the release of a sustained Valsalva maneuver accurately detects patent foramen ovale (PFO). One hundred sixty-five scuba divers underwent transesophageal echocardiography (TEE; reference method) for PFO assessment. Ear oximetry of the right earlobe was performed in a different room within a time frame of 2 hours before or after TEE. The subject and the oximetry operator were unaware of the results of TEE. Oxygen saturation (SO(2)) measurements were obtained at baseline and during the release phase of 4 Valsalva maneuvers within 10 minutes, and the average SO(2) change (SO(2) at baseline minus SO(2) at Valsalva release) was determined as the primary study end point. One hundred seventeen divers had no PFO, and 48 (29%) had PFO by TEE (mean age 39 ± 8 years). The average SO(2) change was 0.79 ± 1.13% (i.e., a slight absolute SO(2) decrease in response to the Valsalva maneuver) in the group without PFO and 1.67 ± 1.19% in the PFO group (p <0.0001). Using receiver-operating characteristic curve analysis, a PFO as defined by TEE could be detected at a threshold of a Valsalva-induced decrease in SO(2) of ≥0.825 percentage points in comparison to baseline (sensitivity 0.756, specificity 0.706, area under the receiver-operating characteristic curve 0.763, p <0.0001, negative predictive value 0.882). In conclusion, the entirely noninvasive method of ear oximetry in response to repetitive Valsalva maneuvers is accurate and useful as a screening method for the detection of a PFO, as shown in this study of divers.

High Solids Co-Digestion of Food and Landscape Waste and the Potential for Ammonia Toxicity

A pilot-scale study was completed to determine the feasibility of high-solids anaerobic digestion (HSAD) of a mixture of food and landscape wastes at a university in central Pennsylvania (USA). HSAD was stable at low loadings (2g COD/L-day), but developed inhibitory ammonia concentrations at high loadings (15g COD/L-day). At low loadings, methane yields were 232L CH4/kg COD fed and 229L CH4/kg VS fed, and at high loadings yields were 211L CH4/kg COD fed and 272L CH4/kg VS fed. Based on characterization and biodegradability studies, food waste appears to be a good candidate for HSAD at low organic loading rates; however, the development of ammonia inhibition at high loading rates suggests that the C:N ratio is too low for use as a single substrate. The relatively low biodegradability of landscape waste as reported herein made it an unsuitable substrate to increase the C:N ratio. Codigestion of food waste with a substrate high in bioavailable carbon is recommended to increase the C:N ratio sufficiently to allow HSAD at loading rates of 15g COD/L-day. Copyright 2014 Elsevier Ltd. All rights reserved.

Quantitative assessment of nociceptive processes in conscious dogs by use of the nociceptive withdrawal reflex

OBJECTIVE: To investigate the feasibility of evoking the nociceptive withdrawal reflex (NWR) from fore and hind limbs in conscious dogs, score stimulus-associated behavioral responses, and assess the canine NWR response to suprathreshold stimulations. ANIMALS: 8 adult Beagles. PROCEDURE: Surface electromyograms evoked by transcutaneous electrical stimulation of ulnaris and digital plantar nerves were recorded from the deltoideus, cleidobrachialis, biceps femoris, and tibialis cranialis muscles. Train-of-five pulses (stimulus(train)) were used; reflex threshold (I(t train)) was determined, and recruitment curves were obtained at 1.2, 1.5, and 2 x I(t train). Additionally, a single pulse (stimulus(single)) was given at 1, 1.2, 1.5, 2, and 3 x I(t train). Latency and amplitude of NWRs were analyzed. Severity of behavioral reactions was subjectively scored. RESULTS: Fore- and hind limb I(t train) values (median; 25% to 75% interquartile range) were 2.5 mA (2.0 to 3.6 mA) and 2.1 mA (1.7 to 2.9 mA), respectively. At I(t train), NWR latencies in the deltoideus, cleidobrachialis, biceps femoris, and cranial tibialis muscles were not significantly different (19.6 milliseconds [17.1 to 20.5 milliseconds], 19.5 milliseconds [18.1 to 20.7 milliseconds], 20.5 milliseconds [14.7 to 26.4 milliseconds], and 24.4 milliseconds [17.1 to 40.5 milliseconds], respectively). Latencies obtained with stimulus(train) and stimulus(single) were similar. With increasing stimulation intensities, NWR amplitude increased and correlated positively with behavioral scores. CONCLUSIONS AND CLINICAL RELEVANCE: In dogs, the NWR can be evoked from limbs and correlates with behavioral reactions. Results suggest that NWR evaluation may enable quantification of nociceptive system excitability and efficacy of analgesics in individual dogs.

Human alveolar echinococcosis after fox population increase, Switzerland

We analyzed databases spanning 50 years, which included retrospective alveolar echinococcosis (AE) case finding studies and databases of the 3 major centers for treatment of AE in Switzerland. A total of 494 cases were recorded. Annual incidence of AE per 100,000 population increased from 0.12-0.15 during 1956-1992 and a mean of 0.10 during 1993-2000 to a mean of 0.26 during 2001-2005. Because the clinical stage of the disease did not change between observation periods, this increase cannot be explained by improved diagnosis. Swiss hunting statistics suggested that the fox population increased 4-fold from 1980 through 1995 and has persisted at these higher levels. Because the period between infection and development of clinical disease is long, the increase in the fox population and high Echinococcus multilocularis prevalence rates in foxes in rural and urban areas may have resulted in an emerging epidemic of AE 10-15 years later.

Clinical validation of electromyography and acceleromyography as sensors for muscle relaxation

BACKGROUND AND OBJECTIVE: The aim of this study was to determine which of two clinically applied methods, electromyography or acceleromyography, was less affected by external disturbances, had a higher sensitivity and which would provide the better input signal for closed loop control of muscle relaxation. METHODS: In 14 adult patients, anaesthesia was induced with intravenous opioids and propofol. The response of the thumb to ulnar nerve stimulation was recorded on the same arm. Mivacurium was used for neuromuscular blockade. Under stable conditions of relaxation, the infusion-rate was decreased and the effects of turning the hand were investigated. RESULTS: Electromyography and acceleromyography both reflected the change of the infusion rate (P = 0.015 and P < 0.001, respectively). Electromyography was significantly less affected by the hand-turn (P = 0.008) than acceleromyography. While zero counts were detected with acceleromyography, electromyography could still detect at least one count in 51.1%. CONCLUSIONS: Electromyography is more reliable for use in daily practice as it is less influenced by external disturbances than acceleromyography.

Relative impact of respiratory muscle activity on tidal flow and end expiratory volume in healthy neonates

INTRODUCTION: It has been suggested that infants dynamically regulate their tidal flow and end-expiratory volume level. The interaction between muscle activity, flow and lung volume in spontaneously sleeping neonates is poorly studied, since it requires the assessment of transcutaneous electromyography of respiratory muscles (rEMG) in matched comparison to lung function measurements. METHODS: After determining feasibility and repeatability of rEMG in 20 spontaneously sleeping healthy neonates, we measured the relative impact of intercostal and diaphragmatic EMG activity in direct comparison to the resulting tidal flow and FRC. RESULTS: We found good feasibility, repeatability and correlation of timing indices between rEMG activity and flow. The rEMG amplitude was significantly dependent on the resistive load of the face mask. Diaphragm and intercostal muscle activity commenced prior to the onset of flow and remained active during the expiratory cycle. The relative contribution of intercostal and diaphragmatic activity to flow was variable and changed dynamically. CONCLUSION: Using matched rEMG, air flow and lung volume measurements, we have found good feasibility and repeatability of intercostal and diaphragm rEMG measurements and provide the first quantitative measures of the temporal relationship between muscle activity and flow in spontaneously sleeping healthy neonates. Lung mechanical function is dynamically regulated and adapts on a breath to breath basis. So, non-invasive rEMG measurements alone or in combination with lung function might provide a more comprehensive picture of pulmonary mechanics in future studies. The data describing the timing of EMG and flow may be important for future studies of EMG triggered mechanical ventilation.

The clinical and structural long-term results of open repair of massive tears of the rotator cuff

BACKGROUND: At a mean follow-up of 3.1 years, twenty-seven consecutive repairs of massive rotator cuff tears yielded good and excellent clinical results despite a retear rate of 37%. Patients with a retear had improvement over the preoperative state, but those with a structurally intact repair had a substantially better result. The purpose of this study was to reassess the same patients to determine the long-term functional and structural results. METHODS: At a mean follow-up interval of 9.9 years, twenty-three of the twenty-seven patients returned for a review and were examined clinically, radiographically, and with magnetic resonance imaging with use of a methodology identical to that used at 3.1 years. RESULTS: Twenty-two of the twenty-three patients remained very satisfied or satisfied with the result. The mean subjective shoulder value was 82% (compared with 80% at 3.1 years). The mean relative Constant score was 85% (compared with 83% at 3.1 years). The retear rate was 57% at 9.9 years (compared with 37% at 3.1 years; p = 0.168). Patients with an intact repair had a better result than those with a failed reconstruction with respect to the mean absolute Constant score (81 compared with 64 points, respectively; p = 0.015), mean relative Constant score (95% and 77%; p = 0.002), and mean strength of abduction (5.5 and 2.6 kg; p = 0.007). The mean retear size had increased from 882 to 1164 mm(2) (p = 0.016). Supraspinatus and infraspinatus muscle fatty infiltration had increased (p = 0.004 and 0.008, respectively). Muscles with torn tendons preoperatively showed more fatty infiltration than muscles with intact tendons preoperatively, regardless of repair integrity. Shoulders with a retear had a significantly higher mean acromion index than those without retear (0.75 and 0.65, respectively; p = 0.004). CONCLUSIONS: Open repair of massive rotator cuff tears yielded clinically durable, excellent results with high patient satisfaction at a mean of almost ten years postoperatively. Conversely, fatty muscle infiltration of the supraspinatus and infraspinatus progressed, and the retear size increased over time. The preoperative integrity of the tendon appeared to be protective against muscle deterioration. A wide lateral extension of the acromion was identified as a previously unknown risk factor for retearing.