• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.12
• /
• pp.6116-6132
• /
• 2017

The proxy re-encryption allows an intermediate proxy to convert a ciphertext for Alice into a ciphertext for Bob without seeing the original message and leaking out relevant information. Unlike many prior identity based proxy re-encryption schemes which are based on the number theoretic assumptions such as large integer factorization and discrete logarithm problem. In this paper, we first propose a novel identity based proxy re-encryption scheme which is based on the hardness of standard Learning With Error(LWE) problem and is CPA secure in the standard model. This scheme can be reduced to the worst-case lattice hard problem that is able to resist attacks from quantum algorithm. The key step in our construction is that the challenger how to answer the private query under a known trapdoor matrix. Our scheme enjoys properties of the non-interactivity, unidirectionality, anonymous and so on. In this paper, we utilize primitives include G-trapdoor for lattice and sample algorithms to realize simple and efficient re-encryption.

• 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.

• 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.

• Publications of The Korean Astronomical Society
• /
• v.20 no.1 s.24
• /
• pp.7-10
• /
• 2005

We have calculated 2448 interstellar cloud models to investigate the formation and destruction of high rotational level $H_2$ according to the combinations of five physical conditions: the input UV intensity, the $H_2$ column density, cloud temperature, total density, and the $H_2$ formation rate efficiency. The models include the populations of all the accessible states of $H_2$ with the rotational quantum number J < 16 as a function of depth through the model clouds, and assume that the abundance of $H_2$ is in a steady state governed primarily by the rate of formation on the grain surfaces and the rates of destruction by spontaneous fluorescent dissociation following absorption in the Lyman and Werner band systems. The high rotational levels J = 4 and J = 5 are both populated by direct formation into these levels of newly created molecules, and by pumping from J = 0 and J = 1, respectively The model results show that the high rotational level ratio N(4)/N(0) is proportional to the incident UV intensity, and is inversely proportional to the $H_2$ molecular fraction, as predicted in theory.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.6
• /
• pp.863-872
• /
• 2002

Real-time(RT) object-oriented(00) distributed computing is a form of RT distributed computing realized with a distributed computer system structured in the form of an object network. Several approached proposed in recent years for extending the conventional object structuring scheme to suit RT applications, are briefly reviewed. Then the approach named the TMO(Time-triggered Message-triggered Object) structuring scheme was formulated with the goal of instigating a quantum productivity jump in the design of distributed time triggered simulation. The TMO scheme is intended to facilitate the pursuit of a new paradigm in designing distributed time triggered simulation which is to realize real-time computing with a common and general design style that does not alienate the main-stream computing industry and yet to allow system engineers to confidently produce certifiable distributed time triggered simulation for safety-critical applications. The TMO structuring scheme is a syntactically simple but semantically powerful extension of the conventional object structuring approached and as such, its support tools can be based on various well-established 00 programming languages such as C++ and on ubiquitous commercial RT operating system kernels. The Scheme enables a great reduction of the designers efforts in guaranteeing timely service capabilities of application systems.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.182-182
• /
• 2014

Multiferroic materials have attracted much attention due to their own fascinating fundamental physical properties and potential technological applications to magnetic/ferroelectric data storage systems, quantum electromagnets, spintronics, and sensor devices. Among single-phase multiferroic materials, $BiFeO_3$, in particular, has received considerable attention because the enhanced ferromagnetism was found by the Fe-site ion substitution with magnetic ions. The structural, the magnetic and the ferroelectric properties of polycrystalline $BiFe_{1-x}Ni_xO_3$ (x=0, 0.01, 0.02, 0.03 and 0.05), which were prepared by the solid-state reaction and the rapid-sintering method, have been investigated. The x-ray diffraction patterns reveal that all the samples are in single phase and show rhombohedral structure with R3c space group. The magnetic properties are enhanced according to the doping content. The Ni-doped $BiFeO_3$ samples exhibit lossy P-E loop due to the oxygen vacancy. The leakage current density of Ni-doped samples (x=0.01 and 0.02) is increased by four orders of magnitude. On the other hand, the x=0.03 and 0.05 samples show the relative reduction of the leakage current.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.211.1-211.1
• /
• 2014

Recently, the scaling of conventional planar NAND flash devices is facing its limits by decreasing numbers of electron stored in the floating gate and increasing difficulties in patterning. Three-dimensional vertical NAND devices have been proposed to overcome these issues. Atomic layer deposition (ALD) is the most promising method to deposit charge trap layer of vertical NAND devices, SiN, with excellent quality due to not only its self-limiting growth characteristics but also low process temperature. ALD of silicon nitride were studied using NH3 and silicon chloride precursors, such as SiCl4[1], SiH2Cl2[2], Si2Cl6[3], and Si3Cl8. However, the reaction mechanism of ALD silicon nitride process was rarely reported. In the present study, we used density functional theory (DFT) method to calculate the reaction of silicon chloride precursors with a silicon nitride surface. DFT is a quantum mechanical modeling method to investigate the electronic structure of many-body systems, in particular atoms, molecules, and the condensed phases. The bond dissociation energy of each precursor was calculated and compared with each other. The different reactivities of silicon chlorides precursors were discussed using the calculated results.

• 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.

• Journal of the Korean Society for Precision Engineering
• /
• v.27 no.7
• /
• pp.13-20
• /
• 2010

Due to the recent quantum leaps forward in bio-, nano-, and information-technologies, the precisionization and miniaturization of mechanical and electrical components are in high demand. The allowable margin for vibration limits for such equipments is becoming stricter. In order to meet this demand, understandings on the characteristics of vibration isolation systems are highly required. Among the components comprising the vibration isolation system, air spring has become a focal point. In order to develop a complex defect tester for COG bonding of display panels, a vibration isolation system composed of air springs for mounting is considered in this study. The dynamic characteristics of the air spring are investigated, which is the most essential ingredient for reducing the vibration problem of the tester to the lowest level. Uncoupled dynamic parameters of the air spring are identified through MTS experiments, followed by suggestion of a model-based approach to obtain the remaining coupled dynamic parameters. Finally, the dynamic behaviors of the air spring are estimated and discussed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.11
• /
• pp.4203-4225
• /
• 2014

Fuzzy identity-based cryptography introduces the threshold structure into identity-based cryptography, changes the receiver of a ciphertext from exact one to dynamic many, makes a cryptographic scheme more efficient and flexible. In this paper, we propose the first fuzzy identity-based signcryption scheme in lattice-based cryptography. Firstly, we give a fuzzy identity-based signcryption scheme that is indistinguishable against chosen plaintext attack under selective identity model. Then we apply Fujisaki-Okamoto method to obtain a fuzzy identity-based signcryption scheme that is indistinguishable against adaptive chosen ciphertext attack under selective identity model. Thirdly, we prove our scheme is existentially unforgeable against chosen message attack under selective identity model. As far as we know, our scheme is the first fuzzy identity-based signcryption scheme that is secure even in the quantum environment.