arch dams are generally built in cantilvever monoliths. vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. in this paper, some nonlinear joint element constitutive models are presented to exami...

The purpose of this work is to integrate verification techniques in real industrial development processes – from informal textual specification and analysis of requirements to a verified implementation. Therefore, we present methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable implementation. We show which development steps are...

The toy train is a lot of fun for children and it decorates our Christmas tree at home. However, as many users complain, toy trains may be derailed and damaged by running too fast at the bend or hitting an obstacle on track, which creates inconvenience and even money loss for toy train users [1]. Therefore, we want to design a safety control system able to detect the bend and the hazard obstacl...

The high molecular weight form of the plasminogen activator urokinase (54kD) binds to specific receptor sites on the cell membrane of breast carcinomas by its inactive 'A' chain. The binding is of high affinity (range of dissociation constants: 5.6 x 10-II to 4 x 10 -10 mol and there were between 20 to 250fmol of binding sites per milligram of membrane protein) and equilibrium is reached in 60m...

Fault tree analysis (FTA) is one of the most frequently applied safety analysis techniques when developing safety-critical industrial systems such as software-based emergency shutdown systems of nuclear power plants and has been used for safety analysis of software requirements in the nuclear industry. However, the conventional method for safety analysis of software requirements has several pro...

International Civil Aviation Organization and other international aviation organizations regulate the safety in civil aviation. In the recent years the International Civil Aviation Organization has introduced the concept of the safety management system through several documents among which the most important is the 2006 Safety Management Manual. It treats the safety management system in all the...

one of the ways to ensure food safety is to educate the public. of the organizations providing food safety education in the united states (u.s.), the cooperative extension system (ces) is one of the most reliable. the effectiveness ces programs depends not only on what is being taught but also on how it is taught. both a needs-based curriculum and how that curriculum is delivered are equally im...

INTRODUCTION Intelligent vehicles become to gather more and more interest and are drastically progressing (Bishop, 2005). Until recent days, respective system functions have been developed such as LDW(Lane Departure Warning), ACC(Adaptive Cruise Control), CW/CA(Collision Warning/Collision Avoidance), IPAS(Intelligent Parking Assist) and BSD(Blind Spot Detection). Each system employed their own ...