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

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

• 한국컴퓨터산업학회논문지
• /
• 제7권4호
• /
• pp.309-320
• /
• 2006

부정확한 실시간 시스템은 시간적으로 긴급한 태스크들을 융통성있게 스케쥴링해 줄 수 있다. 총 오류를 최소화시키면서 0/1 제약조건과 시간적 제약조건들을 모두 만족시키는 대부분의 스케쥴링문제들은 선택적태스크들이 임의의 수행시간을 갖고 있을 때 NP-complete이다. Liu는 단일처리기상에서 0/1제약조건을 갖는 태스크들을 총 오류가 최소화되도록 스케쥴링시킬 수 있는 합리적인 전략을 제시하였다 또한, 송 등은 다중처리기상에서 0/1제약조건을 갖는 태스크들을 총 오류가 최소화되도록 스케줄링 시킬 수 있는 합리적인 전략을 제시하였다. 그러나, 이러한 알고리즘들은 모두 오프라인 알고리즘들이다. <중략> 두 알고리즘들 사이의 성능비교의 결과로서, 선택적 태스크들이 그들의 실행요구시간의 임의의 순서대로 스케쥴될 때는 제안된 알고리즘이 NORA 알고리즘과 비슷한 총오류를 산출하지만 특별히 선택적 태스크들이 그들의 실행요구시간의 오름차순으로 스케쥴될 때는 제안된 알고리즘이 NORA 알고리즘보다 더 적은 총오류를 산출할 수 있음이 밝혀졌다. 본 논문에서 제시된 알고리즘은 레이다의 추적, 이미지 처리, 미사일 제어 등의 응용에서 효과적으로 적용될 수 있다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 춘계학술발표논문집
• /
• pp.57-61
• /
• 2001

MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다. 본 논문에서는 MPEG-4 컨텐츠를 저작할 때, 사용자 상호작용에 의하여 변화하는 시간 관계에 대한 제약 조건을 모델링한다. 또한 모델링된 시간 제약 모델에 기반한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio 에 대하여 기술한다. 이 MPEG-4 Studio는 사용자가 저작한 시간 제약에 딸라 MPEG-4 컨텐츠를 재생하는 중요한 연구이다.

• 한국컴퓨터정보학회논문지
• /
• 제4권4호
• /
• pp.15-24
• /
• 1999

본 논문에서는 시간제약 조건하에서 수행시간을 개선한 새로운 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 논리식을 DAG로 구성하여 각 노드를 검색한 후. 출력 에지의 수가 2이상인 노드를 분할하지 않고 최상위 노드만을 복제(replication)하여 DAG를 팬 아웃 프리 트리로 재구성함으로써 지연시간과 CLB의 개수가 최소화되며 수행 시간도 개선하였다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 정하고, 각 노드의 초기비용과 전체비용을 계산하여 CLB의 k-OR텀수보다 비용이 초과되는 노드를 분할하여 서브그래프를 구성한다. 분할된 서브그래프들은 collapsing을 통해 노드들를 병합하고, 주어진 소자의 CLB안에 있는 k-OR텀 개수에 맞게 Bin packing를 수행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 기존의 CPLD 기술 매핑 툴인 TMCPLD에 비해 수행 시간이 20.3% 감소되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.179-181
• /
• 1999

본 논문에서는 내장 실시간 시스템(real-time embedded system)에서의 성능 재조정(re-engineering) 문제를 다룬다. 성능 재조정 문제는 하드웨어와 소프트웨어가 이미 구현된 상태에서 새로운 성능조건이 요구될 때 이를 만족시키도록 시스템을 수정하는 문제이다. 본 논문에서의 성능 요구조건은 시간당 처리량(throughput)이나 입출력 지연시간(input-output latency)등이 고려된다. 제안된 방법은 병목점 분석(bottleneck analysis)과 비선형 최적화를 이용한다. 이를 위해 프로세스 네트워크(process network)로 표현된 시스템 디자인과 태스크 그래프, 태스크 할당(allocation)과 스케쥴링, 그리고 새로운 성능조건인 실시간 처리량을 입력으로 사용한다. 제안된 방법은 두 단계로 구성된다. 첫째, 프로세스 네트워크에서 프로세스의 지연시간을 계산하여 병목이 되는 프로세스를 찾아낸다. 둘째, 프로세싱 요소의 성능 개선율(performance scaling factor)을 변수로 하여 주어진 성능을 만족시키기 위한 시스템 제약조건을 유도한다. 이를 사용하여 하드웨어의 업그레이드 비용을 최소화하도록 제약조건을 풀고 각 프로세싱 요소(processing element)에 필요한 성능개선율을 구한다. 제안된 방법은 기존에 구성된 소프트웨어의 구조를 고치기 않기 때문에 재조정의 시간을 줄일 수 있게 한다.

• 지능정보연구
• /
• 제3권2호
• /
• pp.71-82
• /
• 1997

이 연구의 모형은, 자원(기계, 인력), 주문(작업)의 의미를 확정한 "일반화된 job-shop"이다. 이 모형의 제약조건을 파악한 후, 불확정 제약조건의 표현과 추론방법을 연구하였으며, 이를 위하여 일정계획 수립 기능들을 모듈화하였다. 불확정제약조건에 따라 모듈들을 선택적으로 사용하기 위한 추론 과정은, 먼저, 납기만족이 우선이며 제약만족(CSP) 일정계획 모듈을 사용하고 그렇지 않으면 디스패칭 모듈을 사용한다. 그리하여, 납기, 작업시간의 불확정성과 자원의 변동, 새 주문의 추가, 일정계획 목표의 변경등을 반영하는 일정계획 수립방법을 제시하였다. 이 논문은 제약만족 일정계획과 디스패칭 일정계획을 하나의 틀에서 함께 사용함으로써, 일정계획 목표의 변경이나 제조환경이 변화에 대처할 수 있음을 보인다.수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.283-285
• /
• 2002

