• 전기학회논문지
• /
• 제61권7호
• /
• pp.1019-1023
• /
• 2012

This paper considers a model predictive control problem of discrete-time constrained systems with time-varying delay. For this problem, a delay dependent state feedback control approach is used to achieve asymptotic stabilization of systems with input constraints. Based on Lyapunov stability theory, a new stability condition is obtained via linear matrix inequality formulation to find cost monotonicity condition of the model predictive control algorithm which guarantee the closed loop stability. Finally, the proposed method is applied to a numerical example in order to show the effectiveness of our results.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• pp.22-31
• /
• 1990

본 논문에서는 컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 이론적 인 연구를 하였다. 먼저 통신 프로토콜의 정의와 기능을 설명하였고 통신 프 로토콜을 위한 모델을 분류하였다. 또한, 통신 프로토콜의 모델 중에 Timed Petri Net(TPN) 모델에 시간함수 .tau.를 부여함으로써 TPN을 구조적으로 정의하였으며 TPN Based 모델의 문제점을 보완하기 위하여 시스템 시뮬레 이션 분야의 이산사건 시스템 명세(DEVS:Discrete Event Simulation) 개념 을 도입하였다. 중요한 연구 결과로서 TPN모델이 DEVS모델이라는 정리를 제시하고 증명하였다. 이 정리에 따르면, TPN모델을 시뮬레이션 할 때 시뮬 레이션을 위해 모델을 설계할 필요없이 DEVS모델로 변환하여 사용함으로써 시뮬레이션을 수행할수 있다.

• 한국시뮬레이션학회논문지
• /
• 제27권2호
• /
• pp.61-69
• /
• 2018

최근 정보 통신 기술이 발전함에 따라, 내장형 시스템은 여러 산업 분야에 적용되고 있으며 더욱 복잡해지고 있다. 이로 인해, 내장형 시스템의 개발 비용과 시간도 덩달아 증가하고 있다. 본 논문에서는 내장형 시스템의 개발 비용 및 시간을 절감하기 위해서 내장형 시스템의 동시적 개발을 위한 이산 사건 시스템(DEVS) 형식론에 기반 요구사항 평가 방법을 제안한다. 본 논문에서는 요구사항 명세를 DEVS 원자 모델의 형태로 기술하는 방법을 제안하며, 이를 개발하여 만든 요구사항 모델과 요구사항 평가 대상 시스템을 비교하는 평가자 모델 및 이들을 활용하는 평가 방법을 제안한다. 또한, 요구사항 평가를 위해 만든 요구사항 모델을 내장형 시스템의 동시적 개발 과정에 활용하는 방법을 제안한다. 제안하는 요구사항 평가 방법에 대한 사례 연구로 키넥트 깊이 정보 처리 시스템에 대한 요구사항 평가를 진행하였다.

• 방송공학회논문지
• /
• 제28권1호
• /
• pp.100-108
• /
• 2023

하이브리드 블록 기반 비디오 압축에서 변환 부호화는 공간 영역의 잔차 신호를 주파수 영역으로 변환하여 낮은 주파수 대역에 에너지를 집중시켜 이후 엔트로피 코딩 과정에서 높은 압축률을 달성할 수 있게 한다. 최신 비디오 압축 표준인 VVC(Versatile Video Coding)는 DCT-2(Discrete Cosine Transform type 2), DST-7(Discrete Sine Transform type 7), DCT-8(Discrete Cosine Transform type 8)를 사용하여 주변환을 수행한다. 본 논문에서는 DCT-2, DST-7, DCT-8이 모두 선형 변환임을 고려하여, 선형 변환의 선형성을 이용하여 역변환 시 곱셈 연산량을 줄이는 역변환 방법을 제안한다. 제안하는 역변환 방법은 VVC의 참조 소프트웨어인 VVC Test Model-8.2 (VTM-8.2) 대비 비트율의 증가 없이 부호화 시간과 복호화 시간이 AI(All Intra)에서 평균 26%, 15%, RA(Randon Access)에서 평균 4%, 10% 감소하였다.

