• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.34 no.4
• /
• pp.365-373
• /
• 2010

A chemical reactor model (CRM) was developed for a jet stirred reactor (JSR) to predict the emission of exhaust such as NOx. In this study, a two-PSR model was chosen as the chemical reactor model for the JSR. The predictions of NO formation in lean premixed methane-air combustion in the JSR were carried out by using CHEMKIN and GRI 3.0 methane-air combustion mechanism which include the four NO formation mechanisms. The calculated results were compared with Rutar's experimental data for the validation of the model. The effects of important parameters on NO formation and the contributions of the four NO pathways were investigated. In the flame region, the major pathway is the prompt mechanism, and in the post flame region, the major pathway is the Zelodovich mechanism. Under the lean premixed condition, the N2O mechanism is the important pathway in both flame and postflame regions.

• Journal of Korea Multimedia Society
• /
• v.10 no.2
• /
• pp.278-287
• /
• 2007

Even though a variety of types of multimedia data are being used on the basis of user characteristics and demands, all devices do not always support playing all multimedia data. Accordingly, a multimedia transcoder is used to create media suitable for each environments. This is due to the dissimilarity between the source QoS and the target QoS. Therefore, we need to consider adapting the two dissimilar QoS. Therefore in this paper, we create a suitable application-specific transcoding path with unit transcoders before performing the media transcoding in consideration of source QoS and target QoS. and the created transcoding path performs the transcoding. Here, creating a UTR(Unit Transcoder) conversion path that considers the transcoding possibility and the minimum of the UTR will allow the playback of various multimedia data with convenience. and The consideration of QoS allows users to use the multimedia easily.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.183-185
• /
• 2015

A-SMGCS는 외부로부터 비행계획정보, 레이더 정보 및 기상정보를 수신하여 경로, 안내, 감시 및 항공등화 제어 기능을 수행하는데, 이러한 기능을 검정하기 위한 시뮬레이터는 기초자료 준비, 기상 시나리오 생성, 이벤트 시나리오 생성 및 항적자료 생성 등의 4가지 기능으로 구성되어 가상의 정보를 자동으로 생성하게 된다. 생성된 정보는 A-SMGCS에서 수신하여 그 정보를 바탕으로 각각의 기능들을 실행하게 되고, 그 실행 상태는 A-SMGCS HMI에 모니터링 된다. 그러므로 시뮬레이터에서 생성되는 가상의 시나리오들은 실제 공항에서 발생하거나 예측되는 모든 경우의 상황을 A-SMGCS에 제공하여 정확한 검정을 할 수 있도록 지원함으로써 A-SMGCS의 성능을 한층 더 향상시킬 수 있을 것이다. 따라서 본 논문에서는 이러한 효과가 기대되는 시뮬레이터의 기능과 연동관계를 정리하여 최적의 시뮬레이터를 제작할 수 있는 방법에 대한 연구를 실시하였다.

• Journal of Korean Society of Transportation
• /
• v.22 no.6
• /
• pp.121-131
• /
• 2004

The K-shortest path algorithms are largely classified into two groups: oneis for finding loopless path (simple path), another loop paths. In terms of cimputational complexities, in general the loop-paths-finding ones are considered more efficient and easier to be handled than the loopless-paths-finding. The entire path deletion methods have been known as the best efficient algorithms among the proposed K-shortest path algorithms. These algorithms exploit the K-th network transformation to prevent the same path, which was already selected as the (K-1)th path, from being redetected. Nevertheless, these algorithms have a critical limitationto be applied in the practical traffic networks because the loops, in which the same modes and links can be unlimitedly repeated, are not preventable. This research develops a way to be able to selectively control loop-paths by applying link-label. This research takes an advantage of the link-based shortest path algorithms that since the algorithms can take care of two links simultaneouslyin the searching process, the generation of loops can be controlled in the concatenation process of the searched link and the preceded link. In concatenation of two links, since the precede link can be treated a sub-shortest to this link from the origination, whether both the node and the link of the searched link were already existed or not can be evaluated. Terefore, both the node-loopless path, in which the same node is not appeared, and the link-loopless, in which the same link is not appeared, can be separately controlled. Especially, the concept of the link-loopless path is expended to take into consideration reasonable route choice behaviors such as U-Turn, P-Turn, and Turn-Penalty, which are frequently witnessed in urban traffic network with intersections. The applicability of the proposed method is verified through case studies.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.602-607
• /
• 2002

