• Journal of Communications and Networks
• /
• v.16 no.4
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.26 no.1
• /
• pp.8-14
• /
• 2020

According to the statistics provided by Korean Maritime Safety Tribunal for the year 2018, the majority of marine accidents in the past four years have occurred in fishing boats and small-sized boats. Negligent behavior resulting from not looking outside and non-compliance with navigation laws are the primary reasons behind ship collisions. Although safety education and training are reinforced to prevent such accidents, they still occur frequently. Hence, technical methods are continuously being developed to reduce ship collisions caused by human cause. The objective of this study is to reduce ship collisions by employing the WAVE communication system, which has short transmitting and receiving periods that can be incorporated for high-speed small-sized vessels. In this study, the suitability of the communication range was examined, and the appropriate range and timing for avoidance motion were accordingly selected, and a control algorithm based on the same was thereby designed. Consequently normal operation of the collision avoidance system was verified by connecting and simulating the proposed WAVE communication router-controller-steering equipment.

• Journal of the Korea Computer Graphics Society
• /
• v.23 no.2
• /
• pp.23-27
• /
• 2017

We propose an inter-leg collision avoidance method that compensates the disadvantage of the data-driven biped control method. The data-driven biped control technique proposed by Lee et. al [1] sometimes generates the movement that the two legs intersect with each other while walking, which can not be realized in walking of a real person or a biped robot. The proposed method changes the angle of the swing hip so that the swing foot can move inward only after passing the stance foot. This process introduces an additional angle adjustment algorithm to avoid collisions with the stance leg to the original feedback rule of the stance hip. It generates a stable walking simulation without any inter-leg collisions, by adding minimal changes and additional calculations to the existing controller behavior.

• Journal of the Korean Home Economics Association
• /
• v.39 no.6
• /
• pp.1-14
• /
• 2001

The purpose of this research is to observe the differences in consumers behavior on clothes care based on their different lifestyles and different demographic characteristics. The research surveyed 267 women of 20 years old or older living in Taegu City. SPSS package was used for data analysis and frequency, percentage, average, standard deviation, factor analysis, cluster analysis, ANOVA(analysis of valiance). and Duncan test were used The results are as follows: 1. Lifestyle factors for the research object were found as 'Consumption-oriented','family-oriented', 'Economic-oriented','Leisure-oriented','conservatism-oriented'. The categories for analysis according to these factors are classified into 5 categories, category 1 is Leisure/Family-oriented group, category 2 Consumption/Leisure avoidance-oriented group, category 3 Economy/Family Apathy-oriented group, category 4 Conservatism-oriented group, and category 5 Consumption/Innovation group. Five factors for behavior on clothes care are found, including washing method, interest in detergent, environmental behavior, washing effectiveness, and management after washing 2. Behavior on clothes care based on lifestyle groups showed a meaningful difference according to the following: Interest in detergent(p<.05 level), environmental behavior(p<.01 level), and washing effectiveness(p< .01 level) 3. In demographic variations (such as age, monthly income, monthly expenditure on clothes), there is a meaningful difference in behavior on clothes care, such as interest in detergent or management after washing, according to different age groups. However, no meaningful difference is found in behavior on clothes care according to other demographic characteristics.

• Research in Community and Public Health Nursing
• /
• v.10 no.1
• /
• pp.252-261
• /
• 1999

The purpose of this study was to investigate the daily stress and stress coping behavior of elementary school children. The subjects for this study were 372 children fourth, fifth and sixth graders from an elementary school in Pusan. We adopted Won - Joo Chung's research instrument (1997) for measuring stress and coping behavior in this study. Statistical techniques such as frequency, percentage, mean, standard deviation, order, and Pearson correlation were used to examine the research questions of this study. The results of this study were as follows: 1. The most common instance of stress to be experienced by all children was the stress from school life, followed by social pressures, individual pressures and family environment. 2. A positive revaluation was the most commonly used stress-coping behavior, followed by behavioral mood conversion, spiritual support, problem-facing behavior, an information search for problem-solving, physical separation for emotional relaxation, avoidance, emotional aggressiveness and emotional expression. 3. Stress-coping behavior had a positive and significant correlation with the stress score(r = .4391, p= .000). In conclusion, the stress from school life was the most common experienced by all children. While independent effort in problem-solving was unsufficient, stress coping behavior had positive results. Therefore, this study verified the necessity of minimizing the stress children experience from school life and of helping them attain desirable stress-coping behaviors.

• The Journal of Society for e-Business Studies
• /
• v.19 no.3
• /
• pp.65-89
• /
• 2014

Although many studies have focused on the influences and outcomes of personal information leakage, few studies have investigated how the personal information leakage prevention behavior differs depending on internet user. This study attempts to supplement the existing studies' limitations with the use of risk perception attitude (RPA) framework. More specifically, this study tries to show internet user can be classified into four groups based on perceived risk of personal information leakage and efficacy beliefs of personal information protection, and to identify how the groups differ in terms of motivation, information seeking, and behaviors for privacy leakage prevention. Analysis on survey data from 276 internet users reveals that the users can be classified into responsive, avoidance, proactive, indifference groups. Furthermore, there are differences between groups in terms of motivation, information seeking, and behaviors for personal information leakage prevention. This study contributes to expand existing literature by providing tailored guidelines for implementation of personal information protection strategies and policy.

