• Korean Journal of Environment and Ecology
• /
• v.34 no.1
• /
• pp.27-41
• /
• 2020

The purpose of this study was to survey vegetation characteristics of Jeopdo (island) for the construction of a database. We installed and analyzed 52 plots with 100㎡ quadrat to investigate the vegetation characteristics. The community classification based on TWINSPAN found seven categories of vegetation communities in the surveyed region: Pinus thunbergii-Pinus densiflora community, Pinus densiflora-Quercus serrata community, Carpinus turczaninowii-Quercus variabilis community, Carpinus turczaninowii-Quercus acutissima community, Quercus variabilis-Carpinus turczaninowii community, Castanopsis sieboldii community, and Actinodaphne lancifolia-Camellia japonica community. The vegetation in Jeopdo is largely composed of evergreen conifer trees community (communities I and II), Carpinus turczaninowii-deciduous broad-leaved trees such as Quercus spp. community (communities III, IV, and V), and evergreen broad-leaved trees community (communities VI and VII). The evergreen conifer tree (Quercus serrata) community is currently competing with Pinus densiflora and Pinus thunbergii. The current state is expected to continue due to the lack of forces, such as Castanopsis sieboldii and Actinodaphne lancifolia, in the succession middle stage and climax stage. The current state of Carpinus turczaninowii-deciduous broad-leaved trees such as Quercus spp. community is expected to last for a long time due to slow vegetation development because of soil conditions. The evergreen broad-leaved trees community is transforming from the initial stage of Pinus densiflora and Pinus thunbergii through the stage in Quercus serrata to Castanopsis sieboldii and Actinodaphne lancifolia. The overall ages of the specimens were similar, and the oldest tree was the 59-year old Castanopsis sieboldii. The correlation analysis of major species showed a high positive correlation between Pinus thunbergii and Eurya japonica, Pinus densiflora and Fraxinus sieboldiana, and Actinodaphne lancifolia and Camellia japonica and a high negative correlation between Pinus densiflora and Carpinus turczaninowii and Carpinus turczaninowii and Eurya japonica.

• Korean Journal of Environment and Ecology
• /
• v.16 no.3
• /
• pp.271-286
• /
• 2002

To understand the status of vegetational composition of Jungnangcheon, 21 plots in 7 sites were investigated in June 2001 and flora survey was done during the period from June to September 2001. The results obtained from this study were as follows: Vegetational compositions of 7 sites in Jungnangcheon area were different site by site and plot by plot. In lower(nearest) point, Phalaris arundinacea, Potentilla supina, Rorippa islandica, Chenopodium album, Beckmannia syzigachne and Chenopodium ficifolium showed higher constancy and frequency. Bromus japonicus, Humulus japonicus, Conyza canadensis, Elymus tsukusiensis var. transiens showed higher constancy and frequency in middle point and Bromus japonicus, Chenopodium ficifolium, Artemisia princeps var. orientalis showed in upper point. Bromus japonicus, Chenopodium ficifolium, Humulus japonicus, Conyza canadensis, Elymus tsukusiensis var. transiens, Artemisia princeps var. orientalis and Lepidium uirginicum appeared at more than 9 polts in 21 sample plots. Number of naturalized plants in Jungnangcheon area were 79 taxa. Total naturalized index(NI) and urbanized index(UI) were recorded as 29.2%, 27.9%. 253 taxa including 50 families 169 genera 224 species 1 subspecies 27 varieties 1 forma were recorded in Jungnangcheon area. Therophyte(Th) was the most common dormancy form recorded in survey area. Geophyte(G) and Hemicryptophyte(H) were calculated as 7.1%, 17.8% and it was the lower value compared to those of other dormancy form. Consequently, Th-R$_{5}$-D$_4$-e was recorded as the most common life form in Jungnangcheon.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Korean Journal of Ichthyology
• /
• v.33 no.2
• /
• pp.117-125
• /
• 2021

According to the character states of nostrils in the Barbatula species comprising 1,366 specimens collected from the major river system in Korea, distribution pattern of the two Korean Barbatula species was reviewed. The taxonomic character related to nostrils in Barbatula was very stable and two character states (widely separated and closely set) were observed in the present materials. B. toni (Dybowski, 1869) with widely separated nostrils distributes in the streams flowing into the East Sea north of Sokcho, Gangwon-do Province; Eogokcheon Stream, a tributary of Namhangang River; and Anseongcheon Stream, Gyeonggi-do Province, whereas B. nuda (Bleeker, 1864) with closely set occurs in most rivers flowing into the Yellow Sea including Nakdonggang River as well as in the Yangyangnamdaecheon Stream, Gangwon-do Province south to Bangyulcheon Stream, Gyeongbukdo Province, flowing into the East Sea as previously reported with some exception. Especially, both Barbatula species were co-occurred in the Yeongokcheon Stream, Gangwon-do Province and Eogokcheon Stream. The present results will provide a useful guide to study the regional fish fauna or fish community analysis as well as to clarify the taxonomical status of the Korean Barbatula species.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.310-312
• /
• 2005

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.160-165
• /
• 1996

