• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 대한수학회보
• /
• 제41권1호
• /
• pp.189-198
• /
• 2004

In this study we consider quantum dynamical semi-group with a normal faithful invariant state. A quantum dynamical semigroup $\alpha\;=\;\{{\alpha}_t\}_{t{\geq}0}$ is a class of linear normal identity-preserving mappings on a von Neumann algebra M with semigroup property and some positivity condition. We investigate the asymptotic behaviors of the semigroup such as ergodicity or mixing properties in terms of their eigenvalues under the assumption that the semigroup satisfies positivity. This extends the result of [13] which is obtained under the assumption that the semi group satisfy 2-positivity.

• Journal of the Korean Statistical Society
• /
• 제28권4호
• /
• pp.489-501
• /
• 1999

In this paper, we consider the panel data regression model in which the disturbances have nested error component. We derive a Lagrange Multiplier(LM) test which is jointly testing for the presence of random individual effects and nested effects under the normality assumption of the disturbances. This test extends the earlier work of Breusch and Pagan(1980) and Baltagi and Li(1991). Further, it is shown that this LM test has the same asymptotic distribution without normality assumption of the disturbances.

• 품질경영학회지
• /
• 제31권3호
• /
• pp.126-135
• /
• 2003

A basic assumption in standard applications of control charts is that the observations are statistically independent. However, this assumption is often violated from processes in many industries. The presence of autocorrelation has a serious impact on the performance of control charts, causing a dramatic increase in the frequency of false alarms. This paper considers a process in which the observations can be modeled as a first order autoregressive(AR(1)) process, and develops (equation omitted) charts with the variable sample size(VSS) scheme for monitoring the mean of this process.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 A
• /
• pp.327-329
• /
• 2002

This paper is based on model electrode by reduced scale and theoretical background of proportion factor. use building structure and mesh electrode, we get grounding electrode of building grounding structure and grounding electrode of mesh electrode by modeling experimentation and estimation coordinate geometry, we are doing practical grounding electrode assumption.

• 대한수학회지
• /
• 제49권2호
• /
• pp.235-249
• /
• 2012

In the paper by Liu and Lin (Statist. Probab. Lett. 76 (2006), no. 16, 1787-1799), a new kind of precise asymptotics in the law of large numbers for the sequence of i.i.d. random variables, which includes complete convergence as a special case, was studied. This paper is devoted to the study of this new kind of precise asymptotics in the law of large numbers for moving average process under $\phi$-mixing assumption and some results of Liu and Lin [6] are extended to such moving average process.

• 대한수학회지
• /
• 제50권6호
• /
• pp.1213-1222
• /
• 2013

This paper deals with sufficiency conditions for irreducibility of certain induced modules. We also construct irreducible representations for a group G over a field $\mathbb{K}$ where the group G is a semidirect product of a normal abelian subgroup N and a subgroup H. The main results are proved with the assumption that char $\mathbb{K}$ does not divide |G| but there is no assumption made of $\mathbb{K}$ being algebraically closed.

• 품질경영학회지
• /
• 제19권1호
• /
• pp.28-42
• /
• 1991

For a series or parallel system, though the component lifetimes have the absolutely continuous bivariate exponential distributions(ACBVE) by Block and Basu(1974), the common assumption that the component lifetimes are independent is used. The purpose of this paper, in this case, is to investigate the magnitude of the error caused by erroneous assumption, using the measure proposed by Klein and Moeschberger(1986). Estimation of the measure is conducted by maximum likelihood estimator(MLE) and those estimators are compared with corresponding jackknifed MLE through the Monte Carlo study.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1997년도 춘계학술대회논문집; 경주코오롱호텔; 22-23 May 1997
• /
• pp.473-480
• /
• 1997

This paper presents the feasibility of the assumption that incident sound to panels might have a Gaussian distribution, instead of the well-known uniform distribution in the analysis of sound transmission loss of panels. Being compared with the latter, it seems that the former is physically more concrete. To prove the assumption, the problems with diffuse fields in reverberation room are considered by case study and comparisions of the prediction with the measurement of sound transmission loss of walls are performed. The results show good agreement between the two values.

• East Asian mathematical journal
• /
• 제23권2호
• /
• pp.135-149
• /
• 2007

In 1975, Wenger [4] determined the fine spectra of $Ces{\grave{a}}ro$ operator $C_1$ on c, the space of convergent sequences. In [7], the spectrum of the Rhaly operators on $c_0$ and c, under the assumption that ${lim}\limits_{n{\rightarrow}{\infty}}(n+1)a_n\;=\;L\;{\neq}\;0$, has been determined. In this paper the author determine the fine spectra of the Rhaly matrix $R_a$ as an operator on the space c, with the same assumption.