• Honam Mathematical Journal
• /
• v.37 no.4
• /
• pp.595-608
• /
• 2015

In this paper, as a survey paper, we review many works related to fixed point theory for digital spaces using Lefschetz fixed point theorem, Banach fixed point theorem, Nielsen fixed point theorem and so forth. Besides, we refer some properties of the fixed point property of a digital k-retract.

• 대한예방의학회:학술대회논문집
• /
• 2005.10a
• /
• pp.500-500
• /
• 2005

• Bulletin of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.163-174
• /
• 1991

This is a continuation of the author's previous work [17]. In this paper, we consider mainly variational inequalities for single-valued functions. We first obtain a generalization of the variational type inequality of Juberg and Karamardian [10] and apply it to obtain strengthened versions of the Hartman-Stampacchia inequality and the Brouwer fixed point theorem. Next, we obtain fairly general versions of Browder's variational inequality [5] and its subsequent generalizations due to Brezis et al [4], Takahashk [23], Shih and Tan [19], Simons [20], and others. Finally, in this paper, we obtain a variational inequality for non-real locally convex t.v.s. which generalizes a result of Shih and Tan [19].

• Journal of Astronomy and Space Sciences
• /
• v.5 no.2
• /
• pp.111-122
• /
• 1988

The short and long periodic perturbations and secular perturbation due to the geopotentials of degree $J_2$ and $J_3$ which affect orbital elements of a near-circular orbiting satellite are obtained by the analytical method. The singular points due to a small denominator e in the perturbation equations can be excluded using one of the methods introduced by Taff(1985), which substitutes $e_s=esin\omega,\;e_c=ecos\omega\;and\;\ell=\omega+M$ for the orbital elements e, $\omega$ and M. We determined the mean orbital elements of the meteorological satellite NOAA-10 using the Walter (1967)'s iterative procedure and compared with Brouwer's mean orbital elements determined at NASA. The mean orbital elements a, ⅰand $\Omega$ are consistent with those of NASA but the mean orgital elements e, $\omega$ and M have some deviations from those of NASA. According to the our results, it is not suitable for the polar orbiting satellites to use the Taff's proposal for excluding the singular points, which substitutes e, $\omega$ and M by $e_s=esin(\Omega+\omega),\;e_c=ecos(\Omega+\omega)\;and\;L=\Omega+\omega+M$.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.565-570
• /
• 1994

In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.219-244
• /
• 2020

In this paper, we approximate the solution of the coupled nonlinear Schrödinger equations by using a fully discrete finite element scheme based on the standard Galerkin method in space and implicit midpoint discretization in time. The proposed scheme guarantees the conservation of the total mass and the energy. First, a priori error estimates for the fully discrete Galerkin method is derived. Second, the existence of the approximated solution is proved by virtue of the Brouwer fixed point theorem. Moreover, the uniqueness of the solution is shown. Finally, convergence orders of the fully discrete Crank-Nicolson scheme are discussed. The end of the paper is devoted to some numerical experiments.

• Korean Journal of Remote Sensing
• /
• v.15 no.3
• /
• pp.227-238
• /
• 1999

In advance of launch, simulated radiances of the Ocean Scanning Multispectral Imager (OSMI) will be very useful to guess the real imagery of OSMI and to prepare for data processing of OSMI. The data processing system for OSMI which is one of sensors aboard Korea Multi-Purpose Satellite (KOMPSAT) scheduled for launch in 1999 is developed based on the SeaWiFS Data Analysis System (SeaDAS). Simulation of radiances requires information on the spectral band, orbital and scanning characteristics of the OSMI and KOMPSAT spacecraft. This paper also describes a method to create simulated radiances of the OSMI over the oceans. Our method for constructing a simulated OSMI imagery is to propagate a KOMPSAT orbit over a field of Coastal Zone Color Scanner (CZCS) pigment concentrations and to use the values and atmospheric components for calculation of total radiances. A modified Brouwer-Lyddane model with drag was used for the realistic orbit prediction, the CZCS pigment concentrations were used to compute water-leaving radiances, and a variety of radiative transfer models were used to calculate atmospheric contributions to total radiances detected by OSMI. Imagery of the simulated OSMI radiances for 412, 443, 490, 555, 765, 865nm was obtained. As expected, water-leaving radiances were only a small fraction (below 10%) of total radiances and sun glint contaminations were observed near the solar declination. Therefore, atmospheric correction is critical in the calculation of pigment concentration from total radiances. Because the imagery near the sun's glitter pattern is virtually useless and must be discarded, more advanced data collection planning will be required to succeed in the mission of OSMI which is consistent monitoring of global oceans during three year mission lifetime.

