• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.73-75
• /
• 2001

본 논문에서는 다중 스레드 Java 프로그램의 실행 중 처리되지 않는 예외상황을 실행 전에 미리 예측하는 분석 방법을 제안한다. Java에서는 안전성 문제 때문에 다중 스레드 사이에서 예외 상황을 발생시키지 않도록 제한하고 있는데 반해, 본 연구에서는 프로그래머가 자유롭게 다중 스레드 사이에 예외상황을 발생시킬 수 있도록 언어를 확장한 후에 그 프로그램에서 처리되지 않는 예외상황을 예측해낸다. 이 분석 방법은 다중 스레드 Java 프로그램의 각 스레드에서 동시에 수행될 수 있는 부분들을 미리 예측해내고, 이 분석 정보를 이용하여 다중 스레드 사이에서 예외상황을 발생시킬 때 처리되지 않는 예외상황을 예측한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.275-289
• /
• 2000

ML's exception handling makes it possible to describe exceptional execution flows conveniently. Sometimes, current implementation of exception handling introduces unnecessary overhead. Our goal is to reduce this overhead by source-level transformation. To this end, we transform source programs into variant of continuation-passing style(CPS), replacing handle and raise expressions by continuation-catching and throwing expressions, respectively. CPS-transforming every expression, however, introduces a new cost. We therefore use an exception analysis to transform expressions selectively: if an expression is statically determined to involve exceptions then it is CPS-transformed; otherwise, it is left in direct style. In this article, we formalize this selective CPS transformation, prove its correctness, and present possible improvement for our transformation.

• The KIPS Transactions:PartA
• /
• v.14A no.6
• /
• pp.363-370
• /
• 2007

The ubiquitous computing environment could provide better service to users by adapting to changing contexts. In this paper, we developed a context adaptation system, which enables an ubiquitous program to adapt to different contexts, following its adaptation rules. Using this system, programmers can develop ubiquitous programs suitable for changing contexts, by describing the context adaptation policy. The context adaptation engine of this system fits the ubiquitous program to the current context based on the context adaptation rules. This system was implemented using JCAF, context-aware programing framework based on java. A simulator is also provided to simulate ubiquitous programs by changing contexts.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8568-8575
• /
• 2015

This study, as a experiment study, was intended to determine whether or not the situational leadership program was highly helpful to critical thinking, coaching, empowerment-enhancing of nurse managers. The number of subjects was abstracted by G*Power, and 54 nurses leader and 342 general nurses were selected from university hospitals of metropolitan city. Data analysis was frequency analysis, t-test, $X^2$-test, repeated measures ANOVA, using SPSS Win 18.0 statistical package program. The results of this study was as follows. 1. Due to the situation leadership programs, critical thinking of experiment group has significantly increased, but control group was significantly reduced. 2. Due to the situation leadership programs, coaching of experiment group has significantly increased, but control group was significantly reduced. 3. Due to the situation leadership programs, empowerment of experiment group has significantly increased, but control group was significantly reduced. Therefore, the situation leadership programs can be effective in critical thinking, coaching, empowerment of nurse leaders. And applying the situation leadership program to the nurse in future, it would be helpful promoting empowerment, coaching, critical thinking in organization life and cope with situation that occurred during clinical.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.342-356
• /
• 2000

We present a static analysis method to automatically generate test data that raise exceptions in input programs. Using the test data from our analysis, a programmer can check whether the raised exceptions are correctly handled with respect to the program's specification. For a given program, starting from the initial constraint that a particular raise expression should be executed, our analysis derives necessary constraints for its input variable. Correctness of our analysis assures that any value that satisfies the derived constraints for the input variable will activate the designated raise expression. In this paper, we formally present such an analysis for a first-order language with the ML-style exception handling constructs and algebraic data values, prove its correctness, and show a set of examples.

• Monthly Korean Chicken
• /
• v.57 no.51 s.117
• /
• pp.104-108
• /
• 2005

농장을 방문하여 백신 프로그램을 작성해 주다 보면 느끼는 것중 하나가 농장마다 참, 상황이 다양하다는 것이다. 개별 농장별로 환경과 다발 질병이 다르고, 지역적인 차이가 있어서 어느 농장은 콕시디움이 20일령만 되면 발병하고, 어느 농장은 뉴캣슬병이 약하게 스쳐 지나가기도 하는 것을 보아 오곤 했다. 이럴 때마다 농장을 방문하여 느낀 점은 대부분 농장이 가 상황에 맞추어 백신을 접종하고는 있는데, 어떤 경우는 너무 원칙을 무시하고 편법적인 방법을 실시하여 그 효과를 기대하기 어렵게 된 경우도 많았다는 것이다. 각 농장에서 상황에 맞는 백신 프로그램을 전문 수의사와 상의하여 작성하는 것이 가장 좋으나 필치 못할 사정으로 직접 작성시 참조할 수 있도록 상황별 감보로 백신 예방 프로그램을 정리해 보았다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2015.08a
• /
• pp.105-108
• /
• 2015

이 연구는 힐링스토리프로그램의 기초를 구축하고 그 효과를 입증하기 위하여 '친구'의 주제 아래 상황별 힐링스토리를 창작하고, 이것을 적용한 '우리, 친구하자' 독서프로그램을 개발하여 친구관계의 대인관계능력에 미치는 영향을 알아보고자 하였다. 연구결과, 힐링스토리 독서팀이 독서팀보다 대인관계능력이 전체적으로 향상된 것으로 나타났다. 이 연구에서는 일반학생을 대상으로 다양한 상황의 힐링스토리를 창작하여 프로그램에 접목시켰으며 상황을 독서치료의 개념보다는 독서의 큰 범주로 판단하여 독서교육으로 적용하였다.

• The Journal of the Korea Contents Association
• /
• v.14 no.4
• /
• pp.297-313
• /
• 2014

The objectives of this study are to examine the impact of display type and program condition on advertising attitude, and also to analyze the moderating effect of previous intrusiveness perception in such process. The results of empirical analysis are as follows. First, display type had no significant influence on advertising attitude. Second, the interaction effect of display type and program situation on advertising attitude was significant. Third, the interaction effect of display type and previous intrusiveness perception on advertising attitude was not significant. Fourth, the interaction effect of program situation and previous intrusiveness perception on advertising attitude was significant. Fifth, the interaction effect of display type, program situation, and previous intrusiveness perception on advertising attitude was not significant.

• Journal of Korea Multimedia Society
• /
• v.14 no.1
• /
• pp.112-120
• /
• 2011

This research aims to show that the context adaptation system can be used to develop practical context-aware applications by developing a restaurant recommendation system based on location-awareness. In this research, we have designed and implemented a location-aware restaurant recommendation system which provides a customized restaurant recommendation service based on the user's current context. The context-adaptation engine adapts the application program according to the policy file as contexts are changed, and the application provides restaurant recommendation service based on the changed context like location.

• Journal of Korean Library and Information Science Society
• /
• v.36 no.1
• /
• pp.269-307
• /
• 2005

This study is a Practice of bibliotherapy program for housewives in the public library. The Writer describes on process of bibliotherapy program. She then analyzes the situation of Wounded Emotion of Housewives. She divides the situation into six points.