• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.483-490
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do likelihood inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The infinite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of Musa-Okumo and Power law type property.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.4
• /
• pp.174-192
• /
• 1998

These day in the Quality Assurance System, it required that computer system is able to utilize SQC and ISO 9000 series, just then. However. because SQC is necessary to special branch of statistical experience, it is very hard to use and have a bound in that apply to practical business. Therefor in this paper, we proposed the software system which is control, at the same time, SQC and ISO 9000 series, in addition to avail without statistical knowledge. For the shake of this point, the substance of this study is largely separated dual part that ISO 9000 system for which is limited to use design of basic system, test, experiment, tracking incongruent part, analysis condemned goofs, and SQC system for which is to limited to use control chart, estimate, statistical testing, design of experiment(DOE) which used to commonly in Quality Control System. Expected efficiency of this paper is to set Qualify Management System, transfer qualify consciousness, satisfy the customer, increase reliability, in particular, it is expected that it is very useful to minor enterprises of manufacturing-centered.

• Proceedings of the KAIS Fall Conference
• /
• 2001.05a
• /
• pp.203-206
• /
• 2001

본 연구는 골프 수행 능력(핸디캡)을 향상시키기 위한 도구 개발로서, 자신의 스코어를 통계적인 측면에서 관리를 보다 과학적으로 하고자 하는데 도움을 주는 소프트웨어를 개발하는데 그 주된 목적이 있다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.411-414
• /
• 1995

Statistical Process Control (SPC) is a set of methodologies for signaling the presence of undesired sources of variation in manufacturing processes. Expert System in SPC can serve as a valuable tool to automate the analysis and interpretation of control charts. In this paper we put forward a method of successful application of Expert System to SPC in manufacturing process.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.387-392
• /
• 2005

본 논문에서는 LCD 공정관리에서 SPC 시스템의 주요내용 및 운영방법론을 논하고자 한다. 주요내용으로는 실시간 프로세스 모니터링 방법론, 유의차분석 방법론, 이상데이터의 분석, 공정능력의 분석, 관리도 및 결과의 조회 등을 들 수 있다. 또한, TFT-LCD 공정을 크게 Fab 공정인 TFT 공정, LC 공정 및 Module 공정으로 나누어 각 공정에서의 중요한 특성과 관리방법론을 제시하고자 한다.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.18 no.6
• /
• pp.105-113
• /
• 2014

Most operating civil structures measure response data continuously by various types of sensors and evaluate their health conditions. Measurement control criteria for such civil structures are usually defined in the first operating stage by experts working at a construction or engineering company. However, a few studies have been carried to examine the adequacy of these measurement control criteria based on the actual measured data. The paper introduces a systematic way of resetting the measurement control criteria for the measured monitoring data based on the statistical aspects of the measured data. The proposed statistical approach has been examined with actually measured time-history data from a bridge structure.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1997.08a
• /
• pp.17-24
• /
• 1997

조사에 따르면 한글 문서에서 사용되는 단어 중 외래어 또는 영어가 포함된 단어가 약 26%정도를 차지하고 있으며, 이는 정보검색의 중요 색인어로 사용된다(권윤형 1996). 그러나 이들 단어들은 서로 같은 단어인데도 영어로 표기되기도 하고 이형의 외래어들로 표기되기도 하여, 정보검색의 효율을 떨어뜨리고 있다. 본 논문에서는 영어 단어와 그에 대응되어 표기되는 외래어들을 찾기 위한 한 단계로서, 영어를 한글로 음차(transliteration)하여 자동표기하는 통계적 모델을 제안하고 실험한다. 제안된 모델은 통계적 기계번역 방식과 그의 한 방법인 문서 정렬(text alignment) 방식에 근거하고 있다. 특히 이 모델에서는 효과적으로 발음의 단위를 분리한 다음 정렬을 하여. 전체적인 계산량을 줄이고 성능도 향상시켰다. 음차표기는 피봇방식과 직접방식의 두가지로 구현하였다. 피봇방식은 영어에서 발음을 생성한 후, 그 발음을 다시 한글로 표기하는 방식이고, 직접방식은 직접 영어 단어에서 한글 표기로 포기하는 방식이다. 두 방식을 제안된 모델을 이용하여 비교 테스트한 결과 직접방식이 보다 정확하게 표준 외래어로 표기하였다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2017.08a
• /
• pp.19-22
• /
• 2017

