• The Transactions of the Korean Institute of Electrical Engineers C
• /
• v.49 no.1
• /
• pp.1-7
• /
• 2000

The SNOSFET memory devices with ultrathin ONO(tunnel oxide-nitride-blocking oxide) gate dielectric were fabricated using n-well CMOS process and investigated its characteristics. The thicknesses of tunnel oxide, nitride and blocking oxide were $23{\AA},\; 53{\AA}\; and\; 33{\AA}$, respectively. Auger analysis shows that the ONO layer is made up of $SiO_2(upper layer of blocking oxide)/O-rich\; SiO_x\N\_y$. It clearly shows that the converting layer with $SiO_x\N\_y(lower layer of blocking oxide)/N-rich SiO_x\N\_y(nitride)/O-rich SiO_x\N\_y(tunnel oxide)$. It clearly shows that the converting layer with $SiO_x\N\_y$ phase exists near the interface between the blocking oxide and nitride. The programming condition of +8 V, 20 ms, -8 V, 50 ms is determined and data retention over 10 years is obtained. Under the condition of 8 V programming, it was confirmed that the modified Fowler-Nordheim tunneling id dominant charge transport mechanism. The programmed threshold voltage is distributed less than 0.1 V so that the reading error of memory stated can be minimized. An $8\times8$ NAND type flash EEPROM with SONOSFET memory cell was designed and simulated with the extracted SPICE parameters. The sufficient read cell current was obtained and the upper limit of $V_{TH}$ for write state was over 2V.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.47 no.4
• /
• pp.44-53
• /
• 2010

Program plagiarism is a significant factor to reduce the quality of education in computer programming. In this paper, we propose the technique of identifying similar or identical programs in order to prevent students from reckless copying their programming assignments. Existing approaches for identifying similar programs are mainly based on fingerprints or pattern matching for text documents. Different from those existing approaches, we propose an approach based on the program structur. Using paring progrmas, we first transform programs into XML documents by representing syntactic components in the programs with elements in XML document, then run X-tree Diff+, which is the change detection algorithm for XML documents, and produce an edit script as a change. The decision of similar or identical programs is made on the analysis of edit scripts in terms of program plagiarism. Analysis of edit scripts allows users to understand the process of conversion between two programs so that users can make qualitative judgement considering the characteristics of program assignment and the degree of plagiarism.

• Journal of Korea Game Society
• /
• v.9 no.5
• /
• pp.137-144
• /
• 2009

This paper predicts 6 facial regions that may have sharply different scattering properties, rendering the face more realistically based on their diffusion profiles. The scattering properties are acquired in the form of high dynamic range by photographing the pattern formed around an unit ray incident on facial skin. The acquired data are fitted to a 'linear combination of Gaussian functions', which well approximates the original diffusion profile of skin and has good characteristics as the filter. During the process, to prevent its solutions from converging into local minima, we take advantage of the genetic algorithm to set up the initial value. Each Gaussian term is applied to the irradiance map as a filter, expressing subsurface scattering effect. In this paper, to efficiently handle the maximum 12 Gaussian filterings, we make use of the parallel capacity of CUDA.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.1731-1737
• /
• 2007

This paper considers subway routing problem. Given a schedule of train to be routed by a railway stock, the routing problem determines a sequence of trains while satisfying turnaround time and maintenance restrictions. Generally, the solution of routing problem is generated from set partition formulation solved by column generation method, a typical integer programming approach for train-set. However, we find the characteristics of metropolitan subway which has a simple rail network, a few end stations and 13 departure-arrival patterns. We reflect a turn-around constraint due to spatial limitations has no existence in conventional railroad. Our objective is to minimize the number of daily train-sets. In this paper, we develop two basic techniques that solve the subway routing problem in a reasonable time. In first stage, we formulate the routing problem as a Min-cost-flow problem. Then, in the second stage, we attempt to normalize the distance covered to each routes and reduce the travel distance using our heuristic approach. Applied to the current daily timetable, we could find the subway routings, which is an approximately 14% improvement on the number of train-sets reducing 15% of maximum traveling distance and 8% of the standard deviation.

• Geophysics and Geophysical Exploration
• /
• v.20 no.3
• /
• pp.129-136
• /
• 2017

3D seismic data processing methods such as full waveform inversion or reverse-time migration require 3D wave propagation modeling and heavy calculations. We compared efficiency and accuracy of a Xeon Phi coprocessor to those of a high-end server CPU using 3D frequency-domain wave propagation modeling. We adopted the OpenMP parallel programming to the time-domain finite difference algorithm by considering the characteristics of the Xeon Phi coprocessors. We applied the Fourier transform using a running-integration to obtain the frequency-domain wavefield. A numerical test on frequency-domain wavefield modeling was performed using the 3D SEG/EAGE salt velocity model. Consequently, we could obtain an accurate frequency-domain wavefield and attain a 1.44x speedup using the Xeon Phi coprocessor compared to the CPU.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.39 no.1
• /
• pp.98-104
• /
• 2016

