• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.549-570
• /
• 2022

In this paper, we study the Birkhoff's ergodic theorem on geodesic metric spaces, especially on Hadamard spaces, using the notion of weighted inductive means. Also, we study a deterministic weighted sequence for the weighted Birkhoff's ergodic theorem in Hadamard spaces.

• Journal of Applied and Pure Mathematics
• /
• v.4 no.1_2
• /
• pp.37-50
• /
• 2022

In this article we define and study the notions of $\mathcal{I}$-convergence and $\mathcal{I}$-Cauchy of triple sequences in the topology induced by random 2-normed spaces and prove some theorems based on them.

• The Bulletin of The Korean Astronomical Society
• /
• v.35 no.2
• /
• pp.27.2-27.2
• /
• 2010

We report the HST pixel analysis results of the interacting face-on spiral galaxy, NGC 5194 (M51), which is the first step of a new observational research project, PANCluG (Pixel Analysis of Nearby Cluster Galaxies). We derive several quantities describing the pixel color-magnitude diagram (pCMD) of NGC 5194, suitable for future comparisons with the pCMDs of other galaxies. We investigate the spatial distribution of pixel stellar populations, finding that the spiral arm pattern and the tidal interaction with NGC 5195 significantly affect the stellar populations in NGC 5194. We find that the pixels corresponding to the central active galactic nucleus (AGN) of NGC 5194 show a very tight sequence in the bright-end of the pCMD, of which spatial distribution seems to agree with the AGN torus region.

• Journal of architectural history
• /
• v.4 no.1
• /
• pp.71-78
• /
• 1995

