• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2000.10a
• /
• pp.66-72
• /
• 2000

We have scanned the several seismic traces of earthquakes and blasts observed from the digital new type seismograph instruments of KMA from Jan. 2000 to Aug. 2000. From these data, good quality data which have high signal/noise ratio were selected and they were transformed into ascii data from binary data(mini-seed format). The hypo71 program and P-S was applied in order to determine the location of epicenter, origin time and the magnitude. From these data, the 18 earthquakes and 3 blasts, 207 seismic records consist of 359 directional components were calculated. Using theses ground acceleration data, acceleration, velocity, and displacement response spectrums of the structures were calculated and they could be represented in a picture by the form of tripartite response spectrum. In the result, response spectrums of the 359 directional components of the above seismic data records were obtained respectively.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.1
• /
• pp.215-219
• /
• 2014

C programming language has undefined behaviors, which cause unintended execution of a program. When a programmer adds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code and checking the marks in binary code.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.3
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.34 no.1
• /
• pp.1-9
• /
• 1985

In this study we described Binary-Decision Method Programmable Controller that is faster than conventional Programmable Controller (P.C) using the Boolean method. An algorithm for the optimal BD program was systematically developed by using the incomplete multiple output function and the residual characteristic function. The potential applications of BD programmable controller for the problems of industrial control were illustrated, which include on-off sequential control function and also the tasks involving continuous data processing and PID control. An example was presented that has shown how BD programmable controller and ICU (Industrial Control Unit) controller can be applied to the sequential logics.

• Speech Sciences
• /
• v.11 no.1
• /
• pp.65-72
• /
• 2004

The force of articulation is different between voiced and voiceless consonants in the binary opposition system. However, the Korean voiceless stop consonants have a triple opposition system: lenis, aspirated, and glottalized. The aim of this study is to find the primary distinctive feature between the force of articulation and the aspiration for the three different types of Korean stops. Two native speakers of the Seoul dialect participated to this study. The corpus was composed of less than eight syllabic words containing consonants in word-initial position and intervocalic position. Radiocinematography and Mingography were used to analyze the articulatory tension and acoustic characteristics. Korean stops have independent features of articulatory tension and aspiration, in which the indices are different according to position. However, in this system which does not have the opposition of sonority, the force of articulation is the primary distinctive feature and the feature of aspiration is subsidiary.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2005.09a
• /
• pp.339-343
• /
• 2005

Boolean networks(BN) construction is one of the commonly used methods for building gene networks from time series microarray data. However, BN has two major drawbacks. First, it requires heavy computing times. Second, the binary transformation of the microarray data may cause a loss of information. This paper propose two methods using liner regression to construct gene regulatory networks. The first proposed method uses regression based BN variable selection method, which reduces the computing time significantly in the BN construction. The second method is the regression based network method that can flexibly incorporate the interaction of the genes using continuous gene expression data. We construct the network structure from the simulated data to compare the computing times between Boolean networks and the proposed method. The regression based network method is evaluated using a microarray data of cell cycle in Caulobacter crescentus.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.2
• /
• pp.15-27
• /
• 1998

In the parallel processing systems, a compiler partitions a loaded program into tasks, allocates the tasks on multiple processors and schedules the tasks on each allocated processor. In this paper we suggest a Genetic Algorithm(GA) based scheduling method to find an optimal allocation and sequence of tasks on each Processor. The suggested method uses a chromosome which consists of task sequence and binary string that represent the number and order of tasks on each processor respectively. Two correction algorithms are used to maintain precedency constraints of the tasks in the chromosome. This scheduling method determines the optimal number of processors within limited numbers, and then finds the optimal schedule for each processor. A result from computational experiment of the suggested method is given.

• Korean Management Science Review
• /
• v.20 no.1
• /
• pp.65-76
• /
• 2003

The increased environmental concerns and the emphasis on recycling are gradually shifting the orientation of municipal solid waste (MSW) management. This paper is designed to evaluate regionalization programs for MSW management system. We developed a mixed intiger network programming (MIP) model to identify environment-friendly, cost-effective expansion plans for regionalization scenarios considered. The MIP model is a dynamic capacity expansion model based on the network flow model that depicts the MSW management cycle. In particular, our model is designed to determine the optimal form of regionalization using binary variables. We apply this model to assess the regionalization program of Seoul Metropolitan City, which includes three scenarios such as 1) districting, 2) regionalization with neighboring self-governing districts, and 3) g1obalization with all districts. We demonstrate how our model can be used to plan the MSW system. The results indicate that optimal regionalization with nearby self-governing districts can eliminate unnecessary landfills and expansions if jurisdictional obstacles are removed.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2001.04a
• /
• pp.81-90
• /
• 2001

Several seismic traces of earthquakes observed from the digital new type seismograph instruments of KMA in 2000 were scanned. From these, good quality data which have high signal/noise ratio were selected and they were transformed into ascii data from binary data(min-seed format). The hypo71 program and P-S was applied in order to determine the location of epicenter, origin time and the magnitude. From these data, the 29 earthquakes, 358 seismic records consist of 587 directional components were calculated. Using these, ground acceleration data, acceleration, velocity, and displacemnet response spectrums of the structures were calculated and they could be represented in a picture by the form of tripartite response spectrum. In the result, response spectrums of the 587 directional components of the above seismic data records were obtained respectively.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2010.03b
• /
• pp.37-37
• /
• 2010

In these days $SF_6$ mixtures and alternative gas has been studied because of global warming. so although many studies have been carried out about binary gas mixtures with $SF_6$, few studies were presented about breakdown characteristics of $SF_6/N_2$ mixtures. In this paper, breakdown experiment values and breakdown simulation value are compared. Streamer theory was used for predicting breakdown voltage. For accurate simulation, this simulation apply utilization factor using CST program. AC breakdown experiments in non-uniform field was performed to compare with the breakdown simulation values. But with gap lengths increasing, the breakdown voltage is saturated. So simulation need surface roughness factor.