With the development of modern science and technology, weapon systems such as tanks, submarines, combat planes, radar are also dramatically advanced. Among these weapon systems, the ballistic missile, one of the asymmetric forces, could be considered as a very economical means to attack the core facilities of the other country in order to achieve the strategic goals of the country during the war. Because of the current ballistic missile threat from the North Korea, establishing a missile defense (MD) system becomes one of the major national defense issues. This study focused on the optimization of air defense artillery units' deployment for effective ballistic missile defense. To optimize the deployment of the units, firstly this study examined the possibility of defense, according to the presence of orbital coordinates of ballistic missiles in the limited defense range of air defense artillery units. This constraint on the defense range is originated from the characteristics of anti-ballistic missiles (ABMs) such as PATRIOT. Secondly, this study proposed the optimized mathematical model considering the total covering problem of binary integer programming, as an optimal deployment of air defense artillery units for defending every core defense facility with the least number of such units. Finally, numerical experiments were conducted to show how the suggested approach works. Assuming the current state of the Korean peninsula, the study arbitrarily set ballistic missile bases of the North Korea and core defense facilities of the South Korea. Under these conditions, numerical experiments were executed by utilizing MATLAB R2010a of the MathWorks, Inc.

• Journal of Educational Research in Mathematics
• /
• v.22 no.4
• /
• pp.535-555
• /
• 2012

The aim of this study is to analyze how the context problems by prospective teachers are solved. In order to achieve this aim, this study examined the conceptual nature of context based on previous studies. I developed context problems about linear programming with reference to the results of the examination about the natural characterization of context. These problems were given to 44 prospective teachers and qualitative methods were used to analyze the data obtained from the written solutions by the participants. This study also developed the framework descriptors for this analysis in the light of the Mathematics Scoring Rubric from Illinois Department of Education(2005). The data was analyzed and interpreted in terms of this framework and the specific characteristics shown in the process of problem solving by the teachers were categorized into four types as a result.

• Journal of the Korean Society of Safety
• /
• v.26 no.2
• /
• pp.70-76
• /
• 2011

Industrial accident frequency in small- and medium-sized ship-building plants is much higher than that of large-sized ones so that safety management activities should be different. In that sense, voluntary hazard assessment would be helpful for small- and medium-sized plants. However, conventional hazard assessment items and methods had some problems that discouraged voluntary participation of plants concerned. This study aimed to develop a new model for small- and medium-sized ship-building plants that can promote and encourage voluntary hazard assessment activities. For that purpose, ship-building process was assumed as a sequence of phases, and accident characteristics were compared with them. From that result, relative weights of accident factors including ship-building phases, accident types, occupational category, accident-induced objects, and hazardous items were determined with accident frequency data and with the help of expert groups. Therefore, for web-based integrative computer programming, a plain but accident data-dependent model was developed, with an additive function for related agencies that want to collect assessment results. It is expected that this model would help small- and medium-sized ship-building plants that wanted not only simple checklists but also effective assessment and management guidelines.

• Journal of Korea Water Resources Association
• /
• v.42 no.9
• /
• pp.759-771
• /
• 2009

The electricity cost of pumping system accounts for a large part of the total operating cost for long distance water supply networks. This study presents a method based on dynamic programming for establishing an joint optimal operation of pumps and storages system on a hourly basis. Analysis is taken of the relative efficiencies of the available pumps, the structure of the electricity tariff, the consumer-demand pattern, and the storage characteristics and operational constraints of the pipe. The possible system objectives and constraints are described. An application of the method to the existing Yangju Water Supply System consisted of two pump station and 5 storage pools under the condition of expanding pumping facility in the part of the Capital Area Water Supply System is presented, showing that considerable electricity cost savings are remarkable. The approach was found to be implementable in real system operation and large-scale water supply system design in respect of minimizing life-cycle total cost.

• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.4
• /
• pp.309-314
• /
• 2011

As a system becomes more complex, a design relies more heavily on a methodology based on high-level abstraction and functional verification. SystemVerilog includes characteristics of hardware design language and verification language in the form of extensions to the Verilog HDL. However, the OOP of System Veri log does not allow multiple inheritance. In this paper, we propose adoption of SystemC to introduce multiple inheritance. After being created, a SystemC unit is combined with a SystemVerilog-based verification environment using SystemVerilog DPI and ModelSim macro. Employing multiple inheritance of SystemC makes a design of a verification environment simple and easy through source code reuse. Moreover, a verification environment including SysemC unit has a benefit of reconfigurability due to OOP.