• 한국석유지질학회:학술대회논문집
• /
• autumn
• /
• pp.14-30
• /
• 2000

Hierarchically controlled sequence stratigraphic analysis shows that the Lower Ordovician mixed carbonate-siliciclastic Mungok Formation, Korea consists of three depositional sequences: T1, T2, and T3. Sequence boundaries are generally marked by abrupt transition from coarse-grained shallow-water carbonates to fine-grained deeper-water carbonates mixed with fine-grained siliciclastics, and show indication of subaerial exposure such as karstification. Within this sequence stratigraphic framework, facies characteristics indicate that the Mungok sequences were mostly deposited in subtidal ramp environments. High-frequency cycles consist of upward-shallowing facies successions. Cycles of shallow-water and basinal deposits are not represented well, probably due to cycle amalgamation. Cycle stacking patterns do not show a consistent thickness change that reflects a large-scale sea-level change due to unfilled accommodation space. The Mungok sequences show that many factors including relative sea-level change and topography are involved in controlling sequence development on carbonate ramps. The depositional setting evolved from the high-energy ramps in the sequences T1 and T2 into the low-energy ramp in the sequence T3. Topography is interpreted to have been responsible for the different energy regimes of the carbonate ramps in the Mungok sequences. The high ramp gradient in the sequences T1 and T2 seems to be caused by space-time-dissociated differential sedimentation resulting in spatially narrow distribution of sediment filling, which in turn may be related to high rate of relative sea-level change. In contrast, low ramp gradient was maintained in the sequence T3 during slow changes of relative sea level resulting in broad distribution of sediment filling.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.12
• /
• pp.14-21
• /
• 2013

In satellite operations and space exploration missions, a ranging is one of the most essential technologies to get its navigational information of space probes. Recently, the importance of cross-support between space agencies is increasing for more fine performance of space mission. For cross-support, mutually compatible ranging system between space agencies is recommended. For these reasons, the consultative committee for space data systems (CCSDS) recommends pseudo noise (PN) ranging as a digital standard ranging system. The length of PN sequence in CCSDS standard is proper for deep space missions, however, it is too long to use for ranging in near earth missions. In this paper, we propose Variable Length PN sequence schemes suitable for ranging of near earth satellites, such as low-earth orbit (LEO), medium-earth orbit (MEO) and Geostationary orbit (GEO). Therefore we propose variable length PN sequence ranging system including CCSDS standard for multiple missions.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2004.05a
• /
• pp.106-110
• /
• 2004

In any large heavy industry like that of ship building, there exist a lot of complications for the arrangement of building blocks optimally for the minimal space consumption. The major problem arises at yard because of laxity in space for arranging the building blocks of ship under construction. A standardized erection sequence diagram is generally available to provide the prioritised erection sequence. This erection sequence diagram serves as the frame work. In order to make a timely erection of the blocks a post plan has to be developed so that the blocks lie in the nearest possible vicinity of the material handling devices while keeping the priority of erection. Therefore, the blocks are arranged in the pre-erection area. This kind of readiness of blocks leads to a very complex problem of space. This arises due to the least available space leading to an urgent need of an availability of intelligent spatial schedule without compromising the rate of production. There exists two critical problems ahead namely, the spatial occupation layout of pre-erection area and the emptying pattern in the spatial vicinity. The block shape is assumed be rectangular. The related input data's are the dates of erection (earliest as well as the latest), geometrical parameters of block available on pre-erection area, slack time and the like.

• The Pure and Applied Mathematics
• /
• v.12 no.1
• /
• pp.17-31
• /
• 2005

In this paper we prove common fixed point theorems for three mappings under the condition of weak compatible mappings, without taking any function continuous in fuzzy metric space and then extend this result to fuzzy 2-metric space and fuzzy 3-metric space.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1357-1366
• /
• 2018

It is shown that the Mayer-Vietoris sequence holds for the cohomology of complexes of Lie algebroids which are defined on simplicial complexes and satisfy the compatibility condition concerning restrictions to the faces of each simplex. The Mayer-Vietoris sequence will be obtained as a consequence of the extension lemma for piecewise smooth forms defined on complexes of Lie algebroids.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.149-161
• /
• 2002

We study the torsions in the integral homology of the double loop space of the compact simple Lie groups by determining the higher Bockstein actions on the homology of those spaces through the Bockstein lemma and computing the Bockstein spectral sequence.

• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.277-294
• /
• 2016

The aim of this paper is to present the classical sets of sequences and related matrix transformations with respect to the b-metric. Also, we introduce the relationships between these sets and their classical forms with corresponding properties including convergence and completeness. Further we determine the duals of the new spaces and characterize matrix transformations on them into the sets of b-bounded, b-convergent and b-null sequences.

• Kyungpook Mathematical Journal
• /
• v.52 no.2
• /
• pp.189-200
• /
• 2012

In this article we introduce the class of I-convergent double sequences of fuzzy real numbers. We have studied different properties like solidness, symmetricity, monotone, sequence algebra etc. We prove that the class of I-convergent double sequences of fuzzy real numbers is a complete metric spaces.

• Kyungpook Mathematical Journal
• /
• v.53 no.4
• /
• pp.625-638
• /
• 2013

First we present the explicit formula for the norm of a bilinear form on the 2-dimensional real predual of the Lorentz sequence space $d_*(1,w)^2$. Using this formula, we classify the extreme points of the unit ball of $\mathcal{L}(^2d_*(1,w)^2)$.

• Kyungpook Mathematical Journal
• /
• v.53 no.2
• /
• pp.295-306
• /
• 2013

First we present the explicit formula for the norm of a symmetric bilinear form on the 2-dimensional real predual of the Lorentz sequence space $d_*(1,w)^2$. Using this formula, we classify the extreme points of the unit ball of $\mathcal{L}_s(^2d_*(1,w)^2)$.