Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,694
6. ENGINEERED SAFETY FEATURES
, 1978
"... Engineered safety features are provided to mitigate the consequence of postulated accidents in spite of the fact that these very accidents unlikely. are This chapter of the SAR should present information on the engineered safety features provided in the plant in sufficient detail to permit an adequa ..."
Abstract
- Add to MetaCart
Engineered safety features are provided to mitigate the consequence of postulated accidents in spite of the fact that these very accidents unlikely. are This chapter of the SAR should present information on the engineered safety features provided in the plant in sufficient detail to permit
ESF Engineered Safety Feature
"... Mitsubishi digital safety Instrumentation and Control (I&C) system has been developed and approved in Japan. The digital I&C system has been applied to many safety and non-safety system applications including full digital I&C system for new plants and digital upgrading for operating plan ..."
Abstract
- Add to MetaCart
plants in Japanese Pressurizer Water Reactor (PWR) plants. The digital I&C system ensures defense-in-depth and diversity for plant safety and control, and this feature also provides countermeasures against software common cause failures.
SAFETY FEATURES FOR TWO WHEELERS
"... Rapid growth in the use of motorized two wheeled vehicles in many countries has been accompanied by increases in injuries and fatalities. Motorcyclists comprise a third of all road traffic deaths in the South-East Asia and Western Pacific Regions. Head and neck injuries are the main cause of severe ..."
Abstract
- Add to MetaCart
injury, disability and death of motorcycle users. The paper aims to study rider behavior and driving habits, mainly towards the use of safety gear, it also suggests a possible solution to the identified problems by means of new concepts and design modification in the vehicle. The suggested feature would
Featherweight Java: A Minimal Core Calculus for Java and GJ
- ACM Transactions on Programming Languages and Systems
, 1999
"... Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type safety. We carry this process a step further, omitting almost all features of the fu ..."
Abstract
-
Cited by 659 (23 self)
- Add to MetaCart
Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type safety. We carry this process a step further, omitting almost all features
UPPAAL in a Nutshell
, 1997
"... . This paper presents the overall structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, ..."
Abstract
-
Cited by 662 (51 self)
- Add to MetaCart
. This paper presents the overall structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior
CIL: Intermediate language and tools for analysis and transformation of C programs
- In International Conference on Compiler Construction
, 2002
"... Abstract. This paper describes the CIntermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. Compared to C, CIL has fewer constructs. It breaks down certain complicated constructs of C into simpler ones, ..."
Abstract
-
Cited by 533 (11 self)
- Add to MetaCart
form that resembles the original source. Moreover, it comes with a front-end that translates to CIL not only ANSI C programs but also those using Microsoft C or GNU C extensions. We describe the structure of CIL with a focus on how it disambiguates those features of C that we found to be most confusing
THE EFFECTIVENESS OF PRIMARY SAFETY FEATURES IN PASSENGER CARS IN GERMANY
"... Based on a large sample of about 690’000 passen-ger car accidents in Germany for the years 1998-2002 this study investigated in full detail the effec-tiveness of primary safety features in real world accident behaviour in Germany. In a first part of the paper, a statistically sound methodology for s ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
Based on a large sample of about 690’000 passen-ger car accidents in Germany for the years 1998-2002 this study investigated in full detail the effec-tiveness of primary safety features in real world accident behaviour in Germany. In a first part of the paper, a statistically sound methodology
ENGINEERED SAFETY FEATURE (ESF) RESPONSE TIME LEAKAGE
"... The ESF RESPONSE TIME shall be that time interval from when the monitored parameter exceeds its ESF actuation setpoint at the channel sensor until the ESF equipment is capable of performing its safety function (i.e., the valves travel to their required positions, pump discharge pressures reach their ..."
Abstract
- Add to MetaCart
The ESF RESPONSE TIME shall be that time interval from when the monitored parameter exceeds its ESF actuation setpoint at the channel sensor until the ESF equipment is capable of performing its safety function (i.e., the valves travel to their required positions, pump discharge pressures reach
Results 1 - 10
of
3,694
