• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2001년도 춘계학술대회 학술발표 논문집
• /
• pp.131-135
• /
• 2001

본 논문에서는 작업 변수 또는 동작의 의도에 따라 다양한 형태의 궤적을 생성할 수 있는 동적 궤적 메모리(MTM)와 로봇 관절의 속도 및 가속도 제약조건을 만족하는 동작 시간을 계산하는 방법인 제약 조건을 고려한 표본화 간격 계산법(STICCON)이라는 두 가지 방법을 제시한다. 그리고 그 방법은 인간형 로봇의 동작 궤적 생성을 위한 구조적인 틀을 제안한다. 제안된 방법은 인간형 로봇의 궤적 생성 방법이 가져야 하는 두 가지 특성, 즉 복잡하고 다양한 동작의 궤적 표현 능력과 제약 조건에 따른 동적 궤적의 변형 과정을 모두 가지고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1361-1364
• /
• 2012

현대 산업 발전에 따라 대량 생산 체제에서 소비자 개별 주문 요건을 반영하여 생산하는 대량맞춤 생산(Mass Customization) 체제로 변화해가고 있다. 이런 대량맞춤 생산 체제의 제품구성(Product Configuration) 시에 나타나는 CSP(Constraint Satisfaction Problem) 해결 방법론을 제시하고 있다. 기존 방법에서는 복잡 다양한 제약조건을 수학적으로 표현하여 제약 조건 검사에서 소요시간과 검색 공간을 최소화 할 수 있는 알고리즘이 제시했다. 그런데 소비자의 주문 요건들이 빠르게 변화되고 복잡 다양 해지고 있다. 그래서 대상 모델 및 제약조건이 변경이 되었을 경우 기존 방법에서 제시하고 있는 CSP 해결에서는 수정 관리 하기가 쉽지 않고 확장성이 낮다. 본 연구에서는 룰 기반 모델링으로 CSP 문제 해결 프로세스 정립을 하여 관리의 편리성을 제공하고 확장성을 향상시킨다.

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

정규 순환 방정식형태로 표현된 문제로부터 시스톨릭 어레이를 유도하기 위하여 일반적으로 공간-시간 사상 기법이 널리 이용되고 있다. 이 기법에서 공간 행렬은 주어진 문제 공간을 시스톨릭 어레이로 사상시키는 역할을 한다. 이러한 공간 행렬에 의해 유도되는 시시톨릭 어레이가 유효한 것이 되기 위해서 몇 가지의 제약 조건을 필요로 한다. 본 논문에서는 지역 의존 제약 조건을 기초로 하여 3차원의 문제 공간으로부터 2차원의 시스톨릭 어레이를 유도하는 공간 행렬의 계산 방법을 제시하고자한다. 먼저, 지역 의존 조건을 만족시키기위해 공간 행렬의 요소들이 가져야 하는 조건을 찾고 이 조건으로부터 가능한 트사 벡터들을 선정한다. 다음으로, 필요조건으로서 이러한 투사 벡터들로부터 지역 의존 조건을 만족시키는 공간 행렬을 가지는 투사 벡터들을 선별함으로써, 유효한 시스톨릭 어레이를 유도할 수 있는 모든 가능한 공간 행렬들을 구한다. 이렇게 구해진 가능한 모든 공간 행렬은 시스톨릭 어레이를 위한 캐드도구 또는 시뮬레이터에서 유용하게 이용될 수 있다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권1호
• /
• pp.1-7
• /
• 2016

동일하지 않은 주기와 시작 시간을 가지는 여러 개의 어플리케이션을 멀티프로세서 시스템에서 동시에 수행하면 어플리케이션 간의 간섭이 발생하게 되고, 이에 따라 각 어플리케이션이 실시간 시간 제약을 만족시키는지에 대한 보장이 어려워진다. 본 연구에서는 데이터 플로우 어플리케이션을 대상으로 하여, 주어진 시간 제약 조건을 지키면서 프로세서를 공유할 수 있도록 하는 간섭 분석 모델을 제안하였다. 그리고 이 기법을 바탕으로 여러 개의 어플리케이션들이 프로세서 공유를 통하여 자원사용량을 최소화하는 스케줄링 방법을 제안하였다. 그리하여 태스크 그래프를 실시간 태스크로 변환하여 스케줄 하는 최근의 동시 스케줄링 기법과 비교해보았을 때, 어플리케이션의 반응시간 제약이 빠듯할 때 제안한 기법이 더 적은 자원을 사용하는 스케줄을 생성함을 실험을 통해 확인하였다.

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

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

• 한국통신학회논문지
• /
• 제29권3A호
• /
• pp.318-323
• /
• 2004

