• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.3
• /
• pp.27-33
• /
• 2007

Recently, a new hard problem on a two dimensional vector space called vector decomposition problem (VDP) was proposed by M. Yoshida et al. and proved that it is at least as hard as the computational Diffe-Hellman problem (CDHP) on a one dimensional subspace under certain conditions. However, in this paper we present the VDP relative to a specific basis can be solved in polynomial time although the conditions proposed by M. Yoshida on the vector space are satisfied. We also suggest strong instances based on a certain type basis which make the VDP difficult for any random vector relative to the basis. Therefore, we need to choose the basis carefully so that the VDP can serve as the underlying intractable problem in the cryptographic protocols.

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.605-616
• /
• 2000

We prove the non-homogeneous boundary value problem for population evolution equations is well-posed in Sobolev space H(sup)3/2,3/2($\Omega$). It provides a strictly mathematical basis for further research of population control problems.

• Proceedings of the KIEE Conference
• /
• 1995.07b
• /
• pp.733-734
• /
• 1995

In this paper, a computational scheme for the model reduction problem using balanced realization is introduced, The scheme is illustrated by an example. The algorithm is based on the characterization of the solution to the model reduction problem.

• Korean Institute of Interior Design Journal
• /
• v.14 no.2 s.49
• /
• pp.104-111
• /
• 2005

Environment problem has proposed in the world at large, the desire for environment conservation and one's value change which lay emphasis on lasting human sensibility are increasing. Constant human mind and ecology centered in space is presenting as future space design substitute plan which is based on fundamental material quality in the space such as environment and human ,naturalist or Green Design, pro-environment construction, sense design and etc. So, we intend to anthropocentric value and get out of satisfaction of function as the past physical environment equipment which is applied the elements of ecology based on the organized body and interaction with human. A form of sensitive space is divided into sentient space, expressing method and material, change of space according to the flow of time, and is expressed in a more segmented form of sensuality by being replaced into a new sensitive space through transaction with human, who occupy within the space. The space embodiment which is satisfied human sense regards as alternative plan intention for the future, through two subjects relativity between the elements of ecology and sense, we will find the influence of sense as each space trait of the elements of ecology, examine sense form in the space with the synthetic summary. It is significant presentation for the lasting space based on anthropocentric delightfulness as the design which moves human mind while designing the space for this pattern of sense space.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2004.05a
• /
• pp.106-110
• /
• 2004

In any large heavy industry like that of ship building, there exist a lot of complications for the arrangement of building blocks optimally for the minimal space consumption. The major problem arises at yard because of laxity in space for arranging the building blocks of ship under construction. A standardized erection sequence diagram is generally available to provide the prioritised erection sequence. This erection sequence diagram serves as the frame work. In order to make a timely erection of the blocks a post plan has to be developed so that the blocks lie in the nearest possible vicinity of the material handling devices while keeping the priority of erection. Therefore, the blocks are arranged in the pre-erection area. This kind of readiness of blocks leads to a very complex problem of space. This arises due to the least available space leading to an urgent need of an availability of intelligent spatial schedule without compromising the rate of production. There exists two critical problems ahead namely, the spatial occupation layout of pre-erection area and the emptying pattern in the spatial vicinity. The block shape is assumed be rectangular. The related input data's are the dates of erection (earliest as well as the latest), geometrical parameters of block available on pre-erection area, slack time and the like.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.663-668
• /
• 2003

This paper presents a new observation system which is useful to observe the scene of the remote controlled robot vision. This system is composed of a motionless camera and head motion detector with a motion sensor. The motionless camera has a fish eye lens and is for observing a hemisphere space. The head motion detector has a motion sensor is for defining an arbitrary subspace of the hemisphere space from fish eye lens. Thus processing the angular information from the motion sensor appropriately, the direction of face is estimated. However, since the fisheye image is distorted, it is unclear image. The partial domain of a fish eye image is selected by head motion, and this is converted to perspective image. However, since this conversion enlarges the original image spatially and is based on discrete data, crevice is generated in the converted image. To solve this problem, interpolation based on an intensity of the image is performed for the crevice in the converted image (space problem). This paper provides the experimental results of the proposed observation system with the head motion detector and perspective image conversion using the proposed conversion and interpolation methods, and the adequacy and improving point of the proposed techniques are discussed.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.538-543
• /
• 2008

