• 지능정보연구
• /
• 제10권2호
• /
• pp.165-187
• /
• 2004

제약식 프로그램과 최적화는 상이한 배경에서 출발하였지만 현실의 동일한 의사결정 문제의 해법을 시도해 왔다는데서 공통점을 가진다. 이 논문은 이 두가지 학문영역의 성과들을 하나의 문제풀이 틀에 통합하는 시도로서 혼합형 문제해결기의 구조를 제시한다. 특히 워렌의 추상기계와 한정도메인 제약식 프로그램의 문제해결기의 구조를 이용하여 최적화 특히 선형계획법의 문제해결기을 결합시키는 한 해법을 통합 모형의 틀을 통해 구체적인 구현의 단계로 제시한다. 또한 그 구현시 해결해야 할 문제들을 제시하고 그 해법을 논의한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(하)
• /
• pp.1146-1150
• /
• 2002

멀티미디어 데이터 처리나 암호화 알고리즘같은 계산량이 많고 마른 시간안에 처리되어야하는 어플리케이션들을 처리하기 위하여 최근의 컴퓨팅 환경은 재구성가능한 시스템과 일반적인 마이크로 프로세서가 결합된 시스템을 폭넓게 활용하고 있다. 이러한 시스템의 시장적응성을 높이기 위해서는 프로토타입을 제작하기 전에 설계변수에 따른 성능수치를 이미 예측하여 최소의 비용으로 시스템의 수행시간 및 자원제약사향을 만족할 수 있는 구조를 찾아내는 것이 필수적이다. 본 논문에서는 Y-chart 설계방법의 기본 개념을 Hybrid 시스템에 적용가능하도록 확장하여, 재구성 가능한 시뮬레이터를 개발하였고, 이를 기반으로 H.263 인코더 모델을 어플리케이션모델로 하고 FPGA와 일반적인 프로세서를 사용하는 가상의 시스템을 하드웨어 모델로하여 설계공간탐색을 진행하였다. 설계공간 탐색을 통한 시뮬레이션 결과는 시스템 설계자들에게 실제 포로토타입을 구축하지 않고 최적의 설계변수를 결정할 수 있게 하여 설계시간과 설계비용을 현저하게 줄여줄 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.100-102
• /
• 2003

멀티미디어 데이터 처리나 암호화 알고리즘과 같은 계산양이 많고 빠른 시간 안에 처리되어야하는 어플리케이션들을 처리하기 위하여 재구성 가능한 논리소자와 내장형 마이크로 프로세서등이 하나의 칩에 통합된 재구성 가능한 SoC가 폭넓게 활용되고 있다. 이러한 컴퓨팅 환경의 시장적응성을 높이기위해서는 프로토타입을 제작하기 전에 설계변수에 따른 성능수치를 이미 예측하여 최소의 비용으로 시스템의 수행 시간 및 자원제약사향을 만족할 수 있는 구조를 찾아내는 것이 필수적이다. 본 논문에서는 Y-chart 설계 방법의 기본 개념을 재구성 가능한 SoC에 적용가능하도록 확장하여, 시스템 수준의 설계공간 탐색 도구를 개발하였다. 구현된 설계 공간 탐색을 통한 시뮬레이션 결과는 시스템 설계자들에게 실제 포로토타입을 구축하지 않고 최적의 설계변수를 결정할 수 있게 하여 설계시간과 설계비용을 현저하게 줄여줄 것으로 기대된다.

• 정보과학회지
• /
• 제14권9호
• /
• pp.52-61
• /
• 1996

