Development of infrared goggles and prototype

NASA Astrophysics Data System (ADS)

Tsuchimoto, Kouzou; Komatsubara, Shigeyuki; Fujikawa, Masaru; Otsuka, Toshiaki; Kan, Moriyasu; Matsumura, Norihide

2006-05-01

We aimed at developing a hands free type practical wearable thermography which will not hinder walking or working of the person wearing the equipment. We installed a small format camera core module, which was recently developed, into the fire fighter's helmet and incorporated image transmission function over radio to the equipment. We combined this thermography with a see-through type head mount display, and called it "Infrared Goggles". A prototype was developed for verification test of lifesaving support system in fire fighting activities.

Firing Room Remote Application Software Development

NASA Technical Reports Server (NTRS)

Liu, Kan

2014-01-01

The Engineering and Technology Directorate (NE) at National Aeronautics and Space Administration (NASA) Kennedy Space Center (KSC) is designing a new command and control system for the checkout and launch of Space Launch System (SLS) and future rockets. The purposes of the semester long internship as a remote application software developer include the design, development, integration, and verification of the software and hardware in the firing rooms, in particular with the Mobile Launcher (ML) Launch Accessories subsystem. In addition, a Conversion Fusion project was created to show specific approved checkout and launch engineering data for public-friendly display purposes.

Field procedures for verification and adjustment of fire behavior predictions

Treesearch

Richard C. Rothermel; George C. Rinehart

1983-01-01

The problem of verifying predictions of fire behavior, primarily rate of spread, is discussed in terms of the fire situation for which predictions are made, and the type of fire where data are to be collected. Procedures for collecting data and performing analysis are presented for both readily accessible fires where data should be complete, and for inaccessible fires...

A Scala DSL for RETE-Based Runtime Verification

NASA Technical Reports Server (NTRS)

Havelund, Klaus

2013-01-01

Runtime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.

International Space Station Temperature and Humidity Control Subsystem Verification for Node 1

NASA Technical Reports Server (NTRS)

Williams, David E.

2007-01-01

The International Space Station (ISS) Node 1 Environmental Control and Life Support (ECLS) System is comprised of five subsystems: Atmosphere Control and Supply (ACS), Atmosphere Revitalization (AR), Fire Detection and Suppression (FDS), Temperature and Humidity Control (THC), and Water Recovery and Management (WRM). This paper provides a summary of the nominal operation of the Node 1 THC subsystem design. The paper will also provide a discussion of the detailed Element Verification methodologies for nominal operation of the Node 1 THC subsystem operations utilized during the Qualification phase.

Integrating remotely sensed fires for predicting deforestation for REDD.

PubMed

Armenteras, Dolors; Gibbes, Cerian; Anaya, Jesús A; Dávalos, Liliana M

2017-06-01

Fire is an important tool in tropical forest management, as it alters forest composition, structure, and the carbon budget. The United Nations program on Reducing Emissions from Deforestation and Forest Degradation (REDD+) aims to sustainably manage forests, as well as to conserve and enhance their carbon stocks. Despite the crucial role of fire management, decision-making on REDD+ interventions fails to systematically include fires. Here, we address this critical knowledge gap in two ways. First, we review REDD+ projects and programs to assess the inclusion of fires in monitoring, reporting, and verification (MRV) systems. Second, we model the relationship between fire and forest for a pilot site in Colombia using near-real-time (NRT) fire monitoring data derived from the Moderate Resolution Imaging Spectroradiometer (MODIS). The literature review revealed fire remains to be incorporated as a key component of MRV systems. Spatially explicit modeling of land use change showed the probability of deforestation declined sharply with increasing distance to the nearest fire the preceding year (multi-year model area under the curve [AUC] 0.82). Deforestation predictions based on the model performed better than the official REDD early-warning system. The model AUC for 2013 and 2014 was 0.81, compared to 0.52 for the early-warning system in 2013 and 0.68 in 2014. This demonstrates NRT fire monitoring is a powerful tool to predict sites of forest deforestation. Applying new, publicly available, and open-access NRT fire data should be an essential element of early-warning systems to detect and prevent deforestation. Our results provide tools for improving both the current MRV systems, and the deforestation early-warning system in Colombia. © 2017 by the Ecological Society of America.

46 CFR 126.430 - Scope.

Code of Federal Regulations, 2010 CFR

2010-10-01

.... (j) Fire-detecting and fire-extinguishing equipment. (k) Pollution-prevention equipment. (l) Sanitary condition. (m) Fire hazards. (n) Verification of validity of certificates required and issued by the Federal Communications Commission. (o) Lights and signals as required by the applicable navigational rules. (p) Tests and...

In-Space Engine (ISE-100) Development - Design Verification Test

NASA Technical Reports Server (NTRS)

Trinh, Huu P.; Popp, Chris; Bullard, Brad

2017-01-01

In the past decade, NASA has formulated science mission concepts with an anticipation of landing spacecraft on the lunar surface, meteoroids, and other planets. Advancing thruster technology for spacecraft propulsion systems has been considered for maximizing science payload. Starting in 2010, development of In-Space Engine (designated as ISE-100) has been carried out. ISE-100 thruster is designed based on heritage Missile Defense Agency (MDA) technology aimed for a lightweight and efficient system in terms volume and packaging. It runs with a hypergolic bi-propellant system: MON-25 (nitrogen tetroxide, N2O4, with 25% of nitric oxide, NO) and MMH (monomethylhydrazine, CH6N2) for NASA spacecraft applications. The utilization of this propellant system will provide a propulsion system capable of operating at wide range of temperatures, from 50 C (122 F) down to -30 C (-22 F) to drastically reduce heater power. The thruster is designed to deliver 100 lb(sub f) of thrust with the capability of a pulse mode operation for a wide range of mission duty cycles (MDCs). Two thrusters were fabricated. As part of the engine development, this test campaign is dedicated for the design verification of the thruster. This presentation will report the efforts of the design verification hot-fire test program of the ISE-100 thruster in collaboration between NASA Marshall Space Flight Center (MSFC) and Aerojet Rocketdyne (AR) test teams. The hot-fire tests were conducted at Advance Mobile Propulsion Test (AMPT) facility in Durango, Colorado, from May 13 to June 10, 2016. This presentation will also provide a summary of key points from the test results.

Demonstration of Spacecraft Fire Safety Technology

NASA Technical Reports Server (NTRS)

Ruff, Gary A.; Urban, David L.

2012-01-01

During the Constellation Program, the development of spacecraft fire safety technologies were focused on the immediate questions related to the atmosphere of the habitable volume and implementation of fire detection, suppression, and postfire clean-up systems into the vehicle architectures. One of the difficulties encountered during the trade studies for these systems was the frequent lack of data regarding the performance of a technology, such as a water mist fire suppression system or an optically-based combustion product monitor. Even though a spacecraft fire safety technology development project was being funded, there was insufficient time and funding to address all the issues as they were identified. At the conclusion of the Constellation Program, these knowledge gaps formed the basis for a project proposed to the Advanced Exploration Systems (AES) Program. This project, subsequently funded by the AES Program and in operation since October 2011, has as its cornerstone the development of an experiment to be conducted on an ISS resupply vehicle, such as the European Space Agency (ESA) Automated Transfer Vehicle (ATV) or Orbital Science s Cygnus vehicle after it leaves the ISS and before it enters the atmosphere. The technology development efforts being conducted in this project include continued quantification of low- and partial-gravity maximum oxygen concentrations of spacecraft-relevant materials, development and verification of sensors for fire detection and post-fire monitoring, development of standards for sizing and selecting spacecraft fire suppression systems, and demonstration of post-fire cleanup strategies. The major technology development efforts are identified in this paper but its primary purpose is to describe the spacecraft fire safety demonstration being planned for the reentry vehicle.

Assessing the value of increased model resolution in forecasting fire danger

Treesearch

Jeanne Hoadley; Miriam Rorig; Ken Westrick; Larry Bradshaw; Sue Ferguson; Scott Goodrick; Paul Werth

2003-01-01

The fire season of 2000 was used as a case study to assess the value of increasing mesoscale model resolution for fire weather and fire danger forecasting. With a domain centered on Western Montana and Northern Idaho, MM5 simulations were run at 36, 12, and 4-km resolutions for a 30 day period at the height of the fire season. Verification analyses for meteorological...

Verification of the WFAS Lightning Efficiency Map

Treesearch

Paul Sopko; Don Latham; Isaac Grenfell

2007-01-01

A Lightning Ignition Efficiency map was added to the suite of daily maps offered by the Wildland Fire Assessment System (WFAS) in 1999. This map computes a lightning probability of ignition (POI) based on the estimated fuel type, fuel depth, and 100-hour fuel moisture interpolated from the Remote Automated Weather Station (RAWS) network. An attempt to verify the...

Average stand age from forest inventory plots does not describe historical fire regimes in ponderosa pine and mixed-conifer forests of western North America

Treesearch

Jens T. Stevens; Hugh D. Safford; Malcolm P. North; Jeremy S. Fried; Andrew N. Gray; Peter M. Brown; Christopher R. Dolanc; Solomon Z. Dobrowski; Donald A. Falk; Calvin A. Farris; Jerry F. Franklin; Peter Z. Fulé; R. Keala Hagmann; Eric E. Knapp; Jay D. Miller; Douglas F. Smith; Thomas W. Swetnam; Alan H. Taylor; Julia A. Jones

2016-01-01

Quantifying historical fire regimes provides important information for managing contemporary forests. Historical fire frequency and severity can be estimated using several methods; each method has strengths and weaknesses and presents challenges for interpretation and verification. Recent efforts to quantify the timing of historical high-severity fire events in forests...

Analysis on ventilation pressure of fire area in longitudinal ventilation of underground tunnel

NASA Astrophysics Data System (ADS)

Li, Jiaxin; Li, Yanfeng; Feng, Xiao; Li, Junmei

2018-03-01

In order to solve the problem of ventilation pressure loss in the fire area under the fire condition, the wind pressure loss model of the fire area is established based on the thermodynamic equilibrium relation. The semi-empirical calculation formula is obtained by using the model experiment and CFD simulation. The validity of the formula is verified. The results show that the ventilation pressure loss in the fire zone is proportional to the convective heat release rate at the critical velocity, which is inversely proportional to the upstream ventilation velocity and the tunnel cross-sectional area. The proposed formula is consistent with the law of the tunnel fire test fitting formula that results are close, in contrast, the advantage lies in a clear theoretical basis and ventilation velocity values. The resistance of road tunnel ventilation system is calculated accurately and reliably, and then an effective emergency ventilation operation program is developed. It is necessary to consider the fire zone ventilation pressure loss. The proposed ventilation pressure loss formula can be used for design calculation after thorough verification.

Programs for Testing an SSME-Monitoring System

NASA Technical Reports Server (NTRS)

Lang, Andre; Cecil, Jimmie; Heusinger, Ralph; Freestone, Kathleen; Blue, Lisa; Wilkerson, DeLisa; McMahon, Leigh Anne; Hall, Richard B.; Varnavas, Kosta; Smith, Keary;

ENVIRONMENTAL AND SUSTAINABLE TECHNOLOGY EVALUATION: BIOMASS CO-FIRING IN INDUSTRIAL BOILERS--UNIVERSITY OF IOWA

EPA Science Inventory

The U.S. EPA operates the Environmental and Sustainable Technology Evaluation (ESTE) program to facilitate the deployment of innovative technologies through performance verification and information dissemination. This ESTE project involved evaluation of co-firing common woody bio...

Analysis, Simulation, and Verification of Knowledge-Based, Rule-Based, and Expert Systems

NASA Technical Reports Server (NTRS)

Hinchey, Mike; Rash, James; Erickson, John; Gracanin, Denis; Rouff, Chris

2010-01-01

Mathematically sound techniques are used to view a knowledge-based system (KBS) as a set of processes executing in parallel and being enabled in response to specific rules being fired. The set of processes can be manipulated, examined, analyzed, and used in a simulation. The tool that embodies this technology may warn developers of errors in their rules, but may also highlight rules (or sets of rules) in the system that are underspecified (or overspecified) and need to be corrected for the KBS to operate as intended. The rules embodied in a KBS specify the allowed situations, events, and/or results of the system they describe. In that sense, they provide a very abstract specification of a system. The system is implemented through the combination of the system specification together with an appropriate inference engine, independent of the algorithm used in that inference engine. Viewing the rule base as a major component of the specification, and choosing an appropriate specification notation to represent it, reveals how additional power can be derived from an approach to the knowledge-base system that involves analysis, simulation, and verification. This innovative approach requires no special knowledge of the rules, and allows a general approach where standardized analysis, verification, simulation, and model checking techniques can be applied to the KBS.

ENVIRONMENTAL AND SUSTAINABLE TECHNOLOGY EVALUATION: BIOMASS CO-FIRING IN INDUSTRIAL BOILERS--MINNESOTA POWER'S RAPIDS ENERGY CENTER

EPA Science Inventory

The U.S. EPA operates the Environmental and Sustainable Technology Evaluation (ESTE) program to facilitate the deployment of innovative technologies through performance verification and information dissemination. This ESTE project involved evaluation of co-firing common woody bio...

Capability Portfolio Analysis Tool (CPAT) Verification and Validation Report

DTIC Science & Technology

2013-01-01

BFSB Battlefield Surveillance Brigade BFV Bradley Fighting Vehicle BMOD Bradley Modernization C2 (H) Command and Control (HBCT) C2 (S...Fire Infantry Fighting Vehicle (IFV); Fire Integrated Support Team (FIST); Engineer (Eng); Cavalry (CAV) BFV FOV CDD Block II - 16 Apr 2010 GCV FOV

Forest Fire Danger Rating (FFDR) Prediction over the Korean Peninsula

NASA Astrophysics Data System (ADS)

Song, B.; Won, M.; Jang, K.; Yoon, S.; Lim, J.

2016-12-01

Approximately five hundred forest fires occur and inflict the losses of both life and property each year in Korea during the forest fire seasons in the spring and autumn. Thus, an accurate prediction of forest fire is essential for effective forest fire prevention. The meteorology is one of important factors to predict and understand the fire occurrence as well as its behaviors and spread. In this study, we present the Forest Fire Danger Rating Systems (FFDRS) on the Korean Peninsula based on the Daily Weather Index (DWI) which represents the meteorological characteristics related to forest fire. The thematic maps including temperature, humidity, and wind speed produced from Korea Meteorology Administration (KMA) were applied to the forest fire occurrence probability model by logistic regression to analyze the DWI over the Korean Peninsula. The regional data assimilation and prediction system (RDAPS) and the improved digital forecast model were used to verify the sensitivity of DWI. The result of verification test revealed that the improved digital forecast model dataset showed better agreements with the real-time weather data. The forest fire danger rating index (FFDRI) calculated by the improved digital forecast model dataset showed a good agreement with the real-time weather dataset at the 233 administrative districts (R2=0.854). In addition, FFDRI were compared with observation-based FFDRI at 76 national weather stations. The mean difference was 0.5 at the site-level. The results produced in this study indicate that the improved digital forecast model dataset can be useful to predict the FFDRI in the Korean Peninsula successfully.

77 FR 28401 - Information Collection Activities: Legacy Data Verification Process (LDVP); Submitted for Office...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-05-14

... and natural gas resources in a manner that is consistent with the need to make such resources... to prevent or minimize the likelihood of blowouts, loss of well control, fires, spillages, physical... the environment or to property, or endanger life or health.'' BSEE's Legacy Data Verification Process...

Validation and Verification (V and V) Testing on Midscale Flame Resistant (FR) Test Method

DTIC Science & Technology

2016-12-16

Method for Evaluation of Flame Resistant Clothing for Protection against Fire Simulations Using an Instrumented Manikin. Validation and...complement (not replace) the capabilities of the ASTM F1930 Standard Test Method for Evaluation of Flame Resistant Clothing for Protection against Fire ...Engineering Center (NSRDEC) to complement the ASTM F1930 Standard Test Method for Evaluation of Flame Resistant Clothing for Protection against Fire

Investigation of air cleaning system response to accident conditions

DOE Office of Scientific and Technical Information (OSTI.GOV)

Andrae, R.W.; Bolstad, J.W.; Foster, R.D.

1980-01-01

Air cleaning system response to the stress of accident conditions are being investigated. A program overview and hghlight recent results of our investigation are presented. The program includes both analytical and experimental investigations. Computer codes for predicting effects of tornados, explosions, fires, and material transport are described. The test facilities used to obtain supportive experimental data to define structural integrity and confinement effectiveness of ventilation system components are described. Examples of experimental results for code verification, blower response to tornado transients, and filter response to tornado and explosion transients are reported.

Application of the Haines Index in the fire warning system

NASA Astrophysics Data System (ADS)

Kalin, Lovro; Marija, Mokoric; Tomislav, Kozaric

2016-04-01

Croatia, as all Mediterranean countries, is strongly affected by large wildfires, particularly in the coastal region. In the last two decades the number and intensity of fires has been significantly increased, which is unanimously associated with climate change, e.g. global warming. More extreme fires are observed, and the fire-fighting season has been expanded to June and September. The meteorological support for fire protection and planning is therefore even more important. At the Meteorological and Hydrological Service of Croatia a comprehensive monitoring and warning system has been established. It includes standard components, such as short term forecast of Fire Weather Index (FWI), but long range forecast as well. However, due to more frequent hot and dry seasons, FWI index often does not provide additional information of extremely high fire danger, since it regularly takes the highest values for long periods. Therefore the additional tools have been investigated. One of widely used meteorological products is the Haines index (HI). It provides information of potential fire growth, taking into account only the vertical instability of the atmosphere, and not the state of the fuel. Several analyses and studies carried out at the Service confirmed the correlation of high HI values with large and extreme fires. The Haines index forecast has been used at the Service for several years, employing European Centre for Medium Range Weather Forecast (ECMWF) global prediction model, as well as the limited-area Aladin model. The verification results show that these forecast are reliable, when compared to radiosonde measurements. All these results provided the introduction of the additional fire warnings, that are issued by the Service's Forecast Department.

Color model and method for video fire flame and smoke detection using Fisher linear discriminant

NASA Astrophysics Data System (ADS)

Wei, Yuan; Jie, Li; Jun, Fang; Yongming, Zhang

2013-02-01

Video fire detection is playing an increasingly important role in our life. But recent research is often based on a traditional RGB color model used to analyze the flame, which may be not the optimal color space for fire recognition. It is worse when we research smoke simply using gray images instead of color ones. We clarify the importance of color information for fire detection. We present a fire discriminant color (FDC) model for flame or smoke recognition based on color images. The FDC models aim to unify fire color image representation and fire recognition task into one framework. With the definition of between-class scatter matrices and within-class scatter matrices of Fisher linear discriminant, the proposed models seek to obtain one color-space-transform matrix and a discriminate projection basis vector by maximizing the ratio of these two scatter matrices. First, an iterative basic algorithm is designed to get one-component color space transformed from RGB. Then, a general algorithm is extended to generate three-component color space for further improvement. Moreover, we propose a method for video fire detection based on the models using the kNN classifier. To evaluate the recognition performance, we create a database including flame, smoke, and nonfire images for training and testing. The test experiments show that the proposed model achieves a flame verification rate receiver operating characteristic (ROC I) of 97.5% at a false alarm rate (FAR) of 1.06% and a smoke verification rate (ROC II) of 91.5% at a FAR of 1.2%, and lots of fire video experiments demonstrate that our method reaches a high accuracy for fire recognition.

Fire danger assessment using ECMWF weather prediction system

NASA Astrophysics Data System (ADS)

Di Giuseppe, Francesca; Pappemberger, Florian; Wetterhall, Fredrik

2015-04-01

Weather plays a major role in the birth, growth and death of a wildfire wherever there is availability of combustible vegetation and suitable terrain topography. Prolonged dry periods creates favourable conditions for ignitions, wind can then increase the fire spread, while higher relative humidity, and precipitation (rain or snow) may decrease or extinguish it altogether. The European Forest Fire Information System (EFFIS), started in 2011 under the lead of the European Joint Research Centre (JRC) to monitor and forecast fire danger and fire behaviour in Europe. In 2012 a collaboration with the European Centre for Medium range Weather Forecast (ECMWF) was established to explore the potential of using state of the art weather forecast systems as driving forcing for the calculations of fire risk indices. From this collaboration in 2013 the EC-fire system was born. It implements the three most commonly used fire danger rating systems (NFDRS, FWI and MARK-5) and it is both initialised and forced by gridded atmospheric fields provided either by ECMWF re-analysis or ECMWF ensemble prediction systems. For consistency invariant fields (i.e fuel maps, vegetation cover, topogarphy) and real-time weather information are all provided on the same grid. Similarly global climatological vegetation stage conditions for each day of the year are provided by remote satellite observations. These climatological static maps substitute the traditional man judgement in an effort to create an automated procedure that can work in places where local observations are not available. The system has been in operation for the last year providing an ensemble of daily forecasts for fire indices with lead-times up to 10 days over Europe and Globally. An important part of the system is provided by its (re)-analysis dataset obtained by using the (re)-analysis forcings as drivers to calculate the fire risk indices. This is a crucial part of the whole chain since these fields are used to establish the initial conditions from which the forecast is subsequently run. The reanalysis dataset goes back to year 1980 (the starting year of ERA-Interim integrations) and is updated in quasi real time. In addition of providing the staring point for the operational forecasts it is a very useful dataset for the scope of calibration and verification of the system. Assuming reanalysis fields are good proxies for observations then, by comparison with fire events which really occurred, this dataset can be used to assess the potential predictability of fire risk indices. In this work we will introduce the EC-fire system. Then the reanalysis dataset will be used to identify regions of high fire risk predictability and where the system might be in need of further refinement.

Status on the Verification of Combustion Stability for the J-2X Engine Thrust Chamber Assembly

NASA Technical Reports Server (NTRS)

Casiano, Matthew; Hinerman, Tim; Kenny, R. Jeremy; Hulka, Jim; Barnett, Greg; Dodd, Fred; Martin, Tom

2013-01-01

Development is underway of the J -2X engine, a liquid oxygen/liquid hydrogen rocket engine for use on the Space Launch System. The Engine E10001 began hot fire testing in June 2011 and testing will continue with subsequent engines. The J -2X engine main combustion chamber contains both acoustic cavities and baffles. These stability aids are intended to dampen the acoustics in the main combustion chamber. Verification of the engine thrust chamber stability is determined primarily by examining experimental data using a dynamic stability rating technique; however, additional requirements were included to guard against any spontaneous instability or rough combustion. Startup and shutdown chug oscillations are also characterized for this engine. This paper details the stability requirements and verification including low and high frequency dynamics, a discussion on sensor selection and sensor port dynamics, and the process developed to assess combustion stability. A status on the stability results is also provided and discussed.

Fuel and fire behavior prediction in big sagebrush

Treesearch

James K. Brown

1982-01-01

Relationships between height of big sagebrush and crown area, fuel loading, bulk density, size distribution of foliage and stemwood, and fraction dead stemwood are presented. Based upon these relationships, modeled rate-of-fire spread and fireline intensity are shown for sagebrush ranging in height from 20 to 120 em and in coverage from 10 to 40 percent. Verification...

AJ26 rocket engine test

NASA Image and Video Library

2010-11-10

Fire and steam signal a successful test firing of Orbital Sciences Corporation's Aerojet AJ26 rocket engine at John C. Stennis Space Center. AJ26 engines will be used to power Orbital's Taurus II space vehicle on commercial cargo flights to the International Space Station. On Nov. 10, operators at Stennis' E-1 Test Stand conducted a 10-second test fire of the engine, the first of a series of three verification tests. Orbital has partnered with NASA to provide eight missions to the ISS by 2015.

Fire safety experiments on MIR Orbital Station

NASA Technical Reports Server (NTRS)

Egorov, S. D.; Belayev, A. YU.; Klimin, L. P.; Voiteshonok, V. S.; Ivanov, A. V.; Semenov, A. V.; Zaitsev, E. N.; Balashov, E. V.; Andreeva, T. V.

1995-01-01

The process of heterogeneous combustion of most materials under zero-g without forced motion of air is practically impossible. However, ventilation is required to support astronauts' life and cool equipment. The presence of ventilation flows in station compartments at accidental ignition can cause a fire. An additional, but exceedingly important parameter of the fire risk of solid materials under zero-g is the minimum air gas velocity at which the extinction of materials occurs. Therefore, the conception of fire safety can be based on temporarily lowering the intensity of ventilation and even turning it off. The information on the limiting conditions of combustion under natural conditions is needed from both scientific and practical points of view. It will enable us to judge the reliability of results of ground-based investigations and develop a conception of fire safety of inhabited sealed compartments of space stations to by provided be means of nontraditional and highly-effective methods without both employing large quantities of fire-extinguishing compounds and hard restrictions on use of polymers. In this connection, an experimental installation was created to study the process of heterogeneous combustion of solid non-metals and to determine the conditions of its extinction under microgravity. This installation was delivered to the orbital station 'Mir' and the cosmonauts Viktorenko and Kondakova performed initial experiments on it in late 1994. The experimental installation consists of a combustion chamber with an electrical systems for ignition of samples, a device for cleaning air from combustion products, an air suction unit, air pipes and a control panel. The whole experiment is controlled by telemetry and recorded with two video cameras located at two different places. Besides the picture, parameters are recorded to determine the velocity of the air flow incoming to the samples, the time points of switching on/off the devices, etc. The combustion chamber temperature is also controlled. The main objectives of experiments of this series were as follows: (1) verification of the reliability of the installation in orbital flight; (2) verification of the experimental procedure; and (3) investigation of combustion of two types of materials under microgravity at various velocities of the incoming air flow.

The Search for Nonflammable Solvent Alternatives for Cleaning Aerospace Oxygen Systems

NASA Technical Reports Server (NTRS)

Mitchell, Mark; Lowrey, Nikki

2012-01-01

Oxygen systems are susceptible to fires caused by particle and nonvolatile residue (NVR) contaminants, therefore cleaning and verification is essential for system safety. . Cleaning solvents used on oxygen system components must be either nonflammable in pure oxygen or complete removal must be assured for system safety. . CFC -113 was the solvent of choice before 1996 because it was effective, least toxic, compatible with most materials of construction, and non ]reactive with oxygen. When CFC -113 was phased out in 1996, HCFC -225 was selected as an interim replacement for cleaning propulsion oxygen systems at NASA. HCFC-225 production phase-out date is 01/01/2015. HCFC ]225 (AK ]225G) is used extensively at Marshall Space Flight Center and Stennis Space Center for cleaning and NVR verification on large propulsion oxygen systems, and propulsion test stands and ground support equipment. . Many components are too large for ultrasonic agitation - necessary for effective aqueous cleaning and NVR sampling. . Test stand equipment must be cleaned prior to installation of test hardware. Many items must be cleaned by wipe or flush in situ where complete removal of a flammable solvent cannot be assured. The search for a replacement solvent for these applications is ongoing.

Canadian Operational Air Quality Forecasting Systems: Status, Recent Progress, and Challenges

NASA Astrophysics Data System (ADS)

Pavlovic, Radenko; Davignon, Didier; Ménard, Sylvain; Munoz-Alpizar, Rodrigo; Landry, Hugo; Beaulieu, Paul-André; Gilbert, Samuel; Moran, Michael; Chen, Jack

2017-04-01

ECCC's Canadian Meteorological Centre Operations (CMCO) division runs a number of operational air quality (AQ)-related systems that revolve around the Regional Air Quality Deterministic Prediction System (RAQDPS). The RAQDPS generates 48-hour AQ forecasts and outputs hourly concentration fields of O3, PM2.5, NO2, and other pollutants twice daily on a North-American domain with 10-km horizontal grid spacing and 80 vertical levels. A closely related AQ forecast system with near-real-time wildfire emissions, known as FireWork, has been run by CMCO during the Canadian wildfire season (April to October) since 2014. This system became operational in June 2016. The CMCO`s operational AQ forecast systems also benefit from several support systems, such as a statistical post-processing model called UMOS-AQ that is applied to enhance forecast reliability at point locations with AQ monitors. The Regional Deterministic Air Quality Analysis (RDAQA) system has also been connected to the RAQDPS since February 2013, and hourly surface objective analyses are now available for O3, PM2.5, NO2, PM10, SO2 and, indirectly, the Canadian Air Quality Health Index. As of June 2015, another version of the RDAQA has been connected to FireWork (RDAQA-FW). For verification purposes, CMCO developed a third support system called Verification for Air QUality Models (VAQUM), which has a geospatial relational database core and which enables continuous monitoring of the AQ forecast systems' performance. Urban environments are particularly subject to AQ pollution. In order to improve the services offered, ECCC has recently been investing efforts to develop a high resolution air quality prediction capability for urban areas in Canada. In this presentation, a comprehensive description of the ECCC AQ systems will be provided, along with a discussion on AQ systems performance. Recent improvements, current challenges, and future directions of the Canadian operational AQ program will also be discussed.

Preclinical Evaluation of Robotic-Assisted Sentinel Lymph Node Fluorescence Imaging

PubMed Central

Liss, Michael A.; Farshchi-Heydari, Salman; Qin, Zhengtao; Hickey, Sean A.; Hall, David J.; Kane, Christopher J.; Vera, David R.

2015-01-01

An ideal substance to provide convenient and accurate targeting for sentinel lymph node (SLN) mapping during robotic-assisted surgery has yet to be found. We used an animal model to determine the ability of the FireFly camera system to detect fluorescent SLNs after administration of a dual-labeled molecular imaging agent. Methods We injected the footpads of New Zealand White rabbits with 1.7 or 8.4 nmol of tilmanocept labeled with 99mTc and a near-infrared fluorophore, IRDye800CW. One and 36 h after injection, popliteal lymph nodes, representing the SLNs, were dissected with the assistance of the FireFly camera system, a fluorescence-capable endoscopic imaging system. After excision of the paraaortic lymph nodes, which represented non-SLNs, we assayed all lymph nodes for radioactivity and fluorescence intensity. Results Fluorescence within all popliteal lymph nodes was easily detected by the FireFly camera system. Fluorescence within the lymph channel could be imaged during the 1-h studies. When compared with the paraaortic lymph nodes, the popliteal lymph nodes retain greater than 95% of the radioactivity at both 1 and 36 h after injection. At both doses (1.7 and 8.4 nmol), the popliteal nodes had higher (P < 0.050) optical fluorescence intensity than the paraaortic nodes at the 1- and 36-h time points. Conclusion The FireFly camera system can easily detect tilmanocept labeled with a near-infrared fluorophore at least 36 h after administration. This ability will permit image acquisition and subsequent verification of fluorescence-labeled SLNs during robotic-assisted surgery. PMID:25024425

Preclinical evaluation of robotic-assisted sentinel lymph node fluorescence imaging.

PubMed

Liss, Michael A; Farshchi-Heydari, Salman; Qin, Zhengtao; Hickey, Sean A; Hall, David J; Kane, Christopher J; Vera, David R

2014-09-01

An ideal substance to provide convenient and accurate targeting for sentinel lymph node (SLN) mapping during robotic-assisted surgery has yet to be found. We used an animal model to determine the ability of the FireFly camera system to detect fluorescent SLNs after administration of a dual-labeled molecular imaging agent. We injected the footpads of New Zealand White rabbits with 1.7 or 8.4 nmol of tilmanocept labeled with (99m)Tc and a near-infrared fluorophore, IRDye800CW. One and 36 h after injection, popliteal lymph nodes, representing the SLNs, were dissected with the assistance of the FireFly camera system, a fluorescence-capable endoscopic imaging system. After excision of the paraaortic lymph nodes, which represented non-SLNs, we assayed all lymph nodes for radioactivity and fluorescence intensity. Fluorescence within all popliteal lymph nodes was easily detected by the FireFly camera system. Fluorescence within the lymph channel could be imaged during the 1-h studies. When compared with the paraaortic lymph nodes, the popliteal lymph nodes retain greater than 95% of the radioactivity at both 1 and 36 h after injection. At both doses (1.7 and 8.4 nmol), the popliteal nodes had higher (P < 0.050) optical fluorescence intensity than the paraaortic nodes at the 1- and 36-h time points. The FireFly camera system can easily detect tilmanocept labeled with a near-infrared fluorophore at least 36 h after administration. This ability will permit image acquisition and subsequent verification of fluorescence-labeled SLNs during robotic-assisted surgery. © 2014 by the Society of Nuclear Medicine and Molecular Imaging, Inc.

Wildland Fire Forecasting: Predicting Wildfire Behavior, Growth, and Feedbacks on Weather

NASA Astrophysics Data System (ADS)

Coen, J. L.

2005-12-01

Recent developments in wildland fire research models have represented more complex of fire behavior. The cost has been to increase the computational requirements. When operational constraints are included, such as the need to produce such forecasts faster than real time, the challenge becomes a balance of how much complexity (with corresponding gains in realism) and accuracy can be achieved in producing the quantities of interest while meeting the specified operational constraints. Current field tools are calculator or Palm-Pilot based algorithms such as BEHAVE and BEHAVE Plus that produce timely estimates of instantaneous fire spread rates, flame length, and fire intensity at a point using readily estimated inputs of fuel model, terrain slope, and atmospheric wind speed at a point. At the cost of requiring a PC and slower calculation, FARSITE represents two-dimensional fire spread and adds capabilities including a parameterized representation of crown fire ignition, This work describes how a coupled atmosphere-fire model previously used as a research tool has been adapted for production of real-time forecasts of fire growth and its interactions with weather over a domain focusing on Colorado during summer 2004. The coupled atmosphere-wildland fire-environment (CAWFE) model composed of a 3-dimensional atmospheric prediction model that has been two-way coupled with an empirical fire spread model. The models are connected in that atmospheric conditions (and fuel conditions influenced by the atmosphere) affect the rate and direction of fire propagation, which releases sensible and latent heat (i.e. thermal and water vapor fluxes) to the atmosphere that in turn alter the winds and atmospheric structure around the fire. Thus, it can represent time and spatially-varying weather and the fire feedbacks on the atmospheric which are at the heart of sudden changes in fire behavior and examples of extreme fire behavior such as blow ups, which are now not predictable with current tools. Thus, although this work shows that is it possible to perform more detailed simulations in real time, fire behavior forecasting remains a challenging problem. This is due to challenges in weather prediction, particularly at fine spatial and temporal scales considered "nowcasting" (0-6 hrs), uncertainties in fire behavior even with known meteorological conditions, limitations in quantitative datasets on fuel properties such as fuel loading, and verification. This work describes efforts to advance these capabilities with input from remote sensing data on fuel characteristics and dynamic steering and object-based verification with remotely sensed fire perimeters.

Fire debris analysis for forensic fire investigation using laser induced breakdown spectroscopy (LIBS)

NASA Astrophysics Data System (ADS)

Choi, Soojin; Yoh, Jack J.

2017-08-01

The possibility verification of the first attempt to apply LIBS to arson investigation was performed. LIBS has capabilities for real time in-situ analysis and depth profiling. It can provide valuable information about the fire debris that are complementary to the classification of original sample components and combustion residues. In this study, fire debris was analyzed to determine the ignition source and existence of a fire accelerant using LIBS spectra and depth profiling analysis. Fire debris chemical composition and carbon layer thickness determines the possible ignition source while the carbon layer thickness of combusted samples represents the degree of sample carbonization. When a sample is combusted with fire accelerants, a thicker carbon layer is formed because the burning rate is increased. Therefore, depth profiling can confirm the existence of combustion accelerants, which is evidence of arson. Also investigation of fire debris by depth profiling is still possible when a fire is extinguished with water from fire hose. Such data analysis and in-situ detection of forensic signals via the LIBS may assist fire investigation at crime scenes.

Tiger Team Assessment of the Los Alamos National Laboratory

DOE Office of Scientific and Technical Information (OSTI.GOV)

Not Available

1991-11-01

The purpose of the safety and health assessment was to determine the effectiveness of representative safety and health programs at the Los Alamos National Laboratory (LANL). Within the safety and health programs at LANL, performance was assessed in the following technical areas: Organization and Administration, Quality Verification, Operations, Maintenance, Training and Certification, Auxiliary Systems, Emergency Preparedness, Technical Support, Packaging and Transportation, Nuclear Criticality Safety, Security/Safety Interface, Experimental Activities, Site/Facility Safety Review, Radiological Protection, Personnel Protection, Worker Safety and Health (OSHA) Compliance, Fire Protection, Aviation Safety, Explosives Safety, Natural Phenomena, and Medical Services.

Full-Scale Incineration System Demonstration Verification Test Burns at the Naval Battalion Construction Center, Gulfport, Mississippi. Volume 3. Treatability Tests. Part 2

DTIC Science & Technology

1991-07-01

1525 C1:y: daho Falls State: r Zip: 83413 Telephoue Hunber: (2 16) 65-1763 4. Facilities Location: Number & Steet: Naval Construction Bat.tallcn...ed into the POTW: (a) Pollutants which create a fire or explosion hazard in the POTW; (b) Pollutants which will cause corrosive structural damage to...Haylon Located in the laboratory (1) 15-1b C02 Located in the trailer 482 / 4.3.8 Maximum Hypothetical Accident ( Explosion ) The maximum hypothetical

TETAM Model Verification Study. Volume I. Representation of Intervisibility, Initial Comparisons

DTIC Science & Technology

1976-02-01

simulation models in terms of firings, engagements, and losses between tank and antitank as compared with the field data collected during the free play battles of Field Experiment 11.8 are found in Volume III. (Author)

The development of enhanced ripple-fire identification methods using high frequency data from Pinedale

DOE Office of Scientific and Technical Information (OSTI.GOV)

Carr, D.; Garbin, H.D.

1996-01-01

A technique called ripple fire used in quarry blasts produces modulations in the spectra of these events. The Deployable Seismic Verification System (DSVS) was installed at the Pinedale Seismic Research Facility in Wyoming, an area with a lot of mining activity. DSVS records at frequencies up to 50 Hz and these data provides us with a unique opportunity to determine how well we can discriminate quarry blasts and if there are operational benefits from using high frequency (>20 Hz) data. We have collected a database of 646 events consisting of known earthquakes, known quarry blasts and unknown signals. We havemore » started to calculate preliminary spectrograms if we get the time-independent banding from the quarry blasts, and at what frequencies the banning occurs. We also detail what we hope to accomplish in FY 1996.« less

