• 한국정보과학회논문지:데이타베이스
• /
• 제34권6호
• /
• pp.503-517
• /
• 2007

본 논문에서는 부분 집계 근사법(Piecewise Aggregation Approximation: PAA)이 MBR-안전(MBR-safe) 성질을 가짐을 보이고, 이를 사용한 효율적인 서브시퀀스 매칭 방법을 제안한다. MBR-안전 변환이란 고차원 MBR을 직접 변환한 저차원 MBR이 개별 고차원 시퀀스가 변환된 저차원 시퀀스를 모두 포함하는 변환을 의미한다. 이와 같은 MBR-안전 변환을 사용하면 고차원 MBR을 직접 저차원 MBR로 변환할 수 있어 유사 시퀀스 매칭에서 필요한 저차원 변환 횟수를 크게 줄일 수 있다. 또한, PAA는 계산이 간단하고 성능이 우수한 저차원 변환으로 알려져 있다. 이에 따라, 본 논문에서는 이들 두 개념의 장점을 통합하기 위하여, 기존의 PAA가 MBR-안전 성질을 가짐을 확인하고, 이를 사용하여 서브시퀀스 매칭의 성능을 개선한다. 본 논문의 공헌은 다음과 같다. 첫째, PAA 기반의 MBR 저차원 변환인 mbrPAA를 제안하고, mbrPAA가 MBR-안전함을 정형적으로 증명한다. 둘째, mbrPAA 기반의 새로운 서브시퀀스 매칭 방법을 제안하고, 이 방법의 정확성을 증명한다. 셋째, 서브시퀀스 매칭에서 엔트리 재사용 성질(entry reuse property)의 개념을 제시하고, 이 개념에 기반하여 고차원 MBR을 효율적으로 구성하는 방법을 제안한다. 넷째, 실험을 통해 mbrPAA의 우수성을 입증한다. 실험 결과, 제안한 mbrPAA는 기존 방법에 비해 저차원 MBR 구성을 평균 24.2배 빠르게 수행하고, 서브시퀀스 매칭 성능을 최대 65.9%까지 향상시킨 것으로 나타났다.

• 응용통계연구
• /
• 제28권1호
• /
• pp.33-47
• /
• 2015

본 논문은 $M/E_n/1$ 대기모형에서 작업부하량과정의 오버슛의 분포함수에 대한 근사식을 제안한다. 오버슛이란 작업부하량과정이 미리 정해진 한계점을 처음으로 초과할 때 초과하는 양을 말하는데 정확한 분포함수는 수학적인 표현으로만 얻어졌을 뿐 분포함수를 실제로 계산하는 것은 거의 불가능하다. 그래서 기존 연구에서는 오버슛에 관한 몇가지 성질을 이용하여 오버슛의 분포함수에 대한 근사식이 구해졌다. 본 논문은 고객의 서비스시간의 분포가 얼랑분포라는 점을 활용하여 기존에 얻어진 근사식보다 더 정확한 근사식을 제안한다. 그리고 제안한 근사식이 얼마나 참값에 가까운지 판단하기 위하여 시뮬레이션을 통하여 얻어진 오버슛의 분포함수와 비교한다.

• Journal of applied mathematics & informatics
• /
• 제27권3_4호
• /
• pp.463-473
• /
• 2009

A family of quasi-interpolatory wavelet system was introduced in [10], extending and unifing the biorthogonal Coiffman wavelet system. The corresponding refinable functions and wavelets have vanishing moment of a certain order (say, L), which is a key property for data representation and approximation. One of main advantages of this wavelet systems is that we can get optimal smoothness in the sense of smoothing factors in the scaling filters. In this paper, we first discuss the biorthogonality condition of the quisi-interpolatory wavelet system. Then, we study the properties of the scaling and wavelet filters, related to the polynomial reproduction and the vanishing moment respectively, which in fact determines the approximation orders of biorthogonal projections. In addition, we discuss the approximation orders of the wavelet projections.

• 대한수학회보
• /
• 제48권4호
• /
• pp.779-789
• /
• 2011

In this paper we study the Banach space $L^1$(G) of real valued measurable functions which are integrable with respect to a vector measure G in the sense of D. R. Lewis. First, we investigate conditions for a scalarly integrable function f which guarantee $f{\in}L^1$(G). Next, we give a sufficient condition for a sequence to converge in $L^1$(G). Moreover, for two vector measures F and G with values in the same Banach space, when F can be written as the integral of a function $f{\in}L^1$(G), we show that certain properties of G are inherited to F; for instance, relative compactness or convexity of the range of vector measure. Finally, we give some examples of $L^1$(G) related to the approximation property.

• 전자공학회논문지S
• /
• 제34S권9호
• /
• pp.50-59
• /
• 1997

