Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method

Viking Age garden plants from southern Scandinavia: diversity, taphonomy and cultural aspects

Plant finds recovered from archaeological sites in southern Scandinavia dated to the Viking Age reflect the diversity of useful plants that were cultivated and collected. This review presents the results of 14 investigations of deposits that are dated between AD 775 and 1050. The site types are categorized as agrarian, urban, military and burials. Garden plants are unevenly distributed, as the greatest diversity is recorded in features from urban contexts. We argue that taphonomic processes played an important role in the picture displayed. Archaeobotanical research results from neighbouring regions suggest that Viking Age horticulture has its roots in older traditions, and that the spectrum of garden plants is influenced by central and north-western European horticultural customs, which were to a great extent shaped by Roman occupation

Severe odontogenic infections

The document attached has been archived with permission from the Australian Dental Association. An external link to the publisher’s copy is included.Background: Severe odontogenic infections are serious potentially lethal conditions. Following the death of a patient in the authors’ institution this study was initiated to determine the risk factors, management and outcome of a consecutive series of patients. Methods: All patients admitted to the Royal Adelaide Hospital under the care of the Oral and Maxillofacial Surgery Unit with odontogenic infections in calendar year 2003 were investigated. Detailed information relative to their prepresentation history, surgical and anaesthetic management and outcome was obtained and analysed. Results: Forty-eight patients, 32M, 16F, average age 34.5, range 19 to 88 years were treated. All presented with pain and swelling, with 21 (44 per cent) having trismus. Forty-four (92 per cent) were as a result of dental neglect and four (8 per cent) were regular dental patients having endodontic treatment which failed. Of those known to have been treated prior to presentation, most had been on antibiotics. Most patients had aggressive surgical treatment with extraction, surgical drainage, high dose intravenous antibiotics and rehydration. The hospital stay was 3.3 (range 1-16) days. Patients requiring prolonged intubation and high dependency or intensive care (40 per cent) had longer hospitalization. No patient died and all fully recovered. Conclusion: Severe odontogenic infections are a serious risk to the patient’s health and life. Management is primarily surgical with skilled anaesthetic airway management. Antibiotics are required in high intravenous doses as an adjunct and not as a primary treatment.IC Uluibau, T Jaunay and AN Gos

Noninvasive monitoring of myocardial function after surgical and cytostatic therapy in a peritoneal metastasis rat model: assessment with tissue Doppler and non-Doppler 2D strain echocardiography

<p>Abstract</p> <p>Objective</p> <p>We sought to evaluate the impact of different antineoplastic treatment methods on systolic and diastolic myocardial function, and the feasibility estimation of regional deformation parameters with non-Doppler 2D echocardiography in rats.</p> <p>Background</p> <p>The optimal method for quantitative assessment of global and regional ventricular function in rats and the impact of complex oncological multimodal therapy on left- and right-ventricular function in rats remains unclear.</p> <p>Methods</p> <p>90 rats after subperitoneal implantation of syngenetic colonic carcinoma cells underwent different onclogical treatment methods and were diveded into one control group and five treatment groups (with 15 rats in each group): group 1 = control group (without operation and without medication), group 2 = operation group without additional therapy, group 3 = combination of operation and photodynamic therapy, group 4 = operation in combination with hyperthermic intraoperative peritoneal chemotherapy with mitomycine, and group 5 = operation in combination with hyperthermic intraoperative peritoneal chemotherapy with gemcitabine, group 6 = operation in combination with taurolidin i.p. instillation. Echocardiographic examination with estimation of wall thickness, diameters, left ventricular fractional shortening, ejection fraction, early and late diastolic transmitral and myocardial velocities, radial and circumferential strain were performed 3–4 days after therapy.</p> <p>Results</p> <p>There was an increase of LVEDD and LVESD in all groups after the follow-up period (P = 0.0037). Other LV dimensions, FS and EF as well as diastolic mitral filling parameters measured by echocardiography were not significantly affected by the different treatments. Values for right ventricular dimensions and function remained unchanged, whereas circumferential 2D strain of the inferior wall was slightly, but significantly reduced under the treatment (-18.1 ± 2.5 before and -16.2 ± 2.9 % after treatment; P = 0.001) without differences between the single treatment groups.</p> <p>Conclusion</p> <p>It is feasible to assess dimensions, global function, and regional contractility with echocardiography in rats under different oncological therapy. The deformation was decreased under overall treatment without influence by one specific therapy. Therefore, deformation assessment with non-Doppler 2D strain echocardiography is more sensitive than conventional echocardiography for assessing myocardial dysfunction in rats under oncological treatment.</p

Patients with artificial joints: do they need antibiotic cover for dental treatment?

