• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.145-147
• /
• 2000

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.

• Journal of the KSME
• /
• v.33 no.1
• /
• pp.22-32
• /
• 1993

본드선도는 물리적 등가가 적용되는 모든 상사 시스템을 대단히 조직이며 일관성 있게 모델링할 수있을 뿐만 아니라 시스템의 동적 방정식을 제어동역학 관점에 유리한 상태방정식으로 직접 유도할 수 있다. 또한 본드선도는 모델링 단계에서 무시된 각 요소들의 동적 특성 즉, 기계시스 템에서 회전축의 탄성처짐이나 운동 물체들 사이의 마찰 효과 전기 . 자기시스템에서 자속유출량, 그리고 유체 . 유압시스템에서 밀봉부분의 유량손실이나 압축성 유체 특성 등을 기곤에 구성된 본드선도의 변경 없이 각 특성들이 나타나는 본드상에 적절한 접합요소와 함께 단순히 첨가하여 고려할 수 있기 때문에 모델링 과정을 다시 반복하지 않고도 무시된 동적 특성들이 전체시스템에 미치는 영향을 파악할 수 있다. 특히 본드선도가 에너지 변환 장치나 에너지 유동 메카니즘이 복잡한 다에너지역 시스템 등에 거동이 전체시스템에 미치는 효과를 시각적으로 보다 세밀히 파악할 수 있을 뿐만 아니라 구성된 본드선도에 인과관계를 할당하여 본드선도의 접합요소를 통하여 유도된 최종적인 동적 방정식이 현실적으로 실현 가능한 물리시스템인지 파악할 수 있어 본드선도 모델링 단계에서 시스템을 묘사하는 동적 방정식의 옳고 그름을 평가할 수 있다. 이와 같이 본드선도는 기계, 전기 . 자기, 유체 . 유압, 열 시스템 및 이들이 조합된 복잡한 다에너지역 시스템 등을 효과적으로 모데링할 수 있는 매우 유용한 동적 시스템 모델링 방법이다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.374-377
• /
• 2007

본 논문은 Takagi-Sugeno (T-S) 퍼지 모델을 이용하여 이산 시간에서의 비선형 상호 결합 시스템에 대한 분산 동적 출력 궤한 제어기를 제시한다. 이산시간 비선형 상호 결합 시스템의 각 하위 시스템에 대한 T-S 퍼지 모델링을 한 후, 각각에 대해 동적 출력 궤한 제어기를 설계한다. 제어가 된 폐루프 하위 시스템들로 전체 시스템의 평형점이 안정화되는 선형 행렬 부등식 (LMI)을 구하고, 부등식을 이용하여 동적 출력 궤한 제어기의 이득값을 구한다. 마지막으로 모의실험을 통해 분산 동적 출력 궤한 제어기의 효용성을 확인한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2002.05a
• /
• pp.417-422
• /
• 2002

인공면역시스템을 이용한 침입탐지시스템 개발을 위해 적용한 동적 클론 선택(Dynamic Clonal Selection) 알고리즘과 그의 문제점을 소개하고 보다 개선된 동적 클론 선택 알고리즘을 제안한다. 이전 연구에서 침입탐지시스템이 흔히 접하게 되는 상황, 즉 과거 안정적으로 관찰되었던 정상행위가 합법적인 요인들로 인하여 갑작스러운 변화를 보일 경우 과거 생성되었던 기억탐지자가 정상행위를 비정상행위로 오류 판단하는 것을 막기 위하여 인간면역시스템의 체세포 돌연변이 (somatic hypermutation)를 이용하여 유전자 라이브러리를 진화시키는 방법을 첨가한 동적 클론 선택 알고리즘을 소개한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.11
• /
• pp.251-257
• /
• 1998

동적 파괴인성치 측정시스템과 동적 2차원 유한요소해석 프로그램을 개발하여 원자로압력용기에 사용하는 강(SA508 cl.3, SA516 gr.70)의 동적 파괴인성치와 동적 균열정지인성치를 평가하고 이에 대한 유용성을 확인하였으며, 이 시스템 을 이용하여 재료의 동적 파괴특성을 규명하였다. SA508 cl.3와 SA516 gr.70의 동적 균열전파속도(a)에 대응하는 동적 응력확대계수 (K(a))에 대한 실험식을 얻었으며, 동적 응력확대계수와 동적 균열전파속도와의 관계는 전형적인 "$\Gamma$" 형으로 나타남을 확인하였다.

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

