• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1287-1294
• /
• 2004

Recently relationships between reliability measures and the coverage have been developed for evaluation of software reliability. Particularly the mean value function of the coverage-based software reliability growth model is important because of its key role in rep-resenting the software reliability growth. In this paper, we first review the problems of the existing mean value functions with respect to the assumptions on which they are based. Then a new mean value function is proposed. The new mean value function is developed for a general testing environment in which imperfect fault detection and repeated construct execution are allowed. Finally performance of the proposed model is empirically evaluated by applying it to a real data set.

• 방재와보험
• /
• s.122
• /
• pp.36-44
• /
• 2007

BP 텍사스 시티의 석유정제소의 화재폭발은 2005년에 가장 많은 인명의 손실을 끼친 유동화자산의 화재폭발사고로서 15인의 생명을 앗아가고 200여 명의 사람을 다치게 하였다. 트럭 한 대의 역화(내연기관의 부정폭발)에서 시작된 점화원은 이성질체화시스템(ISOM) 대기암 통기구에서의 가연성 탄화수소 액체와 증발 기체를 발화시켰다. 화학안전위원회는 그 사고를 조사 및 검토한 후 BP사가 모든 면에서 기계적인 결함과 함께 안전성이 불완전하였음을 발견하였다. 본 고는 저자들이 미국화학안전위험조사위원회에 제출한 이들의 조사보고서를 번역 게재한 것이다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.19 no.1
• /
• pp.295-300
• /
• 2024

This paper discusses the incompleteness of the SNOMED CT and proposes a noble metric which evaluates similarity among sibling nodes as a method to address this incompleteness. SNOMED CT encompasses an extensive range of medical terms, but it faces issues of ontology incompleteness, such as missing concepts in the hierarchy. We propose a noble metric for evaluating similarity among nodes within a node group, composed of multiple sibling nodes, to identify missing concepts, and identify groups with low similarity. Analyzing the similarity of sibling node groups in the March 2023 international release of SNOMED CT, the average similarity of 29,199 sibling node groups, which are sub-concepts of the clinical finding concept and are consist of two or more sibling nodes, was found to be 0.81. The group with the lowest similarity was associated with child concepts of poisoning, with a similarity of 0.0036.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.11A
• /
• pp.987-994
• /
• 2005

Most of the proposed SRGMs are required to perfect debugging based on removal of defect as soon as the detection of defects in system tests. But the detected defects are corrected after few days as a fixed time or induced new fault in software under the imperfect debugging environments. Solving these problems, we discussed that the formal software reliability model considered testing-effort for the fault detection and correction of software defects, and then using this model we have estimated of the software reliability closed to practical conditions.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.1188-1193
• /
• 2009

현대 사회에서 휴대폰은 더 이상 문자 메시지를 송수신하거나 통신을 위한 매개체가 아니라 이동 중에도 인터넷 검색 또는 대용량 데이터를 전송하는 용도로 쓰인다. 특히 통신사에서 제공하는 서비스를 통한 모바일 인터넷 뉴스 기사 검색은 현재 효율성과 주관적 만족도가 떨어진다. 이에 본 연구는 목록 제시 방식이 모바일 브라우징 사용성에 미치는 영향을 보고자 하였다. 따라서 정보 제공의 완전성과 정보 제공의 지연 여부의 2 가지 측면으로 목록 제시 방식을 구분하였다. 탐색 과제를 통한 목록 제시 방식 효과를 비교한 결과 정보 제공이 완전하면서 지연이 없는 레이어드 팝업 조건에서 사용성과 지각된 사용성이 가장 높았으며 정보 제공이 완전하나 정보의 지연이 있는 동적 제시 조건, 정보 제공이 불완전하나 지연이 없는 ‘…’ 조건 순으로 나타났다. 그러나 레이어드 팝업 조건과 동적 제시 조건 간의 유의미한 사용성 차이는 발견되지 않았다. 이 결과는 정보의 지연 여부보다 정보 제공의 완전성이 모바일 브라우징에 더 큰 영향을 준다는 것을 시사한다. 본 연구의 결과는 상이한 디스플레이 방식들 간의 차이만을 살펴보는 수준을 넘어서 현재 적용되고 있는 WAP 서비스의 한계점을 보완하여 사용성을 향상시킬 수 있는 방안을 구축하였음에 의의가 있다.

