• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.11
• /
• pp.783-789
• /
• 2022

In a recent study, it was observed that the combustion gas entering the post chamber of a hybrid rocket contains vortices with very small size and high frequency characteristics. In addition, it was observed that small vortices collided with the nozzle wall to create a counter-flow, resulting in additional combustion with ignition delay. This study investigated the physical relationship between ignition delay induced by the counter-flow and the formation of beating pressure. To do this, a newly modified model was proposed by including ignition delay in the existing energy kicked oscillator model proposed by Culick. Numerical results show that the ignition delay is an important factor in determining the occurrence of the combustion pressure beats through the periodic formation of thermoacoustic coupling. In addition, when the ignition delay was reduced by increasing the post chamber length, the phase difference between the energy kick and the pressure generation was increased, the periodic pressure beats did not occur at all.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.2
• /
• pp.22-31
• /
• 2000

The VB5.2 interface of B-lSDN, that is located between an access network and a service node, allows dynamic allocation and release of ATM resources. In this paper, we propose the B-ANCC protocol of the VB5.2 interface to minimize the overall connection setup delay by introducing the access network. The B-ANCC protocol enhances the B-BCC protocol and adopts a parallel interworking function with signaling protocols in the service node. To confirm the correctness of the proposed B-ANCC protocol, we validate it using the automated validation tool, SPIN. We analyze and simulate the sequential interworking model based on the B-BCC protocol and the parallel interworking model based on the B-ANCC protocol, in terms of a connection setup delay and a completion ratio. It is shown that our proposed parallel interworking model with B-ANCC reduces a setup delay and improves a completion ratio compared to the sequential interworking model with B-BCC.

• Journal of Internet of Things and Convergence
• /
• v.1 no.1
• /
• pp.1-4
• /
• 2015

This paper aims to present the mathematical model to find the mean web object transfer latency in the slow-start phase of TCP congestion control mechanism, which is one of the main control techniques of Internet. Mean latency is an important service quality measure of end-user in the network. The application area of the proposed latency model is the narrowband environment including multi-hop wireless network and Internet of Things(IoT), where packet loss occurs in the slow-start phase only due to small window. The model finds the latency considering initial window size and the packet loss rate. Our model shows that for a given packet loss rate, round trip time and initial window size mainly affect the mean web object transfer latency. The proposed model can be applied to estimate the mean response time that end user requires in the IoT service applications.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• Journal of Digital Contents Society
• /
• v.5 no.1
• /
• pp.7-11
• /
• 2004

There are many problems that must solve to construct next generation high-speed communication network. Among these, item that must consider basically is characteristics analysis of traffic that nows to network Traffic characteristics of many Internet services that is offered present have shown that network traffic exhibits at a wide range of scals-self-similarity. Self-similarity is expressed by long term dependency, this is contradictory concept with Poisson model that have relativity short term dependency. Therefore, first of all, for design and dimensioning of next generation communication network, traffic model that are reflected burstiness and self-similarity is required. Here self-similarity can be characterized by Hurst parameter. In this paper, the calculation equation is derived considering queueing delay and self-similarity of data traffic art compared with simulation results.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.438-441
• /
• 2013

자동차 관련 기술은 점차 전기, 전자 장치로 빠르게 바뀌어 가고 있다. 차량 내 연결되어 있는 전자 제어 장치들도 그에 따라 증가하게 되었고 장치간의 통신 성능도 중요하게 되었다. 가장 널리 사용되고 있는 차량용 네트워크 프로토콜로는 CAN(Controller Area Network)을 들 수 있다. 그러나 최근 통신 복잡도가 증가함에 따라 주기적 메시지 통신의 메시지 전송 지연 및 중단이 발생되고 있다. 본 논문에서는 이러한 문제에 대한 해결 방안을 제시하기 위해 메시지들의 스케줄 가능성 및 응답시간에 따른 실 시간성 검증 모델을 제안한다. CAN 메시지 수신 시 RMA(Rate Monotonic Algorithm)기반으로 메시지 스케줄 가능성 평가 모델을 개발하였다. 또한, CAN 메시지를 송신할 경우 RTA(Response Time Analysis)를 고려한 실 시간성 평가 모델을 제시하였다. 실험 1 에서는 기존 RMA 기법으로 통신을 수행한 결과 통신 중 중단되는 현상을 확인하였고 이후 제안 모델에서는 23%정도의 추가 시간을 확보하여 통신을 완료하는 것을 증명하였다. 실험 2 에서는 메시지 통신의 응답시간이 모두 제안된 Worst-case 응답시간 이내로 측정되어 실 시간성을 만족함을 확인하였다.

• Journal of IKEEE
• /
• v.23 no.4
• /
• pp.1265-1272
• /
• 2019

We analyze the robustness of the existing predictor feedback controller for discrete-time linear systems with constant input delays against the structured model uncertainty. By modeling the constant input delay with a first-order PdE (Partial difference Equation), we replace the input delay with the PdE states. By applying a backstepping transformation, we build a target system that enables to construct an explicit Lyapunov function. Constructing the explicit Lyapunov function that covers the entire state variables, we prove the existence of an allowable maximum size of the structured model uncertainty to maintain stability and establish the robustness of the predictor feedback controller. The numerical example demonstrates that the stability of closed-loop system is maintained in the presence of the structured model uncertainty, and verifies the robustness of the predictor feedback controller.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.12
• /
• pp.1876-1883
• /
• 2016

The new channel model for high data rate common data link(CDL) is proposed. The Two-ray channel, which is composed of the reflected signals on the front ground of the receiver, is considered in this paper. This channel arises due to the curvature of the earth when the altitude of the transmitter is tens of kilometers and distance between the transmitter and the receiver is hundreds of kilometers. The Two-ray channel is modeled by estimating the maximum delay profile and the power delay profile, depending on the transmitting and receiving beamforming angle and the radiation pattern of antenna. The power delay profile has a larger effect on the bit error rate(BER) over signal to noise ratio(SNR) than the maximum delay profile, because the distance range is too long in the proposed channel model.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.9
• /
• pp.1605-1614
• /
• 1992

The effects of % overload (% O.L), baseline stress intensity factor range (.DELTA. $K_{b}$) and dimension-less crack depth (a/W) are examined for the retardation behaviors after a single overload and high-low block loads in 7075-T73 aluminum alloy. And wheeler model, which is one of the fatigue life prediction models, is modified to predict retardation life using these test results. The retardation cycles( $N_{d}$) increased with a decrease in a/W and an increase in % O.L. and (.DELTA. $K_{b}$) These effects are more severe after high-low block loads than single overload. In the case of single overload, the main mechanisms of the retardation are the crack closure and the relaxation of K due to crack branching. But in the case of high-low block loads, that of the main mechanism is the crack closure caused by the accumulated compressive residual stree at the crack tip, which is related with the contact of fracture surfaces. Test results were multiple regression analyzed and got regressed shaping correction factors, (n)$_{REG}$, as function of %O.L., a/W and (.DELTA. $K_{b}$) Wheeler model is modified by using these (n)$_{REG}$. The number of delay cycles calculated by modified Wheeler model were in good agreement with the test results of this study.y.udy.y.y.y.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.326-335
• /
• 2002

Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.