• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.9
• /
• pp.424-433
• /
• 2001

The cyclic debugging approach often fails for message passing parallel programs because they non-deterministic characteristics due to message race conditions. This paper identifies the MPI events that affect non-deterministic executions, and then converts the concurrent execution to the sequential one that is controlled in order to make it equivalent to a reference execution by keeping their orders of events in two executions identical. This paper also presents an efficient algorithm for the causal distributed breakpoint which is initiated by any sequential breakpoint in one process, and restores each process to the earliest state that reflects all events that happened causally before the sequential breakpoint. So a cyclic debugging approach can be used in debugging MPI parallel programs as like as in debugging sequential programming environments.

• 한국경영정보학회:학술대회논문집
• /
• 2007.06a
• /
• pp.135-140
• /
• 2007

이탈 고객 예측은 데이터 마이닝에서 다루는 주요한 문제 중에 하나이다. 이탈 고객 예측은 일종의 분류(classification) 문제로 의사결정나무추론, 로지스틱 회귀분석, 인공신경망 등의 기법이 많이 활용되어왔다. 일반적으로 이탈 고객 예측을 위한 모델은 고객의 인구통계학적 정보와 계약이나 거래 정보를 입력변수로 하여 이탈 여부를 목표변수로 보는 형태로 분류 모델을 생성하게 된다. 본 연구에서는 고객과의 지속적인 접촉으로 발생되는 추가적인 사건 정보를 활용하여 연관성 규칙을 생성하고 이 결과를 기존의 방식으로 생성된 분류 모델과 결합하는 이탈 고객 예측 방법을 제시한다. 제시한 방법의 유용성을 확인하기 위해서 특정 국내 신용카드사의 실제 데이터를 활용하여 실험을 수행하였다. 실험 결과 제시된 방법이 기존의 전통적인 분류 모델에 비해서 향상된 성능을 보이는 것을 확인할 수 있었다. 제시된 예측 방법의 장점은 기존의 이탈 예측을 위한 입력 변수들 이외에 고객과 회사간의 접촉을 통해서 생성된 동적 정보들을 통합적으로 활용하여 예측 정확도를 높이고 실시간으로 이탈 확률을 갱신할 수 있다는 점이다.

• The Korean Journal of Financial Studies
• /
• v.8 no.1
• /
• pp.189-206
• /
• 2002

실명제 실시 이후인 1993년부터 1995년까지 증권거래소에 보고된 내부자 주식거래자료를 분석하여 내부자 거래의 정보효과를 보고자 하였다. 내부자 거래를 이용하면 대체적으로 내부자가 매수나 매도한 이후 주가 움직임을 예측할 수 있었으나 매수와 매도 포트폴리오의 움직임에서 차이가 발견되었다. 내부자 거래이익의 결정요인을 분석하였으나 외국의 연구와는 달리 내부자 유형에 따른 초과수익률의 차이점은 발견되지 않았다. 내부자 거래 연구에서와 같이 장기적인 성과를 연구할 경우 벤치마크의 선정이 매우 중요하다는 것을 본 연구에서 보여주고 있다. 특히 사건일 전의 주가움직임이 상승 추세를 따르면 시장모형의 경우 편의의 발생가능성이 커지는 것을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.992-994
• /
• 2013

철강공정 가상공장 시스템은 조립공정과는 달리 연속공정의 특징을 가지며 공정과 자원의 배치가 아닌 공정을 구성하는 설비의 특성에 따라 제품이 결정되는 방식이다. 여러가지 설비의 모델들이 시뮬레이션 하며 서로 영향을 미치는데 이는 다중계층의 복잡한 모델 구조를 가지게 된다. 본 연구에서는 이의 해결을 위해 Descrete Event System 의 수학적 명세 방법론을 적용하여 복잡하고 계층구조적인 설비의 모델링을 쉽게 해결하기 위한 방법을 제시한다.

• Journal of Climate Change Research
• /
• v.2 no.4
• /
• pp.297-307
• /
• 2011

This study investigates relation of food safety incidents with climate. Therefore food safety incidents and climate data during 1999 to 2009 have been analyzed. In situ observations of monthly mean temperature, maximum temperature, minimum temperature, precipitation, and relative humidity in 60 observation stations of Korean Meteorological Administration (KMA) have been used in this study. Food safety incidents data have been constructed by searching media reports following Park's method (2009) during the same period. According to the Park's method, 729 events were collected. To analyze its relations, food safety incidents data have been classified into chemical, biological, and physical hazards. Pearson product-moment correlation coefficients have been applied to analyze the relations. The correlation of food safety incidents has negative one with precipitation (-0.48), and positive one with minimum temperature(0.45). Precipitation has been correlated with biological and physical hazards more than chemical hazard. Temperatures (mean temperature, maximum temperature, and minimum temperature) have been correlated closely with chemical hazard than others. Food safety incidents data has been interblended with human behavior factor through decision-making processes in food manufacturing, processing, and consumption phases of "farm-totable" food processing. Act in the preventing damage will be obvious if the hazard were apparent. Therefore abnormal condition could be more dangerous than that of apparent extreme events because apparent events or extreme events become one of alarm over hazards. Therefore, human behavior should be considered as one of the important factors for analysis of food safety incidents. The result of this study can be used as a better case study for food safety researches related to climate change.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2008.02a
• /
• pp.197-200
• /
• 2008

