• 한국컴퓨터산업학회논문지
• /
• 제10권5호
• /
• pp.201-206
• /
• 2009

시간표 문제는 제약조건을 만족하는 최적화 문제이다. 대부분의 최적화 알고리즘은 일단 시간표를 생성하고 이를 반복적으로 변형하고 재구성하는 전략을 통해 최적에 도달하는 방법을 이용하고 있다. 시간표 문제는 자원이 부족한 경우에 초기해를 만드는 과정에서부터 어려움을 겪게 된다. 초기해를 만들기 위한 대표적인 방법은 높은 제약조건을 갖는 과목 먼저 배정하는 것이다. 여기서 제약 조건의 정도를 수치화 한 것을 자유도라고 한다. 본 연구에서는 이 자유도를 정의하고 실험을 통해 자유도의 역할을 살펴보고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.274-276
• /
• 2005

본 논문에서는 단백질 상호작용 네트워크의 복잡성을 제어하고 생물학자가 자신이 설정한 조건을 만족시키는 환경에서 추가적인 다양한 제약 조건을 가하면서 원하는 상호작용 네트워크를 구성하고 조작할 수 있도록 지원하는 Constraints Based Dynamic Protein Interaction Network 이라는 새로운 개념의 단백질 상호작용 네트워크를 소개한다. 본 기법에서는 기존의 단백질 상호작용 네트워크에서 주로 사용하는 단백질 상호작용 정보뿐 아니라 단백질 상호작용에 영향을 미칠 수 있는 개개 단백질의 물리 화학적 특성 및 위치 정보와 상호작용의 환경 정보도 단백질 상호작용 네트워크 구성에 활용한다. 제안된 네트워크상에서 생물학자는 단백질 상호작용 네트워크 구성 조건을 변경하거나 얻어진 네트워크에 변경을 가하면서 점차 자신이 원하는 의미 일은 대사경로 모델을 찾거나, 제약조건의 다양한 조작을 통하여 생물학적 실험을 통하여 얻어진 대사모델의 유효성을 검증하는 것도 가능하다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2424-2427
• /
• 2001

마이크로 매니퓰레이션에서는 제어에 활용 할 수 있는 센싱 정보의 제약, 마이크로 영역 특유의 물리현상 등으로 인하여 원하는 제어 성능을 달성하는데 큰 어려움이 따른다. 마이크로 영역의 여러 센싱 정보 중에서 특히 비젼 정보를 잘 활용하면 이러한 제약을 크게 완화할 수 있을 뿐만 아니라 실시간 영상처리를 통해 페루프 제어도 가능하다. 대부분의 마이크로 비젼 시스템에서는 초점 심도가 낮고 초점 영역의 선택에 제약이 따르기 때문에 종횡비가 큰 3차원 마이크로 부품을 인식하고 조작하는데 큰 어려움이 있다. 본 논문에서는 3차원 마이크로 부품의 조작을 위해, 초점 영역의 선택이 가능한 마이크로 비전 시스템을 제안하고 실험을 통하여 그 유용성을 실증하였다.

• 지능정보연구
• /
• 제1권1호
• /
• pp.111-122
• /
• 1995

전통적으로 스케줄링 문제를 해결하기 위해 LP(Linear Programming) 기법이 주로 적용되어 왔으나, 스케줄링 문제의 많은 자원과 지식, 제약조건의 복잡한 상관 관계를 LPrl법으로 표현하고 처리하기가 쉽지 않다. 따라서 최근에는 AI 기법을 스케줄링 문제에 많이 적용하고 있고, AI 기법은 지식 표현 및 휴리스틱을 다루기에 효과적이므로 문제를 모델링하고 해결하는데 용이하다 할 수 있다. 본 논문에서는 AI 기법을 기반으로 하여 스케줄링에 적합한 휴리스틱 및, 탐색기법, 지식표현 방법등을 연구하고, 이를 바탕으로 코스 스케줄링 시스템을 구현하였다. 먼저 시스템은 전체적으로 메타프로그래밍을 통하여 초기 스케줄링(initial scheduling)과 동적스케줄링 (reactive scheduling)을 수행하도록 하였다. 메타프로그램이 초기 스케줄링을 수행할때에는 휴리스틱과 자체적인 도메인 여과기법을 적용하여 탐색 공간의 불일치 요소(inconsistency)를 제거시킴으로써 백트랙킹의 발생을 최소화시켰다. 또한 초기 스케줄링의 결과를 가지고 메타프로그래밍이 동적 재스케줄링을 수행할때에는 제약조건을 통한 휴리스틱을 이용하여 초기해에 대한 조정을 최소화할 수 있는 메카니즘을 제시하였다. 이에 대한 적용 결과는 실험을 통하여 기존의 논리 언어가 제공하는 탐색 알고리즘과 비교하고 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.43-45
• /
• 2004

