• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.375-379
• /
• 2007

고성능 VLSI 설계 시 배치 후를 포함한 전체적인 설계 과정이 완성되기 전까지는 물리적인 정확한 설계의 특성은 배치 단계에서는 알기 어렵다. 따라서 주어진 성능 (시간적 제약조건)을 만족하는, 즉, timing-driven placement (타이밍이 고려된 배치)는 1.0 미크론 이하의 초미세한 설계에서 중요하게 되었다. 타이밍을 고려한 배치는 초기 레이아웃 디자인 단계에서 타이밍 제약조건에 의해 디자인 반복을 줄인다. 하지만 대부분의 배치 단계의 디자인 모델은 배치단계에서 기하학적인 면을 고려하여 최대허용 지연시간 (Slack 이라고 부름)과 같은 물리적인 디자인 효과를 분석하기 어려운데 이것은 물리적으로 정확한 특성이 이 단계에서 알려지지 않기 때문에 당연한 결과이다. 본 논문에서는 기하적인 요소를 고려한 Slack의 재분배의 이점을 이용하여 허용 지연시간 처리의 혁신적인 방법을 제안한다. 제안된 접근법은 timing-closed 솔루션을 쉽게 찾는데 도움을 주고 이는 디자인을 반복하는 시간을 절약할 수 있게 한다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• 제12권2호
• /
• pp.215-221
• /
• 1999

본 연구에서는 구조물의 변위 제약조건을 고려한 위상 최적설계를 체스판무늬 검색 알고리즘과 가상하중을 이용하여 수행하였다. 본 연구에서는 변위 제약조건의 민감도 계산을 위하여 가상 변위장을 도입하였으며, 밀도와 유효강성계수의 상관관계를 정의하기 위하여 가상재료를 도입하였다. 또한, 선형 유한요소를 이용한 위상 최적화 기법에서 일반적으로 나타나는 체스판무늬를 제거하기 위하여 밀도 재분배방법을 이용하였다. 그리고, 변위 제약조건을 고려한 경우와 그렇지 않은 경우의 수치예제를 비교 검토함으로써 본 연구의 타당성을 검증하였다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• 제22권49호
• /
• pp.183-189
• /
• 1999

재고관리 분야는 대부분 생산 제품에 대한 시장변화, 배달지연 등으로 인한 불확실성을 어느 정도 보편화 또는 요인을 제거하여 수리적 모형을 만들어 여러 가지 제약조건들을 변화 있게 가정하여 각 제품별로 최적 재고 관리 시스템을 만들어 왔다. 그러니 이러한 수학적 모형으로부터 나온 해결책을 실제로 적용될 때 자본 능력 한계, 저장 면적 한계 등을 고려하지 않는 것이기 때문에 실현 불가능할 수 있다. 따라서 이러한 문제점을 해결하고자 수요예측, 저장면적의 한계, 자본 한계 등 이러한 제약조건들을 동시에 최대한으로 만족시킬 수 있는 목적계획법(Goal Programming)을 이용하여 각 제품별 안전 재고를 산출하여 실질적으로 적용할 수 있는 재고 시스템을 구성하여, 여러 가지 제약조건 등을 동시에 만족시킬 수 있는 최적 안전재고를 산출하여 최적 재고 관리 시스템을 구축, 현실성을 높이고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 한국컴퓨터정보학회 2017년도 제55차 동계학술대회논문집 25권1호
• /
• pp.13-14
• /
• 2017

본 논문에서는 강의 시간표 최적화를 위한 제약 프로그래밍의 적용 방안을 제시한다. 제약 프로그래밍은 제약 만족 문제를 해결하기 위한 기법으로 대상 문제를 결정 변수, 도메인, 제약조건으로 표현한다. 본 논문에서는 시간표 작성 최적화 문제의 결정 변수로 강의실, 요일, 교시를 사용하였으며, 추가로 요일과 교시를 결합한 변수를 사용함으로써 보다 쉽게 제약 조건을 표현할 수 있도록 하였다. 또한 제약 프로그래밍에 의해 도출된 초기해를 또 다시 제약 프로그래밍을 통해 반복적으로 개선함으로써 더 좋은 강의 시간표를 작성할 수 있도록 하였다. 특정 학과의 강의 시간표 문제를 대상으로 한 실험 결과, 본 논문에서 제안한 방법을 통해 보다 빠른 시간 내에 초기해를 도출할 수 있을 뿐 아니라 최종적으로 더 좋은 해의 도출이 가능함을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 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)에 필요한 성능개선율을 구한다. 제안된 방법은 기존에 구성된 소프트웨어의 구조를 고치기 않기 때문에 재조정의 시간을 줄일 수 있게 한다.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 2004년도 하계학술대회 논문집 A
• /
• pp.731-733
• /
• 2004

제약급전계획은 중앙급전발전기 및 중앙급전부하의 급전값을 산정하기 위해 각 급전주기마다 해당급전주기에 대하여 전력거래소가 예측한 비중앙급전발전기 및 비중앙급전부하에 대한 자료를 기초로 제약요소를 고려하여 작성하는 급전계획이다. 이 급전계획은 실제발전기와 부하의 출력 및 전력소비를 결정하므로 전력수급 조건, 발전기제약, 전력망제약, 보조서비스제약 등을 고려하여 전력의 시장거래가치를 최대화하도록 해야 한다. 본 논문에서는 제약급전을 결정함에 있어 선형계획법의 적용방법을 제시하고, 해의 수렴 개선을 위해 결정변수 및 제약조건의 수를 줄일 수 있는 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.34-36
• /
• 2001

