• 정보과학회 논문지
• /
• 제43권10호
• /
• pp.1115-1123
• /
• 2016

가정기반진리관리 시스템(ATMS)은 추론 시스템의 추론 과정을 저장하고 비단조추론을 지원할 수 있는 도구이다. 또한 의존기반 backtracking을 지원하므로 매우 넓은 공간 탐색 문제를 해결 할 수 있는 강력한 도구이다. 모든 추론 과정을 기록하고, 특정한 컨텍스트에서 지능형시스템의 Belief를 매우 빠르게 확인하고 비단조 추론 문제에 대한 해결책을 효율적으로 제공할 수 있게 한다. 그러나 최근 데이터의 양이 방대해지면서 기존의 단일 머신을 사용하는 경우 문제 해결 프로그램의 대용량의 추론과정을 저장하는 것이 불가능하게 되었다. 대용량 데이터에 대한 문제 해결 과정을 기록하는 것은 많은 연산과 메모리 오버헤드를 야기한다. 이러한 단점을 극복하기 위해 본 논문에서는 Apache Spark 환경에서 functional 및 객체지향 방식 기반의 점진적 컨텍스트 추론을 유지할 수 있는 방법을 제안한다. 이는 가정(Assumption)과 유도과정을 분산 환경에 저장하며, 실체화된 대용량 데이터셋의 변화를 효율적으로 수정가능하게 한다. 또한 ATMS의 Label, Environment를 분산 처리하여 대규모의 추론 과정을 효과적으로 관리할 수 있는 방안을 제시하고 있다. 제안하는 시스템의 성능을 측정하기 위해 5개의 노드로 구성된 클러스터에서 LUBM 데이터셋에 대한 OWL/RDFS 추론을 수행하고, 데이터의 추가, 설명, 제거에 대한 실험을 수행하였다. LUBM2000에 대하여 추론을 수행한 결과 80GB데이터가 추론되었고, ATMS에 적용하여 추가, 설명, 제거에 대하여 수초 내에 처리하는 성능을 보였다.

• Nuclear Engineering and Technology
• /
• 제33권5호
• /
• pp.539-546
• /
• 2001

Systematic procedure of developing radionuclide release scenarios was established based on FEP list and Interaction Matrix for near-surface LILW repository. FEPs were screened by experts＇review in terms of domestic situation and combined into scenarios on the basis of Interaction Matrix analysis. Under the assumption of design scenario, The system domain was divided into three sections: Near-field, Far-field and Biosphere. Sub-scenarios for each section were developed, and then scenarios for entire system were built up with sub-scenarios of each section. Finally, sixteen design scenarios for near-surface repository were evaluated A reference scenario and other noteworthy scenarios were selected through experts＇scenario screening.

• Nuclear Engineering and Technology
• /
• 제31권1호
• /
• pp.49-57
• /
• 1999

It has been a critical issue to predict the safety critical software reliability in nuclear engineering area. For many years, many researches have focused on the quantification of software reliability and there have been many models developed to quantify software reliability. Most software reliability models estimate the reliability with the failure data collected during the test assuming that the test environments well represent the operation profile. User's interest is however on the operational reliability rather than on the test reliability. The experiences show that the operational reliability is higher than the test reliability. With the assumption that the difference in reliability results from the change of environment, from testing to operation, testing environment factors comprising the aging factor and the coverage factor are developed in this paper and used to predict the ultimate operational reliability with the failure data in testing phase. It is by incorporating test environments applied beyond the operational profile into testing environment factors. The application results show that the proposed method can estimate the operational reliability accurately.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2093-2096
• /
• 2003

Trusted operating systems (OS) provide the basic security mechanisms and services that allow a computer system to protect, distinguish, and separate classified data. Trusted operating systems have been developed since the early 1980s and began to receive National Security Agency (NSA) evaluation in 1984. The researches about trusted OS are proceeding over the world, and new product type using the loadable security kernel module (LSKM) or dynamic link library (DLL) is being developed. This paper proposes a special type of product using LSKM and specific conditions for operational environment should be assumed.

• 한국디지털건축인테리어학회논문집
• /
• 제6권2호
• /
• pp.55-63
• /
• 2006

