• Journal of KIISE
• /
• v.44 no.10
• /
• pp.1034-1044
• /
• 2017

Although traversal strategies are important for the performance of model checking, many studies have ignored the impact of traversal strategies in model checking with a block-encoded abstract reachability graph. Studies have considered traversal strategies only for an abstract reachability graph without block-encoding. Block encoding plays a crucial role in the model checking performance. This paper therefore describes Dual-traversal strategy, a simple and novel technique to control traversal strategies in a block-encoded abstract reachability graph. This method uses two traversal strategies for a model checking, one for effective block-encoding, and the other for traversal in an encoded abstract reachability graph. Dual-traversal strategy is very simple and can be implemented without overhead compared to the existing single-traversal strategy. We implemented the Dual-traversal strategy in an open source model checking tool and compare the performances of different traversal strategies. The results show that the model checking performance varies from the traversal strategies for the encoded abstract reachability graph.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.9
• /
• pp.2227-2232
• /
• 2013

To obtain the system requirement specification in the beginning of the precision guidance system development, the effectiveness and reliability analysis for the system are necessary. The main purpose of this research is to obtain the system requirement specification for the high speed unmanned underwater vehicles by carrying out the effectiveness analysis using the modeling and simulation scheme. The effectiveness is position error for target position. Reaching accuracy is expected to be affected by the navigation sensor parameter. Assume that the navigation sensors that is consist of inertial navigation system(INS) and doppler velocity log(DVL) is the parameter. To analyze the effectiveness of each parameter, Monte-Carlo numerical simulation is performed in this research. The effectiveness analysis is carried out using circular error probability(CEP) and variance analyze scheme. Considering the cost function, the specification of the navigation sensor is provided. The cost function is consist of the INS and DVL specification and the price of those sensors.

• Journal of the Korean Applied Science and Technology
• /
• v.36 no.4
• /
• pp.1410-1419
• /
• 2019

In this research, it is to find a method that frost does not form on the outdoor unit to develop a heat pump capable of heating in cold regions. For this reason, we produced an incubator capable of creating an environment of -25℃, and constructed an experimental apparatus so that experiments in the room were possible. However, it is necessary to grasp the characteristics of the air reaching the front of the heat pump outdoor unit installed in the experimental apparatus, and flow analysis was performed using ANSYS CFX, which is general-purpose software. As a result, the flow velocity of the air reaching the front of the outdoor unit in the outdoor unit chamber in the entire region of the simulation conditions (5.0 to 7.5 m/s) has many differences in the upper and lower portions, resulting in a natural state. It turned out that the condition can not be satisfied. Therefore, it is determined that it is necessary to additionally install a frequency divider at the front of the outdoor unit to make the flow velocity constant.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.8C
• /
• pp.605-612
• /
• 2008

This paper researches the estimating location using repeater effect adjustment method in CDMA based system. Repeaters are commonly used by commercial and amateur radio operators to extend signals in the radio frequency range from one receiver to another. The repeater signals are increasing arrival time from base station to mobile station. So if we calculates the mobile station using repeater signals, the estimating position error is increased. However nobody researched about adjusting repeater effects. This paper proposes repeater effect adjustment algorithm. For adjusting repeater effects, we make the triangle using mobile station, reference base station and neighbor base station, and then detect the repeater effects using the triangle characteristic. The proposed method system showed the improved performance in estimating parameters and locating positions by computer simulations.

• Water for future
• /
• v.29 no.3
• /
• pp.207-216
• /
• 1996

The subject research attempts to evaluate the variations of total runoff volume, peak flow, and travel time depending on the urbanhization, return periods and rainfall patterns under the situations that the preparation of a large residential site at the lowland areas of the downstream of Dongsu stream in Bupyung-Gu, Incheon city is progressed and the area will be eventually fully developed. The ILLUDAS model was used for the runoff analyses based on 3 differend steps of urbanization and 4 different types of Huff's quantile according to rainfall patterns is Huff's 4 quantile, Huff's 2 quantile, Huff's 3 quantile and Huff's 1 quantile. Under the 80 and 90 % of urbanization to the 70% of urbanization, the mean increasing ratio of total runoff volume for each case is 3.5 and 5.5 %, that of peak flow is 4.2 and 8.8%, and the mean decreasing ratio of travel time is 4.4 and 10.1%, respectively. The mean increasing ratio of total runoff volume according to the return periods is 3.0 and 5.4%, that of peak flow is 3.9 and 8.0% under the same conditions of urbanization.

• Fire Science and Engineering
• /
• v.28 no.5
• /
• pp.44-51
• /
• 2014

