An executable interface specification for industrial embedded system design.

Nowadays, designers resort to abstraction techniques to conquer the complexity of industrial embedded systems during the design process. However, due to the large semantic gap between the abstractions and the implementation, the designers often fails to apply the abstraction techniques. In this paper, an EIS-based (executable interface specification) approach is proposed for the embedded system design.The proposed approach starts with using interface state diagrams to specify system architectures. A set of rules is introduced to transfer these diagrams into an executable model (EIS model) consistently. By making use of simulation/verification techniques, many architectural design errors can be detected in the EIS model at an early design stage. In the end, the EIS model can be systematically transferred into an interpreted implementation or a compiled implementation based on the constraints of the embedded platform. In this way, the inconsistencies between the high-level abstractions and the implementation can largely be reduced

Study on public perceptions and protective behaviors regarding Lyme disease among the general public in the Netherlands: Implications for prevention programs

Background: Lyme disease (LD) is the most common tick-borne disease in the United States and in Europe. The aim of this study was to examine knowledge, perceived risk, feelings of anxiety, and behavioral responses of the general public in relation to tick bites and LD in the Netherlands. Methods. From a representative Internet panel a random sample was drawn of 550 panel members aged 18 years and older (8-15 November 2010) who were invited to complete an online questionnaire. Results: Response rate (362/550, 66%). This study demonstrates that knowledge, level of concern, and perceived efficacy are the main determinants of preventive behavior. 35% (n = 125/362) of the respondents reported a good general knowledge of LD. While 95% (n = 344/362) perceived LD as severe or very severe, the minority (n = 130/362, 36%) perceived their risk of LD to be low. Respondents were more likely to check their skin after being outdoors and remove ticks if necessary, than to wear protective clothing and/or use insect repellent skin products. The percentage of respondents taking preventive measures ranged from 6% for using insect repellent skin products, to 37% for wearing protective clothing. History of tick bites, higher levels of knowledge and moderate/high levels of worry were significant predictors of checking the skin. Significant predictors of wearing protective clothing were being unemployed/retired, higher knowledge levels, higher levels of worry about LD and higher levels of perceived efficacy of wearing protective clothing. Conclusions: Prevention programs targeting tick bites and LD should aim at influencing people's perceptions and increasin

Foraminiferal proliferations in the Alborz Basin (northern Iran): global responses to Early Carboniferous glaciations

© 2017 Senckenberg Gesellschaft für Naturforschung and Springer-Verlag Berlin HeidelbergThe Tournaisian interval of the Mobarak Formation in the Alborz Basin (Iran) preserves a specific bed with Earlandiidae and three foraminiferal zones that are restricted to specific intervals within the late Tournaisian and correlate with northern Eurasian biostratigraphic units. The bed with Earlandiidae dates to the early Tournaisian and corresponds with the lower Tournaisian and lower part of the upper Tournaisian of the Russian Stratigraphic Scale. The Granuliferella latispiralis–Latiendothyranopsis zone dates back to the earliest Ivorian (MFZ4?–MFZ5) and correlates with the G. latispiralis and Spinoendothyra costifera zones of the Urals. The Eotextularia diversa zone is of earliest late Ivorian age (MFZ6) and corresponds to the lower part of the E. diversa zone of the Russian Stratigraphic Scale. The Endospiroplectammina venusta–Eoparastaffella ex gr. rotunda zone is of latest Ivorian (MFZ7–MFZ8) age and correlates with the upper part of the E. diversa zone and the E. rotunda zone of the Russian Stratigraphic Scale. The entire early Tournaisian (Hastarian) portion is devoid of recognisable foraminiferal material, which is likely linked to a faunal shift of subtropical and temperate taxa to tropical latitudes in response to the glaciations at the Devonian–Carboniferous boundary. The establishment of the G. latispiralis–Latiendothyranopsis zone coincides with the first mondial Tournaisian foraminiferal radiation. The second and third episodes of foraminiferal diversification (E. diversa and E. venusta–Eoparastaffella ex gr. rotunda) are congruent with major foraminiferal shifts from Tethyan realms to higher latitudes in response to thermal periods. The occurrence of specific foraminiferal taxa in Alborz is strongly linked to transgressions and migrations of North Palaeotethyan biotic elements. The described Tournaisian cyclic patterns in the Alborz Basin share significant similarities with those in the North American, western European and Siberian realms, indicating a link with large-scale palaeoclimatic patterns. This cyclic system correlates directly with the pacing of global eustatic sea-level fluctuations caused by climate oscillations and follows the fourth-order ocean-level fluctuations as described from other, independent proxies

Discrete-time rewards model-checked

This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints. This allows to formulate complex measures – involving expected as well as accumulated rewards – in a precise and succinct way. Algorithms to efficiently analyze such formulae are introduced. The approach is illustrated by model-checking a probabilistic cost model of the IPv4 zeroconf protocol for distributed address assignment in ad-hoc networks

