• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.926-939
• /
• 2002

The formal specification methods with probability have been demanded in the area of fault real-time systems, in order to specify the uncertainty that the systems can encounter during their execution due to various environmental factors. This paper presents a new formal method with probability. namely Probabilistic Abstract Timed Machine (PATM), in order to analyze and predict system's behavior in dynamical environmental changes, This method classifies the factors into two classes: the variable and the constant. The analysis of system's behavior is performed on the probabilistic reachability graph generated from the ATM specification for the system. The analysis can predict any possibility that the behavior may not satisfy some safety requirements of the system, indicate which variable factors cause such satisfaction, and further recover from this unsatisfying fault state by fixing the variable factors. Consequently the reliability to the fault real-time systems can be improved.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.12 no.1
• /
• pp.123-132
• /
• 2017

In spite of magnificent growth of The startup education in terms of volumes and varieties, Theoric bases and logics of startup education design are not sufficient and vulnerable. The major reasons of these situations are caused not only by the facts that the startup education has been prepared by the governmental needs but also by the objective in short term period. Considering the fact that the startup educations are also one of classical education itself, it should be adopted the proper education paradigm on its program design. Especially it should be considered of basic education component in startup education design such as education supplier (educator, teacher), education demander (student, educator himself) and education program. In this research, we has reviewed andn proposed efficient design directions and practical strategies for the efficient startup education programs.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.2
• /
• pp.243-262
• /
• 2010

CRESST(the National Center for Research on Evaluation, Standards, and Student Testing at UCLA) is now carrying out the research, which was scheduled for a five year period from 2007 to 2011. This research aimed at testing the effectiveness of the formative assessment program by continuously conducting the program on the target group and steadily applying the recurring feedback, in order to reform the teachers' teaching and to facilitate students' learning. To do this, CRESST has set out to develop the material for 7th graders since January 2007, and KICE(Korea Institute of Curriculum and Evaluation) have been running a collaborated research since July 2007, while sharing the instructional materials developed by CRESST. In 2008, the pre-test was conducted prior to this study in 2009. Especially, this paper deals with the Korean 7th graders' scholastic achievements in algebra domain measured by PowerSource(c). In addition, this study would examine the responses of teachers and students on its application.

• Cartoon and Animation Studies
• /
• s.13
• /
• pp.67-82
• /
• 2008

This exploratory study examined the possibility that the notion, willing suspension of disbelief, can explain the processing of animated spokes-character in advertising. Willing suspension of disbelief has originated from Coleridge's explanation of poetic faith. And the term has been theoretically studied in the response of fiction in creative works, such as cinema, dramas, and advertisements, as well as literature. So far, willing suspension of disbelief has been proposed as a mediator of empathy, cognitive responses and affective responses to fiction. On these theoretical bases, a survey was conducted to 64 people with 3 advertisements to test the validity of the discriminant function. Findings of discriminant function analysis are as follows: First, the variable of willing suspension of disbelief well discriminated between the willing group and the non-willing group. Secondly, the Intensity of willing suspension of disbelief showed statistically significant difference between the willing group and the non-willing group. Thus, according to these results, it is proposed that the effects of the willing suspension of disbelief can be examined as a mediator of the response of fiction in further substantial studios.

• Ecology and Resilient Infrastructure
• /
• v.4 no.3
• /
• pp.123-129
• /
• 2017

This study aims to identify and reduce the gaps of understandings and thoughts of river restoration between river engineers and ecologists by logically re-examining the definition and value of river restoration. For this purpose, function, and goods and services of river ecosystem are analyzed based on the study of those by de Groot et al. (2002). From the result of this analysis, definitions and strategies of presently-known river restoration and its similar activities are re-examined. Next, presently-known river restoration models, ERM (Ecological restoration model), ARM (Amenity restoration model) and semi-ERM (semi-Ecological restoration model), are reinforced in their frameworks. This study is expected to narrow the gap, between the professionals of different fields, of their understandings and thoughts of river restoration.

