• Proceedings of the KIEE Conference
• /
• 2004.04a
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Korean Journal of Environment and Ecology
• /
• v.27 no.3
• /
• pp.344-356
• /
• 2013

This study is a continuation of the 22 year consecutive study (1972~1993) to monitor community dynamics of forest in Mt. Kwanak. This study was intended to provide basic data for urban forest management in the future by analyzing actual changes in vegetation structure of forest in Mt. Kwanak caused by urban environmental changes. For the past 39 years (1972~2010), average temperature increased by approximate between 1.1 and $1.7^{\circ}C$ and soil acidification (pH $5.40{\rightarrow}4.50$) and contents of $K^+$ ($0.67{\rightarrow}0.25$) and $Ca^{{+}{+}}$ ($3.20{\rightarrow}0.87$) apparently tended to decrease. According to analysis importance percentage and DBH class of community types classified based on DCA, the succession stopped at Quercus mongolica for 39 years. In addition, the succession was expected to be held at Q. mongolica or to shift from Pinus densiflora to Q. mongolica and from Q. acutissima to Q. serrata. Size of trees growing in forest of Mt. Kwanak increased but the number of species and population of trees showed a downward trend for the 39 years and Styrax japonica and Sorbus alnifolia, which are indicator species, increased their dominance continuously. Decrease in contents of $K^+$, $Ca^{{+}{+}}$, and $Mg^{{+}{+}}$ and soil acidification for the past 39 years was found to affect degradation of vegetation structure in Mt. Kwanak.

• Korean Journal of Environment and Ecology
• /
• v.33 no.6
• /
• pp.708-721
• /
• 2019

This study was conducted to understand the plant community structure characteristics of warm-temperate forest in Geoje Island. Survey sites were set up on ridges, valleys, and slopes where evergreen broad-leaved trees predominated or distributed in canopy, sub-canopy, or shrub layers at Chunjangsan(Mt.). Thirty-one sites were located in the areas, such as vegetation community, ridges, valleys, and slopes, to observe vegetation structure and location changes. The community classification with TWINSPAN identified six groups: Neolitsea sericea-Platycarya strobilacea, N. sericea-Styrax japonicus, N. sericea-Euonymus oxyphyllus, Pinus thunbergii-N. sericea, N. sericea-Quercus serrata, and Q. variabilis-P. strobilacea. Considering the results of previous studies that reported that the successional pattern of the warm temperate forests progressed from deciduous to evergreen forests, the regions predominated by deciduous communities such as P. thunbergii, Q. serrata, P. strobilacea, Zelkova serrata, and Q. variabilis, is likely to transform into the evergreen forest predominated by N. sericea. The relationship between the impact of the environmental factors and the vegetation distribution showed that slope, Na +, K +, electrical conductivity, and clay among physical properties had direct or indirect effects on vegetation distribution.

• Journal of Korean Society of Forest Science
• /
• v.82 no.2
• /
• pp.176-187
• /
• 1993

Based on the analysis of ecomorphological characters for 84 tree and shrub species, climax indices were estimated so as to interpret the position of the successional sere for the species in the natural deciduous forest. Nineteen ecomorphological characters, considered to be associated with successional gradient in the forest, were selected for the study. One of 2 to 4 steps per character for each species was given on a standardized scale of increasing climaxness, and the index was computed by percent of the sum of the scoring values for total score. Calculated mean value of 54.2 for all indices. Carpinus laxiflora had the highest index value of 83.3, and Populus davidiana recorded the lowest of 18.8. The most climax group, greater than 70 of the index, contained only 9 species, intermediate group, between 40 to 70 of the index, had 58 species, and the most pioneer group, less than 40 of the index comprised 17 species. The result has noticed that the large number of species would take advantage of most diverse resource and niche in the intermediate stage of the sere in the forest. The three components, i.e., light absorption, reproduction, and wood quality were used as axes for a 3-dimensional projection of the relative position for 44 species by principal component analysis. Along the similar ecomorphological characters, four recognized species group were classified by cluster analysis. The distribution pattern of plant families on the index gradient showed that the Betulaceae and Aceraceae had the widest seral amplitude, and the Salicaceae was a family typified as pioneer. There were no families specializing entirely with climax niche.

