• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.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.

• The Korean Journal of Mycology
• /
• v.38 no.2
• /
• pp.205-207
• /
• 2010

Stem and petiole rot symptoms of Valeriana fauriei occurred sporadically in the herb exhibition field in Gyeongsangnam-do Agricultural Research and Extension Services, Hamyang-gun, Gyeongnam Province in Korea. The typical symptom is water-soaking on the stem, rotting, wilting, blighting and the infected plants eventually died. White mycelial mats spreaded over lesions, and then sclerotia were formed on the infected plant parts and near soil surface line. On the basis of mycological characteristics and pathogenicity to host plants, this fungus was identified as Sclerotium rolfsii. This is the first report of stem rot on Valeriana fauriei caused by Sclerotium rolfsii in Korea.

• Journal of Mushroom
• /
• v.11 no.3
• /
• pp.145-148
• /
• 2013

Studies were made to optimize the media composition and cultural condition for mycelial growth of ear mushroom(Auricularia auricula). Sawdust spawn of media composition for optimal growth were found to be quercus sawdust combination of 20% rice bran and poplar sawdust combination of 10% wheat bran were the best of the optimal combination. The optimal condition of the most suitable inoculation amount showed that quercus spawn and poplar spawn were 15g, 25g, respectively.

• Animal Systematics, Evolution and Diversity
• /
• no.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.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2009.08a
• /
• pp.353-353
• /
• 2009

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.39 no.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.

• The Journal of Korean Medical History
• /
• v.15 no.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.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• v.18 no.1
• /
• pp.94-95
• /
• 2005

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

• 베이커리
• /
• no.7 s.336
• /
• pp.159-159
• /
• 1996