• The Pure and Applied Mathematics
• /
• v.20 no.2
• /
• pp.103-108
• /
• 2013

Observing that for any space X, there is a Wallman sublattice $\mathfrak{A}_X$ and that QFX is homeomorphic to a subspace $X_q$ of the Wallman cover $\mathfrak{L}(\mathfrak{A}_X)$ of $\mathfrak{A}_X$, we show that ${\beta}QFX$ and $\mathfrak{L}(\mathfrak{A}_X)$ are homeomorphic.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1159-1186
• /
• 2019

In this paper, we study plane curves of degree 6 with points whose multiplicities of the tangents are 5. We determine all the Weierstrass semigroups of ramification points on double covers of the plane curves when the genera of the covering curves are greater than 29 and the ramification points are on the points with multiplicity 5 of the tangent.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.1
• /
• pp.16-21
• /
• 2002

Repetitive strings have been studied in such diverse fields as molecular biology data compression etc. Some important regularities that have been studied are perods, covers seeds and squares. A natural extension of the repetition problems is to allow errors. Among the four notions above aproximate squares and approximate periodes have been studied. In this paper, we introduce the notion of approximate covers which is an approximate version of covers. Given two strings P(｜P｜=m) and T(｜T｜=n) we propose and algorithm with finds the minimum distance t such that P is a t-approximate cover of T. The algorithm take O(m,n) time for the edit distance and $O(mn^2)$ time of finding a string which is an approximate cover of T is minimum distance is NP-complete.

• Resources Recycling
• /
• v.22 no.1
• /
• pp.3-10
• /
• 2013

This general paper covers three parts of the uranium research and development. Part one covers scope of research and development of uranium ore and future prospect, supply and demand of uranium in the world market, deposit, grade and properties of Korean uranium ore and the second part covers status of previous study and supply target for yellow cake, technology of leaching, separation and preparation, procedure of the recovery of U / V from Korean black shale ore. Final part concludes the summary of the present discussion.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.10
• /
• pp.1297-1303
• /
• 2013

A nonlinear finite element analysis is performed to evaluate the sealing capability and stress of dust covers for the ball joint of an automotive steering system. The analysis is performed for two types of dust covers: wrinkle type and pot type. The assembly condition and operation condition are analyzed, and the maximum stress and contact normal stress at the ribs are evaluated. It is confirmed that the sealing capability of both types is fairly good, but the wrinkle type is better than the pot type in terms of the maximum stress.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.32 no.6
• /
• pp.607-615
• /
• 2014

RVI (Radar Vegetation Index) has shown some promise in the vegetation fields, but its relationship with MVI (Multispectral Vegetation Index) is not known in the context of various land covers. Presented herein is a comparative analysis of the MVI values derived from the LANDSAT-8 and RVI values originating from the RADARSAT-2 quad-polarimetric SAR (Synthetic Aperture Radar) data. Among the various multispectral vegetation indices, NDVI (Normalized Difference Vegetation Index) and SAVI (Soil Adjusted Vegetation Index) were used for comparison with RVI. Four land covers (urban, forest, water, and paddy field) were compared, and the patterns were investigated. The experiment results demonstrated that the RVI patterns of the four land covers are very similar to those of NDVI and SAVI. Thus, during bad weather conditions and at night, the RVI data could serve as an alternative to the MVI data in various application fields.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.1
• /
• pp.40-51
• /
• 2009

A paired many-to-many k-disjoint path cover (paired k-DPC) of a graph G is a set of k disjoint paths joining k distinct source-sink pairs in which each vertex of G is covered by a path. In this paper, we investigate disjoint path covers in recursive circulants G($cd^m$,d) with $d{\geq}3$ and tori, and show that provided the number of faulty elements (vertices and/or edges) is f or less, every nonbipartite recursive circulant and torus of degree $\delta$ has a paired k-DPC for any f and $k{\geq}1$ with $f+2k{\leq}{\delta}-1$.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2023.05a
• /
• pp.133-134
• /
• 2023

In general, all buildings are equipped with various types of handles for opening and closing the door, and unlike wooden doors, steel doors such as fire doors are equipped with a box-shaped door lock box frame surrounding the outside of the door lock to protect the door lock, which is called a cylinder protection cover. These cylinder protection covers have various types and types of fastening structures, and the cylinder protection covers on the market are molded in factories and standardized according to the size and shape of the door lock, requiring various types of cylinder protection covers. Accordingly, a variable cylinder protection cover with a simple prefabricated structure that can fundamentally solve these problems can be used as one cylinder protection cover regardless of the type, shape, and size of the door lock.

• Journal of Bio-Environment Control
• /
• v.21 no.3
• /
• pp.286-293
• /
• 2012

This study was initiated to find out the suitable perennial ground covers naturally grown in thirteen organic orchards in Chonnam Province as a organic nutrient source for maintaining annual fruit tree growth. The ground covers were observed in April, June, and August in the orchards. Agropyron tsukusinense and Panicum virgatum observed in April and June, respectively, produced the highest dry weight, which increased amounts of N, $P_2O_5$, and $K_2O$, mineralizing from the residue in the ground covers. The occurrence of perennial ground covers in August decreased compared to April and June. Amount of residue in mowed Agropyron tsukusinense and Panicum virgatum satisfied nutrient demand (N; 20 kg/10a, $P_2O_5$; 11 kg/10a, and $K_2O$; 19 kg/10a) to achieve the annual growth of twenty-year old fruit tree.

• Science of Emotion and Sensibility
• /
• v.12 no.1
• /
• pp.77-86
• /
• 2009

A comfort evaluation of car seat clothing has been proposed for high comforts interior seat clothing. Car seat covers have received wide spread attention due to their man-machine interface working. And then, it will be necessary for measurements on delicate basic mechanical-properties, which closely relate with human touch feeling of its materials. In this research, we have utilized $KES-FB^{(R)}$(Kawabata Evaluation System) series, $^ST300{(R)}$ analogue softness tester and friction tester for measurement a physical properties. In order to consider both kansei and physical properties on interior seat covers, we firstly have established subjective words of judgement for the seat covers. Secondly, related them to the objective measurement of physical properties. Each kansei-language has clearly defined as 'Softness', 'Elasticity', 'Volume' and 'Stickiness' for the adjectives of leather car seat covers. These technical terms have correlated to physical properties in other words, h (mm), bending moment ($gf^*$cm/cm), To-Tm (mm) and ${\mu}$. At this time, fuzzy logic has utilized to predict the value of kansei language through physical values. On the basis of this result, finally it is possible to predict quality index of car seat covers using neural networks technique. In short, we develop a quality evaluation system of car seat clothing combining four physical quantities with kansei engineering.