• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.67-74
• /
• 2006

소프트웨어 개발 과정에서 보안 요구사항 식별은 그 중요성으로 최근에 관심이 주목되고 있다. 그러나 기존 방법들은 보안 요구사항 식별 방법과 절차가 명확하지 않았다. 본 논문에서는 소프트웨어 개발자가 보안 위협 위치의 상태전이도로부터 보안 요구사항을 식별하는 절차를 제안한다. 이과정은 상태전이도를 작성하는 부분과 어플리케이션 의존적인 보안 요구사항을 식별하는 부분으로 구성된다. 상태전이도 작성은 1) 공격자가 소프트웨어 취약성을 이용하여 자산을 공격한다는 것에 기반하여 기존에 발생했던 보안 실패 자료를 이용하여 소프트웨어의 취약성을 위협하는 위치를 식별하고, 2) 식별된 위협 위치에 해당하는 소프트웨어 취약성을 방어, 완화시킬 수 있는 상태전이도를 작성하는 과정으로 이루어진다. 어플리케이션 의존적인 보안 요구사항 식별과정은 1) 기능 요구사항을 분석 한 후, 위협 위치를 파악하고, 각 위협 위치 에 해당하는 상태전이도를 적용하고, 2) 상태전이도를 어플리케이션 의존적인 형태로 수정한 후, 3) 보안 요구사항 추출 규칙을 적용하여 보안요구사항을 작성하는 과정으로 구성된다. 제안한 방법은 소프트웨어 개발자가 소프트웨어 개발 초기에 모델을 적용하여 쉽게 보안 요구사항을 식별하는데 도움을 준다.

• 한국경영과학회지
• /
• 제16권2호
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• 제어로봇시스템학회논문지
• /
• 제6권9호
• /
• pp.803-812
• /
• 2000

In this paper we introduce a model based centralized hierarchical controller for cooperative team of soccerplaying multiple mobile robots. The hierarchical controller is composed of high-level and low-level controllers. Using the coordinates information of objects from the vision are simple models of multiple mobile tobots on the playground. Subsequently, the high level controller selects and action model corresponding to the perceived state transition model and generates subgoal and goal-velocity, from which the low level controller generates trajectory of each wheel velocity of the robot. This two layered simplicity. The feasubility of the control strategy has been demonstrated in an implementation for real soccer games at a MiroSot league.

• 한국정보통신학회논문지
• /
• 제27권1호
• /
• pp.135-138
• /
• 2023

In this paper, we study real-time error in the context of monitoring a binary information source through a delay system. To derive the average real-time error, we model the delay system as a discrete time Geo/D/1/1 queueing model. Using a discrete time three-dimensional Markov chain with finite state space, we analyze the queueing model. We also perform some numerical analysis on various system parameters: state transition probabilities of binary information source; transmission times; and transmission frequencies. When the state changes of the information source are positively correlated and negatively correlated, we investigate the relationship between transmission time and transmission frequency.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.854-861
• /
• 2005

The functional behavior of a portable consumer electronic (PCE) product is nearly all expressed with human-machine interaction (HMI) tasks. Although physical prototyping and computer aided design (CAD) software can show the appearance of the product, they cannot properly reflect its functional behavior. In this paper, we propose a virtual prototyping (VP) system that incorporates virtual reality and HMI functional simulation in order to enables users to capture not only the realistic look of a PCE product but also its functional behavior. We obtain geometric part models of the product and their assembly and kinematics information with the help of CAD and reverse engineering tools, and visualize them with various display tools. We adopt state transition methodology to capture the HMI functional behavior of the product into a state transition chart, which is later used to construct a finite state machine (FSM) for the functional simulation of the product. The FSM plays an important role to control the transition between states of the product. The proposed VP system receives input events such as mouse clicks on buttons and switches of the virtual prototype model, and it reacts to the events based on the FSM by activating associated activities. The VP system provides the realistic visualization of the product and the vivid simulation of its functional behavior. It can easily allow users to perform functional evaluation and usability testing. Moreover, it can greatly reduce communication errors occurring in a typical product development process. A case study about VP of an MP3 player is given to show the usefulness of the proposed VP system.

• 한국콘텐츠학회논문지
• /
• 제10권8호
• /
• pp.168-176
• /
• 2010

영상을 주의 깊게 시청하는 관객은 보이는 영상의 성격에 따라 여러 심적 변화를 경험한다. 기쁨, 슬픔, 놀람 등 관객이 느낄 수 있는 다양한 감정 상태는 심리학에서 많이 활용되는 제임스 러셀(James Russell)이 정의한 감정 원형모형을 통해 정리된다. 관객이 느낄 수 있는 감정들 중에서도 특히 지그문트 프로이트(Sigmund Freud)가 언급한 언캐니(uncanny)는 기존의 명료한 정서적 개념들의 틈새에 존재하는 첨예한 중간자로 대변된다. 언캐니 현상은 비윤리적으로 인식되는 영상을 시청하는 관객이 보편적으로 느끼는 불쾌한 부분이 쾌로 수용되는 상태, 즉 사회적 금기에 대해 긍정적인 상태이기 때문에 이는 사회윤리적인 해석과 더불어 명확한 수리적 분석이 후행될 때 비로소 첨예한 심리상태로서 분석 가치를 지닌다. 따라서 본 논문에서는 감정 원형모형과 언캐니 상태를 분석하고, 관객의 언캐니 상태에 관한 가설을 설립하여 ECG(Electronic Cardiogram)와 GSR(Galvanic Skin Response) 신호 측청과 같은 생체신호 실험을 수치화한 결과를 러셀의 감정 원형모형을 기반으로 분포, 거리, 시간 등을 분석하는 방향으로 진행된다.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.55-70
• /
• 2009

