• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• 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.

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2005년도 춘계학술발표대회 논문집
• /
• 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.

• 한국콘텐츠학회논문지
• /
• 제6권10호
• /
• pp.41-52
• /
• 2006

애니메이션은 영화와 마찬가지로 시나리오 구조와 스토리텔링에 의해 다양한 장르로 분류되어 관객들에게 웃음과 눈물, 감동을 선사하여 왔다. 이러한 시나리오 장르의 분류체계와 시나리오 작법은 희곡작법서의 학문에 기초를 두고 있다. 영화이론서 에서 주로 다루어지고 있는 시나리오 작법서와 장르별 분류체계는 그 제작기법과 스토리 라인에서의 차별성에도 불구하고 애니메이션에 그대로 적용시키는 오류를 범하고 있다. 애니메이션은 프레임 바이 프레임 촬영기법과 제작방식의 다양화에 기초한 영화 예술로서 학문적 가치를 가지고 있다. 실사영화 시나리오 작가에 비해 애니메이션 시나리오 작가가 절대적으로 부족한 우리나라의 경우 애니메이션 장르별 분류체계와 시나리오 작법에 관한 학문적 기초를 마련하는 연구가 절실히 필요하다. 본 논문에서는 애니메이션 작품분석을 통해 장르별 분류체계의 학문적 토대를 마련하고자 한다.

• 한국경영과학회지
• /
• 제6권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.

• 한국식생활문화학회지
• /
• 제35권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
• /
• 제30권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년도 정기 학술발표대회
• /
• 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.

• 한국농공학회논문집
• /
• 제58권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.

• 정보과학회 논문지
• /
• 제44권6호
• /
• pp.595-600
• /
• 2017

안드로이드 어플리케이션은 하나 이상의 컴포넌트로 구성되어 있으며 컴포넌트들은 인텐트를 통해 동일 어플리케이션 또는 다른 어플리케이션의 컴포넌트를 호출하여 사용할 수 있다. 이와 같은 컴포넌트 상호작용을 악용한 BroadcastTheft, Activity Hijacking, Intent Spoofing 등과 같은 문제점들을 검사하기 위해서는 다양한 상호작용 시나리오를 생성하여 테스팅을 진행하여야 한다. 하지만 기존 상호작용 테스트 시나리오 생성 연구에서는 각 액티비티 설정에 따라 이전화면으로의 이동시 재실행 순서가 달라지는 안드로이드 특성을 고려하지 않아 실행 불가능한 테스트 시나리오들이 포함될 수 있는 문제점이 있다. 본 논문에서는 액티비티 스택 정보를 이용하여 상호작용 테스트 시나리오에서 실제 실행되지 않는 경로를 제거하는 방법을 제안한다.

• 한국통신학회논문지
• /
• 제42권2호
• /
• pp.403-412
• /
• 2017

BIM 과 ICT 기술이 도입됨에 따라 '클라우드 기반 협업 설계 지원 시스템'에 관한 연구가 활발히 진행되고 있으며 이를 지원하기 위한 새로운 사용자 인터페이스가 필요하게 되었다. 사용자 인터페이스를 개발할 때 실제 사용 시나리오를 기반으로 사용 상황을 예상하고 사용자의 요구사항을 반영할 수 있는 시나리오 기반 디자인 기법을 선택하였다. 하지만 기존의 시나리오 기반 디자인 기법은 귀납적인 방식이기 때문에 이를 통해 사용 시나리오를 작성할 경우에는 모든 사용자의 사용 상황에 대한 대응이 현실적으로 어렵다. 이러한 이유로 귀납적 방식이 아닌 체계적으로 시나리오를 작성하고 수정할 수 있는 새로운 시나리오 작성 기법이 필요하다. 본 연구에서는 기존의 방식을 보완한 다중 시나리오 기반의 디자인 기법을 제안하였고 이를 '클라우드 BIM 기반 협업 설계 지원 시스템'의 사용자 인터페이스 개발 과정에 적용하여 사용성을 검증하였다.