• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• 한국균학회지
• /
• 제38권2호
• /
• pp.205-207
• /
• 2010

경남 함양군 경상남도농업기술원 약초 전시포장에서 Sclerotium rolfsii에 의한 쥐오줌풀 흰비단병 증상이 발생 되었다. 주요 병징은 줄기와 잎자루가 수침상으로 물러지고 썩으면서 시들어 말라 죽고, 병반부와 지제부의 토양 표면에 흰색의 곰팡이가 솜털모양으로 자라는 것으로 나타났다. 쥐오줌풀에서 발생한 병징과 병원균의 균학적 특징 및 병원성을 검정한 결과, 이 병을 S. rolfsii 에 의한 쥐오줌풀 흰비단병으로 명명하고자 제안한다.

• 한국버섯학회지
• /
• 제11권3호
• /
• pp.145-148
• /
• 2013

목이버섯의 톱밥종균을 제조하는데 참나무톱밥은 영양원으로 미강을 20%첨가하고, 포플러톱밥은 밀기울을 10%첨가하였을 때 목이버섯의 균사와 밀도가 양호하였다. 이때 봉지재배에 적합한 종균 접종양은 참나무톱밥종균은 15 g, 포플러톱밥종균은 25 g를 접종할 때 오염발생률이 줄고 배양완성률이 높아 적합한 접종양 이었다.

• Animal Systematics, Evolution and Diversity
• /
• nspc5호
• /
• pp.81-104
• /
• 2005

Based on our insect collecting trip to the Is. Jin-do, Jeollanam-do Province from June 29 to July 1, 2005, a total of 573 lepidopterous species belonging to 37 families are reported, with adding 122 species new to the locality During our survey, the most dominant species was Cryptolechia malacobyrsa Meyrick (Oecophoridae), followed by Sandrabatis crassiella Ragonot (Pyralidae) and Yponomeuta tokyonellus Matsumura(Yponomeutidae), and the family Noctuidae (165 spp.) was the most diverse taxon in species number. We here also discuss the species representing the climatic feature in the island and compare the species diversity with those of other two major islands in Korea, Is. Geoje-do and Is. Jeju-do. Among the species recognized in this study, two species, Epilepia dentata (Matsumura and Shibata) and Meganola costalis (Staudinger) are recorded in Korea for the first time, in spite of the presence of previous notes on the species which is invalid. The adults and genitalia of the two species are illustrated and described briefly.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2009년도 제37회 하계학술대회 초록집
• /
• pp.353-353
• /
• 2009

• 한국수산과학회지
• /
• 제39권spc1호
• /
• pp.151-164
• /
• 2006

We monitored the current macrozoobenthic community structure after the Sea Prince oil spill around Keumo-do and Sori-do, Korea. Macrobenthic animals were collected seasonally around Sori-Keumo do using a van Veen grab ($0.1m^2$) from October 1999 to April 2000. In total, 196 species were identified at 46 sites around Keumho-do. The mean density was 1,460 individuals/$m^2$, and polychaetes comprised 80% of the total density of the macrozoobenthic. Dominant species were the polychaete Tharyx sp. (51%), the echinoderm Amphioplus megapomus (5%) and the polychaete Lumbrineris longifolia (3%). We identified 176 macrobenthic species at 36 sites around Sori-do. The mean density was 1,068 individuals/$m^2$, and polychaetes was the most abundant faunal group, comprising 41%, followed by mollusks (24%) and echinoderms (20%). Dominant species in Sori-do were the mollusk Potamocorbula amurensis (23%), the chinoderm Amphioplus megapomus (14%), and the polychaete Tharyx sp. (10%). The overall community structures in the study area showed few seasonal changes, although there was a gradual change in the species composition within each benthic community. Tharyx sp. was the most abundant species in the study area. Because this species has not been found in the other coastal areas except during recent investigations, it is considered to have increased during the course of community succession after the oil spill. The macrozoobenthic around Keumo-do showed little change in species richness, whereas around Sori-do, it showed a few increases in species richness after the summer of 1998. The overall density showed the same trend as species richness. Based on improved community indices, we suggest that the macrozoobenthic communities around Sori-Keumo Islands are gradually recovering from the oil-spill damagecaused by the oil spill.

• 한국의사학회지
• /
• 제15권2호
• /
• pp.135-150
• /
• 2002

In oriental medicine, 'Mack' is the most important medical method of human body. From Wangsukhwa's "Mackkyung" in Jin dynasty to "mackjinki" in modern technology, medical use of mack is so wide. Over the years, many 'pulsation' books had published. Among them, Koyangsaeng's "ChanDoMackKyul" had an influence on many doctors. But also many doctor criticized his book for the absence of orthodoxy. In the middle of chosun era, Hur jun published "Chan Do Bang Ron Mack Kyul Gip Seong". "Chan Do Bang Ron Mack Kyul Gip Seong" had been used from the beginning to the end of the Chosun Dynasty. "Chan Do Bang Ron Mack Kyul Gip Seong" is the medical book that The King 'Seon-jo' ordered to make Hur jun for correcting the faultiness of pulse medical book(ChanDoMackKyul). through the inquiry of it, we expect accomplishment of 'Pulsation' in Chosun Dynasty and reveal the koyangsaeng's date.

• 한국자원식물학회:학술대회논문집
• /
• 한국자원식물학회 2005년도 춘계 학술발표대회
• /
• pp.94-95
• /
• 2005

• 소프트웨어세계
• /
• 통권1호
• /
• pp.36-37
• /
• 1987

• 베이커리
• /
• 7호통권336호
• /
• pp.159-159
• /
• 1996