• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1271-1290
• /
• 2011

The purpose of this paper is to investigate the controllability of certain types of second order nonlinear impulsive systems with statedependent delay. Sufficient conditions are formulated and the results are established by using a fixed point approach and the cosine function theory Finally examples are presented to illustrate the theory.

• International Journal of Internet, Broadcasting and Communication
• /
• v.4 no.2
• /
• pp.22-27
• /
• 2012

The design characteristics of circular vertical-cavity surface-emitting lasers are studied by using a newly developed equivalent network. Optical parameters, such as the stop-band or the reflectivity of periodic mirrors and the resonance wavelength, are explored for the design of these structures. To evaluate the differential quantum efficiency and the threshold current density, a transverse resonance condition of modal transmission-line theory is also utilized. This approach dramatically reduces the computational time as well as gives an explicit insight to explore the optical characteristics of circular vertical-cavity surface-emitting lasers (VCSELs).

• Journal of Welding and Joining
• /
• v.22 no.2
• /
• pp.28-32
• /
• 2004

Fatigue life at seam weldment of thick plate was estimated using the finite element and FEM-FAT(an exclusive fatigue solver). Finite element meshing at toe and root of weldment was based oil Radaj's theory. Also, the results of FE analysis were compared with experimental results in the point of Miner's Rule. The results of FE and FEM-FAT analysis were in accord with experimental results within 60% confidence. This result reveals that above techniques is useful in assessment of seam weldment and to be an alternative method instead of an object experiment.

• Journal of applied mathematics & informatics
• /
• v.36 no.5_6
• /
• pp.491-504
• /
• 2018

In this article, we consider a fourth order nonlinear difference system. By making use of the critical point theory, we obtain some new existence theorems of at least one periodic solution with minimal period. Our main approach used in this article is the variational technique and the Saddle Point Theorem.

• Journal of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.123-134
• /
• 2010

The aim of this paper is to provide a proof for a version of the Morse inequalities for manifolds with boundary. Our main results are certainly known to the experts on Morse theory, nevertheless it seems necessary to write down a complete proof for it. Our proof is analytic and is based on the J. Roe account of Witten's approach to Morse Theory.

• Journal for History of Mathematics
• /
• v.31 no.5
• /
• pp.211-222
• /
• 2018

This paper surveys the theory of symmetry group of differential equations. A proof of the simplest version of the Noether's theorem on conservation laws has been presented with examples in the classical mechanics. As a new approach to the conservation laws the theory of characteristic cohomology due to S. H. Wang and others has been presented.

• Speech Sciences
• /
• v.2
• /
• pp.109-124
• /
• 1997

This paper shows how a distinctive feature model can effectively be implemented into speech understanding within the framework of the Optimality Theory(OT); i.e., to show how distinctive features can optimally be extracted from given speech signals, and how segments can be chosen as the optimal ones among plausible candidates. This paper will also show how the sequence of segments can successfully be matched with optimal words in a lexicon.

• Asia pacific journal of information systems
• /
• v.8 no.3
• /
• pp.135-145
• /
• 1998

There exists popular approach using certainty factor (CF) for the development of effective reasoning mechanism under uncertainty in Expert System, However, there is a problem with CF. The CF values could be resulted in the opposite of given conditional probabilities. In this paper, a method for, reasoning under uncertainty using reliability theory to overcome the problem is proposed. And the proposed method is used in the development of Expert System for the selection of equipment for automated warehouses.

• Journal of the Korean Society for information Management
• /
• v.1 no.1
• /
• pp.100-111
• /
• 1984

The aim of this paper is to explain the theoretical links between the demand for library service and important variables; also it comments on the basis for a theory of the motivations for information-seeking behaviour and suggests the value of an active approach to user studies in libraries and information centers.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.03a
• /
• pp.49-52
• /
• 1998

Neural Network has good performance in pattern classification, control and many other fields by learning ability. However, there is effective rule or systematic approach to determine optimal structure. In this paper, we propose a new method to find optimal structure of feed-forward multi-layer neural network as a kind of pruning method. That eliminating redundant elements of neural network. To find redundant elements we analysis error and weight changing with Rough Set Theory, in condition of executing back-propagation leaning algorithm.