In order to solve the problems of difficulty in cleaning inner wall hammer-shaped component RIC system nuclear power plant and low surface accuracy after cleaning, a profiling was designed. First, working principle is introduced ensure that meets installation requirements. Secondly, normal operation airbag, mechanical model between air supply volume pump force on conical derived. Finally, accur...

Nowadays, there is a lot of technology that must not fail at any circumstances. A car airbag is a simple reactive system that must work every time the car crashes. In order to model problems like this, there are some model-checking applications that can help us do the job. In this paper a well known case study will be modeled and verified in Uppaal and some variants of the problem will be docum...

The development of new technology enables the comfort service becoming an important requirement in the air travel industry. Long haul air travel may cause different physiological and psychological discomfort of aircraft passenger. Most of the aircraft company treats the passenger comfort as a main priority for the user’s acceptance of their airline. In order to improve the aircraft passenger bo...

Vision systems within vehicles offer new opportunities in the automobile industry. The detection and classification of passenger and driver seat occupancy open up new ways to improve the safety and comfort of the passengers. In this paper we present results of a stereo system designed for the observation of the cockpit scene in order to provide information about the passenger presence and locat...

AbstmctA red-time stereo-based head detection algorithm i s presented and evaluated as an occupant posture analysis system for ”smart” airbag deployment. The algorithm uses several constraints to limit the number of head ellipse ”candidates” found in the image. These constraints are based on shape, size and depth of the occupant’s head. Results of ground truth experiments show $at the bead dete...

Knowledge of human presence and interaction in a vehicle is of growing interest to vehicle manufacturers for design and safety purposes. We present a framework to perform the tasks of occupant detection and occupant classification for automatic child locks and airbag suppression. It operates for all passenger seats, using a single overhead camera. A transfer learning technique is introduced to ...

Over the last five years, the use of avalanche airbags has increased dramatically, both among professional guides and amateur recreationists. While there were only a couple different airbag types on the market ten years ago, backcountry enthusiasts can now choose from a wide range of models produced by at least four different manufacturers. In additional, a few new manufacturers are pushing int...

Freedom from Interference for automotive software systems developed according to the ISO 26262 standard means that a fault in a less safety critical software component will not lead to a fault in a more safety critical component. It is an important concern in the realm of functional safety for automotive systems. We present an automated method for the analysis of concurrency-related interferenc...