Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course

This paper is about the two compulsory project assignments set to the students in an undergraduate course on distributed systems. In the first assignment the students design and validate a non-trivial layered protocol by means of Coloured Petri Nets, and in the second they implement the designed protocol in an object-oriented language. From the two assignments the students experience that Coloured Petri Nets, as a formal method, are useful for designing and analysing distributed systems. In the course students are introduced to basic concepts and techniques for distributed systems, and it is explained that such systems are often too complex to manage without using formal methods. In this paper we also report on our experience with teaching the course and describe the didactic methods applied. Based on the obtained experience we conclude that the combination of distributed systems and Coloured Petri Nets is fruitful --- the two areas complement each other. Although our experiences origin in Coloured Petri Nets, we believe that many of our observations hold for other formal methods as well.Topics. Education issues related to nets; Coloured Petri Nets; distributed systems; experience with using nets,case studies; applications of nets to protocols

Social integration i arbejdslivet-belyst gennem en undersøgelse inden for voksenhandicapsektoren

I artiklens undersøgelse er arbejdsmiljø- og kulturforhold kombineret i en fremgangsmåde, der skal afdække tilstedeværelsen og betydningen af den sociale integration i en social institution. Det er forfatternes opfattelse, at arbejdsmiljøforhold og kulturforhold i sig selv og i vekselvirkning skaber den sociale integration, der er afgørende for personalegruppernes opfattelse af det daglige arbejde og for velbefindende blandt institutionens beboere

Social integration i arbejdslivet-belyst gennem en undersøgelse inden for voksenhandicapsektoren

I artiklens undersøgelse er arbejdsmiljø- og kulturforhold kombineret i en fremgangsmåde, der skal afdække tilstedeværelsen og betydningen af den sociale integration i en social institution. Det er forfatternes opfattelse, at arbejdsmiljøforhold og kulturforhold i sig selv og i vekselvirkning skaber den sociale integration, der er afgørende for personalegruppernes opfattelse af det daglige arbejde og for velbefindende blandt institutionens beboere

4,8-bisallyl-2,6-dimethylnaphthalene-1,5-diyl diacetate

4,8-Diallyl-2,6-dimethylnaphthalene-1,5-diyl diacetate (1) which is a highly substituted naphthalene derivative has been synthesized in two steps starting from 2,6-dimethyl-1,5-naphthalenediol (3) using a modified Claisen-rearrangement

Effect of prolonged standardized bed rest on cystatin C and other markers of cardiovascular risk

<p>Abstract</p> <p>Background</p> <p>Sedentary lifestyle is associated with coronary artery disease but even shorter periods of physical inactivity may increase cardiovascular risk. Cystatin C is independently associated with cardiovascular disease and our objective was to investigate the relation between this novel biomarker and standardized bed rest. Research of immobilization physiology in humans is challenging because good biological models are in short supply. From the Women International Space simulation for Exploration study (WISE) we studied markers of atherosclerosis and kidney function, including cystatin C, in a standardized bed rest study on healthy volunteers. Fifteen healthy female volunteers participated in a 20-day ambulatory control period followed by 60 days of bed rest in head-down tilt position (-6°) 24 h a day, finalized by 20 days of recovery. The subjects were randomized into two groups during bed rest: a control group (n = 8) that remained physically inactive and an exercise group (n = 7) that participated in both supine resistance and aerobic exercise training.</p> <p>Results</p> <p>Compared to baseline values there was a statistically significant increase in cystatin C in both groups after bed rest (P < 0.001). Glomerular filtration rate (GFR), calculated by both cystatin C and Cockcroft-Gault equation, decreased after bed rest while there were no differences in creatinine or creatine kinase levels. CRP did not change during bed rest in the exercise group, but there was an increase of CRP in the control group during recovery compared to both the baseline and the bed rest periods. The apo-B/apo-Ai ratio increased during bed rest and decreased again in the recovery period. Subjects experienced a small but statistically significant reduction in weight during bed rest and compared to baseline weights remained lower at day 8 of recovery.</p> <p>Conclusion</p> <p>During and following prolonged standardized bed rest the concentrations of several clinically relevant cardiovascular risk markers change.</p

The 19th Party Congress: Personnel Changes and Policy Guidelines

The 19th Congress of the Communist Party of China was held in BeijingOctober 18-24 2017. Leading up to the congress there was intense speculation concerning the new line-up of the most important leadership bodies of the CPC: the Politburo and the Politburo Standing Committee. Would the Politburo Standing Committee (PSC) continue to consist of seven members, or would it be expanded to nine members, as was the case during Jiang Zemin's era, or would it instead be reduced to five members, as was the case during the late 1980s? Would unwritten rules such as '68 down, 67 up' be observed? Or would veteran leaders such as Wang Qishan (69) continue to serve on the committee? Would Xi Jinping pack the Politburo and the PSC with his own close allies, or would he try to achieve a factional balance observing the interests of former leaders such as Jiang Zemin and Hu Jintao? There was also much speculation concerning Xi Jinping's status. Would the 'Chairman of Everything' have hisname and thought written into the CPC Constitution alongside that of MaoZedong and Deng Xiaoping and ahead of his two immediate predecessors?Xi Jinping's report to the Party congress was also awaited with muchinterest. Such a report is usually a long document setting out the Party'spriorities and policy objectives for the next five-year period. Would XiJinping's report signal new policy initiatives, and would it outline strategicguidelines reaching beyond 2022? This article examines these questionsand assesses the future impact of the Party congress on Chinese politics