• Journal of Information Processing Systems
• /
• 제15권3호
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• 대한기계학회논문집A
• /
• 제38권11호
• /
• pp.1201-1206
• /
• 2014

본 논문에서는 가상의 V상차 작업을 위한 이벤트 기반의 휠로더 운전자 모델을 개발하였다. 운전자 모델 개발의 목적은 휠로더의 일반적인 작업인 V상차 작업 시 동역학적 해석과 작업성능을 가상의 시뮬레이션 모델과 운전자 입력을 이용해 예측 및 평가하는 것이다. V상차 작업은 4단계로 이루어져 있으며, 총 8 개의 이벤트로 인해 순차적으로 작업이 진행된다. 개발된 3D 휠로더 시뮬레이션 모델은 Matlab/Simulink 환경에서 구성 되었으며, 시뮬레이션 결과는 V상차 작업의 실차 데이터와 비교 되었다. 본 연구에서 개발된 운전자 모델로 향후 가상의 V상차 작업에 대한 작업성능 및 동역학적 해석이 가능할 것으로 본다.

• 대한교통학회지
• /
• 제15권4호
• /
• pp.35-51
• /
• 1997

본 연구에서는 1일(24시간) 단위로 표현되는 통근통행자의 통행패턴을 분석하기 위해 가정과 직장 및 기타 목적지를 선택하여 이루어지는 하루 동안의 통행패턴을 유형화하여 이들 선택대안의 선택행태를 분석하였다. 이러한 연구목적을 충족시키기 위하여 본 연구에서는 경산시와 영천시에 직장을 가진 직장인(통근통행 자)에 대하여 실시한 통행 설문조사자료를 이용하여 네스티드 로짓모형을 이용한 경험적 모형을 추정하고, 모형의 추정결과를 논의하였다. 본 연구에서는 통근통행자의 통행패턴이 단일목적 혹은 다목적 통행의 선택을 높은 단계, tour의 수를 낮은 단계의 선택으로 하는 네스티드 로짓모형에 의해 표현된다고 가정하였다. 이렇게 표현된 네스티드 로짓모형의 경험적 추정결과로부터 본 연구에서 가설화된 네스티드 로짓모형구조의 타당성을 확인할 수 있었다. 아울러 모형의 경험적 추정결과는 개인의 행태적 측면을 적절히 반영하는 것으로 확인되었다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권2호
• /
• pp.817-828
• /
• 2018

Modern software, especially web-based software, is broadly used in various fields. Most web applications employ design patterns, such as a model-view-controller (MVC) pattern and a factory pattern as development technology, so the application can have a good architecture to facilitate maintenance and productivity. A web application, however, may have defects and developers must fix the defects when a user submits bug reports. In this paper, we propose a novel approach to improving fault traceability in web application by using software revision information and software behavior model to reduce costs and effectively handle the software defect. We also provide a case study to show effectiveness of our approach.

• 한국디지털건축인테리어학회논문집
• /
• 제9권2호
• /
• pp.35-43
• /
• 2009

The purpose of this study is to know the way of practical space use and user behavior pattern at the livingroom of city apartment that is the representative residential space of modern citizen. The way of study is to compare the livingroom of model house with actual condition of livingroom, through this way, we will know that livingroom is in use as the original concept of design or not. From the research which sees consequently (1) Most of the current model houses show common kind of livingroom by using typical style and arrangement of furniture (TV, couch, table, and decorations such as pictures or other artworks). (2) Actual condition of livingroom is different from model house in furniture arrangement and in using space which is set depending on the residents' preferences and characteristics.(computer, desk, exercising equipments, and instruments etc.) (3) The actual condition of livingroom shows the various behavior pattern of space use as the actual condition of livingroom is a mixture of typical kind of livingroom and the livingroom that reflects the characteristics of residents'.

• 대한지역사회영양학회지
• /
• 제16권6호
• /
• pp.683-696
• /
• 2011

This study compared levels of health beliefs and health behavior practices according to lifestyle pattern among adults in Seoul. A self-administered survey questionnaire was collected from a total of 1,004 Seoul residents aged 30-59 years. The levels of perceived benefit, perceived barrier, and self-efficacy from health belief model and health behavior practices were measured across multiple health behavior areas including dietary behavior, drinking, smoking, exercise, functional food consumption, and weight control behavior. Factor analysis and subsequent cluster analysis based on 28 lifestyle questions divided the subjects into four lifestyles of society-, economy-, trend-, and health-oriented lifestyle. Some general characteristics were significantly different by lifestyles. The society-oriented lifestyle was significantly higher in proportions of men and overweight. The trend-oriented lifestyle was significantly younger and spent more monthly allowance. Health-oriented lifestyle was older. The levels of health belief variables and health behavior practices significantly differed by lifestyles. Overall the health-oriented lifestyle showed more desirable levels of health belief variables and health behavior practice in various health behavior areas compared to the other lifestyles, whereas the society-oriented lifestyle was found the other way. Health belief model variables including perceived benefit, perceived barrier, and self-efficacy were generally significant in predicting the levels of various health behavior practice, with somewhat differences by lifestyle pattern and health behavior type. The study findings suggest it may be useful to segment target subjects according to lifestyle pattern in planning and administering health education programs.