수사관이 사건 관련 조직의 데이터베이스 시스템을 조사할 때, 조직 내부의 많은 시스템을 수작업으로 조사하여 데이터베이스 시스템을 찾는 것은 비효율적이다. 게다가 용의자가 사건 은폐나 알리바이 조작을 목적으로 데이터베이스 시스템을 은닉하는 경우, 수사관이 시스템을 찾기 위해 더욱 많은 인력과 시간을 소비한다. 따라서 간단한 조사로부터 얻은 정보를 통해 어떤 시스템부터 조사해야 할지 결정해야 한다. 데이터베이스 시스템이 네트워크에 연결되어 있는 경우는 접속 오류 정보를 분석하여 데이터베이스 시스템 사용 유무 정보를 수집할 수 있고, 네트워크에 연결되어 있지 않은 경우는 데이터베이스 시스템 흔적 정보 분석을 통하여 데이터베이스로 예상되는 시스템을 찾아 낼 수 있다. 본 논문에서는 데이터베이스 시스템을 은닉하는 사례에 대해 논하고 네트워크상의 은닉된 데이터베이스 시스템을 탐지하는 기법에 대해 살펴보기로 한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.765-771
• /
• 1997

인간신뢰도분석 절차인 SHARP(Systematic Human Action Reliability Procedure)와 인간행위 정량화 방법인 THERP(Technique for Human Error Rate Prediction)를 토대로 하고 원자력발전소의 저출력/정지 운전의 특징적인 상황을 반영하여 가압 경수로의 저출력/정지운전의 PSA를 위한 인간신뢰도분석 절차서를 개발하였다. 개발된 인간신뢰도분석 절차서의 주요사항은 다음과 같다; 1) 원자력발전소의 이상사태에 대응하는 운전원 행위는 두 개의 기본사건인 진단실패와 수행실패 사건으로 모델링 한다. 2) 절차서에 없는 행위이라도 일부 운전원이 그 행위에 대한 절차와 조건을 알고 있으면 그 행위에 대해 성공가능성을 고려한다. 3) 인간신뢰도분석시 본 연구에서 개발된 표(work sheet)의 사용으로 인간행위 정량화 과정에 대한 타당성 및 신뢰성을 제고시키고 정량화과정을 쉽게 추적할 수 있다. 4) 인간신뢰도분석자의 판단이 필요한 부분에 결정수목을 사용하기 때문에 인간신뢰도 분석 시 개입될 수 있는 분석자의 주관성을 일정부분 배제할 수 있고 일관된 인간신뢰도분석을 수행 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.18-20
• /
• 2000

에이전트를 다른 소프트웨어와 구별 시켜주는 요인들은 여러 가지가 있지만 그 중에서도 가장 큰 특징은 에이전트의 자율성, 적응성, 그리고 지능을 들 수 있다. 이러한 것을 가능하게 만들기 위해서는 행동 선택을 유발하는 모티브의 생성이 자동적으로 이루어져야 한다. 이러한 행동 선택에 있어서 자동적인 모티브를 제공해 주는 것이 감정이다. 감정은 그것을 가지고 있는 자율 시스템이 그 동안 겪어온 외부 환경과 내부 상태에 대한 글로벌 상태를 함축하고 있다. 그러므로, 접근 가능한 정보와 자원이 제한되어 있는 자율 시스템이 다중의 목표, 환경에서의 모호성과 다른 에이전트와의 조정 등을 하는데 있어서 감정 모델은 유용한 해결책을 제시해 줄 수 있다. 본 논문에서는 에이전트가 환경과 적응하면서 변화하는 에이전트의 내부 상태의 변화와 외부 사건에 대한 에이전트의 인식과 평가를 계속 반영하여 에이전트가 시스템 환경을 경험하면서 가질 수 있는 에이전트만의 시스템에 대한 광범위한 시야를 갖도록 감정 모델을 구축하는 것을 목적으로 한다. 또한 이렇게 생성된 감정 델을 통해서 에이전트에 특정 사건이 발생하였을 때 에이전트가 감정 모델에 기초하여 적절히 행동에 반응할 수 있는 적응적 에이전트 모델을 제시한다.

• Nuclear Engineering and Technology
• /
• v.19 no.4
• /
• pp.292-309
• /
• 1987

A large dry PWR containment response analysis for postulated severe accidents was performed as part of the Zion Risk Rebaselining study for input to the U.S. NRC's "Reactor Risk Reference Document," NUREG-1150. The Methodologies used in the present work were developed as part of the Severe Accident Risk Reduction Program (SARRP) at Sandia National Laboratory specifically for the Surry Plant, but they were extrapolated to Zion. Major steps of the quantification of risk from a nuclear power plant are first outlined. Then, the methodologies of containment response analysis for severe accidents used for Zion are described in detail: major features of the containment event tree (CET) analysis codes and CET quantification procedures are summarized. In addition, plant specific features important to containment response analysis are presented along with the containment loading and performance issues included in the present uncertainty analysis. Finally, a brief summary of the results of deterministic and statistical containment event tree analysis is presented to provide a perspective on the large dry PWR containment response for postulated severe accidents.accidents.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.9
• /
• pp.2055-2062
• /
• 2013

Digital evidence which is the new form of evidence to crime makes little difference in value and function with existing evidences. As time goes on, digital evidence will be the important part of the collection and the admissibility of evidence. Usually a digital forensic investigator has to spend a lot of time in order to find clues related to the investigation among the huge amount of data extracted from one or more potential containers of evidence such as computer systems, storage media and devices. Therefore, these evidences need to be ranked and prioritized based on the importance of potential relevant evidence to decrease the investigate time. In this paper we propose a methodology which prioritizes order in which evidences are to be examined in order to help in selecting the right evidence for investigation. The proposed scheme is based on Fuzzy Multi-Criteria Decision Making, in which uncertain parameters such as evidence investigation duration, value of evidence and relation between evidence, and relation between the case and time are used in the decision process using the aggregation function in fuzzy set theory.