본 연구는 국내 문헌정보학 분야 학술지를 대상으로 협업 특성과 연구주제를 파악하기 위해 지리적인 측면에서 기관들의 공동연구 특성을 살펴보았다. 기존의 협업 특성을 분석한 연구들은 공저 네트워크의 속성이나 연구자들의 연구생산성, 소속기관 및 국가 비교 등 통계적 측면에 초점을 맞추어 분석을 수행해왔다. 본 연구는 기존 연구에서 주된 분석수단으로 사용해 온 통계적 분석 외에 연구자의 협업 연구주제와 연구자가 속한 기관 및 지역정보를 활용하여 협업 패턴을 파악하도록 하였다. 연구자가 속한 기관들 간의 협업 네트워크를 지리적인 관점에서 연구주제와 함께 직관적으로 파악할 수 있다는 장점이 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.278-278
• /
• 2023

강우는 수문 현상을 구성하는 가장 기본적인 요소로, 관측된 강우 자료의 정확한 분석 결과는 수자원 정책과 계획·관리에 합리적 판단 근거로 작용한다. 강원도는 지난 2002년 태풍 루사로 인하여 일 강수량 870.5mm의 폭우가 기록된 지역으로, 극한 강우로 인한 막대한 피해가 해마다 발생하고 있다. 특히, 강원도 지역은 태백산맥 중심의 산악지형과 동해의 영향을 직·간접적으로 받는 강우 사상의 특성이 집중호우, 폭설 등으로 나타난다. 본 연구에서는 강원도 지역 극한 강우의 통계적 특성을 파악하기 위하여 국가수자원관리종합정보시스템에서 제공하는 강우 자료를 수집하여 분석하였다. 또한, 최근 5년간 극한 강우의 변동 특성을 정량적으로 분석하고자 2022년까지의 자료를 구축하여 기존 『홍수량 산정 표준 지침』 작성 시 산정한 결과(2017년까지의 자료)와 비교·분석하였다. L-모멘트법 기반의 Generalized Extreme Value (GEV) 분포형을 이용하였고, 지역빈도해석을 수행하여 확률강우량을 산정하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.689-692
• /
• 2016

출입이 없는 폐쇄된 환경에서 객체의 자동 감시 시스템은 객체의 움직임을 추적하여 객체의 지속적인 관찰과 함께 행동 패턴을 효율적으로 분석하기 위해 사용되고 있다. 특히, 국내 돈사의 경우 돈사 내 여러 마리의 돼지들을 개별적으로 관리하기 위해 이러한 감시 시스템은 필수적이다. 그러나 여러마리의 돼지들이 근접하여 개별적으로 추적하기 위해서는 비디오 스트림에서의 매 프레임마다 정확한 분리가 되어야 한다. 본 논문에서는 근접한 돼지의 시퀀스에 분리 알고리즘을 이용하여 매 프레임마다 정확도를 측정한 후 통계적 검정을 통하여 근접한 객체에 대한 최적의 분리 알고리즘을 결정하는 방법을 제안한다. 즉, 시퀀스의 연속된 프레임에서 분리 정확도를 계산하고 통계적 가설 검정을 수행하여 분리 정확도가 일정 수치를 넘지 못하면 다른 분리 알고리즘을 수행하도록 결정한다. 실험 결과, 제안 방법을 이용하여 제안된 가설에 의해 매 프레임마다 최적의 분리 알고리즘을 수행하도록 결정하였다.