본 논문에서는 실시간 처리 디스크 스케쥴링 알고리즘에 대하여 살펴보았다. 이러한 실시간 처리 디스크 스케쥴링 알고리즘은 멀티미디어 서버에서 한정된 자원을 효과적으로 사용하면서 많은 사용자에게 실시간으로 비디오, 오디오 등의 데이터를 제공하기 위해서는 이러한 스케쥴링 기법의 도입이 필수적이며, 그 중 중요한 부분이 바로 직접 비디오, 오디오 등의 데이터를 읽고 쓰는 디스크이다. 요청된 데이터의 탐색 시간을 줄이면서 시간적인 제약조건을 만족시켜 주기 위한 연구가 많이 이루어져 왔다. 그러나 아직까지는 멀티미디어 서버의 성능에 대한 일관성이 없어서 각 스케쥴링 알고리즘들에 대한 가정이 많이 달라서 이들을 객관적으로 비교 평가하기 어려운 상황이며, 이를 위한 연구가 필요한 것으로 평가된다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2006년도 추계학술대회
• /
• pp.599-617
• /
• 2006

혼잡한 교통네트워크에서 조사된 통행량으로부터 확률적 사용자 평형을 이루는 통행분포와 통행배정을 동시에 구하기 위한 네트워크 모델과 유전알고리즘을 제안하였다. 확률적 사용자 평형을 이루는 모델은 선형제약을 가진 비선형 목적함수를 최소화하는 문제로 정식화하였다. 네트워크 모델에서는 해의 탐색공간을 줄이고 조사된 통행량을 만족시키기 위해서 흐름보존제약을 활용하였다. 목적함수는 흐름보존, 통행발생량, 통행유입량, 조사통행량 등의 제약을 만족하는 링크통행량과, 경로통행배정을 통하여 구한, 확률적 사용자 평형을 이루는 경로통행량을 만족하는 링크통행량의 차이를 최소화하는 것으로 정식화하였다. 제안된 유전알고리즘에서 유전자는 통행분포, 링크통행량, 여행비용계수 등을 나타내는 벡터로 정의하였다. 각 유전자는 목적함수의 값으로 구한 적합도에 따라 평가되며, 병행단체교차와 돌연변이에 의하여 진화한다.

• 한국컴퓨터정보학회논문지
• /
• 제15권9호
• /
• pp.1-8
• /
• 2010

하드웨어-소프트웨어 통합설계에서 다양한 설계제약 조건을 만족하는 임베디드 시스템 개발을 효율적으로 완료하기 위하여 하드웨어와 소프트웨어의 최적분할을 빠른 시간 안에 탐색하는 핵심기술이 필요하다. 본 논문에서는 다양한 하드웨어-소프트웨어 분할에 따른 매핑 조합 중 최적분할에 해당할 수 없는 조합들은 미리 선별하여 탐색대상에서 제외하는 것을 가능하게 하는 맞춤형 매핑 휴리스틱, CHARMS을 제시한다. CHARMS은 응용프로그램의 여러 태스크를 하드웨어 또는 소프트웨어로 매핑하면서, 단위시간 안에 처리되는 태스크의 수인 Parallelism과 일의 양인 Workload 로 Throughput을 예측하고 최적의 분할대상을 선별하는 기존의 휴리스틱보다 향상된 방법으로, 태스크들의 계산 복잡도를 고려하였으며, 설계제약 조건의 중요도를 다양하게 표현할 수 있는 weighted combo-metric을 활용한다. H.263 인코더 설계에서 CHARMS을 이용할 경우 매핑조합의 95.17%를 탐색 대상에서 제외할 수 있었음을 실험을 통하여 보였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권2호
• /
• pp.216-226
• /
• 2000

본 논문에서는 무결성 제약을 효율적으로 유지하기 위한 접근 경로인 Hashed B-트리를 제안하고, 기존의 B-트라와 성능을 비교한다. 무결성 제약을 만족시키기 위해 필요한 질의 패턴들이 종점 질의로 구성되어 있다는 점에 착안하여, Hashed B-트리는 키를 해슁을 통해 압축하여 저장한다. 따라서 트리의 높이가 줄어들게 되고 트리의 탐색이 빠르다. 이 기법은 기존의 B-트리와 유사하게 작동하기 때문에 기존 시스템에 많은 수정을 요하지 않고 병행성 제어나 회복 기법을 그대로 사용할 수 있는 장점이 있다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.9-12
• /
• 2000

