• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.10a
• /
• pp.609-612
• /
• 2021

Government agencies and companies are establishing and promoting digital transformation strategies in various industrial fields, and are leading the era of the 4th industrial revolution through successful technological innovation. In this time of change, we can see many stories of global companies Nike and Starbucks as successful examples of digital transformation. These two companies are showing successful results through digital transformation. Domestic companies are also conducting digital innovation based on mobile, cloud, IoT, artificial intelligence, and AR/VR technologies, and are establishing RPA (Robotic Process Automation) processes for high efficiency and high productivity. In this paper, we introduce the 3D digital twin space construction automation process technique using data from the entire construction cycle of design, construction, and maintenance of the construction industry, and look into the digital transformation strategy of the construction industry in the future.

• Journal of The Korean Astronomical Society
• /
• v.29 no.spc1
• /
• pp.111-118
• /
• 1996

We review observational evidence bearing on the formation of a prototypical large spiral galaxy, the Milky Way. New ground- and space-based studies of globular star clusters and dwarf spheroidal galaxies provide a wealth of information to constrain theories of galaxy formation. It appears likely that the Milky Way formed by an combination of rapid, dissipative collapse and mergers, but the relative contributions of these two mechanisms remain controversial. New evidence, however, indicates that initial star and star cluster formation occurred simultaneously over a volume that presently extends to twice the distance of the Magellanic Clouds.

• The Bulletin of The Korean Astronomical Society
• /
• v.41 no.1
• /
• pp.67.3-68
• /
• 2016

We present evidence of the bar driven secular evolution on disks from z~0.8 to z~0.01. Using $3.6{\mu}m$ images of nearby galaxies from the Spitzer Survey of Stellar Structure in Galaxies (S4G) and images from the Cosmological Evolution Survey (COSMOS), we find that barred galaxies show a light deficit in the disk surrounding the bar within the bar radius. We quantify this light deficit and find that galaxies with a stronger bar (longer, higher Bar/T) show a more pronounced light deficit. We examine snapshots from N-body simulations and confirm that as a barred galaxy evolves, the bar becomes longer and the light deficit becomes more pronounced. Theoretical studies have predicted that bars evolve by capturing nearby disk stars and employing them to make the bar more elongated and stronger. Therefore the light deficit in the disk is likely produced by bars, and thus bars play a major role in shaping their host galaxies, redistributing not only the gaseous but also the stellar mass within galaxies, with important consequences to their subsequent evolution.

• 한국전산유체공학회:학술대회논문집
• /
• 2000.10a
• /
• pp.123-128
• /
• 2000

Orthostatic stress in human cardiovascular system following spaceflight remains a critical problem in the current lifercience space program. The study presented in this paper is part of an ongoing effort to use mathematical models to investigate the effects of gravitational stresses on the cardiovascular system of normals and microgravity adapted individuals. We employ a twelve compartment lumped parameter representation of the hemodynamic system coupled to set-point models of the arterial baroreflex and the cardiopulmonary reflex to investigate the transient response of heart rate to orthostatic stress. We simulate current hypotheses concerning the mechanisms underlying postspaceflight orthostatic intolerance over a range of physiologically reasonable values and compare the simulations to astronaut stand-test data pre-and postflight.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10b
• /
• pp.1533-1538
• /
• 1991

A parameter space approach for robust control system design is developed by reducing several design specifications to sign definite conditions. It is shown that the gain and phase margin constraints for the parametric perturbed plant hold if and only if the four Kharitonov systems satisfy the margins. On pole location, it is shown that D-stability of convex combinations (1-t)p(s)+tq(s) can be determined by the coefficients corresponding to p(s) and q(s) based on the sign definite condition. We show a method of PI-type robust control system design as a useful example.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.173-188
• /
• 2014

In this paper, a new class of open sets, namely ${\gamma}^*$-pre-open sets was introduced and its basic properties were studied. Moreover a new type of topology ${\tau}_{{\gamma}p^*}$ was generated using ${\gamma}^*$-pre-open sets and characterized the resultant topological space (X, ${\tau}_{{\gamma}p^*}$) as ${\gamma}^*$-pre-$T_{\frac{1}{2}}$ space.

• International Journal of Aeronautical and Space Sciences
• /
• v.2 no.2
• /
• pp.73-81
• /
• 2001

This paper describes the procedure to develop a robust estimator design method for a target tracker that accounts for both structured real parameter uncertainties and unknown inputs. Two robust design approaches are combined: the Mini-p-Norm. design method to consider real parameter uncertainties and the $H_{\infty}$ design technique for unknown disturbances and unknown inputs. Constant estimator gains are computed that guarantee the robust performance of the estimator in the presence of parameter variations in the target model and unknown inputs to the target. The new estimator has two design parameters. One design parameter allows the trade off between small estimator error variance and low sensitivity to unknown parameter variations. Another design parameter allows the trade off between the robustness to real parameter variations and the robustness to unknown inputs. This robust estimator design method was applied to the longitudinal motion tracking problem of a T-38 aircraft.

• The Bulletin of The Korean Astronomical Society
• /
• v.33 no.2
• /
• pp.79.2-79.2
• /
• 2008

• International Journal of Aeronautical and Space Sciences
• /
• v.3 no.1
• /
• pp.30-38
• /
• 2002

In multi-dimensional systems, various solution schemes for radiative transfer are suggested but the applicabilities and accuracies of these schemes have not yet fully tested due to the lack of reference solutions especially for nongray gases. In this paper we present some precise radiative transfer solutions for a black walled 3-dimensional cylindrical system filled with nongray gases having uniform temperature and concentration. The ray-tracing method with the $T_N$ quadrature set and the SNB model are used to obtain the radiative transfer solutions by the nongray gases. The solutions presented in this paper are proved to be quite accurate and can be regarded as the reference solutions for the radiative transfer by nongray gases.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.17-22
• /
• 1985

B.M. Munshi and D.S. Bassan defined and developed the concept of super continuity in [5]. The concept has been investigated further by I. L. Reilly and M. K. Vamanamurthy in [6] where super continuity is characterized in terms of the semi-regularization topology. Super continuity is related to the concepts of .delta.-continuity and strong .theta.-continuity developed by T. Noiri in [7]. The purpose of this note is to derive relationships between super continuity and other strong continuity conditions and to develop additional properties of super continuous functions. Super continuity implies continuity, but the converse implication is false [5]. Super continuity is strictly between strong .theta.-continuity and .delta.-continuity and strictly between complete continuity and .delta.-continuity. The symbols X and Y will denote topological spaces with no separation axioms assumed unless explicity stated. The closure and interior of a subset U of a space X will be denoted by Cl(U) and Int(U) respectively and U is said to be regular open (resp. regular closed) if U=Int[Cl(U) (resp. U=Cl(Int(U)]. If necessary, a subscript will be added to denote the space in which the closure or interior is taken.