Urban development and industrialization cause many problems on urban environment such as climate changes, natural disasters and a decreasing number of species. Problems on urban environment are the main factor of that lower the quality of life and obstruct continual development. As a result, eco space becomes the important part of a urban planning. This research, building plan U-Eco city which is establishing with the clean environment and high technology for solve the development thoughtless for the city environment problem and ecological problem. We suggest U-Eco space system which accreted with Ubiquitous technology to three physical divisions, which are lithosphere (land), hydrosphere (water), and aerosphere (air), that interact with the whole biosphere by forming the system. It has composed with U-Green belt that corresponds to lithosphere, U-Blue belt that is applicable to hydrosphere, and U-White belt that comes under aerosphere.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.10
• /
• pp.1558-1565
• /
• 2004

It is important to determine supporting locations for structural stability when a structure is loaded with non-uniform load or supporting locations as well as the number of the supporting structures are restricted by the problem of space. Moreover, the supporting location optimization of complex structure in real world is frequently faced with discontinuous design space. Therefore, the traditional optimization methods based on derivative are not suitable Whereas, Genetic Algorithm (CA) based on stochastic search technique is a very robust and general method. The KSTAR in-vessel control coil installed in vacuum vessel is loaded with non- uniform electro-magnetic load and supporting locations are restricted by the problem of space. This paper shows the supporting location optimization for structural stability of the in-vessel control coil. Optimization has been performed by means of a developed program. It consists of a Finite Element Analysis interfaced with a Genetic Algorithm. In addition, this paper presents an algorithm to find an optimum solution in discontinuous space using continuous design variables.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.2
• /
• pp.95.1-95.1
• /
• 2013

The RBSPICE (Radiation Belt Storm Probes Ion Composition Experiment) is one of five instrument suites onboard the twin Van Allan Probes (or Radiation Belt Storm Probes; RBSP), launched August 30, 2012 by NASA. One of science targets of RBSPICE instrument is to determine "how changes in that ring current affect the creation, acceleration, and loss of radiation belt particles?". For that purpose, it measures ions and electrons simultaneously. Ion's energy range is from ~20 keV to ~1 MeV and electron's energy channel is from ~35 keV to 1 MeV in order to provide supplementary information about the radiation belts. In this paper, we investigate a reliability of the electron flux measured from the RBSPICE by comparing with ECT (The Energetic Particle, Composition and Thermal Plasma Suite) data. We found there is a critical proton contamination problem in the electron channels of ~ 1MeV of RBSPICE observations during one moderate storm event of Sym H ~ -76 nT on March 1, 2013.

• Earthquakes and Structures
• /
• v.9 no.1
• /
• pp.173-194
• /
• 2015

Site response analysis is an important topic in earthquake engineering. A time-domain numerical method called as one-dimensional (1D) finite element artificial boundary method is proposed to simulate the homogeneous plane elastic wave propagation in a layered half space subjected to the obliquely incident plane body wave. In this method, an exact artificial boundary condition combining the absorbing boundary condition with the inputting boundary condition is developed to model the wave absorption and input effects of the truncated half space under layer system. The spatially two-dimensional (2D) problem consisting of the layer system with the artificial boundary condition is transformed equivalently into a 1D one along the vertical direction according to Snell's law. The resulting 1D problem is solved by the finite element method with a new explicit time integration algorithm. The 1D finite element artificial boundary method is verified by analyzing two engineering sites in time domain and by comparing with the frequency-domain transfer matrix method with fast Fourier transform.