P. M. Chu

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)
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)
  • 1