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     

Multi-antenna scheme for high capacity transmission in the digital audio broadcasting

In this paper, we apply multi-antenna scheme to DAB system for high-rate transmission. In the MIMO-DAB system with a number of transmitting and receiving antennas increases the transmission rate efficiently with low multiplication operations. For channel estimation in the MIMO-DAB system, we propose a new PRS structure and evaluate the channel estimation performance. The proposed PRS structure can estimate multi-channel information based on the semi-blind processing. The performance of proposed PRS is compared with that of conventional training sequence employing Tarokh's transmission matrix. And also we investigate the performance limitation due to the imperfect channel estimation in a MIMO-DAB receiver. It has been shown that the MIMO-DAB system with multi-antennas can achieve the high-rate transmission for multimedia broadcasting and the performance of MIMO-DAB system is impaired by imperfect channel information.     

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.     

Catalytic behavior of YBa2Cu3O7-x in the partial oxidation of methanol to formaldehyde

The partial oxidation of methanol to formaldehyde was studied over YBa₂Cu₃O_7-x catalyst in a flow reactor. The structural change of YBa₂Cu₃O_7-x before and after the reaction was measured by means of XRD and iodometric titration method. The catalytic characteristics of YBa₂Cu₃O_7-x for the partial oxidation of methanol to formaldehyde was due to copper ions. It was found that Cu⁺² was responsible for the higher selectivity for formaldehyde.