• Proceedings of the KIEE Conference
• /
• 1997.11a
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.6
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.415-420
• /
• 2012

It is important to understand the amount of time required to execute an emergency procedural task in a high-stress situation for managing human performance under emergencies in a nuclear power plant. However, the time to execute an emergency procedural task is highly dependent upon expert judgment due to the lack of actual data. This paper proposes an analytical method to estimate the operator's performance time (OPT) of a procedural task, which is based on a measure of the task complexity (TACOM). The proposed method for estimating an OPT is an equation that uses the TACOM as a variable, and the OPT of a procedural task can be calculated if its relevant TACOM score is available. The validity of the proposed equation is demonstrated by comparing the estimated OPTs with the observed OPTs for emergency procedural tasks in a steam generator tube rupture scenario.

• Journal of Korean Academy of Nursing
• /
• v.38 no.2
• /
• pp.332-343
• /
• 2008

Purpose: This study was done to investigate the practice level of 14 health behaviors between male (N=139) and female (N=175) elderly and to identify the barriers to each health behavior of elderly people in Korea. Methods: Data were collected from 314 elderly people (65yr and older) living in metropolitan, urban, and rural areas. Descriptive statistics, $x^2$-test and ordinal logistic regression were used in data analysis using the SPSS Win 15 version. Results: 1) The performances were different in some health behaviors between male and female elderly people. Male elderly showed better performances in balanced diet, regular exercise, and more than 30 min of exercise, while female elderly showed better performances in restriction of fat and cholesterol, restriction on alcohol, and smoking. There were no differences in stress management and health prevention behaviors between the two groups. 2) The common significant barriers in health behaviors of the elderly in Korea were the lack of habit and physical discomfort. However, the lack of perceived benefit was a significant barrier in male elderly. Lack of time and lack of family support were significant barriers in female elderly people in Korea. Conclusion: These results suggest that tailored strategies should be developed considering the gender difference to reduce the main barriers of each health behavior in order to improve the health status of elderly people.

• Korean Journal of Community Nutrition
• /
• v.22 no.3
• /
• pp.238-247
• /
• 2017

Objectives: This study was conducted to investigate providers' perspectives on current challenges in implementing a program for prevention and management of childhood obesity and adoption of mobile phone as a potential solution of leveraging multimodal delivery and support in a school setting. Methods: The qualitative data were collected through face-to-face in-depth interviews with 23 elementary-school teachers, 6 pediatricians, and 6 dieticians from community health centers and analyzed using a qualitative research methodology. Results: Current challenges and potential solutions of obesity-prevention and -management program for obesity program for elementary school children were deduced as two themes each. Lack of tailored intervention due to limited recipient motivation, lack of individualized behavioral intervention, and different environmental conditions can be solvable by mobile technology-based personalized intervention which brings about interactive recipient participation, customized behavioral intervention, and ubiquitous accessibility. Lack of sustainable management due to stigmatization, limited interactions between program providers and inconsistent administrative support can be handled by multimodal support based on school setting using mobile platform providing education of health promoting behaviors toward larger scale and interactive networking between program participants, and minimizing administrative burden. Conclusions: Adoption of mobile-based health management program may overcome current limitations of child obesity program such as lack of tailored intervention and sustainable management via personalized intervention and multimodal supports although some concerns such as increased screen time need to be carefully considered in a further study.

• The Journal of the Korea Contents Association
• /
• v.12 no.9
• /
• pp.422-433
• /
• 2012

The purpose of this study was to investigate leisure constraints based on the types of leisure sports activity(individual, partner, and group activities) in order to lead people to participate in and to continue their leisure sports activities. Data were collected from leisure sports participants in Seoul and Kyungki province. A total of 286 respondents were selected using the convenience sampling method. Leisure constraint's sub-dimensions for the respondents were named as facility and environment, negative perception, lack of condition, risk of injury, and lack of time. As the results of this study, first, respondents felt facility and environmental constraint the most and negative perception constraint the lowest. Second, there were differences in negative perception and lack of condition constraints based on the magnitude of participation. Finally, there were differences in facility and environment, negative perception, lack of condition, and risk of injury constraints based on the types of leisure sports activity.