• The Korean Journal of Mycology
• /
• v.31 no.2
• /
• pp.53-58
• /
• 2003

Studies were conducted to investigate the changes of teleomorph of Diatrype stigma on bed-log of shiitake (Lentinula edodes) and appearance of secondary harmful fungi from December 1999 to August 2001. The color of stroma was changed from red brown to dark brown after 12 months. The size of ostioles became smaller and the number of ostioles decreased as time passed. Most of the ostioles disappeared after 20 months from toleomorph formation. Perithecia and ascospores were gradually disappeared, and perithecia containing ascospores were observed at 10% of bed-logs tested after 20 months. Concerning the secondary harmful fungi infecting the bedlog of shiitake after teleomorph of D. stigma, Hypoxylon truncatum (Anamorph : Nodulisporium sp.), Schizophyllum commune and Trichoderma spp. were observed on stroma of D. stigma. Penicillium sp. occurred on spore-horn of Libertella sp. (Anamorph of D. stigma). Besides, Hypoxylon howeianum and some species of Myxomycetes were observed. Also, Libertella sp. appeared again at some bed-logs.

• Journal of Korean Philosophical Society
• /
• v.131
• /
• pp.273-301
• /
• 2014

This study aims to reconstruct Leibniz's theodicy. Theodicy is to defense of the highest wisdom of the creator against the charge which reason brings against it for whatever is the evil in the world. For this defense, Leibniz created his own new kind of concepts: the principle of sufficient reason, the principle of perfection, the best of all possible worlds, moral necessity. Leibniz's theodicy is developed as following. Most good and wisest God created this world freely by moral necessity. God's will was to choose the goods antecedently. But God's will could not create goods only. For God's final purpose is to create the best. For this reason, it happens that the evils may come about by concomitance, and as a result of other greater goods. Therefore the evils are necessary in the world. And evil consists in imperfection. Man has free will as God. Freedom, according to Leibniz, consists in intelligence, which involves a clear knowledge of the object of deliberation. Man has freedom, but man's freedom is imperfect. Evil is originated in man's imperfect freedom.

• The Korean Journal of Zoology
• /
• v.31 no.1
• /
• pp.1-10
• /
• 1988

