• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.715-717
• /
• 2003

Some previous works for nearest neighbor (NN) query processing technique can treat a case that query/data are both moving objects. However, they cannot find exact result owing to vagueness of criterion. In order to escape their limitations and get exact result, we propose new NN query techniques, exact CTNN (continuous trajectory NN) query, approximate CTNN query, and dynamic CTNN query. These are all superior to pervious works, by reducing of number of calculation, considering of trajectory information, and using of continuous query concept. Using these techniques, we can solve any situations and types of NN query in location-aware environment.

• Communications for Statistical Applications and Methods
• /
• v.22 no.4
• /
• pp.389-399
• /
• 2015

It is important not to overcalculate sample sizes for clinical trials due to economic, ethical, and scientific reasons. Kang and Kim (2014) investigated the accuracy of a well-known sample size calculation formula based on the approximate power for continuous endpoints in equivalence trials, which has been widely used for Development of Biosimilar Products. They concluded that this formula is overly conservative and that sample size should be calculated based on an exact power. This paper extends these results to binary endpoints for three popular metrics: the risk difference, the log of the relative risk, and the log of the odds ratio. We conclude that the sample size formulae based on the approximate power for binary endpoints in equivalence trials are overly conservative. In many cases, sample sizes to achieve 80% power based on approximate powers have 90% exact power. We propose that sample size should be computed numerically based on the exact power.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.17 no.3 s.120
• /
• pp.249-256
• /
• 2007

Aircraft noise is a serious problem to inhabitants near airports. INM is one of programs for determining the predicted noise impact in the vicinity of airports. It has been widely used for engineers to evaluate aircraft noise. However it is difficult to predict aircraft noise in case of lack of exact INM input data. The exact informations about a fighter plane are not known well for a security problem. This study presents methods of reducing errors between measurement and simulation when the exact INM input data is not known. Especially we adjusted the thrust force of aircraft engine and reduced the error.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.16 no.3
• /
• pp.181-192
• /
• 2012

Here in this paper, the steady paint film flow on a vertical wall of a non-Newtonian pseudo plastic fluid for drainage problem has been investigated. The exact solution of the nonlinear problem is obtained for the velocity profile. Also the average velocity, volume flux, shear stress on the wall, force to hold the wall in position and normal stress difference have been derived. We retrieve Newtonian case, when material constant ${\mu}_1$ and relaxation time ${\lambda}_1$ equal zero. The results for co-rotational Maxwell fluid is also obtained by taking material constant ${\mu}_1$ = 0. The effect of the zero shear viscosity ${\eta}_0$, the material constant ${\mu}_1$, the relaxation time ${\lambda}_1$ and gravitational force on the velocity profile for drainage problem are discussed and plotted.

• Korean Journal of Remote Sensing
• /
• v.11 no.1
• /
• pp.47-64
• /
• 1995

In this paper, an algorithm that finds man-made structures in a praylevel aerial images is proposed to perform stereo matching. An extracted contour of buildings must have a high accuracy in order to get a good feature-based stereo matching result. Therefore this study focuses on the use of edge following in the original image rather than use of ordinary edge filters. The Algorithm is composed of two main categories; one is to find candidate regions in the whole image and the other is to extract exact contours of each building which each candidate region.. The region growing method using the centroid linkage method of variance value is used to find candidate regions of building and the contour line tracing algorithm based on an adge following method is used to extract exact contours. The result shows that the almost contours of building composed of line segments are extracted.

• Structural Engineering and Mechanics
• /
• v.7 no.3
• /
• pp.259-276
• /
• 1999

An analytical solution for the shape functions of a beam segment supported on a generalized two-parameter elastic foundation is derived. The solution is general, and is not restricted to a particular range of magnitudes of the foundation parameters. The exact shape functions can be utilized to derive exact analytic expressions for the coefficients of the element stiffness matrix, work equivalent nodal forces for arbitrary transverse loads and coefficients of the consistent mass and geometrical stiffness matrices. As illustration, each distinct coefficient of the element stiffness matrix is compared with its conventional counterpart for a beam segment supported by no foundation at all for the entire range of foundation parameters.

• Structural Engineering and Mechanics
• /
• v.59 no.1
• /
• pp.101-122
• /
• 2016

Elasticity solutions for bi-directional functionally graded beams subjected to arbitrary lateral loads are conducted, with emphasis on the end effects. The material is considered macroscopically isotropic, with Young's modulus varying exponentially in both axial and thickness directions, while Poisson's ratio remaining constant. In order to obtain an exact analysis of stress and displacement fields, the symplectic analysis based on Hamiltonian state space approach is employed. The capability of the symplectic framework for exact analysis of bi-directional functionally graded beams has been validated by comparing numerical results with corresponding ones in open literature. Numerical results are provided to demonstrate the influences of the material gradations on localized stress distributions. Thus, the material properties of the bi-directional functionally graded beam can be tailored for the potential practical purpose by choosing suitable graded indices.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1513-1528
• /
• 2021

Let R be a commutative ring with prime nilradical Nil(R) and M an R-module. Define the map 𝜙 : R → R_Nil(R) by ${\phi}(r)=\frac{r}{1}$ for r ∈ R and 𝜓 : M → M_Nil(R) by ${\psi}(x)=\frac{x}{1}$ for x ∈ M. Then 𝜓(M) is a 𝜙(R)-module. An R-module P is said to be 𝜙-projective if 𝜓(P) is projective as a 𝜙(R)-module. In this paper, 𝜙-exact sequences and 𝜙-projective R-modules are introduced and the rings over which all R-modules are 𝜙-projective are investigated.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.

• Journal of Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.24-32
• /
• 2023

This paper studied HART II in descending flight using rotorcraft analysis code based on geometrically exact beam (GEB) model. The present GEB model expressed by a mixed variational formulation could capture the geometrically nonlinear behavior of the blade without arbitrary assumptions. In previous results, correlation of airloads with structural moments for HART II was not as good as blade deflections. However, in present results, predictions of airloads and structural loads are fairly correlated with measured data.