• Korean Journal of Environment and Ecology
• /
• v.27 no.4
• /
• pp.473-486
• /
• 2013

Vegetational structure and successional sere were investigated for Paryeongsan Zone in the Dadohaehaesang National Park incorporated in National Park in 2011. To do so, seventy-five plots($100m^2$) were set up and surveyed. The surveyed plots were divided into six groups according to the analysis of classification by TWINSPAN; (I) Quercus acutissima community, (II) Q. serrata-Carpinus tschonoskii var. tschonoskii community, (III) Pinus densiflora-Q. mongolica community, (IV) Q. variabilis community, (V) P. rigida-Q. variabilis-P. densiflora community, (VI) Chamaecyparis obtusa community. The results of vegetation structure analysis were. I, IICommunity, were expected that the deciduous oak trees with deciduous oak trees or Carpinus tschonoskii var. tschonoskii competing with oak trees would flourish in a deciduous broad-leaved forest. III, VCommunity, were expected that the P. densiflora and P. rigida competing with oak trees would flourish in a deciduous broad-leaved forest. IVCommunity, have expanded the influence of Q. variabilis, but understory will be developed next ecological succession by a high percentage of Machilus thunbergii in frequency of warm-temperate trees. VI Community, Chamaecyparis obtusa community were expected continue. This Chamaecyparis obtusa community is picked thinning Chamaecyparis obtusa as moving purpose of National Park, it will be inducement a plant vegetation succession to the natural forest. Frequency of warm-temperate trees in the Paryeongsan Zone of warm temperate climate zone was a total 9 species, Machilus thunbergii, Eurya japonica, Elaeagnus macrophylla, etc.

• Korean Journal of Environment and Ecology
• /
• v.10 no.1
• /
• pp.66-75
• /
• 1996

To propose basic information for national resource management and planting disign, plant community structure of evergreen broad-leaved forest was investigated. Fifty-two plots(each size 300m$^{2}$) were set up at Ch'omch'alsan area of Chindo, Korea. TWINSPAN and DCA methods were used for classification and ordination analysis. Fifty-two plots were divided into seven groups, which were Quercus variabilis-Carpinus tschonoskii community, Q. glauca community, Castanepsis cuspidata var. sieboldii-Q. stenophylla community, Castanopsis cuspidata var. sieboldii-Camelia japonica community, Q. acuta-Camelia japonica community, Carpinus coreaca-Q spp. community, C. coreana community. Pinus densiflora almost have been selected. Carpinus tschomoskii, Q. variabillis and Q. serrata were to be succeeded by Castanea cuspidata var. sieboldii, Q. stenophylla, Q. acuta and Neolitsea sericea in canopy layer. And Neolitsea sericea, Q. glauca and Camellia japonica was showed high importance values in fertile soil condition. Future restoration plan was necessary for a tourist resort or national forest in warm temperate region. And evergreen broad-leaved plants shall be planted in considering of environmental condition at warm temperate and industrial complex area.

• Ecology and Resilient Infrastructure
• /
• v.9 no.3
• /
• pp.194-205
• /
• 2022

Sandbars formed by sediment transportation and sedimentation are some of the most important habitats for specific wildlife and they provide an aesthetic landscape in streams. The purpose of this study was to understand the successional process of the colonization and development of early vegetation over time on sandbars exposed by the opening of a gate at a downstream weir. We selected the following four study sites in the Geumgang River, South Korea: three weir-upstream sites with different gate-opening times and a control site that was not affected by weir operation. Changes in the structural characteristics and spatial distribution of the riparian vegetation on the sandbars exposed after opening the gate at the weir were surveyed according to the different exposure periods of the sandbars at the study sites. The newly formed sandbars accounted for more than 33% of the area of the existing floodplain in the three weir-upstream sites of the Geumgang River after opening the gate at the weir. Nine main plant communities were distributed on the exposed sandbars. These communities were classified as annual mesophytic, perennial hydrophytic, perennial hygrophytic, subtree, and tree vegetation based on their species traits. As the duration of exposure of the sandbar increased, the area of the bare sandbar and the annual herbaceous and perennial hydrophytic communities decreased, and the areas occupied by perennial hygrophytic, subtree, and tree communities increased. Changes in vegetation on the sandbar were classified into three types of succession according to the condition of the aquatic habitat before the gate-opening and the degree of physical disturbance caused by the water flow after the gate-opening. The types of succession were: 1) succession starting from hydrophytes in the lentic aquatic zone, 2) succession starting from annual herbaceous hygrophytes in the lotic aquatic zone, and 3) willow-dominated succession in the disturbed channel side. Our results suggested that the dynamics of successional changes in vegetation should be considered during weir operation to ecologically manage the habitats and landscape of the fluvial landforms, including sandbars in streams.

