• East Asian mathematical journal
• /
• v.39 no.5
• /
• pp.515-522
• /
• 2023

In the case that the set of sorts is countable, we will prove that any sorted profinite group has the unique SEP-cover using the notion of prime model in model theory.

• Journal of the Korean GEO-environmental Society
• /
• v.17 no.4
• /
• pp.17-31
• /
• 2016

Many researchers have evaluated the influence of vegetation cover on slope stability. However, due to the extensive variety of site conditions and vegetation types, different studies have often provided inconsistent results, especially when evaluating in different regions. Therefore, additional studies need to be conducted to identify the positive impacts of vegetation cover for slope stabilization. This study used the Transient Rainfall Infiltration and Grid-based Regional Slope-stability Model (TRIGRS) to predict the occurrence of landslides in a watershed in Jinbu-Myeon, Pyeongchang-gun, Korea. The influence of vegetation cover was assessed by spatially and temporally comparing the predicted landslides corresponding to multiple trials of cohesion values (which include the role of root cohesion) and real observed landslide scars to back-calculate the contribution of vegetation cover to slope stabilization. The lower bound of cohesion was defined based on the fact that there are no unstable cells in the raster stability map at initial conditions, and the modified success rate was used to evaluate the model performance. In the next step, the most reliable value representing the contribution of vegetation cover in the study area was applied for landslide assessment. The analyzed results showed that the role of vegetation cover could be replaced by increasing the soil cohesion by 3.8 kPa. Without considering the influence of vegetation cover, a large area of the studied watershed is unconditionally unstable in the initial condition. However, when tree root cohesion is taken into account, the model produces more realistic results with about 76.7% of observed unstable cells and 78.6% of observed stable cells being well predicted.

• Atmosphere
• /
• v.17 no.2
• /
• pp.159-169
• /
• 2007

A comparison of the three land cover data sets (United States Geological Survey: USGS, International Geosphere Biosphere Programme: IGBP, and University of Maryland: UMd), derived from 1992-1993 Advanced Very High Resolution Radiometer(AVHRR) data sets, was performed over the Asian continent. Preprocesses such as the unification of map projection and land cover definition, were applied for the comparison of the three different land cover data sets. Overall, the agreement among the three land cover data sets was relatively high for the land covers which have a distinct phenology, such as urban, open shrubland, mixed forest, and bare ground (>45%). The ratios of triple agreement (TA), couple agreement (CA) and total disagreement (TD) among the three land cover data sets are 30.99%, 57.89% and 8.91%, respectively. The agreement ratio between USGS and IGBP is much greater (about 80%) than that (about 32%) between USGS and UMd (or IGBP and UMd). The main reasons for the relatively low agreement among the three land cover data sets are differences in 1) the number of land cover categories, 2) the basic input data sets used for the classification, 3) classification (or clustering) methodologies, and 4) level of preprocessing. The number of categories for the USGS, IGBP and UMd are 24, 17 and 14, respectively. USGS and IGBP used only the 12 monthly normalized difference vegetation index (NDVI), whereas UMd used the 12 monthly NDVI and other 29 auxiliary data derived from AVHRR 5 channels. USGS and IGBP used unsupervised clustering method, whereas UMd used the supervised technique, decision tree using the ground truth data derived from the high resolution Landsat data. The insufficient preprocessing in USGS and IGBP compared to the UMd resulted in the spatial discontinuity and misclassification.

• Journal of Environmental Impact Assessment
• /
• v.14 no.6
• /
• pp.387-402
• /
• 2005

In this study, we tried to predict the change of future land-cover and relationships between land-cover change and geo-spatial information in the Gongju area by using fuzzy logic operation. Quantitative evaluation of prediction models was carried out using a prediction rate curve using. Based on the analysis of correlations between the geo-spatial information and land-cover change, the class with the highest correlation was extracted. Fuzzy operations were used to predict land-cover change and determine the land-cover prediction maps that were the most suitable. It was predicted that in urban areas, the urban expansion of old and new towns would occur centering on the Gem-river, and that urbanization of areas along the interchange and national roads would also expand. Among agricultural areas, areas adjacent to national roads connected to small tributaries of the Gem-river and neighboring areas would likely experience changes. Most of the forest areas are located in southeast and from this result we can guess why the wide chestnut-tree cultivation complex is located in these areas and the possibility of forest damage is very high. As a result of validation using the prediction rate curve, it was indicated that among fuzzy operators, the maximum fuzzy operator was the most suitable for analyzing land-cover change in urban and agricultural areas. Other fuzzy operators resulted in the similar prediction capabilities. However, in the prediction rate curve of integrated models for land-cover prediction in the forest areas, most fuzzy operators resulted in poorer prediction capabilities. Thus, it is necessary to apply new thematic maps or prediction models in connection with the effective prediction of changes in the forest areas.

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.7 no.3
• /
• pp.35-47
• /
• 2004