• Journal of the Korean Society for information Management
• /
• v.33 no.4
• /
• pp.159-174
• /
• 2016

In order to apply the concept of switching costs to the library context, this study aims to identify library users' perceived switching costs, develop and validate a measurement scale for switching costs. A survey involving 210 university students was performed in order to examine the influence of switching costs on the affective commitment and behavioral commitment. Library users' perceived switching costs refer to the procedural and relational costs involved in switching from one library to another. The results of this study show that two types of switching costs as well as library service satisfaction have positive influences on affective commitment, which in turn affects behavioral commitment. The theoretical and practical implications of this study are discussed.

• The Journal of the Korea Contents Association
• /
• v.17 no.4
• /
• pp.444-460
• /
• 2017

The duration of volunteering can be analyzed in terms of commitment and attachment. Previous studies have investigated the duration of volunteering predominantly from the perspective of commitment. Alternatively, this study focuses on the concept of attachment and investigates the characteristics of those who volunteer habitually over their whole life, regardless of the regularity and the intensity of the volunteer work. In so doing, the study attempts to identify factors associated with the attachment to volunteering. Data came from a sample of 8,415 participants, ages over twenty who responded to all the surveys of the Korea Welfare Panel Study, from Wave 1 to 10. Zero-inflated negative bionomial regression model was employed to analyze the total number of volunteering in the past ten years. Findings show that people with high attachment to volunteering were those with religion, less education, and a strong sense of reciprocity. Based on the findings, we provide the practical implications for the improved operation and management of volunteer organizations.

• School Mathematics
• /
• v.15 no.4
• /
• pp.847-866
• /
• 2013

The purpose of this study was to analyze students' various solution methods revealed in the lessons of finding out the area of plane figures, and to explore instructional implications on how to draw meaningful formalization out of such multiple methods. The teacher in this study tended to select a few solution methods that were easy for students to understand and to induce formalization. An analysis of students' solution methods and the process of formalization showed that students need to understand what parts of the length of the given plane figure they should know, and to identify the base, height, and diagonal line of the figure. The analysis also showed that it was effective to choose the solution methods that were used by many students and that could be easily transformed into a concise formula. Based on these results, this paper provides instructional suggestions for a teacher to orchestrate classroom discussion toward formalization based on students' multiple solution methods.

• Journal of the Korean Institute of Gas
• /
• v.13 no.1
• /
• pp.52-60
• /
• 2009

This study reflects the concept of risk-based design to present a systematic design means and a method to adjust regulations and standards towards a more reliable direction within the current law. In order to enhance the early design concentration and level in the part of safety design, a new Advanced Safety Analysis Table (ASAT) was developed to provide information on the systematized safety design element from the early design phase. Furthermore, a guideline was put forth about the selection of a safety device according to process trouble, on the basis of the ASAT. To apply the proposed ASAT and the selection method of a safety device according to process troubles, the ASAT was executed for the PGC (Process Gas Compressor) of the NCC (Naphtha Cracking Center), and the result of selecting the safety device was analyzed according to process trouble.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.17 no.2
• /
• pp.129-136
• /
• 1999

The quality of image classification results is not always uniform over entire image. Thus, this study proposes the concept of ISDd (Index of Spatial Distribution by distance) and ISDs (ISD by scatteredness) for the evaluation of unevenness of result quality, and spatial distribution of satellite image classification errors. The ISDd is indexed mean distance of misclassified pixels and the ISDs is statistical indicator of scatteredness of misclassified pixels. In this study, the ISDd and the ISDs are calculated and evaluated for some satellite images, then misclassified area is extracted and the reasons of misclassification are examined. As the result of this study, using both the ISDd and the ISDs, the basis of decision on adoption/rejection of classification results is offered at sub-image level by evaluation of the local aggregation of misclassified pixels. Using Index of Spatial Distribution. as well as overall classification accuracy, users can understand the spatial distribution of misclassified pixels, and can have the additional criterion of the judgement on suitability and reliability of classification results.