• Korean Journal of Environment and Ecology
• /
• v.3 no.1
• /
• pp.28-41
• /
• 1989

A survey of Hongryu-Dong and Chi-in district. Gaya National Park, was conducted using 40 sample sites of 500$m^2$ size. TWINSPAN classification confirmed a complex pattern of both local and geographical variation in the vegetation: Dry and wet community types. Within dry community types, two floristic assocation of Pinus densiflora were defined according to local variation. Within wet community types. two floristic association were defined according to altitude. Those associations can be further subdivided floristically into eight subassociation. The vegetation pattern presented by DCA ordination corresponds to one of TWINSPAN at the first two division. The DCA ordination was successful in separating Pinus densiflora from broad leaf forest. Ordination of samples produced arrangements reflectly environmental gradient of soil. The correlation between the first axe of DCA and soil moisture, soil acid, altitude, maximum species diversity and species diversity was significantly negative. The similarity index between each community was very low level.

• Korean Journal of Environment and Ecology
• /
• v.29 no.5
• /
• pp.764-776
• /
• 2015

This study aims to identify the structure of the plant community, and the ecological succession sere and the change in the forest ecosystem in Jungdaesa-Birobong area, Odaesan National Park_(i._e., located at high altitudes(over 1,000m)). It seeks to offer the basic data for the planning of vegetation management. In order to verify the status of the forest vegetation between Jungdaesa-Birobong, seventeen plots(size is $20m{\times}20m$) were set up as research sites at high altitudes. Importance value, distribution by diameter at breast height(DBH), the growth volume and age of the sample trees, similarity index and species diversity index of each survey plot were analysed. According to the results of DCA(Detrended Correspondence Analysis), one of the multivariate statistical techniques. It was found that the plant communities were classified into five groups: community I_(Quercus mongolica-Tilia amurensis community), community II_(Q. mongolica-Deciduous broad-leaved community), community III_(Q. mongolica-Pinus koraiensis community), community IV_(Abies holophylla-Q. mongolica community) and community V_(A. holophylla-Deciduous broad-leaved community). Community I which is dominated by Quercus mongolica and Deciduous broad-leaved communities is located at an altitude of over 1,300 meters(ranging from 1,335m to 1,495m), the community IV and V which are dominated by Abies holophylla are located at an altitude of under 1,200 meters(ranging from 1,115m to 1,175m) and the community II and III which include the main species of Quercus mongolica, Pinus koraiensis and Abies holophylla are located at an altitude of between 1,160 meters and 1,300 meters. The results showed that Quercus mongolica tends to have a higher importance value of woody species at a higher altitude while Abies holophylla tends to have higher importance value at a lower altitude. For the importance value woody species and -DBH class distribution, the communites I, II and III are expected to continuously maintain the present status. Whereas, for the influence of communities IV and V, Q. mongolica is predicted to be weakened. The age of sample trees was between 85 and 161; the average age was 123. The index of Shannon's Species diversity (H') showed heterogeneity was found among community I_(i._e., located at high altitude) and communities IV and V_(i._e., located at low altitude). As a results of analysing the index of Shannon's Species diversity (H': unit: $400m^2$), community III showed the highest diversity intex with 1.1109 followed by community II with 1.0475, community I with 1.0125, community IV with 0.9918 and community V with 0.8686. This study verified that the index of Shannon's species was significantly different by plant communities. For instance, when comparing the index of Shannon's species diversity in Quercus mongolica communities of this study and that of past relevant research, the value of index is very similar. However, the diversity index for the community which is dominated by Abies holophylla showed lower value when compared to the results from past relevant research.