• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.15 no.1
• /
• pp.39-50
• /
• 2003

This study aims to figure out water quality impacts due to sudden disturbances of sediments during dike construction in land reclamation for the northern part of the Siwhaho Lake where heavily deteriorated settlements from upstream loadings are outstanding. We exploit a 3-D water quality model CE-QUAL-ICM combined with a hydrodynamic model TIDE3D. Simulations are done accounting water-sediment interaction in a 4-$\sigma$ layers. Long-term simulation for 1-year shows that bottom layers around the disturbance location are only affected and marks very high concentration. Complete vertical mixing appears at least 5km apart to downward due to complex effects of geometry, bathymetry and river inflows. It should be addressed that existing condition of the Siwhaho Lake stands for high concentration of COD and TP in winter and spring due to relatively high incoming loadings, however the effect of sediment disturbances yields reverse phenomena, i.e., impacts of dike construction arise greatly in summer and fall. Refined grid system consisting of 150m${\times}$150m rectangular grid, which is doubled system compared to previous study (Suh et al.,2002), gives affordable results by reducing flux differences through a cell especially in front of gate.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.62 no.6
• /
• pp.131-142
• /
• 2020

The objective of this study was to evaluate future inundation risk of farmland according to the application of coupled model intercomparison project phase 5 (CMIP5) and coupled model intercomparison project phase 6 (CMIP6). In this study, future weather data based on CMIP5 and CMIP6 general circulation model (GCM) were collected, and inundation was simulated using the river modeling system for small agricultural watershed (RMS) and GATE2018 in the Tanjung district of the Moohan stream watershed. Although the average probable rainfall of CMIP5 and CMIP6 did not show significant differences as a result of calculating the probability rainfall, the difference between the minimum and maximum values was significantly larger in CMIP6. The results of the flood discharge calculation and the inundation risk assessment showed similar to trends to those of probability rainfall calculations. The risk of inundation in the future period was found to increase in all sub-watersheds, and the risk of inundation has been analyzed to increase significantly, especially if CMIP6 data are used. Therefore, it is necessary to consider climate change effects by utilizing CMIP6-based future weather data when designing and reinforcing water structures in agricultural areas in the future. The results of this study are expected to be used as basic data for utilizing CMIP6-based future weather data.

• Cartoon and Animation Studies
• /
• s.39
• /
• pp.183-214
• /
• 2015

For a long time, Disney has made animations including world views such as family-focused, conservative ideology, happy ending, etc. for families. Periodical situation and spectators' demands have been changed little by little, but Disney is still a company who is the most successful both nominally and virtually in animation industry. For the secrets of their success, there is fantasy world of fabricated animation, thoroughly organized story and image. When spectators watch animations, their sufficient immersion in the fantasy is to let them forget realities. In the introduction of Disney animations, spectators turn off the switch of realities and turn on the switch of fantasy world through the procedure to recognize and confirm virtual world sufficiently. In the switch of the introduction used frequently by Disney, there are four methods. First is to start while opening the cover of storybook. Second is to start while storyteller gives a talk directly. Third is to start with live action film and continue to animation. Fourth is musical method. Those four switches play a role of the gate which distinguishes spectators' realities from Disney's fantasy clearly. The process makes an opportunity to set spectators who feel uneasy due to the vague boundary between realities and fantasy at ease and let them immerse in animation sufficiently with mind at ease.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.13 no.1
• /
• pp.64-71
• /
• 2020

eFuse OTP memory IP is required to trim the analog circuit of the gate driving chip of the power semiconductor device. Conventional NMOS diode-type eFuse OTP memory cells have a small cell size, but require one more deep N-well (DNW) mask. In this paper, we propose a small PMOS-diode type eFuse OTP memory cell without the need for additional processing in the CMOS process. The proposed PMOS-diode type eFuse OTP memory cell is composed of a PMOS transistor formed in the N-WELL and an eFuse link, which is a memory element and uses a pn junction diode parasitic in the PMOS transistor. A core driving circuit for driving the array of PMOS diode-type eFuse memory cells is proposed, and the SPICE simulation results show that the proposed core circuit can be used to sense post-program resistance of 61㏀. The layout sizes of PMOS-diode type eFuse OTP memory cell and 512b eFuse OTP memory IP designed using 0.13㎛ BCD process are 3.475㎛ × 4.21㎛ (= 14.62975㎛2) and 119.315㎛ × 341.95㎛ (= 0.0408mm2), respectively. After testing at the wafer level, it was confirmed that it was normally programmed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.2
• /
• pp.430-439
• /
• 2004