In order to study changes in vegetation pursuant to rooftop revegetation plantation methods, plantation methods for rooftop revegetation were divided into two types through an analysis of recent trends. Then, Planted plants and invasive plants on sites where the planting methods were introduced were monitored. Planting methods were divided into mono-layer meadow cover type and multi-layer planting cover type. They showed some differences in terms of the availability of wetland, the structure of vegetation layers, the planted species, and the material of mulching. According to the results of monitoring the two sample sites for different plantation methods, the number of invasive plants was higher in multi-layer planting cover type and the ratio of naturalized plants was higher by 30% in average in mono-layer meadow cover type. The main reason for such a result is that the natural soil used in the multi-layer planting cover type likely contained some seeds. Moreover, it's harder for invasive plant seeds to germinate in volcanic rocks than in natural soil. Also, it is attributable to wetlands available in multi-layer planting cover type and diverse living environments created by multi-layer planting. The reason of the ratio of naturalized plants being higher by at least 10% in mono-layer meadow cover type is the character of naturalized plants being stronger in unfavorable conditions than nature plants are. Accordingly, the germination rate in the volcanic rock mulching has likely contributed in raising the introduction and germination of naturalized plants. The results showed that multi-layer planting cover type using wetland creation and nature soil can increase the number of invasive plants and lower the ratio of naturalized plants. However, since seeds contained in the natural soil can affect the growth of planted plants, this needs to be clarified, It was judged that mono-layer meadow cover type may affect more greatly on the germination and growth of invasive plants than on those of planted plants, Its potential adoption in highly urbanized areas was examined. By complementing with the mutual benefits of each plantation method, it appeared possible to shift to a rooftop revegetation system suitable to the site.

• Proceedings of the KSRS Conference
• /
• 1999.11a
• /
• pp.439-442
• /
• 1999

It is important to analyze the seasonal change profiles of land cover type in large scale for establishing preservation strategy and environmental monitoring. Because the NOAA-AVHRR data sets provide global data with high temporal resolution, it is suitable for the land cover classification of the large area. The objectives of this study were to classify land cover of Korea, to investigate the phenological profiles of land cover. The NOAA-AVHRR data from Jan. 1998 to Dec. 1998 were received by Korea Ocean Research & Development Institute(KORDI) and were used for this study. The NDVI data were produced from this data. And monthly maximum value composite data were made for reducing cloud effect and temporal classification. And the data were classified using the method of supervised classification. To label the land cover classes, they were classified again using generalized vegetation map and Landsat-TM classified image. And the profiles of each class was analyzed according to each month. Results of this study can be summarized as follows. First, it was verified that the use of vegetation map and TM classified map was available to obtain the temporal class labeling with NOAA-AVHRR. Second, phenological characteristics of plant communities of Korea using NOAA-AVHRR was identified. Third, NDVI of North Korea is lower on Summer than that of South Korea. And finally, Forest cover is higher than another cover types. Broadleaf forest is highest on may. Outline of covertype profiles was investigated.

• Journal of the Korean Society of Safety
• /
• v.20 no.2 s.70
• /
• pp.56-60
• /
• 2005

