• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2005.05a
• /
• pp.182-186
• /
• 2005

The purpose of this research is to develop subject of up-to-date scientific technology, according with science museum, and to deviate from the old style, simply-seeing display, and the passive display which simply support narrative styles by one-way action. In addition, for motivating audience to take part in the display, this study is to analyze displaying technique, key marks of an exhibit and then to create the way which science museum should follow in order to plan interactive scenario and display technique. By analysis and consideration of museums, which I took for a sample, this study will work out display scenario, based on interactive concept, and experience display technique. Moreover, this study will suggest alternatives and basis in order to develop display technique of up-to-date science in science museum.

• The Journal of the Korea Contents Association
• /
• v.6 no.10
• /
• pp.41-52
• /
• 2006

Animation, presenting laughing, tears and inspiration to the audience, can be classified into several genres according to the structure of scenario and storytelling in the same ways as for movie. This classification of scenario genre and scenario writing is based on the writing for a play. Scenario writing and genre classification that were discussed mainly in the movie theory books has been applied to the animation in spite of the difference of the production technique and storylines. Animation finds its academic values as a movie art due to its frame-by-frame filming technique and the diversity in the production. Since the number of scenario writers for animation is much smaller than that of movie in Korea, it is needed to set an academic basis for the classification of genre and scenario writing. In this study, academic basis for the classification of the genre by the analyzing the animation works.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.6 no.1
• /
• pp.15-23
• /
• 1981

This paper deals with cross impact analysis for technology assessment. The focus of the paper is to develop new technique of cross impact matrix using goal programming method. In this study, the idea of cross impact analysis based on scenario generation method especially SMIC-74 (2) is expanded. Critical literature review on SMIC-74 is presented to discuss the mathematical rationale of consistent probability in cross impact analysis. A new model of cross impact analysis using goal programming to overcome the shortcomings of the scenario generation technique especially SMIC-74 is developed. This new technique is also applied to the assessment of the air pollution problems in Seoul Metropolitan area in Korea. The results of analysis give us following findings 1) Cross impact analysis using goal programming produce more meaningful solutions comparing to those of SMIC-74 2) Theoretical rationale of the objective function in the newly developed technique is more appropriate than that of SMIC-74.

• Journal of the Korean Society of Food Culture
• /
• v.35 no.2
• /
• pp.181-192
• /
• 2020

This study aimed to identify whether or not four service situations varying according to positive and negative combinations of physical evidence and functional service influence store image and purchase behavioral intentions of customers at bulgogi restaurants. The video-scenario technique was used for the study. Data were analyzed with the SPSS (Window 19.0) package using frequency analysis, one-way ANOVA, 2 by 2 factorial ANOVA, exploratory factor analysis, and multiple regression analysis to confirm the hypotheses. The combined effect of functional service and physical evidence influenced store image and purchase intention. In terms of seperate effect of physical evidence and functional service, the effect of employee service on store image was more powerful than that of physical evidence, even though the effect differed depending on the situation. Purchase intention was only influenced by functional service quality from employees under the four different scenarios. Thus, when opening a Korean restaurant, proper management of tangible evidence suitable to service, and the prices expected from local customers should be determined. Additionally, extremely high or low levels of physical evidence management should be avoided.

• Child Health Nursing Research
• /
• v.30 no.2
• /
• pp.142-153
• /
• 2024

