• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.135-138
• /
• 2003

This paper considers a verification problem on EJB(Enterprise JavaBeans). We select SPIN as a automatic verification tool and consider an instance management specification of CMP(Container Managed-Persistence) entity bean. By showing the verification procedure, we can conclude that SPH can be used to verify EJB systems.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2013.08a
• /
• pp.3-6
• /
• 2013

이 연구는 인용된 웹자원에서 웹사이트의 지속성을 알아보기 위한 것이다. 연구에서 사용된 데이터는 한국정보관리학회지에 수록된 각 연구논문의 참고문헌이다. 연구논문 대상 참고문헌은 2001년부터 2002년까지이다. 이를 통해 웹페이지의 콘텐츠 효용성을 알 수 있을 것이다.

• Journal of The Korean Association of Information Education
• /
• v.15 no.3
• /
• pp.449-458
• /
• 2011

The purpose of this study is to investigate the effects of task value and perceived usefulness on learning outcomes. This study also examined the mediating effects of teaching presence in their relationships. As a result, task value and perceived usefulness significantly predicted learning outcomes (learning flow and learning persistence). In addition, teaching presence mediated between task value, perceived usefulness and learning outcome. This findings imply that task value, perceived usefulness, and teaching presence should be valued to enhance learning outcomes in Cyber university.

• Molecules and Cells
• /
• v.39 no.11
• /
• pp.777-782
• /
• 2016

The innate immune system has evolved to detect and destroy invading pathogens before they can establish systemic infection. To successfully eradicate pathogens, including viruses, host innate immunity is activated through diverse pattern recognition receptors (PRRs) which detect conserved viral signatures and trigger the production of type I interferon (IFN) and pro-inflammatory cytokines to mediate viral clearance. Viral persistence requires that viruses co-opt cellular pathways and activities for their benefit. In particular, due to the potent antiviral activities of IFN and cytokines, viruses have developed various strategies to meticulously modulate intracellular innate immune sensing mechanisms to facilitate efficient viral replication and persistence. In this review, we highlight recent advances in the study of viral immune evasion strategies with a specific focus on how Kaposi's sarcoma-associated herpesvirus (KSHV) effectively targets host PRR signaling pathways.

• Korean Journal of Child Studies
• /
• v.25 no.2
• /
• pp.1-18
• /
• 2004

This study examined the relation between children's interpersonal problem solving strategies and their temperament. Two hundred and fifty nine children of the 3rd and the 5th grades were chosen from 3 elementary schools as the subjects. Data from two hundreds and six children were analysed. Alternative problem solving strategies as one of children's interpersonal problem solving strategies and their temperament were analysed according to their grade, sex, and the target persons. Children showed age and sex differences in using strategies; the 3rd graders used more solutions than the 5th graders in affirmative strategies and the girls used more solutions than the boys in affirmative strategies, but showed no differences in using negative strategies. In temperament, the 3rd graders were higher in Persistence than the 5th graders, the boys were higher in activity and the girls were higher in mood. Temperament of the children had relations with their using alternative problem solving strategies when the target persons were peers or teachers but not mothers. Persistence and mood, which are the subcategories of temperament had relations with affirmative strategies for the 3rd graders.

• Journal of Environmental Science International
• /
• v.13 no.2
• /
• pp.117-127
• /
• 2004

The purpose of this study is to present the conditions and methods for keeping the sustainability of the landscape resources of the East Coast of Gangwon province, the Republic of Korea by investigating the landscape resources management in the area and pointing out its problems. The unit of analysis in this study is four cities and two counties located along the national road route seven in Gangwon province. The classification and characteristics of the landscape resources in this area was analyzed by a literature review, and we surveyed the tourists visiting the area and statistically analyzed the data in order to examine their satisfaction with the landscape resources management and make recommendations. The problems of the landscape resources management are: 1) the disturbance of the persistence of life by reclamation, the population reduction in the ecosystem due to the overload in environmental capacity, and the severance of space between land and water. 2) the reduction of the benefits from indirect experience by interfering with the conservation of fluxes --- the manipulation of horizontal arrangement of the landscape resource, the visual disturbance by the construction of high-storied buildings, and the disharmony between the color/image and the environment. The means for keeping sustainability of the landscape resources include the regulations of development and use, the change in the recognition of the value of landscape resources and the moral system, and the improvement of resource management skills.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.301-306
• /
• 2006