• 한국군사과학기술학회지
• /
• 제9권3호
• /
• pp.25-32
• /
• 2006

Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

• 한국산업정보학회논문지
• /
• 제29권2호
• /
• pp.69-80
• /
• 2024

본 논문에서는 대기행렬이론의 대표적인 서버제어정책 중 D-정책과 T-정책이 혼합된 상황 하에서 운영되는 이산시간 대기행렬시스템을 다룬다. 베르누이 도착과정으로 시스템에 도착하는 고객들을 단일 서버가 선입선출로 서비스하며, 시스템 내에 서비스할 고객이 없으면 서버는 휴가를 떠났다가 돌아와서 대기 중인 고객들의 서비스시간의 총합(즉, 총 일량)이 D를 초과할 때까지 반복하여 휴가를 갖는다. 본 연구에서 다루는 시스템의 운영은 2차전지를 사용하는 모바일 디바이스의 효율적인 자원 활용의 모델링에 사용할 수 있다. 또한 통신·교통 시스템 분석에 적합한 것으로 잘 알려진 이산시간 시스템을 대상으로 하여 유연한 혼합 제어정책(DT-정책) 하에서 대기행렬시스템의 안정상태 대기시간과 체재시간을 하나의 틀 안에서 유도하였다는 데 그 의의가 있다.

• 한국분말재료학회지
• /
• 제22권5호
• /
• pp.337-343
• /
• 2015

Powder compaction is a continually and rapidly evolving technology where it is a highly developed method of manufacturing reliable components. To understand existing mechanisms for compaction, parameter investigation is required. Experimental investigations on powder compaction process, followed by numerical modeling of compaction are presented in this paper. The experimental work explores compression characteristics of soft and hard ductile powder materials. In order to account for deformation, fracture and movement of the particles, a discrete-finite element analysis model is defined to reflect the experimental data and to enable investigations on mechanisms present at the particle level. Effects of important simulation factors and process parameters, such as particle count, time step, particle discretization, and particle size on the powder compaction procedure have been explored.

• 한국전자파학회논문지
• /
• 제15권8호
• /
• pp.759-764
• /
• 2004

본 논문에서는 3D 광선추적법에 기반한 전파 예측 모델을 이용하여 MIMO 채널 특성을 해석적으로 분석하는 방법을 제시한다. 경로들의 위상차를 고려하여 채널간 discrete spatial correlation을 계산하고 이를 이용하여 젠센 부등식을 이용해 평균 MIMO채널 용량의 최대치를 추정한다. 본 해석 모델은 측정을 통한 통계적 접근이나 Monte-Carlo 시뮬레이션을 통한 확률적 접근을 하지 않는 결정적인 모델이므로 시간과 비용측면에서 큰 효율을 가진다. 또한 전파 이론에 기초한 방법이므로 채널 용량에 영향을 미칠 수 있는 안테나 패턴이나 편파, 상호간섭, 안테나 구조 등의 파라미터를 정량적으로 분석 할 수 있는 장점이 있다. 본 모델은 MIMO 시스템에 적합한 안테나 구조 등의 개발에 이용될 수 있을 것이다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
• /
• pp.338-342
• /
• 1988

Recently, in sequence control systems, high flexibility and maintenance of control software are required. This is because product life cycles become shorter and control specification must be changed frequently. The authors extend the concept of Safe Petri Net to develop the design and analysis tool for sequence control systems taking the safeness and notation of input/output functions into consideration. Extended Safe Petri Net (S-Net) is proposed as such a new graph model and real time scanning algorithm based on S-Net is developed.

• Korean Journal of Mathematics
• /
• 제13권2호
• /
• pp.149-159
• /
• 2005

We study an age-dependent s-i-s epidemic model with spatial diffusion. The model equations are described by a nonlinear and nonlocal system of integro-differential equations. Finite difference methods along the characteristics in age-time domain combined with finite elements in the spatial variable are applied to approximate the solution of the model. Stability of the discrete periodic solution is investigated.