• Journal of East-West Nursing Research
• /
• v.26 no.2
• /
• pp.196-204
• /
• 2020

Purpose: This study investigates the participation status in clinical nursing education and nurses' continuing education needs to develop educational programs. Methods: Participants were 227 nurses working in medical institutions where nursing students practiced, and the selection criteria were nurses with more than two years of clinical education experience; data were collected using structured questionnaires. Results: More than half of the clinical nurses had completed a preceptor training program for clinical nursing education, and the subjects mainly educated by nurses were new graduate nurses and nursing students. The obstacles to clinical nursing education were lack of compensation, lack of manpower, lack of patient nursing time, excessive workload, and lack of knowledge as educators. The educational methods preferred in continuing education were small-group workshops and online education. The desired educational topics in continuing education were current nursing practice standards, simulation nursing education, and the role of clinical nursing educators. Conclusion: Based on our results, it is necessary to understand the importance of clinical nursing education, which is essential for clinical nurses, to prepare a specific system for them and to develop and operate a systematic education program according to medical institutions' characteristics.

• Asian Pacific Journal of Cancer Prevention
• /
• v.15 no.2
• /
• pp.589-594
• /
• 2014

Few studies have examined reasons why those with low socioeconomic status do not adequately receive cancer screening. We therefore conducted a qualitative study to assess the barriers to cancer screening in people with low socioeconomic status, and to examine the reasons why Medical Aid Program (MAP) recipients do not participate in the National Cancer Screening Program (NCSP). A focus group methodology was used. Participants included MAP recipients (men aged 45-79 years, women aged 35-79 years) who had been invited to cancer screening at least twice based on the NCSP protocol, but had not been screened for any cancer from 2009-2012. We recruited participants living in the cities of Goyang and Paju. A total of 23 MAP recipients participated in four focus group discussions, including 12 men and 11 women. In this qualitative study, we identified six barriers to screening: lack of trust in the NCSP and cancer screening units; fear of being diagnosed with cancer; discomfort or pain from the screening procedure; lack of time, lack of knowledge about cancer screening or lack of awareness of the existence of the NCSP; physical disability or underlying disease; and logistic barriers. Interventions such as individualized counseling, letters and reminders, or other individually-targeted strategies, especially for those with lower socioeconomic status are required to increase participation and reduce disparities in cancer screening.

• Journal of the military operations research society of Korea
• /
• v.7 no.2
• /
• pp.43-62
• /
• 1981

Computational expressions for point availability and average availability of a system of components each of which is subject to random failures and has random restoration times are determined. Each component is assumed to have a fixed number of spares such that where all spares are exhausted no restoration can take place. These expressions are useful in deciding PL and ASL in the military logistic applications. Given a fixed length of mission duration and finite number of spares, a system may not be available at the end of a mission due to lack of spares. The probability distribution of system down time due to lack of spares is determined as a function of number of spares and mission duration.

• Journal of Trauma and Injury
• /
• v.36 no.4
• /
• pp.315-321
• /
• 2023

Pediatric carpal fractures are rare and often difficult to detect. This paper reviews the current literature on pediatric non-scaphoid carpal fractures, with a case report of a lunate fracture associated with a distal radius and ulnar styloid fracture, managed nonoperatively in a 12-year-old boy. There is lack of consensus regarding the management of these fractures due to the low number of reported cases. A frequent lack of long-term follow-up limits our understanding of the outcomes, but good outcomes have been reported for both nonoperative and operative management. This case report brings attention to the current time period for the definition of delayed union in pediatric carpal fractures, and emphasizes the need for prolonged follow-up for the detection of delayed complications leading to functional impairment.