• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.34 no.4
• /
• pp.495-499
• /
• 2010

In this paper, the regulatory guidelines for the continued operation of the CANDU reactor in Korea were introduced. Wolsong Unit 1, which is a CANDU 600 reactor in Korea, will reach its design life of 30 years in 2012. A licensee who wants to operate a nuclear power plant beyond its design life should submit reports of periodic safety reviews (PSRs) conducted on the basis of 11 safety factors. In addition, the licensee should provide the following: (1) scoping and screening results for aging management, (2) aging management program, (3) TLAA, including the continued operation term, (4) operation-experience feedback, and (5) important safety-research results. In this study, 54 regulatory guidelines for the five above-mentioned items for the CANDU reactor in Korea were developed.

• The Journal of the Korea Contents Association
• /
• v.21 no.5
• /
• pp.477-487
• /
• 2021

The purpose of this study is to develop textbooks that can be used in education for developing easy-to-read materials for people with developmental disabilities. The textbook was developed through the steps of analysis of guidelines for making easy-to-read materials, confirmation of the course, development of textbook contents, and verification of validity. The final developed materials were developed as textbooks, including reader classification, vocabulary, symbols, layout, and production practice for the development of easy-to-read materials with a total of 7 sessions. The important characteristics of the textbook developed in this study are: First, it classified readers who read easy-to-read materials for the first time in Korea and introduced them as Plain Language readers and Easy to Read readers. Second, the guideline that can be referenced while developing easy-to-read materials was developed as a checklist, so that it can be checked by itself. Third, thematic activity sheets and workbooks were developed so that they can be used as activity-oriented textbooks.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.457-460
• /
• 2010

연안역이란 해안선을 기준으로 인접해 있는 육지(연안지역)와 바다(연안해역)를 포함한 개념, 즉 인근 해양 환경에 영향을 미치는 배후 육지와 바다를 합친 자연환경 대이다. 국토해양부는 연안역의 공간이동 효율성을 높이고 부존해양자원의 체계적인 개발과 보전을 위해 "연안역관리법" 특별법으로 관리한다. 하지만 연안역의 안전시설물에 대한 체계적인 설계지침이나 유지관리 등의 지침서가 아직 만들어지지 않았다. 따라서 현재 연안역 설치되어 있는 안전시설물에 대한 현장조사를 하였으며 국내 외도로, 해안, 항만구조물의 안전시설기준을 비교, 분석, 정리하였다. 또한 인간공학을 통해 위험을 감소할 수 있는 청각적 시각적 신호 체계를 분석하여 연안역에 맞는 새로운 신호체계를 마련할 토대를 제시하고자 한다.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.342-345
• /
• 2009

연안역이란 해안선을 기준으로 인접해 있는 육지(연안지역)와 바다(연안해역)를 포함한 자연환경 대이다. 건설교통부는 연안역의 공간이동 효율성을 높이고 부존해양자원의 체계적인 개발과 보전을 위해 "연안역관리법"특별법으로 관리한다. 하지만 연안역의 안전시설물에 대한 체계적인 설계지침이나 유지관리 등의 지침서가 아직 만들어지지 않았다. 따라서 현재 연안역 설치되어 있는 안전시설물에 대한 실태조사를 통해 안전시설물의 성능저하의 원인분석을 하였다. 본 연구에서는 설치된 안전 시설물들의 철저한 현장조사를 바탕으로 안전 시설물들의 성능저하의 원인을 시설물별로 분석하여 적절한 설계지침을 마련할 토대를 제시하고자 한다.

• Quality Improvement in Health Care
• /
• v.9 no.1
• /
• pp.66-73
• /
• 2002

The current health care system demands provisions for patient care in perspectives of a cost-effectiveness and patient satisfaction. Critical pathway implementation facilitates optimal sequencing and intervention timing of patient care, and makes medical team and patients participate in a treatment actively. In this study, a critical pathway was developed and implemented to patients with osmidrosis who undertake operation. Sixty patients were included in the study. The critical pathway was implemented for care of 26 patients while the traditional care was implemented for 34 patients. In the critical pathway implemented group, time needed for charting and unessential working was reduced. Mean time amount of time for patient nursing was increased. The critical pathway implementation is an effective method to utilize time of medical team. Also it increases the satisfaction index of patients and medical team simultaneously.

• Journal of Nutrition and Health
• /
• v.28 no.2
• /
• pp.162-169
• /
• 1995

This study was conducted to evaluate the necessity and development of a therapeutic diet manual which contains basic nutritional science concepts that refer to nutritional management of patients in clinical settings. One hundred and fifty-four medical doctors, forty dietitians, and sixty-three students majoring in nutrition participated. The survey included questions about nutritional knowledge, nutrition-related concerns, and nutrition counseling in medical practice. The knowledge score of medical doctors was 47.7%. Lower percentages occurred in the amount of sodium allowed in the sodium restricted diet and the food sources of vitamin B1 were 16.9%, 31.2% respectively. Seventy-four percent of doctors strongly urged nutrition counseling for patients. Seventy one percent of doctors agreed that the present medical-nutrition education was inadequate in medical school curricura. Most doctors (79.2%) agreed that a therapeutic diet manual would be helpful and necessary. The average percentage of nutritional knowledge test scores for dietitians and students majoring in nutrition were 76.0% and 68.3%, respectively. Over ninety percent of dietitians working and their prescriptions. The result of this study strongly suggests that the development of a comprehensive therapeutic diet manual is necessary, especially for medical doctors.

• Journal of Families and Better Life
• /
• v.22 no.4
• /
• pp.15-27
• /
• 2004

This study investigated the factors in evaluating internet shopping mall sites, and developed a self-report evaluation scale of such sites, This article identifies factors to determine criteria for evaluating the sites from the consumers' viewpoint. Eighty three items were extracted initially, which were then categorized as follows: \circled1 Type of business, \circled2 Navigation ease, \circled3 Technological level, \circled4 Design of sites, \circled5 Communication ease, \circled6 Information available, \circled7 Ease of access, and \circled8 Site security, Overall reliability coefficients were high in the individual domains ($\alpha$=.86 to $\alpha$=.95). Face validity and contents validity were demonstrated to be good, There were significant differences in the means of these categories. The results also show that the technological level is the most important in shopping mall sites evaluation. These results may be used not only as a tool to evaluate shopping mall sites but also as a guideline to improve the quality of a shopping mall site that is under development.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2017.05a
• /
• pp.31-32
• /
• 2017

The Korea is conducted performance based on design according to fire fighting law in 2009, but it came out problems related to PBD consistently. Especially, there is no specific guideline or code related to evacuation safety verification. so it came out different results according to designer. This study is looking for each country criteria and suggest the basis data for Manual composition through comparison.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.05a
• /
• pp.768-771
• /
• 2002

국외 환경 소음과 진동은 이미 세계보건기구(WHO)와 UN산하 환경기관에서 선언한 바와 같이 “전세계인의 문제”(“global issues”)로 분류 인식하고 있으며, 이들 문제점들에 대한 접근은 선진국들의 국민 복지정책의 가장 핵심적 요소로 관리하고 있다. 예를 들어, WHO가 출판한 공중소음에 대한 지침서［1］, 그리고 유럽공동체의 전문가 그룹이 작성한 보고서［2］들은 최근의 환경소음에 대한 새로운 접근의 필요성, 새로운 측정 및 평가 방법, 그리고 인체에 미치는 복합적 영향들의 새로운 평가 기법 개발, 그리고 환경 개선을 위한 장기적 계획과 실천 방안들을 구체적으로 제시하고 있다.(중략)