Purpose: This study aimed to describe the process of developing a validated pediatric nursing simulation scenario template using the real-time Delphi method. Methods: A panel of 13 pediatric nursing experts participated in a real-time Delphi survey conducted over two rounds. Initially, 83 items were included in the questionnaire focusing on the structure and content of the simulation scenario template. Data analysis involved calculating the content validity ratio (CVR) and the coefficient of variation to assess item validity and stability. Results: Through iterative rounds of the Delphi survey, a consensus was reached among the experts, resulting in the development of a pediatric nursing simulation scenario template comprising 41 items across nine parts. The CVR values ranged from 0.85 to 1.0, indicating a high consensus among experts regarding the inclusion of all items in the template. Conclusion: This study presents a novel approach for developing a pediatric nursing simulation scenario template using real-time Delphi methods. The real-time Delphi method facilitated the development of a comprehensive and scientifically grounded pediatric nursing simulation scenario template. Our template aligns with the International Nursing Association for Clinical Simulation and Learning standards, and provides valuable guidance for educators in designing effective simulation scenarios, contributing to enhanced learning outcomes and better preparation for pediatric clinical practice. However, consideration of cultural and contextual adaptations is necessary, and further research should explore alternative consensus criteria.

• 한국방재학회:학술대회논문집
• /
• 2009.02b
• /
• pp.13-24
• /
• 2009

This paper introduces various kinds of applications of the scenario-based seismic risk assessment in Taiwan. Seismic scenario simulation (SSS) is a GIS-based technique to assess distribution of ground shaking intensity, soil liquefaction probability, building damages and associated casualties, interruption of lifeline systems, economic losses, etc. given source parameters of an earthquake. The SSS may integrate with rapid earthquake information release system to obtain valuable information and to assist in decision-making processes to dispatch rescue and medical resources efficiently. The SSS may also integrate with probabilistic seismic hazard analysis to evaluate various kinds of risk estimates, such as average annual loss and probable maximum loss in one event, in a probabilistic sense and to help proposing feasible countermeasures.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.58 no.2
• /
• pp.91-99
• /
• 2016

To estimate design floods for hydraulic structures, statistical methods has been used in the analysis of rainfall data. However, due to the lack of rainfall data in some regions, it is difficult to apply the statistical methods for estimation of design rainfall. In addition, increased uncertainty of design rainfall arising from the limited rainfall data can become an important factor for determining the design floods. The main objective of this study was to assess the uncertainty of the future design floods under RCP (representative concentration pathways) scenarios using a bootstrap technique. The technique was used in this study to quantify the uncertainty in the estimation of the future design floods. The Yongdang watershed in South Korea, 2,873 ha in size, was selected as the study area. The study results showed that the standard errors of the basin of Yongdang reservoir were calculated as 2.0~6.9 % of probable rainfall. The standard errors of RCP4.5 scenario were higher than the standard errors of RCP8.5 scenario. As the results of estimation of design flood, the ranges of peak flows considered uncertainty were 2.3~7.1 %, and were different each duration and scenario. This study might be expected to be used as one of guidelines to consider when designing hydraulic structures.

• Journal of KIISE
• /
• v.44 no.6
• /
• pp.595-600
• /
• 2017

Android applications are composed of one or more components. The components within an application or several applications may interact with each other primarily through intents. Such interactions may cause security and reliability issues such as broadcast theft, activity hijacking, and intent spoofing. These problems need to be resolved through testing techniques using various interaction test scenarios before an application gets launched. However, with the existing test scenario generation approach, some infeasible test scenarios may be generated since they do not consider the re-execution order based on activity setting when pressing the back button. This paper proposes a test case generation technique which removes infeasible interaction paths by utilizing the activity stack information.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.42 no.2
• /
• pp.403-412
• /
• 2017

With the introduction of BIM and ICT technology, 'Cloud-based collaborative design support system' has been actively researched and new user interface is needed to support it. When developing the user interface, scenario - based design method is selected which based on the actual usage scenarios to anticipate the usage situation and reflect the user's requirements. However, since the existing scenario-based design technique is an inductive method, it is difficult to cover the usage situation of all users when creating the usage scenario. For this reason, there is a need for a new scenario creation method that can systematically create and modify scenarios instead of inductive methods. This study proposes a 'Multi-scenario-based design method' that complemented the existing method and verify its usability by applying it to the user interface development process of 'Cloud-based collaborative design support system'.