History of Fire Events in the U.S. Commercial Nuclear Industry

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bijan Najafi; Joglar-Biloch, Francisco; Kassawara, Robert P.

2002-07-01

Over the past decade, interest in performance-based fire protection has increased within the nuclear industry. In support of this growing interest, in 1997 the Electric Power Research Institute (EPRI) developed a long-range plan to develop/improve data and tools needed to support Risk-Informed/Performance-Based fire protection. This plan calls for continued improvement in collection and use of information obtained from fire events at nuclear plants. The data collection process has the objectives of improving the insights gained from such data and reducing the uncertainty in fire risk and fire modeling methods in order to make them a more reliable basis for performancemore » based fire protection programs. In keeping with these objectives, EPRI continues to collect, review and analyze fire events in support of the nuclear industry. EPRI collects these records in cooperation with the Nuclear Electric Insurance Limited (NEIL), by compiling public fire event reports and by direct solicitation of U.S. nuclear facilities. EPRI fire data collection project is based on the principle that the understanding of history is one of the cornerstones of improving fire protection technology and practice. Therefore, the goal has been to develop and maintain a comprehensive database of fire events with flexibility to support various aspects of fire protection engineering. With more than 1850 fire records over a period of three decades and 2400 reactor years, this is the most comprehensive database of nuclear power industry fire events in existence today. In general, the frequency of fires in the U.S. commercial nuclear industry remains constant. In few cases, e.g., transient fires and fires in BWR offgas/recombiner systems, where either increasing or decreasing trends are observed, these trends tend to slow after 1980. The key issues in improving quality of the data remain to be consistency of the recording and reporting of fire events and difficulties in collection of records. EPRI has made significant progress towards improving the quality of the fire events data through use of multiple collection methods as well as its review and verification. To date EPRI has used this data to develop a generic fire ignition frequency model for U.S. nuclear power industry (Ref. 1, 4 and 5) as well as to support other models in support of EPRI Fire Risk Methods such as a cable fire manual suppression model. EPRI will continue its effort to collect and analyze operating data to support risk informed/performance based fire safety engineering, including collection and analysis of impairment data for fire protection systems and features. This paper provides details on the collection and application of fire events to risk informed/performance based fire protection. The paper also provides valuable insights into improving both collection and use of fire events data. (authors)« less

International Space Station United States Laboratory Module Water Recovery Management Subsystem Verification from Flight 5A to Stage ULF2

NASA Technical Reports Server (NTRS)

Williams, David E.; Labuda, Laura

2009-01-01

The International Space Station (ISS) Environmental Control and Life Support (ECLS) system comprises of seven subsystems: Atmosphere Control and Supply (ACS), Atmosphere Revitalization (AR), Fire Detection and Suppression (FDS), Temperature and Humidity Control (THC), Vacuum System (VS), Water Recovery and Management (WRM), and Waste Management (WM). This paper provides a summary of the nominal operation of the United States (U.S.) Laboratory Module WRM design and detailed element methodologies utilized during the Qualification phase of the U.S. Laboratory Module prior to launch and the Qualification of all of the modification kits added to it from Flight 5A up and including Stage ULF2.

Verification of a Finite Element Model for Pyrolyzing Ablative Materials

NASA Technical Reports Server (NTRS)

Risch, Timothy K.

2017-01-01

Ablating thermal protection system (TPS) materials have been used in many reentering spacecraft and in other applications such as rocket nozzle linings, fire protection materials, and as countermeasures for directed energy weapons. The introduction of the finite element model to the analysis of ablation has arguably resulted in improved computational capabilities due the flexibility and extended applicability of the method, especially to complex geometries. Commercial finite element codes often provide enhanced capability compared to custom, specially written programs based on versatility, usability, pre- and post-processing, grid generation, total life-cycle costs, and speed.

Advancement and results in hostile fire indication using potassium line missile warning sensors

NASA Astrophysics Data System (ADS)

Montgomery, Joel; Montgomery, Marjorie; Hardie, Russell

2014-06-01

M&M Aviation has been developing and conducting Hostile Fire Indication (HFI) tests using potassium line emission sensors for the Air Force Visible Missile Warning System (VMWS) to advance both algorithm and sensor technologies for UAV and other airborne systems for self protection and intelligence purposes. Work began in 2008 as an outgrowth of detecting and classifying false alarm sources for the VMWS using the same K-line spectral discrimination region but soon became a focus of research due to the high interest in both machine-gun fire and sniper geo-location via airborne systems. Several initial tests were accomplished in 2009 using small and medium caliber weapons including rifles. Based on these results, the Air Force Research Laboratory (AFRL) funded the Falcon Sentinel program in 2010 to provide for additional development of both the sensor concept, algorithm suite changes and verification of basic phenomenology including variance based on ammunition type for given weapons platform. Results from testing over the past 3 years have showed that the system would be able to detect and declare a sniper rifle at upwards of 3km, medium machine gun at 5km, and explosive events like hand-grenades at greater than 5km. This paper will outline the development of the sensor systems, algorithms used for detection and classification, and test results from VMWS prototypes as well as outline algorithms used for the VMWS. The Falcon Sentinel Program will be outlined and results shown. Finally, the paper will show the future work for ATD and transition efforts after the Falcon Sentinel program completed.

The NASA Firefighter's Breathing System Program: A Status Report

NASA Technical Reports Server (NTRS)

McLaughlan, Pat B.

1973-01-01

The National Aeronautics and Space Administration (NASA), through its Technology Utilization Program, has been making its advanced technology developments available to the public. This has coincided in recent years with a growing demand within the fire service for improved protective equipment. A better breathing system for firefighters was one of the more immediate needs identified by the firefighting organizations. The Johnson Space Center (JSC), based upon their experience in providing life support systems for space flight, was subsequently requested to determine the feasibility of providing an improved breathing system for firefighters. Such a system was determined to be well within the current state of the art, and the Center is well into a development program to provide design verification of this improved protective' equipment. This report - outlines the overall objectives of this program, progress to date, and future planned activities.

Verification of the naval oceanic vertical aerosol model during FIRE

NASA Technical Reports Server (NTRS)

Davidson, K. L.; Deleeuw, G.; Gathman, S. G.; Jensen, D. R.

1990-01-01

The value of Naval Oceanic Vertical Aerosol Model (NOVAM) is illustrated for estimating the non-uniform and non-logarithmic extinction profiles, based on a severe test involving conditions close to and beyond the limits of applicability of NOVAM. A more comprehensive evaluation of NOVAM from the FIRE data is presented, which includes a clear-air case. For further evaluation more data are required on the vertical structure of the extinction in the marine atmospheric boundary layer (MABL), preferably for different meteorological conditions and in different geographic areas (e.g., ASTEX).

FireBird - a small satellite fire monitoring mission: Status and first results

NASA Astrophysics Data System (ADS)

Lorenz, Eckehard; Rücker, Gernot; Terzibaschian, Thomas; Klein, Doris; Tiemann, Joachim

2014-05-01

The scientific mission FireBird is operated by the German Aerospace Center (DLR) and consists of two small satellites. The first satellite - TET-1 - was successfully launched from Baikonur, Russia in July 2012. Its first year in orbit was dedicated to a number of experiments within the framework of the DLR On Orbit Verification (OOV) program which is dedicated to technology testing in space. After successful completion of its OOV phase, TET-1 was handed over to the DLR FireBird mission and is now a dedicated Earth Observation mission. Its primary goal is sensing of hot phenomena such as wildfires, volcanoes, gas flares and industrial hotspots. The second satellite, BiROS is scheduled for launch in the second or third quarter of 2015. The satellite builds on the heritage of the DLR BIRD (BIspectral Infrared Detection) mission and delivers quantitative information (such as Fire Radiative Power, FRP) at a spatial resolution of 350 m, superior to any current fire enabled satellite system such as NPP VIIRS, MODIS or Meteosat SEVIRI. The satellite is undergoing a four month validation phase during which satellite operations are adapted to the new mission goals of FireBIRD and processing capacities are established to guarantee swift processing and delivery of high quality data. The validation phase started with an informal Operational Readiness Review and will be completed with a formal review, covering all aspects of the space and ground segments. The satellite is equipped with a camera with a 42 m ground pixel size in the red, green and near infrared spectral range, and a 370 m ground pixel size camera in the mid and thermal infrared with a swath of 185 km. The satellite can be pointed towards a target in order to enhance observation frequency. First results of the FireBird mission include a ground validation experiment and acquisitions over fires across the world. Once the validation phase is finished the data will be made available to a wide scientific community.

VERIFICATION OF SIMPLIFIED PROCEDURES FOR SITE- SPECIFIC SO2 AND NOX CONTROL COST ESTIMATES

EPA Science Inventory

The report documents results of an evaluation to verify the accuracy of simplified procedures for estimating sulfur dioxide (S02) and nitrogen oxides (NOx) retrofit control costs and performance for 200 502-emitting coal-fired power plants in the 31-state eastern region. nitially...

AERIAL PHOTOGRAPHY AND GROUND VERIFICATION AT POWER PLANT SITES: WISCONSIN POWER PLANT IMPACT STUDY

EPA Science Inventory

This study demonstrated and evaluated nine methods for monitoring the deterioration of a large wetland on the site of a newly-constructed coal-fired power plant in Columbia, County, Wisconsin. Four of the nine methods used data from ground sampling; two were remote sensing method...

Verification Results of Jet Resonance-enhanced Multiphoton Ionization as a Real-time PCDD/F Emission Monitor

EPA Science Inventory

The Jet REMPI (Resonance Enhanced Multiphoton Ionization) monitor was tested on a hazardous waste firing boiler for its ability to determine concentrations of polychlorinated dibenzodioxins and dibenzofurans (PCDDs/Fs). Jet REMPI is a real time instrument capable of highly selec...

Unmanned Vehicle Material Flammability Test

NASA Technical Reports Server (NTRS)

Urban, David L.; Ruff, Gary A.; Minster, Olivier; Toth, Balazs; Fernandez-Pello, A. Carlos; Tien, James S.; Torero, Jose L.; Cowlard, Adam J.; Legros, Guillaume; Eigenbrod, Christian;

Exploring Model Error through Post-processing and an Ensemble Kalman Filter on Fire Weather Days

NASA Astrophysics Data System (ADS)

Erickson, Michael J.

The proliferation of coupling atmospheric ensemble data to models in other related fields requires a priori knowledge of atmospheric ensemble biases specific to the desired application. In that spirit, this dissertation focuses on elucidating atmospheric ensemble model bias and error through a variety of different methods specific to fire weather days (FWDs) over the Northeast United States (NEUS). Other than a handful of studies that use models to predict fire indices for single fire seasons (Molders 2008, Simpson et al. 2014), an extensive exploration of model performance specific to FWDs has not been attempted. Two unique definitions for FWDs are proposed; one that uses pre-existing fire indices (FWD1) and another from a new statistical fire weather index (FWD2) relating fire occurrence and near-surface meteorological observations. Ensemble model verification reveals FWDs to have warmer (> 1 K), moister (~ 0.4 g kg-1) and less windy (~ 1 m s-1) biases than the climatological average for both FWD1 and FWD2. These biases are not restricted to the near surface but exist through the entirety of the planetary boundary layer (PBL). Furthermore, post-processing methods are more effective when previous FWDs are incorporated into the statistical training, suggesting that model bias could be related to the synoptic flow pattern. An Ensemble Kalman Filter (EnKF) is used to explore the effectiveness of data assimilation during a period of extensive FWDs in April 2012. Model biases develop rapidly on FWDs, consistent with the FWD1 and FWD2 verification. However, the EnKF is effective at removing most biases for temperature, wind speed and specific humidity. Potential sources of error in the parameterized physics of the PBL are explored by rerunning the EnKF with simultaneous state and parameter estimation (SSPE) for two relevant parameters within the ACM2 PBL scheme. SSPE helps to reduce the cool temperature bias near the surface on FWDs, with the variability in parameter estimates exhibiting some relationship to model bias for temperature. This suggests the potential for structural model error within the ACM2 PBL scheme and could lead toward the future development of improved PBL parameterizations.

A robust scientific workflow for assessing fire danger levels using open-source software

NASA Astrophysics Data System (ADS)

Vitolo, Claudia; Di Giuseppe, Francesca; Smith, Paul

2017-04-01

Modelling forest fires is theoretically and computationally challenging because it involves the use of a wide variety of information, in large volumes and affected by high uncertainties. In-situ observations of wildfire, for instance, are highly sparse and need to be complemented by remotely sensed data measuring biomass burning to achieve homogeneous coverage at global scale. Fire models use weather reanalysis products to measure energy release and rate of spread but can only assess the potential predictability of fire danger as the actual ignition is due to human behaviour and, therefore, very unpredictable. Lastly, fire forecasting systems rely on weather forecasts to extend the advance warning but are currently calibrated using fire danger thresholds that are defined at global scale and do not take into account the spatial variability of fuel availability. As a consequence, uncertainties sharply increase cascading from the observational to the modelling stage and they might be further inflated by non-reproducible analyses. Although uncertainties in observations will only decrease with technological advances over the next decades, the other uncertainties (i.e. generated during modelling and post-processing) can already be addressed by developing transparent and reproducible analysis workflows, even more if implemented within open-source initiatives. This is because reproducible workflows aim to streamline the processing task as they present ready-made solutions to handle and manipulate complex and heterogeneous datasets. Also, opening the code to the scrutiny of other experts increases the chances to implement more robust solutions and avoids duplication of efforts. In this work we present our contribution to the forest fire modelling community: an open-source tool called "caliver" for the calibration and verification of forest fire model results. This tool is developed in the R programming language and publicly available under an open license. We will present the caliver R package, illustrate the main functionalities and show the results of our preliminary experiments calculating fire danger thresholds for various regions on Earth. We will compare these with the existing global thresholds and, lastly, demonstrate how these newly-calculated regional thresholds can lead to improved calibration of fire forecast models in an operational setting.

Verification of CFD model of plane jet used for smoke free zone separation in case of fire

NASA Astrophysics Data System (ADS)

Krajewski, Grzegorz; Suchy, Przemysław

2018-01-01

This paper presents the basic information about the use of air curtains in fire safety, as a barrier for heat and smoke. Mathematical model of an air curtain presented hereallows estimation of velocity of air in various points of space, including the velocity of air from an angled air curtain. Presented equations show how various parameters influence the performance of air curtain. Further, authors present results of their air curtain performance. Authors of that article have done tests in a real scale model. Tests results were used to verify chosen turbulence model and boundary conditions. Results of new studies are presented with regards to the performance of air curtain in case of fire, and final remarks on its design are given.

Evaluating aerosol impacts on Numerical Weather Prediction in two extreme dust and biomass-burning events

NASA Astrophysics Data System (ADS)

Remy, Samuel; Benedetti, Angela; Jones, Luke; Razinger, Miha; Haiden, Thomas

2014-05-01

The WMO-sponsored Working Group on Numerical Experimentation (WGNE) set up a project aimed at understanding the importance of aerosols for numerical weather prediction (NWP). Three cases are being investigated by several NWP centres with aerosol capabilities: a severe dust case that affected Southern Europe in April 2012, a biomass burning case in South America in September 2012, and an extreme pollution event in Beijing (China) which took place in January 2013. At ECMWF these cases are being studied using the MACC-II system with radiatively interactive aerosols. Some preliminary results related to the dust and the fire event will be presented here. A preliminary verification of the impact of the aerosol-radiation direct interaction on surface meteorological parameters such as 2m Temperature and surface winds over the region of interest will be presented. Aerosol optical depth (AOD) verification using AERONET data will also be discussed. For the biomass burning case, the impact of using injection heights estimated by a Plume Rise Model (PRM) for the biomass burning emissions will be presented.

Analysis of the GOES 6.7 micrometer channel observations during FIRE 2

NASA Technical Reports Server (NTRS)

Soden, B. J.; Ackerman, S. A.; Starr, David

1993-01-01

Clouds form in moist environments. FIRE Phase II Cirrus Implementation Plan (August, 1990) noted the need for mesoscale measurements of upper tropospheric water vapor content. These measurements are needed for initializing and verifying numerical weather prediction models and for describing the environment in which cirrus clouds develop and dissipate. Various instruments where deployed to measure the water vapor amounts of the upper troposphere during FIRE II (e.g. Raman lidar, CLASS sonds and new cryogenic frost hygrometer on-board aircraft). The formation, maintenance and dissipation of cirrus clouds involve the time variation of the water budget of the upper troposphere. The GOES 6.7 mu m radiance observations are sensitive to the upper tropospheric relative humidity, and therefore proved extremely valuable in planning aircraft missions during the field phase of FIRE II. Warm 6.7 mu m equivalent black body temperatures indicate a relatively dry upper troposphere and were associated with regions generally free of cirrus clouds. Regions that were colder, implying more moisture was available may or may not have had cirrus clouds present. Animation of a time sequence of 6.7 mu m images was particularly useful in planning various FIRE missions. The 6.7 mu m observations can also be very valuable in the verification of model simulations and describing the upper tropospheric synoptic conditions. A quantitative analysis of the 6.7 mu m measurement is required to successfully incorporate these satellite observations into describing the upper tropospheric water vapor budget. Recently, Soden and Bretherton (1993) have proposed a method of deriving an upper tropospheric humidity based on observations from the GOES 6.7 mu m observations. The method is summarized in the next section. In their paper they compare their retrieval method to radiance simulations. Observations were also compared to ECMWF model output to assess the model performance. The FIRE experiment provides a unique opportunity to further verify the GOES upper tropospheric relative humidity retrieval scheme by providing (1) aircraft observations to cross-validate the calibration of the GOES 6.7 mu m channel, (2) accurate upper tropospheric water vapor concentrations for verification, and (3) veritical variability of upper tropospheric water vapor.

Development of photovoltaic array and module safety requirements

NASA Technical Reports Server (NTRS)

1982-01-01

Safety requirements for photovoltaic module and panel designs and configurations likely to be used in residential, intermediate, and large-scale applications were identified and developed. The National Electrical Code and Building Codes were reviewed with respect to present provisions which may be considered to affect the design of photovoltaic modules. Limited testing, primarily in the roof fire resistance field was conducted. Additional studies and further investigations led to the development of a proposed standard for safety for flat-plate photovoltaic modules and panels. Additional work covered the initial investigation of conceptual approaches and temporary deployment, for concept verification purposes, of a differential dc ground-fault detection circuit suitable as a part of a photovoltaic array safety system.

Coupled numerical simulation of fire in tunnel

NASA Astrophysics Data System (ADS)

Pesavento, F.; Pachera, M.; Schrefler, B. A.; Gawin, D.; Witek, A.

2018-01-01

In this work, a coupling strategy for the analysis of a tunnel under fire is presented. This strategy consists in a "one-way" coupling between a tool considering the computational fluid dynamics and radiation with a model treating concrete as a multiphase porous material exposed to high temperature. This global approach allows for taking into account in a realistic manner the behavior of the "system tunnel", composed of the fluid and the solid domain (i.e. the concrete structures), from the fire onset, its development and propagation to the response of the structure. The thermal loads as well as the moisture exchange between the structure surface and the environment are calculated by means of computational fluid dynamics. These set of data are passed in an automatic way to the numerical tool implementing a model based on Multiphase Porous Media Mechanics. Thanks to this strategy the structural verification is no longer based on the standard fire curves commonly used in the engineering practice, but it is directly related to a realistic fire scenario. To show the capability of this strategy some numerical simulations of a fire in the Brenner Base Tunnel, under construction between Italy and Austria, is presented. The numerical simulations show the effects of a more realistic distribution of the thermal loads with respect to the ones obtained by using the standard fire curves. Moreover, it is possible to highlight how the localized thermal load generates a non-uniform pressure rise in the material, which results in an increase of the structure stress state and of the spalling risk. Spalling is likely the most dangerous collapse mechanism for a concrete structure. This coupling approach still represents a "one way" strategy, i.e. realized without considering explicitly the mass and energy exchange from the structure to the fluid through the interface. This results in an approximation, but from physical point of view the current form of the solid-fluid coupling is considered sufficiently accurate in this first phase of the research.

Environmental and Sustainable Technology Evaluations (ESTE): Verification of Fuel Characteristics and Emissions from Biomass-fired Boilers 09/2008

EPA Science Inventory

This is an ESTE project summary brief. With increasing concern about climate change and fossil fuel energy supplies, there continues to be an interest in biomass as a renewable and sustainable energy source. EPA’s Office of Air Quality Planning and Standards has expressed an int...

Satellite Analyses of Cirrus Cloud Properties During the FIRE Phase 2 Cirrus Intensive Field Observations over Kansas

NASA Technical Reports Server (NTRS)

Minnis, Patrick; Young, David F.; Heck, Patrick W.; Liou, Kuo-Nan; Takano, Yoshihide

1992-01-01

The First ISCCP (International Satellite Cloud Climatology Project) Regional Experiment (FIRE) Phase II Intensive Field Observations (IFO) were taken over southeastern Kansas between November 13 and December 7,1991, to determine cirrus cloud properties. The observations include in situ microphysical data; surface, aircraft, and satellite remote sensing; and measurements of divergence over meso- and smaller-scale areas using wind profilers. Satellite remote sensing of cloud characteristics is an essential aspect for understanding and predicting the role of clouds in climate variations. The objectives of the satellite cloud analysis during FIRE are to validate cloud property retrievals, develop advanced methods for extracting cloud information from satellite-measured radiances, and provide multiscale cloud data for cloud process studies and for verification of cloud generation models. This paper presents the initial results of cloud property analyses during FIRE-II using Geostationary Operational Environmental Satellite (GOES) data and NOAA Advanced Very High Resolution Radiometer (AVHRR) radiances.

A reliability as an independent variable (RAIV) methodology for optimizing test planning for liquid rocket engines

NASA Astrophysics Data System (ADS)

Strunz, Richard; Herrmann, Jeffrey W.

2011-12-01

The hot fire test strategy for liquid rocket engines has always been a concern of space industry and agency alike because no recognized standard exists. Previous hot fire test plans focused on the verification of performance requirements but did not explicitly include reliability as a dimensioning variable. The stakeholders are, however, concerned about a hot fire test strategy that balances reliability, schedule, and affordability. A multiple criteria test planning model is presented that provides a framework to optimize the hot fire test strategy with respect to stakeholder concerns. The Staged Combustion Rocket Engine Demonstrator, a program of the European Space Agency, is used as example to provide the quantitative answer to the claim that a reduced thrust scale demonstrator is cost beneficial for a subsequent flight engine development. Scalability aspects of major subsystems are considered in the prior information definition inside the Bayesian framework. The model is also applied to assess the impact of an increase of the demonstrated reliability level on schedule and affordability.

Systems integration for the Kennedy Space Center (KSC) Robotics Applications Development Laboratory (RADL)

NASA Technical Reports Server (NTRS)

Davis, V. Leon; Nordeen, Ross

1988-01-01

A laboratory for developing robotics technology for hazardous and repetitive Shuttle and payload processing activities is discussed. An overview of the computer hardware and software responsible for integrating the laboratory systems is given. The center's anthropomorphic robot is placed on a track allowing it to be moved to different stations. Various aspects of the laboratory equipment are described, including industrial robot arm control, smart systems integration, the supervisory computer, programmable process controller, real-time tracking controller, image processing hardware, and control display graphics. Topics of research include: automated loading and unloading of hypergolics for space vehicles and payloads; the use of mobile robotics for security, fire fighting, and hazardous spill operations; nondestructive testing for SRB joint and seal verification; Shuttle Orbiter radiator damage inspection; and Orbiter contour measurements. The possibility of expanding the laboratory in the future is examined.

Chemical fields during Southeast Nexus (SENEX) field experiment and design of verification metrics for efficacy of capturing wild fire emissions

NASA Astrophysics Data System (ADS)

Lee, P.

2016-12-01

Wildfires are commonplace in North America. Air pollution resulted from wildfires pose a significant risk for human health and crop damage. The pollutants alter the vertical distribution of many atmospheric constituents including O3 and many fine particulate (PM) species. Compared to anthropogenic emissions of air pollutants, emissions from wildfires are largely uncontrolled and unpredictable. Therefore, quantitatively describing wildfire emissions and their contributions to air pollution remains a substantial challenge for atmospheric modeler and air quality forecasters. In this study, we investigated the modification and redistribution of atmospheric composition within the Conterminous U.S (CONUS) by wild fire plumes originated within and outside of the CONUS. We used the National Air Quality Forecasting Capability (NAQFC) to conduct the investigation. NAQFC uses dynamic lateral chemical boundary conditions derived from the National Weather Service experimental global aerosol tracer model accounting for intrusion of fire-associated aerosol species. Within CONUS, the NAQFC derives both gaseous and aerosol wildfire associated species from the National Environmental Satellite, Data, and Information Service (NESDIS) hazard mapping system (HMS) hot-spot detection, and US Forestry Service Blue-sky protocol for quantifying fire characteristics, and the US EPA Sparse Matrix Object Kernel Emission (SMOKE) calculation for plume rise. Attributions of both of these wildfire influences inherently reflect the aged plumes intruded into the CONUS through the model boundaries as well as the fresher emissions from sources within the CONUS. Both emission sources contribute significantly to the vertical structure modification of the atmosphere. We conducted case studies within the fire active seasons to demonstrate some possible impacts on the vertical structures of O3 and PM species by the wildfire activities.

1958 NASA/USAF Space Probes (ABLE-1). Volume 3; Vehicles, Trajectories, and Flight Histories

NASA Technical Reports Server (NTRS)

1959-01-01

The three NASA/USAF lunar probes of August 17, October 13, and November 8, 1958 are described. Details of the program, the vehicles, the payloads, the firings, the tracking, and the results are presented. Principal result was the first experimental verification of a confined radiation zone of the type postulated by Van Allen and others.

Carbon Dioxide Dispersion in the Combustion Integrated Rack Simulated Numerically

NASA Technical Reports Server (NTRS)

Wu, Ming-Shin; Ruff, Gary A.

2004-01-01

When discharged into an International Space Station (ISS) payload rack, a carbon dioxide (CO2) portable fire extinguisher (PFE) must extinguish a fire by decreasing the oxygen in the rack by 50 percent within 60 sec. The length of time needed for this oxygen reduction throughout the rack and the length of time that the CO2 concentration remains high enough to prevent the fire from reigniting is important when determining the effectiveness of the response and postfire procedures. Furthermore, in the absence of gravity, the local flow velocity can make the difference between a fire that spreads rapidly and one that self-extinguishes after ignition. A numerical simulation of the discharge of CO2 from PFE into the Combustion Integrated Rack (CIR) in microgravity was performed to obtain the local velocity and CO2 concentration. The complicated flow field around the PFE nozzle exits was modeled by sources of equivalent mass and momentum flux at a location downstream of the nozzle. The time for the concentration of CO2 to reach a level that would extinguish a fire anywhere in the rack was determined using the Fire Dynamics Simulator (FDS), a computational fluid dynamics code developed by the National Institute of Standards and Technology specifically to evaluate the development of a fire and smoke transport. The simulation shows that CO2, as well as any smoke and combustion gases produced by a fire, would be discharged into the ISS cabin through the resource utility panel at the bottom of the rack. These simulations will be validated by comparing the results with velocity and CO2 concentration measurements obtained during the fire suppression system verification tests conducted on the CIR in March 2003. Once these numerical simulations are validated, portions of the ISS labs and living areas will be modeled to determine the local flow conditions before, during, and after a fire event. These simulations can yield specific information about how long it takes for smoke and combustion gases produced by a fire to reach a detector location, how large the fire would be when the detector alarms, and the behavior of the fire until it has been extinguished. This new capability could then be used to optimize the location of fire detectors and fire-suppression ports as well as to evaluate the effectiveness of fire suppressants and response strategies. Numerical data collected from these simulations could also be used to develop a virtual reality fire event for crew training and fire safety awareness. This work is funded by NASA's Bioastronautics Initiative, which has the objective of ensuring and enhancing the health, safety, and performance of humans in space. As part of this initiative, the Microgravity Combustion Science Branch at the NASA Glenn Research Center is conducting spacecraft fire safety research to significantly improve fire safety on inhabited spacecraft.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ferguson, D.W.; Tompkins, T.A.; Pratapas, J.M.

