• Journal of KIISE:Information Networking
• /
• v.30 no.4
• /
• pp.559-571
• /
• 2003

ENUM(tElephon NUmbering Mapping) is protocol that brings convergence between PSTN Networks and IP Networks using a unique worldwide E.164 telephone number as an identifier between different communication infrastructure. The mechanism provides a bridge between two completely different environments with E.164 number; IP based application services used in PSTN networks, and PSTN based application services used in IP networks. We propose a new way to organize and handle ENUM Tier 2 name servers to improve performance at the name resolution process in ENUM based application service. We build an ENUM based network model when NAPTR(Naming Authority PoinTeR) resource record is registered and managed by area code at the initial registration step. ENUM promises convenience and flexibility to both PSTN and IP users, yet there is no evidence how much patience is required when users decide to use ENUM instead of non-ENUM based applications. We have estimated ENUM response time, and proved how to improve performance up to 3 times when resources are managed by the proposed mechanism. The proposition of this thesis favorably influences users and helps to establish the policy for Tier 2 name server management.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.22 no.6
• /
• pp.32-48
• /
• 2023

Autonomous driving technology is shaping the future of personalized travel, encouraging personalized travel, and traffic impact could be influenced by individualized travel behavior during the transition of driving entity from human to machine. In order to evaluate traffic impact, it is necessary to estimate the total number of trips based on an understanding of individual travel characteristics. The Activity-based model(ABM), which allows for the reflection of individual travel characteristics, deals with all travel sequences of an individual. Understanding the relationship between travel and travel must be important for assessing traffic impact using ABM. However, the ABM has a limitation in the data hunger model. It is difficult to adjust in the actual demand forecasting. Therefore, we utilized a Tour-based model that can explain the relationship between travels based on household travel survey data instead. After that, vehicle registration and population data were used for correction. The result showed that, compared to the KTDB one, the traffic generation exhibited a 13% increase in total trips and approximately 9% reduction in working trips, valid within an acceptable margin of error. As a result, it can be used as a generation correction method based on Tour, which can reflect individual travel characteristics, prior to building an activity-based model to predict demand due to the introduction of autonomous vehicles in terms of road operation, which is the ultimate goal of this study.

• Proceedings of the Korean Association for Survey Research Conference
• /
• 2003.06a
• /
• pp.140-160
• /
• 2003

The purpose of this study is to identify and evaluate the competitiveness of ports in ASEAN(Association of Southeast Asian Nations), which plays a leading role in basing the hub of international logistics strategies as a countermeasure in changes of international logistics environments. This region represents most severe competition among Mega hub ports in the world in terms of container cargo throughput at the onset of the 21st century. The research method in this study accounted for over lapping between attributes, and introduced the HFP method that can perform mathematical operations. The scope of this study was strictly confined to the ports of ASEAN, which cover the top 100 of 350 container ports that were presented in Containerization International Yearbook 2002 wi th reference to container throughput. The results of this study show Singapore in the number one position. Even compared with major ports in Korea (after getting comparative ratings and applying tile same data and evaluation structure), the number one position still goes to Singapore and then Busan(2) and Manila(2), followed by Port Klang(4), Tanjung Priok(5), Tanjung Perak(6), Bangkok(7), Inchon(8), Laem Chabang(9) and Penang(9). In terms of the main contributions of this study, it is the first empirical study to apply the combined at tributes of detailed and representative attributes into the advanced HFP model which was enhanced by the KJ method to evaluate the port competitiveness in ASEAN. Up-to-now, none have comprehensively conducted researches with sophisticated port methodology that has discussed a variety of changes in port development and terminal transfers of major shipping lines. Moreover, through the comparative evaluation among major ports in Korea and ASEAN, the presentation of comparative competitiveness for Korean ports is a great achievement in this study. In order to reinforce this study, it needs further compensative research, including cost factors which could not be applied to modeling the subject ports by lack of consistently qualified data in ASEAN.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.323-339
• /
• 2010

The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

• Journal of Intelligence and Information Systems
• /
• v.24 no.4
• /
• pp.137-154
• /
• 2018

