the reliable operation of spillways, in emergency as well as normal conditions, is one of the vital components in dam safety. free or uncontrolled overflow spillways are the most reliable choice however. they usually impose higher construction cost and /or results in wasting a considerable amount of water or live capacity of the reservoirs. employing fuse gates might be a way of reconciling dam...

FUNCTION Mass/energy flow and balance GENERAL FUNCTION Flow and storage of heat, etc. PHYSICAL FUNCTION States of components what? what? what? what? what?

Educating students in the range of subjects encompassing food safety and security as approached from a One Health perspective requires consideration of a variety of different disciplines and the interrelationships among disciplines. The Western Institute for Food Safety and Security developed a subject matter outline to accompany a previously published One Health in food safety and security cur...

We propose CONTRAST, a formal framework for comparing normative multiagent system (nMAS) specifications by computing tradeoffs among liveness (something good happens) and safety (nothing bad happens). Safety-focused specifications restrict agents’ actions to avoid undesired executions. However, such restrictions hinder liveness, particularly in situations such as medical emergencies. Moreover, ...

The principal premise of this paper is that as a field, we do not currently have a suitable conceptual framework for reasoning about inherent parallelism. We have techniques called dependence analysis for determining the safety of parallelization, but these techniques do not provide a basis for abstraction and so do not scale well to entire applications that are large, complex and developed fro...

Researchers have a long history in the conduct of evaluations of road safety countermeasures. However, despite the strengths of some evaluative road safety evaluations that align with previous and current thinking on program evaluation, few published road safety evaluations have followed standard conceptualization and methodology outlined in numerous program evaluation textbooks, journal articl...

Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has become a challenging problem due to its inherent complexity and introduction of new technologies. In this paper, formal analysis of safety properties of moving block interlocking is presented preventing collision and derailing of trains at th...

Fitness for work assessment is inherent to occupational medicine practice, whether at the pre-employment stage, or when a person is an established employee. Many occupational health practitioners are involved in the assessment of fitness of workers to undertake safety critical work, for example, driving a heavy goods vehicle or a train or working in health care. But, how do we define safety cri...