An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Electrochemistry of P450cin: new insights into P450 electron transfer

Electrochemistry of bacterial cytochrome P450cin (CYP176A) reveals that, unusually, substrate binding does not affect the heme redox potential, although a marked pH dependence is consistent with a coupled single electron/single proton transfer reaction in the range 6 < pH < 10.

Cross-linking of PFA by electron beam irradiation

The effect of electron beam radiation on a perfluoroalkoxy (PFA) resin was examined using solid-state high-speed magic angle spinning F-19 NMR spectroscopy and FT-IR spectroscopy. Samples were prepared for analysis by subjecting them to electron beam radiation in the dose range 0.5-2.0 MGy at 633 K, which is above the crystalline melting temperature. The new structures were identified and include new saturated chain ends, short and long branches, unsaturated groups, and cross-links. The radiation chemical yield (G value) of new long branch points was greater than the G value of new chain ends, suggesting that cross-linking is the net radiolytic process. This conclusion was supported by an observed decrease in the crystallinity and an increase in the optical clarity of the polymer.