유비쿼터스 컴퓨팅에서의 미들웨어는 주위 환경을 감지하는 센서나 인터넷정보를 이용해서 얻은 모니터링 정보를 이용하여, 상황 변화에 맞게 서비스를 제공할 수 있도록 실행 중에 시스템을 재구성(Reconfiguration)하여 재시작하지 않고 새로운 환경에 적응할 수 있어야 한다. 이를 위해서 분산시스템에서의 동적 재구성(Dynamic Reconfiguration) 기술이 연구되어 왔다. 동적 재구성이 가능한 컴포넌트 기반 미들웨어의 개발은 분산시스템에서 점차 중요성이 높아지고 있다. 미들웨어 내에 존재하는 기존 컴포넌트의 이동, 삭제와 갱신, 새로운 컴포넌트의 삽입 기능을 통한 컴포넌트의 동적 재구성이 가능해짐으로써 시스템을 재시작하지 않고 접속중인 사용자나 환경의 변화와 요구에 맞추어 서비스를 제공한 수 있게 된다. 컴포넌트 동적 재구성이 가능한 미들웨어를 개발하기 위해서 전체 시스템의 컴포넌트간의 의존관계(Dependency)를 파악하는 것이 필요하다. 본 논문은 컴포넌트의 동적 재구성과 컴포넌트간의 의존관계를 설명하고, 컴포넌트의 의존관계를 고려하여 컴포넌트의 동적 재구성을 효율적으로 관리하는 방법을 제안한다.

• Review of KIISC
• /
• v.13 no.4
• /
• pp.60-67
• /
• 2003

능동형 Secure OS 시스템은 운영체제 커널에 접근 제어, 사용자 인증, 감사 추적, 암호화 파일 시스템, 신뢰 채널, 동적 구성 등의 보안 기능을 추가 구현하여 시스템에 발생 가능한 해킹을 방지하고 차단하는 시스템을 말한다. 이러한 능동형 Secure OS 시스템은 시스템 해킹을 탐지하거나 시스템 해킹을 감지하였을 때 동적으로 구성을 바꾸는 등의 조치를 취하는 시스템 기능이 필요하다. 본 고에서는 능동형 Secure OS의 주요 기능과 함께 핵심 기술의 구현 내용을 기술하며, 시스템내의 감사 추적 기능에 의해 능동적으로 시스템을 구성하고 실시간 조치가 가능하도록 한 능동형 Secure OS 시스템을 소개한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.6
• /
• pp.780-785
• /
• 2007

This paper proposes the decentralized dynamic output feedback controller for discrete-time nonlinear interconnected systems using Takagi-Sugeno (T-S) fuzzy model. Through T-S fuzzy model of each subsystem, the decentralized dynamic output feedback controller is designed. By the closed-loop subsystems with controller, it represents the linear matrix inequality (LMI) for stability of whole interconnected system. The value of control gain are obtained by LMI. An example is given to show the experimentally verification discussed throughout the paper.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.203-206
• /
• 2002

동적 시스템의 동정은 시스템의 관측된 데이터를 가지고 동적 모델의 수학적 모델을 찾는 문제를 다루는 것이다. 기존의 고전적인 방법으로는 차분 방정식(ARX 또는 ARMAX) 또는 상태 공간 표현에 관한 계수들을 추정하기 위해서 회귀 기법 등을 사용하였다. 그러나 이러한 고전적인 방법들은 파라미터가 비선형이고, 실세계 문제에서 모델링 오차나 측정 잡음을 수반하게 되면 탐색의 어려움을 가지게 된다. 따라서 이러한 문제점을 극복하고자 퍼지 이론이나 신경망 이론 둥이 이용되었으나 본 논문에서는 비선형 동적 시스템의 파라미터 동정에 최근 복잡한 최적화 문제를 해결하는 도구로 점점 관심을 받고 있는 유전 알고리즘을 동정 알고리즘으로 제안하고, 비선형 동적 시스템의 파라미터 동정에 유전 알고리즘을 응용한 몇 가지 예를 제시하고자 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2006.11a
• /
• pp.177-184
• /
• 2006

시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model을 구현하는데 어려움이 있다. 이 논문은 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart로 만들어지고 이것은 바로 FSP model로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.