• 한국산업정보학회논문지
• /
• 제12권1호
• /
• pp.87-94
• /
• 2007

분산 인공지능 기법들은 기존의 처리되지 못했던 많은 복잡한 문제들을 모델링하여 해결할 수 있도록 하고 있다. 특히 지능형 에이전트 기법은 분산 처리 환경 하에서 프로세스들 간의 각기 다른 문제 해결 능력들을 공유하도록 하는 방법들을 제공함으로써 효율적인 방법론이 될 수 있음을 증명하고 있다. 본 논문에서는 분산 환경의 스케줄링 문제에 에이전트 기법을 적용하여 문제를 해결하는 멀티에이전트 기반의 스케줄링 시스템 모델을 제안하고자 한다. 특히 멀티에이전트 스케줄링 시스템에 CSP 기법을 응용하여 모델링함으로써 효율적인 스케줄링이 이루어지도록 한다. 제안하는 모델에서는 스케줄링 문제를 제약조건에 따라 부문제들로 분할하고 부문제들에 대해서 분산되어 있는 각각의 에이전트가 자체적인 CSP 해결 기에 의해 해를 구하도록 한다. 본 논문에서는 제안하는 모델의 사례 연구로써 회의일정 스케줄링 문제를 통해 CSP의 모델링과 멀티에이전트 시스템을 이용한 문제해결 기법을 제시한다.

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2000년도 춘계학술대회 논문집
• /
• pp.291-293
• /
• 2000

대기 연구자들은 대기오염의 일반적인 현황과 대기오염 유발의 근본 원인 파악, 저감 대책 등에 대한 연구를 활발히 수행하고 있다 하지만 이러한 연구들 중에서 대기오염의 근본 원인을 파악하기 위한 오염원 (Source) 추정 연구는 국내외적으로 매우 미진하다. 대기질의 평가와 예측은 분산모델과 수용방법론을 이용하는데, 분산모델에 내재되어 있는 한계성과 제약점 때문에 수용체에서 오염물질의 특성을 분석한 후, 오염원의 기여도를 평가하는 수용방법론이 지속적으로 개발되고 있다. (중략)

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1994년도 추계학술대회 논문집
• /
• pp.801-805
• /
• 1994

멀티미디어(화상,음성,하이퍼텍스트)의 데이터는 다른 데이터와 상이점이 많아 운용에 어려움이 있다. 대용량의 저장용량(storage)의 필요, 데이터 통신의 어려움 등이 빠르게 발전하는 멀티미디어 기술에 제약조건이 된다. 본 연구에서는 멀티미디어 데이터가 일 반적인 텍스트(Text)데이터와 같이 높은 수행도(Performance) 및 안정적인 데이터베이스 (Database)로 구축되어 효율적으로 운용 되는데 중점을 둔다. 아울러 대량의 정보를 처리하기 위하여 서버(server)와 클라이언트(Client)기법을 이용한 분산처리로 실시간 처리 및 데이터 저장의 한계를 극복하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.487-489
• /
• 2004

모바일 기기를 이용하여 다양한 멀티미디어 서비스를 즐길 수 있는 환경이 보편화되면서 더 많은 사용자에게 자연스러운 멀티미디어 스트리밍을 제공하기 위해 모바일 기기의 성능 특성과 무선 대역폭 제약을 고려하여 서비스를 적응시키는 기법들이 강구되고 있다. 본 논문에서는 모바일 멀티미디어 스트리밍을 위한 분산 트랜스코딩 시스템을 구현하고 트랜스코딩시 서버의 자원을 효율적으로 관리하는 새로운 기법을 제안하여 성능을 측정, 분석하였다. 제안된 callback 모니터링에서는 트랜스코딩 서버가 할당된 작업을 모두 마치면 자신의 자원 정보를 스스로 갱신하기 때문에 사용자 응답시간이 최소화되고 서버의 가용 자원을 모두 활용하게 된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1998년도 춘계종합학술대회
• /
• pp.204-209
• /
• 1998