XML은 인터넷 상에서의 표준 데이터 형식으로 XML 데이터에 대한 구조적 제약 조건들은 DTD나 XML Schema에 정의한다. XML Schema에 유효한 XML 문서는 XML Schema에 정의된 모든 구조적 제약 조건들을 만족해야 하며, 갱신이 발생한 후에도 대응되는 XML Schema에 대해 유효함이 보장되어야 한다. 본 연구는 DBMS에 저장되어 있는 XML Schema에 대해 유효한 XML 데이터를 갱신 할 때 필요한 효율적인 유효 검증 기법을 제안한다. 이 유효 검증 기법에서는 유효 검증 범위를 갱신과 관련된 영역에 한정시키고 갱신 이전에 유효 검증을 수행하여 유효 여부를 판단한다. 또한 본 연구에서는 유효 검증을 위한 유효 검증 제약 조건들과 XML Schema문서의 특성을 분석하여 유효 검증 시 필요한 스키마 정보만을 효율적으로 추출할 수 있는 XML Schema 저장 방법 및 그에 따른 스키마 정보 추출 방법을 제안하고 실험을 통해 그 성능을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.610-612
• /
• 2001

시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.550-556
• /
• 2000

본 논문은 NP-complete문제중의 하나인 순서제약이 있는 병렬프로그램을 멀티프로세서 시스템 상에서 효율적으로 분배하기 위한 유전자 알고리즘 설계 방법을 제안한다. 순서제약 조건을 만족하게 하는 새로운 염색체 코딩방법 및 휴리스틱한 스케줄링 알고리즘으로 정법한 해를 생성하고 프로세서 효율성을 고려한 평가 함수(evaluation function)와 우수한 유전인자를 이용하여 교배하는 교배연산자 등을 제안하였다. 그리고 제안한 알고리즘을 실험한 결과, 순서제약이 있는 다양한 형태(topology)의 병렬프로그램 스케줄링 문제에 대해서 제안한 유전자 알고리즘의 타당성을 확인하였다.

• 인터넷정보학회논문지
• /
• 제5권4호
• /
• pp.53-62
• /
• 2004

본 논문은 선박을 이용한 화물의 운송에 있어서 선박과 화물의 중개 최적화에 대하여 기술한다. 중개를 위한 시간 제약, 중량 제한, 선호도 등 여러 기준들을 정의하여 정형화하고 이를 이용하여 최적화 문제 모형을 수립하였다는 것이 연구의 주요 핵심이고, 실험을 통하여 문제의 복잡도와 최적해 탐색 비용의 적정한 한계치를 파악하였을 뿐 아니라 그 과정으로서 성능평가 방법을 제시한 점도 중요한 연구 결과라고 하겠다. 제시된 최적 중개 방안은 화물과 선박의 시간적 제약 조건과 선박의 중량 제약 조건을 이용하여 화물의 선박에 대한 선호도와 선박의 화물에 대한 선호도를 유도하고, 최적화 문제의 목적 함수에서 이틀 선호도를 이진 결정변수의 계수로 활용하여 제약 조건을 만족함과 동시에 전체적인 선호도 값의 합이 큰 선박과 화물의 쌍이 중개하도록 하였다. Davis-Putnam 기반의 최적화 프로그램을 이용한 실험에서 결정변수의 개수가 90 여개 이하의 문제 크기에 대하여 적정한 시간 내에 최적해를 구하는 것을 확인하였다.

• 한국콘텐츠학회논문지
• /
• 제11권6호
• /
• pp.59-66
• /
• 2011

자원 제약이 있는 프로젝트 스케줄링 문제는 자원의 양은 제한되어 있고 작업들 간에 선행조건이 있는 일정계획 문제로서 NP-hard 문제 중에 하나로 알려져 있다. 이러한 문제는 결정론적인 방법을 사용해서는 주어진 시간 내에 최적해를 구하기 어렵기 때문에 근사 최적해를 빠른 시간에 구할 수 있는 휴리스틱 방법을 이용한다. 본 논문에서는 자원 제약이 있는 프로젝트 스케줄링 문제를 효율적으로 해결할 수 있는 유전알고리즘을 소개한다. 제안한 유전알고리즘은 스키마 이론을 적용한 교차 연산자와 실세계 토너먼트 선택 전략을 이용하였다. 표준 문제에 실험한 결과는 제안한 알고리즘이 기존의 알고리즘 보다 우수함을 보여주었다.

• 인터넷정보학회논문지
• /
• 제5권5호
• /
• pp.129-138
• /
• 2004

스위치 노드(switch node)로 구성된 네트워크에서 멀티캐스팅을 위한 트리를 구성하는 것은 NP-complete로 알려진 스타이너 트리 문제(Stainer free problem)로 정형화된다. 현재의 멀티캐스트를 요구하는 서비스들은 대개 대용량의 멀티미디어 데이터를 요구하게 된다. 이러한 서비스들은 텍스트 기반의 서비스에 비해 서비스의 질(Quality of Service)이 아주 중요한 요소가 되고, QoS는 전송에 소요되는 시간에 매우 민감하게 반응한다. 단일 제약을 갖는 멀티캐스트 트리 문제에 적용되는 휴리스틱은 이미 많이 연구되었으나, 노드 연결도 제한과 평균 흡수를 고려하는 다중 제약이 있는 멀티캐스트 트리 문제에 적용되는 휴리스틱에 대한 연구는 없었다. 본 논문에서는 다중 제약을 만족하는 효율적인 멀티캐스트 트리 문제에 적용 가능한 알고리즘을 제안하고, 실험을 통하여 성능을 평가하였다.