Learn More
With the recent developments in Fourier transform infrared (FTIR) spectrometers it is becoming more feasible to place these instruments in field environments. As a result, there has been enormous increase in the use of FTIR techniques for a variety of qualitative and quantitative chemical measurements. These methods offer the possibility of fully automated(More)
Reachability analysis has proved to be one of the most effective methods in verifying correctness of communication protocols based on the state transition model. Consequently, many protocol verification tools have been built based on the method of reachability analysis. Nevertheless, it is also well known that state space explosion is the most severe(More)
BACKGROUND Nitrogen dioxide (NO2) is a toxic by-product of inhalation therapy with nitric oxide (NO). The rate of NO2 formation during NO therapy is controversial. METHODS The formation of NO2 was studied under dynamic flows emulating a base case NO ventilator mixture containing 80 ppm NO in a 90% oxygen matrix. The difficulty in measuring NO2(More)
The feasibility of using catalytic conversion of methanol to formaldehyde to produce standard amount of substance fractions of formaldehyde was examined. The conversion efficiencies of several catalysts were measured as a function of temperature, balance gas, catalyst bed length, and methanol amount of substance fraction in an effort to identify conditions(More)
In the event of a toxic chemical release, either through an act of terrorism, industrial accident, or natural disaster, effective incident management requires accurate real-time chemical analysis of the materials in question. To help ensure that proper evacuation and decontamination procedures can be initiated, it is critical for first responders and(More)
  • 1