This paper is on the generalized singular perturbation approximation (GSPA) preserving the discrete positive real property. We transform the discrete positive real(PR) system into a stochastically banlanced system and get the reduced order discrete system from the GSPA of the full order stochastically balanced system. eSPECIALLY, WHEN THE FREE PARAMETER OF THE gspa IS .+-.1, we show that the reduced order discrete system retains stability, minimality, and positive real and stochstically balancing properties. And we derived the .inf.-norm error bound with the reduced order discrete strictly positive real(SPR) system by the proposed method. Finally, we give an example to ascertain the properties of the proposed reduced order discrete system and to compare with the conventional methods.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 추계학술대회 논문집 학회본부
• /
• pp.59-62
• /
• 1991

This paper describes an effective algorithm for evaluating the reliability indices and calculating the production cost for generation system with thermal, hydro and pumped storage plants. Using the Energy Invariance property, this algorithm doesn't need deconvolution process which gives large burden in computing time. In order to consider an adaptable load model, we consider the system load with forecasting uncertainty. The proposed algorithm is applied to the KEPCO system and its result shows high accuracy and less computing time.

• 대한수학회보
• /
• 제35권4호
• /
• pp.683-687
• /
• 1998

Suppose X is a subspace of $(\sum_{n=1} ^{\infty} X_n)_{c_0}$, dim $X_n<{\infty}$, which has the metric compact approximation property. It is proved that if Y is a Banach space of cotype q for some $2{\leq}1<{\infty}$ then K(X,Y) is an M-ideal in L(X,Y).

• 정보과학회지
• /
• 제1권1호
• /
• pp.72-74
• /
• 1983

Traditionally, polynomials have been used to approximte functions with prescribed values at a number of points(called the knots) on a given interal on the real line. The method of splines recently developed is more flexible. It approximates a function in a piece-wise fashion, by means of a different polynomial in each subinterval. The cubic spline gas ets origins in beam theory. It possessed continuous first and second deriatives at the knots and is characterised by a minimum curvature property which es rdlated to the physical feature of minimum potential energy of the supported beam. Translated into mathematical terms, this means that between successive knots the approximation yields a third-order polynomial sith its first derivatives continuous at the knots. The minimum curvature property holds good for each subinterval as well as for the whole region of approximation This means that the integral of the square of the second derivative over the entire interval, and also over each subinterval, es to be minimized. Thus, the task of determining the spline lffers itself as a textbook problem in discrete computer programming, since the integral of ghe square of the second derivative can be obviously recognized as the criterion function whicg gas to be minimized. Starting with the initial value of the function and assuming an initial solpe of the curve, the minimum norm property of the curvature makes sequential decision of the slope at successive knots (points) feasible. It is the aim of this paper to derive the cubic spline by the methods of computer programming and show that the results which is computed the all the alues in each subinterval of the spline approximations.

• 대한수학회보
• /
• 제41권3호
• /
• pp.457-464
• /
• 2004

Let X be a Banach space and Z a closed subspace of a Banach space Y. Denote by Ｌ(X, Y) the space of all bounded linear operators from X to Y and by Ｋ(X, Y) its subspace of compact linear operators. Using Hahn-Banach extension operators corresponding to ideal projections, we prove that if either $X^{**}$ or $Y^{*}$ has the Radon-Nikodym property and Ｋ(X, Y) is an M-ideal (resp. an HB-subspace) in Ｌ(X, Y), then Ｋ(X, Z) is also an M-ideal (resp. HB-subspace) in Ｌ(X, Z). If Ｌ(X, Y) has property SU instead of being an M-ideal in Ｌ(X, Y) in the above, then Ｋ(X, Z) also has property SU in Ｌ(X, Z). If X is a Banach space such that $X^{*}$ has the metric compact approximation property with adjoint operators, then M-ideal (resp. HB-subspace) property of Ｋ(X, Y) in Ｌ(X, Y) is inherited to Ｋ(X, Z) in Ｌ(X, Z).

• Coupled systems mechanics
• /
• 제4권1호
• /
• pp.1-18
• /
• 2015

The state-based peridynamics is considered a nonlocal method in which the equations of motion utilize integral form as opposed to the partial differential equations in the classical continuum mechanics. As a result, the enforcement of boundary conditions in solid mechanics analyses cannot follow the standard way as in a classical continuum theory. In this paper, a new approach for the boundary condition enforcement in the state-based peridynamic formulation is presented. The new method is first formulated based on a convex kernel approximation to restore the Kronecker-delta property on the boundary in 1-D case. The convex kernel approximation is further localized near the boundary to meet the condition that recovers the correct boundary particle forces. The new formulation is extended to the two-dimensional problem and is shown to reserve the conservation of linear momentum and angular momentum. Three numerical benchmarks are provided to demonstrate the effectiveness and accuracy of the proposed approach.