강의시간표 문제(Lecture timetabling Problem)는 일주일을 기본으로 하는 특정 시간대 별로 학생(Course-class), 교수, 그리고 강의실과 같은 자원에 대한 스케줄링 문제로서 각각의 자원에 대하여 적절한 조합으로 제약조건들 사이의 충돌을 최소화하여 자원을 배치하는 할당문제이다. 강의시간표 문제는 수천 명 학생들에 대하여 개개인의 시간표를 작성해야 하므로 기하급수적으로 증가하는 탐색공간에 대하여 최악의 경우 탐색 시간이 지수적으로 증가하는 NP-complete Problem이다. 이러한 거대하고 복잡한 강의시간표 문제는 계층적으로 분할하여 기능별로 처리하면서 제약조건을 협상하도록 하는 각 모듈 단위의 에이전트를 구성하므로 좀 더 작고 단순한 문제로 변환될 수 있다. 본 논문에서는 방대한 탐색 공간과 과잉-제약조건(Over-constraint)문제의 하나인 강의시간표 작성 문제를 분산제약조건 만족 문제 특성을 이용하고 다중 에이전트 구조를 사용하여 해결하는 강의시간표 자동화 시스템 설계를 제안한다.

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

MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다[1-2]. 그러므로 MPEG-4 컨텐츠를 생성할 때, 사용자 이벤트에 의하여 변화하는 시간 관계의 저작은 중요하다. 본 논문에서는 사용자 상호작용에 의하여 멀티미디어 객체간 시간 관계와 재생 시간, 재생 순서가 변화하는 시간 제약 모델을 제안한다. 그리고, 사용자 상호작용 지원 시간 제약 모델에 기반 한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio를 제안한다. MPEG-4 Studio는 동적인 시간 관계를 지원하기 위하여 시간 관계 설정 GUI와 시간 관계 설정에 대한 제약 조건 검사, 시간 관계 정보에 대한 BIFS 변환을 제공하여 동적 시간 관계 정보를 포함한 MPEG-4 컨텐츠를 생성한다.

• 한국ITS학회 논문지
• /
• 제4권1호
• /
• pp.1-13
• /
• 2005

다양한 대중교통수단이 함께 구축되어 있는 통합대중교통망(Integrated Transit Network)에 대하여, 최적통행시간 경로정보뿐만 아니라 다수의 최적통행시간 정보를 제공하는 방안에 대한 기초연구는 그 사례를 찾아보기 어렵다. 본 연구는 다수의 대중교통경로를 탐색하기 위하여, 버스와 지하철의 두 수단이 함께 존재하는 복합교통망에서 K개의 최소통행시간을 갖는 경로를 탐색하는 방안을 제안한다 제안된 방안은 통행정보에서 대중교통 사용자가 일반적으로 필요로 하는 다음의 3가지 제약조건 (1) 수단의 서비스시간제약, (2) 통합거리비례제 요금제약, 3) 환승회수제약을 고려한다. 사례연구를 통해 K개의 최소통행시간 경로정보뿐만 아니라 위의 제약조건을 조합적으로 반영하여 사용자에게 필요한 경로정보의 질적 향상 및 다양화에 대한 가능성을 제시한다.

• 한국수자원학회논문집
• /
• 제45권12호
• /
• pp.1213-1226
• /
• 2012

유역유출 모의 모형의 자동 보정에 주로 사용되는 진화계열의 알고리즘은 무제약 최적화 알고리즘이다. 이러한 진화계열 알고리즘에 제약조건을 반영하기 위해서는 제약조건을 다룰 수 있는 별도의 방법이 요구된다. 본 연구의 목적은 진화계열 알고리즘의 일종인 집합체 혼합진화 알고리즘에 벌칙함수를 적용하여 제약조건을 고려할 수 있도록 하는 것이다. 또한, 제약조건을 고려할 수 있는 집합체 혼합진화 알고리즘을 SWMM의 자동 보정 모듈에 적용하여 기존 자동 보정 모듈의 기능을 개선하는 것이다. 홍수유출 해석에서는 첨두유량과 관련된 지표가 중요하므로 첨두유량의 오차와 첨두유량 발생시간의 오차를 제어할 수 있는 제약조건을 구성하였다. 제약조건을 포함하여 구성된 자동 보정 모듈은 밀양댐 유역과 구로1 빗물펌프장 배수유역의 홍수유출 모의 모형에 대하여 적용되었다. 자동 보정의 결과는 제약조건의 포함 유무에 따른 결과를 비교하여제시되었다. 그 결과, 제약조건을 고려함에 따라 본래의 목적함수를 크게 위배하지 않으면서, 첨두유량과 첨두유량 발생시간의 오차가 크게 개선되었다. 또한, 검증을 통해서도 제약최적화를 통한 자동보정의 적절성이 검토되었다. 결론적으로 벌칙함수를 이용한 제약조건의 반영을 통해 자동 보정 모듈의 기능을 향상시킬 수 있었다.