• Journal of applied mathematics & informatics
• /
• 제33권1_2호
• /
• pp.185-191
• /
• 2015

This paper considers a discrete-time buffer system with session-based arrivals, an infinite storage capacity and one unreliable output line. There are multiple different types of sessions and the output line is governed by a finite state Markov chain. Based on a generating functions approach, we obtain an exact expression for the mean buffer content.

• Journal of applied mathematics & informatics
• /
• 제22권1_2호
• /
• pp.453-460
• /
• 2006

A discrete-time priority queueing system with place reservation discipline is studied, in which two different types of packets arrive according to batch geometric streams. It is assumed that there is a reserved place in the queue. Whenever a high-priority packet enters the queue, it will seize the reserved place and make a new reservation at the end of the queue. Low-priority arrivals take place at the end of the queue in the usual way. Using the probability generating function method, the joint distribution of system state and the delay distribution for each type are obtained.

• 전자공학회논문지S
• /
• 제35S권5호
• /
• pp.11-16
• /
• 1998

DS/CDMA systems for the high speed communication require high code rats. In discrete time CDMA receivers, the performance degradation, caused by the phase difference between transmission code and reference code, increase the sampling frquency of the receiver. This increment of the sampling frequency makes hard to implement high speed CDMA systems. This paper analyzes the SIR(signal to interference Ratio) performance of the discrete time DS/CDMA system, based on the code phase difference. The results of this paper may be useful to study a low-sampling CDMA receiver.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 전기의세계
• /
• 제29권11호
• /
• pp.742-750
• /
• 1980

The problem of nonlinear time-invariant system identification by estimation of Wiener kernels is studied for discrete time systems with inputs having symmetric probability distributions. G-functionals are constructed. It is further shown that under idealized conditions, these seemingly different techniques yield the same results. The results of identification of asimulated second degree system is presented.

• 대한전기학회논문지
• /
• 제37권7호
• /
• pp.484-489
• /
• 1988

Sufficient conditions concerning the perturbation region of system parameters, which guarantee the asymptotic stability of linear time- varying systems, are presented. These conditions are obtained by Lyapunov function approach for continuous-time and discrete-time systems. Also, a computational algorithm using nonlinear programming is proposed for finding the maximum perturbation region which satisfies the sufficient condition for the continuous-time systems. The technique of finding the solution for the continuous-time systems can also be applied to the discrete-time systems. In the continuous-time case, it is shown by an example that the method proposed in this paper yields much larger perturbation region of parameters than other previously reported results. An example of the perturbation region of system paramters for the discrete-time system is also given.

• 한국산업정보학회논문지
• /
• 제23권1호
• /
• pp.53-63
• /
• 2018

본 논문에서는 D-정책을 갖는 이산시간 BMAP/G/1 대기행렬시스템의 대기시간을 분석한다. 고객(또는 패킷)들은 마코비안 도착과정을 따라 집단으로 시스템에 도착하며, 유휴한 서버는 시스템에 도착한 고객집단의 서비스시간의 총합이 이미 정해놓은 임계값 D를 초과하면 시스템에 더 이상 서비스할 고객이 없을 때까지 서비스를 제공한다. 시스템의 안정상태 대기시간 분포를 변환 형태로 구하고 성능척도로서 평균값을 유도하였다. 시뮬레이션을 통하여 이론값들의 타당성을 검증하고 간단한 수치예제를 보였다.

• 한국정보통신학회논문지
• /
• 제27권1호
• /
• pp.135-138
• /
• 2023

In this paper, we study real-time error in the context of monitoring a binary information source through a delay system. To derive the average real-time error, we model the delay system as a discrete time Geo/D/1/1 queueing model. Using a discrete time three-dimensional Markov chain with finite state space, we analyze the queueing model. We also perform some numerical analysis on various system parameters: state transition probabilities of binary information source; transmission times; and transmission frequencies. When the state changes of the information source are positively correlated and negatively correlated, we investigate the relationship between transmission time and transmission frequency.

• 한국항행학회논문지
• /
• 제26권6호
• /
• pp.504-509
• /
• 2022

본 논문에서는 시변 지연 시간이 있는 선형 이산 시변 구간 시스템에 비구조화된 불확실성이 존재하는 경우에 대하여 안정조건을 다룬다. 구간 시스템은 시스템 행렬들이 구간행렬의 형태로 주어지는 시스템으로 본 논문에서는 이러한 구간 시스템 행렬과 상태변수의 지연 시간이 시변인 특성을 갖는 시스템에 대하여, 비선형성을 포함하며 그 크기만을 알 수 있는 비구조화된 불확실성이 존재하는 경우에 대한 시스템의 안정조건을 제안한다. 안정조건의 유도는 리아프노프 방정식의 상한 해를 이용하는 기존 결과와는 다르게 리아프노프 안정 조건을 기반으로 이루어지며, 간단한 부등식의 형태로 표현되어 안정성 판단에 편리하게 적용될 수 있는 장점을 갖는다. 또한, 제안된 안정조건은 기존에 발표된 다양한 선형 이산 시스템에 대한 안정 조건을 포함할 수 있는 포괄적이고 강력한 것으로, 시변 지연시간 변동 크기, 불확실성의 크기와 구간행렬의 범위를 모두 조건식에 포함하게 된다. 새로운 조건의 우수함은 유도과정에서 증명되어지며 수치예제를 통하여 제안된 조건의 효용성과 우수성을 검증한다.

• 한국항행학회논문지
• /
• 제27권6호
• /
• pp.871-876
• /
• 2023

본 논문에서는 시변 지연 시간이 있는 선형 이산 시변 구간 시스템에 두 가지의 불확실성이 동시에 존재하는 경우에 대하여 안정조건을 다룬다. 구간 시스템은 시스템 행렬들이 구간행렬의 형태로 주어지는 시스템으로 본 논문에서는 이러한 구간 시스템 행렬과 상태변수의 지연 시간이 시변인 특성을 갖는 시스템을 대상으로 한다. 비선형성을 포함하며 그 크기만을 알 수 있는 비구조화된 불확실성과 지연상태변수의 시스템 행렬 불확실성이 동시에 존재하는 경우의 시스템 안정조건을 제안한다. 두가지 종류의 불확실성에 대하여 안정 유지 가능한 크기를 해석적인 수식으로 유도한다. 제안된 안정조건과 안정 보장 크기는 기존의 다양한 선형 이산 시스템에 대한 안정 조건들을 포함할 수 있으며, 시변 지연시간 변동 크기, 불확실성의 크기들과 구간행렬의 범위 등의 값을 모두 조건식에 포함하게 된다. 새로운 안정범위는 수치예제를 통하여 이전의 결과와 비교하며 효용성과 우수성을 검증한다.