• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.571-573
• /
• 2001

본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.14 no.2
• /
• pp.173-179
• /
• 2001

성능지수는 제어 대상이 되는 구조물의 응답과 제어기의 성능에 관한 가중함수로 구성되어 있다. 따라서 가중함수의 설계에 따라 성능지수가 변화되며 제어 효율이 달라진다. 본 논문에서는 최적 능동제어 알고리듬의 일종인 시간 영역에서의 성능지수를 고려한 LQR기법과 LQG기법 및 주파수 영역에서의 성능지수를 고려한 H₂기법에 대하여 동일한 가중함수를 적용하여 제어 성능인 제어율과 제어력을 비교하는데 목적을 두고 있다. 그러나, LQG기법은 모든 상태 변수를 알아야 하는 LQR기법의 한계를 극복할 수 있으며 LQR기법과 동일 수준의 제어율과 제어력을 보이고 있고 출력 제어라는 장점을 고려하면 현실적인 기법이라고 말할 수 있다. 마지막으로 구조물 응답과 제어기의 주파수 특성을 고려하여 주파수 필터의 가중함수를 설계하는 H₂기법을 분석하였다. H₂기법은 제어력을 저주파수 영역에 집중시킬 수 있기 때문에 구조물 응답을 효과적으로 제어할 수 있는 방법으로 분석되었다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.8 no.6
• /
• pp.620-628
• /
• 1997

When the Chebyshev function is applied to design the waveguide transition, it exhibits poor impedance matching characteristics due to impedance discontinuities at the ends of tapered line. In this paper, an improved Chebyshev function, which is obtained by using the convolution property, is proposed to make improvements on the impedance matching characteristics of the waveguide transition. When rectangular to circular waveguide transition is designed by improved function, then the computed return loss is approximately 5 dB better than the conventional Chebyshev function.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.226.1-226.1
• /
• 2012

위성에 탑재되어 위성의 상태를 모니터링하며, 지상으로부터 명령을 받아 위성 본연의 임무 수행이 가능하게 하는 위성비행소프트웨어는 그 개발단계에서 다양한 검증활동이 이루어진다. 설계 검증 및 리뷰, 인스펙션을 거쳐 소스 코드로 구현된 후, 단위 시험을 통해 가장 낮은 수준의 검증을 거치게 된다. 이러한 단위 시험은 개별 함수에 대해 입력에 따른 해당 출력 및 동작 여부를 검사하게 된다. 단위 시험이 하나의 함수에 대한 시험 항목이라는 점은 검증대상의 스코프가 좁다는 장점이 있으나, 다른 모듈과 연동되었을 경우에 발생할 수 있는 다양한 경우를 고려하여 테스트 케이스를 작성해야 하는 어려움이 있다. 이러한 문제점을 해결하기 위하여 단위 시험과 함께, 연관된 함수가 이미 구현되어 있는 경우, Stubbing을 하기보다는 직접 해당 함수를 사용하며, 또한 동등한 수준의 개별 함수들을 주어진 시나리오에 따라 동작하는 Compound Test를 활용, 그 결과를 확인하는 방법을 도입하였다. 이를 이용하면 단위 시험에서는 검증하기 어려운 상황별 시나리오에 따른 검증 활동을 수행할 수 있고, 또한 전체 위성비행소프트웨어를 빌드할 필요없이 테스트의 대상이 되는 함수만을 이용, 나머지 부분은 기존의 방식을 그대로 적용할 수 있어, 위성비행소프트웨어의 안전성 및 신뢰성을 보다 향상시킬 수 있다.

• The KIPS Transactions:PartA
• /
• v.14A no.4
• /
• pp.245-248
• /
• 2007

This paper provides some simple recursive formulas generation transition functions of finite cellular automata with triplet local transition functions under two states (0 and 1) and four different boundary conditions (0-0,0-1,1-0,1-1), and classify transition functions into several classes.

• Geophysics and Geophysical Exploration
• /
• v.16 no.2
• /
• pp.79-90
• /
• 2013

Geophysical investigation in non-destructive testing is economically less expensive than boring testing and providing geotechnical information over wide-area. But, it provides only limited geotechnical information, which is hardly used to the design. Accordingly, we performed electrical resistivity experiments on large scale of soil model to analyze the correlation between electrical resistivity response and soil water contents. The soils used in the experiments were the Jumunjin standard sand and weathered granite soil. Each soil particle size distribution and coefficient of uniformity of experimental material obtained in the experiments were maintained in a state of the homogeneous. The specifications of the model used in this study is $160{\times}100{\times}50$(cm) of acrylic, and each soil was maintained at the height 30 cm. The water content were measured using the 5TE sensors (water contents sensors) which is installed 7 ~ 8 cm apart vertically by plugging to floor. The results of the resistivity behavior pattern for Jumunjin standard sand was found to be sensitive to the water content, while the weathered granite soil was showing lower resistivity over the time, and there was no significant change in behavior pattern observed. So, it results that the Jumunjin standard sand's particle current conduction was better than the weathered granite soil's particle through contact with the distilled water. This lab test was also compared with the result of a test bed site composed of similar weathered soil. It was confirmed that these experiments were underlying research of non-destructive investigation techniques to improve the accuracy to estimate the geotechnical parameter.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.10a
• /
• pp.167-167
• /
• 2003

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1996.10a
• /
• pp.1189-1193
• /
• 1996

• Journal of Korea Water Resources Association
• /
• v.33 no.S1
• /
• pp.215-220
• /
• 2000

• Proceedings of the Korea Water Resources Association Conference
• /
• 2000.05a
• /
• pp.215-220
• /
• 2000