Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

Effects of surface roughness of substrates on the c-axis preferred orientation of ZnO films deposited by r.f. magnetron sputtering

The c-axis preferred orientation of ZnO film is the most important factor for its successful application in piezoelectric devices. The effects of surface roughness of the substrate on the c-axis preferred orientation of ZnO thin films, deposited by radio frequency magnetron sputtering, were investigated. During sputtering, the oxygen content in the argon environment used was varied from 0 to 70% at a total sputtering pressure of 10 mTorr. Very smooth Si, smooth evaporated Au/Si, smooth evaporated-Al/Si, and rough sputtered-Al/Si were used as substrates. Their r.m.s. roughnesses, as measured by atomic force microscopy, were 1.27, 17.1, 21.1 and 65-118 Å, respectively. The crystalline structure and the angular spread of the (0 0* 2) plane normal to the ZnO films were determined using X-ray diffraction and X-ray rocking curves, respectively. The crystallinity and the preferred c-axis orientation of the ZnO films were strongly dependent on the surface roughness of the substrates rather than on the oxygen content of the working environment or on the chemical nature of the substrate.     

Inhibition effect of carbon dioxide on the oxidation of hydrogen over a platinum foil catalyst

This paper investigates the catalytic ignition of the H₂/O₂/CO₂ mixture on platinum in a stagnation flow at atmospheric pressure experimentally and numerically. We measure the ignition temperatures of the gas mixtures flowing towards resistively heated platinum with various composition ratios and various diluent gases of N₂, Ar and CO₂. Compared with N₂ or Ar, the CO₂ dilution shows higher ignition temperature by about 50 K, even at the same composition ratio. The ignition temperature increase is proportional to the dilution ratio. Through the numerical simulation, it is illustrated that higher ignition temperature is caused by the adsorption of CO₂ and following dissociation on platinum surface, which was to date considered negligible in catalytic combustion.     

Recording of volume hologram using a beam pattern from taperedoptical fiber

A photorefractive volume hologram was recorded and probed using light diffracted from a tapered optical fiber as a reference beam. A single-mode fiber (SMF) was chemically etched and tapered to give a complicated beam pattern, and it is shown that the tapered optical fiber can be utilized to increase the storage density of the volume hologram. Spatial selectivity of the volume hologram with this method was increased by two times compared to the normal SMF referencing, which is due to the fact that the complicated beam pattern has little correlation with its shifted version     

Clarification of a wheat straw‐derived medium with ion‐exchange resins for xylitol crystallization

BACKGROUND: Xylitol bioproduction from lignocellulosic residues comprises hydrolysis of the hemicellulose, detoxification of the hydrolysate, bioconversion of the xylose, and recovery of xylitol from the fermented hydrolysate. There are relatively few reports on xylitol recovery from fermented media. In the present study, ion‐exchange resins were used to clarify a fermented wheat straw hemicellulosic hydrolysate, which was then vacuum‐concentrated and submitted to cooling in the presence of ethanol for xylitol crystallization. RESULTS: Sequential adsorption into two anion‐exchange resins (A‐860S and A‐500PS) promoted considerable reductions in the content of soluble by‐products (up to 97.5%) and in medium coloration (99.5%). Vacuum concentration led to a dark‐colored viscous solution that inhibited xylitol crystallization. This inhibition could be overcome by mixing the concentrated medium with a commercial xylitol solution. Such a strategy led to xylitol crystals with up to 95.9% purity. The crystallization yield (43.5%) was close to that observed when using commercial xylitol solution (51.4%). CONCLUSION: The experimental data demonstrate the feasibility of using ion‐exchange resins followed by cooling in the presence of ethanol as a strategy to promote the fast recovery and purification of xylitol from hemicellulose‐derived fermentation media. Copyright © 2008 Society of Chemical Industry     

The effect of CaF<Subscript>2</Subscript> on thermodynamics of CaO-CaF<Subscript>2</Subscript>-SiO<Subscript>2</Subscript>(-MgO) slags

To address the role of CaF₂ in the CaO-CaF₂-SiO₂(-MgO) slag system employed for the production of low-pressure rotor steels, the thermodynamic aspects of the slag were investigated by equilibrating it with liquid iron at 1873 K in CaO or MgO crucibles. Presaturation of slag with an oxide block piece of CaO or MgO in a Pt crucible and application of a carbon paste to the outside of an oxide crucible were designed to prevent crucible failure during the slag-metal experiments. The liquidus isotherm and phase boundary of the preceding slag system were investigated using the slag-metal equilibria. Also, the effect of CaF₂ on the sulfide capacity and the activity coefficient of Fe _t O were of particular interest in controlling the sulfur level and cleanliness of low-pressure rotor steels.     

Model development for multicomponent mass transfer with rapid chemical reactions in a small drop

Multicomponent mass transfer accompanied by instantaneous chemical reactions in a small drop has been modeled and simulated for the case where two different solutes diffuse from a continuous phase into the drop and react rapidly with a third reactant in the drop. The computational results obtained by Galerkin’s finite element method are reported in terms of concentration profiles, the locations of reaction front, the cumulative mass flux, and the enhancement factor. The effects of physical parameters, such as diffusivities of the solutes and the reactant, the interfacial concentration of solutes, and the relative amount of the reactant, on the calculated quantities are discussed.     

Interdiffusion behavior of Hg in HgTe/CdTe superlattices grown on Cd0.96Zn0.04 Te (211)B substrates by molecular beam epitaxy

Double-crystal x-ray rocking curve (DCRC) and secondary-ion mass-spectroscopy (SIMS) measurements have been performed to investigate the effect of rapid thermal annealing on the interdiffusion behavior of Hg in HgTe/CdTe superlattices grown on Cd_0.96Zn_0.04Te (211)B substrates by molecular beam epitaxy. The sharp satellite peaks of the DCRC measurements on a 100-period HgTe/CdTe (100Å/100Å) superlattice show a periodic arrangement of the superlattice with high-quality interfaces. The negative direction of the entropy change obtained from the diffusion coefficients as a function of the reciprocal of the temperature after RTA indicates that the Hg diffusion for the annealed HgTe/CdTe superlattice is caused by an interstitial mechanism. The Cd and the Hg concentration profiles near the annealed HgTe/CdTe superlattice interfaces, as measured by SIMS, show a nonlinear behavior for Hg, originating from the interstitial diffusion mechanism of the Hg composition. These results indicate that a nonlinear interdiffusion behavior is dominant for HgTe/CdTe superlattices annealed at 190°C and that the rectangular shape of HgTe/CdTe superlattices may change to a parabolic shape because of the intermixing of Hg and Cd due to the thermal treatment.