• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.8
• /
• pp.808-812
• /
• 2008

In recent years, the software vulnerability becomes an important problem to the safety in operating system kernel. Many organizations endeavor to publish patches soon after discovery of vulnerability. In spite of the effort, end-system administrators hesitate to apply the patches to their system. The reasons of hesitation are the reboot disruption and the distrust of patches. To solve this problem we propose a dynamic update system for non-updatable kernel, named DUNK. The DUNK provides: 1) a dynamic update mechanism at function-level granularity to overcome the reboot disruption and 2) a safety verification mechanism to overcome the distrust problem, named MAFIA. In this paper, we describe the design of DUNK and detailed algorithm of MAFIA.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.450-464
• /
• 2002

Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.2
• /
• pp.209-214
• /
• 2009

The simulation software for predicting the performance of a wind turbine generator system (WTGS) is validated using the field measured data obtained from the idling test run of a dual rotor wind turbine recently developed and installed in Korea. Both steady-state and transient responses at low and high wind conditions are compared with the theoretically predicted ones from the simulation software WINSIM.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.296-299
• /
• 2009

본 논문은 차분진화 알고리즘을 이용한 다중 손상된 RC 슬라브 교량에 대한 시스템 인식(System Identification)기법을 소개한다. 제안된 기법을 이용하여 이동하중에 의한 교량의 동적응답을 기반으로 손상유무, 위치, 크기가 추정된다. ABAQUS를 이용한 손상된 3차원 슬라브 모델을 실험대상으로 하여, 모델로부터 동적응답을 찾아내었다. 차분진화 알고리즘(Differential Evolutioinary algorithm)을 기반으로 동적응답과 Bi-variate Gaussian 함수로 강성저하된 2차원 유한요소 MZC모델을 이용하여 손상된 위치와 크기, 이동하중의 크기와 속도가 추정되었다. 차분진화 알고리즘을 이용한 RC교량의 손상위치와 이동하중에 대한 추정은 3%이내의 오차를 보였고, 이로부터 제안된 방법의 효율성과 정확성이 검증되었다.

• Journal of Convergence for Information Technology
• /
• v.7 no.5
• /
• pp.169-175
• /
• 2017

Accounting information systems (AIS) capture and process accounting data and provide valuable information for decision makers. However, in a rapidly changing environment, continual management of the AIS is necessary for organizations to optimize performance outcomes. I suggest that building a dynamic AIS capability enables accounting process and organizational performance. Using the dynamic capabilities framework (Teece 2007). I propose that a dynamic AIS capability can bedeveloped through the synergy of three competencies: having (1) a flexible AIS, (2) a complementary business intelligence system, and (3) accounting professionals with IT technical competency. Using survey data, I find evidence of a positive association between a dynamic AIS capability, accounting process performance, and overall firm performance. The results suggest that developing a dynamic AIS resource can add value to an organization. This study provides guidance for organizations looking to leverage the performance outcomes of their environment.

• Journal of KIISE
• /
• v.43 no.7
• /
• pp.801-811
• /
• 2016

Self-adaptive systems (SASs) can change their goals and behaviors to achieve its ultimate goal in a dynamic execution environment. Existing approaches have designed, at the design time, utility functions to evaluate and predict the goal satisfaction, and set policies that are crucial to achieve each goal. The systems can be adapted to various runtime environments by utilizing the pre-defined utility functions and policies. These approaches, however, may or may not guarantee the proper adaptability, because system designers cannot assume and predict all system environment perfectly at the design time. To cope with this problem, this paper proposes a new method of dynamic decision making, which takes the following steps: firstly we design a Dynamic Decision Network (DDN) with environmental data and goal model that reflect system contexts; secondly, the goal satisfaction is evaluated and predicted with the designed DDN and real-time environmental information. We furthermore propose a dynamic reflection method that changes the model by using newly generated data in real-time. The proposed method was actually applied to ROBOCODE, and verified its effectiveness by comparing to conventional static decision making.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.50-51
• /
• 2008

최근 구미 선진국에서 빈발하고 있는 전압붕괴로 인한 대형 정전사고의 확률이 점증하고 있어 전압관리가 전력계통의 주요관심사로 대두되고 있으며, 이러한 문제들에 대한 대비가 시급한 실정이다. 전압 및 무효전력의 계층적 전압제어는 이러한 문제점들을 경감시킬 수 있는 방법의 일환으로 이미 유럽의 선진국에서는 2차적 전압제어, 3차적 전압제어 시스템을 개발하여 운영하고 있는 실정이다. 이에 따라 본 연구에서는 지능형 전압제어시스템을 개발하였으며, RTDS(Real Time Digital Simulator)를 통하여 성능을 검증하는 단계에 와 있다. 본 논문에서는 정적 모의를 통해 지능형 전압제어시스템의 효과를 검증하였고, 제주계통을 대상으로 개발된 지능형 전압제어시스템의 동적 특성을 검증 할 예정이다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.17-21
• /
• 2004

본 논문에서는 실시간으로 상수 및 변수의 병렬 매칭이 가능한 새로운 구조의 하드웨어 기반 룰-베이스시스템 구조를 제안한다. 이 시스템은 context-aware computing 시스템에서 상황 인식을 위한 기법으로 적용될 수 있다. 제안된 구조는 기존의 하드웨어 기반의 구조가 가지는 룰의 표현 및 룰의 구성에서 발생하는 제약을 상당히 감소시킬 수 있다. 이를 위해 변형된 형태의 content addressable memory(CAM)와 crossbar switch network(CSN)가 사용되었다. 변형된 형태의 CAM으로 구성된 지식-베이스는 동적으로 데이터의 추가 및 삭제가 가능하다. 또한 CSN은 input buffer와 working memory(WM) 사이에 위치하여, 시스템 외부 및 내부에서 동적으로 생성되거나, 시스템 설정에 의해 지정된 데이터들의 조합 및 pre-processing module(PPM)을 이용한 연산을 통하여 WM을 구성하는 데이터를 생성시킨다. 이 하드웨어 룰-베이스 시스템은 SystemC 2.0을 이용하여 설계하였으며 시뮬레이션을 통하여 그 동작을 검증하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.2
• /
• pp.328-336
• /
• 2000

This paper presents a multimedia authoring system in which user can create multimedia documents more easily and dynamic presentations can be supported. Our system defines a new time relation based on causal relation, so it controls effectively presentations when durations of media are changed in run-time. It supports dynamic authoring to feedback the consistency that could be occurred when users authorize multimedia documents. In our system, a multimedia document is represented to internal structure using trees through parsing phases, and a presentation engine is provided for processing dynamic presentations and user interactions in run-time.

• Science of Emotion and Sensibility
• /
• v.15 no.3
• /
• pp.367-380
• /
• 2012

The purpose of this research was to implement and verify an information retrieval(IR) system based on users' relevance criteria for information search tasks. For this purpose, we implemented an IR system with a dynamic ranking model using users' relevance criteria varying with the types of information search task and evaluated this system through user experiment. 45 participants performed three information search tasks on both IR systems with a static and a dynamic ranking model. Three Information search tasks are fact finding search task, problem solving search task and decision making search task. Participants evaluated top five search results on 7 likert scales of relevance. We observed that the IR system with a dynamic ranking model provided more relevant search results compared to the system with a static ranking model. This research has significance in designing IR system for information search tasks, in testing the validity of user-oriented relevance judgement model by implementing an IR system for actual information search tasks and in relating user research to the improvement of an IR system.