• East Asian mathematical journal
• /
• v.33 no.1
• /
• pp.83-102
• /
• 2017

The main purpose of this paper is to introduce a pair new class of primal and dual problem associated with an operator. We prove the sufficient optimality theorem, weak duality theorem and strong duality theorem for these problems. The equivalence between the generalized optimization problems and the generalized variational inequality problems is studied in ordered topological vector space modeled in Hilbert spaces. We introduce the concept of partial differential associated (PDA)-operator, PDA-vector function and PDA-antisymmetric function to show the existence of a new class of function called, ($T_{\eta};{\xi}_{\theta}$)-invex functions. We discuss first and second kind of ($T_{\eta};{\xi}_{\theta}$)-invex functions and establish their existence theorems in ordered topological vector spaces.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.987-992
• /
• 1992

In recent years, induction motor is applied for several industrial actuatung parts instead of direct current motor because of the robust construction, nonexpensive and maintenance-free actuator etc. and having capability of speed control according to development of power electrounics and microprocessor techniques. In the paper, a microprocessor-based digital control approach for spped control of induction motor system is presented by considering a simple modelling equation as the system expression equation of induction motor and using the self tuning control and torque effdforward control method. As the model equation of the induction motor system, we use a second order differential equation which is well known in the modeling equation is induced form the control theory stand point such tath we can describe usually the motor system connected by inverter, generator and load etc. The effectiveness of the control system composed by the above mentioned design concept is illustrated by the expermental result in the presence of step reference change and generator load variation.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.898-905
• /
• 2006

In the present paper, for a quantitative assessment of early-age cracking in an RC wall, an improved analytical model is proposed. First of all, a three-dimensional finite element model for the analysis of stresses due to hydration heat and differential drying shrinkage is introduced. A discrete steel element derived using the equivalent nodal force concept is used to simulate reinforcing steels, embedded in a concrete matrix. In advance, to quantitatively calculate the cracking potential, an analytical model that can estimate the post-cracking behavior in an RC tension member is proposed Subsequent comparisons. of analytical results with test results verify that the combined use of both the finite element model for the stress analysis as well as the analytical model for the estimation of the post-cracking behavior in an RC tension member make it possible to accurately predict the cracking ,behavior of RC walls.

• Korean Journal of Biological Psychiatry
• /
• v.8 no.2
• /
• pp.203-207
• /
• 2001

The genome sequencing project has generated and will continue to generate enormous amounts of sequence data including 5 eukaryotic and about 60 prokaryotic genomes. Given this ever-increasing amounts of sequence information, new strategies are necessary to efficiently pursue the next phase of the genome project-the elucidation of gene expression patterns and gene product function on a whole genome scale. In order to assign functional information to the genome sequence, DNA chip(or gene microarray) technology was developed to efficiently identify the differential expression pattern of independent biological samples. DNA chip provides a new tool for genome expression analysis that may revolutionize many aspects of biotechnology including new drug discovery and disease diagnostics.

• 한국전산유체공학회:학술대회논문집
• /
• 1998.05a
• /
• pp.156-161
• /
• 1998

This describes a numerical method for predicting the incompressible unsteady laminar three-dimensional flows of fluid behaviour with free-surface. The elliptic differential equations governing the flows have been linearized by means of finite-difference approximations, and the resulting equations have been solved via a fully-implicit iterative method. The free-surface is defined by the motion of a set of marker particles and interface behaviour was investigated by way of a 'Lagrangian' technique. Using the GALA concept of Spalding, the conventional mass continuity equation is modified to form a volumetric or bulk-continuity equation. The use of this bulk-continuity relation allows the hydrodynamic variables to be computed over the entire flow domain including both liquid and gas regions. Thus, the free-surface boundary conditions are imposed implicitly and the problem formulation is greatly simplified. The numerical procedure is validated by comparing the predicted results of a periodic standing waves problems with analytic solutions or experimental results from the literature. The results show that this numerical method produces accurate and physically realistic predictions of three-dimensional free-surface flows.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2002.05c
• /
• pp.11-14
• /
• 2002

Accurate sets of electron collision cross sections for atoms and molecules are necessary for quantitative understanding and modeling of plasma phenomena. So, in this study, we explains the concept of electron collision cross sections for gases, and the principle of determination of the electron collision cross sections for atoms and molecules by using the present electron swarm method.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.4
• /
• pp.1169-1174
• /
• 2000

Human-compute interface (HCl) should be designed with ease and flexibility for users for providing convenience and friendliness to users. The natural language processing is one of the aspects of HCl. This paper presents the method of design and implementation of SENKOV( Semantic Networks for Korean Verbs) System, which deals with isa hierarchies of Korean verbs for the natural language processing. The system's architecture is based on the differential theory and Levin verb classes. This paper selects about 600 Korean verbs which are commonly used in the daily life, and implements the SENKOV System. The experiments show that SENKOV has 44 top nodes and depth of about 2.35. In addition this paper applied the SENKOV System to co-occurrence constraint relationship among a adverbs and verbs, and proves the validity of the system. This paper is important in that it has made the first trial to classify Korean verb concept for HCl.

• Coupled systems mechanics
• /
• v.7 no.2
• /
• pp.141-162
• /
• 2018

This work presents a novel model for analysis of the loading rate influence onto structure response. The model is based on the principles of nonlinear system dynamics, i.e., consists of a system of nonlinear differential equations. In contrast to classical linearized models, this one comprises mass and loading as integral parts of the model. Application of the Kelvin and the Maxwell material models relates the novel formulation to the existing material formulations. All the analysis is performed on a proprietary computer program based on Wolfram Mathematica. This work can be considered as an extended proof of concept for the application of the nonlinear solid model in material response to dynamic loading.

• Proceedings of the KOSOMBE Conference
• /
• v.1995 no.05
• /
• pp.68-70
• /
• 1995

A low-noise pre-amplifier is developed for use in Topographic Brain Mapping system. It consists of signal generator, signal amplifier with a impedance converter, shield driver, body driver, differential amplifier, and isolation amplifier. Pre-amplifier circuit is designed with the concept of isolation and active body and shield driver. This amplifier shows the good noise behavior, high CMRR, high input impedance, low leakage current and high IMRR.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.2023-2026
• /
• 2002

This paper explains the study of controller design applied to SRM(Switched Reluctance Motor) concept. This controller executes controller algorithms via ${\mu}$-processor to increase stability and precise measurement, and VHDL (Very high speed integrated circuit Hardware Description Language) is designed to generate SRM driving signal. During initial period, SRM controller was designed to control .respective target RPM (Revolution per minutes) and PR (Proportional Integral Differential) coming from the PC(Personal Computer) monitor program, and receiving clockwise and counter-clockwise rotation signal and target RPM coming from the front panel, and receiving the location of rotational element and RPM generating from the position censor during activation period.