• 제어로봇시스템학회논문지
• /
• 제5권8호
• /
• pp.923-931
• /
• 1999

In this paper, a modeling and a robust time-delay control for the reclaimer are investigated. Supplying the same amount of a raw material throughout the reclamation process from the raw yard to a sinter plant is important to keep the quality of the molten steel uniform in blast furnaces. As the actual parameter values of the reclaimer are not available, the boom rotational dynamics are modeled as a second order differential equation with unknown coefficients. The unknown parameters in the nominal model are estimated using a recursive estimation method. Another important factor in the control design of the reclaimer is the large time-delay in output measurement. Assuming a multiplicative uncertainty, that accounts for both the unstructured uncertainty neglected in the modeling and the structured uncertainty contained in the parameter estimation, a robust Smith predictor is designed. A robust stability criterion for the multiplicative uncertainty is also derived. Following the work of Goodwin et al. [4], a quantifying procedure of the multiplicative uncertainty bound, through experiments , is described. Experimental and simulation results are provided.

• 한국콘텐츠학회논문지
• /
• 제11권8호
• /
• pp.475-487
• /
• 2011

본 논문에서는 고차원펄스의 스펙트럼을 유도하는 체계적인 방법을 제시하고, 이를 학습내용으로 하는 효율적인 이러닝 시스템을 설계한다. 고차원펄스의 스펙트럼은 연속미분법이나 콘볼루션법 등 기존의 방법에 의하여 유도될 수 있으나, 그 차수가 증가함에 따라 현저하게 높아지는 복잡도 때문에 사용할 수 없다. 우리는 고차원펄스의 차수에 따라 순환적으로 적용되는 알고리듬을 제시하고, 이를 찾아보기표에 의하여 함수적으로 차수에 연관된 스펙트럼의 식을 유도한다. 또한, 이를 이용하여 고차원펄스의 스펙트럼을 분석하는 과정을 학습하는 이러닝 콘텐츠를 설계한다. 여기에는 기존의 순차적 재생을 기본으로 하여 이른바 개념단위 오브젝트별 분기방식을 적용하는 콘텐츠 처리방식이 사용된다. 모델링, 임펄스응답과 전달함수, 파라미터, 찾아보기표 등 전체를 네 개의 개념단위로 분할한 콘텐츠페이지를 설계하고, 이들로부터 하향식으로 분화된 개념단위들을 모듈과 서브모듈로 설정한다. 이들은 개념단위 오브젝트별 분기방식에 의하여 학습자에게 다양한 학습순서와 반복학습 등을 제공하여 상호작용을 증대하고, 저작된 이러닝 콘텐츠에 의한 학습효과를 현저히 향상시킨다. 또한, 콘텐츠 자체의 효율성 측면에서도 현저한 향상을 이룬다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권10호
• /
• pp.636-652
• /
• 2008

본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.