The document attached has been archived with permission from the Australian Dental Association. An external link to the publisher’s copy is included.This study reviews whether patients with artificial joints need antibiotic cover for dental treatment. Generally in Australia the practice has developed of giving most patients with artificial joints antibiotic prophylaxis for a wide range of dental procedures. This is partly on anecdotal grounds, partly historical and partly for legal concerns. It has been encouraged by some guidelines. Scientifically, the risk and the benefit of each step in the process needs to be analysed. This review shows that the risk of an artificial joint becoming infected from a bacteraemia of oral origin is exceedingly low whereas the risk of an adverse reaction to the antibiotic prophylaxis is higher than the risk of infection. If all patients with artificial joints receive antibiotic prophylaxis then more will die from anaphylaxis than develop infections. Factors which balance the risk benefit are if the patient is seriously immunocompromised, if the joint prosthesis is failing or chronically inflamed and if the dental procedures, such as from extractions and deep periodontal scaling, produce high level bacteraemias. Recommendations to rationalize antibiotic prophylaxis for patients with artificial joints are presented.JF Scott, D Morgan, M Avent, S Graves and AN Gos

The role of beta-lactamase-producing-bacteria in mixed infections

Beta-lactamase-producing bacteria (BLPB) can play an important role in polymicrobial infections. They can have a direct pathogenic impact in causing the infection as well as an indirect effect through their ability to produce the enzyme beta-lactamase. BLPB may not only survive penicillin therapy but can also, as was demonstrated in in vitro and in vivo studies, protect other penicillin-susceptible bacteria from penicillin by releasing the free enzyme into their environment. This phenomenon occurs in upper respiratory tract, skin, soft tissue, surgical and other infections. The clinical, in vitro, and in vivo evidence supporting the role of these organisms in the increased failure rate of penicillin in eradication of these infections and the implication of that increased rate on the management of infections is discussed

Comparing very low birth weight versus very low gestation cohort methods for outcome analysis of high risk preterm infants

© 2017 The Author(s). Background: Compared to very low gestational age (<32 weeks, VLGA) cohorts, very low birth weight (<1500 g; VLBW) cohorts are more prone to selection bias toward small-for-gestational age (SGA) infants, which may impact upon the validity of data for benchmarking purposes. Method: Data from all VLGA or VLBW infants admitted in the 3 Networks between 2008 and 2011 were used. Two-thirds of each network cohort was randomly selected to develop prediction models for mortality and composite adverse outcome (CAO: mortality or cerebral injuries, chronic lung disease, severe retinopathy or necrotizing enterocolitis) and the remaining for internal validation. Areas under the ROC curves (AUC) of the models were compared. Results: VLBW cohort (24,335 infants) had twice more SGA infants (20.4% vs. 9.3%) than the VLGA cohort (29,180 infants) and had a higher rate of CAO (36.5% vs. 32.6%). The two models had equal prediction power for mortality and CAO (AUC 0.83), and similarly for all other cross-cohort validations (AUC 0.81-0.85). Neither model performed well for the extremes of birth weight for gestation (<1500 g and ≥32 weeks, AUC 0.50-0.65; ≥1500 g and <32 weeks, AUC 0.60-0.62). Conclusion: There was no difference in prediction power for adverse outcome between cohorting VLGA or VLBW despite substantial bias in SGA population. Either cohorting practises are suitable for international benchmarking

The thrombotic potential of oral pathogens

In recent times the concept of infectious agents playing a role in cardiovascular disease has attracted much attention. Chronic oral disease such as periodontitis, provides a plausible route for entry of bacteria to the circulation. Upon entry to the circulation, the oral bacteria interact with platelets. It has been proposed that their ability to induce platelet aggregation and support platelet adhesion is a critical step in the pathogenesis of the infection process. Many published studies have demonstrated multiple mechanisms through which oral bacteria are able to bind to and activate platelets. This paper will review the various mechanisms oral bacteria use to interact with platelets

Biological foundation for periodontitis as a potential risk factor for atherosclerosis

Links between periodontal diseases and systemic diseases have been well documented by epidemiological studies. Recently, research has shifted to elucidating the biologic mechanism for a causal relationship. One focus of interest is atherosclerosis, the underlying event of cardiovascular diseases due to its serious health impact. However, it is still not clear whether periodontopathic pathogens are truly etiologic agents or ubiquitous bystanders. This article reviews the current understanding about the molecular biological interactions between periodontal disease and atherosclerosis and the biological plausibility of periodontitis as a potential risk factor for cardiovascular disease. Materials and methods:  The current literature regarding periodontal diseases and atherosclerosis and coronary vascular disease was searched using the Medline and PubMed databases. Results:  In vitro experiments and animal models are appropriate tools to investigate the biological interactions between periodontal disease and atherosclerosis at the cell molecular level. The concepts linking both pathologies refer to inflammatory response, immune responses, and hemostasis. In particular, Porphyromonas gingivalis appears to have unique, versatile pathogenic properties. Whether or not these findings from isolated cells or animal models are applicable in humans with genetic and environmental variations is yet to be determined. Likewise, the benefit from periodontal therapy on the development of atherosclerosis is unclear. Approaches targeting inflammatory and immune responses of periodontitis and atherosclerosis simultaneously are very intriguing. Conclusion:  An emerging concept suggests that a pathogenic burden from different sources might overcome an individual threshold culminating in clinical sequela. P. gingivalis contributes directly and indirectly to atherosclerosis.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66109/1/j.1600-0765.2004.00771.x.pd