• East Asian mathematical journal
• /
• 제39권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.

• 한국지반환경공학회 논문집
• /
• 제17권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.

• 대기
• /
• 제17권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.

• 환경영향평가
• /
• 제14권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.

• 한국환경복원기술학회지
• /
• 제7권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.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
• /
• 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.

• 한국안전학회지
• /
• 제20권2호
• /
• 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}$.

• 한국항공우주학회지
• /
• 제45권11호
• /
• pp.922-931
• /
• 2017

본 논문에서는 신규 방식의 발사관 덮개인 분리식 덮개의 설계과정과 해석 및 실험적 검증결과에 대하여 기술하였다. 발사관 덮개에 보편적으로 사용되고 있는 종래의 파열식 및 구동기 방식의 덮개의 단점을 극복하기 위하여 폭발볼트 및 스프링 레버를 이용한 분리식 덮개를 제안하였다. 분리식 덮개는 폭발볼트와 스프링 레버 구동시스템으로 단순하게 구성되어 있다. 첫 번째로, 수학적 모델에 의해 제시된 설계제원에 대하여 다물체 동역학 해석을 통하여 기계적 작동성능에 관한 검토를 실시하였다. 도출된 해석결과는 이후 초고속 카메라로 획득한 계측 결과와 잘 부합하였다. 또한 작동성능에 대한 설계인자별 영향을 파악하기 위한 경향분석이 수행되었다. 본 연구를 통해 구조적 단순성과 가격의 효율성을 보유한 신규방식의 발사관 덮개를 군수분야에 제시하는데 기여했다고 판단되며 특별히 다연장 발사관 시스템(MLRS)에 유용하게 적용될 것이라고 예상된다.

• 한국토양비료학회지
• /
• 제47권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.

• 한국물환경학회지
• /
• 제24권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.