• Health Policy and Management
• /
• v.14 no.2
• /
• pp.58-77
• /
• 2004

Cost containment has become high political issues since financial crisis of the Korean Health Insurance fund in 2000. Korean Government has developed and implemented several measures to reduce the pharmaceutical expenditures. Pharmaceutical economic evaluation can be a tool in decision to allocate scare resource efficiently. In order to increase the quality of economic evaluation for pharmaceuticals, the Korean Health Insurance Review Agency(HIRA) is considering the development of a guideline for economic evaluation. It mandates that pharmaceutical companies could submit the result of an economic evaluation when demanding reimbursement of new pharmaceutical drugs. The purpose of this study is to provide a critical review of the economic evaluations of health care technologies published in the Korean context whether they have been performed according to current guidelines and therefore whether their results are directly useful for decision making. We found there exist important problems and deviation from, good practice' both in the general features of the studies, like the study design and perspective, and in terms of cost measurement and valuation. There are needs to develop clear guidelines and to educate and train researchers in performing economic evaluations.

• International Journal of Aeronautical and Space Sciences
• /
• v.4 no.2
• /
• pp.1-8
• /
• 2003

Satellite formation flying is the placing micro-satellites with the same mission into nearby orbits to form a cluster. Clohessy-Wiltshire equations are used to describe the relative motion and control strategies between satellites within a cluster, which are known as Hill's equations. Even though Hill's equations are powerful in determining initial conditions for the satellite formation flying, they can not accurately express the relative motion under J2 perturbation. Some methods have been developed for the determination of initial conditions to avoid limits of Hill's equation. This paper gives a new method of determining initial conditions using mean elements. For this research mean elements were transformed to osculating elements using Brouwer's theory and the orbit was propaeated with the consideration of J2-J8 to get a relative position. The results show that satellites within a cluster are maintained in the desired boundary for long period and the method is effective on a fuel saving for satellite formation flying.

• Asian-Australasian Journal of Animal Sciences
• /
• v.1 no.4
• /
• pp.213-218
• /
• 1988

Forty eight growing bulls of two breed types(red Sahiwal and white Kilari), fed rice straw, were allocated to nine treatment groups: 1. Control straw (CS) 2. Urea upgraded straw (UUS) 3. UUS + 0.25 kg coconut cake (CC) 4. UUS + 0.75 kg CC 5. UUS + 0.25 kg rice bran (RB) 6. UUS + 1.00 kg RB 7. UUS + 0.25 kg RB + 0.25 kg CC 8. UUS + 1.00 kg RB + 0.25 kg CC 9. CS + 1.00 kg RB + 0.25 kg CC Liveweight gain was measured weekly during 15 weeks and tested in three analyses of variance. The results are: Urea upgraded straw produced a liveweight gain $180g.d^{-1}$ higher (P <0.01) than control straw. The groups supplemented with 0.25 kg coconut cake and 1.00 kg rice bran showed an increase of $100g.d^{-1}$ (p < 0.05) over the unsupplemented groups. No interaction between straw upgrading and supplementation was present (P > 0.10). Both rice bran and coconut press cake, supplemented to upgraded straw at a level of 0.25 kg, did not increase liveweight gain (P>0.05), but 1.0 kg rice bran increased gain by $90g.d^{-1}$ (P<0.05). A supplement of 0.75 kg coconut press cake to upgraded straw increased liveweight gain by $160g.d^{-1}$ compared with 0.25 kg or 0.00 kg coconut cake supplement (P<0.05). There were no significant differences between breed types (P>0.10) or interactions between breed and the other two main treatments (upgrading and supplementation). It was concluded. that both urea upgrading and supplementation of rice straw increase animal performance. The effect of urea upgrading was the same for both supplemented and unsupplemented animals. There was no indication of a nonlinear effect of supplements on growth.