Animal infectious diseases, such as avian influenza and foot and mouth disease, occur almost every year and cause huge economic and social damage to the country. In order to prevent this, the anti-quarantine authorities have tried various human and material endeavors, but the infectious diseases have continued to occur. Avian influenza is known to be developed in 1878 and it rose as a national issue due to its high lethality. Food and mouth disease is considered as most critical animal infectious disease internationally. In a nation where this disease has not been spread, food and mouth disease is recognized as economic disease or political disease because it restricts international trade by making it complex to import processed and non-processed live stock, and also quarantine is costly. In a society where whole nation is connected by zone of life, there is no way to prevent the spread of infectious disease fully. Hence, there is a need to be aware of occurrence of the disease and to take action before it is distributed. Epidemiological investigation on definite diagnosis target is implemented and measures are taken to prevent the spread of disease according to the investigation results, simultaneously with the confirmation of both human infectious disease and animal infectious disease. The foundation of epidemiological investigation is figuring out to where one has been, and whom he or she has met. In a data perspective, this can be defined as an action taken to predict the cause of disease outbreak, outbreak location, and future infection, by collecting and analyzing geographic data and relation data. Recently, an attempt has been made to develop a prediction model of infectious disease by using Big Data and deep learning technology, but there is no active research on model building studies and case reports. KT and the Ministry of Science and ICT have been carrying out big data projects since 2014 as part of national R &D projects to analyze and predict the route of livestock related vehicles. To prevent animal infectious diseases, the researchers first developed a prediction model based on a regression analysis using vehicle movement data. After that, more accurate prediction model was constructed using machine learning algorithms such as Logistic Regression, Lasso, Support Vector Machine and Random Forest. In particular, the prediction model for 2017 added the risk of diffusion to the facilities, and the performance of the model was improved by considering the hyper-parameters of the modeling in various ways. Confusion Matrix and ROC Curve show that the model constructed in 2017 is superior to the machine learning model. The difference between the2016 model and the 2017 model is that visiting information on facilities such as feed factory and slaughter house, and information on bird livestock, which was limited to chicken and duck but now expanded to goose and quail, has been used for analysis in the later model. In addition, an explanation of the results was added to help the authorities in making decisions and to establish a basis for persuading stakeholders in 2017. This study reports an animal infectious disease prevention system which is constructed on the basis of hazardous vehicle movement, farm and environment Big Data. The significance of this study is that it describes the evolution process of the prediction model using Big Data which is used in the field and the model is expected to be more complete if the form of viruses is put into consideration. This will contribute to data utilization and analysis model development in related field. In addition, we expect that the system constructed in this study will provide more preventive and effective prevention.

• Journal of Korean Society of Forest Science
• /
• v.112 no.2
• /
• pp.173-187
• /
• 2023

The forest protection policies implemented in South Korea have resulted in the significant accumulation of forest. Moreover, the associated public interest has also been closely evaluated. As forests mature, there arises a need for forest management (FM) practices, such as thinning and harvesting. It is therefore essential to perform a scientific analysis of the long-term effects of FM. In this study, conducted in Mt. Gariwang, the effect of FM on forest succession and wood production (WP) were evaluated based on changes in aboveground biomass (AGB) using the LANDIS-II model. The FM consists of three scenarios (Selection, Shelterwood, and Two-stories), characterized based on the harvest intensity, frequency, and period. The model was applied to changes in the forest over 200 years. All scenarios show that the total AGB decreased immediately after thinning and harvesting. However, AGB recovery time differed among scenarios, with recovery to preharvest level occurring from 15 to 50 years after harvest; further, after 200 years, harvested forests had a greater total AGB than forests without FMs In particular, the changes in AGB of each species was different depending on its shade tolerance. The AGB of currently dominant shade-intolerant and mid-tolerant species decreased dramatically after harvesting. However, shade-tolerant species, dominant in the understory, continued to grow but were not harvested due to their small size. The cumulative WP for each scenario was estimated at 545.6, 141.6, and 299.9 tons/ha in Selection, Shelterwood, and Two-stories, respectively. The composition of WP differed according to harvest intensity and period. Most WP originated from shade-intolerant and mid-tolerant species in the early period. Later, most WP was from shade-tolerant species, which became dominant. The modeling approach used in this study is capable of analyzing the long-term effects of FM on changes in forests and WP. This study can contribute to decision making to guide FM methods for a variety of purposes, including WP and controlling forest composition and structure.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.5
• /
• pp.213-217
• /
• 2001

Excessive memory buffer requirement in continuous media playback is a serious impediment of wide spread usage of on-line multimedia service. Skewed access frequency of available video files provides an opportunity of re-using the date blocks which has been loaded by one session for later usage. We present novel algorithm which minimizes the buffer requirement in multiple sessions of multimedia playbacks. In continuous media playback originated from the disk, a certain amount of memory buffer is required to synchronize asynchronous disk. Read operation and synchronous playback operation. As aggregate playback bandwodth increases, larger amount of buffer needs to be allocated for this synchronization purpose. The focus of this work is to study the asymptotic behavior of the synchronization buffer requirement and to develop an algorithm coping with this excessive buffer requirement under bandwidth congestioon. We argue that in a large scale continuous media server, it may not be necessary to read the blocks for each session directly from the disk. The beauty of our work lies in the fact that it dynamically adapts to disk utilization of the server and finds the optimal way of servicinh the individual sessions while minimizing the overall buffer space requirement. Optimality of the proposed algorithm is shown by proof. The effectiveness and performance of the proposed scheme is examined via simulation.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1166-1176
• /
• 1999

