• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of Korean Society of Rural Planning
• /
• v.18 no.3
• /
• pp.91-101
• /
• 2012

The purposes of this study were to identify the living environment in rural fishing area and to suggest checking methods for implementation performance. Rural service standard is the key factor of rural development in Korea. In 2012. The first Implementations of performance was announced. The results were presented to the unit by the City and the County. Because of Fishing villages exists as a unit by the haengjeongri. It is difficult to know the status of the fishing villages by the Rural service standard. In order to look for the actual conditions in rural fishing village it was investigated in the 100 Eochongye. The data used in the analysis is 577 questionnaires. Analysis showed that rural fishing areas were superior to general state of rural in the 8 items of rural service standard. Especially housing, transportation and health care sector in rural fishing area wes better than general state of rural. But Public safety and order is relatively poor. This is because Fishing village contains islands. Presenting to improve rural service standard based on the results of research. The items of rural service standard should be measured the actual residents' accessibility than opportunity of the public service, and after setting the rural service standard clearly related to the quality of life of residents in each sector. Accessibility aspects of the customer for the public services should be considered. Checking the performance for the unit by the City and the County should be replaced as a living zone in order to consider the facilities using nearby.

• Nutrition Research and Practice
• /
• v.9 no.5
• /
• pp.517-522
• /
• 2015

BACKGROUND/OBJECTIVES: The objective of this study was to investigate food allergens and prevalence rates of food allergies, followed by comparison of consumer attitudes and preferences regarding food allergy labeling by diagnosis of food allergies. SUBJECTS/METHODS: A total of 543 individuals living in Seoul and Gyeonggi area participated in the survey from October 15 to 22 in 2013. RESULTS: The results show that the prevalence of doctor-diagnosed food allergies was 17.5%, whereas 6.4% of respondents self-reported food allergies. The most common allergens of doctor-diagnosed and self-reported food allergy respondents were peaches (30.3%) and eggs (33.3%), respectively, followed by peanuts, cow's milk, and crab. Regarding consumer attitudes toward food labeling, checking food allergens as an item was only significantly different between allergic and non-allergic respondents among all five items (P < 0.001). All respondents reported that all six items (bold font, font color, box frame, warning statement, front label, and addition of potential allergens) were necessary for an improved food allergen labeling system. PLSR analysis determined that the doctor-diagnosed group and checking of food allergens were positively correlated, whereas the non-allergy group was more concerned with checking product brands. CONCLUSIONS: An effective food labeling system is very important for health protection of allergic consumers. Additionally, government agencies must develop policies regarding prevalence of food allergies in Korea. Based on this information, the food industry and government agencies should provide clear and accurate food labeling practices for consumers.

• Journal of the Korean Society of Food Culture
• /
• v.34 no.1
• /
• pp.34-43
• /
• 2019

The aim of this study was to develop and evaluate a nutrition education program that was designed to increase the knowledge, attitudes, and skills of Korean adults regarding nutrition labeling. The education program was 45 minutes of short-term training, which was conducted in the form of lectures and exercises. The contents of the program were as follows: in the introduction stage, talking about status and reasons for checking nutrition labels; in the development stage, explanation of nutrition labeling and their content, reading, and identifying sample nutrition labels, as well as comparing nutrition labels and selecting better foods; in the closing stage, summary of nutrition labeling and a pledge to check nutrition labels when purchasing processed food. A total of 53 adults (88.5% female) aged 30 years and over participated in this study. The nutrition labeling awareness of the subjects was increased significantly from 55.8 to 96.2% after the education. After the education, the correct recognition rate of a nutrition label was increased significantly from 26.9 to 78.8% for the amount of food, from 25.0 to 73.1% for the calorie content, from 36.5 to 69.2% for the nutrient contents, and from 30.8 to 82.7% for the percent daily value. The self-efficacy of checking nutrition labels was also increased significantly compared to that before the education. The overall satisfaction score of the nutrition education program was 4.2 out of 5. The outcome showed that the nutrition education program of nutrition labeling improved the participants' awareness and self-efficacy towards checking nutrition labels.

• Journal of architectural history
• /
• v.31 no.4
• /
• pp.17-28
• /
• 2022

