• Journal of Information Processing Systems
• /
• v.15 no.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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.11
• /
• pp.1201-1206
• /
• 2014

This paper presents the development of an event-based operator model of a wheel loader for virtual V-pattern working. The objective of this study is to analyze the performance and dynamic behavior of the wheel loader for a typical V-pattern. The proposed typical V-pattern working is divided into four stages. The developed operator model is based on eight events, and the operator's inputs are occurred sequentially by event. A 3D dynamic simulation model of the wheel loader is developed and used to analyze the dynamic behavior during working, and the simulation results are compared with the experimental data of V-pattern working. The proposed 3D dynamic simulation model and operator model are constructed using MATLAB/Simulink. The proposed operator model for V-pattern working is expected to enable evaluation of the working performance and dynamic behavior of the wheel loader.

• Journal of Korean Society of Transportation
• /
• v.15 no.4
• /
• pp.35-51
• /
• 1997

The main objective of this research is to develop urban workers' daily travel pattern choice model. For this research, a hovel pattern choice model was empirically estimated by using a survey data collected from Kyongsan and Yeungchun City. For this research, a nested logit model structure was employed. For the model specification, it is hypothesized that urban workers' daily travel pattern choice behavior is represented by two stages of choices with single-destination or multi destination travel pattern choice as the higher stage, and the number of tours as the lower stage. The urban workers' daily travel pattern choice model developed in this research yields intuitively reasonable results. From the empirical results, it is found to be sensible to represent urban workers' daily travel patterns as the nested logit model structure Hypothesized in this research. furthermore, future directions of model development are suggested.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.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.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.9 no.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'.

• Korean Journal of Community Nutrition
• /
• v.16 no.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.

• Journal of Korea Game Society
• /
• v.14 no.5
• /
• pp.127-136
• /
• 2014

NPC in game is an important factor to increase the fun of the game by cooperating with player or confrontation with player. NPC's behavior patterns in the previous games are limited. Also, there is not much difference in NPC's ability among the existing games because it's designed to FSM. Therefore, players who have matched with NPCs which have the characteristics may have difficulty to play. This paper is for improving the problem and production and evaluation of the game NPC behavior model based on wolves hunting model in real life. To achieve it, first, the research surveys and studies behavior states for wolves to capture prey in the real world. Secondly, it is implemented using the Unity3D engine. Third, this paper compares the implemented state transition probability to state transition probability in real world, state transition probability in general game. The comparison shows that the number of state transitions of NPCs increases, proportions of implemented NPC behavior patterns converges to probabilities of state transition in real-world. This means that the aggressive behavior pattern of NPC implemented is similar to the wolf hunting behavior pattern of the real world, and it can thereby provide more player experience.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2006.06a
• /
• 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.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2001.10a
• /
• 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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.5B
• /
• pp.489-499
• /
• 2003

This paper is a study about Honey-pot Model using CPN(Colored Petri Nets) that is a method of intrusion detection. Suggested Honey-pot model consists of two parts : \circled1 security kernel module for active induction of hacker's intrusion, intrusion detection and behavior pattern analysis. \circled2 virtual module for activity of induced hackers. However, suggested model was compared and analysed with conventional Denning model and Shieh nodel. The Honey-pot model using CPN can classify the characteristic of intrusion pattern, modeling intrusion pattern and pattern matching procedure, detect DDoS attack through multi hosts, and provide basis of study model for analysing intrusion pattern, finally.