• Journal of the Korean Data and Information Science Society
• /
• 제28권4호
• /
• pp.875-888
• /
• 2017

The Rayleigh distribution has been commonly used in life time testing studies of the probability of surviving until mission time. We focus on a reliability function of the Rayleigh distribution and deal with prior distribution on R(t). This paper is an effort to obtain Bayes estimators of rayleigh distribution with three different prior distribution on the reliability function; a noninformative prior, uniform prior and inverse gamma prior. We have found the Bayes estimator and predictive density function of a future observation y with each prior distribution. We compare the performance of the Bayes estimators under different sample size and in simulation study. We also derive the most plausible region, prediction intervals for a future observation.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.615-621
• /
• 1999

On the aspect of on-time and development resource use, it is very important to predict the software release time during the software development process. In this paper, we present the optimal release problem based on the evaluation indicator and cost evaluation. And also we show the optimal release point considered with both of them. We applied the Exponential Software Reliability Growth Model(E-SRGM) and Testing-effort dependent Software Reliability Growth Model(Te-SRGM) and decided the software release time according to software reliability indicator. As a result of two models comparison, we verify the Te-SRGM is more adopted in our switching system software.

• 한국유기농업학회지
• /
• 제8권2호
• /
• pp.53-77
• /
• 2000

This paper aims to point out the problems and solutions of soil fertility enhancement in Korean organic farming which does not harmonize with internationally recognized standard of organic agriculture such as Basic Standard of IFOAM, EU regulations, and guidelines of FAO/WHO codex alimentarius. The necessity of rotation, legume, green manure to enhance the soil fertility or organic farming system was discussed, and the reasons why salt accumulation including nitrate and phosphate in the rooted soil profiles was frequently occurred in Korean organic farmer's field also discussed. Soil testing for correct handling of organic fertilization was introduced to void the salt accumulation just applying the huge amount of organic fertilizer year to year to reach a maximum crop yield. In the conclusion it was suggested for Korean organic agriculture to make an effort to coincide it's regulation with internationally recognized standards for organic farming.

• The Korean journal of internal medicine
• /
• 제34권1호
• /
• pp.11-43
• /
• 2019

Heart failure (HF) is an important cardiovascular disease because of its increasing prevalence, significant morbidity, high mortality, and rapidly expanding health care cost. The number of HF patients is increasing worldwide, and Korea is no exception. There have been marked advances in definition, diagnostic modalities, and treatment of HF over the past four decades. There is continuing effort to improve risk stratification of HF using biomarkers, imaging and genetic testing. Newly developed medications and devices for HF have been widely adopted in clinical practice. Furthermore, definitive treatment for end-stage heart failure including left ventricular assist device and heart transplantation are rapidly evolving as well. This review summarizes the current state-of-the-art management for HF and the emerging diagnostic and therapeutic modalities to improve the outcome of HF patients.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2008년 영문 학술대회
• /
• pp.399-402
• /
• 2008

It is well known that helium saturated propellants significantly effects the dynamics of propulsion system, thruster cross coupling, water hammer and thruster performance. Especially for the propulsion systems, which have multiple high thrust engines, such as HTV(H-II transfer vehicle), the effect is more important. Therefore full-saturated propellants should be used at ground tests of HTV propulsion system and evaluate its effects. HTV is an advanced space vehicle being developed by Japan Aerospace Exploration Agency(JAXA) to enhance cargo delivery capabilities of the fleet of vehicles visiting the International Space Station(ISS). This paper presents an overview of the successful effort of the testing with saturated propellants(MMH/MON3) for HTV propulsion system during the ground firing tests.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2021년도 추계학술대회
• /
• pp.17-18
• /
• 2021

컨테이너 터미널에서 운영 생산성 향상은 지속해서 요구되는 사항으로 첨단 ICT를 활용하는 관련 연구는 지속해서 이뤄지고 있다. 터미널 운영을 위한 핵심 정보시스템인 터미널운영시스템에서 AI, Big Data 등 관련 기술 활용에 따른 SW 프로그램 개발, 시험 및 안정화에 소요되는 노력을 줄일 목적으로 외부 전문가시스템 연계 방법에 대한 연구이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권10호
• /
• pp.800-815
• /
• 2009

최근 웹 서비스 기반 서비스 지향 구조는 네트워크 상에 분산된 다양한 애플리케이션을 효과적으로 통합하기 위한 방법으로 널리 활용되고 있다. 서비스 지향 구조에서 BPEL은 비즈니스 프로세스 모델 언어로, 다양한 서비스들을 통합하는 방법을 제시하고 있다. 현재 이러한 BPEL을 이용한 서비스 통합 및 조합에 관해 많은 연구가 진행되고 있으며 서비스들 간의 호환성을 검증하려는 노력, 비즈니스 프로세스의 식별과 추적에 관한 몇몇 연구가 진행되었다. 그러나 다양한 서비스의 조합으로 인해 발생하는 문제를 해결하려는 연구는 부족하다. 특히 조합된 서비스가 얼마나 신뢰할 수 있는지, 예외 상황에 대해 얼마나 강건하게 대처할 수 있는지 평가하고자 하는 노력은 거의 이루어지지 않았다. 이에 본 논문에서는 BPEL을 이용한 서비스 조합에 있어서 조합된 서비스의 강건성을 테스트하기 위한 방법과 이 방법을 지원하기 위한 테스트 프레임워크를 제시한다. 본 논문의 방법은 BPEL 프로세스와 참여하는 다양한 서비스를 분석하고, 분석된 정보를 바탕으로 실제 서비스들에서 발생 가능한 다양한 예외 상황을 발생시키는 가상의 환경을 구축하여 강건성 테스트를 수행한다. 이는 BPEL 프로세스로 표현된 서비스 조합이 얼마나 예외 상황에 강건하게 대처하는지 검증하는 방법이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권7호
• /
• pp.605-614
• /
• 2006