This study aims to investigate and reveal the spatial structure of Boryeonghyeon by examining the geographical status of its Eupchi (Local administrative center:邑治) through an analysis of the location, tracing locations of governemnt offices including Dongheon(東軒) and Kaeksa(客舍) in the walled town, and checking the lot numbers of Sajikdan(社稷壇), Yeodan(厲壇), and Cheongyeonyeok(靑淵驛) outside it. Buildings of Boryeonghyeon in the walled town in the Joseon Dynasty were almost lost and now, part of the city wall and Haesanru(海山樓) just remains as relic. The walled town consisted of several buildings of government offices as well as Dongheon and Kaeksa which are government organs. Altar and shrine(壇廟) facilities including Shrine of Confucius(文廟), Altar of Land and Grain, and Preceptor's Shrine were placed outside the walled town and Cheongyeonyeok were operated as the facilities for transmission of royal orders. Therefore, the government office facilities in the walled town, altar and shrine facilities outside the fortress, and the location of the post station were required to trace and check each of them. For the checking method, the lot numbers could be checked by checking the original cadastral maps and the then land categories and owners, analyzing the records and circumstances of the relevant township annals(邑誌), and examining analyses on the locations by using a numerical map of one to 5 thousands. The study estimated the locations of government facilities including Dongheon and Kaesa placed in the walled town and was grasped to be the east and west gates with the south gate which remains now in the fortress. And the lot numbers of Sajikdan, Yeodan, Cheongyeonyeok.

• Journal of the Society of Disaster Information
• /
• v.20 no.1
• /
• pp.60-68
• /
• 2024

Purpose: When designing plants and workplaces such as handling and using chemicals, a system that can automatically determine whether the design has been made in compliance with domestic safety management laws is established to shorten the review time and increase accuracy. Method: Safety design standards for chemical handling and use workplaces were investigated, and types and systems were derived that could automatically judge design errors by dividing the articles into semantic units. Result: An automatic design review method performed when designing a building was proposed, and a system that can review the safety design requirements required when designing a chemical handling business site through the development of a rule checker was proposed. After confirming whether the law is subject to application, the safety design rules are classified into semantic units through preprocessing. The classified results can be classified into four types, and the specifications, space, conditions, situations, and specific devices and facilities to reinforce safety were analyzed as representative types. It proposes a system that prepares a diagram for the safety design rule and allows it to be reviewed through the rule checker program.

• Journal of Korean Public Health Nursing
• /
• v.5 no.2
• /
• pp.5-25
• /
• 1991

This study was conducted from July to December 1990, in order to diagnose nurses' educational need for home care. The study subjects consisted of 145 nursing educators, and the 3 groups of nurses, namely 250 senior nursing students of diploma and collegiate program, 235 health center nurses, 521 university' hospital nurses in Seoul. Four types of questionaires were formulated by Delphi method. Two questionaires for the nursing educators were designed to measure their expectations of nurses' knowledge and of their skill for home care, and another two questionaires for the nurses to measure their actual home care knowledge and skill. The results of the study were as follows : 1) The mean scores of educators' expectation for home care knowledge were 17.68 for the care of dependence on medical equipment, 17.44 for the care of mobility impairment patient, 16.56 for the care of cardiopulmonary impairment patient, 16.40 for the care of nutrition and elimination impairment patient, '1.20 for the care of psychiatric disorder patient and 9.03 for the care of cancer and terminally ill patient,. 2) The mean scores of nurses' home care knowledge tested by 20 items were 14.36 for the care of mobility impairment patient, 13.28 for the c8;re of dependence on medical equipment, 13.78 for the care of cardiopulmonary impairment patient, 12.92 for the care of nutrition and elimination impairment patient, and those of tested by 10 items were 7.08 for the care of psychologic disorder patient, 7.80 for the care of cancer and terminally ill patient. The sum of means marked 69.23. As for the nurses' home care knowledge categorized by tasks in terms of the group, significant difference were shown in the care of mobility impairment(P=0.00), cancer and terminally ill(P=0.03), nutrition and elimination impairment(P=0.00) and psychologic disorder patient(P=0.00). No significant difference were shown in the care of dependence on medical equipment and cardiopulmonary impairment patient. 3) Regard to educational need of nurses' home care knowledge categorized by task according to the group it was found that all sampled nurses had educational need in the care of mobility impairment, dependence on medical equipment, cardiopulmonary impairment, cancer and terminally ill patient. It was found that health center nurses had educational need in the care of psychologic disorder. No educational need were found in the health center nurses whose career less than 2 years, in the care of mobility impairment, cardiopulmonary impairment and psychologic disorder patient, and in those of career with 2-5 year in the care of psychologic disorder patient. No educational need were found in the hospital nurses whose career more than 15 years, in the care of cardiopulmonary impairment patient and in those of career with 11-15 year, in the care of cancer and terminally ill patient. 4) The mean scores of educators' expectation for home care skill measured by Likert 5 points scale were 4. 21 for assessing, 4.49 for planning, 4.29 for basic care, 4.42 for curative care, 4.40 for rehabilitative care, 4.36 for emergency care, 4.53 for medication, 4.31 for nutritional care, 4.32 for other means for care, and 4.38 for evaluation. 5) Regard to nurses' home care skill measured by Likert 5 points scale of self evaluation, there was a significant difference between the nurses' home care skill and group(P=0.00l). The higher scores reported by students were vital sign checking and basic care while the scores of below medium were curative care and emergency care. The higher scores reported by health center nurses were vital sign checking, other means for care and care of specimen while the scores below medium were curative, emergency and nutritional care. The higher scores reported by hospital nurses were vital sign checking, care of specimen and basic care, while the score below medium was emergency care. 6) Regard to educational need of nurses' home care skill by nursing process activity according to the group it was found that health center nurses had educational need in all nursing skills including vital sign checking, care of specimen, health assessment, socioeconomic assessment, nursing diagnosis, care plan, basic care, curative care, rehabiitative care, psychological care, emergency care, medication, nutritional care, other means for care and evaluation. And students had educational need in all nursing skills except vital sign checking, and hospital nurses had educational need in all nursing skills except vital sign checking, care of specimen and basic care. 7) In short, the result of this study suggests that the curriculum should be organized in accordence with nurses' educational background and their career for the education of nurses for home care. It should be considered to develop the short term educational program focused on curative and rehabilitative care for health center nurse or community health nurse practitioner and which was focused on family care for hospital nurse. Concerning about this field practice for home care nurse, they are required not only community practice but also . clinical practice including emergency, curative and rehabilitative care.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.43 no.2
• /
• pp.309-317
• /
• 2014

