We apply speciication and veriication techniques based on the timed I/O automaton model of Lynch and Vaandrager to a case study in the area of automated transit. The case study models and veriies selected safety properties for automated Personal Rapid Transit (PRT) systems such as PRT 2000 TM , a system currently being developed at Raytheon. Due to their safety critical nature, PRT 2000 TM and ...

background: inadequate use of these techniques probably increases the risks of radiography. this study has been accomplished in 2016 to determine medical students and residents of birjand university of medical science awareness levels of principles of protection in radiologic imaging. methods: in this descriptive research, all medical students, including externs, interns, radiology residents an...

Measurements of the radiance distribution and fluence rate within turbid samples with fiber-optic radiance microprobes contain a large variable instrumental error caused by the nonuniform directional sensitivity of the microprobes. A general theory of three-dimensional radiance measurements is presented that provides correction for this error by using the independently obtained function of the ...

Radiosity methods have been using several techniques in order to determine a subdivision of the environment that accurately captures the variations of the radiance field. Most of these techniques use object space approaches to predict the areas of high variation of the radiance. Such methods can be prohibitively expensive to be applied in scenes containing a large number of small ’detail’ objec...

We present a new approach for accelerated global illumination computation in scenes with glossy surfaces. Our algorithm combines sparse illumination computation used in the radiance caching algorithm with BRDF importance sampling. To make this approach feasible, we extend the idea of lazy illumination evaluation, used in the caching approaches, from the spatial to the directional domain. Using ...

The difficulties and instabilities accompanying the inversion of radiance data to infer temperature structure are closely related to the high degree of interdependence existing among these nominally independent measurements. The radiance measurements discussed in the accompanying papers are shown to be interdependent to a marked degree. It is shown that one of the measurements can be predicted ...

The vuv line emission of a high-current DC hollow cathode was investigated in the wavelength region 10 nm to 100 nm. Spectra of quadruply ionised atoms could be observed. The radiance in the AI IV lines at 13 nm and 16 nm and in the He I1 Lyman-series was determined by a comparison with the spectral concentration of radiant intensity of the synchrotron radiation emitted by the electron storage ...