• Journal of Computing Science and Engineering
• /
• v.11 no.1
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• Proceedings of the KIEE Conference
• /
• 2004.07e
• /
• pp.120-122
• /
• 2004

This paper describes the digital relay simulator by use of DSP for digital relay test. The simulator software has EMTP simulation data file conversion. user define simulation data generation. data analysis engine. etc. The simulator hardware design uses 32bit floating point DSP architecture to achivev flexibility and high speed operation.

• Journal of Digital Convergence
• /
• v.17 no.5
• /
• pp.347-351
• /
• 2019

The purpose of this study is to suggest the Assessment model for tourist information center in Seoul. As a research method, we analyzed international guideline and interview with tourism experts in order to rate the tourist centers in Seoul. Secondly, we renamed the international rating model to Itaewon information center as a typical landmark in Seoul. The assessment factors for T.I.C is assembled through researching of the centers' status in terms of overall service satisfaction. Via in - depth interview with 9 visitors, as a result, we were able to derive the possibility that new-designed rating model is able to be applied to the Tourist centers in Seoul. It is significant that this study suggests ways to improve domestic tourist center service. It is expected that the follow - up study will help improve the factors to Seoul T.I.C, not only Itaewon, with much more specific rating method.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.388-390
• /
• 2006

This paper presents a hybrid SoC design for phase detection of single tone signal. The designed hybrid SoC is composed of three functional blocks, i.e., an analog to digital converter module, a phase detection module and a controller module. A design of the controller module is based on a 16-bit RISC architecture. An I/O interface and an LCD control interface for transmission and display of phase measurement values are included in the design of the controller module. A design of the phase detector is based on a recursive sliding-DFT. The recursive architecture effectively reduces the gate numbers required in the implementation of the module. The ADC module includes a single-bit second-order sigma-delta modulator and a digital decimation filter. The decimation filter is designed to give 98dB of SNR for the ADC. The effective resolution of the ADC is enhanced to 98dB of SNR by the incorporation of a pre FIR filter, a 2-stage cascaded integrator- comb(CIC) filter and a 30-tab FIR filter in the decimation. The hybrid SoC is verified in FPGA and implemented in 0.35 CMOS Technology.

• Journal of Bio-Environment Control
• /
• v.8 no.3
• /
• pp.152-163
• /
• 1999

It is required to analyze the controlled response of air temperature in greenhouse according to control techniques for precise control. In this study, a mathematical model was established for air heating of greenhouse with hot-water heating system The parameters of the model were decided by regression analysis using reference data measured at the greenhouse being heated In the simulation for the digital control of air temperature in the greenhouse, the mathematical model to evaluate the control performances was used. Tested control methods were ON-OFF contpol, p control, rl control and PID control. The mathematical model represented by inside air temperature ( T$_{i}$), hot-water temperature (T$_{w}$) in heating pipe and outside air temperature (T$_{o}$) was expressed as a following discrete time equation ; T$_{i}$($textsc{k}$＋1)＝ 0.851.T$_{i}$($textsc{k}$)＋0.055.T$_{w}$($textsc{k}$)＋0.094.T$_{o}$($textsc{k}$) Control simulations for various control methods showed the settling time, the overshoot and the steady state nor as follows; infinite time, 3.5$0^{\circ}C$, 3.5$0^{\circ}C$ for ON-OFF control : 30min 2.37$^{\circ}C$, 0.51$^{\circ}C$ for P control; 21min, 0.0$0^{\circ}C$, 0.23$^{\circ}C$ for PI control; 18min 0.0$0^{\circ}C$, 0.23$^{\circ}C$ for PID control, respectively. PI and PID controls appeared to be optimal control methods. There was no effect of differential gain on the heating process but much effect of integral gain on it.on it.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.5 no.2
• /
• pp.115-122
• /
• 2000

In design of a digital current controller for a 3cP PWM converter, its conventional model is used in obtaining i its discretized version. But, it has errors since the characteristics of SVPWM and time delay are not taken i into consideration. In this paper, the new reference frame model of a 3c~ PWJVI converter is proposed C considering these problems. Also, the direct digital current controller based on this model is designed without a any extra algolithm. A simple tuning algorithm for the proposed current controller is given to compensate the i inductaηce mismatch problem. Then simulation and experimental results show the validity of the algolithm.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.4C
• /
• pp.570-580
• /
• 2004

Due to development of internet and mobile communication, M-commerce applications that utilize the digital signature are widely used these days. The mobile environment is weaker than the wired internet environment. Thus, it is highly required to systematically analyze the effect of processing the digital document and the digital signature algorithm, and low bandwidth of the mobile network on the system performance. In this paper, we have constructed the mobile contract system which has the XML based digital contract and the RSA signature algorithm as the test system. And we have derived the performance parameters and then measured in detail the runtime performance of the mobile digital signature system with the Compaq iPAQ 3850 PDA and CDMA 2000 1x mobile network.

• Journal of Digital Convergence
• /
• v.10 no.9
• /
• pp.1-13
• /
• 2012

This study aims to analyze actual conditions of the present national defense information network operation, the structure and management of the system, communication lines, security equipments for the lines, the management of network and software, stored data and transferred data and even general vulnerable factors of our army tactical C4I system. Out of them, by carrying out an extensive analysis of the army tactical C4I system, likely to be the core of future information warfare, this study suggested plans adaptive to better information security, based on the vulnerable factors provided. Firstly, by suggesting various information security factor technologies, such as VPN (virtual private network), IPDS (intrusion prevention & detection system) and firewall system against virus and malicious software as well as security operation systems and validation programs, this study provided plans to improve the network, hardware (computer security), communication lines (communication security). Secondly, to prepare against hacking warfare which has been a social issue recently, this study suggested plans to establish countermeasures to increase the efficiency of the army tactical C4I system by investigating possible threats through an analysis of hacking techniques. Thirdly, to establish a more rational and efficient national defense information security system, this study provided a foundation by suggesting several priority factors, such as information security-related institutions and regulations and organization alignment and supplementation. On the basis of the results above, this study came to the following conclusion. To establish a successful information security system, it is essential to compose and operate an efficient 'Integrated Security System' that can detect and promptly cope with intrusion behaviors in real time through various different-type security systems and sustain the component information properly by analyzing intrusion-related information.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.16 no.3 s.94
• /
• pp.270-276
• /
• 2005

This paper presents an analytical analysis about neighboring UWB interferences in a S-DMB receiver. We first derive the C/N$_{o}$ of a S-DMB receiver, based on its specifications and present the theoretical description of its effect to UWB interferences in terms of C/(N$_{o}$+ I) and I/N$_{o}$. Using the calculated C/(N$_{o}$+ I) and I/N$_{o}$, we derive the separation distance for a S-DMB receiver not to be interfered by UWB interferences. Finally, we propose an UWB emission limit at minimum separation distance under which a S-DMB is free of UWB interferences and compare it with the value appeared in FCC proposal.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2007.08b
• /
• pp.1333-1335
• /
• 2007

We studied the surface defects and the current distributions of ITO thin films by reflected electron energy loss spectroscopy (REELS) and conductiveatomic force microscope (c-AFM). The ohmic behavior of ITO thin film was observed at $230\;^{\circ}C$ annealed sample. The defects related to the electronic structure decreased after anneal process.