금형가공에서 사용되는 밀링머신의 가공시 공구와 피삭재의 접합면에서는 절삭가공의 잔유물인버(Burr)가 생성되고, 이러한 버는 작업효?ㅘ 정밀도를 감소시키며 후처리과정(Deburring)을 야기시키는 원인이 된다. 그러므로 정밀도와 작업효율을 극대화하기 위해서는 이러한 버의 생성원리를 파악함과 동시에 Exit 버 판별을 하여 최적의 가공조건을 맞추어 주어야 하는데, 이에 밀링가공을 통해 생성되는 버의 형태와 Exit 각 등을 파악, 알고리즘으로 개발하여 좀 더 효율적인 가공조건을 제시하고자 한다. 본 연구는 이제까지 개발된 실제 가공에서 사용되는 임의형상의 데이터를 통해 점, 선, 원 및 원호(Arc)에 이르는 형상을 인식하는 Exit 버 판별시스템을 소개하고자 한다. 아울러 실제 가공과 더욱 유사한 환경을 만들기 위해 단일 경로에서부터 다중경로에 이르는 복합적인 환경 구현은 물론 점과 선으로 이루어진 도형과 원(구멍)형태의 피삭재 환경을 통합, 두 가지 다른 형태의 환경이 복합적으로 존재할 경우의 Data를 인식하고 아울러 다양한 방향성을 가진 선으로 이루어진 형상에 이르기까지의 다양한 피석재 Data를 구현하고, 입력된 절삭조건을 해석하여 임의형상을 가진 다양한피삭재에서의 단일 및 다중 가공 경로 상에서 발생될 버를 해석하고 최소화 및 최적 절삭가공공정을 찾아 작업 효율성을 극대화하는 목적의 해석 알고리즘을 Windows 프로그램으로 구현하고자 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.458-459
• /
• 2021

Recently, researches using deep learning technology based on Wi-Fi fingerprints have been conducted for accurate services in indoor location-based services. Among the deep learning models, an RNN model that can store information from the past can store continuous movements in indoor positioning, thereby reducing positioning errors. At this time, continuous sequential data is required as training data. However, since Wi-Fi fingerprint data is generally managed only with signals for a specific location, it is inappropriate to use it as training data for an RNN model. This paper proposes a path generation method through prediction of a moving path based on Wi-Fi fingerprint data extended to region data through clustering to generate sequential input data of the RNN model.

• The Journal of the Acoustical Society of Korea
• /
• v.27 no.7
• /
• pp.342-349
• /
• 2008

Multipath makes clear message transfer difficult in the underwater communication. To solve this problem, we propose a new method producing proper MFSP (Modulation Frequency Shift Period) which could be obtained by calculating time delay caused by different path from a transmitter to a receiver. At the transmitter end, messages were divided according to the size of the MFSP and transmitted accordingly alternating Frequency. At the receiver end, the received messages were demodulated in order to recover the original message by the adaptive BISMO algorithm which is constructed at the algorithm design stage. Adaptive MFSP and estimated BER (Bit Error Rate) were calculated through simulation test.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.41 no.6
• /
• pp.458-464
• /
• 2013

This paper presents an algorithm for autonomous landing approach of a unmanned aerial vehicle. The main purpose of the autonomous landing approach in this study is to help a safe landing at night. From any initial position of the aircraft when this function is engaged, a flight path command is generated from the initial position. The shortest combination of an initial circular arc, a straight line segment, and a final circular arc is chosen for the flight path that will lead the aircraft to one end of runway for a landing. The algorithm is initially validated through numerous simulations with various initial conditions of aircraft. Then it is successfully validated through a number of flight tests.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.10
• /
• pp.842-850
• /
• 2014

This paper presents a trajectory tracking controller for rotorcraft UAVs to improve the tracking performances in the presence of various uncertainties. The proposed tracking method consists of a velocity guidance law based on the relative distance and L1 adaptive augmentation loop for tracking the velocity commands. In the proposed structure, the desired velocity generated by the guidance law is the reference value of the adaptive controller for accurate path tracking. In the guidance law, the desired acceleration is generated based on the relative distance and its derivatives, and then the velocity command of the inner control loop is calculated by integrating the accelerations. $L_1$ augmentation loop supplements the linear controller to guarantee the flight performances such as a tracking accuracy in the presence of the uncertainties. The proposed controller was validated in actual flight tests to successfully demonstrate its capability using a quadrotor UAV.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.