• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.610-612
• /
• 2004

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정확성을 요구한다. 시간적 정확성을 만족시키기 위해서 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행하여야 한다. 스케줄 가능성 분석을 위해 작업들에 대한 실행 시간 예측이 필요하다 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 및 막장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발을 위해 분산 실시간 시스템으로 전환에 의해 발생되는 통신 영향 요소의 분석 및 통신 영향 요소 분석기를 설계한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• Journal of the Korean Society of Safety
• /
• v.8 no.4
• /
• pp.201-206
• /
• 1993

A space-time finite element method was presented for time dependent problem. The method which treat both the space and time unformly were proposed and numerically tested. The weighted residual process was used to formulate a finite element method in a space-time domain based upon continuous Galerkin method. This method leads to a conditional stabie high-order accurate solver.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.403-405
• /
• 1999

실시간 시스템에서 프로그램의 실행시간을 예측하는 것은 중요한 일이다. 기존의 언어에서는 실행시간은 예측하기에 힘든 요소들이 있다. Timing-C는 이러한 요소를 제거하고 사용자로부터 시간 제약을 입력받을 수 있도록 하였다. Timing-C언어를 이용하여 실시간 프로그램밍을 하기 위해 작성한 프로그램이 시간제약을 준수하고 있는지 알기 위해 시간 분석 도구가 필요하다. 시간 분석 도구는 작성된 프로그램의 실행시간을 제한하여 사용자에게예측된 결과를 알려주는 도구이다. 개발자는 이러한 도구를 이용하여 작성하고 있는 프로그램의 수행시간을 더욱 정확하게 예측할 수 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.43-49
• /
• 2002

본 연구는 첨단 신호 시스템 알고리즘의 최적해를 구하는 문제를 기호적 시뮬레이션 기법으로 해결하기 위한 방법론을 제시한다. 최근 지능형 교통 시스템의 일환으로 최적화 된 교통신호를 생성하기 위한 신호제어기법들이 많이 개발되었다. 하지만 이러한 신호제어기법은 복잡한 교통환경에서 신호제어 변수간의 다양한 상호작용의 모든 해를 제공할 수 없는 한계를 지닌다. 한편 기호적 시뮬레이션 기법은 발생 가능한 모든 사건과 시간관계를 자동 생성시킴으로써 동적으로 변화하는 다양한 교통환경에 대해서 신호제어 변수간의 모든 시간관계를 추론해 낼 수 있는 장점을 지닌다. 하지만 기호적 시뮬레이션을 이용한 모델링에 있어서 교통량과 같은 양적인 요소들의 기호적 표현에는 어려움이 따른다. 따라서 본 논문에서는 교통량과 같은 양적인 요소들을 시간에 따른 변화량으로 해석하여 첨단 신호 시스템 알고리즘의 최적해를 구하는 문제에 접근한다. 이를 위해 국내 첨단 신호 시스템을 대상으로 신호제어 전략에 필요한 양적 요소를 검토하고, 이러한 양적 요소를 시간에 따른 변화량으로 해석하여 모델링 하고, 기호적 시뮬레이션 실험을 수행하여 최적신호 제어 알고리즘을 생성한다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.1
• /
• pp.71-78
• /
• 2016

This paper proposes the new electric power demand forecast model which is based on an artificial neural network and considers time and weather factors. Time factors are selected by measuring the autocorrelation coefficients of load demand in summer and winter seasons. Weather factors are selected by using Pearson correlation coefficient The important weather factors are temperature and dew point because the correlation coefficients between these factors and load demand are much higher than those of the other factors such as humidities, air pressures and wind speeds. The experimental results show that the proposed model using time and seasonal weather factors improves the load demand forecasts to a great extent.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.5
• /
• pp.1563-1571
• /
• 1991