The Coal Quality Impact Model (CQIM{trademark}) was used to evaluate the economic and performance impacts of gas co-firing at Mississippi Power Company`s Plant Watson. One of the most important benefits of gas co-firing considered was the ability to burn lower quality, less expensive fuels. Four coals and petroleum coke were evaluated at 0, 5, 10, 20, and 30 percent gas co-firing. These fuels vary widely in their geographic source, heating value, moisture, volatile matter, and sulfur contents. Performance and economic evaluations were conducted at individual load points of 100, 75, 50, 40, 30, and 20 percent of full load. Additionalmore » analyses were made for seasonal load-demand curves and for an average annual load-demand curve. Operating cost in $/MWh, net plant heat rate in Btu/kWh, and break-even gas price in $/MBtu are presented as a function of load and percent gas co-firing. Results illustrate that with the Illinois Basin Coal currently burned at Plant Watson, gas co-firing can be economically justified over a range of gas market prices on either an annual or seasonal basis. Other findings indicate that petroleum coke and South American coal co-fired with natural gas offer significant fuel cost savings and are attractive candidate fuels for combustion verification testing.« less

7 CFR 272.8 - State income and eligibility verification system.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 4 2010-01-01 2010-01-01 false State income and eligibility verification system. 272... PARTICIPATING STATE AGENCIES § 272.8 State income and eligibility verification system. (a) General. (1) State agencies may maintain and use an income and eligibility verification system (IEVS), as specified in this...

Requirement Assurance: A Verification Process

NASA Technical Reports Server (NTRS)

Alexander, Michael G.

2011-01-01

Requirement Assurance is an act of requirement verification which assures the stakeholder or customer that a product requirement has produced its "as realized product" and has been verified with conclusive evidence. Product requirement verification answers the question, "did the product meet the stated specification, performance, or design documentation?". In order to ensure the system was built correctly, the practicing system engineer must verify each product requirement using verification methods of inspection, analysis, demonstration, or test. The products of these methods are the "verification artifacts" or "closure artifacts" which are the objective evidence needed to prove the product requirements meet the verification success criteria. Institutional direction is given to the System Engineer in NPR 7123.1A NASA Systems Engineering Processes and Requirements with regards to the requirement verification process. In response, the verification methodology offered in this report meets both the institutional process and requirement verification best practices.

Results of Small-scale Solid Rocket Combustion Simulator testing at Marshall Space Flight Center

NASA Technical Reports Server (NTRS)

Goldberg, Benjamin E.; Cook, Jerry

1993-01-01

The Small-scale Solid Rocket Combustion Simulator (SSRCS) program was established at the Marshall Space Flight Center (MSFC), and used a government/industry team consisting of Hercules Aerospace Corporation, Aerotherm Corporation, United Technology Chemical Systems Division, Thiokol Corporation and MSFC personnel to study the feasibility of simulating the combustion species, temperatures and flow fields of a conventional solid rocket motor (SRM) with a versatile simulator system. The SSRCS design is based on hybrid rocket motor principles. The simulator uses a solid fuel and a gaseous oxidizer. Verification of the feasibility of a SSRCS system as a test bed was completed using flow field and system analyses, as well as empirical test data. A total of 27 hot firings of a subscale SSRCS motor were conducted at MSFC. Testing of the Small-scale SSRCS program was completed in October 1992. This paper, a compilation of reports from the above team members and additional analysis of the instrumentation results, will discuss the final results of the analyses and test programs.

Design and package of a {sup 14}CO{sub 2} field analyzer The Global Monitor Platform (GMP)

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bright, Michelle; Marino, Bruno D.V.; Gronniger, Glen

2011-08-01

Carbon Capture and Sequestration (CCS) is widely accepted as a means to reduce and eliminate the fossil fuel CO{sub 2} (ff- CO{sub 2}) emissions from coal fired power plants. Success of CCS depends on near zero leakage rates over decadal time scales. Currently no commercial methods to determine leakage of ff-CO{sub 2} are available. The Global Monitor Platform (GMP) field analyzer provides high precision analysis of CO{sub 2} isotopes [12C (99%), 13C (<1%), 14C (1.2x10-10 %)] that can differentiate between fossil and biogenic CO{sub 2} emissions. Fossil fuels contain no {sup 14}C; their combustion should lower atmospheric amounts on localmore » to global scales. There is a clear mandate for monitoring, verification and accounting (MVA) of CCS systems nationally and globally to verify CCS integrity, treaty verification (Kyoto Protocol) and to characterize the nuclear fuel cycle. Planetary Emissions Management (PEM), working with the National Secure Manufacturing Center (NSMC), has the goal of designing, ruggedizing and packaging the GMP for field deployment. The system will conduct atmosphere monitoring then adapt the system to monitor water and soil evaluations. Measuring {sup 14}CO{sub 2} in real time will provide quantitative concentration data for ff-CO{sub 2} in the atmosphere and CCS leakage detection. Initial results will be discussed along with design changes for improved detection sensitivity and manufacturability.« less

Study of techniques for redundancy verification without disrupting systems, phases 1-3

NASA Technical Reports Server (NTRS)

1970-01-01

The problem of verifying the operational integrity of redundant equipment and the impact of a requirement for verification on such equipment are considered. Redundant circuits are examined and the characteristics which determine adaptability to verification are identified. Mutually exclusive and exhaustive categories for verification approaches are established. The range of applicability of these techniques is defined in terms of signal characteristics and redundancy features. Verification approaches are discussed and a methodology for the design of redundancy verification is developed. A case study is presented which involves the design of a verification system for a hypothetical communications system. Design criteria for redundant equipment are presented. Recommendations for the development of technological areas pertinent to the goal of increased verification capabilities are given.

A Machine-Checked Proof of A State-Space Construction Algorithm

NASA Technical Reports Server (NTRS)

Catano, Nestor; Siminiceanu, Radu I.

2010-01-01

This paper presents the correctness proof of Saturation, an algorithm for generating state spaces of concurrent systems, implemented in the SMART tool. Unlike the Breadth First Search exploration algorithm, which is easy to understand and formalise, Saturation is a complex algorithm, employing a mutually-recursive pair of procedures that compute a series of non-trivial, nested local fixed points, corresponding to a chaotic fixed point strategy. A pencil-and-paper proof of Saturation exists, but a machine checked proof had never been attempted. The key element of the proof is the characterisation theorem of saturated nodes in decision diagrams, stating that a saturated node represents a set of states encoding a local fixed-point with respect to firing all events affecting only the node s level and levels below. For our purpose, we have employed the Prototype Verification System (PVS) for formalising the Saturation algorithm, its data structures, and for conducting the proofs.

Hydrologic data-verification management program plan

USGS Publications Warehouse

Alexander, C.W.

1982-01-01

Data verification refers to the performance of quality control on hydrologic data that have been retrieved from the field and are being prepared for dissemination to water-data users. Water-data users now have access to computerized data files containing unpublished, unverified hydrologic data. Therefore, it is necessary to develop techniques and systems whereby the computer can perform some data-verification functions before the data are stored in user-accessible files. Computerized data-verification routines can be developed for this purpose. A single, unified concept describing master data-verification program using multiple special-purpose subroutines, and a screen file containing verification criteria, can probably be adapted to any type and size of computer-processing system. Some traditional manual-verification procedures can be adapted for computerized verification, but new procedures can also be developed that would take advantage of the powerful statistical tools and data-handling procedures available to the computer. Prototype data-verification systems should be developed for all three data-processing environments as soon as possible. The WATSTORE system probably affords the greatest opportunity for long-range research and testing of new verification subroutines. (USGS)

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT FOR TREATMENT OF WASTEWATER GENERATED DURING DECONTAMINATION ACTIVITIES - ULTRASTRIP SYSTEMS, INC., MOBILE EMERGENCY FILTRATION SYSTEM (MEFS) - 04/14/WQPC-HS

EPA Science Inventory

Performance verification testing of the UltraStrip Systems, Inc., Mobile Emergency Filtration System (MEFS) was conducted under EPA's Environmental Technology Verification (ETV) Program at the EPA Test and Evaluation (T&E) Facility in Cincinnati, Ohio, during November, 2003, thr...

Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

NASA Technical Reports Server (NTRS)

Levitt, K. N.; Schwartz, R.; Hare, D.; Moore, J. S.; Melliar-Smith, P. M.; Shostak, R. E.; Boyer, R. S.; Green, M. W.; Elliott, W. D.

1983-01-01

A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.

Audio-visual imposture

NASA Astrophysics Data System (ADS)

Karam, Walid; Mokbel, Chafic; Greige, Hanna; Chollet, Gerard

2006-05-01

A GMM based audio visual speaker verification system is described and an Active Appearance Model with a linear speaker transformation system is used to evaluate the robustness of the verification. An Active Appearance Model (AAM) is used to automatically locate and track a speaker's face in a video recording. A Gaussian Mixture Model (GMM) based classifier (BECARS) is used for face verification. GMM training and testing is accomplished on DCT based extracted features of the detected faces. On the audio side, speech features are extracted and used for speaker verification with the GMM based classifier. Fusion of both audio and video modalities for audio visual speaker verification is compared with face verification and speaker verification systems. To improve the robustness of the multimodal biometric identity verification system, an audio visual imposture system is envisioned. It consists of an automatic voice transformation technique that an impostor may use to assume the identity of an authorized client. Features of the transformed voice are then combined with the corresponding appearance features and fed into the GMM based system BECARS for training. An attempt is made to increase the acceptance rate of the impostor and to analyzing the robustness of the verification system. Experiments are being conducted on the BANCA database, with a prospect of experimenting on the newly developed PDAtabase developed within the scope of the SecurePhone project.

Research on key technology of the verification system of steel rule based on vision measurement

NASA Astrophysics Data System (ADS)

Jia, Siyuan; Wang, Zhong; Liu, Changjie; Fu, Luhua; Li, Yiming; Lu, Ruijun

2018-01-01

The steel rule plays an important role in quantity transmission. However, the traditional verification method of steel rule based on manual operation and reading brings about low precision and low efficiency. A machine vison based verification system of steel rule is designed referring to JJG1-1999-Verificaiton Regulation of Steel Rule [1]. What differentiates this system is that it uses a new calibration method of pixel equivalent and decontaminates the surface of steel rule. Experiments show that these two methods fully meet the requirements of the verification system. Measuring results strongly prove that these methods not only meet the precision of verification regulation, but also improve the reliability and efficiency of the verification system.

Systematic Model-in-the-Loop Test of Embedded Control Systems

NASA Astrophysics Data System (ADS)

Krupp, Alexander; Müller, Wolfgang

Current model-based development processes offer new opportunities for verification automation, e.g., in automotive development. The duty of functional verification is the detection of design flaws. Current functional verification approaches exhibit a major gap between requirement definition and formal property definition, especially when analog signals are involved. Besides lack of methodical support for natural language formalization, there does not exist a standardized and accepted means for formal property definition as a target for verification planning. This article addresses several shortcomings of embedded system verification. An Enhanced Classification Tree Method is developed based on the established Classification Tree Method for Embeded Systems CTM/ES which applies a hardware verification language to define a verification environment.

Verification of National Weather Service spot forecasts using surface observations

NASA Astrophysics Data System (ADS)

Lammers, Matthew Robert

Software has been developed to evaluate National Weather Service spot forecasts issued to support prescribed burns and early-stage wildfires. Fire management officials request spot forecasts from National Weather Service Weather Forecast Offices to provide detailed guidance as to atmospheric conditions in the vicinity of planned prescribed burns as well as wildfires that do not have incident meteorologists on site. This open source software with online display capabilities is used to examine an extensive set of spot forecasts of maximum temperature, minimum relative humidity, and maximum wind speed from April 2009 through November 2013 nationwide. The forecast values are compared to the closest available surface observations at stations installed primarily for fire weather and aviation applications. The accuracy of the spot forecasts is compared to those available from the National Digital Forecast Database (NDFD). Spot forecasts for selected prescribed burns and wildfires are used to illustrate issues associated with the verification procedures. Cumulative statistics for National Weather Service County Warning Areas and for the nation are presented. Basic error and accuracy metrics for all available spot forecasts and the entire nation indicate that the skill of the spot forecasts is higher than that available from the NDFD, with the greatest improvement for maximum temperature and the least improvement for maximum wind speed.

Study on verifying the angle measurement performance of the rotary-laser system

NASA Astrophysics Data System (ADS)

Zhao, Jin; Ren, Yongjie; Lin, Jiarui; Yin, Shibin; Zhu, Jigui

2018-04-01

An angle verification method to verify the angle measurement performance of the rotary-laser system was developed. Angle measurement performance has a great impact on measuring accuracy. Although there is some previous research on the verification of angle measuring uncertainty for the rotary-laser system, there are still some limitations. High-precision reference angles are used in the study of the method, and an integrated verification platform is set up to evaluate the performance of the system. This paper also probes the error that has biggest influence on the verification system. Some errors of the verification system are avoided via the experimental method, and some are compensated through the computational formula and curve fitting. Experimental results show that the angle measurement performance meets the requirement for coordinate measurement. The verification platform can evaluate the uncertainty of angle measurement for the rotary-laser system efficiently.

Design and Realization of Controllable Ultrasonic Fault Detector Automatic Verification System

NASA Astrophysics Data System (ADS)

Sun, Jing-Feng; Liu, Hui-Ying; Guo, Hui-Juan; Shu, Rong; Wei, Kai-Li

The ultrasonic flaw detection equipment with remote control interface is researched and the automatic verification system is developed. According to use extensible markup language, the building of agreement instruction set and data analysis method database in the system software realizes the controllable designing and solves the diversification of unreleased device interfaces and agreements. By using the signal generator and a fixed attenuator cascading together, a dynamic error compensation method is proposed, completes what the fixed attenuator does in traditional verification and improves the accuracy of verification results. The automatic verification system operating results confirms that the feasibility of the system hardware and software architecture design and the correctness of the analysis method, while changes the status of traditional verification process cumbersome operations, and reduces labor intensity test personnel.

Remaining Sites Verification Package for the 1607-B1 Septic System, Waste Site Reclassification Form 2007-015

DOE Office of Scientific and Technical Information (OSTI.GOV)

L. M. Dittmer

2007-08-30

The 1607-B1 Septic System includes a septic tank, drain field, and associated connecting pipelines and influent sanitary sewer lines. This septic system serviced the former 1701-B Badgehouse, 1720-B Patrol Building/Change Room, and the 1709-B Fire Headquarters. The 1607-B1 waste site received unknown amounts of nonhazardous, nonradioactive sanitary sewage from these facilities during its operational history from 1944 to approximately 1970. In accordance with this evaluation, the confirmatory sampling results support a reclassification of this site to No Action. The current site conditions achieve the remedial action objectives and the corresponding remedial action goals established in the Remaining Sites ROD. Themore » results of confirmatory sampling show that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also demonstrate that residual contaminant concentrations are protective of groundwater and the Columbia River.« less

A Quantitative Approach to the Formal Verification of Real-Time Systems.

DTIC Science & Technology

1996-09-01

Computer Science A Quantitative Approach to the Formal Verification of Real - Time Systems Sergio Vale Aguiar Campos September 1996 CMU-CS-96-199...ptisiic raieaiSI v Diambimos Lboiamtad _^ A Quantitative Approach to the Formal Verification of Real - Time Systems Sergio Vale Aguiar Campos...implied, of NSF, the Semiconduc- tor Research Corporation, ARPA or the U.S. government. Keywords: real - time systems , formal verification, symbolic

Using SysML for verification and validation planning on the Large Synoptic Survey Telescope (LSST)

NASA Astrophysics Data System (ADS)

Selvy, Brian M.; Claver, Charles; Angeli, George

2014-08-01

This paper provides an overview of the tool, language, and methodology used for Verification and Validation Planning on the Large Synoptic Survey Telescope (LSST) Project. LSST has implemented a Model Based Systems Engineering (MBSE) approach as a means of defining all systems engineering planning and definition activities that have historically been captured in paper documents. Specifically, LSST has adopted the Systems Modeling Language (SysML) standard and is utilizing a software tool called Enterprise Architect, developed by Sparx Systems. Much of the historical use of SysML has focused on the early phases of the project life cycle. Our approach is to extend the advantages of MBSE into later stages of the construction project. This paper details the methodology employed to use the tool to document the verification planning phases, including the extension of the language to accommodate the project's needs. The process includes defining the Verification Plan for each requirement, which in turn consists of a Verification Requirement, Success Criteria, Verification Method(s), Verification Level, and Verification Owner. Each Verification Method for each Requirement is defined as a Verification Activity and mapped into Verification Events, which are collections of activities that can be executed concurrently in an efficient and complementary way. Verification Event dependency and sequences are modeled using Activity Diagrams. The methodology employed also ties in to the Project Management Control System (PMCS), which utilizes Primavera P6 software, mapping each Verification Activity as a step in a planned activity. This approach leads to full traceability from initial Requirement to scheduled, costed, and resource loaded PMCS task-based activities, ensuring all requirements will be verified.

Integrated guidance, navigation and control verification plan primary flight system. [space shuttle avionics integration

NASA Technical Reports Server (NTRS)

1978-01-01

The verification process and requirements for the ascent guidance interfaces and the ascent integrated guidance, navigation and control system for the space shuttle orbiter are defined as well as portions of supporting systems which directly interface with the system. The ascent phase of verification covers the normal and ATO ascent through the final OMS-2 circularization burn (all of OPS-1), the AOA ascent through the OMS-1 burn, and the RTLS ascent through ET separation (all of MM 601). In addition, OPS translation verification is defined. Verification trees and roadmaps are given.

Verification test report on a solar heating and hot water system

NASA Technical Reports Server (NTRS)

1978-01-01

Information is provided on the development, qualification and acceptance verification of commercial solar heating and hot water systems and components. The verification includes the performances, the efficiences and the various methods used, such as similarity, analysis, inspection, test, etc., that are applicable to satisfying the verification requirements.

46 CFR 61.40-3 - Design verification testing.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 2 2011-10-01 2011-10-01 false Design verification testing. 61.40-3 Section 61.40-3... INSPECTIONS Design Verification and Periodic Testing of Vital System Automation § 61.40-3 Design verification testing. (a) Tests must verify that automated vital systems are designed, constructed, and operate in...

Software and Human-Machine Interface Development for Environmental Controls Subsystem Support

NASA Technical Reports Server (NTRS)

Dobson, Matthew

2018-01-01

The Space Launch System (SLS) is the next premier launch vehicle for NASA. It is the next stage of manned space exploration from American soil, and will be the platform in which we push further beyond Earth orbit. In preparation of the SLS maiden voyage on Exploration Mission 1 (EM-1), the existing ground support architecture at Kennedy Space Center required significant overhaul and updating. A comprehensive upgrade of controls systems was necessary, including programmable logic controller software, as well as Launch Control Center (LCC) firing room and local launch pad displays for technician use. Environmental control acts as an integral component in these systems, being the foremost system for conditioning the pad and extremely sensitive launch vehicle until T-0. The Environmental Controls Subsystem (ECS) required testing and modification to meet the requirements of the designed system, as well as the human factors requirements of NASA software for Validation and Verification (V&V). This term saw significant strides in the progress and functionality of the human-machine interfaces used at the launch pad, and improved integration with the controller code.

Towards composition of verified hardware devices

NASA Technical Reports Server (NTRS)

Schubert, E. Thomas; Levitt, K.; Cohen, G. C.

1991-01-01

Computers are being used where no affordable level of testing is adequate. Safety and life critical systems must find a replacement for exhaustive testing to guarantee their correctness. Through a mathematical proof, hardware verification research has focused on device verification and has largely ignored system composition verification. To address these deficiencies, we examine how the current hardware verification methodology can be extended to verify complete systems.

Validation of the AVM Blast Computational Modeling and Simulation Tool Set

DTIC Science & Technology

2015-08-04

by-construction" methodology is powerful and would not be possible without high -level design languages to support validation and verification. [1,4...to enable the making of informed design decisions.  Enable rapid exploration of the design trade-space for high -fidelity requirements tradeoffs...live-fire tests, the jump height of the target structure is recorded by using either high speed cameras or a string pot. A simple projectile motion

Projected Impact of Compositional Verification on Current and Future Aviation Safety Risk

NASA Technical Reports Server (NTRS)

Reveley, Mary S.; Withrow, Colleen A.; Leone, Karen M.; Jones, Sharon M.

2014-01-01

The projected impact of compositional verification research conducted by the National Aeronautic and Space Administration System-Wide Safety and Assurance Technologies on aviation safety risk was assessed. Software and compositional verification was described. Traditional verification techniques have two major problems: testing at the prototype stage where error discovery can be quite costly and the inability to test for all potential interactions leaving some errors undetected until used by the end user. Increasingly complex and nondeterministic aviation systems are becoming too large for these tools to check and verify. Compositional verification is a "divide and conquer" solution to addressing increasingly larger and more complex systems. A review of compositional verification research being conducted by academia, industry, and Government agencies is provided. Forty-four aviation safety risks in the Biennial NextGen Safety Issues Survey were identified that could be impacted by compositional verification and grouped into five categories: automation design; system complexity; software, flight control, or equipment failure or malfunction; new technology or operations; and verification and validation. One capability, 1 research action, 5 operational improvements, and 13 enablers within the Federal Aviation Administration Joint Planning and Development Office Integrated Work Plan that could be addressed by compositional verification were identified.

Average Stand Age from Forest Inventory Plots Does Not Describe Historical Fire Regimes in Ponderosa Pine and Mixed-Conifer Forests of Western North America.

PubMed

Stevens, Jens T; Safford, Hugh D; North, Malcolm P; Fried, Jeremy S; Gray, Andrew N; Brown, Peter M; Dolanc, Christopher R; Dobrowski, Solomon Z; Falk, Donald A; Farris, Calvin A; Franklin, Jerry F; Fulé, Peter Z; Hagmann, R Keala; Knapp, Eric E; Miller, Jay D; Smith, Douglas F; Swetnam, Thomas W; Taylor, Alan H

Quantifying historical fire regimes provides important information for managing contemporary forests. Historical fire frequency and severity can be estimated using several methods; each method has strengths and weaknesses and presents challenges for interpretation and verification. Recent efforts to quantify the timing of historical high-severity fire events in forests of western North America have assumed that the "stand age" variable from the US Forest Service Forest Inventory and Analysis (FIA) program reflects the timing of historical high-severity (i.e. stand-replacing) fire in ponderosa pine and mixed-conifer forests. To test this assumption, we re-analyze the dataset used in a previous analysis, and compare information from fire history records with information from co-located FIA plots. We demonstrate that 1) the FIA stand age variable does not reflect the large range of individual tree ages in the FIA plots: older trees comprised more than 10% of pre-stand age basal area in 58% of plots analyzed and more than 30% of pre-stand age basal area in 32% of plots, and 2) recruitment events are not necessarily related to high-severity fire occurrence. Because the FIA stand age variable is estimated from a sample of tree ages within the tree size class containing a plurality of canopy trees in the plot, it does not necessarily include the oldest trees, especially in uneven-aged stands. Thus, the FIA stand age variable does not indicate whether the trees in the predominant size class established in response to severe fire, or established during the absence of fire. FIA stand age was not designed to measure the time since a stand-replacing disturbance. Quantification of historical "mixed-severity" fire regimes must be explicit about the spatial scale of high-severity fire effects, which is not possible using FIA stand age data.

Average Stand Age from Forest Inventory Plots Does Not Describe Historical Fire Regimes in Ponderosa Pine and Mixed-Conifer Forests of Western North America

PubMed Central

Stevens, Jens T.; Safford, Hugh D.; North, Malcolm P.; Fried, Jeremy S.; Gray, Andrew N.; Brown, Peter M.; Dolanc, Christopher R.; Dobrowski, Solomon Z.; Falk, Donald A.; Farris, Calvin A.; Franklin, Jerry F.; Fulé, Peter Z.; Hagmann, R. Keala; Knapp, Eric E.; Miller, Jay D.; Smith, Douglas F.; Swetnam, Thomas W.; Taylor, Alan H.

2016-01-01

Quantifying historical fire regimes provides important information for managing contemporary forests. Historical fire frequency and severity can be estimated using several methods; each method has strengths and weaknesses and presents challenges for interpretation and verification. Recent efforts to quantify the timing of historical high-severity fire events in forests of western North America have assumed that the “stand age” variable from the US Forest Service Forest Inventory and Analysis (FIA) program reflects the timing of historical high-severity (i.e. stand-replacing) fire in ponderosa pine and mixed-conifer forests. To test this assumption, we re-analyze the dataset used in a previous analysis, and compare information from fire history records with information from co-located FIA plots. We demonstrate that 1) the FIA stand age variable does not reflect the large range of individual tree ages in the FIA plots: older trees comprised more than 10% of pre-stand age basal area in 58% of plots analyzed and more than 30% of pre-stand age basal area in 32% of plots, and 2) recruitment events are not necessarily related to high-severity fire occurrence. Because the FIA stand age variable is estimated from a sample of tree ages within the tree size class containing a plurality of canopy trees in the plot, it does not necessarily include the oldest trees, especially in uneven-aged stands. Thus, the FIA stand age variable does not indicate whether the trees in the predominant size class established in response to severe fire, or established during the absence of fire. FIA stand age was not designed to measure the time since a stand-replacing disturbance. Quantification of historical “mixed-severity” fire regimes must be explicit about the spatial scale of high-severity fire effects, which is not possible using FIA stand age data. PMID:27196621

Temporal Specification and Verification of Real-Time Systems.

DTIC Science & Technology

1991-08-30

of concrete real - time systems can be modeled adequately. Specification: We present two conservative extensions of temporal logic that allow for the...logic. We present both model-checking algorithms for the automatic verification of finite-state real - time systems and proof methods for the deductive verification of real - time systems .

78 FR 22522 - Privacy Act of 1974: New System of Records

Federal Register 2010, 2011, 2012, 2013, 2014

2013-04-16

... Privacy Act of 1974 (5 U.S.C. 552a), as amended, titled ``Biometric Verification System (CSOSA-20).'' This... Biometric Verification System allows individuals under supervision to electronically check-in for office... determination. ADDRESSES: You may submit written comments, identified by ``Biometric Verification System, CSOSA...

Health and safety plan for the removal action at the former YS-860 Firing Ranges, Oak Ridge Y-12 Plant, Oak Ridge, Tennessee

DOE Office of Scientific and Technical Information (OSTI.GOV)

NONE

1998-04-28

This health and safety plan sets forth the requirements and procedures to protect the personnel involved in the Lead Source Removal Project at the Former YS-86O Firing Ranges. This project will be conducted in a manner that ensures the protection of the safety and health of workers, the public, and the environment. The purpose of this removal action is to address lead contaminated soil and reduce a potential risk to human health and the environment. This site is an operable unit within the Upper East Fork Poplar Creek watershed. The removal action will contribute to early source actions within themore » watershed. The project will accomplish this through the removal of lead-contaminated soil in the target areas of the two small arms firing ranges. This plan covers the removal actions at the Former YS-86O Firing Ranges. These actions involve the excavation of lead-contaminated soils, the removal of the concrete trench and macadam (asphalt) paths, verification/confirmation sampling, grading and revegetation. The primary hazards include temperature extremes, equipment operation, noise, potential lead exposure, uneven and slippery working surfaces, and insects.« less

Verification of Functional Fault Models and the Use of Resource Efficient Verification Tools

NASA Technical Reports Server (NTRS)

Bis, Rachael; Maul, William A.

2015-01-01

Functional fault models (FFMs) are a directed graph representation of the failure effect propagation paths within a system's physical architecture and are used to support development and real-time diagnostics of complex systems. Verification of these models is required to confirm that the FFMs are correctly built and accurately represent the underlying physical system. However, a manual, comprehensive verification process applied to the FFMs was found to be error prone due to the intensive and customized process necessary to verify each individual component model and to require a burdensome level of resources. To address this problem, automated verification tools have been developed and utilized to mitigate these key pitfalls. This paper discusses the verification of the FFMs and presents the tools that were developed to make the verification process more efficient and effective.

HDM/PASCAL Verification System User's Manual

NASA Technical Reports Server (NTRS)

Hare, D.

1983-01-01

The HDM/Pascal verification system is a tool for proving the correctness of programs written in PASCAL and specified in the Hierarchical Development Methodology (HDM). This document assumes an understanding of PASCAL, HDM, program verification, and the STP system. The steps toward verification which this tool provides are parsing programs and specifications, checking the static semantics, and generating verification conditions. Some support functions are provided such as maintaining a data base, status management, and editing. The system runs under the TOPS-20 and TENEX operating systems and is written in INTERLISP. However, no knowledge is assumed of these operating systems or of INTERLISP. The system requires three executable files, HDMVCG, PARSE, and STP. Optionally, the editor EMACS should be on the system in order for the editor to work. The file HDMVCG is invoked to run the system. The files PARSE and STP are used as lower forks to perform the functions of parsing and proving.

9th Diesel Engine Emissions Reduction (DEER) Workshop 2003

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kukla, P; Wright, J; Harris, G

2003-08-24

The PowerTrap{trademark} is a non-exhaust temperature dependent system that cannot become blocked and features a controlled regeneration process independent of the vehicle's drive cycle. The system has a low direct-current power source requirement available in both 12-volt and 24-volt configurations. The system is fully programmable, fully automated and includes Euro IV requirements of operation verification. The system has gained European component-type approval and has been tested with both on- road and off-road diesel fuel up to 2000 parts per million. The device is fail-safe: in the event of a device malfunction, it cannot affect the engine's performance. Accumulated mileage testingmore » is in excess of 640,000 miles to date. Vehicles include London-type taxicabs (Euro 1 and 2), emergency service fire engines (Euro 1, 2, and 3), inner city buses, and light-duty locomotives. Independent test results by Shell Global Solutions have consistently demonstrated 85-99 percent reduction of ultrafines across the 7-35 nanometer size range using a scanning mobility particle sizer with both ultra-low sulfur diesel and off-road high-sulfur fuel.« less

Space station data management system - A common GSE test interface for systems testing and verification

NASA Technical Reports Server (NTRS)

Martinez, Pedro A.; Dunn, Kevin W.

1987-01-01

This paper examines the fundamental problems and goals associated with test, verification, and flight-certification of man-rated distributed data systems. First, a summary of the characteristics of modern computer systems that affect the testing process is provided. Then, verification requirements are expressed in terms of an overall test philosophy for distributed computer systems. This test philosophy stems from previous experience that was gained with centralized systems (Apollo and the Space Shuttle), and deals directly with the new problems that verification of distributed systems may present. Finally, a description of potential hardware and software tools to help solve these problems is provided.

ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: Stormwater Source Area Treatment Device - Arkal Pressurized Stormwater Filtration System

EPA Science Inventory

Performance verification testing of the Arkal Pressurized Stormwater Filtration System was conducted under EPA's Environmental Technology Verification Program on a 5.5-acre parking lot and grounds of St. Mary's Hospital in Milwaukee, Wisconsin. The system consists of a water sto...

Interpreter composition issues in the formal verification of a processor-memory module

NASA Technical Reports Server (NTRS)

Fura, David A.; Cohen, Gerald C.

1994-01-01

This report describes interpreter composition techniques suitable for the formal specification and verification of a processor-memory module using the HOL theorem proving system. The processor-memory module is a multichip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. Modeling and verification methods were developed that permit provably secure composition at the transaction-level of specification, significantly reducing the complexity of the hierarchical verification of the system.

Formal verification of medical monitoring software using Z language: a representative sample.

PubMed

Babamir, Seyed Morteza; Borhani, Mehdi

2012-08-01

Medical monitoring systems are useful aids assisting physicians in keeping patients under constant surveillance; however, taking sound decision by the systems is a physician concern. As a result, verification of the systems behavior in monitoring patients is a matter of significant. The patient monitoring is undertaken by software in modern medical systems; so, software verification of modern medial systems have been noticed. Such verification can be achieved by the Formal Languages having mathematical foundations. Among others, the Z language is a suitable formal language has been used to formal verification of systems. This study aims to present a constructive method to verify a representative sample of a medical system by which the system is visually specified and formally verified against patient constraints stated in Z Language. Exploiting our past experience in formal modeling Continuous Infusion Insulin Pump (CIIP), we think of the CIIP system as a representative sample of medical systems in proposing our present study. The system is responsible for monitoring diabetic's blood sugar.

Software Tools for Formal Specification and Verification of Distributed Real-Time Systems.

DTIC Science & Technology

1997-09-30

set of software tools for specification and verification of distributed real time systems using formal methods. The task of this SBIR Phase II effort...to be used by designers of real - time systems for early detection of errors. The mathematical complexity of formal specification and verification has

47 CFR 73.151 - Field strength measurements to establish performance of directional antennas.

Code of Federal Regulations, 2010 CFR

2010-10-01

... verified either by field strength measurement or by computer modeling and sampling system verification. (a... specifically identified by the Commission. (c) Computer modeling and sample system verification of modeled... performance verified by computer modeling and sample system verification. (1) A matrix of impedance...

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; ULTRASONIC AQUEOUS CLEANING SYSTEMS, SMART SONIC CORPORATION, SMART SONIC

EPA Science Inventory

This report is a product of the U.S. EPA's Environmental Technoloy Verification (ETV) Program and is focused on the Smart Sonics Ultrasonic Aqueous Cleaning Systems. The verification is based on three main objectives. (1) The Smart Sonic Aqueous Cleaning Systems, Model 2000 and...

Certification and verification for Northrup Model NSC-01-0732 Fresnel lens concentrating solar collector

DOE Office of Scientific and Technical Information (OSTI.GOV)

Not Available

1979-03-01

The certification and verification of the Northrup Model NSC-01-0732 Fresnel lens tracking solar collector are presented. A certification statement is included with signatures and a separate report on the structural analysis of the collector system. System verification against the Interim Performance Criteria are indicated by matrices with verification discussion, analysis, and enclosed test results.

The capability of lithography simulation based on MVM-SEM® system

NASA Astrophysics Data System (ADS)

Yoshikawa, Shingo; Fujii, Nobuaki; Kanno, Koichi; Imai, Hidemichi; Hayano, Katsuya; Miyashita, Hiroyuki; Shida, Soichi; Murakawa, Tsutomu; Kuribara, Masayuki; Matsumoto, Jun; Nakamura, Takayuki; Matsushita, Shohei; Hara, Daisuke; Pang, Linyong

2015-10-01

The 1Xnm technology node lithography is using SMO-ILT, NTD or more complex pattern. Therefore in mask defect inspection, defect verification becomes more difficult because many nuisance defects are detected in aggressive mask feature. One key Technology of mask manufacture is defect verification to use aerial image simulator or other printability simulation. AIMS™ Technology is excellent correlation for the wafer and standards tool for defect verification however it is difficult for verification over hundred numbers or more. We reported capability of defect verification based on lithography simulation with a SEM system that architecture and software is excellent correlation for simple line and space.[1] In this paper, we use a SEM system for the next generation combined with a lithography simulation tool for SMO-ILT, NTD and other complex pattern lithography. Furthermore we will use three dimension (3D) lithography simulation based on Multi Vision Metrology SEM system. Finally, we will confirm the performance of the 2D and 3D lithography simulation based on SEM system for a photomask verification.

Verification of Triple Modular Redundancy (TMR) Insertion for Reliable and Trusted Systems

NASA Technical Reports Server (NTRS)

Berg, Melanie; LaBel, Kenneth A.

2016-01-01

We propose a method for TMR insertion verification that satisfies the process for reliable and trusted systems. If a system is expected to be protected using TMR, improper insertion can jeopardize the reliability and security of the system. Due to the complexity of the verification process, there are currently no available techniques that can provide complete and reliable confirmation of TMR insertion. This manuscript addresses the challenge of confirming that TMR has been inserted without corruption of functionality and with correct application of the expected TMR topology. The proposed verification method combines the usage of existing formal analysis tools with a novel search-detect-and-verify tool. Field programmable gate array (FPGA),Triple Modular Redundancy (TMR),Verification, Trust, Reliability,

Certification and verification for Northrup model NSC-01-0732 fresnel lens concentrating solar collector

NASA Technical Reports Server (NTRS)

1979-01-01

Structural analysis and certification of the collector system is presented. System verification against the interim performance criteria is presented and indicated by matrices. The verification discussion, analysis, and test results are also given.

Space Station automated systems testing/verification and the Galileo Orbiter fault protection design/verification

NASA Technical Reports Server (NTRS)

Landano, M. R.; Easter, R. W.

1984-01-01

Aspects of Space Station automated systems testing and verification are discussed, taking into account several program requirements. It is found that these requirements lead to a number of issues of uncertainties which require study and resolution during the Space Station definition phase. Most, if not all, of the considered uncertainties have implications for the overall testing and verification strategy adopted by the Space Station Program. A description is given of the Galileo Orbiter fault protection design/verification approach. Attention is given to a mission description, an Orbiter description, the design approach and process, the fault protection design verification approach/process, and problems of 'stress' testing.

Mechanical Systems

NASA Technical Reports Server (NTRS)

Davis, Robert E.

2002-01-01

The presentation provides an overview of requirement and interpretation letters, mechanical systems safety interpretation letter, design and verification provisions, and mechanical systems verification plan.

Cleared for Launch - Lessons Learned from the OSIRIS-REx System Requirements Verification Program

NASA Technical Reports Server (NTRS)

Stevens, Craig; Adams, Angela; Williams, Bradley; Goodloe, Colby

2017-01-01

Requirements verification of a large flight system is a challenge. It is especially challenging for engineers taking on their first role in space systems engineering. This paper describes our approach to verification of the Origins, Spectral Interpretation, Resource Identification, Security-Regolith Explorer (OSIRIS-REx) system requirements. It also captures lessons learned along the way from developing systems engineers embroiled in this process. We begin with an overview of the mission and science objectives as well as the project requirements verification program strategy. A description of the requirements flow down is presented including our implementation for managing the thousands of program and element level requirements and associated verification data. We discuss both successes and methods to improve the managing of this data across multiple organizational interfaces. Our approach to verifying system requirements at multiple levels of assembly is presented using examples from our work at instrument, spacecraft, and ground segment levels. We include a discussion of system end-to-end testing limitations and their impacts to the verification program. Finally, we describe lessons learned that are applicable to all emerging space systems engineers using our unique perspectives across multiple organizations of a large NASA program.

75 FR 4101 - Enterprise Income Verification (EIV) System User Access Authorization Form and Rules of Behavior...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-01-26

... Verification (EIV) System User Access Authorization Form and Rules of Behavior and User Agreement AGENCY... lists the following information: Title of Proposal: Enterprise Income Verification (EIV) System User Access, Authorization Form and Rules Of Behavior and User Agreement. OMB Approval Number: 2577-New. Form...

Control and Non-Payload Communications (CNPC) Prototype Radio Verification Test Report

NASA Technical Reports Server (NTRS)

Bishop, William D.; Frantz, Brian D.; Thadhani, Suresh K.; Young, Daniel P.

2017-01-01

This report provides an overview and results from the verification of the specifications that defines the operational capabilities of the airborne and ground, L Band and C Band, Command and Non-Payload Communications radio link system. An overview of system verification is provided along with an overview of the operation of the radio. Measurement results are presented for verification of the radios operation.

34 CFR 668.49 - Institutional fire safety policies and fire statistics.

Code of Federal Regulations, 2011 CFR

2011-07-01

... fire. Fire safety system: Any mechanism or system related to the detection of a fire, the warning resulting from a fire, or the control of a fire. This may include sprinkler systems or other fire extinguishing systems, fire detection devices, stand-alone smoke alarms, devices that alert one to the presence...

34 CFR 668.49 - Institutional fire safety policies and fire statistics.

Code of Federal Regulations, 2012 CFR

2012-07-01

... fire. Fire safety system: Any mechanism or system related to the detection of a fire, the warning resulting from a fire, or the control of a fire. This may include sprinkler systems or other fire extinguishing systems, fire detection devices, stand-alone smoke alarms, devices that alert one to the presence...

34 CFR 668.49 - Institutional fire safety policies and fire statistics.

Code of Federal Regulations, 2014 CFR

2014-07-01

... fire. Fire safety system: Any mechanism or system related to the detection of a fire, the warning resulting from a fire, or the control of a fire. This may include sprinkler systems or other fire extinguishing systems, fire detection devices, stand-alone smoke alarms, devices that alert one to the presence...

34 CFR 668.49 - Institutional fire safety policies and fire statistics.

Code of Federal Regulations, 2013 CFR

2013-07-01

... fire. Fire safety system: Any mechanism or system related to the detection of a fire, the warning resulting from a fire, or the control of a fire. This may include sprinkler systems or other fire extinguishing systems, fire detection devices, stand-alone smoke alarms, devices that alert one to the presence...

Reusable Solid Rocket Motor Nozzle Joint-4 Thermal Analysis

NASA Technical Reports Server (NTRS)

Clayton, J. Louie

2001-01-01

This study provides for development and test verification of a thermal model used for prediction of joint heating environments, structural temperatures and seal erosions in the Space Shuttle Reusable Solid Rocket Motor (RSRM) Nozzle Joint-4. The heating environments are a result of rapid pressurization of the joint free volume assuming a leak path has occurred in the filler material used for assembly gap close out. Combustion gases flow along the leak path from nozzle environment to joint O-ring gland resulting in local heating to the metal housing and erosion of seal materials. Analysis of this condition was based on usage of the NASA Joint Pressurization Routine (JPR) for environment determination and the Systems Improved Numerical Differencing Analyzer (SINDA) for structural temperature prediction. Model generated temperatures, pressures and seal erosions are compared to hot fire test data for several different leak path situations. Investigated in the hot fire test program were nozzle joint-4 O-ring erosion sensitivities to leak path width in both open and confined joint geometries. Model predictions were in generally good agreement with the test data for the confined leak path cases. Worst case flight predictions are provided using the test-calibrated model. Analysis issues are discussed based on model calibration procedures.

Design for Verification: Enabling Verification of High Dependability Software-Intensive Systems

NASA Technical Reports Server (NTRS)

Mehlitz, Peter C.; Penix, John; Markosian, Lawrence Z.; Koga, Dennis (Technical Monitor)

2003-01-01

Strategies to achieve confidence that high-dependability applications are correctly implemented include testing and automated verification. Testing deals mainly with a limited number of expected execution paths. Verification usually attempts to deal with a larger number of possible execution paths. While the impact of architecture design on testing is well known, its impact on most verification methods is not as well understood. The Design for Verification approach considers verification from the application development perspective, in which system architecture is designed explicitly according to the application's key properties. The D4V-hypothesis is that the same general architecture and design principles that lead to good modularity, extensibility and complexity/functionality ratio can be adapted to overcome some of the constraints on verification tools, such as the production of hand-crafted models and the limits on dynamic and static analysis caused by state space explosion.

Modality Switching in a Property Verification Task: An ERP Study of What Happens When Candles Flicker after High Heels Click

PubMed Central

Collins, Jennifer; Pecher, Diane; Zeelenberg, René; Coulson, Seana

2011-01-01

The perceptual modalities associated with property words, such as flicker or click, have previously been demonstrated to affect subsequent property verification judgments (Pecher et al., 2003). Known as the conceptual modality switch effect, this finding supports the claim that brain systems for perception and action help subserve the representation of concepts. The present study addressed the cognitive and neural substrate of this effect by recording event-related potentials (ERPs) as participants performed a property verification task with visual or auditory properties in key trials. We found that for visual property verifications, modality switching was associated with an increased amplitude N400. For auditory verifications, switching led to a larger late positive complex. Observed ERP effects of modality switching suggest property words access perceptual brain systems. Moreover, the timing and pattern of the effects suggest perceptual systems impact the decision-making stage in the verification of auditory properties, and the semantic stage in the verification of visual properties. PMID:21713128

Modality Switching in a Property Verification Task: An ERP Study of What Happens When Candles Flicker after High Heels Click.

PubMed

Collins, Jennifer; Pecher, Diane; Zeelenberg, René; Coulson, Seana

2011-01-01

The perceptual modalities associated with property words, such as flicker or click, have previously been demonstrated to affect subsequent property verification judgments (Pecher et al., 2003). Known as the conceptual modality switch effect, this finding supports the claim that brain systems for perception and action help subserve the representation of concepts. The present study addressed the cognitive and neural substrate of this effect by recording event-related potentials (ERPs) as participants performed a property verification task with visual or auditory properties in key trials. We found that for visual property verifications, modality switching was associated with an increased amplitude N400. For auditory verifications, switching led to a larger late positive complex. Observed ERP effects of modality switching suggest property words access perceptual brain systems. Moreover, the timing and pattern of the effects suggest perceptual systems impact the decision-making stage in the verification of auditory properties, and the semantic stage in the verification of visual properties.

[Study on discrimination of varieties of fire resistive coating for steel structure based on near-infrared spectroscopy].

PubMed

Xue, Gang; Song, Wen-qi; Li, Shu-chao

2015-01-01

In order to achieve the rapid identification of fire resistive coating for steel structure of different brands in circulating, a new method for the fast discrimination of varieties of fire resistive coating for steel structure by means of near infrared spectroscopy was proposed. The raster scanning near infrared spectroscopy instrument and near infrared diffuse reflectance spectroscopy were applied to collect the spectral curve of different brands of fire resistive coating for steel structure and the spectral data were preprocessed with standard normal variate transformation(standard normal variate transformation, SNV) and Norris second derivative. The principal component analysis (principal component analysis, PCA)was used to near infrared spectra for cluster analysis. The analysis results showed that the cumulate reliabilities of PC1 to PC5 were 99. 791%. The 3-dimentional plot was drawn with the scores of PC1, PC2 and PC3 X 10, which appeared to provide the best clustering of the varieties of fire resistive coating for steel structure. A total of 150 fire resistive coating samples were divided into calibration set and validation set randomly, the calibration set had 125 samples with 25 samples of each variety, and the validation set had 25 samples with 5 samples of each variety. According to the principal component scores of unknown samples, Mahalanobis distance values between each variety and unknown samples were calculated to realize the discrimination of different varieties. The qualitative analysis model for external verification of unknown samples is a 10% recognition ration. The results demonstrated that this identification method can be used as a rapid, accurate method to identify the classification of fire resistive coating for steel structure and provide technical reference for market regulation.

Requirements, Verification, and Compliance (RVC) Database Tool

NASA Technical Reports Server (NTRS)

Rainwater, Neil E., II; McDuffee, Patrick B.; Thomas, L. Dale

2001-01-01

This paper describes the development, design, and implementation of the Requirements, Verification, and Compliance (RVC) database used on the International Space Welding Experiment (ISWE) project managed at Marshall Space Flight Center. The RVC is a systems engineer's tool for automating and managing the following information: requirements; requirements traceability; verification requirements; verification planning; verification success criteria; and compliance status. This information normally contained within documents (e.g. specifications, plans) is contained in an electronic database that allows the project team members to access, query, and status the requirements, verification, and compliance information from their individual desktop computers. Using commercial-off-the-shelf (COTS) database software that contains networking capabilities, the RVC was developed not only with cost savings in mind but primarily for the purpose of providing a more efficient and effective automated method of maintaining and distributing the systems engineering information. In addition, the RVC approach provides the systems engineer the capability to develop and tailor various reports containing the requirements, verification, and compliance information that meets the needs of the project team members. The automated approach of the RVC for capturing and distributing the information improves the productivity of the systems engineer by allowing that person to concentrate more on the job of developing good requirements and verification programs and not on the effort of being a "document developer".

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT HYDRO COMPLIANCE MANAGEMENT, INC. HYDRO-KLEEN FILTRATION SYSTEM, 03/07/WQPC-SWP, SEPTEMBER 2003

EPA Science Inventory

Verification testing of the Hydro-Kleen(TM) Filtration System, a catch-basin filter designed to reduce hydrocarbon, sediment, and metals contamination from surface water flows, was conducted at NSF International in Ann Arbor, Michigan. A Hydro-Kleen(TM) system was fitted into a ...

Verification of an on line in vivo semiconductor dosimetry system for TBI with two TLD procedures.

PubMed

Sánchez-Doblado, F; Terrón, J A; Sánchez-Nieto, B; Arráns, R; Errazquin, L; Biggs, D; Lee, C; Núñez, L; Delgado, A; Muñiz, J L

1995-01-01

This work presents the verification of an on line in vivo dosimetry system based on semiconductors. Software and hardware has been designed to convert the diode signal into absorbed dose. Final verification was made in the form of an intercomparison with two independent thermoluminiscent (TLD) dosimetry systems, under TBI conditions.

49 CFR Appendix F to Part 236 - Minimum Requirements of FRA Directed Independent Third-Party Assessment of PTC System Safety...

Code of Federal Regulations, 2012 CFR

2012-10-01

... Third-Party Assessment of PTC System Safety Verification and Validation F Appendix F to Part 236... Safety Verification and Validation (a) This appendix provides minimum requirements for mandatory independent third-party assessment of PTC system safety verification and validation pursuant to subpart H or I...

49 CFR Appendix F to Part 236 - Minimum Requirements of FRA Directed Independent Third-Party Assessment of PTC System Safety...

Code of Federal Regulations, 2014 CFR

2014-10-01

... Third-Party Assessment of PTC System Safety Verification and Validation F Appendix F to Part 236... Safety Verification and Validation (a) This appendix provides minimum requirements for mandatory independent third-party assessment of PTC system safety verification and validation pursuant to subpart H or I...

49 CFR Appendix F to Part 236 - Minimum Requirements of FRA Directed Independent Third-Party Assessment of PTC System Safety...

Code of Federal Regulations, 2011 CFR

2011-10-01

... Third-Party Assessment of PTC System Safety Verification and Validation F Appendix F to Part 236... Safety Verification and Validation (a) This appendix provides minimum requirements for mandatory independent third-party assessment of PTC system safety verification and validation pursuant to subpart H or I...

49 CFR Appendix F to Part 236 - Minimum Requirements of FRA Directed Independent Third-Party Assessment of PTC System Safety...

Code of Federal Regulations, 2013 CFR

2013-10-01

... Third-Party Assessment of PTC System Safety Verification and Validation F Appendix F to Part 236... Safety Verification and Validation (a) This appendix provides minimum requirements for mandatory independent third-party assessment of PTC system safety verification and validation pursuant to subpart H or I...

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - GROUNDWATER SAMPLING TECHNOLOGIES - QED ENVIRONMENTAL SYSTEMS INC. WELL WIZARD DEDICATED SAMPLING SYSTEM

EPA Science Inventory

The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

46 CFR 61.40-3 - Design verification testing.

Code of Federal Regulations, 2010 CFR

2010-10-01

... Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) MARINE ENGINEERING PERIODIC TESTS AND INSPECTIONS Design Verification and Periodic Testing of Vital System Automation § 61.40-3 Design verification testing. (a) Tests must verify that automated vital systems are designed, constructed, and operate in...

Options and Risk for Qualification of Electric Propulsion System

NASA Technical Reports Server (NTRS)

Bailey, Michelle; Daniel, Charles; Cook, Steve (Technical Monitor)

2002-01-01

Electric propulsion vehicle systems envelop a wide range of propulsion alternatives including solar and nuclear, which present unique circumstances for qualification. This paper will address the alternatives for qualification of electric propulsion spacecraft systems. The approach taken will be to address the considerations for qualification at the various levels of systems definition. Additionally, for each level of qualification the system level risk implications will be developed. Also, the paper will explore the implications of analysis verses test for various levels of systems definition, while retaining the objectives of a verification program. The limitations of terrestrial testing will be explored along with the risk and implications of orbital demonstration testing. The paper will seek to develop a template for structuring of a verification program based on cost, risk and value return. A successful verification program should establish controls and define objectives of the verification compliance program. Finally the paper will seek to address the political and programmatic factors, which may impact options for system verification.

Free microparticles—An inducing mechanism of pre-firing in high pressure gas switches for fast linear transformer drivers

NASA Astrophysics Data System (ADS)

Li, Xiaoang; Pei, Zhehao; Wu, Zhicheng; Zhang, Yuzhao; Liu, Xuandong; Li, Yongdong; Zhang, Qiaogen

2018-03-01

Microparticle initiated pre-firing of high pressure gas switches for fast linear transformer drivers (FLTDs) is experimentally and theoretically verified. First, a dual-electrode gas switch equipped with poly-methyl methacrylate baffles is used to capture and collect the microparticles. By analyzing the electrode surfaces and the collecting baffles by a laser scanning confocal microscope, microparticles ranging in size from tens of micrometers to over 100 μm are observed under the typical working conditions of FLTDs. The charging and movement of free microparticles in switch cavity are studied, and the strong DC electric field drives the microparticles to bounce off the electrode. Three different modes of free microparticle motion appear to be responsible for switch pre-firing. (i) Microparticles adhere to the electrode surface and act as a fixed protrusion which distorts the local electric field and initiates the breakdown in the gap. (ii) One particle escapes toward the opposite electrode and causes a near-electrode microdischarge, inducing the breakdown of the residual gap. (iii) Multiple moving microparticles are occasionally in cascade, leading to pre-firing. Finally, as experimental verification, repetitive discharges at ±90 kV are conducted in a three-electrode field-distortion gas switch, with two 8 mm gaps and pressurized with nitrogen. An ultrasonic probe is employed to monitor the bounce signals. In pre-firing incidents, the bounce is detected shortly before the collapse of the voltage waveform, which demonstrates that free microparticles contribute significantly to the mechanism that induces pre-firing in FLTD gas switches.

Free microparticles-An inducing mechanism of pre-firing in high pressure gas switches for fast linear transformer drivers.

PubMed

Li, Xiaoang; Pei, Zhehao; Wu, Zhicheng; Zhang, Yuzhao; Liu, Xuandong; Li, Yongdong; Zhang, Qiaogen

2018-03-01

Microparticle initiated pre-firing of high pressure gas switches for fast linear transformer drivers (FLTDs) is experimentally and theoretically verified. First, a dual-electrode gas switch equipped with poly-methyl methacrylate baffles is used to capture and collect the microparticles. By analyzing the electrode surfaces and the collecting baffles by a laser scanning confocal microscope, microparticles ranging in size from tens of micrometers to over 100 μm are observed under the typical working conditions of FLTDs. The charging and movement of free microparticles in switch cavity are studied, and the strong DC electric field drives the microparticles to bounce off the electrode. Three different modes of free microparticle motion appear to be responsible for switch pre-firing. (i) Microparticles adhere to the electrode surface and act as a fixed protrusion which distorts the local electric field and initiates the breakdown in the gap. (ii) One particle escapes toward the opposite electrode and causes a near-electrode microdischarge, inducing the breakdown of the residual gap. (iii) Multiple moving microparticles are occasionally in cascade, leading to pre-firing. Finally, as experimental verification, repetitive discharges at ±90 kV are conducted in a three-electrode field-distortion gas switch, with two 8 mm gaps and pressurized with nitrogen. An ultrasonic probe is employed to monitor the bounce signals. In pre-firing incidents, the bounce is detected shortly before the collapse of the voltage waveform, which demonstrates that free microparticles contribute significantly to the mechanism that induces pre-firing in FLTD gas switches.

Using the Large Fire Simulator System to map wildland fire potential for the conterminous United States

Treesearch

LaWen Hollingsworth; James Menakis

2010-01-01

This project mapped wildland fire potential (WFP) for the conterminous United States by using the large fire simulation system developed for Fire Program Analysis (FPA) System. The large fire simulation system, referred to here as LFSim, consists of modules for weather generation, fire occurrence, fire suppression, and fire growth modeling. Weather was generated with...

Electronic firing systems and methods for firing a device

DOEpatents

Frickey, Steven J [Boise, ID; Svoboda, John M [Idaho Falls, ID

2012-04-24

An electronic firing system comprising a control system, a charging system, an electrical energy storage device, a shock tube firing circuit, a shock tube connector, a blasting cap firing circuit, and a blasting cap connector. The control system controls the charging system, which charges the electrical energy storage device. The control system also controls the shock tube firing circuit and the blasting cap firing circuit. When desired, the control system signals the shock tube firing circuit or blasting cap firing circuit to electrically connect the electrical energy storage device to the shock tube connector or the blasting cap connector respectively.

75 FR 38765 - Domestic Origin Verification System Questionnaire and Regulations Governing Inspection and...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-07-06

...] Domestic Origin Verification System Questionnaire and Regulations Governing Inspection and Certification of... inspection at the above office during regular business hours. Please be advised that all comments submitted... submitting the comments will be made public. SUPPLEMENTARY INFORMATION: Title: ``Domestic Origin Verification...

ENVIRONMENTAL TECHNOLOGY VERIFICATION: Reduction of Nitrogen in Domestic Wastewater from Individual Residential Homes. BioConcepts, Inc. ReCip® RTS ~ 500 System

EPA Science Inventory

Verification testing of the ReCip® RTS-500 System was conducted over a 12-month period at the Massachusetts Alternative Septic System Test Center (MASSTC) located on Otis Air National Guard Base in Bourne, Massachusetts. A nine-week startup period preceded the verification test t...

Overview of the TOPEX/Poseidon Platform Harvest Verification Experiment

NASA Technical Reports Server (NTRS)

Morris, Charles S.; DiNardo, Steven J.; Christensen, Edward J.

1995-01-01

An overview is given of the in situ measurement system installed on Texaco's Platform Harvest for verification of the sea level measurement from the TOPEX/Poseidon satellite. The prelaunch error budget suggested that the total root mean square (RMS) error due to measurements made at this verification site would be less than 4 cm. The actual error budget for the verification site is within these original specifications. However, evaluation of the sea level data from three measurement systems at the platform has resulted in unexpectedly large differences between the systems. Comparison of the sea level measurements from the different tide gauge systems has led to a better understanding of the problems of measuring sea level in relatively deep ocean. As of May 1994, the Platform Harvest verification site has successfully supported 60 TOPEX/Poseidon overflights.

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification

NASA Technical Reports Server (NTRS)

Srivas, Mandayam; Bickford, Mark

1991-01-01

The design and formal verification of a hardware system for a task that is an important component of a fault tolerant computer architecture for flight control systems is presented. The hardware system implements an algorithm for obtaining interactive consistancy (byzantine agreement) among four microprocessors as a special instruction on the processors. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, provided certain preconditions hold. An assumption is made that the processors execute synchronously. For verification, the authors used a computer aided design hardware design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Towards the formal verification of the requirements and design of a processor interface unit

NASA Technical Reports Server (NTRS)

Fura, David A.; Windley, Phillip J.; Cohen, Gerald C.

1993-01-01

The formal verification of the design and partial requirements for a Processor Interface Unit (PIU) using the Higher Order Logic (HOL) theorem-proving system is described. The processor interface unit is a single-chip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. It provides the opportunity to investigate the specification and verification of a real-world subsystem within a commercially-developed fault-tolerant computer. An overview of the PIU verification effort is given. The actual HOL listing from the verification effort are documented in a companion NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings' including the general-purpose HOL theories and definitions that support the PIU verification as well as tactics used in the proofs.

Real-Time Simulation of the X-33 Aerospace Engine

NASA Technical Reports Server (NTRS)

Aguilar, Robert

1999-01-01

This paper discusses the development and performance of the X-33 Aerospike Engine RealTime Model. This model was developed for the purposes of control law development, six degree-of-freedom trajectory analysis, vehicle system integration testing, and hardware-in-the loop controller verification. The Real-Time Model uses time-step marching solution of non-linear differential equations representing the physical processes involved in the operation of a liquid propellant rocket engine, albeit in a simplified form. These processes include heat transfer, fluid dynamics, combustion, and turbomachine performance. Two engine models are typically employed in order to accurately model maneuvering and the powerpack-out condition where the power section of one engine is used to supply propellants to both engines if one engine malfunctions. The X-33 Real-Time Model is compared to actual hot fire test data and is been found to be in good agreement.

14 CFR 29.1195 - Fire extinguishing systems.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Fire extinguishing systems. 29.1195 Section... AIRWORTHINESS STANDARDS: TRANSPORT CATEGORY ROTORCRAFT Powerplant Powerplant Fire Protection § 29.1195 Fire... inches must have a fire extinguishing system for the designated fire zones. The fire extinguishing system...

77 FR 50723 - Verification, Validation, Reviews, and Audits for Digital Computer Software Used in Safety...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-08-22

... Digital Computer Software Used in Safety Systems of Nuclear Power Plants AGENCY: Nuclear Regulatory..., ``Verification, Validation, Reviews, and Audits for Digital Computer Software used in Safety Systems of Nuclear... NRC regulations promoting the development of, and compliance with, software verification and...

Resolution verification targets for airborne and spaceborne imaging systems at the Stennis Space Center

NASA Astrophysics Data System (ADS)

McKellip, Rodney; Yuan, Ding; Graham, William; Holland, Donald E.; Stone, David; Walser, William E.; Mao, Chengye

1997-06-01

The number of available spaceborne and airborne systems will dramatically increase over the next few years. A common systematic approach toward verification of these systems will become important for comparing the systems' operational performance. The Commercial Remote Sensing Program at the John C. Stennis Space Center (SSC) in Mississippi has developed design requirements for a remote sensing verification target range to provide a means to evaluate spatial, spectral, and radiometric performance of optical digital remote sensing systems. The verification target range consists of spatial, spectral, and radiometric targets painted on a 150- by 150-meter concrete pad located at SSC. The design criteria for this target range are based upon work over a smaller, prototypical target range at SSC during 1996. This paper outlines the purpose and design of the verification target range based upon an understanding of the systems to be evaluated as well as data analysis results from the prototypical target range.

40 CFR 1066.240 - Torque transducer verification.

Code of Federal Regulations, 2014 CFR

2014-07-01

... POLLUTION CONTROLS VEHICLE-TESTING PROCEDURES Dynamometer Specifications § 1066.240 Torque transducer verification. Verify torque-measurement systems by performing the verifications described in §§ 1066.270 and... 40 Protection of Environment 33 2014-07-01 2014-07-01 false Torque transducer verification. 1066...

A hardware-software system for the automation of verification and calibration of oil metering units secondary equipment

NASA Astrophysics Data System (ADS)

Boyarnikov, A. V.; Boyarnikova, L. V.; Kozhushko, A. A.; Sekachev, A. F.

2017-08-01

In the article the process of verification (calibration) of oil metering units secondary equipment is considered. The purpose of the work is to increase the reliability and reduce the complexity of this process by developing a software and hardware system that provides automated verification and calibration. The hardware part of this complex carries out the commutation of the measuring channels of the verified controller and the reference channels of the calibrator in accordance with the introduced algorithm. The developed software allows controlling the commutation of channels, setting values on the calibrator, reading the measured data from the controller, calculating errors and compiling protocols. This system can be used for checking the controllers of the secondary equipment of the oil metering units in the automatic verification mode (with the open communication protocol) or in the semi-automatic verification mode (without it). The peculiar feature of the approach used is the development of a universal signal switch operating under software control, which can be configured for various verification methods (calibration), which allows to cover the entire range of controllers of metering units secondary equipment. The use of automatic verification with the help of a hardware and software system allows to shorten the verification time by 5-10 times and to increase the reliability of measurements, excluding the influence of the human factor.

Verification of Triple Modular Redundancy Insertion for Reliable and Trusted Systems

NASA Technical Reports Server (NTRS)

Berg, Melanie; LaBel, Kenneth

2016-01-01

If a system is required to be protected using triple modular redundancy (TMR), improper insertion can jeopardize the reliability and security of the system. Due to the complexity of the verification process and the complexity of digital designs, there are currently no available techniques that can provide complete and reliable confirmation of TMR insertion. We propose a method for TMR insertion verification that satisfies the process for reliable and trusted systems.

48 CFR 4.1302 - Acquisition of approved products and services for personal identity verification.

Code of Federal Regulations, 2010 CFR

2010-10-01

... products and services for personal identity verification. 4.1302 Section 4.1302 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION GENERAL ADMINISTRATIVE MATTERS Personal Identity Verification 4.1302 Acquisition of approved products and services for personal identity verification. (a) In...

48 CFR 4.1302 - Acquisition of approved products and services for personal identity verification.

Code of Federal Regulations, 2012 CFR

2012-10-01

... products and services for personal identity verification. 4.1302 Section 4.1302 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION GENERAL ADMINISTRATIVE MATTERS Personal Identity Verification 4.1302 Acquisition of approved products and services for personal identity verification. (a) In...

48 CFR 4.1302 - Acquisition of approved products and services for personal identity verification.

Code of Federal Regulations, 2011 CFR

2011-10-01

... products and services for personal identity verification. 4.1302 Section 4.1302 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION GENERAL ADMINISTRATIVE MATTERS Personal Identity Verification 4.1302 Acquisition of approved products and services for personal identity verification. (a) In...

48 CFR 4.1302 - Acquisition of approved products and services for personal identity verification.

Code of Federal Regulations, 2013 CFR

2013-10-01

... products and services for personal identity verification. 4.1302 Section 4.1302 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION GENERAL ADMINISTRATIVE MATTERS Personal Identity Verification 4.1302 Acquisition of approved products and services for personal identity verification. (a) In...

48 CFR 4.1302 - Acquisition of approved products and services for personal identity verification.

Code of Federal Regulations, 2014 CFR

2014-10-01

... products and services for personal identity verification. 4.1302 Section 4.1302 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION GENERAL ADMINISTRATIVE MATTERS Personal Identity Verification 4.1302 Acquisition of approved products and services for personal identity verification. (a) In...

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT FOR THE REDUCTION OF NITROGEN IN DOMESTIC WASTEWATER FROM INDIVIDUAL RESIDENTIAL HOMES, WATERLOO BIOFILTER® MODEL 4-BEDROOM (NSF 02/03/WQPC-SWP)

EPA Science Inventory

Verification testing of the Waterloo Biofilter Systems (WBS), Inc. Waterloo Biofilter® Model 4-Bedroom system was conducted over a thirteen month period at the Massachusetts Alternative Septic System Test Center (MASSTC) located at Otis Air National Guard Base in Bourne, Mas...

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSDF-EPA) VERIFICATION STATEMENT AND REPORT FOR THE REDUCTION OF NITROGEN IN DOMESTIC WASTEWATER FROM INDIVIDUAL HOMES, SEPTITECH, INC. MODEL 400 SYSTEM - 02/04/WQPC-SWP

EPA Science Inventory

Verification testing of the SeptiTech Model 400 System was conducted over a twelve month period at the Massachusetts Alternative Septic System Test Center (MASSTC) located at the Otis Air National Guard Base in Borne, MA. Sanitary Sewerage from the base residential housing was u...

Current status of verification practices in clinical biochemistry in Spain.

PubMed

Gómez-Rioja, Rubén; Alvarez, Virtudes; Ventura, Montserrat; Alsina, M Jesús; Barba, Núria; Cortés, Mariano; Llopis, María Antonia; Martínez, Cecilia; Ibarz, Mercè

2013-09-01

Verification uses logical algorithms to detect potential errors before laboratory results are released to the clinician. Even though verification is one of the main processes in all laboratories, there is a lack of standardization mainly in the algorithms used and the criteria and verification limits applied. A survey in clinical laboratories in Spain was conducted in order to assess the verification process, particularly the use of autoverification. Questionnaires were sent to the laboratories involved in the External Quality Assurance Program organized by the Spanish Society of Clinical Biochemistry and Molecular Pathology. Seven common biochemical parameters were included (glucose, cholesterol, triglycerides, creatinine, potassium, calcium, and alanine aminotransferase). Completed questionnaires were received from 85 laboratories. Nearly all the laboratories reported using the following seven verification criteria: internal quality control, instrument warnings, sample deterioration, reference limits, clinical data, concordance between parameters, and verification of results. The use of all verification criteria varied according to the type of verification (automatic, technical, or medical). Verification limits for these parameters are similar to biological reference ranges. Delta Check was used in 24% of laboratories. Most laboratories (64%) reported using autoverification systems. Autoverification use was related to laboratory size, ownership, and type of laboratory information system, but amount of use (percentage of test autoverified) was not related to laboratory size. A total of 36% of Spanish laboratories do not use autoverification, despite the general implementation of laboratory information systems, most of them, with autoverification ability. Criteria and rules for seven routine biochemical tests were obtained.

Use of metaknowledge in the verification of knowledge-based systems

NASA Technical Reports Server (NTRS)

Morell, Larry J.

1989-01-01

Knowledge-based systems are modeled as deductive systems. The model indicates that the two primary areas of concern in verification are demonstrating consistency and completeness. A system is inconsistent if it asserts something that is not true of the modeled domain. A system is incomplete if it lacks deductive capability. Two forms of consistency are discussed along with appropriate verification methods. Three forms of incompleteness are discussed. The use of metaknowledge, knowledge about knowledge, is explored in connection to each form of incompleteness.

DoD Is Not Properly Monitoring the Initiation of Maintenance for Facilities at Kandahar Airfield, Afghanistan (REDACTED)

DTIC Science & Technology

2013-09-30

fire sprinkler system during the initial construction of the RSOI facilities. The construction contract to build the RSOI...International Building Code. Compliant manual and automatic fire alarm and notification systems , portable fire extinguishers, fire sprinkler systems ...automatic fire sprinkler system that was not operational, a fire department connection that was obstructed, and a fire detection system

Environmental Technology Verification: Biological Inactivation Efficiency by HVAC In-Duct Ultraviolet Light Systems--American Ultraviolet Corporation, DC24-6-120 [EPA600etv08005

EPA Science Inventory

The Air Pollution Control Technology Verification Center (APCT Center) is operated by RTI International (RTI), in cooperation with EPA's National Risk Management Research Laboratory. The APCT Center conducts verifications of technologies that clean air in ventilation systems, inc...

45 CFR 95.626 - Independent Verification and Validation.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 45 Public Welfare 1 2013-10-01 2013-10-01 false Independent Verification and Validation. 95.626... (FFP) Specific Conditions for Ffp § 95.626 Independent Verification and Validation. (a) An assessment for independent verification and validation (IV&V) analysis of a State's system development effort may...

45 CFR 95.626 - Independent Verification and Validation.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 45 Public Welfare 1 2014-10-01 2014-10-01 false Independent Verification and Validation. 95.626... (FFP) Specific Conditions for Ffp § 95.626 Independent Verification and Validation. (a) An assessment for independent verification and validation (IV&V) analysis of a State's system development effort may...

45 CFR 95.626 - Independent Verification and Validation.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 45 Public Welfare 1 2011-10-01 2011-10-01 false Independent Verification and Validation. 95.626... (FFP) Specific Conditions for Ffp § 95.626 Independent Verification and Validation. (a) An assessment for independent verification and validation (IV&V) analysis of a State's system development effort may...

45 CFR 95.626 - Independent Verification and Validation.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 45 Public Welfare 1 2012-10-01 2012-10-01 false Independent Verification and Validation. 95.626... (FFP) Specific Conditions for Ffp § 95.626 Independent Verification and Validation. (a) An assessment for independent verification and validation (IV&V) analysis of a State's system development effort may...

24 CFR 5.512 - Verification of eligible immigration status.

Code of Federal Regulations, 2010 CFR

2010-04-01

... immigration status. 5.512 Section 5.512 Housing and Urban Development Office of the Secretary, Department of... Noncitizens § 5.512 Verification of eligible immigration status. (a) General. Except as described in paragraph...) Primary verification—(1) Automated verification system. Primary verification of the immigration status of...

46 CFR 161.002-2 - Types of fire-protective systems.

Code of Federal Regulations, 2012 CFR

2012-10-01

..., but not be limited to, automatic fire and smoke detecting systems, manual fire alarm systems, sample... unit, fire detectors, smoke detectors, and audible and visual alarms distinct in both respects from the alarms of any other system not indicating fire. (c) Manual fire alarm systems. For the purpose of this...

30 CFR 75.1103-6 - Automatic fire sensors; actuation of fire suppression systems.

Code of Federal Regulations, 2010 CFR

2010-07-01

... Protection § 75.1103-6 Automatic fire sensors; actuation of fire suppression systems. Point-type heat sensors or automatic fire sensor and warning device systems may be used to actuate deluge-type water systems... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Automatic fire sensors; actuation of fire...

30 CFR 75.1103-6 - Automatic fire sensors; actuation of fire suppression systems.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Automatic fire sensors; actuation of fire... Protection § 75.1103-6 Automatic fire sensors; actuation of fire suppression systems. Point-type heat sensors or automatic fire sensor and warning device systems may be used to actuate deluge-type water systems...

30 CFR 75.1103-6 - Automatic fire sensors; actuation of fire suppression systems.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Automatic fire sensors; actuation of fire... Protection § 75.1103-6 Automatic fire sensors; actuation of fire suppression systems. Point-type heat sensors or automatic fire sensor and warning device systems may be used to actuate deluge-type water systems...

30 CFR 75.1103-6 - Automatic fire sensors; actuation of fire suppression systems.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Automatic fire sensors; actuation of fire... Protection § 75.1103-6 Automatic fire sensors; actuation of fire suppression systems. Point-type heat sensors or automatic fire sensor and warning device systems may be used to actuate deluge-type water systems...

30 CFR 75.1103-6 - Automatic fire sensors; actuation of fire suppression systems.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Automatic fire sensors; actuation of fire... Protection § 75.1103-6 Automatic fire sensors; actuation of fire suppression systems. Point-type heat sensors or automatic fire sensor and warning device systems may be used to actuate deluge-type water systems...

46 CFR 161.002-2 - Types of fire-protective systems.

Code of Federal Regulations, 2013 CFR

2013-10-01

..., but not be limited to, automatic fire and smoke detecting systems, manual fire alarm systems, sample extraction smoke detection systems, watchman's supervisory systems, and combinations of these systems. (b) Automatic fire detecting systems. For the purpose of this subpart, automatic fire and smoke detecting...

46 CFR 161.002-2 - Types of fire-protective systems.

Code of Federal Regulations, 2014 CFR

2014-10-01

..., but not be limited to, automatic fire and smoke detecting systems, manual fire alarm systems, sample extraction smoke detection systems, watchman's supervisory systems, and combinations of these systems. (b) Automatic fire detecting systems. For the purpose of this subpart, automatic fire and smoke detecting...

High-speed autoverifying technology for printed wiring boards

NASA Astrophysics Data System (ADS)

Ando, Moritoshi; Oka, Hiroshi; Okada, Hideo; Sakashita, Yorihiro; Shibutani, Nobumi

1996-10-01

We have developed an automated pattern verification technique. The output of an automated optical inspection system contains many false alarms. Verification is needed to distinguish between minor irregularities and serious defects. In the past, this verification was usually done manually, which led to unsatisfactory product quality. The goal of our new automated verification system is to detect pattern features on surface mount technology boards. In our system, we employ a new illumination method, which uses multiple colors and multiple direction illumination. Images are captured with a CCD camera. We have developed a new algorithm that uses CAD data for both pattern matching and pattern structure determination. This helps to search for patterns around a defect and to examine defect definition rules. These are processed with a high speed workstation and a hard-wired circuits. The system can verify a defect within 1.5 seconds. The verification system was tested in a factory. It verified 1,500 defective samples and detected all significant defects with only a 0.1 percent of error rate (false alarm).

Verification of Autonomous Systems for Space Applications

NASA Technical Reports Server (NTRS)

Brat, G.; Denney, E.; Giannakopoulou, D.; Frank, J.; Jonsson, A.

2006-01-01

Autonomous software, especially if it is based on model, can play an important role in future space applications. For example, it can help streamline ground operations, or, assist in autonomous rendezvous and docking operations, or even, help recover from problems (e.g., planners can be used to explore the space of recovery actions for a power subsystem and implement a solution without (or with minimal) human intervention). In general, the exploration capabilities of model-based systems give them great flexibility. Unfortunately, it also makes them unpredictable to our human eyes, both in terms of their execution and their verification. The traditional verification techniques are inadequate for these systems since they are mostly based on testing, which implies a very limited exploration of their behavioral space. In our work, we explore how advanced V&V techniques, such as static analysis, model checking, and compositional verification, can be used to gain trust in model-based systems. We also describe how synthesis can be used in the context of system reconfiguration and in the context of verification.

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT FOR THE REDUCTION OF NITROGEN IN DOMESTIC WASTEWATER FROM INDIVIDUAL HOMES, F. R. MAHONEY & ASSOC., AMPHIDROME SYSTEM FOR SINGLE FAMILY HOMES - 02/05/WQPC-SWP

EPA Science Inventory

Verification testing of the F.R. Mahoney Amphidrome System was conducted over a twelve month period at the Massachusetts Alternative Septic System Test Center (MASSTC) located at the Otis Air National Guard Base in Borne, MA. Sanitary Sewerage from the base residential housing w...

14 CFR 25.1731 - Powerplant and APU fire detector system: EWIS.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 1 2014-01-01 2014-01-01 false Powerplant and APU fire detector system... Systems (EWIS) § 25.1731 Powerplant and APU fire detector system: EWIS. (a) EWIS that are part of each fire or overheat detector system in a fire zone must be fire-resistant. (b) No EWIS component of any...

14 CFR 25.1731 - Powerplant and APU fire detector system: EWIS.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Powerplant and APU fire detector system... Systems (EWIS) § 25.1731 Powerplant and APU fire detector system: EWIS. (a) EWIS that are part of each fire or overheat detector system in a fire zone must be fire-resistant. (b) No EWIS component of any...

14 CFR 25.1731 - Powerplant and APU fire detector system: EWIS.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Powerplant and APU fire detector system... Systems (EWIS) § 25.1731 Powerplant and APU fire detector system: EWIS. (a) EWIS that are part of each fire or overheat detector system in a fire zone must be fire-resistant. (b) No EWIS component of any...

14 CFR 25.1731 - Powerplant and APU fire detector system: EWIS.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Powerplant and APU fire detector system... Systems (EWIS) § 25.1731 Powerplant and APU fire detector system: EWIS. (a) EWIS that are part of each fire or overheat detector system in a fire zone must be fire-resistant. (b) No EWIS component of any...

14 CFR 25.1731 - Powerplant and APU fire detector system: EWIS.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 1 2013-01-01 2013-01-01 false Powerplant and APU fire detector system... Systems (EWIS) § 25.1731 Powerplant and APU fire detector system: EWIS. (a) EWIS that are part of each fire or overheat detector system in a fire zone must be fire-resistant. (b) No EWIS component of any...

Positron emission imaging device and method of using the same

DOEpatents

Bingham, Philip R.; Mullens, James Allen

2013-01-15

An imaging system and method of imaging are disclosed. The imaging system can include an external radiation source producing pairs of substantially simultaneous radiation emissions of a picturization emission and a verification emissions at an emission angle. The imaging system can also include a plurality of picturization sensors and at least one verification sensor for detecting the picturization and verification emissions, respectively. The imaging system also includes an object stage is arranged such that a picturization emission can pass through an object supported on said object stage before being detected by one of said plurality of picturization sensors. A coincidence system and a reconstruction system can also be included. The coincidence can receive information from the picturization and verification sensors and determine whether a detected picturization emission is direct radiation or scattered radiation. The reconstruction system can produce a multi-dimensional representation of an object imaged with the imaging system.

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT; UV DISINFECTION FOR REUSE APPLICATION, AQUIONICS, INC. BERSONINLINE 4250 UV SYSTEM

EPA Science Inventory

Verification testing of the Aquionics, Inc. bersonInLine® 4250 UV System to develop the UV delivered dose flow relationship was conducted at the Parsippany-Troy Hills Wastewater Treatment Plant test site in Parsippany, New Jersey. Two full-scale reactors were mounted in series. T...

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT: UV DISINFECTION FOR REUSE APPLICATIONS, ONDEO DEGREMONT, INC., AQUARAY® 40 HO VLS DISINFECTION SYSTEM

EPA Science Inventory

Verification testing of the Ondeo Degremont, Inc. Aquaray® 40 HO VLS Disinfection System to develop the UV delivered dose flow relationship was conducted at the Parsippany-Troy Hills wastewater treatment plant test site in Parsippany, New Jersey. Three reactor modules were m...

46 CFR 108.413 - Fusible element fire detection system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fusible element fire detection system. 108.413 Section... UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.413 Fusible element fire detection system. (a) A fusible element fire detection system may be installed. (b) The arrangements for the system...

Where There's Smoke: Using Satellites to Monitor Impact of Human Activities on Agriculture and Glaciers in the Andes and Himalayas

NASA Astrophysics Data System (ADS)

McCarty, J. L.; Banach, D. M.

2017-12-01

Burning of agricultural fields are important sources of black carbon deposition on mountain glaciers in the Andes and Himalayas. Fire is commonly used to support agricultural and pasture management, specifically to remove excess crop residue and other agricultural waste, but these fires can spread into wildland areas during the dry season. Occasionally, agricultural burning causes extreme air pollution events, like occurred in New Delhi, India in October 2016. Satellite data provides a monitoring method of human-caused fire near glaciers that is open-source, easily replicable, and free- to low-cost. We will be able to determine if the climate-smart intervention strategies have reduced or eliminated open burning in these glacier-adjacent agricultural regions. Historic fire and fire emission records have been constructed for the Andean and Himalayan regions, with finer-scale assessments of the regions where farm-level training for conservation agriculture and no-burn techniques are taking place, going back to 2003. Present-day and future (2017-2020) fires and emissions will be mapped and recorded to compare to the historical record, providing an independent assessment and monitoring of how effective the no-burn climate-smart agriculture intervention strategies are at the farm-, village-, region-, and country-level. We can then compare this with our ground-based observations from regional partners for further verification. Using geospatial and geoscience data and methods is important for the success of this project and allows for full transparency of the effectiveness of climate-smart agricultural interventions to improve crop yields for farmers in South America and South Asia while also slowing the melt of the Third Pole.

Lessons learned from an emergency medical services fire safety intervention.

PubMed

Pirrallo, Ronald G; Cady, Charles E

2004-01-01

The authors conducted a pilot study, finding that many households that experienced fires had received prior emergency medical services (EMS) visits, but few had operational smoke alarms. The study hypothesis is that dwellings that received smoke alarms and/or batteries during an EMS call were more likely to have an operational alarm, less property dollar loss, and decreased morbidity and mortality at the time of a subsequent fire. Smoke detectors and batteries were provided to an urban fire department for placement in unprotected homes at the time of an EMS call from March 1, 1999, through January 31, 2001. After addressing the reason for the 911 EMS call, verification or installation of an operational smoke alarm was performed. The authors examined records for dwellings that had a subsequent fire for outcomes of smoke alarm status, estimated property dollar loss, and number of injuries and fatalities. This program placed 1,335 smoke detectors. Of these, 99 dwellings were found to have a fire or smoke condition with 20 exclusions. Our final number was 79; 28 (35%) still had an operating smoke alarm. In homes with operational alarms, the mean dollar loss was 2,870 dollars (U.S. 2001) (95% confidence interval [CI], 143-5,596). In homes without operational alarms, mean loss was 10,468 dollars (U.S. 2001) (95% CI, 5,875-15,061). No injuries or fatalities occurred in either group. This program was successful in placing 1,335 smoke alarms in at-risk dwellings and reaffirmed that an operational smoke alarm significantly decreases property dollar loss. However, if the goal is to have all homes protected by smoke alarms, this program has long-term effectiveness limitations.

Extinguishing Agent for Magnesium Fire: Phases 5 and 6.

DTIC Science & Technology

1987-07-01

This report documents the validation testing of the extinguishing system for metal fires developed as part of Phases I-IV. The results of this...system represented a reliable metal fire extinguishing system that could control and extinguish very large metal fires . The specifications developed for...the agent and for the delivery system are discussed in detail. Keywords: Fire suppression, Metal fires , Fire extinguishers.

Forest Fire Advanced System Technology (FFAST): A Conceptual Design for Detection and Mapping

Treesearch

J. David Nichols; John R. Warren

1987-01-01

The Forest Fire Advanced System Technology (FFAST) project is developing a data system to provide near-real-time forest fire information to fire management at the fire Incident Command Post (ICP). The completed conceptual design defined an integrated forest fire detection and mapping system that is based upon technology available in the 1990's. System component...

Simulation of Smoke-Haze Dispersion from Wildfires in South East Asia with a Lagrangian Particle Model

NASA Astrophysics Data System (ADS)

Hertwig, D.; Burgin, L.; Gan, C.; Hort, M.; Jones, A. R.; Shaw, F.; Witham, C. S.; Zhang, K.

2014-12-01

Biomass burning, often related to agricultural deforestation, not only affects local pollution levels but periodically deteriorates air quality in many South East Asian megacities due to the transboundary transport of smoke-haze. In June 2013, Singapore experienced the worst wildfire related air-pollution event on record following from the escalation of peatland fires in Sumatra. An extended dry period together with anomalous westerly winds resulted in severe and unhealthy pollution levels in Singapore that lasted for more than two weeks. Reacting to this event, the Met Office and the Meteorological Service Singapore have explored how to adequately simulate haze-pollution dispersion, with the aim to provide a reliable operational forecast for Singapore. Simulations with the Lagrangian particle model NAME (Numerical Atmospheric-dispersion Modelling Environment), running on numerical weather prediction data from the Met Office and Meteorological Service Singapore and emission data derived from satellite observations of the fire radiative power, are validated against PM10 observations in South East Asia. Comparisons of simulated concentrations with hourly averages of PM10 measurements in Singapore show that the model captures well the severe smoke-haze event in June 2013 and a minor episode in March 2014. Different quantitative satellite-derived emissions have been tested, with one source demonstrating a consistent factor of two under-prediction for Singapore. Confidence in the skill of the model system has been substantiated by further comparisons with data from monitoring sites in Malaysia, Brunei and Thailand. Following the validation study, operational smoke-haze pollution forecasts with NAME were launched in Singapore, in time for the 2014 fire season. Real-time bias correction and verification of this forecast will be discussed.

Field verification of sound attenuation modeling and air emission testing in support of missile motor disposal activities.

PubMed

McFarland, Michael J; Palmer, Glenn R; Rasmussen, Steve L; Kordich, Micheal M; Pollet, Dean A; Jensen, James A; Lindsay, Mitchell H

2006-07-01

The U.S. Department of Defense-approved activities conducted at the Utah Test and Training Range (UTTR) include both operational readiness test firing of intercontinental ballistic missile (ICBM) motors, as well as the destruction of obsolete or otherwise unusable ICBM motors through open burn/open detonation (OB/OD). Within the Utah Division of Air Quality, these activities have been identified as having the potential to generate unacceptable noise levels, as well as significant amounts of volatile organic compounds (VOCs). Hill Air Force Base, UT, has completed a series of field tests at the UTTR in which sound-monitoring surveillance of OB/OD activities was conducted to validate the Sound Intensity Prediction System (SIPS) model. Using results generated by the SIPS model to support the decision to detonate, the UTTR successfully disposed of missile motors having an aggregate net explosive weight (NEW) of 81,374 lb without generating adverse noise levels within populated areas. In conjunction with collecting noise-monitoring data, air emissions were collected to support the development of air emission factors for both static missile motor firings and OB/OD activities. Through the installation of 15 ground-based air samplers, the generation of combustion-fixed gases, VOCs, and chlorides was monitored during the 81,374-lb NEW detonation event. Comparison of field measurements to predictions generated from the US Navy energetic combustion pollutant formation model, POLU4WN, indicated that, as the detonation fire ball expanded, organic compounds, as well as CO, continued to oxidize as the combustion gases mixed with ambient air. VOC analysis of air samplers confirmed the presence of chloromethane, vinyl chloride, benzene, toluene, and 2-methyl-1-propene. Qualitative chloride analysis indicated that gaseous HCl was generated at low concentrations, if at all.

Ada(R) Test and Verification System (ATVS)

NASA Technical Reports Server (NTRS)

Strelich, Tom

1986-01-01

The Ada Test and Verification System (ATVS) functional description and high level design are completed and summarized. The ATVS will provide a comprehensive set of test and verification capabilities specifically addressing the features of the Ada language, support for embedded system development, distributed environments, and advanced user interface capabilities. Its design emphasis was on effective software development environment integration and flexibility to ensure its long-term use in the Ada software development community.

Experimental evaluation of fingerprint verification system based on double random phase encoding

NASA Astrophysics Data System (ADS)

Suzuki, Hiroyuki; Yamaguchi, Masahiro; Yachida, Masuyoshi; Ohyama, Nagaaki; Tashima, Hideaki; Obi, Takashi

2006-03-01

We proposed a smart card holder authentication system that combines fingerprint verification with PIN verification by applying a double random phase encoding scheme. In this system, the probability of accurate verification of an authorized individual reduces when the fingerprint is shifted significantly. In this paper, a review of the proposed system is presented and preprocessing for improving the false rejection rate is proposed. In the proposed method, the position difference between two fingerprint images is estimated by using an optimized template for core detection. When the estimated difference exceeds the permissible level, the user inputs the fingerprint again. The effectiveness of the proposed method is confirmed by a computational experiment; its results show that the false rejection rate is improved.

46 CFR 108.405 - Fire detection system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fire detection system. 108.405 Section 108.405 Shipping... EQUIPMENT Fire Extinguishing Systems § 108.405 Fire detection system. (a) Each fire detection system and each smoke detection system on a unit must— (1) Be approved by the Commandant; and (2) Have a visual...

Cost-Effective CNC Part Program Verification Development for Laboratory Instruction.

ERIC Educational Resources Information Center

Chen, Joseph C.; Chang, Ted C.

2000-01-01

Describes a computer numerical control program verification system that checks a part program before its execution. The system includes character recognition, word recognition, a fuzzy-nets system, and a tool path viewer. (SK)

SU-E-T-435: Development and Commissioning of a Complete System for In-Vivo Dosimetry and Range Verification in Proton Therapy

DOE Office of Scientific and Technical Information (OSTI.GOV)

Samuel, D; Testa, M; Park, Y

Purpose: In-vivo dose and beam range verification in proton therapy could play significant roles in proton treatment validation and improvements. Invivo beam range verification, in particular, could enable new treatment techniques one of which, for example, could be the use of anterior fields for prostate treatment instead of opposed lateral fields as in current practice. We have developed and commissioned an integrated system with hardware, software and workflow protocols, to provide a complete solution, simultaneously for both in-vivo dosimetry and range verification for proton therapy. Methods: The system uses a matrix of diodes, up to 12 in total, but separablemore » into three groups for flexibility in application. A special amplifier was developed to capture extremely small signals from very low proton beam current. The software was developed within iMagX, a general platform for image processing in radiation therapy applications. The range determination exploits the inherent relationship between the internal range modulation clock of the proton therapy system and the radiological depth at the point of measurement. The commissioning of the system, for in-vivo dosimetry and for range verification was separately conducted using anthropomorphic phantom. EBT films and TLDs were used for dose comparisons and range scan of the beam distal fall-off was used as ground truth for range verification. Results: For in-vivo dose measurement, the results were in agreement with TLD and EBT films and were within 3% from treatment planning calculations. For range verification, a precision of 0.5mm is achieved in homogeneous phantoms, and a precision of 2mm for anthropomorphic pelvic phantom, except at points with significant range mixing. Conclusion: We completed the commissioning of our system for in-vivo dosimetry and range verification in proton therapy. The results suggest that the system is ready for clinical trials on patient.« less

46 CFR 108.405 - Fire detection system.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Fire detection system. 108.405 Section 108.405 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.405 Fire detection system. (a) Each fire detection system and...

46 CFR 108.401 - Fire main system.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Fire main system. 108.401 Section 108.401 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.401 Fire main system. Each unit must have a fire main system. ...

46 CFR 108.405 - Fire detection system.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fire detection system. 108.405 Section 108.405 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.405 Fire detection system. (a) Each fire detection system and...

46 CFR 108.405 - Fire detection system.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Fire detection system. 108.405 Section 108.405 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.405 Fire detection system. (a) Each fire detection system and...

46 CFR 108.401 - Fire main system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fire main system. 108.401 Section 108.401 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.401 Fire main system. Each unit must have a fire main system. ...

46 CFR 108.401 - Fire main system.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fire main system. 108.401 Section 108.401 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.401 Fire main system. Each unit must have a fire main system. ...

46 CFR 108.405 - Fire detection system.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fire detection system. 108.405 Section 108.405 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.405 Fire detection system. (a) Each fire detection system and...

46 CFR 108.401 - Fire main system.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Fire main system. 108.401 Section 108.401 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.401 Fire main system. Each unit must have a fire main system. ...

46 CFR 108.401 - Fire main system.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fire main system. 108.401 Section 108.401 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.401 Fire main system. Each unit must have a fire main system. ...

46 CFR 108.404 - Selection of fire detection system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Selection of fire detection system. 108.404 Section 108... DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.404 Selection of fire detection system. (a) If a... space. (b) The fire detection system must be designed to minimize false alarms. ...

ETV REPORT AND VERIFICATION STATEMENT - KASELCO POSI-FLO ELECTROCOAGULATION TREATMENT SYSTEM

EPA Science Inventory

The Kaselco Electrocoagulation Treatment System (Kaselco system) in combination with an ion exchange polishing system was tested, under actual production conditions, processing metal finishing wastewater at Gull Industries in Houston, Texas. The verification test evaluated the a...

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, NOX CONTROL TECHNOLOGIES, CATALYTICA COMBUSTION SYSTEMS, INC., XONON FLAMELESS COMBUSTION SYSTEM

EPA Science Inventory

The Environmental Technology Verification report discusses the technology and performance of the Xonon Cool Combustion System manufactured by Catalytica Energy Systems, Inc., formerly Catalytica Combustion Systems, Inc., to control NOx emissions from gas turbines that operate wit...

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT: TRITON SYSTEMS, LLC SOLID BOWL CENTRIFUGE, MODEL TS-5000

EPA Science Inventory

Verification testing of the Triton Systems, LLC Solid Bowl Centrifuge Model TS-5000 (TS-5000) was conducted at the Lake Wheeler Road Field Laboratory Swine Educational Unit in Raleigh, North Carolina. The TS-5000 was 48" in diameter and 30" deep, with a bowl capacity of 16 ft3. ...

Current status and future needs of the BehavePlus Fire Modeling System

Treesearch

Patricia L. Andrews

2014-01-01

The BehavePlus Fire Modeling System is among the most widely used systems for wildland fire prediction. It is designed for use in a range of tasks including wildfire behaviour prediction, prescribed fire planning, fire investigation, fuel hazard assessment, fire model understanding, communication and research. BehavePlus is based on mathematical models for fire...

14 CFR 29.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Fire extinguishing system materials. 29... TRANSPORTATION AIRCRAFT AIRWORTHINESS STANDARDS: TRANSPORT CATEGORY ROTORCRAFT Powerplant Powerplant Fire Protection § 29.1201 Fire extinguishing system materials. (a) No materials in any fire extinguishing system...

FIRES: Fire Information Retrieval and Evaluation System - A program for fire danger rating analysis

Treesearch

Patricia L. Andrews; Larry S. Bradshaw

1997-01-01

A computer program, FIRES: Fire Information Retrieval and Evaluation System, provides methods for evaluating the performance of fire danger rating indexes. The relationship between fire danger indexes and historical fire occurrence and size is examined through logistic regression and percentiles. Historical seasonal trends of fire danger and fire occurrence can be...

Time trend of injection drug errors before and after implementation of bar-code verification system.

PubMed

Sakushima, Ken; Umeki, Reona; Endoh, Akira; Ito, Yoichi M; Nasuhara, Yasuyuki

2015-01-01

Bar-code technology, used for verification of patients and their medication, could prevent medication errors in clinical practice. Retrospective analysis of electronically stored medical error reports was conducted in a university hospital. The number of reported medication errors of injected drugs, including wrong drug administration and administration to the wrong patient, was compared before and after implementation of the bar-code verification system for inpatient care. A total of 2867 error reports associated with injection drugs were extracted. Wrong patient errors decreased significantly after implementation of the bar-code verification system (17.4/year vs. 4.5/year, p< 0.05), although wrong drug errors did not decrease sufficiently (24.2/year vs. 20.3/year). The source of medication errors due to wrong drugs was drug preparation in hospital wards. Bar-code medication administration is effective for prevention of wrong patient errors. However, ordinary bar-code verification systems are limited in their ability to prevent incorrect drug preparation in hospital wards.

DFM flow by using combination between design based metrology system and model based verification at sub-50nm memory device

NASA Astrophysics Data System (ADS)

Kim, Cheol-kyun; Kim, Jungchan; Choi, Jaeseung; Yang, Hyunjo; Yim, Donggyu; Kim, Jinwoong

2007-03-01

As the minimum transistor length is getting smaller, the variation and uniformity of transistor length seriously effect device performance. So, the importance of optical proximity effects correction (OPC) and resolution enhancement technology (RET) cannot be overemphasized. However, OPC process is regarded by some as a necessary evil in device performance. In fact, every group which includes process and design, are interested in whole chip CD variation trend and CD uniformity, which represent real wafer. Recently, design based metrology systems are capable of detecting difference between data base to wafer SEM image. Design based metrology systems are able to extract information of whole chip CD variation. According to the results, OPC abnormality was identified and design feedback items are also disclosed. The other approaches are accomplished on EDA companies, like model based OPC verifications. Model based verification will be done for full chip area by using well-calibrated model. The object of model based verification is the prediction of potential weak point on wafer and fast feed back to OPC and design before reticle fabrication. In order to achieve robust design and sufficient device margin, appropriate combination between design based metrology system and model based verification tools is very important. Therefore, we evaluated design based metrology system and matched model based verification system for optimum combination between two systems. In our study, huge amount of data from wafer results are classified and analyzed by statistical method and classified by OPC feedback and design feedback items. Additionally, novel DFM flow would be proposed by using combination of design based metrology and model based verification tools.

Commissioning and quality assurance of an integrated system for patient positioning and setup verification in particle therapy.

PubMed

Pella, A; Riboldi, M; Tagaste, B; Bianculli, D; Desplanques, M; Fontana, G; Cerveri, P; Seregni, M; Fattori, G; Orecchia, R; Baroni, G

2014-08-01

In an increasing number of clinical indications, radiotherapy with accelerated particles shows relevant advantages when compared with high energy X-ray irradiation. However, due to the finite range of ions, particle therapy can be severely compromised by setup errors and geometric uncertainties. The purpose of this work is to describe the commissioning and the design of the quality assurance procedures for patient positioning and setup verification systems at the Italian National Center for Oncological Hadrontherapy (CNAO). The accuracy of systems installed in CNAO and devoted to patient positioning and setup verification have been assessed using a laser tracking device. The accuracy in calibration and image based setup verification relying on in room X-ray imaging system was also quantified. Quality assurance tests to check the integration among all patient setup systems were designed, and records of daily QA tests since the start of clinical operation (2011) are presented. The overall accuracy of the patient positioning system and the patient verification system motion was proved to be below 0.5 mm under all the examined conditions, with median values below the 0.3 mm threshold. Image based registration in phantom studies exhibited sub-millimetric accuracy in setup verification at both cranial and extra-cranial sites. The calibration residuals of the OTS were found consistent with the expectations, with peak values below 0.3 mm. Quality assurance tests, daily performed before clinical operation, confirm adequate integration and sub-millimetric setup accuracy. Robotic patient positioning was successfully integrated with optical tracking and stereoscopic X-ray verification for patient setup in particle therapy. Sub-millimetric setup accuracy was achieved and consistently verified in daily clinical operation.

Radiation characteristics of water droplets in a fire-inspired environment: A Monte Carlo ray tracing study

NASA Astrophysics Data System (ADS)

Wu, Bifen; Zhao, Xinyu

2018-06-01

The effects of radiation of water mists in a fire-inspired environment are numerically investigated for different complexities of radiative media in a three-dimensional cubic enclosure. A Monte Carlo ray tracing (MCRT) method is employed to solve the radiative transfer equation (RTE). The anisotropic scattering behaviors of water mists are modeled by a combination of the Mie theory and the Henyey-Greestein relation. A tabulation method considering the size and wavelength dependencies is established for water droplets, to reduce the computational cost associated with the evaluation of the nongray spectral properties of water mists. Validation and verification of the coupled MCRT solver are performed using a one-dimensional slab with gray gas in comparison with the analytical solutions. Parametric studies are then performed using a three-dimensional cubic box to examine radiation of two monodispersed and one polydispersed water mist systems. The tabulation method can reduce the computational cost by a factor of one hundred. Results obtained without any scattering model better conform with results obtained from the anisotropic model than the isotropic scattering model, when a highly directional emissive source is applied. For isotropic emissive sources, isotropic and anisotropic scattering models predict comparable results. The addition of different volume fractions of soot shows that soot may have a negative impact on the effectiveness of water mists in absorbing radiation when its volume fraction exceeds certain threshold.

Computer Program User’s Manual for FIREFINDER Digital Topographic Data Verification Library Dubbing System. Volume II. Dubbing.

DTIC Science & Technology

1982-01-29

N - Nw .VA COMPUTER PROGRAM USER’S MANUAL FOR . 0FIREFINDER DIGITAL TOPOGRAPHIC DATA VERIFICATION LIBRARY DUBBING SYSTEM VOLUME II DUBBING 29 JANUARY...Digital Topographic Data Verification Library Dubbing System, Volume II, Dubbing 6. PERFORMING ORG. REPORT NUMER 7. AUTHOR(q) S. CONTRACT OR GRANT...Software Library FIREFINDER Dubbing 20. ABSTRACT (Continue an revWee *Ide II necessary end identify by leek mauber) PThis manual describes the computer

Knowledge Based Systems (KBS) Verification, Validation, Evaluation, and Testing (VVE&T) Bibliography: Topical Categorization

DTIC Science & Technology

2003-03-01

Different?," Jour. of Experimental & Theoretical Artificial Intelligence, Special Issue on Al for Systems Validation and Verification, 12(4), 2000, pp...Hamilton, D., " Experiences in Improving the State of Practice in Verification and Validation of Knowledge-Based Systems," Workshop Notes of the AAAI...Unsuspected Power of the Standard Turing Test," Jour. of Experimental & Theoretical Artificial Intelligence., 12, 2000, pp3 3 1-3 4 0 . [30] Gaschnig

46 CFR 108.407 - Detectors for electric fire detection system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Detectors for electric fire detection system. 108.407... DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.407 Detectors for electric fire detection system. (a) Each detector in an electric fire detection system must be located where— (1) No...

Distilling the Verification Process for Prognostics Algorithms

NASA Technical Reports Server (NTRS)

Roychoudhury, Indranil; Saxena, Abhinav; Celaya, Jose R.; Goebel, Kai

2013-01-01

The goal of prognostics and health management (PHM) systems is to ensure system safety, and reduce downtime and maintenance costs. It is important that a PHM system is verified and validated before it can be successfully deployed. Prognostics algorithms are integral parts of PHM systems. This paper investigates a systematic process of verification of such prognostics algorithms. To this end, first, this paper distinguishes between technology maturation and product development. Then, the paper describes the verification process for a prognostics algorithm as it moves up to higher maturity levels. This process is shown to be an iterative process where verification activities are interleaved with validation activities at each maturation level. In this work, we adopt the concept of technology readiness levels (TRLs) to represent the different maturity levels of a prognostics algorithm. It is shown that at each TRL, the verification of a prognostics algorithm depends on verifying the different components of the algorithm according to the requirements laid out by the PHM system that adopts this prognostics algorithm. Finally, using simplified examples, the systematic process for verifying a prognostics algorithm is demonstrated as the prognostics algorithm moves up TRLs.

14 CFR 23.1201 - Fire extinguishing systems materials.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Fire extinguishing systems materials. 23... Powerplant Powerplant Fire Protection § 23.1201 Fire extinguishing systems materials. For commuter category airplanes, the following apply: (a) No material in any fire extinguishing system may react chemically with...

Development and Verification of the Charring Ablating Thermal Protection Implicit System Solver

NASA Technical Reports Server (NTRS)

Amar, Adam J.; Calvert, Nathan D.; Kirk, Benjamin S.

2010-01-01

The development and verification of the Charring Ablating Thermal Protection Implicit System Solver is presented. This work concentrates on the derivation and verification of the stationary grid terms in the equations that govern three-dimensional heat and mass transfer for charring thermal protection systems including pyrolysis gas flow through the porous char layer. The governing equations are discretized according to the Galerkin finite element method with first and second order implicit time integrators. The governing equations are fully coupled and are solved in parallel via Newton's method, while the fully implicit linear system is solved with the Generalized Minimal Residual method. Verification results from exact solutions and the Method of Manufactured Solutions are presented to show spatial and temporal orders of accuracy as well as nonlinear convergence rates.

Development and Verification of the Charring, Ablating Thermal Protection Implicit System Simulator

NASA Technical Reports Server (NTRS)

Amar, Adam J.; Calvert, Nathan; Kirk, Benjamin S.

2011-01-01

The development and verification of the Charring Ablating Thermal Protection Implicit System Solver (CATPISS) is presented. This work concentrates on the derivation and verification of the stationary grid terms in the equations that govern three-dimensional heat and mass transfer for charring thermal protection systems including pyrolysis gas flow through the porous char layer. The governing equations are discretized according to the Galerkin finite element method (FEM) with first and second order fully implicit time integrators. The governing equations are fully coupled and are solved in parallel via Newton s method, while the linear system is solved via the Generalized Minimum Residual method (GMRES). Verification results from exact solutions and Method of Manufactured Solutions (MMS) are presented to show spatial and temporal orders of accuracy as well as nonlinear convergence rates.

A system for automatic evaluation of simulation software

NASA Technical Reports Server (NTRS)

Ryan, J. P.; Hodges, B. C.

1976-01-01

Within the field of computer software, simulation and verification are complementary processes. Simulation methods can be used to verify software by performing variable range analysis. More general verification procedures, such as those described in this paper, can be implicitly, viewed as attempts at modeling the end-product software. From software requirement methodology, each component of the verification system has some element of simulation to it. Conversely, general verification procedures can be used to analyze simulation software. A dynamic analyzer is described which can be used to obtain properly scaled variables for an analog simulation, which is first digitally simulated. In a similar way, it is thought that the other system components and indeed the whole system itself have the potential of being effectively used in a simulation environment.

Formal design and verification of a reliable computing platform for real-time control. Phase 2: Results

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Divito, Ben L.

1992-01-01

The design and formal verification of the Reliable Computing Platform (RCP), a fault tolerant computing system for digital flight control applications is presented. The RCP uses N-Multiply Redundant (NMR) style redundancy to mask faults and internal majority voting to flush the effects of transient faults. The system is formally specified and verified using the Ehdm verification system. A major goal of this work is to provide the system with significant capability to withstand the effects of High Intensity Radiated Fields (HIRF).

Application of computer vision to automatic prescription verification in pharmaceutical mail order

NASA Astrophysics Data System (ADS)

Alouani, Ali T.

2005-05-01

In large volume pharmaceutical mail order, before shipping out prescriptions, licensed pharmacists ensure that the drug in the bottle matches the information provided in the patient prescription. Typically, the pharmacist has about 2 sec to complete the prescription verification process of one prescription. Performing about 1800 prescription verification per hour is tedious and can generate human errors as a result of visual and brain fatigue. Available automatic drug verification systems are limited to a single pill at a time. This is not suitable for large volume pharmaceutical mail order, where a prescription can have as many as 60 pills and where thousands of prescriptions are filled every day. In an attempt to reduce human fatigue, cost, and limit human error, the automatic prescription verification system (APVS) was invented to meet the need of large scale pharmaceutical mail order. This paper deals with the design and implementation of the first prototype online automatic prescription verification machine to perform the same task currently done by a pharmacist. The emphasis here is on the visual aspects of the machine. The system has been successfully tested on 43,000 prescriptions.

Earth Science Enterprise Scientific Data Purchase Project: Verification and Validation

NASA Technical Reports Server (NTRS)

Jenner, Jeff; Policelli, Fritz; Fletcher, Rosea; Holecamp, Kara; Owen, Carolyn; Nicholson, Lamar; Dartez, Deanna

2000-01-01

This paper presents viewgraphs on the Earth Science Enterprise Scientific Data Purchase Project's verification,and validation process. The topics include: 1) What is Verification and Validation? 2) Why Verification and Validation? 3) Background; 4) ESE Data Purchas Validation Process; 5) Data Validation System and Ingest Queue; 6) Shipment Verification; 7) Tracking and Metrics; 8) Validation of Contract Specifications; 9) Earth Watch Data Validation; 10) Validation of Vertical Accuracy; and 11) Results of Vertical Accuracy Assessment.

46 CFR 131.815 - Alarm for fixed gaseous fire-extinguishing system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Alarm for fixed gaseous fire-extinguishing system. 131... VESSELS OPERATIONS Markings for Fire Equipment and Emergency Equipment § 131.815 Alarm for fixed gaseous fire-extinguishing system. Each alarm for a fixed gaseous fire-extinguishing system must be...

46 CFR 131.815 - Alarm for fixed gaseous fire-extinguishing system.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Alarm for fixed gaseous fire-extinguishing system. 131... VESSELS OPERATIONS Markings for Fire Equipment and Emergency Equipment § 131.815 Alarm for fixed gaseous fire-extinguishing system. Each alarm for a fixed gaseous fire-extinguishing system must be...

14 CFR 23.1201 - Fire extinguishing systems materials.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Fire extinguishing systems materials. 23... Powerplant Powerplant Fire Protection § 23.1201 Fire extinguishing systems materials. Link to an amendment... material in any fire extinguishing system may react chemically with any extinguishing agent so as to create...

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT FOR THE UV DISINFECTION OF SECONDARY EFFLUENTS, SUNTEC, INC. MODEL LPX200 DISINFECTION SYSTEM - 03/09/WQPC-SWP

EPA Science Inventory

Verification testing of the SUNTEC LPX200 UV Disinfection System to develop the UV delivered dose flow relationship was conducted at the Parsippany-Troy Hills wastewater treatment plant test site in Parsippany, New Jersey. Two lamp modules were mounted parallel in a 6.5-meter lon...

Study of space shuttle orbiter system management computer function. Volume 2: Automated performance verification concepts

NASA Technical Reports Server (NTRS)

1975-01-01

The findings are presented of investigations on concepts and techniques in automated performance verification. The investigations were conducted to provide additional insight into the design methodology and to develop a consolidated technology base from which to analyze performance verification design approaches. Other topics discussed include data smoothing, function selection, flow diagrams, data storage, and shuttle hydraulic systems.

ETV REPORT AND VERIFICATION STATEMENT; EVALUATION OF LOBO LIQUIDS RINSE WATER RECOVERY SYSTEM

EPA Science Inventory

The Lobo Liquids Rinse Water Recovery System (Lobo Liquids system) was tested, under actual production conditions, processing metal finishing wastewater, at Gull Industries in Houston, Texas. The verification test evaluated the ability of the ion exchange (IX) treatment system t...

Long-Term Pavement Performance Materials Characterization Program: Verification of Dynamic Test Systems with an Emphasis on Resilient Modulus

DOT National Transportation Integrated Search

2005-09-01

This document describes a procedure for verifying a dynamic testing system (closed-loop servohydraulic). The procedure is divided into three general phases: (1) electronic system performance verification, (2) calibration check and overall system perf...

46 CFR 108.477 - Fire hydrants.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fire hydrants. 108.477 Section 108.477 Shipping COAST... Fire Extinguishing Systems Foam Extinguishing Systems § 108.477 Fire hydrants. (a) If a fixed foam extinguishing system has outlets in a main machinery space, at least 2 fire hydrants, in addition to the fire...

Fire Behavior System for the Full Range of Fire Management Needs

Treesearch

Richard C. Rothermel; Patricia L. Andrews

1987-01-01

An "integrated fire behavior/fire danger rating system" should be "seamless" to avoid requiring choices among alternate, independent systems. Descriptions of fuel moisture, fuels, and fire behavior should be standardized, permitting information to flow easily through the spectrum of fire management needs. The level of resolution depends on the...

Cluster man/system design requirements and verification. [for Skylab program

NASA Technical Reports Server (NTRS)

Watters, H. H.

1974-01-01

Discussion of the procedures employed for determining the man/system requirements that guided Skylab design, and review of the techniques used for implementing the man/system design verification. The foremost lesson learned from the design need anticipation and design verification experience is the necessity to allow for human capabilities of in-flight maintenance and repair. It is now known that the entire program was salvaged by a series of unplanned maintenance and repair events which were implemented in spite of poor design provisions for maintenance.

Controlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier

NASA Technical Reports Server (NTRS)

Probst, D.; Jensen, L.

1991-01-01

Delay-insensitive VLSI systems have a certain appeal on the ground due to difficulties with clocks; they are even more attractive in space. We answer the question, is it possible to control state explosion arising from various sources during automatic verification (model checking) of delay-insensitive systems? State explosion due to concurrency is handled by introducing a partial-order representation for systems, and defining system correctness as a simple relation between two partial orders on the same set of system events (a graph problem). State explosion due to nondeterminism (chiefly arbitration) is handled when the system to be verified has a clean, finite recurrence structure. Backwards branching is a further optimization. The heart of this approach is the ability, during model checking, to discover a compact finite presentation of the verified system without prior composition of system components. The fully-implemented POM verification system has polynomial space and time performance on traditional asynchronous-circuit benchmarks that are exponential in space and time for other verification systems. We also sketch the generalization of this approach to handle delay-constrained VLSI systems.

Formal methods for dependable real-time systems

NASA Technical Reports Server (NTRS)

Rushby, John

1993-01-01

The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.

Use of Air Quality Observations by the National Air Quality Forecast Capability

NASA Astrophysics Data System (ADS)

Stajner, I.; McQueen, J.; Lee, P.; Stein, A. F.; Kondragunta, S.; Ruminski, M.; Tong, D.; Pan, L.; Huang, J. P.; Shafran, P.; Huang, H. C.; Dickerson, P.; Upadhayay, S.

2015-12-01

The National Air Quality Forecast Capability (NAQFC) operational predictions of ozone and wildfire smoke for the United States (U.S.) and predictions of airborne dust for continental U.S. are available at http://airquality.weather.gov/. NOAA National Centers for Environmental Prediction (NCEP) operational North American Mesoscale (NAM) weather predictions are combined with the Community Multiscale Air Quality (CMAQ) model to produce the ozone predictions and test fine particulate matter (PM2.5) predictions. The Hybrid Single Particle Lagrangian Integrated Trajectory (HYSPLIT) model provides smoke and dust predictions. Air quality observations constrain emissions used by NAQFC predictions. NAQFC NOx emissions from mobile sources were updated using National Emissions Inventory (NEI) projections for year 2012. These updates were evaluated over large U.S. cities by comparing observed changes in OMI NO2 observations and NOx measured by surface monitors. The rate of decrease in NOx emission projections from year 2005 to year 2012 is in good agreement with the observed changes over the same period. Smoke emissions rely on the fire locations detected from satellite observations obtained from NESDIS Hazard Mapping System (HMS). Dust emissions rely on a climatology of areas with a potential for dust emissions based on MODIS Deep Blue aerosol retrievals. Verification of NAQFC predictions uses AIRNow compilation of surface measurements for ozone and PM2.5. Retrievals of smoke from GOES satellites are used for verification of smoke predictions. Retrievals of dust from MODIS are used for verification of dust predictions. In summary, observations are the basis for the emissions inputs for NAQFC, they are critical for evaluation of performance of NAQFC predictions, and furthermore they are used in real-time testing of bias correction of PM2.5 predictions, as we continue to work on improving modeling and emissions important for representation of PM2.5.

46 CFR 78.47-17 - Fire extinguishing system controls.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 3 2010-10-01 2010-10-01 false Fire extinguishing system controls. 78.47-17 Section 78... Markings for Fire and Emergency Equipment, Etc. § 78.47-17 Fire extinguishing system controls. (a) The control cabinets or spaces containing valves or manifolds for the various fire extinguishing systems shall...

46 CFR 78.47-17 - Fire extinguishing system controls.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 3 2011-10-01 2011-10-01 false Fire extinguishing system controls. 78.47-17 Section 78... Markings for Fire and Emergency Equipment, Etc. § 78.47-17 Fire extinguishing system controls. (a) The control cabinets or spaces containing valves or manifolds for the various fire extinguishing systems shall...

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

NASA Technical Reports Server (NTRS)

Lindsey, A. E.; Pecheur, Charles

2004-01-01

AI software is often used as a means for providing greater autonomy to automated systems, capable of coping with harsh and unpredictable environments. Due in part to the enormous space of possible situations that they aim to addrs, autonomous systems pose a serious challenge to traditional test-based verification approaches. Efficient verification approaches need to be perfected before these systems can reliably control critical applications. This publication describes Livingstone PathFinder (LPF), a verification tool for autonomous control software. LPF applies state space exploration algorithms to an instrumented testbed, consisting of the controller embedded in a simulated operating environment. Although LPF has focused on NASA s Livingstone model-based diagnosis system applications, the architecture is modular and adaptable to other systems. This article presents different facets of LPF and experimental results from applying the software to a Livingstone model of the main propulsion feed subsystem for a prototype space vehicle.

Comparison of crown fire modeling systems used in three fire management applications

Treesearch

Joe H. Scott

2006-01-01

The relative behavior of surface-crown fire spread rate modeling systems used in three fire management applications-CFIS (Crown Fire Initiation and Spread), FlamMap and NEXUS- is compared using fire environment characteristics derived from a dataset of destructively measured canopy fuel and associated stand characteristics. Although the surface-crown modeling systems...

An Overview of FlamMap Fire Modeling Capabilities

Treesearch

Mark A. Finney

2006-01-01

Computerized and manual systems for modeling wildland fire behavior have long been available (Rothermel 1983, Andrews 1986). These systems focus on one-dimensional behaviors and assume the fire geometry is a spreading line-fire (in contrast with point or area-source fires). Models included in these systems were developed to calculate fire spread rate (Rothermel 1972,...

14 CFR 23.1195 - Fire extinguishing systems.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Fire extinguishing systems. 23.1195 Section... AIRWORTHINESS STANDARDS: NORMAL, UTILITY, ACROBATIC, AND COMMUTER CATEGORY AIRPLANES Powerplant Powerplant Fire Protection § 23.1195 Fire extinguishing systems. (a) For commuter category airplanes, fire extinguishing...

Passive fire building protection system evaluation (case study: millennium ict centre)

NASA Astrophysics Data System (ADS)

Rahman, Vinky; Stephanie

2018-03-01

Passive fire protection system is a system that refers to the building design, both regarding of architecture and structure. This system usually consists of structural protection that protects the structure of the building and prevents the spread of fire and facilitate the evacuation process in case of fire. Millennium ICT Center is the largest electronic shopping center in Medan, Indonesia. As a public building that accommodates the crowd, this building needs a fire protection system by the standards. Therefore, the purpose of this study is to evaluate passive fire protection system of Millennium ICT Center building. The study was conducted to describe the facts of the building as well as direct observation to the research location. The collected data is then processed using the AHP (Analytical Hierarchy Process) method in its weighting process to obtain the reliability value of passive fire protection fire system. The results showed that there are some components of passive fire protection system in the building, but some are still unqualified. The first section in your paper

Industrial methodology for process verification in research (IMPROVER): toward systems biology verification

PubMed Central

Meyer, Pablo; Hoeng, Julia; Rice, J. Jeremy; Norel, Raquel; Sprengel, Jörg; Stolle, Katrin; Bonk, Thomas; Corthesy, Stephanie; Royyuru, Ajay; Peitsch, Manuel C.; Stolovitzky, Gustavo

2012-01-01

Motivation: Analyses and algorithmic predictions based on high-throughput data are essential for the success of systems biology in academic and industrial settings. Organizations, such as companies and academic consortia, conduct large multi-year scientific studies that entail the collection and analysis of thousands of individual experiments, often over many physical sites and with internal and outsourced components. To extract maximum value, the interested parties need to verify the accuracy and reproducibility of data and methods before the initiation of such large multi-year studies. However, systematic and well-established verification procedures do not exist for automated collection and analysis workflows in systems biology which could lead to inaccurate conclusions. Results: We present here, a review of the current state of systems biology verification and a detailed methodology to address its shortcomings. This methodology named ‘Industrial Methodology for Process Verification in Research’ or IMPROVER, consists on evaluating a research program by dividing a workflow into smaller building blocks that are individually verified. The verification of each building block can be done internally by members of the research program or externally by ‘crowd-sourcing’ to an interested community. www.sbvimprover.com Implementation: This methodology could become the preferred choice to verify systems biology research workflows that are becoming increasingly complex and sophisticated in industrial and academic settings. Contact: gustavo@us.ibm.com PMID:22423044

Apollo experience report: Guidance and control systems. Engineering simulation program

NASA Technical Reports Server (NTRS)

Gilbert, D. W.

1973-01-01

The Apollo Program experience from early 1962 to July 1969 with respect to the engineering-simulation support and the problems encountered is summarized in this report. Engineering simulation in support of the Apollo guidance and control system is discussed in terms of design analysis and verification, certification of hardware in closed-loop operation, verification of hardware/software compatibility, and verification of both software and procedures for each mission. The magnitude, time, and cost of the engineering simulations are described with respect to hardware availability, NASA and contractor facilities (for verification of the command module, the lunar module, and the primary guidance, navigation, and control system), and scheduling and planning considerations. Recommendations are made regarding implementation of similar, large-scale simulations for future programs.

7 CFR 62.209 - Reassessment.

Code of Federal Regulations, 2010 CFR

2010-01-01

... Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.209 Reassessment. Approved programs are subject to periodic reassessments to ensure...

Compressive sensing using optimized sensing matrix for face verification

NASA Astrophysics Data System (ADS)

Oey, Endra; Jeffry; Wongso, Kelvin; Tommy

2017-12-01

Biometric appears as one of the solutions which is capable in solving problems that occurred in the usage of password in terms of data access, for example there is possibility in forgetting password and hard to recall various different passwords. With biometrics, physical characteristics of a person can be captured and used in the identification process. In this research, facial biometric is used in the verification process to determine whether the user has the authority to access the data or not. Facial biometric is chosen as its low cost implementation and generate quite accurate result for user identification. Face verification system which is adopted in this research is Compressive Sensing (CS) technique, in which aims to reduce dimension size as well as encrypt data in form of facial test image where the image is represented in sparse signals. Encrypted data can be reconstructed using Sparse Coding algorithm. Two types of Sparse Coding namely Orthogonal Matching Pursuit (OMP) and Iteratively Reweighted Least Squares -ℓp (IRLS-ℓp) will be used for comparison face verification system research. Reconstruction results of sparse signals are then used to find Euclidean norm with the sparse signal of user that has been previously saved in system to determine the validity of the facial test image. Results of system accuracy obtained in this research are 99% in IRLS with time response of face verification for 4.917 seconds and 96.33% in OMP with time response of face verification for 0.4046 seconds with non-optimized sensing matrix, while 99% in IRLS with time response of face verification for 13.4791 seconds and 98.33% for OMP with time response of face verification for 3.1571 seconds with optimized sensing matrix.

Wildland fire management. Volume 2: Wildland fire control 1985-1995. [satellite information system for California fire problems

NASA Technical Reports Server (NTRS)

Saveker, D. R. (Editor)

1973-01-01

The preliminary design of a satellite plus computer earth resources information system is proposed for potential uses in fire prevention and control in the wildland fire community. Suggested are satellite characteristics, sensor characteristics, discrimination algorithms, data communication techniques, data processing requirements, display characteristics, and costs in achieving the integrated wildland fire information system.

BehavePlus fire modeling system, version 5.0: Design and Features

Treesearch

Faith Ann Heinsch; Patricia L. Andrews

2010-01-01

The BehavePlus fire modeling system is a computer program that is based on mathematical models that describe wildland fire behavior and effects and the fire environment. It is a flexible system that produces tables, graphs, and simple diagrams. It can be used for a host of fire management applications, including projecting the behavior of an ongoing fire, planning...

BehavePlus fire modeling system, version 4.0: User's Guide

Treesearch

Patricia L. Andrews; Collin D. Bevins; Robert C. Seli

2005-01-01

The BehavePlus fire modeling system is a program for personal computers that is a collection of mathematical models that describe fire and the fire environment. It is a flexible system that produces tables, graphs, and simple diagrams. It can be used for a multitude of fire management applications including projecting the behavior of an ongoing fire, planning...

Space shuttle engineering and operations support. Avionics system engineering

NASA Technical Reports Server (NTRS)

Broome, P. A.; Neubaur, R. J.; Welsh, R. T.

1976-01-01

The shuttle avionics integration laboratory (SAIL) requirements for supporting the Spacelab/orbiter avionics verification process are defined. The principal topics are a Spacelab avionics hardware assessment, test operations center/electronic systems test laboratory (TOC/ESL) data processing requirements definition, SAIL (Building 16) payload accommodations study, and projected funding and test scheduling. Because of the complex nature of the Spacelab/orbiter computer systems, the PCM data link, and the high rate digital data system hardware/software relationships, early avionics interface verification is required. The SAIL is a prime candidate test location to accomplish this early avionics verification.

A Verification System for Distributed Objects with Asynchronous Method Calls

NASA Astrophysics Data System (ADS)

Ahrendt, Wolfgang; Dylla, Maximilian

We present a verification system for Creol, an object-oriented modeling language for concurrent distributed applications. The system is an instance of KeY, a framework for object-oriented software verification, which has so far been applied foremost to sequential Java. Building on KeY characteristic concepts, like dynamic logic, sequent calculus, explicit substitutions, and the taclet rule language, the system presented in this paper addresses functional correctness of Creol models featuring local cooperative thread parallelism and global communication via asynchronous method calls. The calculus heavily operates on communication histories which describe the interfaces of Creol units. Two example scenarios demonstrate the usage of the system.

C formal verification with unix communication and concurrency

NASA Technical Reports Server (NTRS)

Hoover, Doug N.

1990-01-01

The results of a NASA SBIR project are presented in which CSP-Ariel, a verification system for C programs which use Unix system calls for concurrent programming, interprocess communication, and file input and output, was developed. This project builds on ORA's Ariel C verification system by using the system of Hoare's book, Communicating Sequential Processes, to model concurrency and communication. The system runs in ORA's Clio theorem proving environment. The use of CSP to model Unix concurrency and sketch the CSP semantics of a simple concurrent program is outlined. Plans for further development of CSP-Ariel are discussed. This paper is presented in viewgraph form.

40 CFR 1065.920 - PEMS calibrations and verifications.

Code of Federal Regulations, 2012 CFR

2012-07-01

... POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Field Testing and Portable Emission Measurement Systems § 1065... that your new configuration meets this verification. The verification consists of operating an engine... with data simultaneously generated and recorded by laboratory equipment as follows: (1) Mount an engine...

40 CFR 1065.920 - PEMS calibrations and verifications.

Code of Federal Regulations, 2013 CFR

2013-07-01

... POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Field Testing and Portable Emission Measurement Systems § 1065... that your new configuration meets this verification. The verification consists of operating an engine... with data simultaneously generated and recorded by laboratory equipment as follows: (1) Mount an engine...

40 CFR 1065.920 - PEMS calibrations and verifications.

Code of Federal Regulations, 2011 CFR

2011-07-01

... POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Field Testing and Portable Emission Measurement Systems § 1065... that your new configuration meets this verification. The verification consists of operating an engine... with data simultaneously generated and recorded by laboratory equipment as follows: (1) Mount an engine...

A new verification film system for routine quality control of radiation fields: Kodak EC-L.

PubMed

Hermann, A; Bratengeier, K; Priske, A; Flentje, M

2000-06-01

The use of modern irradiation techniques requires better verification films for determining set-up deviations and patient movements during the course of radiation treatment. This is an investigation of the image quality and time requirement of a new verification film system compared to a conventional portal film system. For conventional verifications we used Agfa Curix HT 1000 films which were compared to the new Kodak EC-L film system. 344 Agfa Curix HT 1000 and 381 Kodak EC-L portal films of different tumor sites (prostate, rectum, head and neck) were visually judged on a light box by 2 experienced physicians. Subjective judgement of image quality, masking of films and time requirement were checked. In this investigation 68% of 175 Kodak EC-L ap/pa-films were judged "good", only 18% were classified "moderate" or "poor" 14%, but only 22% of 173 conventional ap/pa verification films (Agfa Curix HT 1000) were judged to be "good". The image quality, detail perception and time required for film inspection of the new Kodak EC-L film system was significantly improved when compared with standard portal films. They could be read more accurately and the detection of set-up deviation was facilitated.

7 CFR 62.213 - Official identification.

Code of Federal Regulations, 2010 CFR

2010-01-01

... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.213 Official identification. The following, as shown in figure 1, constitutes...

7 CFR 62.200 - Services.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false Services. 62.200 Section 62.200 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

7 CFR 62.207 - Official assessment.

Code of Federal Regulations, 2010 CFR

2010-01-01

... Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.207 Official assessment. Official assessment of an applicant's program shall include...

Fire Hazard Assessment in Supporting Fire Protection System Design of a Chemical Process Facility

DTIC Science & Technology

1996-08-01

CSDP/Studies/FireHaz –i– 3/28/97 FIRE HAZARD ASSESSMENT IN SUPPORTING FIRE PROTECTION SYSTEM DESIGN OF A CHEMICAL PROCESS FACILITY Ali Pezeshk...Joseph Chang, Dwight Hunt, and Peter Jahn Parsons Infrastructure & Technology Group, Inc. Pasadena, California 91124 ABSTRACT Because fires in a chemical ...Assessment in Supporting Fire Protection System Design of a Chemical Process Facility 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6

33 CFR 149.419 - Can the water supply for the helicopter deck fire protection system be part of a fire water system?

Code of Federal Regulations, 2010 CFR

2010-07-01

... 33 Navigation and Navigable Waters 2 2010-07-01 2010-07-01 false Can the water supply for the... § 149.419 Can the water supply for the helicopter deck fire protection system be part of a fire water system? (a) The water supply for the helicopter deck fire protection system required under § 149.420 or...

14 CFR 91.1415 - CAMP: Mechanical reliability reports.

Code of Federal Regulations, 2013 CFR

2013-01-01

... failure, malfunction, or defect in an aircraft concerning— (1) Fires during flight and whether the related fire-warning system functioned properly; (2) Fires during flight not protected by related fire-warning system; (3) False fire-warning during flight; (4) An exhaust system that causes damage during flight to...

14 CFR 91.1415 - CAMP: Mechanical reliability reports.

Code of Federal Regulations, 2011 CFR

2011-01-01

... failure, malfunction, or defect in an aircraft concerning— (1) Fires during flight and whether the related fire-warning system functioned properly; (2) Fires during flight not protected by related fire-warning system; (3) False fire-warning during flight; (4) An exhaust system that causes damage during flight to...

Verification of S&D Solutions for Network Communications and Devices

NASA Astrophysics Data System (ADS)

Rudolph, Carsten; Compagna, Luca; Carbone, Roberto; Muñoz, Antonio; Repp, Jürgen

This chapter describes the tool-supported verification of S&D Solutions on the level of network communications and devices. First, the general goals and challenges of verification in the context of AmI systems are highlighted and the role of verification and validation within the SERENITY processes is explained.Then, SERENITY extensions to the SH VErification tool are explained using small examples. Finally, the applicability of existing verification tools is discussed in the context of the AVISPA toolset. The two different tools show that for the security analysis of network and devices S&D Patterns relevant complementary approachesexist and can be used.

Definition of ground test for Large Space Structure (LSS) control verification

NASA Technical Reports Server (NTRS)

Waites, H. B.; Doane, G. B., III; Tollison, D. K.

1984-01-01

An overview for the definition of a ground test for the verification of Large Space Structure (LSS) control is given. The definition contains information on the description of the LSS ground verification experiment, the project management scheme, the design, development, fabrication and checkout of the subsystems, the systems engineering and integration, the hardware subsystems, the software, and a summary which includes future LSS ground test plans. Upon completion of these items, NASA/Marshall Space Flight Center will have an LSS ground test facility which will provide sufficient data on dynamics and control verification of LSS so that LSS flight system operations can be reasonably ensured.

Online 3D EPID-based dose verification: Proof of concept.

PubMed

Spreeuw, Hanno; Rozendaal, Roel; Olaciregui-Ruiz, Igor; González, Patrick; Mans, Anton; Mijnheer, Ben; van Herk, Marcel

2016-07-01

Delivery errors during radiotherapy may lead to medical harm and reduced life expectancy for patients. Such serious incidents can be avoided by performing dose verification online, i.e., while the patient is being irradiated, creating the possibility of halting the linac in case of a large overdosage or underdosage. The offline EPID-based 3D in vivo dosimetry system clinically employed at our institute is in principle suited for online treatment verification, provided the system is able to complete 3D dose reconstruction and verification within 420 ms, the present acquisition time of a single EPID frame. It is the aim of this study to show that our EPID-based dosimetry system can be made fast enough to achieve online 3D in vivo dose verification. The current dose verification system was sped up in two ways. First, a new software package was developed to perform all computations that are not dependent on portal image acquisition separately, thus removing the need for doing these calculations in real time. Second, the 3D dose reconstruction algorithm was sped up via a new, multithreaded implementation. Dose verification was implemented by comparing planned with reconstructed 3D dose distributions delivered to two regions in a patient: the target volume and the nontarget volume receiving at least 10 cGy. In both volumes, the mean dose is compared, while in the nontarget volume, the near-maximum dose (D2) is compared as well. The real-time dosimetry system was tested by irradiating an anthropomorphic phantom with three VMAT plans: a 6 MV head-and-neck treatment plan, a 10 MV rectum treatment plan, and a 10 MV prostate treatment plan. In all plans, two types of serious delivery errors were introduced. The functionality of automatically halting the linac was also implemented and tested. The precomputation time per treatment was ∼180 s/treatment arc, depending on gantry angle resolution. The complete processing of a single portal frame, including dose verification, took 266 ± 11 ms on a dual octocore Intel Xeon E5-2630 CPU running at 2.40 GHz. The introduced delivery errors were detected after 5-10 s irradiation time. A prototype online 3D dose verification tool using portal imaging has been developed and successfully tested for two different kinds of gross delivery errors. Thus, online 3D dose verification has been technologically achieved.

Smouldering Fires in the Earth System

NASA Astrophysics Data System (ADS)

Rein, G.

2012-04-01

Smouldering fires, the slow, low-temperature, flameless burning, represent the most persistent type of combustion phenomena and the longest continuously fires on Earth system. Indeed, smouldering mega-fires of peatlands occur with some frequency during the dry session in, for example, Indonesia, Canada, Russia, UK and USA. Smouldering fires propagate slowly through organic layers of the ground and can reach depth >5 m if large cracks, natural piping or channel systems exist. It threatens to release sequestered carbon deep into the soil. Once ignited, they are particularly difficult to extinguish despite extensive rains, weather changes or fire-fighting attempts, and can persist for long periods of time (months, years) spreading deep and over extensive areas. Recent figures at the global scale estimate that average annual greenhouse gas emissions from smouldering fires are equivalent to 15% of man-made emissions. These fires are difficult or impossible to detect with current remote sensing methods because the chemistry is significantly different, their thermal radiation signature is much smaller, and the plume is much less buoyant. These wildfires burn fossil fuels and thus are a carbon-positive fire phenomena. This creates feedbacks in the climate system because soil moisture deficit and self-heating are enchanted under warmer climate scenarios and lead to more frequent fires. Warmer temperatures at high latitudes are resulting in more frequent Artic fires. Unprecedented permafrost thaw is leaving large soil carbon pools exposed to smouldering fires for the fist time since millennia. Although interactions between flaming fires and the Earth system have been a central focus, smouldering fires are as important but have received very little attention. DBut differences with flaming fires are important. This paper reviews the current knowledge on smouldering fires in the Earth system regarding combustion dynamics, damage to the soil, emissions, remote sensing and feedbacks in the climate system.

Formal verification of automated teller machine systems using SPIN

NASA Astrophysics Data System (ADS)

Iqbal, Ikhwan Mohammad; Adzkiya, Dieky; Mukhlash, Imam

2017-08-01

Formal verification is a technique for ensuring the correctness of systems. This work focuses on verifying a model of the Automated Teller Machine (ATM) system against some specifications. We construct the model as a state transition diagram that is suitable for verification. The specifications are expressed as Linear Temporal Logic (LTL) formulas. We use Simple Promela Interpreter (SPIN) model checker to check whether the model satisfies the formula. This model checker accepts models written in Process Meta Language (PROMELA), and its specifications are specified in LTL formulas.

Integrated testing and verification system for research flight software

NASA Technical Reports Server (NTRS)

Taylor, R. N.

1979-01-01

The MUST (Multipurpose User-oriented Software Technology) program is being developed to cut the cost of producing research flight software through a system of software support tools. An integrated verification and testing capability was designed as part of MUST. Documentation, verification and test options are provided with special attention on real-time, multiprocessing issues. The needs of the entire software production cycle were considered, with effective management and reduced lifecycle costs as foremost goals.

Shop floor compliance with age restrictions for tobacco sales: remote versus in-store age verification.

PubMed

van Hoof, Joris J; Gosselt, Jordy F; de Jong, Menno D T

2010-02-01

To compare traditional in-store age verification with a newly developed remote age verification system, 100 cigarette purchase attempts were made by 15-year-old "mystery shoppers." The remote system led to a strong increase in compliance (96% vs. 12%), reflecting more identification requests and more sale refusals when adolescents showed their identification cards. Copyright 2010 Society for Adolescent Medicine. Published by Elsevier Inc. All rights reserved.

ENVIRONMENTAL TECHNOLOGY VERIFICATION--FUELCELL ENERGY, INC.: DFC 300A MOLTEN CARBONATE FUEL CELL COMBINED HEAT AND POWER SYSTEM

EPA Science Inventory

The U.S. EPA operates the Environmental Technology Verification program to facilitate the deployment of innovative technologies through performance verification and information dissemination. A technology area of interest is distributed electrical power generation, particularly w...

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, HONEYWELL POWER SYSTEMS, INC. PARALLON 75 KW TURBOGENERATOR WITH CO EMISSIONS CONTROL

EPA Science Inventory

The Greenhouse Gas Technology Center (GHG Center), one of six verification organizations under the Environmental Technology Verification (ETV) program, evaluated the performance of the Parallon 75 kW Turbogenerator (Turbogenerator) with carbon monoxide (CO) emissions control syst...

40 CFR 1065.920 - PEMS Calibrations and verifications.

Code of Federal Regulations, 2010 CFR

2010-07-01

... POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Field Testing and Portable Emission Measurement Systems § 1065... verification. The verification consists of operating an engine over a duty cycle in the laboratory and... by laboratory equipment as follows: (1) Mount an engine on a dynamometer for laboratory testing...

48 CFR 552.204-9 - Personal Identity Verification requirements.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 4 2014-10-01 2014-10-01 false Personal Identity....204-9 Personal Identity Verification requirements. As prescribed in 504.1303, insert the following clause: Personal Identity Verification Requirements (OCT 2012) (a) The contractor shall comply with GSA...

48 CFR 552.204-9 - Personal Identity Verification requirements.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 48 Federal Acquisition Regulations System 4 2012-10-01 2012-10-01 false Personal Identity....204-9 Personal Identity Verification requirements. As prescribed in 504.1303, insert the following clause: Personal Identity Verification Requirements (OCT 2012) (a) The contractor shall comply with GSA...

48 CFR 552.204-9 - Personal Identity Verification requirements.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 4 2013-10-01 2013-10-01 false Personal Identity....204-9 Personal Identity Verification requirements. As prescribed in 504.1303, insert the following clause: Personal Identity Verification Requirements (OCT 2012) (a) The contractor shall comply with GSA...

40 CFR 1066.240 - Torque transducer verification and calibration.

Code of Federal Regulations, 2013 CFR

2013-07-01

...) AIR POLLUTION CONTROLS VEHICLE-TESTING PROCEDURES Dynamometer Specifications § 1066.240 Torque transducer verification and calibration. Calibrate torque-measurement systems as described in 40 CFR 1065.310. ... 40 Protection of Environment 34 2013-07-01 2013-07-01 false Torque transducer verification and...

40 CFR 1066.240 - Torque transducer verification and calibration.

Code of Federal Regulations, 2012 CFR

2012-07-01

...) AIR POLLUTION CONTROLS VEHICLE-TESTING PROCEDURES Dynamometer Specifications § 1066.240 Torque transducer verification and calibration. Calibrate torque-measurement systems as described in 40 CFR 1065.310. ... 40 Protection of Environment 34 2012-07-01 2012-07-01 false Torque transducer verification and...

Cognitive Bias in the Verification and Validation of Space Flight Systems

NASA Technical Reports Server (NTRS)

Larson, Steve

2012-01-01

Cognitive bias is generally recognized as playing a significant role in virtually all domains of human decision making. Insight into this role is informally built into many of the system engineering practices employed in the aerospace industry. The review process, for example, typically has features that help to counteract the effect of bias. This paper presents a discussion of how commonly recognized biases may affect the verification and validation process. Verifying and validating a system is arguably more challenging than development, both technically and cognitively. Whereas there may be a relatively limited number of options available for the design of a particular aspect of a system, there is a virtually unlimited number of potential verification scenarios that may be explored. The probability of any particular scenario occurring in operations is typically very difficult to estimate, which increases reliance on judgment that may be affected by bias. Implementing a verification activity often presents technical challenges that, if they can be overcome at all, often result in a departure from actual flight conditions (e.g., 1-g testing, simulation, time compression, artificial fault injection) that may raise additional questions about the meaningfulness of the results, and create opportunities for the introduction of additional biases. In addition to mitigating the biases it can introduce directly, the verification and validation process must also overcome the cumulative effect of biases introduced during all previous stages of development. A variety of cognitive biases will be described, with research results for illustration. A handful of case studies will be presented that show how cognitive bias may have affected the verification and validation process on recent JPL flight projects, identify areas of strength and weakness, and identify potential changes or additions to commonly used techniques that could provide a more robust verification and validation of future systems.

Towards the formal verification of the requirements and design of a processor interface unit: HOL listings

NASA Technical Reports Server (NTRS)

Fura, David A.; Windley, Phillip J.; Cohen, Gerald C.

1993-01-01

This technical report contains the Higher-Order Logic (HOL) listings of the partial verification of the requirements and design for a commercially developed processor interface unit (PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault tolerant computer system. This system, the Fault Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU verification as it currently exists. Section two of this report contains general-purpose HOL theories and definitions that support the PIU verification. These include arithmetic theories dealing with inequalities and associativity, and a collection of tactics used in the PIU proofs. Section three contains the HOL listings for the completed PIU design verification. Section 4 contains the HOL listings for the partial requirements verification of the P-Port.

How to generate and interpret fire characteristics charts for the U.S. fire danger rating system

Treesearch

Faith Ann Heinsch; Patricia L. Andrews; Deb Tirmenstein

2017-01-01

The fire characteristics chart is a graphical method of presenting U.S. National Fire Danger Rating System (NFDRS) indexes and components as well as primary surface or crown fire behavior characteristics. Computer software has been developed to produce fire characteristics charts for both fire danger and fire behavior in a format suitable for inclusion in reports and...

Verification and intercomparison of mesoscale ensemble prediction systems in the Beijing 2008 Olympics Research and Development Project

NASA Astrophysics Data System (ADS)

Kunii, Masaru; Saito, Kazuo; Seko, Hiromu; Hara, Masahiro; Hara, Tabito; Yamaguchi, Munehiko; Gong, Jiandong; Charron, Martin; Du, Jun; Wang, Yong; Chen, Dehui

2011-05-01

During the period around the Beijing 2008 Olympic Games, the Beijing 2008 Olympics Research and Development Project (B08RDP) was conducted as part of the World Weather Research Program short-range weather forecasting research project. Mesoscale ensemble prediction (MEP) experiments were carried out by six organizations in near-real time, in order to share their experiences in the development of MEP systems. The purpose of this study is to objectively verify these experiments and to clarify the problems associated with the current MEP systems through the same experiences. Verification was performed using the MEP outputs interpolated into a common verification domain with a horizontal resolution of 15 km. For all systems, the ensemble spreads grew as the forecast time increased, and the ensemble mean improved the forecast errors compared with individual control forecasts in the verification against the analysis fields. However, each system exhibited individual characteristics according to the MEP method. Some participants used physical perturbation methods. The significance of these methods was confirmed by the verification. However, the mean error (ME) of the ensemble forecast in some systems was worse than that of the individual control forecast. This result suggests that it is necessary to pay careful attention to physical perturbations.

A field study of the accuracy and reliability of a biometric iris recognition system.

PubMed

Latman, Neal S; Herb, Emily

2013-06-01

The iris of the eye appears to satisfy the criteria for a good anatomical characteristic for use in a biometric system. The purpose of this study was to evaluate a biometric iris recognition system: Mobile-Eyes™. The enrollment, verification, and identification applications were evaluated in a field study for accuracy and reliability using both irises of 277 subjects. Independent variables included a wide range of subject demographics, ambient light, and ambient temperature. A sub-set of 35 subjects had alcohol-induced nystagmus. There were 2710 identification and verification attempts, which resulted in 1,501,340 and 5540 iris comparisons respectively. In this study, the system successfully enrolled all subjects on the first attempt. All 277 subjects were successfully verified and identified on the first day of enrollment. None of the current or prior eye conditions prevented enrollment, verification, or identification. All 35 subjects with alcohol-induced nystagmus were successfully verified and identified. There were no false verifications or false identifications. Two conditions were identified that potentially could circumvent the use of iris recognitions systems in general. The Mobile-Eyes™ iris recognition system exhibited accurate and reliable enrollment, verification, and identification applications in this study. It may have special applications in subjects with nystagmus. Copyright © 2012 Forensic Science Society. Published by Elsevier Ireland Ltd. All rights reserved.

Automated System Calibration and Verification of the Position Measurements for the Los Alamos Isotope Production Facility and the Switchyard Kicker Facilities

NASA Astrophysics Data System (ADS)

Barr, D.; Gilpatrick, J. D.; Martinez, D.; Shurter, R. B.

2004-11-01

The Los Alamos Neutron Science Center (LANSCE) facility at Los Alamos National Laboratory has constructed both an Isotope Production Facility (IPF) and a Switchyard Kicker (XDK) as additions to the H+ and H- accelerator. These additions contain eleven Beam Position Monitors (BPMs) that measure the beam's position throughout the transport. The analog electronics within each processing module determines the beam position using the log-ratio technique. For system reliability, calibrations compensate for various temperature drifts and other imperfections in the processing electronics components. Additionally, verifications are periodically implemented by a PC running a National Instruments LabVIEW virtual instrument (VI) to verify continued system and cable integrity. The VI communicates with the processor cards via a PCI/MXI-3 VXI-crate communication module. Previously, accelerator operators performed BPM system calibrations typically once per day while beam was explicitly turned off. One of this new measurement system's unique achievements is its automated calibration and verification capability. Taking advantage of the pulsed nature of the LANSCE-facility beams, the integrated electronics hardware and VI perform calibration and verification operations between beam pulses without interrupting production beam delivery. The design, construction, and performance results of the automated calibration and verification portion of this position measurement system will be the topic of this paper.

Cooperative Networked Control of Dynamical Peer-to-Peer Vehicle Systems

DTIC Science & Technology

2007-12-28

dynamic deployment and task allocation;verification and hybrid systems; and information management for cooperative control. The activity of the...32 5.3 Decidability Results on Discrete and Hybrid Systems ...... .................. 33 5.4 Switched Systems...solved. Verification and hybrid systems. The program has produced significant advances in the theory of hybrid input-output automata, (HIOA) and the

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT-INGERSOLL-RAND ENERGY SYSTEMS IR POWERWORKS(TM) 70 KW MICROTURBINE SYSTEM

EPA Science Inventory

The Environmental Technology Verification report discusses the technology and performance of the IR PowerWorks 70kW Microturbine System manufactured by Ingersoll-Rand Energy Systems. This system is a 70 kW electrical generator that puts out 480 v AC at 60 Hz and that is driven by...

An elementary tutorial on formal specification and verification using PVS

NASA Technical Reports Server (NTRS)

Butler, Ricky W.

1993-01-01

A tutorial on the development of a formal specification and its verification using the Prototype Verification System (PVS) is presented. The tutorial presents the formal specification and verification techniques by way of specific example - an airline reservation system. The airline reservation system is modeled as a simple state machine with two basic operations. These operations are shown to preserve a state invariant using the theorem proving capabilities of PVS. The technique of validating a specification via 'putative theorem proving' is also discussed and illustrated in detail. This paper is intended for the novice and assumes only some of the basic concepts of logic. A complete description of user inputs and the PVS output is provided and thus it can be effectively used while one is sitting at a computer terminal.

Active alignment/contact verification system

DOEpatents

Greenbaum, William M.

2000-01-01

A system involving an active (i.e. electrical) technique for the verification of: 1) close tolerance mechanical alignment between two component, and 2) electrical contact between mating through an elastomeric interface. For example, the two components may be an alumina carrier and a printed circuit board, two mating parts that are extremely small, high density parts and require alignment within a fraction of a mil, as well as a specified interface point of engagement between the parts. The system comprises pairs of conductive structures defined in the surfaces layers of the alumina carrier and the printed circuit board, for example. The first pair of conductive structures relate to item (1) above and permit alignment verification between mating parts. The second pair of conductive structures relate to item (2) above and permit verification of electrical contact between mating parts.

POGO ground simulation test of H-I launch vehicle's second stage

NASA Astrophysics Data System (ADS)

Ono, Yoshio; Kohsetsu, Yuji; Shibukawa, Kiwao

This paper describes a POGO ground simulation test of the Japanese new second stage for the H-I launch vehicle. It was the final prelaunch verification test of a POGO prevention of the H-I. This test was planned to examine POGO stability and was conducted in a Captive Firing Test (CFT) by mounting a flight-type second stage by a soft suspension system on the CFT test stand which gave the vehicle a pseudo inflight boundary condition of free-free in terms of the vehicle's structural dynamics. There was no indication that implied POGO from the data measured during the CFT. Consequently, this test suggested that the new second stage of the H-I was POGO free. Therefore, it was decided that the first test flight (TF no. 1) of the H-I would be made without a POGO Suppression Device. TF no. 1 was launched successfully on August 13, 1986, and its telemetry data showed no evidence of POGO phenomenon.

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research

NASA Technical Reports Server (NTRS)

Manna, Zohar

1998-01-01

This research is directed towards the implementation of a comprehensive deductive-algorithmic environment (toolkit) for the development and verification of high assurance reactive systems, especially concurrent, real-time, and hybrid systems. For this, we have designed and implemented the STCP (Stanford Temporal Prover) verification system. Reactive systems have an ongoing interaction with their environment, and their computations are infinite sequences of states. A large number of systems can be seen as reactive systems, including hardware, concurrent programs, network protocols, and embedded systems. Temporal logic provides a convenient language for expressing properties of reactive systems. A temporal verification methodology provides procedures for proving that a given system satisfies a given temporal property. The research covered necessary theoretical foundations as well as implementation and application issues.

46 CFR 108.419 - Fire main capacity.

Code of Federal Regulations, 2010 CFR

2010-10-01

... COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems Fire Main System § 108.419 Fire main capacity. The diameter of the fire... pumps operating simultaneously. ...

46 CFR 108.419 - Fire main capacity.

Code of Federal Regulations, 2011 CFR

2011-10-01

... COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems Fire Main System § 108.419 Fire main capacity. The diameter of the fire... pumps operating simultaneously. ...

Identity Verification Systems as a Critical Infrastructure

DTIC Science & Technology

2012-03-01

COVERED Master’s Thesis 4 . TITLE AND SUBTITLE Identity Verification Systems as a Critical Infrastructure 5. FUNDING NUMBERS 6. AUTHOR(S...43 3. Cybercrime .........................................................................................45 4 ...24 Figure 3. Uses of Fictitious or Stolen Identity ................................................................30 Figure 4

Space telescope observatory management system preliminary test and verification plan

NASA Technical Reports Server (NTRS)

Fritz, J. S.; Kaldenbach, C. F.; Williams, W. B.

1982-01-01

The preliminary plan for the Space Telescope Observatory Management System Test and Verification (TAV) is provided. Methodology, test scenarios, test plans and procedure formats, schedules, and the TAV organization are included. Supporting information is provided.

7 CFR 62.211 - Appeals.

Code of Federal Regulations, 2010 CFR

2010-01-01

... of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.211 Appeals. Appeals of adverse decisions under this part, may be made in writing to...

7 CFR 62.206 - Access to program documents and activities.

Code of Federal Regulations, 2010 CFR

2010-01-01

... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.206 Access to program documents and... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) REGULATIONS...

7 CFR 62.212 - Official assessment reports.

Code of Federal Regulations, 2010 CFR

2010-01-01

... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.212 Official assessment reports. Official QSVP assessment reports shall be generated...

An integrated user-oriented laboratory for verification of digital flight control systems: Features and capabilities

NASA Technical Reports Server (NTRS)

Defeo, P.; Doane, D.; Saito, J.

1982-01-01

A Digital Flight Control Systems Verification Laboratory (DFCSVL) has been established at NASA Ames Research Center. This report describes the major elements of the laboratory, the research activities that can be supported in the area of verification and validation of digital flight control systems (DFCS), and the operating scenarios within which these activities can be carried out. The DFCSVL consists of a palletized dual-dual flight-control system linked to a dedicated PDP-11/60 processor. Major software support programs are hosted in a remotely located UNIVAC 1100 accessible from the PDP-11/60 through a modem link. Important features of the DFCSVL include extensive hardware and software fault insertion capabilities, a real-time closed loop environment to exercise the DFCS, an integrated set of software verification tools, and a user-oriented interface to all the resources and capabilities.

Exploring system interconnection architectures with VIPACES: from direct connections to NOCs

NASA Astrophysics Data System (ADS)

Sánchez-Peña, Armando; Carballo, Pedro P.; Núñez, Antonio

2007-05-01

This paper presents a simple environment for the verification of AMBA 3 AXI systems in Verification IP (VIP) production called VIPACES (Verification Interface Primitives for the development of AXI Compliant Elements and Systems). These primitives are presented as a not compiled library written in SystemC where interfaces are the core of the library. The definition of interfaces instead of generic modules let the user construct custom modules improving the resources spent during the verification phase as well as easily adapting his modules to the AMBA 3 AXI protocol. This topic is the main discussion in the VIPACES library. The paper focuses on comparing and contrasting the main interconnection schemes for AMBA 3 AXI as modeled by VIPACES. For assessing these results we propose a validation scenario with a particular architecture belonging to the domain of MPEG4 video decoding, which is compound by an AXI bus connecting an IDCT and other processing resources.

FOCUS: a fire management planning system -- final report

Treesearch

Frederick W. Bratten; James B. Davis; George T. Flatman; Jerold W. Keith; Stanley R. Rapp; Theodore G. Storey

1981-01-01

FOCUS (Fire Operational Characteristics Using Simulation) is a computer simulation model for evaluating alternative fire management plans. This final report provides a broad overview of the FOCUS system, describes two major modules-fire suppression and cost, explains the role in the system of gaming large fires, and outlines the support programs and ways of...

30 CFR 75.1103-3 - Automatic fire sensor and warning device systems; minimum requirements; general.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-3 Automatic fire sensor and warning device systems; minimum requirements; general. Automatic fire sensor and warning device systems installed in belt haulageways of...

30 CFR 75.1103-3 - Automatic fire sensor and warning device systems; minimum requirements; general.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-3 Automatic fire sensor and warning device systems; minimum requirements; general. Automatic fire sensor and warning device systems installed in belt haulageways of...

30 CFR 75.1103-3 - Automatic fire sensor and warning device systems; minimum requirements; general.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-3 Automatic fire sensor and warning device systems; minimum requirements; general. Automatic fire sensor and warning device systems installed in belt haulageways of...

30 CFR 75.1103-3 - Automatic fire sensor and warning device systems; minimum requirements; general.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-3 Automatic fire sensor and warning device systems; minimum requirements; general. Automatic fire sensor and warning device systems installed in belt haulageways of...

36 CFR 1234.12 - What are the fire safety requirements that apply to records storage facilities?

Code of Federal Regulations, 2012 CFR

2012-07-01

... records storage facilities? (a) The fire detection and protection systems must be designed or reviewed by a licensed fire protection engineer. If the system was not designed by a licensed fire protection... engineer that describes the design intent of the fire detection and suppression system, detailing the...

46 CFR 122.612 - Fire protection equipment.

Code of Federal Regulations, 2010 CFR

2010-10-01

... marked in clearly legible letters “FIRE ALARM”. (f) An alarm for an automatic sprinkler system must be... fixed gas fire extinguishing system must be located in a conspicuous place at or near each pull box and... “carbon dioxide.” (c) Each distribution line valve of a fixed gas fire extinguishing system and the fire...

46 CFR 122.612 - Fire protection equipment.

Code of Federal Regulations, 2013 CFR

2013-10-01

... marked in clearly legible letters “FIRE ALARM”. (f) An alarm for an automatic sprinkler system must be... fixed gas fire extinguishing system must be located in a conspicuous place at or near each pull box and... “carbon dioxide.” (c) Each distribution line valve of a fixed gas fire extinguishing system and the fire...

46 CFR 122.612 - Fire protection equipment.

Code of Federal Regulations, 2012 CFR

2012-10-01

... marked in clearly legible letters “FIRE ALARM”. (f) An alarm for an automatic sprinkler system must be... fixed gas fire extinguishing system must be located in a conspicuous place at or near each pull box and... “carbon dioxide.” (c) Each distribution line valve of a fixed gas fire extinguishing system and the fire...

46 CFR 122.612 - Fire protection equipment.

Code of Federal Regulations, 2011 CFR

2011-10-01

... marked in clearly legible letters “FIRE ALARM”. (f) An alarm for an automatic sprinkler system must be... fixed gas fire extinguishing system must be located in a conspicuous place at or near each pull box and... “carbon dioxide.” (c) Each distribution line valve of a fixed gas fire extinguishing system and the fire...

46 CFR 122.612 - Fire protection equipment.

Code of Federal Regulations, 2014 CFR

2014-10-01

... marked in clearly legible letters “FIRE ALARM”. (f) An alarm for an automatic sprinkler system must be... fixed gas fire extinguishing system must be located in a conspicuous place at or near each pull box and... “carbon dioxide.” (c) Each distribution line valve of a fixed gas fire extinguishing system and the fire...

36 CFR 1234.12 - What are the fire safety requirements that apply to records storage facilities?

Code of Federal Regulations, 2014 CFR

2014-07-01

... records storage facilities? (a) The fire detection and protection systems must be designed or reviewed by a licensed fire protection engineer. If the system was not designed by a licensed fire protection... engineer that describes the design intent of the fire detection and suppression system, detailing the...

14 CFR 29.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Fire extinguishing system materials. 29.1201 Section 29.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 29.1201 Fire extinguishing system materials. (a) No materials in any fire extinguishing system...

14 CFR 29.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Fire extinguishing system materials. 29.1201 Section 29.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 29.1201 Fire extinguishing system materials. (a) No materials in any fire extinguishing system...

14 CFR 25.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 1 2014-01-01 2014-01-01 false Fire extinguishing system materials. 25.1201 Section 25.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 25.1201 Fire extinguishing system materials. (a) No material in any fire extinguishing system...

14 CFR 25.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Fire extinguishing system materials. 25.1201 Section 25.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 25.1201 Fire extinguishing system materials. (a) No material in any fire extinguishing system...

14 CFR 25.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Fire extinguishing system materials. 25.1201 Section 25.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 25.1201 Fire extinguishing system materials. (a) No material in any fire extinguishing system...

14 CFR 29.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 1 2014-01-01 2014-01-01 false Fire extinguishing system materials. 29.1201 Section 29.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 29.1201 Fire extinguishing system materials. (a) No materials in any fire extinguishing system...

14 CFR 25.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Fire extinguishing system materials. 25.1201 Section 25.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 25.1201 Fire extinguishing system materials. (a) No material in any fire extinguishing system...

14 CFR 29.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 1 2013-01-01 2013-01-01 false Fire extinguishing system materials. 29.1201 Section 29.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 29.1201 Fire extinguishing system materials. (a) No materials in any fire extinguishing system...

14 CFR 25.1201 - Fire extinguishing system materials.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 1 2013-01-01 2013-01-01 false Fire extinguishing system materials. 25.1201 Section 25.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Protection § 25.1201 Fire extinguishing system materials. (a) No material in any fire extinguishing system...

36 CFR Appendix B to Part 1234 - Alternative Certified Fire-Safety Detection and Suppression System(s)

Code of Federal Regulations, 2012 CFR

2012-07-01

... the system at the base of the main sprinkler riser. l. Fire hydrants must be located within 250 feet... Suppression System(s) 1. General. This Appendix B contains information on the Fire-safety Detection and Suppression System(s) tested by NARA through independent live fire testing that are certified to meet the...

36 CFR Appendix B to Part 1234 - Alternative Certified Fire-Safety Detection and Suppression System(s)

Code of Federal Regulations, 2014 CFR

2014-07-01

... the system at the base of the main sprinkler riser. l. Fire hydrants must be located within 250 feet... Suppression System(s) 1. General. This Appendix B contains information on the Fire-safety Detection and Suppression System(s) tested by NARA through independent live fire testing that are certified to meet the...

36 CFR Appendix B to Part 1234 - Alternative Certified Fire-Safety Detection and Suppression System(s)

Code of Federal Regulations, 2013 CFR

2013-07-01

... the system at the base of the main sprinkler riser. l. Fire hydrants must be located within 250 feet... Suppression System(s) 1. General. This Appendix B contains information on the Fire-safety Detection and Suppression System(s) tested by NARA through independent live fire testing that are certified to meet the...

Mars Exploration Rover Terminal Descent Mission Modeling and Simulation

NASA Technical Reports Server (NTRS)

Raiszadeh, Behzad; Queen, Eric M.

2004-01-01

Because of NASA's added reliance on simulation for successful interplanetary missions, the MER mission has developed a detailed EDL trajectory modeling and simulation. This paper summarizes how the MER EDL sequence of events are modeled, verification of the methods used, and the inputs. This simulation is built upon a multibody parachute trajectory simulation tool that has been developed in POST I1 that accurately simulates the trajectory of multiple vehicles in flight with interacting forces. In this model the parachute and the suspended bodies are treated as 6 Degree-of-Freedom (6 DOF) bodies. The terminal descent phase of the mission consists of several Entry, Descent, Landing (EDL) events, such as parachute deployment, heatshield separation, deployment of the lander from the backshell, deployment of the airbags, RAD firings, TIRS firings, etc. For an accurate, reliable simulation these events need to be modeled seamlessly and robustly so that the simulations will remain numerically stable during Monte-Carlo simulations. This paper also summarizes how the events have been modeled, the numerical issues, and modeling challenges.

Test/QA Plan (TQAP) for Verification of Semi-Continuous Ambient Air Monitoring Systems

EPA Science Inventory

The purpose of the semi-continuous ambient air monitoring technology (or MARGA) test and quality assurance plan is to specify procedures for a verification test applicable to commercial semi-continuous ambient air monitoring technologies. The purpose of the verification test is ...

ENVIRONMENTAL TECHNOLOGY VERIFICATION, TEST REPORT OF CONTROL OF BIOAEROSOLS IN HVAC SYSTEMS, COLUMBUS INDUSTRIES HIGH EFFICIENCY MINI PLEAT

EPA Science Inventory

The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

14 CFR 23.1359 - Electrical system fire protection.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 1 2013-01-01 2013-01-01 false Electrical system fire protection. 23.1359... Electrical Systems and Equipment § 23.1359 Electrical system fire protection. (a) Each component of the electrical system must meet the applicable fire protection requirements of §§ 23.863 and 23.1182. (b...

14 CFR 23.1359 - Electrical system fire protection.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Electrical system fire protection. 23.1359... Electrical Systems and Equipment § 23.1359 Electrical system fire protection. (a) Each component of the electrical system must meet the applicable fire protection requirements of §§ 23.863 and 23.1182. (b...

14 CFR 23.1359 - Electrical system fire protection.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Electrical system fire protection. 23.1359... Electrical Systems and Equipment § 23.1359 Electrical system fire protection. (a) Each component of the electrical system must meet the applicable fire protection requirements of §§ 23.863 and 23.1182. (b...

14 CFR 23.1359 - Electrical system fire protection.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 1 2014-01-01 2014-01-01 false Electrical system fire protection. 23.1359... Electrical Systems and Equipment § 23.1359 Electrical system fire protection. (a) Each component of the electrical system must meet the applicable fire protection requirements of §§ 23.863 and 23.1182. (b...

14 CFR 23.1359 - Electrical system fire protection.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Electrical system fire protection. 23.1359... Electrical Systems and Equipment § 23.1359 Electrical system fire protection. (a) Each component of the electrical system must meet the applicable fire protection requirements of §§ 23.863 and 23.1182. (b...

46 CFR 193.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 7 2013-10-01 2013-10-01 false Fire detecting, manual alarm, and supervised patrol...) OCEANOGRAPHIC RESEARCH VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 193.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 193.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 7 2012-10-01 2012-10-01 false Fire detecting, manual alarm, and supervised patrol...) OCEANOGRAPHIC RESEARCH VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 193.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 193.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 7 2011-10-01 2011-10-01 false Fire detecting, manual alarm, and supervised patrol...) OCEANOGRAPHIC RESEARCH VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 193.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 193.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 7 2014-10-01 2014-10-01 false Fire detecting, manual alarm, and supervised patrol...) OCEANOGRAPHIC RESEARCH VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 193.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 95.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fire detecting, manual alarm, and supervised patrol... AND MISCELLANEOUS VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 95.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 95.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fire detecting, manual alarm, and supervised patrol... AND MISCELLANEOUS VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 95.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 193.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 7 2010-10-01 2010-10-01 false Fire detecting, manual alarm, and supervised patrol...) OCEANOGRAPHIC RESEARCH VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 193.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 95.05-1 - Fire detecting, manual alarm, and supervised patrol systems.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fire detecting, manual alarm, and supervised patrol... AND MISCELLANEOUS VESSELS FIRE PROTECTION EQUIPMENT Fire Detecting and Extinguishing Equipment, Where Required § 95.05-1 Fire detecting, manual alarm, and supervised patrol systems. (a) Fire detecting, manual...

46 CFR 108.403 - Fire extinguishing systems: General.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fire extinguishing systems: General. 108.403 Section 108.403 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403 Fire extinguishing systems: General. (a) Each...

46 CFR 108.403 - Fire extinguishing systems: General.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Fire extinguishing systems: General. 108.403 Section 108.403 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403 Fire extinguishing systems: General. (a) Each...

46 CFR 108.403 - Fire extinguishing systems: General.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Fire extinguishing systems: General. 108.403 Section 108.403 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403 Fire extinguishing systems: General. (a) Each...

46 CFR 108.403 - Fire extinguishing systems: General.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fire extinguishing systems: General. 108.403 Section 108.403 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403 Fire extinguishing systems: General. (a) Each...

46 CFR 108.403 - Fire extinguishing systems: General.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fire extinguishing systems: General. 108.403 Section 108.403 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403 Fire extinguishing systems: General. (a) Each...

14 CFR 25.1733 - Fire detector systems, general: EWIS.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Fire detector systems, general: EWIS. 25.1733 Section 25.1733 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Systems (EWIS) § 25.1733 Fire detector systems, general: EWIS. EWIS associated with any installed fire...

14 CFR 25.1733 - Fire detector systems, general: EWIS.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Fire detector systems, general: EWIS. 25.1733 Section 25.1733 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Systems (EWIS) § 25.1733 Fire detector systems, general: EWIS. EWIS associated with any installed fire...

14 CFR 25.1733 - Fire detector systems, general: EWIS.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Fire detector systems, general: EWIS. 25.1733 Section 25.1733 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Systems (EWIS) § 25.1733 Fire detector systems, general: EWIS. EWIS associated with any installed fire...

14 CFR 25.1733 - Fire detector systems, general: EWIS.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 1 2013-01-01 2013-01-01 false Fire detector systems, general: EWIS. 25.1733 Section 25.1733 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Systems (EWIS) § 25.1733 Fire detector systems, general: EWIS. EWIS associated with any installed fire...

14 CFR 25.1733 - Fire detector systems, general: EWIS.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 1 2014-01-01 2014-01-01 false Fire detector systems, general: EWIS. 25.1733 Section 25.1733 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Systems (EWIS) § 25.1733 Fire detector systems, general: EWIS. EWIS associated with any installed fire...

Development of gas fire detection system using tunable diode laser absorption spectroscopy

NASA Astrophysics Data System (ADS)

Jiang, Y. L.; Li, G.; Yang, T.; Wang, J. J.

2017-01-01

The conventional fire detection methods mainly produce an alarm through detecting the changes in smoke concentration, flame radiation, heat and other physical parameters in the environment, but are unable to provide an early warning of a fire emergency. We have designed a gas fire detection system with a high detection sensitivity and high selectivity using the tunable semiconductor diode laser as a light source and combining wavelength modulation and harmonic detection technology. This system can invert the second harmonic signal obtained to obtain the concentration of carbon monoxide gas (a fire characteristic gas) so as to provide an early warning of fire. We reduce the system offset noise and the background noise generated due to the laser interference by deducting the system background spectrum lines from the second harmonic signal. This can also eliminate the interference of other gas spectral lines to a large extent. We detected the concentration of the carbon monoxide gas generated in smoldering sandalwood fire and open beech wood fire with the homemade fire simulator, and tested the lowest detectable limit of system. The test results show that the lowest detectable limit can reach 5×10-6 the system can maintain stable operation for a long period of time and can automatically trigger a water mist fire extinguishing system, which can fully meet the needs of early fire warning.

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

NASA Technical Reports Server (NTRS)

Rushby, John

1991-01-01

The formal specification and mechanically checked verification for a model of fault-masking and transient-recovery among the replicated computers of digital flight-control systems are presented. The verification establishes, subject to certain carefully stated assumptions, that faults among the component computers are masked so that commands sent to the actuators are the same as those that would be sent by a single computer that suffers no failures.

Formal System Verification for Trustworthy Embedded Systems

DTIC Science & Technology

2011-04-19

microkernel basis. We had previously achieved code- level formal verification of the seL4 microkernel [3]. In the present project, over 12 months with 0.6 FTE...project, we designed and implemented a secure network access device (SAC) on top of the verified seL4 microkernel. The device allows a trusted front...Engelhardt, Rafal Kolan- ski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4 : Formal verification of an OS kernel. CACM, 53(6):107

Introduction to fire danger rating and remote sensing - Will remote sensing enhance wildland fire danger prediction?

USGS Publications Warehouse

Allgöwer, Britta; Carlson, J.D.; Van Wagtendonk, Jan W.; Chuvieco, Emilio

2003-01-01

While ‘Fire Danger’ per se cannot be measured, the physical properties of the biotic and abiotic world that relate to fire occurrence and fire behavior can. Today, increasingly sophisticated Remote Sensing methods are being developed to more accurately detect fuel properties such as species composition (fuel types), vegetation structure or plant water content - to name a few. Based on meteorological input data and physical, semi-physical or empirical model calculations, Wildland Fire Danger Rating Systems provide ‘indirect values’ - numerical indices - at different temporal scales (e.g., daily, weekly, monthly) denoting the physical conditions that may lead to fire ignition and support fire propagation. The results can be expressed as fire danger levels, ranging from ‘low’ to ‘very high’, and are commonly used in operational wildland fire management (e.g., the Canadian Fire Weather Index [FWI] System, the Russian Nesterov Index, or the U.S. National Fire Danger Rating System [NFDRS]). Today, fire danger levels are often turned into broad scale maps with the help of Geographical Information Systems (GIS) showing the areas with the different fire danger levels, and are distributed via the World Wide Web.In this chapter we will outline some key issues dealing with Remote Sensing and GIS techniques that are covered in the following chapters, and elaborate how the Fire Danger Rating concepts could be integrated into a framework that enables comprehensive and sustainable wildland fire risk assessment. To do so, we will first raise some general thoughts about wildland fires and suggest how to approach this extremely complex phenomenon. Second, we will outline a possible fire risk analysis framework and third we will give a short overview on existing Fire Danger Rating Systems and the principles behind them.

Fire danger and fire behavior modeling systems in Australia, Europe, and North America

Treesearch

Francis M. Fujioka; A. Malcolm Gill; Domingos X. Viegas; B. Mike Wotton

2009-01-01

Wildland fire occurrence and behavior are complex phenomena involving essentially fuel (vegetation), topography, and weather. Fire managers around the world use a variety of systems to track and predict fire danger and fire behavior, at spatial scales that span from local to global extents, and temporal scales ranging from minutes to seasons. The fire management...

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, C. LEE COOK DIVISION, DOVER CORPORATION, STATIC PAC (TM) SYSTEM, PHASE II REPORT

EPA Science Inventory

The Environmental Technology Verification report discusses the technology and performance of the Static Pac System, Phase II, natural gas reciprocating compressor rod packing manufactured by the C. Lee Cook Division, Dover Corporation. The Static Pac System is designed to seal th...

7 CFR 62.201 - Availability of service.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false Availability of service. 62.201 Section 62.201 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

7 CFR 62.301 - Payment of fees and other charges.

Code of Federal Regulations, 2010 CFR

2010-01-01

... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Charges for Service § 62.301 Payment of fees and other... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) REGULATIONS...

Handheld Delivery System for Modified Boron-Type Fire Extinguishment Agent

DTIC Science & Technology

1993-11-01

was to develop and test a handheld portable delivery system for use with the modified boron-type fire extinguishing agent for metal fires . B...BACKGROUND A need exists for an extinguishing agent and accompanying delivery system that are effective against complex geometry metal fires . A modified...agent and its delivery system have proven effective against complex geometry metal fires containing up to 200 pounds of magnesium metal. Further

Fire Safety Countermeasures for Urban Rail Vehicles

DOT National Transportation Integrated Search

1992-07-01

The Volpe National Transportation Systems Center (VNTSC) has analyzed transit system fire statistics to learn how often fire and smoke incidents occur on rail transit systems. While the threat of fire accounts for only a small percentage of all rail ...

30 CFR 75.1103-8 - Automatic fire sensor and warning device systems; examination and test requirements.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-8 Automatic fire sensor and warning device systems; examination and test requirements. (a) Automatic fire sensor and warning device systems shall be examined at...

30 CFR 75.1103-8 - Automatic fire sensor and warning device systems; examination and test requirements.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-8 Automatic fire sensor and warning device systems; examination and test requirements. (a) Automatic fire sensor and warning device systems shall be examined at...

30 CFR 75.1103-8 - Automatic fire sensor and warning device systems; examination and test requirements.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-8 Automatic fire sensor and warning device systems; examination and test requirements. (a) Automatic fire sensor and warning device systems shall be examined at...

30 CFR 75.1103-8 - Automatic fire sensor and warning device systems; examination and test requirements.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-8 Automatic fire sensor and warning device systems; examination and test requirements. (a) Automatic fire sensor and warning device systems shall be examined at...

30 CFR 75.1103-8 - Automatic fire sensor and warning device systems; examination and test requirements.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Automatic fire sensor and warning device...-UNDERGROUND COAL MINES Fire Protection § 75.1103-8 Automatic fire sensor and warning device systems; examination and test requirements. (a) Automatic fire sensor and warning device systems shall be examined at...

36 CFR § 1234.12 - What are the fire safety requirements that apply to records storage facilities?

Code of Federal Regulations, 2013 CFR

2013-07-01

... records storage facilities? (a) The fire detection and protection systems must be designed or reviewed by a licensed fire protection engineer. If the system was not designed by a licensed fire protection... engineer that describes the design intent of the fire detection and suppression system, detailing the...

46 CFR 161.002-12 - Manual fire alarm systems.

Code of Federal Regulations, 2010 CFR

2010-10-01

.... (a) General. A manual fire alarm system shall consist of a power supply, a control unit on which are... using manually operated fire alarm boxes. (3) Other types as may be developed. (c) Power supply. The power supply shall be as specified for automatic fire detecting system by § 161.002-9. (d) Manual fire...

46 CFR 161.002-12 - Manual fire alarm systems.

Code of Federal Regulations, 2011 CFR

2011-10-01

.... (a) General. A manual fire alarm system shall consist of a power supply, a control unit on which are... using manually operated fire alarm boxes. (3) Other types as may be developed. (c) Power supply. The power supply shall be as specified for automatic fire detecting system by § 161.002-9. (d) Manual fire...

RTL validation methodology on high complexity wireless microcontroller using OVM technique for fast time to market

NASA Astrophysics Data System (ADS)

Zhafirah Muhammad, Nurul; Harun, A.; Hambali, N. A. M. A.; Murad, S. A. Z.; Mohyar, S. N.; Isa, M. N.; Jambek, AB

2017-11-01

Increased demand in internet of thing (IOT) application based has inadvertently forced the move towards higher complexity of integrated circuit supporting SoC. Such spontaneous increased in complexity poses unequivocal complicated validation strategies. Hence, the complexity allows researchers to come out with various exceptional methodologies in order to overcome this problem. This in essence brings about the discovery of dynamic verification, formal verification and hybrid techniques. In reserve, it is very important to discover bugs at infancy of verification process in (SoC) in order to reduce time consuming and fast time to market for the system. Ergo, in this paper we are focusing on the methodology of verification that can be done at Register Transfer Level of SoC based on the AMBA bus design. On top of that, the discovery of others verification method called Open Verification Methodology (OVM) brings out an easier way in RTL validation methodology neither as the replacement for the traditional method yet as an effort for fast time to market for the system. Thus, the method called OVM is proposed in this paper as the verification method for larger design to avert the disclosure of the bottleneck in validation platform.

46 CFR 108.404 - Selection of fire detection system.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Selection of fire detection system. 108.404 Section 108.404 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.404 Selection of fire detection system. (a) If a...

46 CFR 108.413 - Fusible element fire detection system.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fusible element fire detection system. 108.413 Section 108.413 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.413 Fusible element fire detection system...

46 CFR 108.413 - Fusible element fire detection system.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Fusible element fire detection system. 108.413 Section 108.413 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.413 Fusible element fire detection system...

46 CFR 108.404 - Selection of fire detection system.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Selection of fire detection system. 108.404 Section 108.404 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.404 Selection of fire detection system. (a) If a...

46 CFR 108.413 - Fusible element fire detection system.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Fusible element fire detection system. 108.413 Section 108.413 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.413 Fusible element fire detection system...

46 CFR 108.404 - Selection of fire detection system.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Selection of fire detection system. 108.404 Section 108.404 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.404 Selection of fire detection system. (a) If a...

46 CFR 108.404 - Selection of fire detection system.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Selection of fire detection system. 108.404 Section 108.404 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.404 Selection of fire detection system. (a) If a...

46 CFR 108.413 - Fusible element fire detection system.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fusible element fire detection system. 108.413 Section 108.413 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.413 Fusible element fire detection system...

75 FR 8431 - Carbon Dioxide Fire Suppression Systems on Commercial Vessels

Federal Register 2010, 2011, 2012, 2013, 2014

2010-02-24

... Fire Suppression Systems on Commercial Vessels; Proposed Rule #0;#0;Federal Register / Vol. 75 , No. 36... 1625-AB44 Carbon Dioxide Fire Suppression Systems on Commercial Vessels AGENCY: Coast Guard, DHS... for fire suppression systems on several classes of commercial vessels. The amendments would clarify...

29 CFR 1915.507 - Land-side fire protection systems.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 29 Labor 7 2013-07-01 2013-07-01 false Land-side fire protection systems. 1915.507 Section 1915... Protection in Shipyard Employment § 1915.507 Land-side fire protection systems. (a) Employer responsibilities. The employer must ensure all fixed and portable fire protection systems needed to meet an OSHA...

29 CFR 1915.507 - Land-side fire protection systems.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 29 Labor 7 2012-07-01 2012-07-01 false Land-side fire protection systems. 1915.507 Section 1915... Protection in Shipyard Employment § 1915.507 Land-side fire protection systems. (a) Employer responsibilities. The employer must ensure all fixed and portable fire protection systems needed to meet an OSHA...

29 CFR 1915.507 - Land-side fire protection systems.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 29 Labor 7 2011-07-01 2011-07-01 false Land-side fire protection systems. 1915.507 Section 1915... Protection in Shipyard Employment § 1915.507 Land-side fire protection systems. (a) Employer responsibilities. The employer must ensure all fixed and portable fire protection systems needed to meet an OSHA...

29 CFR 1915.507 - Land-side fire protection systems.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 29 Labor 7 2014-07-01 2014-07-01 false Land-side fire protection systems. 1915.507 Section 1915... Protection in Shipyard Employment § 1915.507 Land-side fire protection systems. (a) Employer responsibilities. The employer must ensure all fixed and portable fire protection systems needed to meet an OSHA...

The Learner Verification of Series r: The New Macmillan Reading Program; Highlights.

ERIC Educational Resources Information Center

National Evaluation Systems, Inc., Amherst, MA.

National Evaluation Systems, Inc., has developed curriculum evaluation techniques, in terms of learner verification, which may be used to help the curriculum-development efforts of publishing companies, state education departments, and universities. This document includes a summary of the learner-verification approach, with data collected about a…

Test/QA Plan for Verification of Radio Frequency Identification (RFID) for Tracking Hazardous Waste Shipments across International Borders

EPA Science Inventory

The verification test will be conducted under the auspices of the U.S. Environmental Protection Agency (EPA) through the Environmental Technology Verification (ETV) Program. It will be performed by Battelle, which is managing the ETV Advanced Monitoring Systems (AMS) Center throu...

48 CFR 52.204-9 - Personal Identity Verification of Contractor Personnel.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 48 Federal Acquisition Regulations System 2 2010-10-01 2010-10-01 false Personal Identity... Provisions and Clauses 52.204-9 Personal Identity Verification of Contractor Personnel. As prescribed in 4.1303, insert the following clause: Personal Identity Verification of Contractor Personnel (SEP 2007) (a...

48 CFR 52.204-9 - Personal Identity Verification of Contractor Personnel.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 48 Federal Acquisition Regulations System 2 2012-10-01 2012-10-01 false Personal Identity... Provisions and Clauses 52.204-9 Personal Identity Verification of Contractor Personnel. As prescribed in 4.1303, insert the following clause: Personal Identity Verification of Contractor Personnel (JAN 2011) (a...

48 CFR 52.204-9 - Personal Identity Verification of Contractor Personnel.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 2 2013-10-01 2013-10-01 false Personal Identity... Provisions and Clauses 52.204-9 Personal Identity Verification of Contractor Personnel. As prescribed in 4.1303, insert the following clause: Personal Identity Verification of Contractor Personnel (JAN 2011) (a...

48 CFR 52.204-9 - Personal Identity Verification of Contractor Personnel.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 2 2014-10-01 2014-10-01 false Personal Identity... Provisions and Clauses 52.204-9 Personal Identity Verification of Contractor Personnel. As prescribed in 4.1303, insert the following clause: Personal Identity Verification of Contractor Personnel (JAN 2011) (a...

48 CFR 52.204-9 - Personal Identity Verification of Contractor Personnel.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 48 Federal Acquisition Regulations System 2 2011-10-01 2011-10-01 false Personal Identity... Provisions and Clauses 52.204-9 Personal Identity Verification of Contractor Personnel. As prescribed in 4.1303, insert the following clause: Personal Identity Verification of Contractor Personnel (JAN 2011) (a...

Joint ETV/NOWATECH test plan for the Sorbisense GSW40 passive sampler

EPA Science Inventory

The joint test plan is the implementation of a test design developed for verification of the performance of an environmental technology following the NOWATECH ETV method. The verification is a joint verification with the US EPA ETV scheme and the Advanced Monitoring Systems Cent...

Test/QA Plan for Verification of Cavity Ringdown Spectroscopy Systems for Ammonia Monitoring in Stack Gas

EPA Science Inventory

The purpose of the cavity ringdown spectroscopy (CRDS) technology test and quality assurance plan is to specify procedures for a verification test applicable to commercial cavity ringdown spectroscopy technologies. The purpose of the verification test is to evaluate the performa...

The Fire Effects Information System

Treesearch

William C. Fischer

1987-01-01

Lack of information regarding fire effects is perceived by many fire and resource managers as a barrier to the effective application of prescribed fire. This lack of information, in many instances, is the result of poor diffusion of existing knowledge rather than lack of knowledge. A computerized Fire Effects Information System can make existing fire effects knowledge...

The Wildland Fire Decision Support System: Integrating science, technology, and fire management

Treesearch

Morgan Pence; Tom Zimmerman

2011-01-01

Federal agency policy requires documentation and analysis of all wildland fire response decisions. In the past, planning and decision documentation for fires were completed using multiple unconnected processes, yielding many limitations. In response, interagency fire management executives chartered the development of the Wildland Fire Decision Support System (WFDSS)....

46 CFR 108.425 - Fire hoses and associated equipment.

Code of Federal Regulations, 2012 CFR

2012-10-01

... either: (1) Use National Standard fire hose coupling threads for the 11/2 inch (38 millimeter) and 21/2... 46 Shipping 4 2012-10-01 2012-10-01 false Fire hoses and associated equipment. 108.425 Section 108... DESIGN AND EQUIPMENT Fire Extinguishing Systems Fire Main System § 108.425 Fire hoses and associated...

46 CFR 108.425 - Fire hoses and associated equipment.

Code of Federal Regulations, 2014 CFR

2014-10-01

... either: (1) Use National Standard fire hose coupling threads for the 11/2 inch (38 millimeter) and 21/2... 46 Shipping 4 2014-10-01 2014-10-01 false Fire hoses and associated equipment. 108.425 Section 108... DESIGN AND EQUIPMENT Fire Extinguishing Systems Fire Main System § 108.425 Fire hoses and associated...

46 CFR 108.425 - Fire hoses and associated equipment.

Code of Federal Regulations, 2013 CFR

2013-10-01

... either: (1) Use National Standard fire hose coupling threads for the 11/2 inch (38 millimeter) and 21/2... 46 Shipping 4 2013-10-01 2013-10-01 false Fire hoses and associated equipment. 108.425 Section 108... DESIGN AND EQUIPMENT Fire Extinguishing Systems Fire Main System § 108.425 Fire hoses and associated...

FIRE ALARM SYSTEM OUTDATED.

ERIC Educational Resources Information Center

CHANDLER, L.T.

AN EFFICIENT FIRE ALARM SYSTEM SHOULD--(1) PROVIDE WARNING OF FIRES THAT START IN HIDDEN OR UNOCCUPIED LOCATIONS, (2) INDICATE WHERE THE FIRE IS, (3) GIVE ADVANCE WARNING TO FACULTY AND ADMINISTRATION SO THAT PANIC AND CONFUSION CAN BE AVOIDED AND ORDERLY EVACUATION OCCUR, (4) AUTOMATICALLY NOTIFY CITY FIRE HEADQUARTERS OF THE FIRE, (5) OPERATE BY…

A digital flight control system verification laboratory

NASA Technical Reports Server (NTRS)

De Feo, P.; Saib, S.

1982-01-01

A NASA/FAA program has been established for the verification and validation of digital flight control systems (DFCS), with the primary objective being the development and analysis of automated verification tools. In order to enhance the capabilities, effectiveness, and ease of using the test environment, software verification tools can be applied. Tool design includes a static analyzer, an assertion generator, a symbolic executor, a dynamic analysis instrument, and an automated documentation generator. Static and dynamic tools are integrated with error detection capabilities, resulting in a facility which analyzes a representative testbed of DFCS software. Future investigations will ensue particularly in the areas of increase in the number of software test tools, and a cost effectiveness assessment.

TeleOperator/telePresence System (TOPS) Concept Verification Model (CVM) development

NASA Technical Reports Server (NTRS)

Shimamoto, Mike S.

1993-01-01

The development of an anthropomorphic, undersea manipulator system, the TeleOperator/telePresence System (TOPS) Concept Verification Model (CVM) is described. The TOPS system's design philosophy, which results from NRaD's experience in undersea vehicles and manipulator systems development and operations, is presented. The TOPS design approach, task teams, manipulator, and vision system development and results, conclusions, and recommendations are presented.

A study of compositional verification based IMA integration method

NASA Astrophysics Data System (ADS)

Huang, Hui; Zhang, Guoquan; Xu, Wanmeng

2018-03-01

The rapid development of avionics systems is driving the application of integrated modular avionics (IMA) systems. But meanwhile it is improving avionics system integration, complexity of system test. Then we need simplify the method of IMA system test. The IMA system supports a module platform that runs multiple applications, and shares processing resources. Compared with federated avionics system, IMA system is difficult to isolate failure. Therefore, IMA system verification will face the critical problem is how to test shared resources of multiple application. For a simple avionics system, traditional test methods are easily realizing to test a whole system. But for a complex system, it is hard completed to totally test a huge and integrated avionics system. Then this paper provides using compositional-verification theory in IMA system test, so that reducing processes of test and improving efficiency, consequently economizing costs of IMA system integration.

Property-driven functional verification technique for high-speed vision system-on-chip processor

NASA Astrophysics Data System (ADS)

Nshunguyimfura, Victor; Yang, Jie; Liu, Liyuan; Wu, Nanjian

2017-04-01

The implementation of functional verification in a fast, reliable, and effective manner is a challenging task in a vision chip verification process. The main reason for this challenge is the stepwise nature of existing functional verification techniques. This vision chip verification complexity is also related to the fact that in most vision chip design cycles, extensive efforts are focused on how to optimize chip metrics such as performance, power, and area. Design functional verification is not explicitly considered at an earlier stage at which the most sound decisions are made. In this paper, we propose a semi-automatic property-driven verification technique. The implementation of all verification components is based on design properties. We introduce a low-dimension property space between the specification space and the implementation space. The aim of this technique is to speed up the verification process for high-performance parallel processing vision chips. Our experimentation results show that the proposed technique can effectively improve the verification effort up to 20% for the complex vision chip design while reducing the simulation and debugging overheads.

The reference ballistic imaging database revisited.

PubMed

De Ceuster, Jan; Dujardin, Sylvain

2015-03-01

A reference ballistic image database (RBID) contains images of cartridge cases fired in firearms that are in circulation: a ballistic fingerprint database. The performance of an RBID was investigated a decade ago by De Kinder et al. using IBIS(®) Heritage™ technology. The results of that study were published in this journal, issue 214. Since then, technologies have evolved quite significantly and novel apparatus have become available on the market. The current research article investigates the efficiency of another automated ballistic imaging system, Evofinder(®) using the same database as used by De Kinder et al. The results demonstrate a significant increase in correlation efficiency: 38% of all matches were on first position of the Evofinder correlation list in comparison to IBIS(®) Heritage™ where only 19% were on the first position. Average correlation times are comparable to the IBIS(®) Heritage™ system. While Evofinder(®) demonstrates specific improvement for mutually correlating different ammunition brands, ammunition dependence of the markings is still strongly influencing the correlation result because the markings may vary considerably. As a consequence a great deal of potential hits (36%) was still far down in the correlation lists (positions 31 and lower). The large database was used to examine the probability of finding a match as a function of correlation list verification. As an example, the RBID study on Evofinder(®) demonstrates that to find at least 90% of all potential matches, at least 43% of the items in the database need to be compared on screen and this for breech face markings and firing pin impression separately. These results, although a clear improvement to the original RBID study, indicate that the implementation of such a database should still not be considered nowadays. Copyright © 2014 Elsevier Ireland Ltd. All rights reserved.

Baseline Assessment and Prioritization Framework for IVHM Integrity Assurance Enabling Capabilities

NASA Technical Reports Server (NTRS)

Cooper, Eric G.; DiVito, Benedetto L.; Jacklin, Stephen A.; Miner, Paul S.

2009-01-01

Fundamental to vehicle health management is the deployment of systems incorporating advanced technologies for predicting and detecting anomalous conditions in highly complex and integrated environments. Integrated structural integrity health monitoring, statistical algorithms for detection, estimation, prediction, and fusion, and diagnosis supporting adaptive control are examples of advanced technologies that present considerable verification and validation challenges. These systems necessitate interactions between physical and software-based systems that are highly networked with sensing and actuation subsystems, and incorporate technologies that are, in many respects, different from those employed in civil aviation today. A formidable barrier to deploying these advanced technologies in civil aviation is the lack of enabling verification and validation tools, methods, and technologies. The development of new verification and validation capabilities will not only enable the fielding of advanced vehicle health management systems, but will also provide new assurance capabilities for verification and validation of current generation aviation software which has been implicated in anomalous in-flight behavior. This paper describes the research focused on enabling capabilities for verification and validation underway within NASA s Integrated Vehicle Health Management project, discusses the state of the art of these capabilities, and includes a framework for prioritizing activities.

48 CFR 53.301-1423 - Inventory Verification Survey.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 2 2013-10-01 2013-10-01 false Inventory Verification Survey. 53.301-1423 Section 53.301-1423 Federal Acquisition Regulations System FEDERAL ACQUISITION... Survey. ER05AP04.000 [69 FR 17752, Apr. 5, 2004] ...

48 CFR 53.301-1423 - Inventory Verification Survey.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 48 Federal Acquisition Regulations System 2 2012-10-01 2012-10-01 false Inventory Verification Survey. 53.301-1423 Section 53.301-1423 Federal Acquisition Regulations System FEDERAL ACQUISITION... Survey. ER05AP04.000 [69 FR 17752, Apr. 5, 2004] ...

48 CFR 53.301-1423 - Inventory Verification Survey.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 48 Federal Acquisition Regulations System 2 2011-10-01 2011-10-01 false Inventory Verification Survey. 53.301-1423 Section 53.301-1423 Federal Acquisition Regulations System FEDERAL ACQUISITION... Survey. ER05AP04.000 [69 FR 17752, Apr. 5, 2004] ...

48 CFR 53.301-1423 - Inventory Verification Survey.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 2 2014-10-01 2014-10-01 false Inventory Verification Survey. 53.301-1423 Section 53.301-1423 Federal Acquisition Regulations System FEDERAL ACQUISITION... Survey. ER05AP04.000 [69 FR 17752, Apr. 5, 2004] ...

7 CFR 62.203 - How to withdraw service.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false How to withdraw service. 62.203 Section 62.203 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

7 CFR 62.204 - Authority to request service.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false Authority to request service. 62.204 Section 62.204 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

Verification and Validation for Flight-Critical Systems (VVFCS)

NASA Technical Reports Server (NTRS)

Graves, Sharon S.; Jacobsen, Robert A.

2010-01-01

On March 31, 2009 a Request for Information (RFI) was issued by NASA s Aviation Safety Program to gather input on the subject of Verification and Validation (V & V) of Flight-Critical Systems. The responses were provided to NASA on or before April 24, 2009. The RFI asked for comments in three topic areas: Modeling and Validation of New Concepts for Vehicles and Operations; Verification of Complex Integrated and Distributed Systems; and Software Safety Assurance. There were a total of 34 responses to the RFI, representing a cross-section of academic (26%), small & large industry (47%) and government agency (27%).

Electric power system test and verification program

NASA Technical Reports Server (NTRS)

Rylicki, Daniel S.; Robinson, Frank, Jr.

1994-01-01

Space Station Freedom's (SSF's) electric power system (EPS) hardware and software verification is performed at all levels of integration, from components to assembly and system level tests. Careful planning is essential to ensure the EPS is tested properly on the ground prior to launch. The results of the test performed on breadboard model hardware and analyses completed to date have been evaluated and used to plan for design qualification and flight acceptance test phases. These results and plans indicate the verification program for SSF's 75-kW EPS would have been successful and completed in time to support the scheduled first element launch.

School Fire Protection: Contents Count

ERIC Educational Resources Information Center

American School and University, 1976

1976-01-01

The heart of a fire protection system is the sprinkler system. National Fire Protection Association (NFPA) statistics show that automatic sprinklers dramatically reduce fire damage and loss of life. (Author)

Developing custom fire behavior fuel models from ecologically complex fuel structures for upper Atlantic Coastal Plain forests

Treesearch

Bernard R. Parresol; Joe H. Scott; Anne Andreu; Susan Prichard; Laurie Kurth

2012-01-01

Currently geospatial fire behavior analyses are performed with an array of fire behavior modeling systems such as FARSITE, FlamMap, and the Large Fire Simulation System. These systems currently require standard or customized surface fire behavior fuel models as inputs that are often assigned through remote sensing information. The ability to handle hundreds or...

Testing Method for External Cladding Systems - Incerc Romania

NASA Astrophysics Data System (ADS)

Simion, A.; Dragne, H.

2017-06-01

This research presents a new testing method in a natural scale for external cladding systems tested on buildings with minimum than 3 floors [1]. The testing method is unique in Romania and it is similar about many fire testing current methods from European Union states. Also, presents the fire propagation and the effect of fire smoke on the building façade composed of thermal insulation. Laboratory of testing and research for building fire safety from National Institute INCERC Bucharest, provides a test method for determining the fire performance characteristics of non-loadbearing external cladding systems and external wall insulation systems when applied to the face of a building and exposed to an external fire under controlled conditions [2]. The fire exposure is representative of an external fire source or a fully-developed (post-flashover) fire in a room, venting through an opening such as a window aperture that exposes the cladding to the effects of external flames, or an external fire source. On the future, fire tests will be experimented for answer demande a number of high-profile fires where the external facade of tall buildings provided a route for vertical fire spread.

Challenges in High-Assurance Runtime Verification

NASA Technical Reports Server (NTRS)

Goodloe, Alwyn E.

2016-01-01

Safety-critical systems are growing more complex and becoming increasingly autonomous. Runtime Verification (RV) has the potential to provide protections when a system cannot be assured by conventional means, but only if the RV itself can be trusted. In this paper, we proffer a number of challenges to realizing high-assurance RV and illustrate how we have addressed them in our research. We argue that high-assurance RV provides a rich target for automated verification tools in hope of fostering closer collaboration among the communities.

Software development for airborne radar

NASA Astrophysics Data System (ADS)

Sundstrom, Ingvar G.

Some aspects for development of software in a modern multimode airborne nose radar are described. First, an overview of where software is used in the radar units is presented. The development phases-system design, functional design, detailed design, function verification, and system verification-are then used as the starting point for the discussion. Methods, tools, and the most important documents are described. The importance of video flight recording in the early stages and use of a digital signal generators for performance verification is emphasized. Some future trends are discussed.

Chemical Sensor Systems and Associated Algorithms for Fire Detection: A Review.

PubMed

Fonollosa, Jordi; Solórzano, Ana; Marco, Santiago

2018-02-11

Indoor fire detection using gas chemical sensing has been a subject of investigation since the early nineties. This approach leverages the fact that, for certain types of fire, chemical volatiles appear before smoke particles do. Hence, systems based on chemical sensing can provide faster fire alarm responses than conventional smoke-based fire detectors. Moreover, since it is known that most casualties in fires are produced from toxic emissions rather than actual burns, gas-based fire detection could provide an additional level of safety to building occupants. In this line, since the 2000s, electrochemical cells for carbon monoxide sensing have been incorporated into fire detectors. Even systems relying exclusively on gas sensors have been explored as fire detectors. However, gas sensors respond to a large variety of volatiles beyond combustion products. As a result, chemical-based fire detectors require multivariate data processing techniques to ensure high sensitivity to fires and false alarm immunity. In this paper, we the survey toxic emissions produced in fires and defined standards for fire detection systems. We also review the state of the art of chemical sensor systems for fire detection and the associated signal and data processing algorithms. We also examine the experimental protocols used for the validation of the different approaches, as the complexity of the test measurements also impacts on reported sensitivity and specificity measures. All in all, further research and extensive test under different fire and nuisance scenarios are still required before gas-based fire detectors penetrate largely into the market. Nevertheless, the use of dynamic features and multivariate models that exploit sensor correlations seems imperative.

Chemical Sensor Systems and Associated Algorithms for Fire Detection: A Review

PubMed Central

Fonollosa, Jordi

2018-01-01

Indoor fire detection using gas chemical sensing has been a subject of investigation since the early nineties. This approach leverages the fact that, for certain types of fire, chemical volatiles appear before smoke particles do. Hence, systems based on chemical sensing can provide faster fire alarm responses than conventional smoke-based fire detectors. Moreover, since it is known that most casualties in fires are produced from toxic emissions rather than actual burns, gas-based fire detection could provide an additional level of safety to building occupants. In this line, since the 2000s, electrochemical cells for carbon monoxide sensing have been incorporated into fire detectors. Even systems relying exclusively on gas sensors have been explored as fire detectors. However, gas sensors respond to a large variety of volatiles beyond combustion products. As a result, chemical-based fire detectors require multivariate data processing techniques to ensure high sensitivity to fires and false alarm immunity. In this paper, we the survey toxic emissions produced in fires and defined standards for fire detection systems. We also review the state of the art of chemical sensor systems for fire detection and the associated signal and data processing algorithms. We also examine the experimental protocols used for the validation of the different approaches, as the complexity of the test measurements also impacts on reported sensitivity and specificity measures. All in all, further research and extensive test under different fire and nuisance scenarios are still required before gas-based fire detectors penetrate largely into the market. Nevertheless, the use of dynamic features and multivariate models that exploit sensor correlations seems imperative. PMID:29439490

46 CFR 76.50-10 - Location.

Code of Federal Regulations, 2013 CFR

2013-10-01

... Extinguishers and Semiportable Fire Extinguishing Systems, Arrangements and Details § 76.50-10 Location. (a) Approved hand portable fire extinguishers and semiportable fire extinguishing systems shall be installed in... fire extinguishing systems Classification (see § 76.50-5) Quantity and location Safety area 1...

46 CFR 76.50-10 - Location.

Code of Federal Regulations, 2014 CFR

2014-10-01

... Extinguishers and Semiportable Fire Extinguishing Systems, Arrangements and Details § 76.50-10 Location. (a) Approved hand portable fire extinguishers and semiportable fire extinguishing systems shall be installed in... fire extinguishing systems Classification (see § 76.50-5) Quantity and location Safety area 1...

14 CFR 23.1201 - Fire extinguishing systems materials.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Fire extinguishing systems materials. 23.1201 Section 23.1201 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF... Powerplant Powerplant Fire Protection § 23.1201 Fire extinguishing systems materials. For commuter category...

46 CFR 108.403a - Fire extinguishing systems: Non-vital services.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fire extinguishing systems: Non-vital services. 108.403a Section 108.403a Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403a Fire extinguishing systems: Non...

46 CFR 108.403a - Fire extinguishing systems: Non-vital services.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fire extinguishing systems: Non-vital services. 108.403a Section 108.403a Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403a Fire extinguishing systems: Non...

46 CFR 108.403a - Fire extinguishing systems: Non-vital services.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Fire extinguishing systems: Non-vital services. 108.403a Section 108.403a Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403a Fire extinguishing systems: Non...

46 CFR 108.403a - Fire extinguishing systems: Non-vital services.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Fire extinguishing systems: Non-vital services. 108.403a Section 108.403a Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403a Fire extinguishing systems: Non...

46 CFR 108.403a - Fire extinguishing systems: Non-vital services.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fire extinguishing systems: Non-vital services. 108.403a Section 108.403a Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) A-MOBILE OFFSHORE DRILLING UNITS DESIGN AND EQUIPMENT Fire Extinguishing Systems § 108.403a Fire extinguishing systems: Non...

46 CFR 132.310 - Fixed fire-extinguishing systems for paint lockers.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 46 Shipping 4 2014-10-01 2014-10-01 false Fixed fire-extinguishing systems for paint lockers. 132... lockers. (a) Except as provided by paragraph (b) of this section, a fixed gaseous fire-extinguishing system or another approved fixed fire-extinguishing system must be installed in each paint locker. (b) No...

46 CFR 132.310 - Fixed fire-extinguishing systems for paint lockers.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Fixed fire-extinguishing systems for paint lockers. 132... lockers. (a) Except as provided by paragraph (b) of this section, a fixed gaseous fire-extinguishing system or another approved fixed fire-extinguishing system must be installed in each paint locker. (b) No...

46 CFR 132.310 - Fixed fire-extinguishing systems for paint lockers.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 46 Shipping 4 2013-10-01 2013-10-01 false Fixed fire-extinguishing systems for paint lockers. 132... lockers. (a) Except as provided by paragraph (b) of this section, a fixed gaseous fire-extinguishing system or another approved fixed fire-extinguishing system must be installed in each paint locker. (b) No...

46 CFR 132.310 - Fixed fire-extinguishing systems for paint lockers.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 46 Shipping 4 2012-10-01 2012-10-01 false Fixed fire-extinguishing systems for paint lockers. 132... lockers. (a) Except as provided by paragraph (b) of this section, a fixed gaseous fire-extinguishing system or another approved fixed fire-extinguishing system must be installed in each paint locker. (b) No...

46 CFR 132.310 - Fixed fire-extinguishing systems for paint lockers.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 4 2011-10-01 2011-10-01 false Fixed fire-extinguishing systems for paint lockers. 132... lockers. (a) Except as provided by paragraph (b) of this section, a fixed gaseous fire-extinguishing system or another approved fixed fire-extinguishing system must be installed in each paint locker. (b) No...

14 CFR 29.1359 - Electrical system fire and smoke protection.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 1 2014-01-01 2014-01-01 false Electrical system fire and smoke protection... Equipment § 29.1359 Electrical system fire and smoke protection. (a) Components of the electrical system must meet the applicable fire and smoke protection provisions of §§ 29.831 and 29.863. (b) Electrical...

14 CFR 29.1359 - Electrical system fire and smoke protection.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 1 2011-01-01 2011-01-01 false Electrical system fire and smoke protection... Equipment § 29.1359 Electrical system fire and smoke protection. (a) Components of the electrical system must meet the applicable fire and smoke protection provisions of §§ 29.831 and 29.863. (b) Electrical...

14 CFR 29.1359 - Electrical system fire and smoke protection.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 1 2013-01-01 2013-01-01 false Electrical system fire and smoke protection... Equipment § 29.1359 Electrical system fire and smoke protection. (a) Components of the electrical system must meet the applicable fire and smoke protection provisions of §§ 29.831 and 29.863. (b) Electrical...

14 CFR 29.1359 - Electrical system fire and smoke protection.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 1 2012-01-01 2012-01-01 false Electrical system fire and smoke protection... Equipment § 29.1359 Electrical system fire and smoke protection. (a) Components of the electrical system must meet the applicable fire and smoke protection provisions of §§ 29.831 and 29.863. (b) Electrical...

Report of the oversight assessment of the operational readiness review of the Savannah River Site Defense Waste Processing Facility Cold Chemical Runs

DOE Office of Scientific and Technical Information (OSTI.GOV)

Lee, B.

1993-03-01

This report presents the results of an oversight assessment (OA) conducted by the US Department of Energy's (DOE) Office of Environment, Safety and Health (EH) of the operational readiness review (ORR) activities for the Cold Chemical Runs (CCRs) at the Defense Waste Processing Facility (DWPF) located at Savannah River Site (SRS). The EH OA of this facility took place concurrently with an ORR performed by the DOE Office of Environmental Restoration and Waste Management (EM). The EM ORR was conducted from September 28, 1992, through October 9, 1992, although portions of the EM ORR were extended beyond this period. Themore » EH OA evaluated the comprehensiveness and effectiveness of the EM ORR. The EH OA was designed to ascertain whether the EM ORR was thorough and demonstrated sufficient inquisitiveness to verify that the implementation of programs and procedures is adequate to assure the protection of worker safety and health. The EH OA was carried out in accordance with the protocol and procedures of the EH Program for Oversight Assessment of Operational Readiness Evaluations for Startups and Restarts,'' dated September 15, 1992. Based on its OA and verification of the resolution of EH OA findings, the EH OA Team believes that the startup of the CCRs may be safely begun, pending satisfactory completion and verification of the prestart findings identified by the EM ORR. The EH OA was based primarily on an evaluation of the comprehensiveness and effectiveness of the EM ORR and addressed the following areas: industrial safety, industrial hygiene, and respiratory protection; fire protection; and chemical safety. The EH OA conducted independent vertical-slice'' reviews to confirm EM ORR results in the areas of confined-space entry, respiratory protection, fire protection, and chemical safety.« less

Smokey comes of age: Unmanned aerial systems for fire management

USGS Publications Warehouse

Twidwell, Dirac; Allen, Craig R.; Detweiler, Carrick; Higgins, James; Laney, Christian; Elbaum, Sebastian

2016-01-01

During the past century, fire management has focused on techniques both to protect human communities from catastrophic wildfire and to maintain fire-dependent ecological systems. However, despite a large and increasing allocation of resources and personnel to achieve these goals, fire management objectives at regional to global scales are not being met. Current fire management techniques are clearly inadequate for the challenges faced by fire managers, and technological innovations are needed. Advances in unmanned aerial systems (UAS) technology provide opportunities for innovation in fire management and science. In many countries, fire management organizations are beginning to explore the potential of UAS for monitoring fires. We have taken the next step and developed a prototype that can precisely ignite fires as part of wildfire suppression tactics or prescribed fires (fire intentionally ignited within predetermined conditions to reduce hazardous fuels, improve habitat, or mitigate for large wildfires). We discuss the potential for these technologies to benefit fire management activities, while acknowledging the sizeable sociopolitical barriers that prevent their immediate broad application.

Forest Fire Mapping

NASA Technical Reports Server (NTRS)

1990-01-01

The Fire Logistics Airborne Mapping Equipment (FLAME) system, mounted in a twin-engine and airplane operated by the U.S. Forest Service (USFS) of the U.S. Department of Agriculture (USDA), is an airborne instrument for detecting and pinpointing forest fires that might escape ground detection. The FLAME equipment rack includes the operator interface, a video monitor, the system's control panel and film output. FLAME's fire detection sensor is an infrared line scanner system that identifies fire boundaries. Sensor's information is correlated with the aircraft's position and altitude at the time the infrared imagery is acquired to fix the fire's location on a map. System can be sent to a fire locale anywhere in the U.S. at the request of a regional forester. USFS felt a need for a more advanced system to deliver timely fire information to fire management personnel in the decade of the 1990s. The Jet Propulsion Laboratory (JPL) conducted a study, jointly sponsored by NASA and USDA, on what advanced technologies might be employed to produce an end-to-end thermal infrared fire detection and mapping system. That led to initiation of the Firefly system, currently in development at JPL and targeted for operational service beginning in 1992. Firefly will employ satellite-reference position fixing and provide performance superior to FLAME.

Method for secure electronic voting system: face recognition based approach

NASA Astrophysics Data System (ADS)

Alim, M. Affan; Baig, Misbah M.; Mehboob, Shahzain; Naseem, Imran

2017-06-01

In this paper, we propose a framework for low cost secure electronic voting system based on face recognition. Essentially Local Binary Pattern (LBP) is used for face feature characterization in texture format followed by chi-square distribution is used for image classification. Two parallel systems are developed based on smart phone and web applications for face learning and verification modules. The proposed system has two tire security levels by using person ID followed by face verification. Essentially class specific threshold is associated for controlling the security level of face verification. Our system is evaluated three standard databases and one real home based database and achieve the satisfactory recognition accuracies. Consequently our propose system provides secure, hassle free voting system and less intrusive compare with other biometrics.

Utilization of geoinformation tools for the development of forest fire hazard mapping system: example of Pekan fire, Malaysia

NASA Astrophysics Data System (ADS)

Mahmud, Ahmad Rodzi; Setiawan, Iwan; Mansor, Shattri; Shariff, Abdul Rashid Mohamed; Pradhan, Biswajeet; Nuruddin, Ahmed

2009-12-01

A study in modeling fire hazard assessment will be essential in establishing an effective forest fire management system especially in controlling and preventing peat fire. In this paper, we have used geographic information system (GIS), in combination with other geoinformation technologies such as remote sensing and computer modeling, for all aspects of wild land fire management. Identifying areas that have a high probability of burning is an important component of fire management planning. The development of spatially explicit GIS models has greatly facilitated this process by allowing managers to map and analyze variables contributing to fire occurrence across large, unique geographic units. Using the model and its associated software engine, the fire hazard map was produced. Extensive avenue programming scripts were written to provide additional capabilities in the development of these interfaces to meet the full complement of operational software considering various users requirements. The system developed not only possesses user friendly step by step operations to deliver the fire vulnerability mapping but also allows authorized users to edit, add or modify parameters whenever necessary. Results from the model can support fire hazard mapping in the forest and enhance alert system function by simulating and visualizing forest fire and helps for contingency planning.

Space Shuttle Range Safety Command Destruct System Analysis and Verification. Phase 1. Destruct System Analysis and Verification

DTIC Science & Technology

1981-03-01

overcome the shortcomings of this system. A phase III study develops the breakup model of the Space Shuttle clus’ter at various times into flight. The...2-1 ROCKET MODEL ..................................................... 2-5 COMBUSTION CHAMBER OPERATION ................................... 2-5...2-19 RESULTS .......................................................... 2-22 ROCKET MODEL

40 CFR 1065.308 - Continuous gas analyzer system-response and updating-recording verification-for gas analyzers not...

Code of Federal Regulations, 2010 CFR

2010-07-01

... which you sample and record gas-analyzer concentrations. (b) Measurement principles. This test verifies... appropriate frequency to prevent loss of information. This test also verifies that the measurement system... instructions. Adjust the measurement system as needed to optimize performance. Run this verification with the...

IMRT verification using a radiochromic/optical-CT dosimetry system

NASA Astrophysics Data System (ADS)

Oldham, Mark; Guo, Pengyi; Gluckman, Gary; Adamovics, John

2006-12-01

This work represents our first experiences relating to IMRT verification using a relatively new 3D dosimetry system consisting of a PRESAGETM dosimeter (Heuris Inc, Pharma LLC) and an optical-CT scanning system (OCTOPUSTM TM MGS Inc). This work builds in a step-wise manner on prior work in our lab.

30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

Code of Federal Regulations, 2010 CFR

2010-07-01

... pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and turret-and-hull... Platform Verification Program: (i) Drilling, production, and pipeline risers, and riser tensioning systems...

Application of the precipitation-runoff modeling system to the Ah- shi-sle-pah Wash watershed, San Juan County, New Mexico

USGS Publications Warehouse

Hejl, H.R.

1989-01-01

The precipitation-runoff modeling system was applied to the 8.21 sq-mi drainage area of the Ah-shi-sle-pah Wash watershed in northwestern New Mexico. The calibration periods were May to September of 1981 and 1982, and the verification period was May to September 1983. Twelve storms were available for calibration and 8 storms were available for verification. For calibration A (hydraulic conductivity estimated from onsite data and other storm-mode parameters optimized), the computed standard error of estimate was 50% for runoff volumes and 72% of peak discharges. Calibration B included hydraulic conductivity in the optimization, which reduced the standard error of estimate to 28 % for runoff volumes and 50% for peak discharges. Optimized values for hydraulic conductivity resulted in reductions from 1.00 to 0.26 in/h and 0.20 to 0.03 in/h for the 2 general soils groups in the calibrations. Simulated runoff volumes using 7 of 8 storms occurring during the verification period had a standard error of estimate of 40% for verification A and 38% for verification B. Simulated peak discharge had a standard error of estimate of 120% for verification A and 56% for verification B. Including the eighth storm which had a relatively small magnitude in the verification analysis more than doubled the standard error of estimating volumes and peaks. (USGS)

Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Volume 1; Planning and Technology Insertion

NASA Technical Reports Server (NTRS)

1995-01-01

The Formal Methods Specification and Verification Guidebook for Software and Computer Systems describes a set of techniques called Formal Methods (FM), and outlines their use in the specification and verification of computer systems and software. Development of increasingly complex systems has created a need for improved specification and verification techniques. NASA's Safety and Mission Quality Office has supported the investigation of techniques such as FM, which are now an accepted method for enhancing the quality of aerospace applications. The guidebook provides information for managers and practitioners who are interested in integrating FM into an existing systems development process. Information includes technical and administrative considerations that must be addressed when establishing the use of FM on a specific project. The guidebook is intended to aid decision makers in the successful application of FM to the development of high-quality systems at reasonable cost. This is the first volume of a planned two-volume set. The current volume focuses on administrative and planning considerations for the successful application of FM.

Assume-Guarantee Verification of Source Code with Design-Level Assumptions

NASA Technical Reports Server (NTRS)

Giannakopoulou, Dimitra; Pasareanu, Corina S.; Cobleigh, Jamieson M.

2004-01-01

Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the 'state explosion' problem associated with this technique, we propose to integrate assume-guarantee verification at different phases of system development. During design, developers build abstract behavioral models of the system components and use them to establish key properties of the system. To increase the scalability of model checking at this level, we have developed techniques that automatically decompose the verification task by generating component assumptions for the properties to hold. The design-level artifacts are subsequently used to guide the implementation of the system, but also to enable more efficient reasoning at the source code-level. In particular we propose to use design-level assumptions to similarly decompose the verification of the actual system implementation. We demonstrate our approach on a significant NASA application, where design-level models were used to identify; and correct a safety property violation, and design-level assumptions allowed us to check successfully that the property was presented by the implementation.

A system verification platform for high-density epiretinal prostheses.

PubMed

Chen, Kuanfu; Lo, Yi-Kai; Yang, Zhi; Weiland, James D; Humayun, Mark S; Liu, Wentai

2013-06-01

Retinal prostheses have restored light perception to people worldwide who have poor or no vision as a consequence of retinal degeneration. To advance the quality of visual stimulation for retinal implant recipients, a higher number of stimulation channels is expected in the next generation retinal prostheses, which poses a great challenge to system design and verification. This paper presents a system verification platform dedicated to the development of retinal prostheses. The system includes primary processing, dual-band power and data telemetry, a high-density stimulator array, and two methods for output verification. End-to-end system validation and individual functional block characterization can be achieved with this platform through visual inspection and software analysis. Custom-built software running on the computers also provides a good way for testing new features before they are realized by the ICs. Real-time visual feedbacks through the video displays make it easy to monitor and debug the system. The characterization of the wireless telemetry and the demonstration of the visual display are reported in this paper using a 256-channel retinal prosthetic IC as an example.

Optical/digital identification/verification system based on digital watermarking technology

NASA Astrophysics Data System (ADS)

Herrigel, Alexander; Voloshynovskiy, Sviatoslav V.; Hrytskiv, Zenon D.

2000-06-01

This paper presents a new approach for the secure integrity verification of driver licenses, passports or other analogue identification documents. The system embeds (detects) the reference number of the identification document with the DCT watermark technology in (from) the owner photo of the identification document holder. During verification the reference number is extracted and compared with the reference number printed in the identification document. The approach combines optical and digital image processing techniques. The detection system must be able to scan an analogue driver license or passport, convert the image of this document into a digital representation and then apply the watermark verification algorithm to check the payload of the embedded watermark. If the payload of the watermark is identical with the printed visual reference number of the issuer, the verification was successful and the passport or driver license has not been modified. This approach constitutes a new class of application for the watermark technology, which was originally targeted for the copyright protection of digital multimedia data. The presented approach substantially increases the security of the analogue identification documents applied in many European countries.

What is the Final Verification of Engineering Requirements?

NASA Technical Reports Server (NTRS)

Poole, Eric

2010-01-01

This slide presentation reviews the process of development through the final verification of engineering requirements. The definition of the requirements is driven by basic needs, and should be reviewed by both the supplier and the customer. All involved need to agree upon a formal requirements including changes to the original requirements document. After the requirements have ben developed, the engineering team begins to design the system. The final design is reviewed by other organizations. The final operational system must satisfy the original requirements, though many verifications should be performed during the process. The verification methods that are used are test, inspection, analysis and demonstration. The plan for verification should be created once the system requirements are documented. The plan should include assurances that every requirement is formally verified, that the methods and the responsible organizations are specified, and that the plan is reviewed by all parties. The options of having the engineering team involved in all phases of the development as opposed to having some other organization continue the process once the design has been complete is discussed.

14 CFR 121.273 - Fire-detector systems.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Fire-detector systems. 121.273 Section 121.273 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED...-detector systems. Enough quick-acting fire detectors must be provided in each designated fire zone to...

14 CFR 121.273 - Fire-detector systems.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 3 2012-01-01 2012-01-01 false Fire-detector systems. 121.273 Section 121.273 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED...-detector systems. Enough quick-acting fire detectors must be provided in each designated fire zone to...

14 CFR 121.273 - Fire-detector systems.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Fire-detector systems. 121.273 Section 121.273 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED...-detector systems. Enough quick-acting fire detectors must be provided in each designated fire zone to...

14 CFR 121.273 - Fire-detector systems.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 3 2013-01-01 2013-01-01 false Fire-detector systems. 121.273 Section 121.273 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED...-detector systems. Enough quick-acting fire detectors must be provided in each designated fire zone to...

14 CFR 121.273 - Fire-detector systems.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Fire-detector systems. 121.273 Section 121.273 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED...-detector systems. Enough quick-acting fire detectors must be provided in each designated fire zone to...

Analysis of the Influence of Construction Insulation Systems on Public Safety in China

PubMed Central

Zhang, Guowei; Zhu, Guoqing; Zhao, Guoxiang

2016-01-01

With the Government of China’s proposed Energy Efficiency Regulations (GB40411-2007), the implementation of external insulation systems will be mandatory in China. The frequent external insulation system fires cause huge numbers of casualties and extensive property damage and have rapidly become a new hot issue in construction evacuation safety in China. This study attempts to reconstruct an actual fire scene and propose a quantitative risk assessment method for upward insulation system fires using thermal analysis tests and large eddy simulations (using the Fire Dynamics Simulator (FDS) software). Firstly, the pyrolysis and combustion characteristics of Extruded polystyrene board (XPS panel), such as ignition temperature, combustion heat, limiting oxygen index, thermogravimetric analysis and thermal radiation analysis were studied experimentally. Based on these experimental data, large eddy simulation was then applied to reconstruct insulation system fires. The results show that upward insulation system fires could be accurately reconstructed by using thermal analysis test and large eddy simulation. The spread of insulation material system fires in the vertical direction is faster than that in the horizontal direction. Moreover, we also find that there is a possibility of flashover in enclosures caused by insulation system fires as the smoke temperature exceeds 600 °C. The simulation methods and experimental results obtained in this paper could provide valuable references for fire evacuation, hazard assessment and fire resistant construction design studies. PMID:27589774

Analysis of the Influence of Construction Insulation Systems on Public Safety in China.

PubMed

Zhang, Guowei; Zhu, Guoqing; Zhao, Guoxiang

2016-08-30

With the Government of China's proposed Energy Efficiency Regulations (GB40411-2007), the implementation of external insulation systems will be mandatory in China. The frequent external insulation system fires cause huge numbers of casualties and extensive property damage and have rapidly become a new hot issue in construction evacuation safety in China. This study attempts to reconstruct an actual fire scene and propose a quantitative risk assessment method for upward insulation system fires using thermal analysis tests and large eddy simulations (using the Fire Dynamics Simulator (FDS) software). Firstly, the pyrolysis and combustion characteristics of Extruded polystyrene board (XPS panel), such as ignition temperature, combustion heat, limiting oxygen index, thermogravimetric analysis and thermal radiation analysis were studied experimentally. Based on these experimental data, large eddy simulation was then applied to reconstruct insulation system fires. The results show that upward insulation system fires could be accurately reconstructed by using thermal analysis test and large eddy simulation. The spread of insulation material system fires in the vertical direction is faster than that in the horizontal direction. Moreover, we also find that there is a possibility of flashover in enclosures caused by insulation system fires as the smoke temperature exceeds 600 °C. The simulation methods and experimental results obtained in this paper could provide valuable references for fire evacuation, hazard assessment and fire resistant construction design studies.

How Nasa's Independent Verification and Validation (IVandV) Program Builds Reliability into a Space Mission Software System (SMSS)

NASA Technical Reports Server (NTRS)

Fisher, Marcus S.; Northey, Jeffrey; Stanton, William

2014-01-01

The purpose of this presentation is to outline how the NASA Independent Verification and Validation (IVV) Program helps to build reliability into the Space Mission Software Systems (SMSSs) that its customers develop.

7 CFR 62.202 - How to apply for service.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false How to apply for service. 62.202 Section 62.202 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

Requirements Verification Report AN Farm to 200 E Waste Transfer System for Project W-314 Tank Farm Restoration & Safe Operations

DOE Office of Scientific and Technical Information (OSTI.GOV)

MCGREW, D.L.

2001-10-31

This Requirements Verification Report provides the traceability of how Project W-314 fulfilled the Project Development Specification requirements for the AN Farm to 200E Waste Transfer System Upgrade package.

Monitoring Fires from Space: a case study in transitioning from research to applications

NASA Astrophysics Data System (ADS)

Justice, C. O.; Giglio, L.; Vadrevu, K. P.; Csiszar, I. A.; Schroeder, W.; Davies, D.

2012-12-01

This paper discusses the heritage and relationships between science and applications in the context of global satellite-based fire monitoring. The development of algorithms for satellite-based fire detection has been supported primarily by NASA for the polar orbiters with a global focus, and initially by NOAA and more recently by EUMETSAT for the geostationary satellites, with a regional focus. As the feasibility and importance of space-based fire monitoring was recognized, satellite missions were designed to include fire detection capabilities. As a result, the algorithms and accuracy of the detections have improved. Due to the role of fire in the Earth System and its relevance to society, at each step in the development of the sensing capability the research has made a transition into fire-related applications to such an extent that there is now broad use of these data worldwide. The origin of the polar-orbiting satellite fire detection capability was with the AVHRR sensor beginning in the early 1980s, but was transformed with the launch of the EOS MODIS instruments, which included sensor characteristics specifically for fire detection. NASA gave considerable emphasis on the accuracy assessment of the fire detection and the development of fire characterization and burned area products from MODIS. Collaboration between the MODIS Fire Team and the RSAC USFS, initiated in the context of the Montana wildfires of 2001, prompted the development of a Rapid Response System for fire data and eventually led to operational use of MODIS data by the USFS for strategic fire monitoring. Building on this success, the Fire Information for Resource Management Systems (FIRMS) project was funded by NASA Applications to further develop products and services for the fire information community. The FIRMS was developed as a web-based geospatial tool, offering a range of geospatial data services, including SMS text messaging and is now widely used. This system, developed in the research domain, has now been successfully moved to an operational home at the UN FAO, as the Global Fire Information Management System (GFIMS). With a view to operational data continuity, the Suomi-NPP/JPSS VIIRS system was also designed with a fire detection capability, and is providing promising results for fire monitoring both from the standard operational production system and experimental product enhancements. International coordination on fire observations and outreach has been successfully developed under the GOFC GOLD program.

Verification of intensity modulated radiation therapy beams using a tissue equivalent plastic scintillator dosimetry system

NASA Astrophysics Data System (ADS)

Petric, Martin Peter

This thesis describes the development and implementation of a novel method for the dosimetric verification of intensity modulated radiation therapy (IMRT) fields with several advantages over current techniques. Through the use of a tissue equivalent plastic scintillator sheet viewed by a charge-coupled device (CCD) camera, this method provides a truly tissue equivalent dosimetry system capable of efficiently and accurately performing field-by-field verification of IMRT plans. This work was motivated by an initial study comparing two IMRT treatment planning systems. The clinical functionality of BrainLAB's BrainSCAN and Varian's Helios IMRT treatment planning systems were compared in terms of implementation and commissioning, dose optimization, and plan assessment. Implementation and commissioning revealed differences in the beam data required to characterize the beam prior to use with the BrainSCAN system requiring higher resolution data compared to Helios. This difference was found to impact on the ability of the systems to accurately calculate dose for highly modulated fields, with BrainSCAN being more successful than Helios. The dose optimization and plan assessment comparisons revealed that while both systems use considerably different optimization algorithms and user-control interfaces, they are both capable of producing substantially equivalent dose plans. The extensive use of dosimetric verification techniques in the IMRT treatment planning comparison study motivated the development and implementation of a novel IMRT dosimetric verification system. The system consists of a water-filled phantom with a tissue equivalent plastic scintillator sheet built into the top surface. Scintillation light is reflected by a plastic mirror within the phantom towards a viewing window where it is captured using a CCD camera. Optical photon spread is removed using a micro-louvre optical collimator and by deconvolving a glare kernel from the raw images. Characterization of this new dosimetric verification system indicates excellent dose response and spatial linearity, high spatial resolution, and good signal uniformity and reproducibility. Dosimetric results from square fields, dynamic wedged fields, and a 7-field head and neck IMRT treatment plan indicate good agreement with film dosimetry distributions. Efficiency analysis of the system reveals a 50% reduction in time requirements for field-by-field verification of a 7-field IMRT treatment plan compared to film dosimetry.

Online 3D EPID-based dose verification: Proof of concept

DOE Office of Scientific and Technical Information (OSTI.GOV)

Spreeuw, Hanno; Rozendaal, Roel, E-mail: r.rozenda

Purpose: Delivery errors during radiotherapy may lead to medical harm and reduced life expectancy for patients. Such serious incidents can be avoided by performing dose verification online, i.e., while the patient is being irradiated, creating the possibility of halting the linac in case of a large overdosage or underdosage. The offline EPID-based 3D in vivo dosimetry system clinically employed at our institute is in principle suited for online treatment verification, provided the system is able to complete 3D dose reconstruction and verification within 420 ms, the present acquisition time of a single EPID frame. It is the aim of thismore » study to show that our EPID-based dosimetry system can be made fast enough to achieve online 3D in vivo dose verification. Methods: The current dose verification system was sped up in two ways. First, a new software package was developed to perform all computations that are not dependent on portal image acquisition separately, thus removing the need for doing these calculations in real time. Second, the 3D dose reconstruction algorithm was sped up via a new, multithreaded implementation. Dose verification was implemented by comparing planned with reconstructed 3D dose distributions delivered to two regions in a patient: the target volume and the nontarget volume receiving at least 10 cGy. In both volumes, the mean dose is compared, while in the nontarget volume, the near-maximum dose (D2) is compared as well. The real-time dosimetry system was tested by irradiating an anthropomorphic phantom with three VMAT plans: a 6 MV head-and-neck treatment plan, a 10 MV rectum treatment plan, and a 10 MV prostate treatment plan. In all plans, two types of serious delivery errors were introduced. The functionality of automatically halting the linac was also implemented and tested. Results: The precomputation time per treatment was ∼180 s/treatment arc, depending on gantry angle resolution. The complete processing of a single portal frame, including dose verification, took 266 ± 11 ms on a dual octocore Intel Xeon E5-2630 CPU running at 2.40 GHz. The introduced delivery errors were detected after 5–10 s irradiation time. Conclusions: A prototype online 3D dose verification tool using portal imaging has been developed and successfully tested for two different kinds of gross delivery errors. Thus, online 3D dose verification has been technologically achieved.« less

ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT STORMWATER MANAGEMENT INC., STORMFILTER SYSTEM WITH ZPG MEDIA

EPA Science Inventory

Verification testing of the Stormwater Management, Inc. StormFilter Using ZPG Filter Media was conducted on a 0.19 acre portion of the eastbound highway surface of Interstate 794, at an area commonly referred to as the "Riverwalk" site near downtown Milwaukee, Wisconsin...

21 CFR 21.44 - Verification of identity.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 21 Food and Drugs 1 2010-04-01 2010-04-01 false Verification of identity. 21.44 Section 21.44 Food... Verification of identity. (a) An individual seeking access to records in a Privacy Act Record System may be... identity. The identification required shall be suitable considering the nature of the records sought. No...

ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, JCH FUEL SOLUTIONS, INC., JCH ENVIRO AUTOMATED FUEL CLEANING AND MAINTENANCE SYSTEM

EPA Science Inventory

The verification testing was conducted at the Cl facility in North Las Vegas, NV, on July 17 and 18, 2001. During this period, engine emissions, fuel consumption, and fuel quality were evaluated with contaminated and cleaned fuel.

To facilitate this verification, JCH repre...

21 CFR 21.44 - Verification of identity.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 21 Food and Drugs 1 2013-04-01 2013-04-01 false Verification of identity. 21.44 Section 21.44 Food... Verification of identity. (a) An individual seeking access to records in a Privacy Act Record System may be... identity. The identification required shall be suitable considering the nature of the records sought. No...

21 CFR 21.44 - Verification of identity.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 21 Food and Drugs 1 2014-04-01 2014-04-01 false Verification of identity. 21.44 Section 21.44 Food... Verification of identity. (a) An individual seeking access to records in a Privacy Act Record System may be... identity. The identification required shall be suitable considering the nature of the records sought. No...

21 CFR 21.44 - Verification of identity.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 21 Food and Drugs 1 2012-04-01 2012-04-01 false Verification of identity. 21.44 Section 21.44 Food... Verification of identity. (a) An individual seeking access to records in a Privacy Act Record System may be... identity. The identification required shall be suitable considering the nature of the records sought. No...

Preliminary report for using X-rays as verification and authentication tool

DOE Office of Scientific and Technical Information (OSTI.GOV)

Esch, Ernst Ingo; Desimone, David J.; Lakis, Rollin Evan

2016-04-06

We examined x-rays for the use as authentication and verification tool in treaty verification. Several x-ray pictures were taken to determine the quality and feasibility of x-rays for these tasks. This document describes the capability of the used x-ray system and outlines its parameters and possible use.

Multibody modeling and verification

NASA Technical Reports Server (NTRS)

Wiens, Gloria J.

1989-01-01

A summary of a ten week project on flexible multibody modeling, verification and control is presented. Emphasis was on the need for experimental verification. A literature survey was conducted for gathering information on the existence of experimental work related to flexible multibody systems. The first portion of the assigned task encompassed the modeling aspects of flexible multibodies that can undergo large angular displacements. Research in the area of modeling aspects were also surveyed, with special attention given to the component mode approach. Resulting from this is a research plan on various modeling aspects to be investigated over the next year. The relationship between the large angular displacements, boundary conditions, mode selection, and system modes is of particular interest. The other portion of the assigned task was the generation of a test plan for experimental verification of analytical and/or computer analysis techniques used for flexible multibody systems. Based on current and expected frequency ranges of flexible multibody systems to be used in space applications, an initial test article was selected and designed. A preliminary TREETOPS computer analysis was run to ensure frequency content in the low frequency range, 0.1 to 50 Hz. The initial specifications of experimental measurement and instrumentation components were also generated. Resulting from this effort is the initial multi-phase plan for a Ground Test Facility of Flexible Multibody Systems for Modeling Verification and Control. The plan focusses on the Multibody Modeling and Verification (MMV) Laboratory. General requirements of the Unobtrusive Sensor and Effector (USE) and the Robot Enhancement (RE) laboratories were considered during the laboratory development.

Automatic Methods and Tools for the Verification of Real Time Systems

DTIC Science & Technology

1997-11-30

We developed formal methods and tools for the verification of real - time systems . This was accomplished by extending techniques, based on automata...embedded real - time systems , we introduced hybrid automata, which equip traditional discrete automata with real-numbered clock variables and continuous... real - time systems , and we identified the exact boundary between decidability and undecidability of real-time reasoning.

Verification Image of The Veins on The Back Palm with Modified Local Line Binary Pattern (MLLBP) and Histogram

NASA Astrophysics Data System (ADS)

Prijono, Agus; Darmawan Hangkawidjaja, Aan; Ratnadewi; Saleh Ahmar, Ansari

2018-01-01

The verification to person who is used today as a fingerprint, signature, personal identification number (PIN) in the bank system, identity cards, attendance, easily copied and forged. This causes the system not secure and is vulnerable to unauthorized persons to access the system. In this research will be implemented verification system using the image of the blood vessels in the back of the palms as recognition more difficult to imitate because it is located inside the human body so it is safer to use. The blood vessels located at the back of the human hand is unique, even humans twins have a different image of the blood vessels. Besides the image of the blood vessels do not depend on a person’s age, so it can be used for long term, except in the case of an accident, or disease. Because of the unique vein pattern recognition can be used in a person. In this paper, we used a modification method to perform the introduction of a person based on the image of the blood vessel that is using Modified Local Line Binary Pattern (MLLBP). The process of matching blood vessel image feature extraction using Hamming Distance. Test case of verification is done by calculating the percentage of acceptance of the same person. Rejection error occurs if a person was not matched by the system with the data itself. The 10 person with 15 image compared to 5 image vein for each person is resulted 80,67% successful Another test case of the verification is done by verified two image from different person that is forgery, and the verification will be true if the system can rejection the image forgery. The ten different person is not verified and the result is obtained 94%.

Space transportation system payload interface verification

NASA Technical Reports Server (NTRS)

Everline, R. T.

1977-01-01

The paper considers STS payload-interface verification requirements and the capability provided by STS to support verification. The intent is to standardize as many interfaces as possible, not only through the design, development, test and evaluation (DDT and E) phase of the major payload carriers but also into the operational phase. The verification process is discussed in terms of its various elements, such as the Space Shuttle DDT and E (including the orbital flight test program) and the major payload carriers DDT and E (including the first flights). Five tools derived from the Space Shuttle DDT and E are available to support the verification process: mathematical (structural and thermal) models, the Shuttle Avionics Integration Laboratory, the Shuttle Manipulator Development Facility, and interface-verification equipment (cargo-integration test equipment).

46 CFR 27.203 - What are the requirements for fire detection on towing vessels?

Code of Federal Regulations, 2010 CFR

2010-10-01

... detection on towing vessels? You must have a fire-detection system installed on your vessel to detect engine... use an existing engine-room-monitoring system (with fire-detection capability) instead of a fire-detection system, if the monitoring system is operable and complies with this section. You must ensure that...

46 CFR 108.409 - Location and spacing of tubing in pneumatic fire detection system.

Code of Federal Regulations, 2010 CFR

2010-10-01

... detection system. 108.409 Section 108.409 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED... and spacing of tubing in pneumatic fire detection system. (a) All tubing in a pneumatic fire detection... exposed in the space. (c) A pneumatic fire detection system must be set to activate after approximately a...