We present a new sum-of-product-based asynchronous architecture, called the N-SHOT architecture, that operates correctly under internal hazardous responses and guarantees hazard-freeness at the observable noninput signals. We formally prove that within this architecture, a very wide class of semimodular state graphs with input choices (either distributive or nondistributive) that satisfy the co...

This paper describes the development of a team of small autonomous robots that are designed to clear a field of unexploded submunitions. The ultimate application goals are to remove the explosive ordnance disposal (EOD) technician from hazards associated with submunitions; to perform the mission efficiently, reliably, and inexpensively; and to record pertinent mission information, such as area ...

This review includes an overview of the most important preventive measures along the farm to fork chain to prevent microbial contamination of leafy greens. It also includes the technological and managerial interventions related to primary production, postharvest handling, processing practices, distribution, and consumer handling to eliminate pathogens in leafy greens. When the microbiological r...

In the food production, operating environment, personnel, equipment and many other factors may introduce microbiological hazards into food, which makes consumers face health and safety risk. Effective implementation of risk management is essential to ensure food safety. In order to search, assess, prevent and control of varieties of risk factors, modular process risk modeling method is improved...

An analytical design procedure to determine optimal noise hazard control strategies for industrial facilities is presented. Its objective is to determine a set of appropriate noise controls to eliminate or reduce noise levels so that workers' daily noise exposure does not exceed a permissible level. From a given noise control budget, engineering controls will be firstly implemented, followed by...