We describe a methodology that approximates the safety condition in the integration of ontologies. Intuitively, the safety condition ensures that, after the reuse, the external ontology remains intact. It was recently proved that it is a problem of high complexity to examine whether this condition holds. In order to approximate the problem, we suggest a method by which the ontology designer tha...

We point out de ciencies of previous treatments of liveness We de ne a new liveness condition in two forms one based on nite trace theory and the other on automata We prove the equivalence of these two de nitions We also intro duce a safety condition and provide modular and hierarchical veri cation theorems for both safety and liveness Finally we present a veri cation algorithm for liveness Ind...

Background and Objectives: The necessity of assessing safety in hospitals lies with the fact that although accidents are rare, they impose considerable financial loads on hospital. Along with examining the risks, the managers of hospitals need to improve their capabilities and standards and reduce the hazards caused by accidents. The present study is aimed at assessing fu...

nowadays, in addition to implement the quality of management systems and environment management and due to the effects of safety and health issues on working processes, the organizations have also sought to acquire health and safety management systems. this descriptive–analytic and past reviewing study has been implemented based on five years (from 2006 to 2010) recorded documents and statistic...

background: today, the growth of major industries depends on their appropriate interaction with small and medium enterprises (smes). in iran, smes have 49 or fewer employees. the present study was an attempt to present an overall view of the condition of professional health and safety in such industries in order to gain information regarding activities related to occupational health and safety....

Accurate real-time crash risk evaluation is essential for making prevention strategy in order to proactively improve traffic safety. Quite a number of models have been developed to evaluate traffic crash risk, by using real-time surveillance data. In this paper, the basic idea of traffic safety region is introduced into highway crash risk evaluation. Traffic safety region aims to describe the s...