• The Korean Society of Law and Medicine
• /
• v.9 no.1
• /
• pp.285-317
• /
• 2008

To accept the doctor's professional negligence in the medical malpractice, the mistakes, by which the doctor did not foresee the production of the results in spite of the possibility of foresight and did not avoid the production of the results in spite of the possibility of avoidance, must be considered, and to decide the presence of the doctor's professional negligence, the standard must be the attention standard of general-common doctor engaged in the same business and the same function, and the medical enviornments, the conditions, the extraordinary nature of medical behavior, and etc should be considered by the general level of medical science at the time of accident. This principlel must be applied to the medical malpractice case occurred being on duty without exception. But, because of the extraordinary nature of duty work, it is difficult for any doctor to do one's best technical practice by making all diagnosis, medical treatment with all the equipment on the same plane as the ordinary times. That cannot be also expected for any doctor to do one's best technical practice in the terms of a social idea. From this point of view looking into The Precedent case related to Medical-service person being on duty sentenced by The Supreme Court, unlike the general medical malpractice case, the presence of the professional negligence in the medical malpractice occurred being on duty seems to be decided with more consideration on the general level of medical science, the medical enviornments and the conditions, particularities of medical practice at the time of accident. Especially, the extraordinary nature of medical behavior of the medical service person being on duty in the emergency room seems to be admitted compared to that of the medical service person being on duty in ward.

• Journal of Navigation and Port Research
• /
• v.44 no.6
• /
• pp.469-476
• /
• 2020

Modeling and Simulation (M&S) systems which deal with situational complexity often require human involvement due to the high-level decision-making that is necessary for ship movement, navigation, control center management, shipping company logistics, meteorological system information, and maritime transportation GIS. In order to properly simulate maritime traffic, it is necessary to accurately model the human decision-making process of the ship officer, including aspects of the ship officer's behavioral tendencies, personal navigation experience, and pattern of voyage errors, as this is the most accurate way in which to reproduce and predict realistic maritime traffic conditions. In this paper, which looks at agent-based maritime traffic simulation, we created a basic survey in order to conduct behavior analysis on ship operators' collision avoidance strategies. Using the information gathered throughout the survey, we developed an agent-based navigational behavior model which attempts to capture the behavioral patterns of a ship officer during an instance of ship collision. These results could be used in the future in further developments for more advanced maritime traffic simulation.

• Asian Pacific Journal of Cancer Prevention
• /
• v.15 no.5
• /
• pp.2231-2238
• /
• 2014

This study investigated how self-rated health and socioeconomic status are associated with behaviour of cancer survivors regarding desire for information. For this association, we compared survivors who did not seek information about cancer with those who did. We examined how sociodemographic, socioeconomic, cancerrelated, and health information factors are associated with self-rated health (SRH) by health information seeking/avoiding behavior in a survey of 502 post-treatment cancer patients. In the information seeking group, all four factors exhibited significant relationships with SRH. SRH values were significantly high for women (p<0.05), non-Hispanic White (p<0.05), and educated (p<0.01) participants, and for those who had high self-efficacy to use health information by themselves (p<0.01). Furthermore, in the information avoiding group, not only were there no significant relationships between socioeconomic status (SES) and SRH, but there were negative associations between their attitude/capacity and the SRH. In terms of communication equity, the promotion of information seeking behavior can be an effective way to reduce health disparities that are caused by social inequalities. Information avoiding behavior, however, does not exhibit a negative contribution toward the relationship between SRH and SES. Information seeking behavior was positively associated with SRH, but avoiding behavior was not negatively associated. We thus need to eliminate communication inequalities using health intervention to support information seeking behavior, while simultaneously providing support for avoiders.

• Knowledge Management Research
• /
• v.21 no.2
• /
• pp.77-100
• /
• 2020

This study conducted a qualitative study on 23 seniors over 55 years old to understand the digital behavior of seniors in the online education acceptance environment. Grounded Theory methodology was applied to the initial enrollment behavior, login behavior, and utilization behavior of online education program. Through the process of open coding, axis coding, and selective coding, the framework in the online education environment of the senior generation was finally derived. As a causal conditions for the senior generation to participate in the online education environment, goal orientation, relationship orientation, leisure orientation and external compulsory were derived, and shadow work appeared as the central phenomenon. Also, contextual conditions resulted in social change, physical and cognitive aging, and psychological atrophy. The intervening conditions included digital device acceptance, educational attitudes, environmental factors, and self-efficacy. Based on this, the action/interactions strategy formed a positive and negative attitude toward shadow work. As a result, positive response behavior, compromising behavior, and shadow work avoidance behavior were shown. It is hoped that this study will be reflected in future researches for the use of digital devices of the elderly and the expansion of online education participation and government policy.