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     

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.     

Effects of a Nd—Fe—B magnetic filler on the crystallization of poly(phenylene sulfide)

The crystallization of poly(phenylene sulfide) (PPS) in a polymer–magnetic Nd—Fe—B powder suspension was studied. Isothermal crystallization behavior was analyzed by way of differential scanning calorimetry, and the kinetics were described via the Avrami equation. The Avrami parameters and the crystallization times were strongly affected by both the particle size and the presence of a coupling agent coated on the filler particles. The small Nd—Fe—B particles exhibited long induction and half‐times, whereas the large particles tended to have short crystallization times. Particles ranging from 38 to 150 μ appeared to have similar crystallization times and to have no significant change in the value of Avrami index with melt crystallization temperature. As a result of these analyses, the dynamic mechanical properties were determined to correlate the fundamental polymer crystallization characteristics and the physical properties of the PPS binder. The enhancement of the wetting of the filler to the binder was promoted through the coupling agent, as confirmed by dynamic mechanical testing performed on the samples. The storage modulus typically decreased because of the presence of the uncoated small particles. Conversely, the loss modulus was enhanced because of the presence of the coated small particles in the PPS binder. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 83: 1091–1102, 2002     

Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant

A practical approach to develop a more realistic fault-tree model with a consideration of various conditions endured by a human operator is proposed. In safety-critical systems, the generation failure of an actuation signal is caused by the concurrent failures of the automated systems and an operator action. These two sources of safety signals are complicatedly correlated. The failures of sensors or automated systems will cause a lack of necessary information for a human operator and result in error-forcing contexts such as the loss of corresponding alarms and indications. It is well known that the error-forcing contexts largely affect the operator's performance. An automated system which consists of multiple processing channels and complex components is also affected by the availability of the sensors. This paper proposes a condition-based human reliability assessment (CBHRA) method in order to address these complicated conditions in a practical way. We apply the CBHRA method to the manual actuation of the safety features such as a reactor trip and auxiliary feedwater actuation in Korean Standard Nuclear Power Plants. Even the human error probability of each given condition is simply assumed, the application results prove that the CBHRA effectively accommodates the complicated error-forcing contexts into the fault trees.     

A study on the degree of deliberation and meditation of cyber poll respondents for nuclear-related decision making

Public participation is essential in each step of the nuclear-related decision-making process. Recently, the electronic systems using the Internet have become quite popular, and have emerged as a good medium for communicating with the public. In this study, a comprehensive utilization of electronic public participation was used to analyze public opinion on a given nuclear-related decision-making process. The degree of deliberation and meditation of the public participating in an electronic poll survey was evaluated, and the decision-making factors representing the personal characteristics of the poll respondents such as age, income, education, residence, degree of knowledge and concern were carefully incorporated when preparing the poll-survey questionnaire for its evaluation. Fuzzy analysis was used to assess and aggregate the responses to each decision-making factor. As a case study, this procedure was used to analyzing public opinion on the location of a low-level radioactive waste disposal facility on the campus of Seoul National University. The results show that there is a tendency of respondents who are on the negative side of the argument to be more deliberate and meditative in their decision-making process than those on the positive side. Knowledge and residence were found to be important decision-making factors.