• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.2
• /
• pp.1-14
• /
• 2010

Previous researches on the improvement of logical thinking in Informatics subject have used general logical thinking test and only limited improvement of logical thinking by programming learning result. In this study, the operational definition of the logical thinking in problem-solving process on Informatics education is different from the general logical thinking and the logical thinking of the other subjects. Firstly, we suggested the operational definition of components of logical thinking using the open questionnaire by expert and research team discussion. Also, we suggested the relationship between the operational definition and contents of the 'problem-solving methods and procedure' section in secondary Informatics subject. Finally, this study developed the evaluation contents based on the operational definition of components of logical thinking. The components of logical thinking which was required in problem-solving process on Informatics subject were ordering reasoning, propositional logic, controlling variables, combinatorial logic, proportional reasoning. We suggested the relationship between operational definition and problem-solving process and assessment of logical thinking in problem-solving process on Informatics subject. This paper will give meaningful insight to supply the guideline of the teaching strategy and evaluation methods for improving the logical thinking in Informatics education.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2000.04a
• /
• pp.451-457
• /
• 2000

In many dynamic problems such as foundation vibrations ultrasonic nondestructive evaluation and blasting analysts are confronted with the problem of wave propagation in an infinite or semi-infinite media. In order to simulate this situation by a finite analytical model provisions must be made to absorb the stress waves arriving at the boundary. Absorbing boundaries are mathematical artifacts used to prevent wave reflections at the boundaries of discrete models for infinite media under dynamic loads. An analytical study is carried out to examine the effectiveness of Lysmer-Kuhlemeyer model one of the most widely used absorbing boundaries. Validity of the absorbing boundary conditions suggested by Lymer-Kuhlemeyer is examined by adopting the solution of Ewing et al. to the problem of plane waves from a harmonic normal force on the surface of an elastic half-space. The Ewing's problem is than numerically simulated using the finite element method on a semi-circular mesh with and without absorbing boundaries which are represented by viscous dashpots. The absorption ratios are calculated by comparing the displacements at the absorbing boundaries to those at the free field without absorbing boudaries.

• Industrial Engineering and Management Systems
• /
• v.11 no.2
• /
• pp.202-214
• /
• 2012

This paper discusses the problem of determining locations for public health-care facilities and allocating patients to the public facilities with the objective of minimizing the total construction cost. The public health-care facilities have two types of facilities: public hospitals and health centers. The public hospital provides both hospital services and homecare services, while the health center provides only homecare service. We present an integer programming formulation for the problem, and develop two types of heuristics, based on priority rules and approximate mathematical formulation. Results of a series of computational experiments on a number of problem instances show that the algorithms give good solutions in a reasonable computation time.

• Journal of Korean Society of Transportation
• /
• v.6 no.1
• /
• pp.5-16
• /
• 1988

Development is given to an optimal network design method using continuous design variables. Modified Hooke-and-Jeeves algorithm is implemented in order to solve nonlinear programming problem which is approximately equivalent to the real network design problem with system efficiency crieteria and improvement cost as objective function. the method was tested for various forms of initial solution, and dimensions of initial step size of link improvements. At each searching point of evaluating the objective function, a link flow problem was solved with user equilibrium principles using the Frank-Wolfe algorithm. The results obtained are quite promising interms fo numbers of evaluation, and the speed of convergence. Suggestions are given to selections of efficient initial solution, initial step size and convergence criteria. An approximate method is also suggested for reducing computation time.

• The Mathematical Education
• /
• v.45 no.1 s.112
• /
• pp.1-24
• /
• 2006

The purpose of the study was to design and develop the performance assessment problems and the rubric of holistic evaluation approach for elementary school students in higher levels (6 graders). Problems include 6 tasks related to all content areas such as number and operation, etc. In addition, the results show the analyses of children's problem solving process and investigate how the performance assessment problems could be developed in order to develop children's higher-order thinking and problem solving skills.

• Journal of Advanced Marine Engineering and Technology
• /
• v.27 no.1
• /
• pp.65-75
• /
• 2003

The internet telephony service is one of the successful internet application services. VoIP is the key technology for the service to come true. VoIP uses H.323 or SIP as the standard protocol for the distributed multimedia services over the internet environment, in which QoS is not guaranteed. VoIP carries the packetized voice by using the RTP/UDP/IP protocol stack. The UDP-based internet services cause the data transmission problem to the users behind the internet firewall. So does the internet telephony service. The users are not able to listen the voices of the counter-parts on the public internet or PSTN. It makes the problem more difficult that the internet telephony service addressed in this paper uses only one UDP port number to send the voice data of all sessions from gateway to terminal node. In this paper, two schemes including the usage of dummy UDP datagrams, and the protocol conversion are suggested. The implementation of one of the schemes, the protocol conversion, and the performance evaluation are described in detail.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.7
• /
• pp.196-202
• /
• 1999

Recent trend changes a criterion for evaluation of burner that environmental problem is raised as global issue. For efficient driving problem, the higher thermal efficiency and the lower oxygen in exhaust gas, burner is evaluated the better. For environmental problem, burner must satisfy $NO_{X}$ limit and CO limit. Consequently, 'good burner' means on whose thermal efficiency is high under the constraint of $NO_{X}$ and CO consistency. To make existing burner satisfy recent criterion, it is highly recommended to develop feedback control scheme whose output is the consistency of $NO_{X}$ and CO. This paper describes development of real time flame diagnosis technique that evaluate and diagnose combustion state such as consistency of components in exhaust gas, stability of flame in quantitative sense. This study focuses on wave length of luminescence from chemical reaction measurement of the luminescence via optical measuring apparatus and derive correlation with consistency of components in exhaust gas by image processing technique.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.6
• /
• pp.1967-1977
• /
• 2014

In this paper, for the development of a safe and reliable DC home appliance suitable for DC home power supply system, we classified a number of inherent problems with help of the comparative analysis of existing AC and new DC home appliance. Several new technical problems of DC home appliances are mainly linked to the DC transient state. Among them, this paper concentrates on start-up inrush current problem, uni-polarity problem, and heavy DC load control problem. And to address these problems, we herein present an implementation of robust safety circuits for DC home appliances. Specifically, we investigate several multi-circuit countermeasures and select the best among them through comparative evaluation, based on theoretical, simulational, and experimental results.

• Journal of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1239-1266
• /
• 2020

In this paper, some novel discrete formulations for stabilizing the mixed finite element method Q1-Q0 (bilinear velocity and constant pressure approximations) are introduced and discussed for the generalized Stokes problem. These are based on stabilizing discontinuous pressure approximations via local jump operators. The developing idea consists in a reduction of terms in the local jump formulation, introduced earlier, in such a way that stability and convergence properties are preserved. The computer implementation aspects and numerical evaluation of these stabilized discrete formulations are also considered. For illustrating the numerical performance of the proposed approaches and comparing the three versions of the local jump methods alongside with the global jump setting, some obtained results for two test generalized Stokes problems are presented. Numerical tests confirm the stability and accuracy characteristics of the resulting approximations.