성공적인 소프트웨어 개발은 QCD에 의해 결정되며, 그 중 Quality는 Cost와 Delivery를 결정하는 핵심요소이기도 하다. 그리고 소프트웨어의 규모와 복잡도가 증가함에 따라 quality의 조기 확보의 중요성이 점차 커지고 있다. 이러한 관점에서 개발 후 결함을 찾아내고 수정하는 것보다 결함예방을 위해 더 많은 노력을 기울여야 할 것이다. 결함 예방을 위해서는 peer review, testing과 같은 결함 식별활동과 함께 기존에 발생된 defect 에 대한 분석을 통해 발생 가능한 결함의 주업을 차단하는 활동이 필요하며, 이를 위해 기존의 품질 데이타의 조직화 및 활용이 필요하다. 소프트웨어의 품질 예방을 위한 방법으로 system safety 확보를 위해 사용되고 있는 FMEA를 활용할 수 있다. SW-FMEA(Software Fault Mode Effect Analysis)는 예측을 통해 결함을 예방하는 방법으로, 기존에는 요구사항 분석 및 설계 시 많이 활용되어 왔다 이러한 SW-FMEA는 개발 활동을 통해 측정되는 정보를 활용하여, 분석, 설계, 나아가 peer review나 testing 둥 개발 및 관리 활동에 적용하여 결함예방 (defect prevention) 의 수단으로 활용 할 수 있다. 본 논문에서는 기존에 시스템 분석, 설계에 focusing된 SW-FMEA를 변형하여 product 결합뿐 아니라, 개발과정 중 발생할 수 있는 fault를 줄일 수 있는 결함 예방 model을 제안한다.

• 말소리와 음성과학
• /
• 제3권4호
• /
• pp.63-70
• /
• 2011

Recent studies on English $L^*$ (low pitch accent) have revealed the difference of changes in acoustic manifestation between utterances produced by Koreans and those produced by native speakers of English. However, not much effort has been made to compare $L^*$ focused constituents and non-focused constituents. At the same time, most previous works on focus realization are lacking in terms of normalization of acoustic measurement. Therefore, this research is dedicated to comparing the $L^*$ focused items and non-focused items realized by Koreans and Americans and to examining the realization of English $L^*$ produced by the two language groups with improved normalization of the acoustic features (F0, intensity and duration). Within-group analysis comparing focused words and non-focused words showed both Americans and Koreans prolonged the $L^*$ focused syllables but the effect size of syllable lengthening made by Koreans was far less than that made by Americans. Furthermore, significant F0 lowering was found in Americans but not in Koreans. However, the effect of intensity change caused by $L^*$ focus was not significant within each group. The effect of focused words was tested between the two groups revealing that Koreans implemented English $L^*$ focus with higher F0, lower intensity and shorter duration than Americans. In the instances in which a significant Group x Focus Location (initial, middle and final of a sentence) interaction was found, further analysis testing the effect of Group on each Focus Location was conducted. The testing showed that the Koreans produced shorter syllables at initial and middle of a sentence and higher F0 at initial of a sentence than Americans. Implications for the intonation training were also discussed.

• 한국산업정보학회논문지
• /
• 제9권3호
• /
• pp.64-70
• /
• 2004

한국어와 일본어는 동일한 어족에 속하며 비슷한 문장구조를 가지고 있어 변환중심 기계번역 방법이 효율적이다. 본 논문에서는 토큰 단위의 변환중심 한일 기계번역 시스템을 위한 변환 사전을 생성하는 방법에 관하여 기술하였다. 변환 사전이 잘 구성되면 구문분석 단계에서는 대역어를 선정하기에 적합한 정도까지의 의존트리를 생성하는 간이 파싱 만을 함으로써 필요 없는 노력을 경감시킬 수 있다. 게다가 구문해석 시에 최종의 결과 트리를 만들지 않아도 되므로 문어체 문장은 물론 입력 형태가 비정형적인 대화체 문장에서 더욱 큰 효과를 볼 수 있다. 본 논문의 변환 사전은 한국전자통신 연구원이 수집한 음성 데이터베이스로부터 추출한 말뭉치를 사용해 구성하였다. 구현한 시스템은 여행 계획영역에서 수집된 900여 발화 안의 문장을 대상으로 시험하였는데 제한된 환경에서 $92\%$, 아무런 제약이 없는 환경에서는 $81\%$의 성공률을 보였다.