This paper describes a design of 8192/2048-point FFT/IFFT processor (CFFT8k2k), which performs multi-carrier modulation/demodulation in OFDM-based DVB-T receiver. Since a large size FFT requires a large buffer memory, two design techniques are considered to achieve memory-efficient implementation of 8192-point FFT/IFFT. A hybrid structure, which is composed of radix-4 single-path delay feedback (R4SDF) and radix-4 single-path delay commutator (R4SDC), reduces its memory by 20% compared to R4SDC structure. In addition, a memory reduction of about 24% is achieved by a novel two-step convergent block floating-point scaling. As a result, it requires only 57% of memory used in conventional design, reducing chip area and power consumption. The CFFT8k2k core is designed in Verilog-HDL, and has about 102,000 Bates, RAM of 292k bits, and ROM of 39k bits. Using gate-level netlist with SDF which is synthesized using a $0.25-{\um}m$ CMOS library, timing simulation show that it can safely operate with 50-MHz clock at 2.5-V supply, resulting that a 8192-point FFT/IFFT can be computed every 164-${\mu}\textrm{s}$. The functionality of the core is fully verified by FPGA implementation, and the average SQNR of 60-㏈ is achieved.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.5
• /
• pp.1203-1212
• /
• 2013

In this paper, an intra prediction hardware architecture is proposed to reduce computational complexity of intra prediction in HEVC decoder. The architecture uses shared operation units and common operation units and adopts a fast smoothing decision algorithm and a fast algorithm to generate coefficients of a filter. The shared operation unit shares adders processing common equations to remove the computational redundancy. The unit computes an average value in DC mode for reducing the number of execution cycles in DC mode. In order to reduce operation units, the common operation unit uses one operation unit generating predicted pixels and filtered pixels in all prediction modes. In order to reduce processing time and operators, the decision algorithm uses only bit-comparators and the fast algorithm uses LUT instead of multiplication operators. The proposed architecture using four shared operation units and eight common operation units which can reduce execution cycles of intra prediction. The architecture is synthesized using TSMC 0.13um CMOS technology. The gate count and the maximum operating frequency are 40.5k and 164MHz, respectively. As the result of measuring the performance of the proposed architecture using the extracted data from HM 7.1, the execution cycle of the architecture is about 93.7% less than the previous design.

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.9 no.2
• /
• pp.10-24
• /
• 2005

Background and Purpose: Feeling the pulse is based on the pulse condition and alteration to observe the condition of the human body's health and by using a healthy person's pulse as a standard we are able to analyze the patient's pulse to find the attacked channel and collateral, viscera and bowels and understand the pathology such as diseases caused by exogenous evil, disorder of internal organs, and seven modes of emotions. Observing the color and shade of the patient's face, listening carefully to the sound of the patient, and feeling the pulse are methods in accordance with Su Wen 'Plain Questions', 'The Classic on Difficulty' (5th century B.C. Bianque), 'The Classic of Sphymology' (280 A.D. Wang Xi), 'Pulse Formulas' (1189 A.D. Cui Jiayan), and is systematically edited for those who have started studying to easily reach the profound state. Therefore, 'The Elementary Course for Medicine' has been used from ancient times as the textbook for diagnostics. Methods: In this Study, we will inspect commonly used pulse feeling methods, the inch, bar, cubit thesis, the viscera and bowels thesis from The Elementary Course for Medicine and inquire the difference of the text from 'Plain Questions of Huangdi's Internal Classic', 'Treatise on Febrile Diseases', 'Classic on Difficulty'. Results and Conclusion: 1. In 'The Elementary Course for Medicine' the site of the wrist along the pulsation of the radial artery is divided into inch, bar, cubit and has defined the inch, bar, cubit crossways. 2. In 'The Elementary Course of Medicine' the inch, bar, cubit for the left hand and right hand is subjected to each viscera and bowel. By assigning the left hand's inch, bar, cubit to the cardial orb, the hepatic orb, the renal orb, and the right hand's inch, bar, cubit to the pulmonic orb, the splenic orb, the vital gate it has been able to feel the pulse for each viscera and bowel by using the interpromoting and interacting relation of the five evolutive phases.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.23 no.7
• /
• pp.545-549
• /
• 2010