본 연구에서는 강우의 시 공간적 분포의 불규칙한 변동성을 고려한 강우-유출예측을 위해 인공신경망(Artificial Neural Networks: ANNs)의 기법의 일종인 자기조직화(Self Organizing Map: SOM) 이론과 역전파 학습 알고리즘(Back Propagation Algorithm: BPA) 이론을 복합적으로 이용하였다. 기존의 인공신경망 연구에서 야기된 저..갈수기의 유출량에 대한 과대평가, 홍수기의 유출량에 대한 과소평가, 예측값이 선행 유출량의 지속성을 갖는 Persistence 현상을 해결하기 위하여 패턴분류 성능을 지닌 SOM 이론을 도입하여 예측모형의 전처리 과정으로 이용하였다. 이는 기존의 인공신경망 모형이 하나의 모형을 구성하여 유출량의 전 범위에 해당하는 자료를 예측하는 방법을 개선한 것으로 SOM에 의해 패턴이 분류된 강우-유출관계의 각 패턴별 예측모형을 통해 분류된 자료들의 예측을 수행하는 방법이다. 이와 같이 SOM을 강우-유출예측모형의 전처리과정으로 이용함으로서 기존의 인공신경망 연구에서 야기된 현상들을 해결할 수 있었고, 예측력 또한 기존의 인공신경망 모형의 결과에 비해 우수하였다.

• The KIPS Transactions:PartC
• /
• v.8C no.2
• /
• pp.221-233
• /
• 2001

오늘날 이동 에이전트 기술은 네트워크 트래픽을 효과적으로 줄이고, 서버의 인터페이스를 바꾸지 않고 클라이언트의 다양한 요청을 융통성 있게 서비스할 수 있는 기술로 여겨지고 있다. 그러나 대부분의 이동 에이전트 시스템들은 그들 자신의 구조를 적용하고 다른 방법으로 구현되어, 특정 이동 에이전트 시스템에서 생성된 이동 에이전트는 다른 에이전트 시스템에서는 사용될 수 없다. 이러한 문제를 해결하기 위하여 OMG(Object Management Group)는 이질적인 에이전트 시스템간의 상호운용선(interoperability)을 증진시킬 목적으로 이동 에이전트와 에이전트 시스템간의 공통된 개념적인 모델에 대하여 기술한 MAF(Mobile Agent Facilities) 명세를 제안하였다. 본 논문에서는 OMG MAF 명세를 만족하는 자바 기반의 SMART 시스템에 관하여 기술한다. SMART 시스템은 MAF 명세에 따른 이동 에이전트간의 상호운용성을 지원하고, MAF 명세에서 권장하는 보안 모델을 기반으로 한 독자적인 보안 기능을 제공한다. 또한 보다 안정된 에이전트 시스템의 운영을 위하여 자체적인 에이전트 및 에이전트 시스템의 영속성(persistence)과 예외처리를 지원한다.

• The KIPS Transactions:PartC
• /
• v.17C no.6
• /
• pp.451-458
• /
• 2010

To detect and recover packet losses over wireless links is very important in terms of reliability in packet transmission. Most wireless communication systems adopt an automatic repeat request (ARQ) protocol operating at link layer. However, it has been constantly addressed that the interaction not harmonized sufficiently between ARQ and TCP rather degrades TCP performance. In this paper, therefore, we propose an improved scheme from the aspect of the interaction with TCP loss recovery mechanism that can be applied to selective repeat ARQ (SR-ARQ) protocol and prove that the proposed scheme improves TCP performance significantly by OPNET simulations.

• Journal of the Korean Society of School Health
• /
• v.23 no.2
• /
• pp.181-191
• /
• 2010

Purpose: The purpose of this study is to analyze the drinking status and to identify the impacts of depression, temperament, characteristic on drinking status in the vocational high school students. Methods: By using stratified sampling, 416 vocational high school students in Gangwon Do were selected and surveyed through self -administered questionnaires. Data were analyzed by SPSS 12.0 using $x^2$-test, t-test, ANOVA, Pearson correlation coefficient and multiple regression. Results: 88% of students had experienced of drinking. Depression was observed 59.1% of students from light to severe depression score. There was a positive correlation among drinking, the school records, novelty seeking, reward dependence and persistence. Also, there was a negative correlation among drinking, economic status, harm avoidance. The significant predictors of drinking were school records, depression, novelty seeking and persistence. Conclusion: These results suggest that vocational high school students who have the factors identified in this study are regarded as having the potential to drink. The results of this study can provide the information for the development of the health promotion program.