The purpose of this study was to investigate convenience foods at convenience stores, by examining consumption patterns, as well as the degree of checking food-nutrition labeling. In this study, 208 workers in Busan in their 20s or 30s were surveyed using 1:1 interview questionnaires. The weekly usage frequencies of cup-ramyeon, gimbap, ramyeon, and sandwiches were 41.0%, 39.4%, 32.7%, and 19.0% respectively. The usage frequency of convenience foods was 12.0% for 'over 5 times/week', 23.0% for '3~4 times/week', 31.7% for '1~2 times/week', 29.8% for '1~2 times/month', and 3.4% for zero usage. Workers in their 20s showed a significantly (P<0.05) higher rate in the '3~4 times/week' as well as '1~2 times/week' intervals than workers in their 30s. Single people showed a significantly (P<0.01) higher rate than married people. Workers in their 20s showed a significantly higher score for the '3~4 times/week' as well as '1~2 times/week' intervals (P<0.05). The mean score of checking food labeling was 4.02/5.00 for the manufacturer's date, or expiration date, 3.23/5.00 for weight or volume, 2.99/5.00 for cooking method, and 2.85/5.00 for storage method. Females showed significantly (P<0.01) higher rates for checking the manufacturer's date or expiration date, as well as source of the raw material. Single workers showed significantly (P<0.01) higher rates for checking the manufacture's or expiration date as well as storage method. The mean score for checking nutrition labeling was 3.06/5.00 for calories, 2.84/5.00 for trans fat, 2.80/5.00 for sodium, and 2.76/5.00 for cholesterol. Females showed a significantly (P<0.01) higher rate for six of 10 items. Workers in their 20s showed a significantly (P<0.05) higher rate for four of 10 items. Expert officials showed significantly higher rate for six of 10 items (P<0.05) and two of 10 items (P<0.01), respectively.

• Journal of The Korean Association For Science Education
• /
• v.32 no.4
• /
• pp.671-685
• /
• 2012

In this study, we developed an analogical experimental design strategy emphasizing understanding and checking stages and applied it to four groups consisting of 7th grade science-gifted students. We classified the patterns of experimental design processes and analyzed the verbal interactions among the science-gifted students at the levels of turn and interaction unit. The analyses of the results reveled that three groups were relevant to reinitiated motion and the other to backward-divergent motion. In the analyses of turn and interaction unit, the frequencies of the statements related to the task were high, especially 'making suggestion' and 'elaborated symmetrical interaction'. The analyses for each stage of strategy indicated that the frequencies of 'explain', 'question', and 'cumulative interaction' at understanding stage were high. At designing stage, the frequencies of 'making suggestion', 'cumulative interaction', and 'disputative interaction' were found to be high. At checking stage, 'making suggestion', 'receiving opinion', and 'disputative interaction' were high. In the comparison of the patterns, the qualitative differences among interaction unit were found at all the stages, whereas there were differences only between designing and checking stages in the turn cases. Educational implications of these findings are discussed.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.416-425
• /
• 1999

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.