• 한국전자거래학회지
• /
• 제6권1호
• /
• pp.17-33
• /
• 2001

EC(Electronic Commerce) which is done on the virtual space through Internet has strong point like independence from time and space. On the contrary, it also has weak point like security problem because anybody can access easily to the system due to open network attribute of Internet, Therefore, we need the solutions that protect the EC security problem for safe and useful EC activity. One of these solutions is the implementation of strong cipher system. YK2(Young Ku King) cipher system proposed in this paper is good solution for the EC security and it overcome the limit of current block cipher system using 128 bits key length for input, output, encryption key and 32 rounds. Moreover, it is designed for the increase of time complexity by adapting more complex design for key scheduling algorithm regarded as one of important element effected to encryption.

• Advances in aircraft and spacecraft science
• /
• 제4권6호
• /
• pp.711-727
• /
• 2017

This article is concerned with a two-dimensional problem of micropolar generalized thermoelasticity for a half-space whose surface is traction-free and the conductive temperature at the surface of the half-space is known. Theory of two-temperature generalized thermoelasticity with phase lags using the normal mode analysis is used to solve the present problem. The formulas of conductive and mechanical temperatures, displacement, micro-rotation, stresses and couple stresses are obtained. The considered quantities are illustrated graphically and their behaviors are discussed with suitable comparisons. The present results are compared with those obtained according to one temperature theory. It is concluded that both conductive heat wave and thermodynamical heat wave should be separated. The two-temperature theory describes the behavior of particles of elastic body more real than one-temperature theory.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제11권1호
• /
• pp.29-36
• /
• 2004

Given vectors x and ｙ in a Hilbert space, an interpolating operator is a bounded operator T such that Tx=y. In this paper the following is proved: Let $\cal{L}$ be a subspace lattice on a Hilbert space $\cal{H}$. Let x and ｙ be vectors in $\cal{H}$ and let $P_x$, be the projection onto sp(x). If $P_xE=EP_x$ for each $ E \in \cal{L}$ then the following are equivalent. (1) There exists an operator A in Alg(equation omitted) such that Ax=y, Af = 0 for all f in ($sp(x)^\perp$) and $A=-A^\ast$. (2) (equation omitted)

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.476-479
• /
• 2003

The Rough transform (HT) is often used for extracting global features in binary images, for example curve and line segments, from local features such as single pixels. The HT is useful due to its insensitivity to missing edge points and occlusions, and robustness in noisy images. However, it possesses some disadvantages, such as time and memory consumption due to the number of input data and the selection of an optimal and efficient resolution of the accumulator space can be difficult. Another problem of the HT is in the difficulty of peak detection due to the discrete nature of the image space and the round off in estimation. In order to resolve the problem mentioned above, a possibilistic C-means approach to clustering [1] is used to cluster neighboring peaks. Several experimental results are given.

• International Journal of Aeronautical and Space Sciences
• /
• 제10권1호
• /
• pp.112-121
• /
• 2009

This paper deals with supersonic air-breathing missile system. A supersonic air-breathing missile system has very complicated and incoherent thrust characteristics with respect to outer and inner environment during operation. For this reason, the missile system has many maneuver constraints and is allowed to operate within narrow flight envelope. In this paper, trajectory optimization of the missile is accomplished. The trajectory optimization problem is formulated as a discrete parameter optimization problem. For this formulation, Legendre Pseudo-Spectral method is introduced. This method is based on calculating the state and control variables on Legendre-Gauss-Lobatto (LGL) points. This approach helps to find approximated derivative and integration quantities simply. It is shown that, for this trajectory optimization, trend analysis is performed from thrust characteristics on various conditions so that the trajectory optimization is accomplished with fine initial guess with these results.

• 한국정밀공학회지
• /
• 제18권6호
• /
• pp.50-58
• /
• 2001

In this paper, a method to apply the simulated annealing method to three dimensional layout design problem which has multiple constraint conditions and evaluation criteria, was suggested. A program to support three dimensional layout design was developed according to the suggested method. This program was applied to the layout design of the wireless unmaned ocean space submergible boat. The layout result was improved 19.0% for the result of layout design expert. By this, it was verified that the suggested method has validity in supporting three dimensional layout design problem.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.411-416
• /
• 2002

The emergence of viral diseases transmitted is nowadays a central problem in the world. Problem, which is becoming very critical in developing countries, where the health systems are not yet enough developed to face the bursting of such diseases. Emerging viral diseases constitute one of the major threats to human being that are arising in the modern world. Besides bio-chemical and medical researches, new orientations are developed to understand the environmental dimensions of such emergence. Questions concerning the inter-plays between the environmental and disease dynamics are building up new investigations, both in remote sensing and GIS, for the elaboration of levels of organization of space and environment in relation to incidences, to gain understandings in these issues. Environmental attributes attached to land cover types: area, spatial heterogeneity and physical state, are derived from remote sensing and applied to uncover related dimensions of the Dengue disease.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2011년도 한국우주과학회보 제20권1호
• /
• pp.25.4-25.4
• /
• 2011

Various estimation methods based on Kalman filter have been applied to the real-time satellite orbit determination. The most popular method is the Extended Kalman Filter (EKF) and the Unscented Kalman Filter (UKF). The EKF is easy to implement and to use on orbit determination problem. However, the linearization process of the EKF can cause unstable solutions if the problem has the inaccurate reference orbit, sparse or insufficient observations. In this case, the UKF can be a good alternative because it does not contain linearization process. However, because both methods are based on Gaussian assumption, performance of estimation can become worse when the distribution of state parameters and process/measurement noise are non-Gaussian. In nonlinear/non-Gaussian problems the particle filter which is based on sequential Monte Carlo methods can guarantee more exact estimation results. This study develops and tests the particle filter for satellite orbit determination. The particle filter can be more effective methods for satellite orbit determination in nonlinear/non-Gaussian environment.

• 한국해양공학회지
• /
• 제26권4호
• /
• pp.8-14
• /
• 2012

Two dimensional nesting is a common problem in industries such as the shipbuilding, automotive, clothing, shoe-making, and furniture industries, in which various parts are cut off from stock or packed in a flat space while minimizing waste or unoccupied space. Nesting is known as an NP-complete problem, which has a solution time proportional to the superpolynomial of the input size. It becomes practically impossible to find an optimal solution using algorithmic methods as the number of shapes to nest increases. Therefore, heuristic methods are commonly used to solve nesting problems. This paper presents an expert system that uses a heuristic search method based on an evaluation function for nesting problems, in which parts and stock are represented by pixels. The system is developed in CLIPS, an expert system shell, and is applied to four different kinds of example problems to verify its applicability in practical problems.

• 대한수학회보
• /
• 제55권6호
• /
• pp.1891-1908
• /
• 2018

In this paper, we investigate the existence of an S-shaped connected component in the set of positive solutions of the Dirichlet problem of the one-dimension Minkowski-curvature equation $$\{\(\frac{u^{\prime}}{\sqrt{1-u^{{\prime}2}}}\)^{\prime}+{\lambda}a(x)f(u)=0,\;x{\in}(0,1),\\u(0)=u(1)=0$$, where ${\lambda}$ is a positive parameter, $f{\in}C[0,{\infty})$, $a{\in}C[0,1]$. The proofs of main results are based upon the bifurcation techniques.