상위 수준 합성 과정에서 스케줄링은 하드웨어 동작을 표현한 연산들이 주어진 제약 조건을 만족하며 최적의 제어단계에 배정되도록 하는 과정이며 스케줄 결과는 목적 하드웨어의 면적과 실행속도에 많은 영향을 준다. 파이프 라인은 순차적인 데이터 입력을 중첩 수행하여 실행 속도와 자원 이용률을 동시에 증가시키는 방법이다. 상위 수준에서 파이프라인 데이터 패스를 합성하기 위한 기존의 스케줄링 알고리즘들은 고정된 데이터 입력 간 격열을 기반으로 제안된 것이 대부분이며, 가변 데이터 입력 간격을 지원하는 스케줄링 알고리즘으로는 시간 제약 하의 자원최소화 알고리즘[5]이 제안되었다. 본 논문에서는 가변데이터 입력 간격을 지원하는 자원 제약하의 실행 시간 최소화 알고리즘을 제안한다. 이를 위해 연산의 스테이지 인덱스가 초기에 고정되는 시간제약하의 스케줄링 알고리즘[5]을 응용하여 자원제약하의 스케줄 진행과정에서 증가되는 제어단계에 따라 스테이지 인덱스가 변경 될 수 있도록 하고 점진적인 모빌리티 축소에 의해 스케줄한다. 제안된 스케줄링 알고리즘의 실험 결과는 다양한 자원제약과 입력 간격렬에 대하여 제약조건을 만족하는 효과적인 스케줄 결과를 유도한다.

• Journal of the Institute of Electronics and Information Engineers
• /
• 제52권8호
• /
• pp.89-96
• /
• 2015

Human visual system has chromatic adaptation to determine the color of an object regardless of illumination, whereas digital camera records illumination and reflectance together, giving the color appearance of the scene varied under different illumination. NMFsc(nonnegative matrix factorization with sparseness constraint) was recently introduced to estimate original object color by using sparseness constraint. In NMFsc, low sparseness constraint is used to estimate illumination and high sparseness constraint is used to estimate reflectance. However, NMFsc has an illumination estimation error for images with large uniform area, which is considered as dominant chromaticity. To overcome the defects of NMFsc, illumination estimation via nonnegative matrix factorization with dominant chromaticity image is proposed. First, image is converted to chromaticity color space and analyzed by chromaticity histogram. Chromaticity histogram segments the original image into similar chromaticity images. A segmented region with the lowest standard deviation is determined as dominant chromaticity region. Next, dominant chromaticity is removed in the original image. Then, illumination estimation using nonnegative matrix factorization is performed on the image without dominant chromaticity. To evaluate the proposed method, experimental results are analyzed by average angular error in the real world dataset and it has shown that the proposed method with 5.5 average angular error achieve better illuminant estimation over the previous method with 5.7 average angular error.

• Journal of Intelligence and Information Systems
• /
• 제4권2호
• /
• pp.45-59
• /
• 1998

다양한 산업영역에서 수행되는 스케줄링 문제를 해결하기 위하여 AI분야에서는 지식을 기반으로한 방법이 적용되어 왔다. 그러나 최근 CSP(Constraints Satisfaction Problem) 개념이 소개되어 그 효율성이 입증되고 있으며 스케줄링 응용 문제들이 CSP로 정형화되면서부터 지식 기반 기법과 제약만족 기법의 적용이 공존하고 있다. 지식을 기반으로 한 방법은 도메인 전문가(domain expert)의 지식을 습득하여 시스템에 반영하는데 이러한 지식은 문제해결에 중심적 역할을 수행하게 된다. 제약조건을 기반으로 한 방법은 문제를 CSP로 정형화 한 후 제약조건에 따른 일관성 유지 및 휴리스틱 탐색 방법을 적용하여 문제의 해를 효율적으로 구하게 된다. 본 연구에서는 스케줄링 문제를 해결하기 위한 지식기반 기법과 제약만족 기법을 주기장 할당 문제에 적용하여 실제 항공사의 운항 데이터를 바탕으로 실험하고 분석 및 비교를 통해 제약 만족 기법이 시스템의 유지 및 보수 측면에서 효율적이며 근사해가 아닌 최적해를 통한 문제 해결이 가능함을 보였다.

• Proceedings of the Korean Reliability Society Conference
• /
• 한국신뢰성학회 2002년도 정기학술대회
• /
• pp.211-216
• /
• 2002

실제적인 문제에서 신뢰성 기반 최적 설계(RBDO)를 구현하기 위해서는 유한요소 모델을 해석하기 위한 상용 프로그램과 설계한 것에 대한 신뢰성을 산정할 수 있는 프로그램을 통합하고 최적화 알고리듬을 적용하여야 최적화를 수행하여야만 한다. 또한 최적화 과정에서 최적상태에서 제약조건이 비활성 영역에서 놓이게 되는 것을 방지하기 위해서 제약조건 최적화 문제를 비제약 조건 최적화 문제로 바꾸어 주는 장애 함수를 사용하여 최적화를 수행하였다. 그리고 이 방법론을 기존의 신뢰성기반 최적화 방법론, 즉 신뢰도지수 접근방법과 목표성능치 접근방법과의 비교를 하였다.