비전기반 인간컴퓨터 상호작용은 컴퓨터와 인간의 상호소통을 자연스럽게 제공하는 측면에서 과학과 산업분야에서 주목받는 연구 분야이다. 그러한 측면에서 얼굴표정인식에 의한 인간의 심리적 상태를 추론하는 기술은 중요한 이슈이다. 본 연구에서는 감성인식 HMM 모델과 광류에 기반한 얼굴 움직임 추적 방법을 이용하여 동영상으로부터 얼굴표정을 인식하는 새로운 방법을 제시하였다. 특히, 기존의 감성상태 변환을 설명하는 HMM 모델은 특정 표정상태 간의 전환 시 항상 중립 상태를 거치도록 설계되어 있다. 그러나 본 연구에서는 기존의 표정상태 전환 모델에 중간상태를 거치는 과정 없이 특정 표정 상태간의 변환이 가능한 확장된 HMM 모델을 제시한다. 동영상으로부터 얼굴의 특성정보를 추출하기 위하여 탬플릿 매칭과 광류방법을 적용하였다. 광류에 의해 추적된 얼굴의 표정특성 정보는 얼굴표정인식을 위한 HMM의 매개변수 정보로 사용된다. 실험을 통하여 제안된 얼굴표정인식 방법이 실시간 얼굴 표정인식에 효과적임을 입증하였다.

• 한국초전도ㆍ저온공학회논문지
• /
• 제5권1호
• /
• pp.60-65
• /
• 2003

An effective modeling and simulation scheme of a resistive type Superconducting fault Current Limiter (SFCL) using PSCAD/EMTDC is proposed in this paper. In case of High Temperature Superconducting (HTS) resistive type fault current limiter current limiting is implemented by the ultra-fast transition characteristics from the superconducting (non-resistive) state to the normal (resistive) state by overstepping the critical current density. The states can generally be divided into three sub-states: the superconducting state the quench state and the recovery state respectively. In order to provide alternative application schemes of a resistive type SFCL, an effective modeling and simulation method of the SFCL is necessary. For that purpose, in this study, an actual experiment based component model is developed and applied for the simulation of the real resistive type SFCL using PSCAD/EMTDC. The proposed simulation scheme can be implemented to the grid system readily under various system conditions including sort of faults and the system capacity as well. The simulation results demonstrate the effectiveness of the proposed model and simulation scheme.

• BMB Reports
• /
• 제35권2호
• /
• pp.155-164
• /
• 2002

The structural aspects of ervatamin B have been studied in different types of alcohol. This alcohol did not affect the structure or activity of ervatamin B under neutral conditions. At a low pH (3.0), different kinds of alcohol have different effects. Interestingly, at a certain concentration of non-fluorinated, aliphatic, monohydric alcohol, a conformational switch from the predominantly $\alpha$-helical to $\beta$-sheeted state is observed with a complete loss of tertiary structure and proteolytic activity. This is contrary to the observation that alcohol induces mostly the $\alpha$helical structure in proteins. The O-state of ervatamin B in 50% methanol at pH 3.0 has enhanced the stability towards GuHCl denaturation and shows a biphasic transition. This suggests the presence of two structural parts with different stabilities that unfold in steps. The thermal unfolding of ervatamin B in the O-state is also biphasic, which confirms the presence of two domains in the enzyme structure that unfold sequentially. The differential stabilization of the structural parts may also be a reflection of the differential stabilization of local conformations in methanol. Thermal unfolding of ervatamin B in the absence of alcohol is cooperative, both at neutral and low pH, and can be fitted to a two state model. However, at pH 2.0 the calorimetric profiles show two peaks, which indicates the presence of two structural domains in the enzyme with different thermal stabilities that are denatured more or less independently. With an increase in pH to 3.0 and 4.0, the shape of the DSC profiles change, and the two peaks converge to a predominant single peak. However, the ratio of van't Hoff enthalpy to calorimetric enthalpy is approximated to 2.0, indicating non-cooperativity in thermal unfolding.

• Asian Pacific Journal of Cancer Prevention
• /
• 제15권9호
• /
• pp.4109-4115
• /
• 2014

Background: Accurate assessment of disease progression requires proper understanding of natural disease process which is often hidden and unobservable. For this purpose, disease status should be clearly detected. But in most diseases it is not possible to detect such status. This study, therefore, aims to present a model which both investigates the unobservable disease process and considers the error probability in diagnosis of disease states. Materials and Methods: Data from 330 patients with gastric cancer undergoing surgery at the Iran Cancer Institute from 1995 to 1999 were analyzed. Moreover, to estimate and assess the effect of demographic, diagnostic and clinical factors as well as medical and post-surgical variables on transition rates and the probability of misdiagnosis of relapse, a hidden Markov multi-state model was employed. Results: Classification errors of patients in alive state without a relapse ($e_{21}$) and with a relapse ($e_{12}$) were 0.22 (95% CI: 0.04-0.63) and 0.02 (95% CI: 0.00-0.09), respectively. Only variables of age and number of renewed treatments affected misdiagnosis of relapse. In addition, patient age and distant metastasis were among factors affecting the occurrence of relapse (state1${\rightarrow}$state2) while the number of renewed treatments and the type and extent of surgery had a significant effect on death hazard without relapse (state2${\rightarrow}$state3)and death hazard with relapse (state2${\rightarrow}$state3). Conclusions: A hidden Markov multi-state model provides the possibility of estimating classification error between different states of disease. Moreover, based on this model, factors affecting the probability of this error can be identified and researchers can be helped with understanding the mechanisms of classification error.