• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Korean Journal of Optics and Photonics
• /
• v.5 no.2
• /
• pp.245-251
• /
• 1994

The charateristics of switching between two modes in a ring dye laser has been analyzed by the Monte-Carlo computer simulation. The effect of including pump fluctuations in the first-passage-time (FPT) distributions was compared with the distribution with the quantum fluctuation. The results show the same tendency in both cases, such as steep increases from 0 to peak an exponential decrease in long time range. However the introduction of pumping fluctuation is turned out to shorten the mean FPT. The variation of the mean FPT is examined for the various fluctuationrelated parameters. The mean FPT is lengthened when pump parameter a is increased while it is shorted when Q. $\GAMMA$ are decreased. eased.

• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.31-44
• /
• 2009

Anyone wishing to understand cognitive science, a converging science, need to become familiar with three major mathematical landmarks: Turing machines, Neural networks, and $G\ddot{o}del's$ incompleteness theorems. The present paper aims to explore the mathematical foundations of cognitive science, focusing especially on these historical landmarks. We begin by considering cognitive science as a metamathematics. The following parts addresses two mathematical models for cognitive systems; Turing machines as the computer system and Neural networks as the brain system. The last part investigates $G\ddot{o}del's$ achievements in cognitive science and its implications for the future of cognitive science.

• Carbon letters
• /
• v.15 no.2
• /
• pp.77-88
• /
• 2014

Double walled carbon nanotubes (DWCNTs) are considered an ideal model for studying the coupling interactions between different concentric shells in multi-walled CNTs. Due to their intrinsic coaxial structures they are mechanically, thermally, and structurally more stable than single walled CNTs. Geometrically, owing to the buffer-like function of the outer tubes in DWCNTs, the inner tubes exhibit exciting transport and optical properties that lend them promise in the fabrication of field-effect transistors, stable field emitters, and lithium ion batteries. In addition, by utilizing the outer tube chemistry, DWCNTs can be useful for anchoring semiconducting quantum dots and also as effective multifunctional fillers in producing tough, conductive transparent polymer films. The inner tubes meanwhile preserve their excitonic transitions. This article reviews the synthesis of DWCNTs, their electronic structure, transport, and mechanical properties, and their potential uses.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 1988.05a
• /
• pp.33-34
• /
• 1988

Recent developments in characterization techniques for solar cells are reviewed. First, general rules of material selection for solar cells such as $CuInSe_2$ and amorphous silicon of photovoltaic application are studied. Secondly, a method to obtain correct cell efficiency measurements under AM1 condition is introduced. Thirdly, various characterization techniques for solar cells are discussed. A special emphasis is given to up-scaling and computer control of the characterizations in the following systems; cell I-V characteristics for cell efficiency and other cell parameters, spectral response for quantum efficiency, surface photovoltage for diffusion length of minority carriers, and photothermal deflection for density of states in energy gaps.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.6C
• /
• pp.570-579
• /
• 2003

The performance of turbo codes is investigated in the direct detection optical PPM channel. We assume that an ideal photon counter is used as an optical detector and that the channel has background noise as well as quantum noise. Resulting channel model is M-ary PPM Poisson channel. We propose the structure of the transmitter and receiver for applying turbo codes to this channel. We also derive turbo decoding algorithm for the proposed coding system, by modifying the calculation of the branch metric inherent in the original turbo decoding algorithm developed for the AWGN channel. Analytical bounds are derived and computer simulation is performed to analyze the performance of the proposed coding scheme, and the results are compared with the performances of Reed-Solomon codes and convolutional codes.

• Journal of Information Display
• /
• v.8 no.2
• /
• pp.15-19
• /
• 2007

