• The Pure and Applied Mathematics
• /
• v.10 no.2
• /
• pp.127-132
• /
• 2003

The object of this paper is to extend and generalize the work of Brosowski ［Fixpunktsatze in der approximationstheorie. Mathematica Cluj 11 (1969), 195-200］, Hicks & Humphries ［A note on fixed point theorems. J. Approx. Theory 34 (1982), 221-225］, Khan & Khan ［An extension of Brosowski-Meinardus theorem on invariant approximation. Approx. Theory Appl. 11 (1995), 1-5］ and Singh ［An application of a fixed point theorem to approximation theory J. Approx. Theory 25 (1979), 89-90; Application of fixed point theorem in approximation theory. In: Applied nonlinear analysis (pp. 389-394). Academic Press, 1979］ in metric spaces having convex structure, and in metric linear spaces having strictly monotone metric.

• The Magazine of the IEIE
• /
• v.2 no.1
• /
• pp.54-54
• /
• 1975

• Journal of the Korean Institute of Intelligent Systems
• /
• v.1 no.2
• /
• pp.4-45
• /
• 1991

Measures of two types of uncertainty that coexist in the Dempster-Shafer theory are overivewed. A measure of one type of uncertainty, which expresses nonspecificity of evidential claims, is well justified on both intuitive and mathermatical grounds. Proposed measures of the other types of uncertainty, which attempt to capture conflicts among evidential claims, are shown to have some deficiencies. To alleviate these deficiencies, a new measure is proposed. This measure, which is called a measure of discord, is not only satisfactory on intuitive grounds, but has alos desirable mathematical properties. A measure of total uncertainty, which is defined as the sum of nonspecificity and discord, is also discussed. The paper focuses on conceptual issues. Mathematical properties of the measure of idscord are only stated ; their proofs are given in a companion paper.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.1137-1145
• /
• 1996

A Steinhaus graph is a labelled graph whose adjacency matrix $A = (a_{i,j})$ has the Steinhaus property : $a_{i,j} + a{i,j+1} \equiv a_{i+1,j+1} (mod 2)$. We consider random Steinhaus graphs with n labelled vertices in which edges are chosen independently and with probability $\frac{1}{2}$. We prove that almost all Steinhaus graphs are Hamiltonian like as in random graph theory.

• Bulletin of the Korean Chemical Society
• /
• v.25 no.12
• /
• pp.1855-1858
• /
• 2004

Molecular geometries for the cationic and neutral species of OXO (X=Cl, Br, and I) are optimized using the Hartree-Fock (HF) theory, the second order Moller-Plesset perturbation theory (MP2), the density functional theory with the B3LYP hybrid functional (B3LYP), and the coupled cluster theory using single and double excitation with a perturbational treatment of triplet excitation (CCSD[T]) methods, with two basis sets of triple zeta plus polarization quality. The single point calculations for these species are performed at the CCSD(T,Full) level. The harmonic vibrational frequencies for these species are calculated at the HF, MP2, B3LYP and CCSD(T) levels. The adiabatic ionization potential for OIO is calculated to be 936.7 kJ/mol at the CCSD(T,Full) level and the correct value is estimated to be around 945.4 kJ/mol.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.265-275
• /
• 1992

The characteristic free representation theory of the general linear group has found a wide range of applications, ranging from the theory of free resolutions to the symmetric function theory. Representation theory is used to facilitate the calculation of explicit free resolutions of large classes of ideals (and modules). Recently, K. Akin and D. A. Buchsbaum [2] realized the Jacobi-Trudi identity for a Schur function as a resolution of GL$_{n}$-modules. Over a field of characteristic zero, it was observed by A. Lascoux [6]. T.Jozefiak and J.Weyman [5] used the Koszul complex to realize a formula of D.E. Littlewood as a resolution of schur modules. This leads us to further study resolutions of Schur modules of a particular form. In this article we will describe some new classes of finite free resolutions associated to the Pieri type skew Young diagrams. As a special case of these finite free resolutions we obtain the generalized Koszul complex constructed in [1]. In section 2 we review some of the basic difinitions and properties of Schur modules that we shall use. In section 3 we describe certain exact complexes associated to the Pieri type skew partitions. Throughout this article, unless otherwise specified, R is a commutative ring with an identity element and a mudule F is a finitely generated free R-module.e.

• Journal of Power System Engineering
• /
• v.2 no.2
• /
• pp.41-46
• /
• 1998

This paper presents the vibration control for the two degree-of-freedom which is a reduced model of multi-layer structure. This reduced model is designed for the first and second order resonance in the low frequency domain where the disturbance such as the earth quake has the large energy. And a designed controller using the LQ type $H_{\infty}$ control theory shows the good performance for the impulse disturbance through the experimental results and the simulation results respectively.

• Journal of Korean Academy of Nursing Administration
• /
• v.6 no.3
• /
• pp.431-449
• /
• 2000

The purpose of this study is to contribute to a understanding the philosophical foundation of Parse's and Watson's theory of nursing. Parse's human becoming Research Methodology, Principle and main concepts are based on existential phenomenology. And Watson's theory of human care indicate that the optimal method for studying and inquiring theory of trans-personal caring is phenomenological-existential methodology. The chief theme of this study ist to illuminate how ideas and concepts of existential phenomenology are applied to Parse's and watson's theory of nursing. Content of this Study are summarized as follow; 1. Principles, concepts, theoretical structure of Man-Living-Health theory were investigated in Parse's theory of nursing as Human science. 2. Essential assumptions, chief concepts and methodology of human science and human care were investigated in Watson's theory of trans- personal caring. 3. Phenomenological analysis of "Human being" und poetic thinking of truth were described in the context of the Heidegger's fundamental ontology und existential phenomenology. 4. Meaning of existential subjectivity, freedom and choice war interpreted according to Sartre's existential philosophy 5. Phenomenological analysis of perception und function of body were investigated in the context of Merleauponty's existential phenomenology. 6. Ultimately this study provided how ideas and concepts of existential phenomenology war applied to Parse's und Watson's nursing theory und methodology.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.8 no.2
• /
• pp.127-136
• /
• 2016

Springing is the resonance phenomenon of a ship hull girder with incoming waves having the same natural frequency of the ship. In this study, a simple and reliable calculation method was developed based on quadratic strip theory using the Timoshenko beam approach as an elastic hull girder. Second-order hydrodynamic forces and Froude-Krylov forces were applied as the external force. To improve the accuracy of the strip method, the variation in the added mass along the ship hull longitudinal direction, so called tip-effect, was considered. The J-factor was also employed to compensate for the effect of three-dimensional fluid motion on the two-node vibration of the ship. Using the developed method, the first- and second-order vertical bending moments of the Flokstra ship were compared. A comparative study was also carried out for a uniform barge ship and a 10,000 TEU container ship with the respective methods including the J-factor and tip-effect.

• Journal of Biosystems Engineering
• /
• v.17 no.2
• /
• pp.171-176
• /
• 1992

This study was intended to develop the design theory of the threshing unit of a head-feeding rice combine. It may be applied for various combining capacities with different cutting widths and forward speeds. Design factors in the theoretical development are : (1) dimensions of the threshing drum, (2) tooth approching angle, (3) distance between the adjacent teeth on their spiral setting line, (4) number of spirals, and (5) total number of teeth on the drum. A computer simulation program was developed to predict the proper dimensions for the threshing drum and tooth arrangement. A simulation for the prospective combine with varied capacities was also demonstrated. The parameters analyzed in the developed design theory were shown to be consistent with those of existing combines.