컨테이너 터미널에서 효율적인 적하작업 계획을 자동으로 생성하는 알고리즘을 연구하였다. 실제 터미널에서 계획자들이 적하작업 계획시에 고려하는 제약소건 및 효율적인 계획을 위한 고려사항을 조사하였다. 이를 바탕으로 1단계에서는 개미시스템(ant system)이라는 인공지능기법을 적용하여 제약조건을 만족시키면서 원활한 적하작업이 진행될 수 있도록 컨테이너 크레인과 트랜스퍼 크레인의 이동순서와 위치를 결정하고, 2단계에서는 1단계에서의 결과를 바탕으로 빔탐색법(beam search)을 사용하여 컨테이너 개개의 작업순서를 결정하는 알고리즘을 개발하였다. 또한 개발된 시스템의 성능을 검증하기 위하여 최근의 대형선반에 대한 실제 현장자료를 바탕으로 실험을 수행하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권4호
• /
• pp.43-52
• /
• 2007

공개 웹 서비스의 수효가 증가하면 동일한 기능을 제공하는 웹 서비스가 여러 개 존재하게 될 것이다. 이들은 가격, 응답 시간, 가용성 등 다양한 QoS 특성들을 가지게 되는데, 주어진 QoS 제약을 만족하며 가장 적합한 서비스를 선택하는 것은 매우 중요한 작업이다. 본 논문에서는 비즈니스 프로세스의 병행 분기와 응답시간 제약을 중점적으로 고려하여 서비스의 선택 모형을 연구하였다. 다차원 다중선택 Knapsack 모형을 기본으로, 각 프로세스 실행 경로 별로 응답시간 제약조건을 갖는 방안과 전체 서비스 타입에 대하여 하나의 응답시간 제약조건을 갖는 방안, 그리고 특정 경로에 대해서만 응답시간 제약 조건을 적용하는 방안을 제시하고, 실험을 통하여 서비스 수, 병행 분기의 수 그리고 제약 조건 값의 크기 등의 변화에 따른 각 방안의 성능을 살펴보았다. 실험에 사용된 데이터를 기준으로 볼 때, 파레토 우세를 이용하여 후보 서비스 수를 줄이는 것은 매우 효과적이며, 중소규모의 복합 웹 서비스에서는 전체 서비스 타입에 대하여 하나의 응답시간 제약을 설정한 방안이 실행시간과 탐색 해의 최적 해 근접도 면에서 효율적인 것으로 분석되었다.

• 조명전기설비학회논문지
• /
• 제18권5호
• /
• pp.162-168
• /
• 2004

정전복구 문제는 배전계통에서 고장이 발생한 겨우 사고 구간 이후의 비 고장 정전구간내의 부하를 적절한 스위칭을 통하여 인접된 건전피더로 빠른 시간 내에 절체 시키는 것이며 이때 방사상 선로구성, 전압, 전류 등의 제약조건들이 만족되어야 한다. 본 논문에서는 건전피더들이 고장 발생 직후 계통으로 공급하여야 할 부하의 총량을 규정하는 함수와 순환적 최적우선탐색을 이용하여 사고 발생 시 단지 정전의 복구뿐만 아니라 부하의 균등화까지도 함께 수행되는 효율적인 정전복구 알고리즘을 제시한다. 제시되는 알고리즘은 건전피더들이 고장 발생 직후 계통으로 공급하여야 할 부하의 총량을 규정하는 함수로부터 각 피더들이 공급하여야 할 목표치를 제안하고 또한 지수의 목적 값을 만족하는 스위칭을 찾기 위하여 순환적 최적우선 탐색법을 이용한다. 본 논문에서는 제시한 알고리즘을 실제로 서울의 K지사에서 윤용하고 있는 108모선에 적용하여 결과를 도출 했으며 그 결과 제안된 알고리즘을 이용할 경우에 적은 탐색 횟수로 정전이 복구됨과 동시에 건전 선로간의 부하가 균등화되었음을 입증하였다.