연속 매체, 특히 비디오 데이타에 대한 일반 사용자 연산에는 재생뿐만 아니라 임의 속도 탐색 연산, 정지 연산, 그리고 그 외 다양한 연산이 있다. 이 연산 중에서 원하는 화면을 빨리 찾는 데에 유용한 고속 전진(FF: fast-forward)과 고속 후진(FB: fast-backward)은 재생 연산과는 달리 비순차적인 디스크 접근을 요구한다. 이러한 경우에 디스크 부하가 균등하지 않으면 일부 디스크에 접근이 편중되어 서비스 품질이 떨어진다. 본 논문에서는 디스크 배열을 이용한 저장 시스템에서 디스크 접근을 고르게 분산시키기 위하여 '소수 라운드 로빈(PRR: Prime Round Robin)' 방식으로 연속 매체를 디스크에 배치하는 기법에서 문제가 됐던 낭비된 디스크 저장 공간을 신뢰도 향상을 위해서 사용하는 '그룹화된 패리티를 갖는 소수 라운드 로빈(PRRgp: PRR with Grouped Parities)' 방식을 제안한다. 이 기법은 PRR 기법처럼 임의 속도 검색 연산에 있어서 디스크 배열을 구성하는 모든 디스크의 부하를 균등하게 할뿐만 아니라 낭비됐던 디스크 저장 공간에 신뢰도를 높이기 위한 패리티 정보를 저장함으로서 신뢰도를 향상시킬 수 있다. 신뢰도 모델링 방법으로 조합 모델과 마르코프 모델을 이용해서 결함발생율과 결함복구율을 고려한 신뢰도를 산출하고 비교.분석한다. PRR 기법으로 연속 매체를 저장하고 낭비되는 공간에 패리티 정보를 저장할 경우에 동시에 두 개 이상의 결함 발생 시에 그 결함으로부터 복구가 불가능하지만 PRRgp 기법에서는 약 30% 이상의경우에 대해서 동시에 두 개의 결함 발생 시에 저장한 패리티 정보를 이용한 복구가 가능할 뿐만 아니라 패리티 그룹의 수가 두 개 이상인 경우에는 두 개 이상의 결함에 대해서도 복구가 가능하다.Abstract End-user operations on continuous media (say video data) consist of arbitrary-rate search, pause, and others as well as normal-rate play. FF(fast-forward) / FB(fast-backward) among those operations are desirable to find out the scene of interest but they require non-sequential access of disks. When accesses are clustered to several disks without considering load balance, high quality services in playback may not be available. In this paper, we propose a new disk placement scheme, called PRRgp(Prime Round Robin with Grouped Parities), with enhanced reliability by using the wasted disk storage space in an old one(PRR: Prime Round Robin), in which continuous media are placed on a disk array based storage systems to distribute disk accesses uniformly. The PRRgp can not only achieve load balance of disks consisting of a disk array under arbitrary-rate search like PRR, but also improve reliability by storing parity information on the wasted disk space appropriately. We use combinatorial and Markov models to evaluate the reliability for a disk array and to analyze the results. When continuous media like PRR are placed and parity information on the wasted disk space is stored, we cannot tolerate more than two simultaneous faults. But they can be recovered by using stored parity information for about 30 percent as a whole in case of PRRgp presented in this paper. In addition, more than two faults can be tolerated in case there are more than two parity groups.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.6
• /
• pp.49-60
• /
• 2013

Evacuation process has been considered as one of the most important elements to be managed in public facilities. Although the importance is highlighted through numerous literatures, disaster evacuation planning, particularly fire accidents, faces a number of human behavior related limitations for a similar application to different types of facilities/occupants. To overcome the obstacles including complexity in human behaviors, a number of simulation techniques with limited consideration on human behaviors are utilized to predict foreseeable problems in evacuation process. Therefore, this research aims to propose system dynamics models incorporating human behaviors considering different types of occupants under disaster evacuation events. Analysis on emergent human behaviors such as group forming and interactions under urgent situation are conducted based on the main stream theories in social science field. The results suggest the influences of human behavior factors including cooperative intention, information sharing, and mobility change to evacuation behavior. The implications are expected to provide safety consideration at planning/designing phase of buildings and help facility safety managers for evacuation planning with more realistic management approaches.

• Journal of Korean Society of Forest Science
• /
• v.104 no.1
• /
• pp.98-103
• /
• 2015

This study was conducted to analyze the running stability of a semi-crawler type mini-forwarder. The running stability analysis was performed by using a dynamic analysis program, RecurDyn. Physical properties of the semi-crawler type mini-forwarder was performed by using 3D CAD modeler, AutoCAD 3D. As a result from the computer simulation of stationary sideways overturning, it was found that the semi-crawler type mini-forwarder runs safely on a road with a slope not bigger than $20^{\circ}$ regardless whether it is empty or loaded, but in case of a road with a slope bigger than $20^{\circ}$, it is assumed that it is difficult for the car to run safely due to some dangers. In addition, it was found that the critical slope of its sideways overturning gets much smaller when empty since the location of its gravity center is elevated and much higher when it is loaded. As a result from the computer simulation of its hill-climbing ability, since the running speed is unstable in case of a road with a vertical slope not smaller than $28^{\circ}$, it is assumed that it is safe to drive it on a road with a slope not bigger than $28^{\circ}$. Taking a look at the result from an analysis of the running safety when it passes an obstacle, it was observed that a front tire comes off the ground when the running speed of the car is 5 and 4 km per hour respectively when it is empty and loaded while the gravity center of the front tire is watched. When taking a look at the changes in the location of the gravity center of the rear wheel crawler shaft, it was not found that the shaft comes off the ground at the test speeds both when it is empty and loaded.