• 대한수학회보
• /
• 제51권3호
• /
• pp.701-716
• /
• 2014

The limiting distribution for the linear placement statistics under the null hypotheses has been provided by Orban and Wolfe [9] and Kim [5] when one of the sample sizes goes to infinity, and by Kim, Lee and Wang [6] when the sample sizes of each group go to infinity simultaneously. In this paper we establish the generalized Kruskal-Wallis one-way analysis of variance for the linear placement statistics.

• 대한수학회지
• /
• 제36권1호
• /
• pp.73-95
• /
• 1999

We prove that if a given complete Riemannian manifold is roughly isometric to a complete Riemannian manifold satisfying the volume doubling condition, the Poincar inequality and the finite covering condition at infinity on each end, then every positive harmonic function on the manifold is asymptotically constant at infinity on each end. This result is a direct generalization of those of Yau and of Li and Tam.

• 대한수학회보
• /
• 제34권1호
• /
• pp.103-114
• /
• 1997

The asymptotic Dirichlet problem for harmonic functions on a noncompact complete Riemannian manifold has a long history. It is to find the harmonic function satisfying the given Dirichlet boundary condition at infinity. By now, it is well understood [A, AS, Ch, S], when M is a Cartan-Hadamard manifold with sectional curvature $-b^2 \leq K_M \leq -a^2 < 0$. (By a Cartan-Hadamard manifold, we mean a complete simply connected manifold of non-positive sectional curvature.)

• 대한수학회보
• /
• 제55권5호
• /
• pp.1577-1586
• /
• 2018

In this paper, we prove that if every bounded ${\mathcal{A}}$-harmonic function on a complete Riemannian manifold M is asymptotically constant at infinity of p-nonparabolic ends of M, then each bounded ${\mathcal{A}}$-harmonic function is uniquely determined by the values at infinity of p-nonparabolic ends of M, where ${\mathcal{A}}$ is a nonlinear elliptic operator of type p on M. Furthermore, in this case, every bounded ${\mathcal{A}}$-harmonic function on M has finite energy.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2002년도 추계학술대회
• /
• pp.417-422
• /
• 2002

Use Case는 일반적으로 시스템의 기능적 요소를 나타내기 위하여 활용하며, 고객의 요구사항을 반영하여 작성을 한다. 그러므로 Use Case 규격대로 시스템이 구현되었는가를 검증하는 것은 고객이 원하는 시스템이 구현되었는가를 검증하는 것이라 할 수 있다. 그러므로 Use Case를 기반으로 테스트를 수행 하기 위한 테스트 케이스 작성이 필요하다. 본 논문에서는 Use Case를 이용하여 테스트 케이스를 도출하는 과정을 제안하고, 이에 의하여 확보되는 테스트 커버리지의 의미를 설명한다.

• Journal of the Korean Statistical Society
• /
• 제17권1호
• /
• pp.30-45
• /
• 1988

Let ${X(t) : 0 \leq t < \infty}$ be a real-valued process with stationary independent increments. In this paper, we obtain necesary and sufficint condition for there to exist a positive, nondecreasing function $\beta(t)$ so that $0 < lim sup $\mid$X(t)$\mid$/\beta(t) < \infty$ a.s. both as t tends to zero and infinity. When no such $\beta(t)$ exists we give a simple integral test for whether $lim sup $\mid$X(t)$\mid$/\beta(t)$ is zero or infinity for a given $\beta(t)$.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제31권2호
• /
• pp.133-140
• /
• 1992

The problem of estimating a smooth distribution function F at a point $\tau$ based on randomly right censored data is treated under certain smoothness conditions on F . The asymptotic performance of a certain class of kernel estimators is compared to that of the Kap lan-Meier estimator of F($\tau$). It is shown that the .elative deficiency of the Kaplan-Meier estimate. of F($\tau$) with respect to the appropriately chosen kernel type estimate. tends to infinity as the sample size n increases to infinity. Strong uniform consistency and the weak convergence of the normalized process are also proved.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 1999년도 춘계 학술발표회 논문집 Proceedings of EESK Conference-Spring
• /
• pp.196-201
• /
• 1999

In active control of structures the stroke of a Hybrid Mass Damper is the one of he main constraints of the system because there is limited installation space available in the structure. To design an optimal controller for a HMD system control objective are defined considering these constraints and effectiveness of H-infinity control method with bilinear transform that satisfies the defined objective is examined for the optimum efficiency. Numerical results show that the proposed H-infinity controller satisfies the constraints and provides optimal performance.

• Journal of Power Electronics
• /
• 제16권2호
• /
• pp.643-653
• /
• 2016

The conventional methods used to evaluate battery state-of-charge (SOC) cannot accommodate the chemistry nonlinearities, measurement inaccuracies and parameter perturbations involved in estimation systems. In this paper, an impedance-based equivalent circuit model has been constructed with respect to a LiFePO₄ battery by approximating the electrochemical impedance spectrum (EIS) with RC circuits. The efficiencies of approximating the EIS with RC networks in different series-parallel forms are first discussed. Additionally, the typical hysteresis characteristic is modeled through an empirical approach. Subsequently, a methodology incorporating an H-infinity observer designated for open-circuit voltage (OCV) observation and a hysteresis model developed for OCV-SOC mapping is proposed. Thereafter, evaluation experiments under FUDS and UDDS test cycles are undertaken with varying temperatures and different current-sense bias. Experimental comparisons, in comparison with the EKF based method, indicate that the proposed SOC estimator is more effective and robust. Moreover, test results on a group of Li-ion batteries, from different manufacturers and of different chemistries, show that the proposed method has high generalization capability for all the three types of Li-ion batteries.

• Structural Engineering and Mechanics
• /
• 제55권1호
• /
• pp.229-244
• /
• 2015

H-infinity norm relates to the maximum in the frequency response function and H-infinity control method focuses on the case that the vibration is excited at the fundamental frequency, while 2-norm relates to the output energy of systems with the input of pulses or white noises and 2-norm control method weighs the overall vibration performance of systems. The trade-off between the performance in frequency-domain and that in time-domain may be achieved by integrating two indices in the mixed vibration control method. Based on the linear fractional state space representation in the modal space for a piezoelectric flexible structure with uncertain modal parameters and un-modeled residual high-frequency modes, a mixed dynamic output feedback control design method is proposed to suppress the structural vibration. Using the linear matrix inequality (LMI) technique, the initial populations are generated by the designing of robust control laws with different H-infinity performance indices before the robust 2-norm performance index of the closed-loop system is included in the fitness function of optimization. A flexible beam structure with a piezoelectric sensor and a piezoelectric actuator are used as the subject for numerical studies. Compared with the velocity feedback control method, the numerical simulation results show the effectiveness of the proposed method.