본 논문은 시간 제약 조건 하에서의 모듈 선택 재사용을 이용한 전력 감소 스케줄링을 제안한다. 일반적인 상위 수준 합성에서의 스케줄링은 실제적인 라이브러리의 복잡한 재사용을 허용하지 않는다. 반면 제안한 전력 감소 스케줄링에서는 주어진 사용자 정의 모듈을 실제적인 RT 라이브러리 모듈 재사용과 공유된 자원에서의 스위치 활동의 자원 공유함으로써 설계의 생산성 및 소비 전력을 줄이는데 효율적으로 접근할 수 있다. 또한 비교 실험에서 스케줄링 기법인 체이닝과 멀티사이클링을 이용해 다양한 상위 레벨 벤치마크의 환경에서 최적의 스케줄링의 결과를 얻는다.

• 전자공학회논문지C
• /
• 제36C권6호
• /
• pp.9-17
• /
• 1999

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

• 지능정보연구
• /
• 제15권3호
• /
• pp.137-150
• /
• 2009

본 연구는 시간 제약조건을 가지는 차량 경로 탐색과 스케줄링 문제(VRSPTW, the Vehicle Routing and Scheduling Problem with Time Window)를 해결하기 위하여, 기회시간(Opportunity time)을 반영한 하이브리드 휴리스틱을 제안하였다. 기회시간은 각 고객 노드에서 요구하는 하역 서비스를 수행 한 뒤에도 남아 있는 여유시간이다. 제안된 휴리스틱은 기회시간에 대한 제약조건을 추가하고, 기회시간을 고려한 비용 평가함수를 삽입 전략에 적용함으로써 초기 해를 구하였다. 또한 고객 노드 교환에 의한 타부 탐색 전략에도 기회시간을 반영함으로써 해를 개선 시켰다. 마지막으로 지리적, 시간적, 용량적으로 다양한 데이터 유형들에 대하여 각각 효과적으로 최적 해를 구할 수 있는 초기 경로 생성 전략들을 소개하고 비교하였다. 본 연구의 실험에서는 제안된 휴리스틱이 Solomon I1 휴리스틱 보다 효율적으로 최근사 해를 얻을 수 있음을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.965-968
• /
• 2000

통합설계에서 제약사항을 만족하는 최적의 시스템을 구현하기 위해 시스템을 기술하는 각 부분을 하드웨어부와 소프트웨어부로 나누어 매핑의 권역을 찾는 분할은 중요한 문제이다. 기존의 분할 알고리즘들[1]은 파티션과 스케줄링을 2단계로 분리하여 분할 단계의 결과를 스케줄링하는 과정에 의해 진행되었다. 이러한 작업과정은 스케줄링 결과 스케줄이 불가능한 경우 시스템을 재설계 해야하는 문제점을 가진다. 본 논문에서는 분할 단계에서 스케줄링을 함께 고려하는 낮은 복잡도의 알고리즘을 제안한다. FDS를 응용한 기존 논문[4]이 고려하지 못한 자원제약에 의한 힘값 변이를 고려할 수 있도록 하였고 알고리즘 복잡도를 개선하기 위하여 종속성 제약 조건에 의해 받는 다른 노드의 힘값 계산 방법을 수정하였다. 수정된 계산 방법에서는 특정 노드와 경쟁 노드들의 제어구간별 상대적 스케줄 요구값의 크기에 의해 분할 대상 노드를 선택하게 된다. 제안된 논문의 실험결과는 시스템 제약시간을 만족하면서 구현비용을 저하시키고 알고리즘 실행시간 측면에서 효과적임을 보인다.

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

서로 다른 보안등급을 가진 사용자들에 의해 공유되는 정보를 관리해야 하는 데이타베이스 시스템에서는 보안은 중요한 요구사항중 하나이다. 실시간 보안 데이타베이스 시스템은 데이타의 논리적인 정확성뿐만 아니라, 트랜잭션을 마감시간 내에 처리해야 하는 시간적인 제약조건과 데이타와 트랜잭션의 등급에 따라 데이타의 사용을 통제하고 상위 등급의 정보가 하위 등급으로 유출되는 것을 방지하여야 하는 보안 제약조건을 추가적으로 갖는다. 본 논문에서는 이러한 실시간 보안 데이타베이스 시스템의 요구사항을 만족시키는 동시성 제어 기법을 제안한다. 제안하는 프로토콜은 낙관적 기법에 기반을 두면서 상충되는 실시간 제약 조건과 보안 제약 조건을 모두 만족시키기 위해 다중 버전과 Mark기법을 사용한다. 제안된 프로토콜은 직렬성을 만족하며 로킹에 기반을 둔 프로토콜과의 모의실험 비교 결과 데이타 충돌이 많은 환경에서 우수한 성능을 보이고 있다.