• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.507-517
• /
• 2009

We prove a functional central limit theorem for a linear random field generated by negatively associated multi-dimensional random variables. Under finite second moment condition we extend the result in Kim, Ko and Choi[Kim,T.S, Ko,M.H and Choi, Y.K.,2008. The invariance principle for linear multi-parameter stochastic processes generated by associated fields. Statist. Probab. Lett. 78, 3298-3303] to the negatively associated case.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.1
• /
• pp.102-107
• /
• 2021

This paper discusses the containment control problem for multi-agent systems with input saturations. The goal of the containment control is to obtain swarming behavior by driving follower agents into the convex hull which is spanned by multiple leader agents. This paper considers multiple leader agents moving at the same constant speed. Then, to solve the containment problem for moving leaders, we propose a PI-based distributed control algorithm. We next analyze the convergence of follower agents to the desired positions. Specifically, we apply the integral-type Lyapunov function to take into account the saturation nonlinearity. Then, based on Lasalle's Invariance Principle, we show that the asymptotic convergence of error states to zero for any positive constant gains. Finally, numerical examples with the static and moving leaders are provided to validate the theoretical results.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.20 no.4
• /
• pp.338-347
• /
• 2010

Heunginjimun designated as a Treasure No.1 is a two-story wooden structure with 5 bay and 2 bay in its front and side views, respectively. This paper presents an investigation on vibration characteristics of Heunginjimun through both ambient vibration and impact hammer tests. Ambient vibration test was performed to identify the natural frequency of Heunginjimun from the spectrum analysis of time history. Impact hammer test was undertaken to find the frequency of Heunginjimun which is affected by the surrounding traffics and to verify the reciprocal principle for the wooden structural system. Ambient vibration test results of Heunginjimun showed that the natural frequencies in two principal axes 1.5 Hz and 1.1 Hz, respectively. It was confirmed from impact hammer tests for a ground that the frequency of 4.2 Hz is caused by the traffics surrounding Heunginjimun. It was also observed that from the impact hammer test results between two locations in Heunginjimun that the transfer functions measured from two corresponding locations coincided well with each other. This result shows that the wooden structural system is globally linear, and the reciprocal principle is established.

• Journal of Fashion Business
• /
• v.16 no.2
• /
• pp.124-137
• /
• 2012

This study aims to identify the meaning and formation cause of a style, and the essential elements of style formation, through psychobiological research as well as an analysis of the designs of Iris Van Herpen, a fashion designer, who in just 6 years has developed into a world-renowned new designer. As a result, it has been found that the psychobiological causes to form a style stem from the action of 'long-term memory', which is consolidated by 'selective attention', 'perceptional subjectivity', the principle of the 'neuron's connection specificity and invariance', and the principle of a 'neuronal signal's unilateral flow'. With such action, Herpen could develop her own original composition techniques. The formative shapes created by such composition techniques are characterized by enumeration, superposition, and hanging. The study has also found that the essential elements for a designer to be able to form his/her own style include 'aesthetic originality' in which the designer views the property of a thing from his/her inherent perspective, and finds the uniqueness from the thing that only he/she can express, 'technical differences' that are creative and original, and 'formative specificity' that is summarized into one property through an impressive shape.

• IEIE Transactions on Smart Processing and Computing
• /
• v.4 no.1
• /
• pp.35-43
• /
• 2015

Over the past couple of years, tremendous progress has been made in applying deep learning (DL) techniques to computer vision. Especially, deep convolutional neural networks (DCNNs) have achieved state-of-the-art performance on standard recognition datasets and tasks such as ImageNet Large-Scale Visual Recognition Challenge (ILSVRC). Among them, GoogLeNet network which is a radically redesigned DCNN based on the Hebbian principle and scale invariance set the new state of the art for classification and detection in the ILSVRC 2014. Since there exist various deep learning techniques, this review paper is focusing on techniques directly related to DCNNs, especially those needed to understand the architecture and techniques employed in GoogLeNet network.

• International Journal of Aeronautical and Space Sciences
• /
• v.3 no.2
• /
• pp.1-12
• /
• 2002

This paper considers the robust and optimal three-axis attitude stabilization of rigid spacecraft with inertia uncertainties. The attitude motion of rigid spacecraft described in terms of either the Cayley-Rodrigues parameters or the Modified Rodrigues parameters is considered. A class of robust nonlinear control laws with relaxed feedback gain structures is proposed for attitude stabilization of rigid spacecraft with inertia uncertainties. Global asymptotic stability of the proposed control laws is shown by using the LaSalle Invariance Principle. The optimality properties of the proposed control laws are also investigated by using the Hamilton-Jacobi theory. A numerical example is given to illustrate the theoretical results presented in this paper.

• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.951-959
• /
• 1994

A sequence ${X_j : j \geq 1}$ of random variables is said to be pairwise positive quadrant dependent (pairwise PQD) if for any real $r-i,r_j$ and $i \neq j$ $$ P{X_i > r_i,X_j > r_j} \geq P{X_i > r_i}P{X_j > r_j} $$ (see [8]) and a sequence ${X_j : j \geq 1}$ of random variables is said to be associated if for any finite collection ${X_{i(1)},...,X_{j(n)}}$ and any real coordinatewise nondecreasing functions f,g on $R^n$ $$ Cov(f(X_{i(1)},...,X_{j(n)}),g(X_{j(1)},...,X_{j(n)})) \geq 0, $$ whenever the covariance is defined (see [6]). Instead of association Cox and Grimmett's [4] original central limit theorem requires only that positively linear combination of random variables are PQD (cf. Theorem $A^*$).

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.4
• /
• pp.317-335
• /
• 2014

In this work, we investigate the global stability analysis of a viral infection model with antibody immune response. The incidence rate is given by a general function of the populations of the uninfected target cells, infected cells and free viruses. The model has been incorporated with two types of intracellular distributed time delays to describe the time required for viral contacting an uninfected cell and releasing new infectious viruses. We have established a set of conditions on the general incidence rate function and determined two threshold parameters $R_0$ (the basic infection reproduction number) and $R_1$ (the antibody immune response activation number) which are sufficient to determine the global dynamics of the model. The global asymptotic stability of the equilibria of the model has been proven by using Lyapunov theory and applying LaSalle's invariance principle.

• Journal of Institute of Control, Robotics and Systems
• /
• v.1 no.1
• /
• pp.1-3
• /
• 1995

결합된 시변 상미분 방정식의 해외 점근적 성질에 관한 연구이다. 리아프노프 직접 방법에 의하면 평등 안정성(uniform stability)만 얻어졌을 경우이지만, 추가적으로 상태 벡터 중 일부가 0으로 점근적 수렴함을 보이는데 있다. 얻어진 결과는 특히 불변원리(invariance principle)가 성립하지 않는 시변 시스템에 유용하다.

• Bulletin of the Korean Chemical Society
• /
• v.20 no.6
• /
• pp.720-726
• /
• 1999

It has been proved by the semi-classical gauge invariant formulation (GIF) that the correct interaction operator for coupling the field-free material states with the radiation field must be the position form regardless of the gauge chosen for expressing the electromagnetic potentials, in accordance with the well-established principle of gauge invariance. The semi-classical GIF is now extended to the quantized radiation field interacting with matter by defining the energy operator for the quantized radiation field in the presence of matter. It will be shown in this paper that the use of the energy operator guarantees the position form of the interaction operator even in the Coulomb gauge, contrary to the conventional approach in which the dark material Hamiltonian is used to get the interaction operator of the momentum form. The multipolar Hamiltonian is examined in the context of the quantum mechanical gauge transformation.