Low-frequency noise (1/f noise) has been measured in order to analyze the Vth instability of ZnO TFTs having two different active layer thicknesses of 40 nm and 80 nm. Under electrical stress, it was found that the TFTs with the active layer thickness of 80 nm shows smaller threshold voltage shift (${\Delta}V_{th}$) than those with thickness of 40 nm. However the ${\Delta}V_{th}$ is completely relaxed after the removal of DC stress. In order to investigate the cause of this threshold voltage instability, we accomplished the 1/f noise measurement and found that ZnO TFTs exposed the mobility fluctuation properties, in which the noise level increases as the gate bias rises and the normalized drain current noise level($S_{ID}/{I_D}^2$) of the active layer of thickness 80 nm is smaller than that of active layer thickness of thickness 40 nm. This result means that the 80 nm thickness TFTs have a smaller density of traps. This result correlated with the physical characteristics analysis performmed using XRD, which indicated that the grain size increases when the active layer thickness is made thicker. Consequently, the number of preexisting traps in the device increases with decreasing thickness of the active layer and are related closely to the $V_{th}$ instability under electrical stress.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2000.02a
• /
• pp.156-156
• /
• 2000

Recently, the surface electronic states have attracted much attention since their standing wave patterns created around steps, defects, and adsorbates on noble metal surfaces such as Au(111), Ag(110), and Cu(111) were observed by scanning tunneling microscopy (STM). As a typical example, a striking circular pattern of "Quantum corral" observed by Crommie, Lutz, and Eigler, covers a number of text books of quantum mechanics, demonstrating a wavy nature of electrons. After the discoveries, similar standing waves patterns have been observed on other metal and demiconductor surfaces and even on a side polane of nano-tubes. With an expectation that the surface states could be utilized as one of ideal cases for studying two dimensionakl (sD) electronic system, various properties, such as mean free path / life time of the electronic states, have been characterized based on an analysis of standing wave patterns, . for the 2D electron system, electron density is one of the most importnat parameters which determines the properties on it. One advantage of conventional 2D electron system, such as the ones realized at AlGaAs/GaAs and SiO2/Si interfaces, is their controllability of the electrondensity. It can be changed and controlled by a factor of orders through an application of voltage on the gate electrode. On the other hand, changing the leectron density of the surface-state 2D electron system is not simple. On ewqy to change the electron density of the surface-state 2D electron system is not simple. One way to change the electron density is to deposit other elements on the system. it has been known that Pd(111) surface has unoccupied surface states whose energy level is just above Fermi level. Recently, we found that by depositing Pd on Cu(111) surface, occupied surface states of Cu(111) is lifted up, crossing at Fermi level around 2ML, and approaches to the intrinsic Pd surface states with a increase in thickness. Electron density occupied in the states is thus gradually reduced by Pd deposition. Park et al. also observed a change in Fermi wave number of the surface states of Cu(111) by deposition of Xe layer on it, which suggests another possible way of changing electron density. In this talk, after a brief review of recent progress in a study of standing weaves by STM, I will discuss about how the electron density can be changed and controlled and feasibility of using the surface states for a study of 2D electron system. One of the most important advantage of the surface-state 2D electron system is that one can directly and easily access to the system with a high spatial resolution by STM/AFM.y STM/AFM.