A syrnpatnc sample of Rana nigrnmaculata sand R plancyi (Anura) from Kwangu, Korea was investigated to clarify their taxonornic status and to estimate the degree of genic variation, genetic relatedness, and reproductive isolation between them, based on electrophoretic analysis, marphometric data, mating call, mating season, and habitat. All the characters measured including morphometric, genetic, behavioral, and ecological suggest that they are distinct species and R nigrnmaculata might have originated from R plancyi (tropical form about three and a half million years ago. An adult female was found to be Fl hybrid between two species The hybrid female possessed fettile eggs and morphologically intermediate to the parental species in head parts, hind limb, and web characters. The differences in mating call, mating behavior, breeding season, and habitat strongly suggest that postmating isolating mechanism is operating, even though very rare hybrid is found.

• 한국지구과학회:학술대회논문집
• /
• 2010.04a
• /
• pp.99-100
• /
• 2010

충남 서부에 위치한 보령 지역은 트라이아스기 후기로 알려진 육성 기원의 남포층군이 널리 분포하고 있다. 남포층군은 하부로부터 하조층, 아미산층, 조계리층, 백운사층 및 성주리층으로 구분된다. 남포층군에서 산출되는 화석의 대부분은 식물 화석이며, 기타 이매패 화석, 어류 화석, 곤충의 유충 화석, 패갑류(conchostracans) 등의 화석이 산출되고 있지만, 양적으로 극히 적다. 이들 화석 중에서 체계적으로 연구가 된 것은 식물 화석뿐이고, 나머지 화석들은 전문 연구가의 부재 등에 의해 극히 미미한 연구 수준에 머물러 있다. 이번의 연구를 통해서 아미산층에서 채집된 곤충화석은 모두 107점이고, 그중에서 유충 화석이 94점, 날개 화석이 14점이다. 이들의 분류학적 연구 결과, 아미산층의 곤충화석군은 소시목, 강도래목, 날도래목, 하루살이목, 잠자리목, 바퀴벌레목, 벌목, 매미목을 비롯한 8목 11종에 이르는 유시류의 곤충들로 구성된다. 이들은 현재까지 우리나라에서 발견된 곤충화석 중 시대적으로 가장 오래된 화석이다. 유충 화석은 모두 수서 곤충의 유충화석이다. 이들의 유충은 수중생활에 적응하여 지상생활을 하는 성충과 형태적으로 큰 차이가 있는 불완전변태류 또는 외시류이다. 날개 화석은 수서곤충의 성충의 날개이고 일부는 육상 생활을 하는 곤충의 날개가 포함되어 있다. 아미산층에서 나온 곤충화석에는 육상에서 생활하는 매미목과 바퀴목도 있는데 이들은 불완전변태류에 속한다. 그러나, 똑같은 육상생활자이면서도 벌목은 완전변태류 또는 내시류에 속하는 것도 있다. 따라서 아미산층에서 산출된 곤충화석군에는 불완전변태류와 완전변태류가 섞여 있는 특징을 보인다. 이들은 실제로 같은 시대에 비슷한 장소에서 함께 생활을 했던 생물군집이지만, 서로 살던 장소가 다른 집단들이 섞여 있다는 것은 육상생활자의 일부가 죽은 후 수류에 의해 퇴적분지로 유입되어 매몰된 혼합집단으로 볼 수 있다. 현생의 하루살이목, 강도래목 등은 대표적인 유수성 곤충이고, 잠자리, 노린재 등은 대표적인 정수성 곤충으로 알려져 있다. 이들이 지층에 밀집하여 산출되는 것으로 보아 살던 장소에서 많은 퇴적물의 유입에 따른 급격한 매몰에 의해 화석화된 것으로 판단된다. 동아시아의 중생대 초기에서 보고된 곤충 화석은 양적으로도 수적으로도 그리 많지 않다. 그중에서 일본의 Mine에서 보고된 화석군이 가장 대표적이며 바퀴류(Blattaria)와 딱정벌레(Coleoptera)의 화석이 가장 큰 비율을 차지하지만, 아미산층 곤충화석군과의 공통종은 한 종도 없다. 아미산층의 곤충화석군은 비록 다양성은 쥐라기의 곤충상에 비해 떨어지지만 조성적으로는 쥐라기의 곤충상에 매우 유사하다. 육상에 사는 곤충이 화석으로 보존되기 어렵다는 것을 감안하면 아미산층에서 산출된 곤충화석은 학술적으로 매우 귀중하고 큰 의미가 있다. 보령 지역의 곤충화석은 중생대의 쥐라기와 백악기를 거쳐 현재로 이어지는 곤충 진화사의 잃어버린 고리를 이어줄 수 있는 귀중한 자료로 평가된다.

• Animal Systematics, Evolution and Diversity
• /
• v.17 no.1
• /
• pp.71-89
• /
• 2001

Catinia plana Bocquet and Stock, the type genus and species of the family Catiniidae, which has been known incompletely is redescribed on the basis of type material. Structure of appendages, especially those of mandible and maxilla, are reinterpreted. In addition, two new species of Myzomolgus associated respectively with the sipunculids Sipunculus nudus Linnaeus and Siphonosoma cumanense (Keferstein) are described from Korean waters. A comparison of already known species of Myzomolgus and two new species of the same genus resulted in a conclusion that members of this genus possess homogeneous traits and the genus is a well established taxon. A key to distinguish five genera of the Catiniidae is also provided.