• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.933-944
• /
• 1994

Let $\pi : P \to S^4$ be a principal G-bundle over $S^4$ whose the structure group G is a compact, connected, simple Lie group. Since $\pi_3(G) = \pi_4 (BG) = Z$, we can classify the principal bundle $P_k$ over $S^4$ by the map $S^4 \to BG$ of degree k. Atiyah and Jones [2] showed that $C_k = A_k/g^b_k$ is homotopy equivalent to $\Omega^3_k G \simeq \Omega^4_k BG$ where $A_k$ is the space of the all connections in $P_k$ and $g^b_k$ is the based gauge group which consists of all base point preserving automorphisms on $P_k$. Here $\Omega^nX$ is the space of all base-point preserving continuous map from $S^n$ to X. Let $M_k$ be the space of based gauge equivalence classes of all connections in $P_k$ satisfying the Yang-Mills self-duality equations, which we call the moduli space of G instantons.

• Earthquakes and Structures
• /
• v.26 no.2
• /
• pp.163-174
• /
• 2024

Dynamic equilibrium equations for finite element analysis were derived for the free field one-dimensional shear wave propagation through the horizontally layered soil deposits with the elastic half-space. We expressed Rayleigh's viscous damping consisting of mass and stiffness proportional terms. We considered two cases where damping matrices are defined in the total and relative displacement fields. Two forms of equilibrium equations are presented; one in terms of total motions and the other in terms of relative motions. To evaluate the performance of new equilibrium equations, we conducted two sets of site response analyses and directly compared them with the exact closed-form frequency domain solution. Results show that the base shear force as earthquake load represents the simpler form of equilibrium equation to be used for the finite element method. Conventional finite element procedure using base acceleration as earthquake load predicts exact solution reasonably well even in soil deposits with unrealistically high damping.

• Advances in aircraft and spacecraft science
• /
• v.10 no.6
• /
• pp.545-554
• /
• 2023

The widespread introduction of unmanned aircrafts has led to the understanding of the need to organize a common information space for manned and unmanned aircrafts, which is reflected in the Russian Unmanned aircraft system Traffic Management (RUTM) project. The present article deals with the issues of spatial information database (DB) organization, which is the core of RUTM and provides storage of various data types (spatial, aeronautical, topographical, meteorological, vector, etc.) required for flight safety management. Based on the analysis of functional capabilities and types of work which it needs to ensure, the architecture of spatial information DB, including the base of source information, base of display settings, base of vector objects, base of tile packages and also a number of special software packages was proposed. The issues of organization of these DB, types and formats of data and ways of their display are considered in detail. Based on the analysis it was concluded that the optimal construction of the spatial DB for RUTM system requires a combination of different model variants and ways of organizing data structures.

• International Journal of Aeronautical and Space Sciences
• /
• v.8 no.2
• /
• pp.67-75
• /
• 2007

An attitude control problem for a tethered spacecraft is studied. The tethered spacecraft is viewed as a multi-body spacecraft consisting of a base body, a massless tether that connects the base body and an end mass, and tether actuator dynamics. Moments about the pitch and roll axes of the base spacecraft arise by control of the point of attachment of the tether to the base spacecraft. The control objective is to stabilize the attitude of the base spacecraft while keeping the perturbations of the tether small. Analysis shows that linear equations of motion for the tethered spacecraft are not completely controllable. We study two different control design approaches: (1) we decouple the attitude dynamics from the tether dynamics and we design a linear feedback to achieve stabilization of the attitude dynamics, and (2) we decouple the controllable modes from the uncontrollable mode using Kalman decomposition and we design a linear feedback to achieve stabilization of the controllable modes. Simulation results show that, although it is difficult to control the tether, the tether motion can be maintained within an acceptable range while stabilizing the attitude dynamics of the base spacecraft.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.11
• /
• pp.849-859
• /
• 2020

The semi-empirical equation and commercial computational tool were used to predict the base drag of a guided missile with free-stream Mach numbers and chamber pressures, and the results were generally agree each other. Differences in flow characteristics and base drags were observed with over/under expansion conditions by the nozzle. Under the over-expansion condition, the base pressure decreased as the expansion fan was generated at upper region of the base, and base pressure decreased further with increasing free-stream Mach number as the expansion becomes strong. Under the under-expansion conditions, a shock wave was generated around the base by the influence of the nozzle flow, which increased the base pressure, and the effect increased as the chamber pressure increased. Under the same chamber pressure condition, as the free-stream Mach number increases, the characteristic that the base pressure decreases as the shock wave generated at the base moves downstream was observed.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.22 no.1
• /
• pp.17-28
• /
• 2016