• 한국게임학회 논문지
• /
• 제14권5호
• /
• pp.127-136
• /
• 2014

게임 NPC(Non Player Character)는 게임 플레이어와 대전 또는 협력함으로써 게임의 재미를 증가시키는 중요한 요소이다. 대부분 기존 게임에서 제공되는 NPC 인공지능은 FSM(Finite State Machine)으로 제작되어 행동 패턴이 정해져 있고 능력이 동일한 특징을 갖고 있다. 따라서 이러한 특징을 갖는 NPC들과 대전하는 플레이어는 창조적인 게임 플레이를 진행하는 것이 어려울 수 있다. 본 논문은 이 문제점을 개선하기 위하여 실제 생활에서 늑대들이 먹이를 사냥하는 행동 모델을 게임 NPC의 행동 모델로 제작하고 이를 평가하기 위한 것이다. 이를 위하여 첫째, 실세계에서 늑대들이 먹이를 포획하기 위한 행동 상태들을 조사 연구한다. 둘째, 이 행동 상태들을 Unity3D 엔진을 이용하여 구현한다. 셋째, 구현된 NPC들의 상태 전이 비율과 실세계의 NPC들의 상태 전이 비율, 일반적인 게임 NPC의 상태 전이 비율을 비교한다. 비교 결과, 구현된 NPC들의 상태 전이 비율은 실세계의 상태 전이 비율과 비슷함을 보인다. 이는 구현된 NPC들의 행동 패턴이 실세계의 늑대 사냥 행동 패턴과 유사함을 의미하는데, 이렇게 함으로써 플레이어에게 보다 증가된 사용자 경험을 제공할 수 있다.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2006년도 전기학술대회논문집
• /
• pp.43-44
• /
• 2006

Generally almost all fatigue crack growth is affected by model. For this reason a study on model has concentrated in the field of fracture mechanics. However the fatigue crack initiation and growth in machines and structures usually occur in mixed mode loading. If there is any relationship between the cause of fracture in mixed mode loading and fracture surface, fracture surface pattern will be the main mean explaining reasons of fatigue fracture and obtaining further information about fracture process. In this paper four point shear-fatigue test with Aluminum alloy Al 5083-O is carried out from this prospect and then the mixed mode distribution of fracture surface is examined from the result after identifying the generation of fatigue crack surface pattern. It was found from the experimental results that the fatigue crack surface pattern and the fatigue crack shear direction are remarkably consistent. Furthermore It is possible that the analysis of distribution of mixed mode through the fatigue crack surface pattern.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2001년도 추계학술대회 논문집
• /
• pp.125-128
• /
• 2001

A finite element-based, integrated process model is presented for coupled analysis of the thermal and metallurgical behavior of the strip occurring on the run-out-table in hot strip rolling. The validity of the proposed model is examined through comparison with measurements. The models capability of revealing the effect of cooling pattern on strip temperatures and the optimal cooling pattern are demonstrated through a series of process simulation. In order to improve strip shape and control temperature history of thickness direction for strip during ROT cooling.

• 한국통신학회논문지
• /
• 제28권5B호
• /
• pp.489-499
• /
• 2003

본 논문은 CPN(Colored Petri Nets)을 이용한 Honypot 모델의 설계 및 구현에 관한 것이다. 제안된 Honeypot 모델은 해커의 침입을 능동적으로 유도하고 침입을 탐지 및 행동패턴의 파악을 위해 보안커널 모듈과 유도된 해커의 활동을 위한 가상 모듈로 구성되어 있으며, CPN을 이용한 모델과 기존의 Denning 모델 및 Shieh 모델과 비교 분석하였다. 본 논문에서 제안된 CPN을 이용한 Honeypot 모델은 침입패턴의 특성에 대한 분류가 가능하고, 침입패턴의 모델링과 패턴매칭 과정의 모델링이 가능하며. 다중 호스트를 통한 DDoS 공격의 탐지가 가능하고, 마지막으로 침입패턴의 분석을 위한 학습모델의 기반 제공이 가능하다.