• Proceedings of the KOSOMBE Conference
• /
• v.1989 no.05
• /
• pp.55-59
• /
• 1989

A true three-dimensional cone-beam reconstruction (TTCR) algorithm for the complete sphere geometry is derived, which is applicable to the direct volume image reconstruction from 2-D cone-beam projections. The algorithm is based on the modified filtered backprojection technique which uses a set of 2-D space-invariant filters and is derived from the previously developed parallel-beam true three-dimensional reconstruction(TTR) algorithm. The proposed algorithm proved to be superior in spatial resolution compared with the parallel-beam TTR algorithm.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1407-1419
• /
• 2021

The Iwasawa decomposition NAK of the Lie group G = SO₀(2, 1) with a left invariant metric produces Riemannian submersions G → N\G, G → A\G, G → K\G, and G → NA\G. For each of these, we calculate the curvature of the base space and the lifting of a simple closed curve to the total space G. Especially in the first case, the base space has a constant curvature 0; the holonomy displacement along a (null-homotopic) simple closed curve in the base space is determined only by the Euclidean area of the region surrounded by the curve.

• Journal of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.337-352
• /
• 2022

We consider the set of points with historic behavior (which is also called the irregular set) for continuous flows and suspension flows. In this paper under the hypothesis that (X_t)_t is a continuous flow on a d-dimensional Riemaniann closed manifold M (d ≥ 2) with gluing orbit property, we prove that the set of points with historic behavior in a compact and invariant subset ∆ of M is either empty or is a Baire residual subset on ∆. We also prove that the set of points with historic behavior of a suspension flows over a homeomorphism satisfyng the gluing orbit property is either empty or Baire residual and carries full topological entropy.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.4
• /
• pp.259-269
• /
• 2003

This paper considers the problem of determining a set of PI, PD and PID controller gains, for a given linear time invariant plant, that meets or exceeds the closed loop step response specifications. The proposed method utilizes two recent results: for a given system, (1) finding a set of stabilizing PI, PD and PID gains and (2) the relationship between time response (overshoot and speed) and the coefficients of the characteristic polynomial. The method allows us to extract a subset of PI, PD and PID gains that meets stability as well as time domain performance requirements. The intersections of two dimensional sets described by linear and quadratic inequalities in the controller design space are need to be Identified through numerical computation. The procedure is illustrated by examples.

• Transactions on Control, Automation and Systems Engineering
• /
• v.1 no.2
• /
• pp.113-120
• /
• 1999

One of the important challenges facing control engineers in developing automated machineryis to be able to monitor the machines using remote sensors. Observrs are often used to reconstruct the machine variables of interest. However, conventional observers are unalbe to observe the machine variables when the machine models, upon which the observers are based, have inputs that cannot be measured. Since this is often the case, the authors previsously developed a steady-state optimal state and input observer for time-invariant systems [1], this paper extends that work to time-variant systems. A recursive observer, similar to a Kalman-Bucy filter, is developed . This optimal observer minimizes the trace of the error variance for discrete , linear , time-variant, stochastic systems with unknown inputs.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2001.05a
• /
• pp.207-212
• /
• 2001

In this paper, a method to be able to decide the possible maximum gain of P, PI control for the retarded processes under stable condition is proposed. At first, adjustable parameter set causing stability limit are obtained based on the frequency domain condition which makes the roots of transfer function locate on the $j\omega$ axis. And the cut-in frequency $\omega{_p}$ to bring the parameter set to P control from PI control is derived by an equation with 2 parameters L and $T_m$ given, then $\omega{_p}$ is used to compute the maximum gain with stable condition. For the calculation, the controlled process of first order system with time delay element is introduced and all parameters are presumed to be time invariant.

• Journal of the Korean Statistical Society
• /
• v.7 no.2
• /
• pp.131-142
• /
• 1978

This study aims to find out a suitable mathematical models for the estimation of population size and improve it for the estimation of social increase of population at urban areas. This study shows that Model (I) is obtained by the generalization of Kabak's Wild Life Management Model together with some other useful results as follows: a) By the transition matrix P, it is known that the interregional migrations have shown greater rise than those of five years ago. b) The invariant population vector $\alpha$ predicts that the Kyonggi area will have a share of 48%, the Choongcheong area of 10%, the Honam area of 12%, and the Youngnam area of 17% of the total population of Korea. c) The estimated population of the Special City of Seoul (Metropolitan) will be above ten millon in 1983. d) The estimated optmum population of Korea will be 53,850,000 in 2000 A.D.

