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

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

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

Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes

Formal capture and analysis of the required behavior of control systems have many advantages. For instance, it encourages rigorous requirements analysis, the required behavior is unambiguously defined, and we can assure that various safety properties are satisfied. Formal modeling is, however, a costly and time consuming process and if one could reuse the formal models over a family of products, significant cost savings would be realized. In an ongoing project we are investigating how to structure state-based models to achieve a high level of reusability within product families. In this paper we discuss a high-level structure of requirements models that achieves reusability of the desired control behavior across varying hardware platforms in a product family. The structuring approach is demonstrated through a case study in the mobile robotics domain where the desired robot behavior is reused on two diverse platforms-one commercial mobile platform and one build in-house. We use our language RSML (-e) to capture the control behavior for reuse and our tool NIMBUS to demonstrate how the formal specification can be validated and used as a prototype on the two platforms

Improving model-based test generation by model decomposition

One of the well-known techniques for model-based test generation exploits the capability of model checkers to return counterexamples upon property violations. However, this approach is not always optimal in practice due to the required time and memory, or even not feasible due to the state explosion problem of model checking. A way to mitigate these limitations consists in decomposing a system model into suitable subsystem models separately analyzable. In this paper, we show a technique to decompose a system model into subsystems by exploiting the model variables dependency, and then we propose a test generation approach which builds tests for the single subsystems and combines them later in order to obtain tests for the system as a whole. Such approach mitigates the exponential increase of the test generation time and memory consumption, and, compared with the same model-based test generation technique applied to the whole system, shows to be more efficient. We prove that, although not complete, the approach is sound