Purpose: The purpose of this paper is to analyze the spatial configurations of a sample of Korean regional emergency medical centers (REMCs) to explore its underlying genotypes and thus produce a base line data for the analysis and evaluations of future REMCs designs using space syntax theory. Methods: Space syntax analysis was used as a major tool for the analysis and exploration of Genotype. The measures of Integration(overall integration with exterior and without exterior as well as the integration of individual clinical spaces for each center), base difference factor (DF) and Space link ratio were calculated for a sample of seven Korean REMCs. Results: The result shows a strikingly similar pattern of Syntactic measures across the sample, the mean integration of sample ranges from 0.82-0.99 with exterior (while considering the exterior space as a root) and 0.81-1.01 without exterior (considering the connections of interior spaces only with no outside connection). The base difference factor (DF) of the sample varies from 0.60-0.81 with exterior and from 0.59-0.82 without exterior. Case number-1 was identified as non-genotype with differing order of Syntactic values. Although the genotype had different forms, layouts and even sizes, these results cannot be explained by Phenotypical comparisons. Implications: This study will contribute to the configurational analysis and evaluation of existing and future Korean REMCs design and practice of emergency healthcare delivery system in Korea.

• Journal of electromagnetic engineering and science
• /
• v.6 no.2
• /
• pp.83-91
• /
• 2006

In this paper, we develop space-time(ST) Rake receivers for Time Division Synchronous Code Division Multiple Access(TD-SCDMA) base stations(BS). The beamforming of BS transforms the uplink MIMO channel space into many sub-sectors' channels to be nearly orthogonal, thus, well established 1-D Rake technology can be used to TD-SCDMA base station to construct ST Rake, which simplified the system's implementation as well as enlarged users' capacity by the beamforming. The construction and capacity of MIMO sub-sectors by multi-beamforming have been presented. The proposed ST Rake algorithm include the multi-beamforming algorithm for MIMO sub-sectors and classical 1-D Rake algorithm. The calculating formulas for interference plus noise ratio(SINR) and bit error rate(BER) have been derived. Simulations verify that the proposed ST Rake receiver for BS is effective, and the BS systems can get higher system capacity and can be of better performance than presented TD-SCDMA systems.

• Journal of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.171-185
• /
• 2009

We study fibred Riemannian spaces with almost complex structures which are induced by the almost complex structure or the almost contact structure on the base and fibre. We show that if the total space is a complex space form, then the total space is locally Euclidean. Moreover, we deal with the fibred Riemannian space with various Kaehlerian structures.

• Honam Mathematical Journal
• /
• v.35 no.2
• /
• pp.303-310
• /
• 2013

In this paper, we first show that $z_{{\kappa}X}:E_{cc}({\kappa}X){\rightarrow}{\kappa}X$ is $z^{\sharp}$-irreducible and that if $\mathcal{G}(E_{cc}({\beta}X))$ is a base for closed sets in ${\beta}X$, then $E_{cc}({\kappa}X)$ is $C^*$-embedded in $E_{cc}({\beta}X)$, where ${\kappa}X$ is the extension of X such that $vX{\subseteq}{\kappa}X{\subseteq}{\beta}X$ and ${\kappa}X$ is weakly Lindel$\ddot{o}$f. Using these, we will show that if $\mathcal{G}({\beta}X)$ is a base for closed sets in ${\beta}X$ and for any weakly Lindel$\ddot{o}$f space Y with $X{\subseteq}Y{\subseteq}{\kappa}X$, ${\kappa}X=Y$, then $kE_{cc}(X)=E_{cc}({\kappa}X)$ if and only if ${\beta}E_{cc}(X)=E_{cc}({\beta}X)$.

• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.541-545
• /
• 2007

In this paper, we study the infinitesimal transformation on the fibred Riemannian space. The conharmonic curvature tensor is invariant under the conharmonic transformation. We have proved that the conharmonically flat fibred Riemannian space with totally geodesic fibre is locally the Riemannian product of the base space and a fibre.