• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.5
• /
• pp.1029-1036
• /
• 2007

State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.2
• /
• pp.327-336
• /
• 2014

Recurrent event data occurs when a subject experiences same type of event repeatedly and is found in various areas such as the social sciences, Economics, medicine and public health. To analyze recurrent event data either a total time or a gap time is adopted according to research interest. In this paper, we analyze recurrent event data with incomplete observation gap using a gap time scale. That is, some subjects leave temporarily from a study and return after a while. But it is not available when the observation gaps terminate. We adopt an interval censoring mechanism for estimating the termination time. Furthermore, to model the association among gap times of a subject, a frailty effect is incorporated into a model. Programs included in Survival package of R program are implemented to estimate the covariate effect as well as the variance of frailty effect. YTOP (Young Traffic Offenders Program) data is analyzed with both proportional hazard model and a weibull regression model.

• Journal of KIISE:Databases
• /
• v.30 no.4
• /
• pp.372-380
• /
• 2003

Temporal databases support time-varying events so that conventional aggregate functions are extended to be processed with time for temporal aggregate functions. In the previous approach, it is done repeatedly to find time intervals and is calculated the result of each interval whenever target events are different. This paper proposes a method which processes temporal aggregate function queries using time point sequence. We can make time point sequence storing the start time and the end time of events in temporal databases in advance. It is also needed to update time point sequence due to insertion or deletion of events in temporal databases. Because time point sequence maintains the information of time intervals, it is more efficient than the previous approach when temporal aggregate function queries are continuously requested, which have different target events.

• 정보보호뉴스
• /
• s.137
• /
• pp.42-45
• /
• 2009

지난해 옥션, SK브로드밴드, GS칼텍스 등의 고객정보 유출사건이 반복적으로 발생하면서 집단소송제 제기 등 개인정보보호의 문제는 사회적인 분쟁으로 확산되고 있는 실정이다. 이런 상황에서 정부의 안일한 대응과 체계적이지 못한 시스템 미비 등이 문제의 근원으로 지적되고 있다. 하지만 보다 근본적인 원인은 바로 턱없이 부족한 개인정보보호의 예산과 실효성 없는 대책에 있다. 따라서 일련의 사건들이 재발되지 않고 개인정보 유출이라는 불법행위가 근절되기 위해서는 개인정보보호 예산 편성 강화와 인터넷상 주민번호를 대체할 식별번호(i-PIN)의 도입을 통한 제도적, 기술적 보완을 강구해야 한다. 특히 정보통신 시설 및 개인정보 보호에 관한 법제를 정비하는 것이 시급하다.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.31-62
• /
• 2006

이 논문은 포퍼의 후기 확률론인 성향적 확률론에 대한 것이다. 포퍼가 확률에 관한 성향이론을 제시한 가장 중요한 동기는 단일 사건에 확률값을 부여하기 위함이었다. 그의 성향이론은 전기와 후기로 나누어지는데, 전기의 이론은 성향을 반복가능한 조건들의 집합으로, 후기의 이론은 성향을 특정 시각에서의 우주의 상태로 설명한다. 이 글은 포퍼의 전기와 후기 성향이론이 성공적이지 않음을 논증한다. 전기 성향이론에 대해서는 가장 좁은 준거집합의 원리의 문제에 부딪혀서 단일 사건에 대하여 객관적인 확률값을 부여할 수 없기 때문이고, 후기 성향이론은 성향을 약한 인과라고 해석하는 문제와 함께 포퍼 자신의 의도와 달리 형이상학적인 이론이 되어버렸기 때문이다.

• The Journal of the Korea Contents Association
• /
• v.11 no.9
• /
• pp.352-361
• /
• 2011

The purpose of this study is that incident shock of special guards examines closely impact getting in job stress and coping ability. This study used judgement sampling method after establish special guards who is working at airport of capital region area in 2011 by population, and sample numbers used on interpretation finally were total 239 people. Questionnaire used in this study was consisted of the total 67 question, and executed frequency analysis, Factor analysis, reliability analysis, regression analysis by SPSSWIN 18.0. reliability of questionnaire appeared more than Cronbach's ${\alpha}$ value .779. Conclusion of this study was as following. First, incident shock of special guards affects in job stress. That is, stress about personal relations increases as invasion is often repeated. Also, stress about role increases as hyperarousal is often repeated. Second, incident shock of special guards affects in coping ability. That is, problem central coping ability decreases as hyperarousal is often repeated. On the other hand, problem central coping ability increases as evasion tendency acts continuously. Third, job stress of special guards affects in coping ability. That is, problem central coping ability increases as feeling of helplessness for job characteristic acts. On the other hand, problem central coping ability, social support pursuit ability decreases as ambiguity about role acts high.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.58-60
• /
• 2001

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.

• Korean Journal of Social Welfare
• /
• v.65 no.2
• /
• pp.131-154
• /
• 2013

Although fatalities due to child abuse are frequently happened, there has been a dearth of research on the topic. The present research analyzes deaths due to child abuse in representative newspapers in order to examine incidences, causes, and characteristics of child abuse. The results showed that from 2000 to 2012 child abuse deaths occurred 141 cases. Most deaths due to child abuse were committed by single mothers, biological mothers, cohabiting women and stepmothers, and biological fathers. As regards the reasons of deaths due to child abuse, the frequency of newborn infant deaths as the result of abuse by single mother or single parent was the highest, and lack of parenting skills, postpartum depression, hardships of living and lack of financial abilities were followed. Also, subjects received extensive media coverage were crime compositions-stereotypes of child abusers, habitual and continual child abuse, lack of child abuse reporting and prevention system, and mild penalties. Finally, based on the results of the study, the implications to prevent and resolve deaths due to child abuse were discussed.

• Sleep Medicine and Psychophysiology
• /
• v.7 no.2
• /
• pp.109-114
• /
• 2000

Objectives: This study was performed to examine the characteristic cardiovascular response patterns associated with the imagination and discussion of anger-provoked events in patients with hwa-byung. Methods: Forty-three female patients with hwa-byung were evaluated with the Korean version of the State-Trait Anger Expression Inventory, the State-Trait Anxiety Inventory, Hamilton Rating Scale for Anxiety, Beck Depression Inventory, and Hamilton Rating Scale for Depression just before the task. Subjective Units of Distress (SUDS) and Vividness of the event (VIVID) during the imagination and discussion of the event were evaluated immediately after tasks. Blood pressure (BP) and heart rate (HR) during baseline, rest, and tasks were also evaluated. Results: Both startle and recovery responses of BP, startle response of HR, SUDS, and VIVID in discussion task were significantly larger than in the imagination task. Conclusion: Results suggest that it is undesirable for the patients to excessively and repeatedly recall and talk about the anger events.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.125-130
• /
• 2000

침입 탐지 시스템이 침입 행위를 탐지하기 위해서 시간에 대한 처리를 고려하지 않고는 침입을 탐지할 수 없는 경우(예 Denial of Service)가 존재한다. 즉 사건의 발생 시점에 대한 처리없이는 침입 탐지가 불가능하다. 본 논문에서는 시뮬레이션 모델을 통하여 시간에 관한 처리를 체계적으로 구성하고, 여러 가지 상황을 조성하여 반복적으로 실행함으로써 침입 탐지 시스템의 핵심 요소인 침입 판별을 효과적으로 수행할 수 있도록 하였다.