OMG에서 제안된 CORBA는 표준 개방 분산환경의 플래트폼을 제공하며 객체지향적인 방법으로 최근 주목을 받고 있다. 일반적으로 CORBA는 원격 데이터베이스 질의 등과 같은 요구/응답형의 응용에 잘 적용이 된다. 그러나 과도한 처리부담, 실시간 처리 기능과 QOS 지원 등의 결여로 멀티미디어 스트림과 같은 연속미디어의 처리에는 부적합하다. 본 논문에서는 실시간 제약을 갖는 멀티미디어 스트림의 효율적인 전송을 위하여 기존의 CORBA를 확장하여 멀티미디어 서비스를 설계한다.

• 융합신호처리학회 학술대회논문집
• /
• 한국신호처리시스템학회 2000년도 하계종합학술대회논문집
• /
• pp.317-320
• /
• 2000

동영상 분할은 컴퓨터 비전 분야에서 중요한 단계로 많이 연구되고 있다 그러나 동영상 분할은 계산 복잡도에 의해 제약을 받는다. 이를 해결하기 위해, 본 논문은 분산 유전자 알고리즘에 기반한 계산 효율을 높일 수 있는 새로운 동영상 분할 방법을 제안한다. 일반적으로 동영상에서 연속한 두 프레임은 높은 상관관계를 가진다. 따라서, 한 프레임의 분할 결과는 이전 프레임의 분할 결과를 사용해서 연속적으로 얻어진다. 그리고 중복된 계산을 제거하기 위해 움직이는 객체에 대응되는 염색체만을 진화시킨다. 실험 결과는 제안한 방법의 효율성을 보여준다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.407-417
• /
• 2000

본 논문에서는 Typed Object Bus(TOB) 플랫폼이라는 새로운 개념의 분산플랫폼을 제안한다. 기존의 분산플랫폼들은 분산 객체간 인터페이스 관계에 초점을 맞추어 단일의 통신 메커니즘을 이용하여 비제한적인 통신을 제공하였으나 TOB 플랫폼은 상호작용 관계에 중점을 두고 응용의 특성에 따라 다양한 통신 메커니즘을 사용하여 플랫폼 제어 통신을 제공한다. TOB는 연산동작특성과 TOB를 통해 전달 가능한 데이터 타입. 그리고 객체통신에 제약을 가하는 다수의 속성들에 의해 표현된다. 응용객체는 TOB 플랫폼이 제어하는 Typed Object Bus들을 통해서만 다른 객체와 통신이 가능하다. TOB 프랫폼은 TOB Type Definition Language(TDL)을 이용하여 여러 가지 형태의 상호작용을 규정함으로써 유연하고 다양하게 연산 및 스트림 특성을 갖는 통신을 제공할 수 있다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2006년도 추계 종합학술대회 논문집
• /
• pp.609-611
• /
• 2006

분산 시스템에서 어떠한 시스템 요소에 결함이나 오류가 발생하더라도 시스템이 정상적으로 동작하게 하는 결함 허용 기법은 해당 분산시스템의 효용성을 높이는데 기여한다. 본 연구는 분산 시스템의 결함 허용 기법 중 시간 제약성 측면에서 강한 여분기반 결함허용 기법을 수용한다. 이 기법의 구성 요소인 어플리케이션 서버는 그 상태가 결정적(deterministic)이냐 비결정적(nondeterministic)이냐에 따라 그 처리 기법을 달리하고 있다. 그 중 SAR(Semi-Active Replication)이 자원 활용도 측면에서 그 효율성 증명된바 있다. 본 논문에서는 SAR의 단점인 응답시간 지연문제와 클라이언트 측면에서의 결함 허용(fault-tolerance) 문제를 해결하기 위한 기반 구조를 제안한다.

• 조명전기설비학회논문지
• /
• 제18권1호
• /
• pp.146-153
• /
• 2004

본 연구에서는 Fuzzy Goal Programming을 이용하여 배전계통에서 분산형 전원의 설치 및 운영에 대한 새로운 방안을 제시하였다. 분산형전원의 설치 및 운영을 위하여 최적화 알고리즘의 탐색공간의 크기를 줄이면서 계통상황 변동에 적합하게 정식화하였다. 특히, 목적함수인 계통 유효전력손실과 제약조건인 분산형전원의 수 또는 총용량 및 모선전압에 대하여 각각의 부정확한 성질을 평가하기 위하여 퍼지 Goal Programing으로 모델링 하였으며, 유전알고리즘을 사용하여 최적해를 탐색하였다.