Onzekerheid over de baten van de Betuwelijn

Model estimates of the pay-off of the Betuwe railway have played an important role for politicians to decide to build this railway. This has already been discussed extensively, especially with respect to the macro-economic effects of this investment. A deeper analysis shows that these effects are very difficult to assess. The NIJFER institute for example calculated a long term profit of 52.1 biljon Dutch guilders, but our analysis of this model shows that the profit lays with 50 reliability between 15 and 30 biljon Dutch guilders. Our conclusion is that this political investment decision is not sufficiently supported by the expected macro-economic pay-off. A prudent use of quantitative research requires that the involved uncertainties in the model outcomes is properly taken into account

Onzekerheid over de baten van de Betuwelijn

Model estimates of the pay-off of the Betuwe railway have played an important role for politicians to decide to build this railway. This has already been discussed extensively, especially with respect to the macro-economic effects of this investment. A deeper analysis shows that these effects are very difficult to assess. The NIJFER institute for example calculated a long term profit of 52.1 biljon Dutch guilders, but our analysis of this model shows that the profitlays with 50 reliability between 15 and 30 biljon Dutch guilders. Our conclusion is that this political investment decision is not sufficiently supported by the expected macro-economic pay-off. A prudent use of quantitative research requires that the involved uncertainties in the model outcomes is properly taken into account.investment;cross-country analysis;regression;infrastructure;policy design

Q fever in the Netherlands: Public perceptions and behavioral responses in three different epidemiological regions: A follow-up study

Background: Over the past years, Q fever has become a major public health problem in the Netherlands, with a peak of 2,357 human cases in 2009. In the first instance, Q fever was mainly a local problem of one province with a high density of large dairy goat farms, but in 2009 an alarming incre

Determinants of vaccination uptake in risk populations: A comprehensive literature review

Vaccination uptake has decreased globally in recent years, with a subsequent rise of vaccine-preventable diseases. Travellers, immunocompromised patients (ICP), and healthcare workers (HCW) are groups at increased risk for (severe) infectious diseases due to their behaviour, health, or occupation, respectively. While targeted vaccination guidelines are available, vaccination uptake seems low. In this review, we give a comprehensive overview of determinants—based on the integrated change model—predicting vaccination uptake in these groups. In travellers, low perceived risk of infection and low awareness of vaccination recommendations contributed to low uptake. Additionally, ICP were often unaware of the recommended vaccinations. A physician’s recommendation is strongly correlated with higher uptake. Furthermore, ICP appeared to be mainly concerned about the risks of vaccination and fear of deterioration of their underlying disease. For HCW, perceived risk of (the severity of) infection for themselves and for their patients together with perceived benefits of vaccination contribute most to their vaccination behaviour. As the determinants that affect uptake are numerous and diverse, we argue that future studies and interventions should be based on multifactorial health behaviour models, especially for travellers and ICP as only a limited number of such studies is available yet

The impact of performing gastric cancer surgery during holiday periods. A population-based study using Dutch upper gastrointestinal cancer audit (DUCA) data

Existing literature suggests inferior quality of oncologic surgery during holiday periods. This study aimed to investigate the impact of holiday periods on surgical treatment of gastric cancer in the Netherlands. This nationwide study included all gastric cancer patients undergoing potentially curative surgery registered in the Dutch Upper Gastrointestinal Cancer Audit (DUCA). For each patient it was established whether they underwent surgery during or outside the 11 Dutch holiday weeks, based on date and region of surgery. Separate, single-day holidays were not included. Baseline and treatment characteristics were compared using descriptive statistics. Time from diagnosis to treatment and short-term surgical outcomes were compared using multilevel multivariable logistic regression analyses. To prevent bias from recent advancements, analyses were repeated in a recent cohort of patients (2015-2018). Between 2011-2018, 3440 patients were included in the DUCA. Some 555 (16.1%) patients underwent surgery during 11 holiday weeks. There were no differences in patient, tumor and treatment characteristics and time to treatment between holidays and non-holidays. Tumor-positive resection margins (R1/R2 vs R0) occurred more frequent during holidays (aOR:1.47, 95%CI:1.07-2.04). Subgroup analyses in a recent cohort of patients also found higher tumor-positive resection margins (aOR:1.59, 95%CI:1.01-2.43) and higher failure-to-rescue rates (aOR:2.55, 95%CI:1.18-5.49) during holidays. Even though time to treatment and patient, tumor and treatment characteristics were comparable between holidays and non-holidays, tumor-positive resection margin and failure to-rescue rates were higher during holidays. This suggests that steps must be taken to keep specialized and dedicated gastric cancer expertise up to standard during holiday periods. (C)& nbsp;2022 The Author(s). Published by Elsevier Inc.& nbsp;& nbsp