• 한국산학기술학회논문지
• /
• 제12권4호
• /
• pp.1565-1574
• /
• 2011

다이캐스팅 스케줄링은 각 쉬프트마다 생산되는 주조제품의 개수를 결정하여 주어진 성능지수를 최적화하는 작업이다. 본 논문은 다이캐스팅 스케줄을 실제 주조공정에 적용할 때 불량주물 등의 이유로 발생하는 결품을 방지하는 새로운 기법을 제안한다. 선형계획법으로 모델링된 기존의 다이캐스팅 스케줄링은 용탕에 대한 용융로의 평균효율을 최대로 하지만 주조공정에서 불량품이 발생하는 문제에는 대처하지 못한다. 제안된 기법에서는 이전 쉬프트에서 불량주물이 발생하는 경우, 이를 대체할 수 있도록 현재 쉬프트에서 주조공정이 끝나고 남은 용탕의 잔여량을 이용하여 추가로 생산한다. 이 방법은 이미 최적화된 투입 용탕의 양이나 스케줄링 결과를 변경하지 않고도 불량이 발생한 주조제품의 생산량을 최대한 보상할 수 있는 장점을 지닌다. 사례 연구를 통하여 새로 제안된 기법의 우수성과 응용 가능성을 검증한다.

• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.120-127
• /
• 2011

체크포인트 기법은 실시간 시스템의 내고장성을 구현하는 대표적인 방법이다. 본 논문에서는 확률 최적화를 이용하여 체크 포인트 구간을 결정하는 기법을 제시한다. 본 논문에서 다루는 실시간 시스템은 멀티 태스크(multi-task)들로 구성되며 Poisson 분포를 가지는 과도 고장이 발생한다. 또 멀티 태스크들은 비선점형 Rate Monotonic 알고리듬으로 스케줄링된다. 이번 연구에서는 멀티 태스크들의 수행 성공 확률을 체크포인트 삽입 개수로 표현하는 최적화 문제를 설정하고 이 확률값을 최대로 만드는 체크포인트 개수와 구간 길이를 구한다. 제안된 확률 계산 과정은 체크포인트 재수행 횟수에 대한 비선점형 RM 알고리듬의 스케줄링 가능성을 판별하는 방법도 포함한다. 사례 연구를 통해서 제안된 기법의 적용가능성을 입증한다.

• 한국산학기술학회논문지
• /
• 제13권8호
• /
• pp.3358-3365
• /
• 2012

본 논문은 전력 효율을 고려한 다이캐스팅 공정의 스케줄링 기법을 제안한다. 시프트(shift)마다 반복 작업하는 다이캐스팅 공정의 스케줄링 문제는 각 제품의 시프트별 생산량을 의사결정변수로 정의하여 용탕 효율을 최대화 시키는 선형계획법으로 표현 가능하다. 본 연구에서는 주조 공장의 전력 사용에 대한 제한 조건까지 고려하는 새로운 선형계획법 모델을 제시한다. 제안된 모델은 다이캐스팅 공정의 한 시프트가 소비하는 전력 사용량이 주어진 한계 전력량 범위를 넘지 않도록 하는 스케줄링 결과를 유도한다. 사례 연구를 통하여 제안된 모델의 우수성과 응용가능성을 검증한다. 본 논문은 스마트 그리드 환경에서 지능형 소비자로 분류되는 주조 공장이 전력 사용 제한 조건을 만족시켜야 하는 문제에 대한 기초 연구의 역할을 할 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.255-260
• /
• 2007

내장 실시간 시스템은 논리적 정확성과 시간적 정확성을 모두 만족해야 하는 내장 시스템이다. 시스템의 시간적 정확성을 위해서는 해당 시스템에서 동작하는 태스크들의 스케줄링 가능성을 검사해야 한다. 스케줄링 가능성을 분석하기 위해서는 태스크의 실행 시간 분석이 선행 되어야 한다. 하지만 태스크의 실행 시간은 실행 시점에 따라 가변적이기 때문에 태스크의 정확한 실행 시간을 알아내기는 힘들다. 따라서 가능한 모든 경우를 고려하여 해당 태스크를 구성하는 코드 경로 중 최악의 경로일 경우의 실행 시간인 최악 실행 시간을 이용한다. 기존의 정적 최악 실행 시간 분석을 하는 도구의 경우 동적인 상황의 정보 부재로 인해 최악 실행 시간의 과대 측정 비율이 높다는 문제점이 있다. 본 논문에서는 정적 최악 실행 시간 분석 시 과대 측정 비율을 줄이기 위해 대상 기기에 실행 정보를 적용한 RunInfo(WCET analysis tool using the Run-Time Information) 분석 도구를 설계하고 구현한다. 실행 정보를 정의하고, RunInfo 분석 도구의 구조에 대해 설명한다. 그리고 실행 정보를 적용할 때, 고려할 점에 대해 알아본다. 성능 평가를 위해 RunInfo 분석 도구의 과대 측정 비율을 기존의 분석도구와 비교한다.

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

본 논문은 데이터 의존적인 CMOS 회로(예: DSP) 의 전력량을 감축하기 위한 상위 수준 합성 기법에 대한 연구이다. 상위수준 합성은 스케줄링, 자원 및 레지스터 할당의 세가지로 나우어서 수행한다. 스케줄링시의 저전력 설계의 목적은 자원할당 시 입력을 재 사용할 수 있는 가능성을 증가시키는 것이다. 스케줄링 후에 자원 및 레지스터 할당 문제는 가중차기 부가된 앙립 그래프로 표현하여 최소비용흐름 알고리즘을 수행함으로써 스위칭 동작횟수가 적은 해를 얻는다. 제안된 알고리즘은 저전력 레지스터 및 자원 할당 문제에 대하여 O({{{{ { n}^{3 } }}}}) (n은 그래프의 노드수) 시간에 최적해를 제공한다. 벤치마크 회로에 대한 실험 결과는 15%의 전력 감축 효과를 나타낸다.

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

