• 한국전자파학회지:전자파기술
• /
• 제3권2호
• /
• pp.10-15
• /
• 1992

The electromagentic characteristics of antennas in the complicated metallic structures were analyzed using the electric field integral equation. The accurancy of computer program was confirmed by comparing the computation result with NELC brass model study. And computation result of antenna characteristics in metallic structures was in good argreement with our measuring result.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2000년도 봄 학술발표회 논문집
• /
• pp.615-622
• /
• 2000

This paper is relate to the result of pilot test in Asan. In order to evaluate the characteristics of behavior and deformation in Asan and to analyse the effect of soft ground treatment, preloading, two types of paper drain and pack drain were constructed in the ground. Settlement gauges, pressure meters, pressure cells and ground water gauges were monitored and also borings and piezoncone tests were performed. As a result of analyse, every vertical drained area was consolidated over 90% degree of consolidation but preloaded area was not reached to 90%.

• Communications for Statistical Applications and Methods
• /
• 제15권6호
• /
• pp.959-967
• /
• 2008

In this paper we show the weak convergence of the linear random(multistochastic process) field generated by identically distributed 2-parameter array of associated random variables. Our result extends the result in Newman and Wright (1982) to the linear 2-parameter processes as well as the result in Kim and Ko (2003) to the 2-parameter case.

• 전기학회논문지
• /
• 제67권5호
• /
• pp.651-655
• /
• 2018

In this paper, based on an augmented Lyapunov-Krasovskii functional(LKF) with time-delay product quadratic terms, the stability result in the form of linear matrix inequality(LMI) is proposed. In getting an LMI result, the free matrix based integral inequality is used. Finally, two well-known numerical examples are given to demonstrate the usefulness of the proposed result.

• Journal of the Korean Statistical Society
• /
• 제24권1호
• /
• pp.65-76
• /
• 1995

In this paper, we show that the result of random upper functions for Levy processes obtained by Joo(1993) can be sharpened under some additional assumption. This is the continuous analogue of result obtained by Griffin and Kuelbs (1989) for sums of i.i.d. random varialbles.

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

By using the Lyapunov functional method, stochastic analysis, and LMI (linear matrix inequality) approach, the mean square exponential stability of an equilibrium solution of uncertain stochastic Hopfield neural networks with delayed is presented. The proposed result generalizes and improves previous work. An illustrative example is also given to demonstrate the effectiveness of the proposed result.

• 대한수학회보
• /
• 제46권6호
• /
• pp.1069-1077
• /
• 2009

In 1984, Oshiro [11] has studied the decomposition of continuous lifting modules. He obtained the following: every continuous lifting module has an indecomposable decomposition. In this paper, we study extending lifting modules. We show that every extending lifting module has an indecomposable decomposition. This result is an expansion of Oshiro's result mentioned above. And we consider some application of this result.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.783-787
• /
• 1993

The dynamics for a two-body problem including perturbations due to nonspherical gravitation of the earth, gravitation of the sun and moon, radiation of the sun is studied. Orbit determination was performed by SVD filter. The simulation result shows that the characteristics of the satellite orbit have east-west and south-north drift. Therefore, the periodic magnitude of the control time and value in the view of the periodicity of error can be provided, and this result can be basic data to a station keeping problem with an orbit determination result.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.325-328
• /
• 2002

In this paper, we present a SystemC model of a 32-Bit RISC core wi)ich is based on the ARMTTDMI architecture. The RISC core model was first modeled in C for architecture verification and then refined down to a level that allows concurrent behavior lot hardware timing using the SystcmC class library. It was driven in timed functional level that uses handshake protocol. It was compiled using standard C++ compiler. The functional simulation result was verified by comparing the contents of memory, the result of execution with the result from the ARMulator of ADS(Arm Developer Suite).

• 대한수학회보
• /
• 제44권4호
• /
• pp.623-629
• /
• 2007

In this paper, we study the uniqueness of entire functions and prove the following result: Let f and g be two nonconstant entire functions, n, m be positive integers. If $f^n(f^m-1)f#\;and\;g^n(g^m-1)g#$ share 1 IM and n>4m+11, then $f{\equiv}g$. The result improves the result of Fang-Fang.