본 연구에서는 가상일 원리로 부터 유한 요소 수식화를 updated-Lagrangian 형태로 유도하였으며, 유도된 수식화를 연속체 유한 요소로 유한 근사화 하였다. 이 때 초소성 재료의 거동은 비압축성, 비선형 점성 유ㄷ옹으로 묘사하였다. 유한 요소 프로그램은 성형 기구 해석과 하중 압력을 제어하는 기법으로 구성되어 있으며 하중 압력의 제어는 성형 시간이 최소가 되게 하기 위하여 변형률 속도 민감 계수가 최대가 되고, 국부 변형에 의한 두께 감소를 방지하며 변형률 속도는 일정하게 유지되면서 성 형이 될 수 있도록 하였다. 즉 하중 압력 제어는 상당 변형률 속도가 최대가 되게하 여 성형 시간을 최소화하게 구성하였다.개발된 유한 요소 프로그램은 정수압 벌징 가공에 적용하였으며 최적 압력 시간 선도, 성형 형상, 두께 및 두께 변형률 분포, 상 당 변형률 분포 등을 구하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.376-378
• /
• 2006

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정확성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간의 예측이 필요하다. 프로그램 또는 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 및 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 및 신뢰성이 만족스럽지 못한 경우가 발생한다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 특히, 확장된 정적 분석 도구의 개발을 위해 운영체제에서 발생되는 작업 실행 영향 요소 분석 과정을 설계한다 실시간 시스템에서 시간적 정확성을 만족하기 위해 스케줄링 기법이 가장 중요하고 이러한 스케줄링 기법은 운영체제 영향 요소 분석 대상 중 가장 중용한 요소이다. 이에 따라 스케줄러의 동작 과정의 정적 분석 및 우선 순위에 따른 작업의 큐 대기 시간예측을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.2
• /
• pp.75-82
• /
• 2006

본 연구에서 조합 최적화(Combinatorial Optimization) 이론에 바탕을 두고 있는 네스티드 분할(Nested Partition, 이하 NP) 방법을 이용한 최적화 기탄 요소선택 방법(Feature Selection)을 제안한다. 이 새로운 방법은 좋은 요소 부분집합을 찾는 휴리스틱 탐색 절차를 채용하고 있으며 데이터의 인스턴스(Instances 또는 Records)의 무작위 추출(Random Sampling)을 이용하여 이 요소선택 방법의 처리시간 관점에서의 성능을 항상 시키고자 한다. 이 새로운 접근 방법은 처리시간 향상을 위해 2단계 샘플링 방법을 채용하여 근접 최적해로의 수렴(Convergence)을 보장하는 샘플 사이즈를 결정한다. 이는 앨고리듬이 유한한 시간내에 끝이날 때 최종 요소 부분집합 해의 질(Qualtiy)에 관한 정확한 설명을 할 수 있는 이론적인 배경을 제시한다. 중요 결과를 예시하기 위해서 다양한 형태의 다섯 개의 데이터 셋을 이용하였으며 다섯 번의 반복 실험을 통한 실험 결과가 제시되며, 이 새로운 접근 방법이 기존의 단순 네스티드 분할 방법 기반의 요소선택 방법보다 처리시간 관점에서 더욱 효율적임을 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.769-771
• /
• 2005

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정할성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간 예측이 필요하다. 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 핀 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 밀 신뢰성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 먼저 확장된 정적 분석 도구의 개발을 위해 통신 영향 요소의 분석 과정을 설계한다. 특히, 통신 부하의 영향 요소 중 통신 준비에 필요한 과정을 선행 예측 테이블로 작성하여 원시 프로그램 분석에 이용하고자 한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.6
• /
• pp.1-5
• /
• 2010

We propose an algorithm which can classify the system should use a PI controller, which have a weak high frequency attenuation characteristics near the critical frequency. To classify the system, we use a time delay element to calculate a gain attenuation rate near the critical frequency. The proposed algorithm also can design PI controller with the given magnitude margin and phase margin specification. The proposed algorithm uses time delay element and saturation function to identify the one point information in frequency domain. We justify the proposed algorithm via the simulation.