This study aims 1) to estimate the form of living house of pre-urbanization of Inchon, and 2) to ensure originality of to be achieve urban plan and living space plan which is base on local character by 3) arranging changed character of living space through the urbanization sequence by invest of house in natural village at Pupyung. The character of arranging living space of house at Pupyung is placing Sarang-chae(husband's block of house) instead of making another Haenrang-chae (visitor's block of house) and Sarang-chae is attach importance to Man's living space but today, have disappearing the uses of Sarang-bang (husband's living space) because by Man lives An-bang(originally woman's space). The character of plan is arranging room in both side of Maru(wooden living floor) in spite of different structure, and the uses of plan or room is changing to fit to purpose of according to environment of living. Generally, the structure is made by natural stone and cubed column, and used smaller member cause by rare wood material.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.34 no.4
• /
• pp.35-44
• /
• 2018

The residential space of humans has continuously developed to the most suitable form considering the natural and social environment. Based on this, it has become a unique residential architectural culture of an area. In the architectural field, the space of residential structures is being categorized topological aspect and the quantitative indicators are being calculated to conduct an objective comparative analysis of the characteristics of space by regional groups and individual rooms. Hence, the purpose of this study is to investigate the characteristics of the spatial composition of Hanok which a modern residential structure connecting traditional residential architecture with modern residential architecture. Hanok generally had a similar spatial composition to that of the traditional Hanok. However, a minor change was spotted due to it being a modern Hanok. It was objectively determined through the environmental characteristics that this form of spatial composition is due to the influence of the Japanese colonial era as the Western lifestyle of inner space centered lifestyle was introduced in the same period that the Jeonju Hanok was mostly created. The sequence of topological spatial gene of Hanok in Jeonju Hanok Village appeared in the order of Toetmaru - Madang - Anbang - Geonneonbang - Meorit bang - Kitchen.

• Journal of KIISE:Databases
• /
• v.36 no.3
• /
• pp.169-179
• /
• 2009

Communication log data consist of communication events such as sending and receiving e-mail or instance message and visiting web sites, etc. Many countries including USA and EU enforce the retention of these data on the communication service providers for the purpose of investigating or detecting criminals through the Internet. Because size of the retained data is very large, the efficient method for extracting valuable information from the data is needed for Law Enforcement Authorities to use the retained data. This paper defines the Interactive Communication Sequence Patterns(ICSPs) that is the important information when each communication event in communication log data consists of sender, receiver, and timestamp of this event. We also define a Mining(FDICSP) problem to discover such patterns and propose a method called Fast Discovering Interactive Communication Sequence Pattern(FDICSP) to solve this problem. FDICSP focuses on the characteristics of ICS to reduce the search space when it finds longer sequences by using shorter sequences. Thus, FDICSP can find Interactive Communication Sequence Patterns efficiently.

• Journal of KIISE:Databases
• /
• v.32 no.3
• /
• pp.263-275
• /
• 2005

In a large DNA database, indexing techniques are widely used for rapid approximate sequence searching. However, most indexing techniques require a space larger than original databases, and also suffer from difficulties in seamless integration with DBMS. In this paper, we suggest a space-efficient and disk-based indexing and query processing algorithm for approximate DNA sequence searching, specially exact match queries, wildcard match queries, and k-mismatch queries. Our indexing method places a sliding window at every possible location of a DNA sequence and extracts its signature by considering the occurrence frequency of each nucleotide. It then stores a set of signatures using a multi-dimensional index, such as R*-tree. Especially, by assigning a weight to each position of a window, it prevents signatures from being concentrated around a few spots in index space. Our query processing algorithm converts a query sequence into a multi-dimensional rectangle and searches the index for the signatures overlapped with the rectangle. The experiments with real biological data sets revealed that the proposed method is at least three times, twice, and several orders of magnitude faster than the suffix-tree-based method in exact match, wildcard match, and k- mismatch, respectively.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.3
• /
• pp.775-787
• /
• 1996

An optimization procedure is proposed for the design of cylindrically laminated composite shell having midplane symmetry and subjected to axial force, torsion and internal pressure. Tsai-Wu and Tsai-Hill failure criteria are taken as objective functions. The stacking sequence represents the design variable. The optimal design formulation based on state space method is adopted and solution proccedure is described with the emphasis on the method of calculations of the design sensitivities. A gradient projection algorithm is employed for the optimization process. Numerical results are presented for the several test problems.

• Journal of The Korean Astronomical Society
• /
• v.28 no.1
• /
• pp.89-95
• /
• 1995

We examined a total of 166 images of $3.5{\mu}m\;H_3^+$ emission in the auroral regions of Jupiter observed with the Protocam on IRTF in 1991 and 1992, and found that 30 images contain a clearly isolated small emission patch in the vicinity of the northern auroral regions. Two different time sequences of the images show the small patches at the dusk limb in the range of System III longitudes from $270^{\circ}\;through\;0^{\circ}\;to\;90^{circ}$. The small patches in one sequence of the images, which were taken at 10 phase between $240^{\circ}\;and\;260^{\circ}$, may be related to the 10 flux tube, similarly suggested by Connerney et al. (1993). However, the small patches in the other sequence are separated from Io as much as $80^{\circ}$ in longitude. The positions of the small patches in both sequences are deviated equatorward from the 10 footprint oval by $5^{\circ}-8^{\circ}$ latitude in the longitudinal range of $270^{\circ}-360^{\circ}$. A significant modification is required in current Jovian magnetic field models near the Jupiter's surface if the small patches are produced at the foot of the 10 flux tube.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.2
• /
• pp.72.2-72.2
• /
• 2013

We present a UBVI and $H{\alpha}$ photometric study of the young open cluster NGC 1893 in the outer Galaxy as part of "Sejong Open cluster Survey (SOS)" project. Using the properties of early-type stars in the photometric diagrams 65 early-type members were selected. More than 120 $H{\alpha}$ emission stars and candidates were found by $H{\alpha}$ photometry. Together with the published young stellar object catalogue and X-ray source list for this cluster, a total of 837 pre-main sequence (PMS) stars were identified in our photometric data. We obtained the mean reddening of < E(B-V) > = $0.56{\pm}0.08$ mag from the (U-B, B-V) diagram and confirmed the normal reddening law ($R_V=3.1$) toward NGC 1893 based on color excess ratios from optical to mid-infrared wavelengths. The zero-age main sequence fitting to the reddening-corrected color-magnitude diagrams gives a distance modulus of $V_0-M_V=12.8{\pm}0.1$. The age of the cluster inferred from stellar evolution models is about 1-2 Myr. We also found the Salpeter/Kroupa type initial mass function for this cluster. Finally, the mass accretion rate of 80 PMS stars with UV excess emission was estimated for the stars with masses from $0.6M_{\odot}$ to $5M_{\odot}$.