• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.418-421
• /
• 2007

컴퓨터 시스템의 디지털화가 진행됨에 따라 많은 시스템들의 거동이 이산적인 속성과 연속적인 속성이 혼재되어 있다. 이러한 시스템의 특성을 정확히 반영하기 위해서는 모델링 단계부터 이산적인 속성과 연속적인 속성을 반영할 수 있는 하이브리드 오토마타 기반의 모델링이 요구 되어 진다. 대표적으로 자동차, 항공 우주, 원자력 등 제어 시스템 분야를 예로 들 수 있다. 이런 분야는 특히 안정성 및 실시간성이 매우 중요하여 명세로부터 구현에 이르기까지 검증과 확인의 단계가 매우 중요하다. 또한 개발 단계에서 뿐만이 아니라 시스템의 운영 단계에서도 지속적인 모니터링이 필요하다. 본 논문에서는 실시간 시스템의 운영중에 하이브리드 오토마타 기반의 명세와 구현의 일치성 여부를 확인 할 수 있는 모니터링 기법에 관해 연구하였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 1999년도 춘계공동학술대회:정보화시대의 지식경영
• /
• pp.285-285
• /
• 1999

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.11-15
• /
• 2000

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.481-483
• /
• 2000

본 논문은 이산 웨이블릿 변환의 스케일러빌리티(scalability)를 활용한 VOD 트래픽 모델링에 대하여 소개한다. VOD는 사용자의 요구에 대하여 비디오 데이터를 제공하는 시스템이다. 비디오 데이터는 여러 가지 특징을 가지고 있다. 첫 번째 특징은 데이터 양이 상당히 많다는 점이다. 그리고 데이터 양이 비디오 데이터가 전달되는 시간축에 따라서 변화가 많다는 점이다. 그리고 두 번째 특징은 비디오 데이터는 전송되는 양상이 시간축에 대하여 거의 끊김이 없어야 한다는 점이다. 이러한 점들 때문에 VOD 트래픽을 정확하게 모델링하는 것은 상당히 어렵게 생각되었다. 이산 웨이블릿 변환(discrete wavelet transform)은 함수에 대한 근사이다. 우수한 점은 함수에 대한 근사가 상당히 용이하고 또 유연하다는 점이다. 다시 말하면 함수 근사의 정밀도를 용이하게 조절할 수 있다는 점이다. 또 다른 우수한 점은 시간과 공간 양쪽에 대하여 함수 근사를 할 수 있다는 점이다. 본 논문은 VOD server와 client 사이의 트래픽을 이산 웨이블릿 변환인 스케일러빌리티를 활용하여 모델링하여 server와 client 사이에 보다 효과적인 네트워크 트래픽 제어를 할 수 있음을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권6호
• /
• pp.340-345
• /
• 2002

본 논문에서는 기관위치설정 문제 중에서, 이차원 평면에 주어진 n개의 점들로 구성된 집합 P에 대한 이산 2-중심 문제를 다룬다. P의 있는 서로 다른 두 점을 중심으로 선택하는 데, P의 다른 점들은 두 중심 중에서 가까운 중심가지의 거리의 최대값과 두 중심 사이의 거리의 합이 최소가 되도록 선택하는 것이 목적이다. 본 논문에서는 Ο(n$^2$logn) 시간에 이산 2-중심을 구하는 알고리즘을 제시한다.

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

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

• 전자공학회지
• /
• 제19권1호
• /
• pp.105-114
• /
• 1992

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.807-810
• /
• 2003

EMFG(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• pp.840-843
• /
• 2003

본 논문은 임의의 입력지연을 갖는 Takagi-Sugeno (T-S) 퍼지 시스템의 관측기 기반 출력궤환 제어 시스템을 논의한다. 설계된 연속시간 T-S 퍼지 관측기 시스템을 영차의 샘플/홀드 함수를 이용하여 이산시간 관측기를 설계한다. 이때 플랜트와 관측기의 출력에러가 제어기를 통하여 궤환되기 때문에 이산화 과정에서 발생한 에러를 보정할 수 있다. 여기에서 시스템의 제어 입력은 임의로 변화하는 유한개의 상태를 갖는 마코프 확률과정으로 표현한다. 생성된 시스템의 확률적 안정 가능성 조건은 선형 행렬 부등식의 형태로 표현한다. 이러한 결과를 2자유도 헬리콥터의 모델에 대한 모의실험을 통하여 효용성을 확인한다.

• 전산구조공학
• /
• 제10권2호
• /
• pp.255-263
• /
• 1997

실제로 구조시스템들의 최적설계는 설계변수가 연속값이 아닌 이산값을 요하는 경우가 대부분이다. 본 논문은 이산형 설계변수를 갖는 비대칭 복합 적층평판에 대해 선형 근사화방법을 이용한 이산최적설계를 수행하였으며, 이 방법이 매우 효율적임을 보였다. 대상 문제는 축력, 전단력, 그리고 휨과 비틀림 모멘트의 평면 내하중들(in-plane loads)의 다중하중조건을 받는 것으로 고려하였으며, 복합 적층평판을 구성하는 플라이들에 대한 최대변형률 규준을 설계 제약조건으로 부과하였다. 이산 최적화를 위한 초기 접근방법으로 단 한번의 연속변수 최적화 과정이 FDM(Feasible Direction Method)을 이용하여 수행되었으며, 차후 이산 및 연속변수를 포함하는 비선형 이산최적화문제를 SLDP(Sequential Linear Discrete Programming)방법에 의해 선형 근사화된 혼합정수계획문제로 형성하여 풀었다. 수치예에서 6개의 플라이로 구성된 비대칭 복합 적층평판을 대상으로 회전식 적층배열([(90-.theta.)/-(60+.theta.)/-.theta./-(45+.theta.)/(45-.theta.)]/sub s/)에 따른 이산최적해를 구하였다. 효율성 입증을 위해 똑같은 문제를 비선형 분기한계법을 이용하여 풀었으며, 그 결과를 비교 분석하였다.