In this study, the Mock-up office space experiments have been performed for the fire behavior analysis of the compartmented space used for the performance-based fire safety design of buildings. Mock-up test was conducted using the compartmented office space dimensions, which are 2.4 m wide, 3.6 m wide, and 2.4 m hight. Test was conducted with the combustible materials such as a desk, a chair, a computer ect. The fire load in the Mock-up office space was $18.74kg/m^2$. As a result, the temperature of the central compartment space to reach $600^{\circ}C$ were 394 to 408 s. The temperature of the corner near the entrance edge to reach $600^{\circ}C$ were 404 to 420 s. At this study, the temperature curve in the compartmented space has been predicted using the temperature data appling the BFD curve. The BFD curve factor based on the fire tests was determined by the maximum temperature of $900^{\circ}C$, 7 min to reach the maximum temperature, and the shape coefficient of 1.5. The initiating fire was rapidly increased to 9 min, and decreased.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.11
• /
• pp.5208-5213
• /
• 2011

In this paper, we proposed a new direction finding(DF) technology using TDOA(time-difference of arrival) and PDOA(phase difference of arriving signal) method. The proposed technology has a good DF accuracy without DF ambiguity. TDOA or PDOA technology is used to the most of intelligence systems in 21 century. The principle of TDOA is to receive a signal with two parallel antennas, measure the time difference of arrival signal, and converse the time difference to the direction of incident signal. Those technology make a DF system small size but the DF accuracy is low into short antenna installation distance. The principle of PDOA is similar to TDOA except measuring the phase difference of arrival signal, These technology get a good DF accuracy in short antenna installation distance but have a DF ambiguity. The proposed DF method is simulated into DF system operation environment with noise, and has a good DF accuracy.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.556-556
• /
• 2016

도시화 및 산업화에 따른 유출량의 증가 및 도달시간의 감소로 인해 도시지역의 침수피해가 빈번하게 발생되고 있는 실정이다. 내수침수피해 방지를 위해 유역내 우수관거 용량향상 및 우수유 출저감시설의 설치 등과 같은 유역전반의 홍수방어 체계를 구축하고자 하는 노력들이 이루어지고 있으나, 국내 대도시의 경우 저류시설 설치를 위한 부지 확보 및 우수관거 교체를 위한 예산확보가 어려운 실정이다. 따라서 도시화, 산업화, 인구집중으로 동일규모의 강우에서도 우수유출이 증대되고 있는 도시지역에서 원활한 내수배제를 위해 우수관거를 연계한 간선저류지 개념을 적용하여 우수유출저감효과를 분석할 필요가 있다. 본 연구에서는 간선저류지를 유역내의 임의의 위치에 설치하여 단일 저류지와 복수 저류지에 대해 각각 우수유출저감효과를 분석하였다. 간선저류지 설치로 인한 우수유출저감효과 분석을 위하여 단일 저류지의 면적은 $1,000m^3$, $2,000m^3$, $3,000m^3$ 등 3가지 크기로 설정하여 분석을 수행하였다. 단일 저류지의 위치에 따른 유출저감효과를 분석하기 위해 저류지의 위치는 전체 유역면적에 대한 저류지 상류부 면적의 비를 20%, 40%, 60%, 80%로 변화시키면서 분석을 수행하였으며, 복수 저류지의 경우 전체 유역면적에 대한 저류지 상류부 면적의 비를 다양하게 적용하여 분석을 수행하여, 단일 저류지 및 복수 저류지 설치 위치에 따른 도시유역의 우수유출저감효과를 분석하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.5A
• /
• pp.801-808
• /
• 2001

본 논문에서는 전파의 도달시간을 이용한 이동통신 측위 시스템에서 사용되는 직접해, 최소 자승, 테일러 시리즈 그리고 찬 알고리즘의 성능을 분석하고, 각 알고리즘을 사용하여 계산된 결과를 궤환시켜 이동국의 위치를 재계산함으로써 보다 향상된 측위를 할 수 있는 결정 궤환 방법을 제안한다. 제안된 방법은 규칙 7셀 좌표와 불규칙 셀 좌표를 이용하여 이동국을 위치시킨 후, 전파의 지연시간에 따른 측위오차와 표준편차 그리고 각 알고리즘별 발산횟수를 조사하였으며, 실험결과 결정 궤환 방법을 사용하였을 경우 기존의 방법보다 향상된 성능을 보였다.

• Journal of Korea Multimedia Society
• /
• v.4 no.1
• /
• pp.91-95
• /
• 2001

We investigate some properties of one dimensional linear nongroup cellular automata that have nonreachable states over GF(2). Specially we show interesting relationships between th states in a nonzero tree corresponding to each level state in the 0-tree.