We have studied the effect of host materials on the electrophosphorescence properties by comparing three different host materials such as tris(8-hydroxyquinoline)-aluminum (III) $(Alq_3)$, bis(8-hydroxyquinoline)-zinc (II) $(Znq_2)$, and 4,4'-N,N' dicarbazole-biphenyl (CBP) doped with a red-emissive phosphorescent dye, 2,3,7,8,12,13,17,18-octaethyl-21H,23H-porphyrin platinum (II) (PtOEP). The EL spectra show a strong red emission (peak at 650 nm) from the triplet excited state of PtOEP and a very weak emission from an electron transport layer of $Alq_3$ and a hole transport layer of N,N'-diphenyl-N,N'-bis(3-methylphenyl)-1,1-biphenyl-4,4'-diamine (TPD). We find that the triplet exciton lifetime and the quantum efficiency decrease in the order of CBP, $Alq_3$, and $Znq_2$ host materials. The results are interpreted as a poor exciton confinement in $Alq_3$, and $Znq_2$ host compared with in CBP. Therefore, it is very important for the triplet-exciton confinement in the emissive layer for obtaining a high efficiency.

• Korean Journal of Optics and Photonics
• /
• v.12 no.4
• /
• pp.251-256
• /
• 2001

The influences of decorrelation on phase sensitivity are studied with a computer simulation based on the Bayesian theorem, when correlated photons produced by parametric down-conversion are incident on a Mach-Zehnder interferometer. Although the down-converted photons show a perfect correlation in the production process, this degree of correlation may be decreased by reflection, absorption, and scattering during propagation. It is found that this decorrelation results in phase sensitivity degradation, and that the sensitivity is related to the detector quantum efficiency. The results show that when the phase difference between the two paths is smaller the phase sensitivity is better. etter.

• Bulletin of the Korean Chemical Society
• /
• v.28 no.11
• /
• pp.2069-2074
• /
• 2007

The 27Al multiple quantum magic angle spinning (MQMAS) nuclear magnetic resonance (NMR) spectra of mordenite zeolites were simulated using the point charge model (PCM). The spectra simulated by the PCM considering nearest neighbor atoms only (PCM-n) or including atoms up to the 3rd layer (PCM-m) were not different from those generated by the Hartree-Fock (HF) molecular orbital calculation method. In contrast to the HF and density functional theory methods, the PCM method is simple and convenient to use and does not require sophisticated and expensive computer programs along with specialists to run them. Thus, our results indicate that the spectral simulation of the 27Al MQMAS NMR spectra obtained with the PCM-n is useful, despite its simplicity, especially for porous samples like zeolites with large unit cells and a high volume density of pores. However, it should be pointed out that this conclusion might apply only for the atomic sites with small quadrupole coupling constants.

• Nuclear Engineering and Technology
• /
• v.37 no.1
• /
• pp.25-78
• /
• 2005

As a key and core knowledge for the design of various types of nuclear reactors, the discipline of reactor physics has been advanced continually in the past six decades and has led to a very sophisticated fabric of analysis methods and computer codes in use today. Notwithstanding, the discipline faces interesting challenges from next-generation nuclear reactors and innovative new fuel designs in the coming. After presenting a brief overview of important tasks and steps involved in the nuclear design and analysis of a reactor, this article focuses on the currently-used design and analysis methods, issues and limitations, and current activities to resolve them as follows: (1) Derivation of the multi group transport equations and the multi group diffusion equations, with representative solution methods thereof. (2) Elements of modem (now almost three decades old) diffusion nodal methods. (3) Limitations of nodal methods such as transverse integration, flux reconstruction, and analysis of UO2-MOX mixed cores. Homogenization and related issues. (4) Description of the analytic function expansion nodal (AFEN) method. (5) Ongoing efforts for three-dimensional whole-core heterogeneous transport calculations and acceleration methods. (6) Elements of spatial kinetics calculation methods and coupled neutronics and thermal-hydraulics transient analysis. (7) Identification of future research and development areas in advanced reactors and Generation-IV reactors, in particular, in very high temperature gas reactor (VHTR) cores.