We studied fire properties of MOF(Metering Out Fit) insulation cover and field condition of 22.9kV power receiving system. $49.5\%$ of formal equipments were installed indoors, whereas $40.8\%$ of informal equipments were installed as H-type. Insulation treatment was not done at a $22.4\%$ ratio of main line($27.7\%$ of transformer, $70.2\%$ of COS, $10.4\%$ of MOF). Fire pattern analysis showed that the fire started at the secondary part of OC wire. In the result of DTA(Differential Thermal Analysis), normal cover showed exothermic reactions at $310^{\circ}C,\;399^{\circ}C\;and\;510^{\circ}C$ (endothermic reactions at $382^{\circ}C$). Whereas damaged cover showed exothermic reactions at $412^{\circ}C$(endothermic reactions at $389^{\circ}C$). In the result of TGA(Thermo Gravimetric Analysis), the thermal weight change of normal cover was similar compared to damaged cover. In the result of FT-IR analysis, normal cover showed absorption peaks at $3,024cm^{-l},\;2,921cm^{-l},\;1,600cm^{-1},\;1,492cm^{-1},\;1,451cm^{-1},\;1,154cm^{-l},\;1,027cm^{-1},\;906cm^{-1}$. Whereas, in case of tracked cover, the absorption peaks that were shown in normal cover disappeared and different absorption peak was shown at $966cm^{-1}$.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.11
• /
• pp.922-931
• /
• 2017

This research paper describes design procedures and those verification with multi-body dynamic analysis and an experiment for the development of an unprecedented type of canister cover, named as the separating cover. In order to overcome drawbacks from the precious rupture type and actuator driven cover, the separating cover was suggested. It has the simplest structure composed of the previously developed explosive bolt and a spring-lever driven system. First of all, mechanical feasibility with proposed design parameters based on mathematical modeling was confirmed through dynamic analysis and then its results showed good agreement with the followed empirical results acquired from a high speed camera. On top of that, a parametric study was conducted to identify the effect of each design parameter on separating performance. It is highly expected that this research contributes to provide military industries with a brand new canister cover having simplicity and cost efficiency and thus it will be very useful in MLRS(Multiple Launch Rocket System).

• Korean Journal of Soil Science and Fertilizer
• /
• v.47 no.1
• /
• pp.28-35
• /
• 2014

Due to recent interest of the consumers on safe farm products and the government's political support for eco-friendly agriculture, organic fruit production has been growing continuously. This research was conducted in order to study the effect of cover plants on soil microbial community on cover plants and establish an organic fruit cultivation method through choosing optimal cover plant. As a result of investigating soil microbial population density, the bacterial density in soil showed an increasing trend in June compared to April, and there was a decreasing trend in bacterial density of the soil in August compared to June. The density of actinomycetes in soil increased around 1.6 times in June compared to April when the soil was covered with hairy vetch. The increase of filamentous fungus in crimson clover group was 6.1 times higher in June compared to April and in hairy vetch group, the increase was 4.9 times higher in June compared to April. As a result of analyzing DNA extracted from the soil categorized by different types of cover plants using DGGE method, soil collected from April had higher number of bands detected from different locations according to different types of cover plants. Diversity of the bands from the soil collected from August showed higher range of reduction. As a result of analyzing soil microbial community by different period and the types of cover plants using Pyrosequencing method, microbes were detected in the order of Proteobacteria, Acidobacteria, Actinobacteria, Bacteroidetes, Chloroflexi, and Firmicutes. Distribution rate of Firmicutes increased in the soil collected in August compared to June and this was shown in all types of cover plants by twice the amount.

• Journal of Korean Society on Water Environment
• /
• v.24 no.6
• /
• pp.690-700
• /
• 2008

The Soil and Water Assessment Tool (SWAT) model users tend to use the readily available input dataset, such as the Ministry of Environment (MOE) land cover data ignoring temporal and spatial changes in land cover. The SWAT model was calibrated and validated with this land cover data. The EI values were 0.79 and 0.85 for streamflow calibration and validation, respectively. The EI were 0.79 and 0.86 for sediment calibration and validation, respectively. With newly prepared landcover dataset for the Doam-dam watershed, the SWAT model better predicts hydrologic and sediment behaviors. The number of HRUs with new land cover data increased by 70.2% compared with that with the MOE land cover, indicating better representation of small-sized agricultural field boundaries. The SWAT estimated annual average sediment yield with the MOE land cover data was 61.8 ton/ha/year for the Doam-dam watershed, while 36.2 ton/ha/year (70.7% difference) of annual sediment yield with new land cover data. Especially the most significant difference in estimated sediment yield was 548.0% for the subwatershed #2. Therefore it is recommended that one needs to carefully validate land cover for the study watershed for accurate hydrologic and sediment simulation with the SWAT model.