실시간 시스템에서 스케줄링 가능성 여부는 매우 중요하다. 그래서 실시간 시스템이 주어진 시간적 제약 사항을 만족 시킬 수 있도록 스케줄러 등 많은 연구들이 진행되고 있다. 그런데 기존의 스케줄링 방식은 외부 환경이나, 태스크에 대한 정확한 정보를 요구한다. 하지만 이런 정보를 정확히 예측하는 것이 매우 힘들다. 그래서 이런 정보들에 따라 시스템의 성능이 저하 되거나, 아니면 오류를 야기 할 수 있다. 그래서 본 논문에서는 실시간 시스템의 이론에 제어 이론을 접목하여 시스템에 외부 환경에 대해 강인 하면서 높은 효율을 보일 수 있는 스케줄러를 설계하고 제시 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.1401-1404
• /
• 2006

컴퓨터 시스템이 발전해 감에 따라 기존의 아날로그 시스템 중 많은 부분이 컴퓨터 시스템화 되어가고 있다. 이 중 많은 부분이 엄격한 시간적 제약적 제약을 가지는 실시간 시스템이다. 실시간 시스템 가장 중요한 부분이 스케줄링 가능성 여부이다. 그런데 기존의 스케줄링 방식은 외부환경이나 태스크의 정확한 정보를 요구한다. 이러한 정확한 정보를 예측하기 힘든 상황에서는 시스템의 성능이 저하되거나 오류가 야기 될 수 있다. 그래서 본 논문에서는 실시간 시스템의 이론에 제어 이론을 접목하여 시스템 외부 환경에 대해 강인하면서 일정 수준이상의 성능을 보일 수 있는 스케줄러를 설계하고 구현한다.

• 한국자동차공학회논문집
• /
• 제21권5호
• /
• pp.113-120
• /
• 2013

This paper presents a mathematical model to determine the optimal length of static messages that can achieve more efficient use of a FlexRay network. In order to determine the optimal length of static message, the proposed model evaluates the given set of messages with respect to a network utilization index, which is defined in this work. The efficient use of a FlexRay network is achieved by reallocating any static message whose length is equal or greater than the resulting value to the dynamic segment. The effectiveness of the proposed method is investigated by applying to the SAE benchmark data.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권5_6호
• /
• pp.249-256
• /
• 2007

기존의 공정 스케줄링 방법들 중 GPS(generalized processor sharing)는 순간적 관점에서의 공정성을 추구하는 반면에, virtual clock은 장기적 관점에서의 공정성을 추구하는 특성을 지닌다. 이 논문에서는 이들의 차이가 과거의 서비스 정보를 추후의 스케줄링에 반영하는 정도에 있음에 주목하고, GPS와 virtual clock을 포괄하는 스펙트럼 형태의 스케줄링 모델을 제시한다. 이 모델에서 각 응용의 자원 획득 권한은 예치권한이라는 값으로 표현되는데, 예치권한은 각 응용별로 미리 정해진 고유한 비율로 계속 증가하며, 서비스를 받으면 소비된다. 소비되지 않고 누적된 예치권한은 과거에 서비스가 이루어지지 않은 정도를 표현하는 값이라고 볼 수 있으며, 이는 응용의 스케줄링 가능성을 높이므로 이후의 서비스 지연시간을 상대적으로 단축하는 효과를 낸다. 예치권한을 주기적으로 감쇄시키면 과거 정보의 반영 정도를 줄일 수 있으며, 이 때 그 감쇄 정도는 과거행태를 반영하는 정도를 의미한다. 과거의 정보를 전혀 반영하지 않을 경우 GPS의 특성을 나타내게 되며, 모두 반영할 경우 virtual clock의 특성을 보이게 된다. 이러한 스펙트럼 상에서는 평균지연시간과 장기적 공정성 사이에 절충 관계가 존재한다. 이 논문에서는 제시된 모델의 특성을 분석하고 실험을 통해 검증한다.

• 한국정보과학회논문지:정보통신
• /
• 제32권5호
• /
• pp.633-640
• /
• 2005

본 논문은 이중 IEEE 802.11 무선 근거리 통신망 상에서의 경성 실시간 통신을 위한 메시지 스케줄링 기법과 이에 따르는 대역폭 할당 기법을 제안하고 그 성능을 분석한다. 동일한 주기를 갖는 각 네트워크에서 슈퍼프레임이 서로 반주기의 편차를 갖고 진행되도록 함으로써 최대 대기시간을 반으로 감소시키고 비콘 지연 현상이 실시간 트래픽 스케줄링에 주는 영향을 최소화한다. 비콘 지연 현상의 영향이 오프라인시에 형식화되고 고려되어 라운드로빈 방식을 기반으로 PCF 구간의 폴링 스케줄을 결정한다. ns-2에의해 수행된 모의실험은 제안된 방식이 실험을 위해 생성된 메시지 집합에 있어서 동일한 대역폭과 MAC 방식을 갖는 이중 근거리 통신망에 비하여 실시간 메시지의 스케줄가능성을 $36\%$ 향상시킬 수 있으며 비실시간 메시지들에게는 $9\%$의 대역폭을 더 할당할 수 있음을 보인다.