The purpose of this study is to analyze the problems in assumption of the distinguished behaviors of hospitalized dementia patients- which can be easily emerged and recognized in senile dementia patients and their distinctive behavior characters in different physical environment per person. Furthermore, it is to suggest a fundamental data to improve physical environment of the different facilities and the design guidelines for reconstruction in terms of the new and therapeutic function of the dementia specialized department. For planning on the dementia specialized hospital, considerablely, security and safety, comfortableness, personal identification of the facility, emotional stability and the proper stimulation for the patients are emphasized according to the research on the frequent and major issues of the patients from their own dwelling place.

• Communications for Statistical Applications and Methods
• /
• 제16권5호
• /
• pp.871-880
• /
• 2009

Recently, there has been much development on burn-in models in reliability area. Especially, the previous burn-in models have been extended to more general cases. For example, (i) burn-in procedures for repairable systems have been developed (ii) an extended assumption on the failure rate of the system has been proposed and (iii) a stochastic model for burn-in procedure in accelerated environment has been developed. In this paper, recent extensions and advances in burn-in models are introduced and some issues to be considered in the future study are discussed.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -1
• /
• pp.517-520
• /
• 2000

This paper deals with the statistical analysis of an autocalibration procedure for the gain and phase imbalances between the in-phase (I) and quadrature (Q) components in quadrature receivers. In real implementation, the imbalances of the gain and phase exist and degrade the performance of the receiver. In this paper we investigate the statistical characteristic of the estimates in an on-line imbalance estimation method for the receiver under the assumption of an additive white Gaussian noise environment.

• 한국대기환경학회지
• /
• 제16권5호
• /
• pp.511-520
• /
• 2000

The urban atmosphere is characterized by th difference in surface and atmospheric environment between urban and more natural area. To investigate th climatic effect of land use type and anthropogenic heat of urban on wind field, numerical simulations were carried out under typical summer synoptic condition. The wind model PNU_MCM(Pusan National University Mesoscale Circulation Model) is based on the three-dimensional Boussinesq equations, taking into account the hydrostatic assumption . Since lane-use differs over every subdivision on Pusan the surface energy budget model includes sub0grid parameterization scheme which can calculate the total heat flux over a grid surface composed of different surfaces. The simulated surface wind agrees well with the observed value, and average over 6 days which represent typical summer lan-sea breeze days, August 1998, i.e. negligible gradient winds and almost clear skies. Urbanization makes sea-breeze enhance at day and reduce land-breeze at night. The results show that contribution of land-use type is much larger than that of anthropogenic heat in Pusan.

• 제어로봇시스템학회논문지
• /
• 제16권5호
• /
• pp.415-419
• /
• 2010

A variety of methods for sound source localization have been developed and applied to several applications such as noise detection system, surveillance system, teleconference system, robot auditory system and so on. In the previous work, we proposed the sound source localization using the spatially mapped GCC functions based on TDOA for robot auditory system. Performance of the proposed one for the noise effect and estimation resolution was verified with the real environmental experiment under the single source assumption. However, since multi-talker case is general in human-robot interaction, multiple source localization approaches are necessary. In this paper, the proposed localization method under the single source assumption is modified to be suitable for multiple source localization. When there are two sources which are correlated, the spatially mapped GCC function for localization has three peaks at the real source locations and imaginary source location. However if two sources are uncorrelated, that has only two peaks at the real source positions. Using these characteristics, we modify the proposed localization method for the multiple source cases. Experiments with human speeches in the real environment are carried out to evaluate the performance of the proposed method for multiple source localization. In the experiments, mean value of estimation error is about $1.4^{\circ}$ and percentage of multiple source localization is about 62% on average.

• The Journal of Asian Finance, Economics and Business
• /
• 제6권2호
• /
• pp.25-32
• /
• 2019

In the Korean capital market, there are three credit rating agencies. Potential credit ratings based on credibility in the financial market are calculated independently for each rating agency. It often happens that despite the fact that the grades of the rating agencies are the same and have the same rating system, their actual ratings are different, even for the same firm. In such circumstances, investors may wonder why. In this study, we assume that the cause is the information environment in which the company operates. The credit ratings of rating agencies are mainly classified into bonds or commercial papers. The bonds are rated primarily for long-term of three years or more, and commercial papers specify ratings for less than one year. The information environment to be verified in this study was observed with a commercial paper. Under the assumption the larger the analyst following is, the more transparent is the information environment, we analyzed the influence of the number of analysts following on the degree to which ratings conflicted among credit rating agencies. The results of our analysis confirmed that opinion conflict among credit rating agencies is clearly reduced for companies with good information environments.