중수로형 원전에서 일차측 냉각수를 순환시키는 주연수송펌프가 정상운전중 갑자기 정지하는 사고를 강제순환 상실사고라 한다. 강제순환 상실사고는 주열수송계통을 과도압력상태로 만들며, 일반적으로 펌프에 공급되는 IV등급전원 상실사고와 기계적 손상에 의한 주열수송펌프 고착사고로 분류할 수 있다. 본 논문에서는 강제순환 상실사고에 대하여 중수로계통설계의 열수력 해석코드인 SOPHT를 이용하여 주열수송계통의 과도압력상태를 해석하였다. 카나다 원자력 규제위원회(AECB)의 과압 방지조건인 R-77 요구조건에 적절한 유효트립변수를 결정하기 위한 해석이 수행되었으며, 증기발생기 오염상태와 액체방출밸브 작동여부가 고도압력상태에 미치는 영향을 고찰하여 보수적 조건을 제시하였다. 또한 위와같이 결정된 보수적 조건을 근거로 ASME 코드에 명시된 과압 한계치에 대한 만족여부와 과도압력상태에 따른 주열수송계통의 열수력학적 거동을 고찰하여 보았다. 해석결과, 강제순환상실사고시 주열수송계통은 R-77 요구조건에 적합한 원자로트립변수에 따라 안정화되었으며, 계통의 최대압력은 ASME 코드가 규정한 한계치내에 있음을 알 수 있었다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.6
• /
• pp.1781-1791
• /
• 1991

For the cracked plate under transient temperature distribution, J-integral is expressed in the form of line integral by using convolution integral. The J$_{1}$ integral is calculated for a through line center cracked steel plate under thermal and mechanical loading conditions and the calculated values are in good agreement with previous results. The effect of inertia term on the J$_{1}$ integral is not negligible for a glass but for a steel. For the glass plate, the rates of J$_{1}$ integral value to time increase if the values of material properties such as specific heat, thermal conductivity, thermal diffusivity and Young`s modulus as well as crack length and temperature difference in cracked edge increase.

• Proceedings of the KIPE Conference
• /
• 2011.07a
• /
• pp.208-209
• /
• 2011

본 논문은 SRM의 센서리스 속도제어를 위한 슬라이딩 모드 자속관측기법을 적용하고, 동일한 센서리스 추정방식으로 초기 기동에서 센서리스 영역까지의 천이 구간에서 오픈루프 속도리플을 억제할 수 있는 방식을 제안한다. 제안된 방식에서 센서리스 위치추정은 슬라이딩으로 자속관측기를 적용하고 있지만, 자속 계산에서 위치오차를 감소하기 위한 오차 성분을 고려하였으며, 특히 초기기동에서 동일한 관측기와 계산된 자속의 오차 성분으로 오픈루프 상태에서의 전류제어를 수행함으로써 천이구간에서의 속도리플을 억제할 수 있다. 제안된 방식은 컴퓨터 시뮬레이션을 통하여 타당성을 검증하였다.

• Journal of Korean Medical classics
• /
• v.18 no.1 s.28
• /
• pp.73-80
• /
• 2005

통과(通過)${\ulcorner}$소문.경맥별론(素問.經脈別論)${\lrcorner}$적오장천지고찰(的五藏喘之考察), 득도료여하적결론(得到了如下的結論). 기일시(其一是), 여과야행칙신불장정위음허적상태소이천출어신(如果夜行則腎不藏精爲陰虛的狀態所以喘出於腎), 저취시관어음허적천(這就是關於陰虛的喘). 신여폐위음화(腎與肺爲陰化) 과정적양개축여과일개축수병일개리축역수병소이진신병전어폐(科程的兩個軸如果一個軸受病一個異軸亦受病所以晋腎病傳於肺). 기이시(其二是), 타칙생어혈(墮則生瘀血), 간유장혈적기능소이간여혈유밀접적관계(肝有藏血的機能所以肝與血有密接的關係), 저취시관어유담적천(這就是關於有痰的喘). 간유소설기능저관어비적곡기전달(肝有疏泄機能這關於脾的穀氣傳達), 소이간유병칙비적곡기전달기능야수료장애(所以肝有病則脾的穀氣傳達機能也受了障碍). 기삼시(其三是), 경공칙기탕산우하함소이주기적폐유병저취시관어기허적천(驚恐則氣蕩散又下陷所以主氣的肺有病這就是關於氣虛的喘). 여과폐유병칙실수렴여숙강기능(如果肺有病則失收斂與肅降機能), 소이심적양기불전달어하칙심수손상(所以心的陽氣不傳達於下則心受損傷). 기사시(其四是), 유어도수질박칙수습지사침범인체(由於渡水跌朴則水濕之邪侵犯人體), 우유어과도적활동칙신정모손(又由於過度的活動則腎精耗損), 저취시관어음허여유담적천(這就是關於陰虛與有痰的喘). 습유류착적성소이병불전달어지장(濕有留着的性所以病不傳達於池藏).

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.8
• /
• pp.786-793
• /
• 2010

This paper proposes a new method called the path-history coverage to generate a test suite to test the state transition behavior of the robot SW component. The proposed method generate a test suite which includes abnormal state transitions based on FSM of target component. Especially the proposed method covers the disadvantage of the mutation test method that the size of the test suite is explosively increasing. Examples including OPRoS Component[1] show the validity of the proposed method.