Economy and safety are two important components in structural design process and stablishing a balance between them indeed results in improved structural performance specially in large-scale structures including space lattice domes. Topology optimization of geometrically nonlinear single-layer lamella, network, and geodesic lattice domes is implemented using enhanced colliding-bodies optimizati...

Step-indexed semantic models of types were proposed as an alternative to the purely syntactic proofs of type safety using subject-reduction. This thesis introduces a step-indexed model for the functional object calculus, and uses it to prove the soundness of an expressive type system with object types, subtyping, recursive and bounded quantified types.

This paper evaluates the traffic safety of freeway interchange merging areas based on the traffic conflict technique. The hourly composite risk indexes (HCRI) was defined. By the use of unmanned aerial vehicle (UAV) photography and video processing techniques, the conflict type and severity was judged. Time to collision (TTC) was determined with the traffic conflict evaluation index. Then, the ...

background: workplace safety has been a concern of workers and managers for decades. measuring safety climate is crucial in improving safety performance. it is also a method of benchmarking safety perception. objective: to develop and validate a psychometrics scale for measuring nurses' safety climate. methods: literature review, subject matter experts and nurse's judgment were used in items de...

Smith and Weissman introduced a M4 class of processes which are very flexible models for temporally dependent multivariate extreme value processes. However all variables in these M4 models are asymptotically dependent and what this paper does is to extend this M4 class in a number of ways to produce classes of models which are also asymptotically independent. We shall study properties of the pr...

In this research, called the “the maintenance index,” was proposed to evaluate the reliability of nuclear power plant safety systems by taking into account periodic maintenance of the systems. The change in reliability as a result of changing activity is estimated by this index. The Maintenance Index offers a more comprehensive evaluation of nuclear power plant safety. * Corresponding author, E...

Objectives: Behavioral-based safety is a term used to describe the prevention of accidents, injuries and loss in the workplace. An effective behavior-based safety program relies on engaging employees to understand how unsafe behaviors lead to injuries and how to eliminate them from the workplace. This paper examines behavior-based safety program in a massive construction site. Methods: For t...

The study established a BP neural network prediction model to test the effect of the application to predict the food safety Index. The GA was used to optimize the weights and thresholds of BP neural network. The theoretical analysis and experimental results prove that the BP neural network prediction is feasible for the food safety Index. The index prediction has some value in the field of food...