• Journal of the Korean Society of Safety
• /
• v.11 no.4
• /
• pp.143-150
• /
• 1996

This is an explicit-Implicit, finite element analysis for linear as well as nonlinear hygrothermal stress problems. Additional features, such as moisture diffusion equation, crack element and virtual crack extension(VCE ) method for evaluating J-integral are implemented in this program. The Linear Elastic Fracture Mechanics(LEFM) Theory is employed to estimate the crack driving force under the transient condition for and existing crack. Pores in materials are assumed to be saturated with moisture in the liquid form at the room temperature, which may vaporize as the temperature increases. The vaporization effects on the crack driving force are also studied. The Ideal gas equation is employed to estimate the thermodynamic pressure due to vaporization at each time step after solving basic nodal values. A set of field equations governing the time dependent response of porous media are derived from balance laws based on the mixture theory Darcy's law Is assumed for the fluid flow through the porous media. Perzyna's viscoplastic model incorporating the Von-Mises yield criterion are implemented. The Green-Naghdi stress rate is used for the invariant of stress tensor under superposed rigid body motion. Isotropic elements are used for the spatial discretization and an iterative scheme based on the full newton-Raphson method is used for solving the nonlinear governing equations.

• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.795-834
• /
• 2016

The main purpose of this paper is to propose a scheme of a proof of the nonsimpleness of the group $Homeo^{\Omega}$ ($D^2$, ${\partial}D^2$) of area preserving homeomorphisms of the 2-disc $D^2$. We first establish the existence of Alexander isotopy in the category of Hamiltonian homeomorphisms. This reduces the question of extendability of the well-known Calabi homomorphism Cal : $Diff^{\Omega}$ ($D^1$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to a homomorphism ${\bar{Cal}}$ : Hameo($D^2$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to that of the vanishing of the basic phase function $f_{\underline{F}}$, a Floer theoretic graph selector constructed in [9], that is associated to the graph of the topological Hamiltonian loop and its normalized Hamiltonian ${\underline{F}}$ on $S^2$ that is obtained via the natural embedding $D^2{\hookrightarrow}S^2$. Here Hameo($D^2$, ${\partial}D^2$) is the group of Hamiltonian homeomorphisms introduced by $M{\ddot{u}}ller$ and the author [18]. We then provide an evidence of this vanishing conjecture by proving the conjecture for the special class of weakly graphical topological Hamiltonian loops on $D^2$ via a study of the associated Hamiton-Jacobi equation.

• Progress in Superconductivity and Cryogenics
• /
• v.14 no.4
• /
• pp.28-31
• /
• 2012

We report the solid-liquid phase equilibria on the $GdBa_2Cu_3O_{7-{\delta}}$ (GdBCO) stability phase diagram in low oxygen pressures ($PO_2$) ranging from 1 to 100 mTorr. On the basis of the GdBCO stability phase diagram experimentally determined in low oxygen pressures, the isothermal sections of three different phase fields on log $PO_2$ vs. 1/T diagram were schematically constructed within the $Gd_2O_3-Ba_2CuO_y-Cu_2O$ ternary system, and the solid-liquid phase equilibria in each phase field were described. The invariant points on the phase boundaries include the following three reactions; a pseudobinary peritectic reaction of $GdBCO{\leftrightarrow}Gd_2O_3$ + liquid ($L_1$), a ternary peritectic reaction of $GdBCO{\leftrightarrow}Gd_2O_3+GdBa_6Cu_3O_y$ + liquid ($L_2$), and a monotectic reaction of $L_1{\leftrightarrow}GdBa_6Cu_3O_y+L_2$. A conspicuous feature of the solid-liquid phase equilibria in low $PO_2$ regime (1 - 100 mTorr) is that the GdBCO phase is decomposed into $Gd_2O_3+L_1$ or $Gd_2O_3+GdBa_6Cu_3O_y+L_2$ rather than $Gd_2BaCuO_5+L$ well-known in high $PO_2$ like air.