• Title/Summary/Keyword: Model-Based Testing

Search Result 1,625, Processing Time 0.028 seconds

A Study for Advancing the Educational System of the Science Education Center for Gifted Youth (과학영재교육센터 교육체제의 효율적인 운영방안에 관한 연구)

  • 정원우;권용주;황석근
    • Journal of Gifted/Talented Education
    • /
    • v.9 no.2
    • /
    • pp.73-101
    • /
    • 1999
  • The purpose of this study was to suggest an advanced system for educating scientifically gifted children in the Center for Science Talented Education at Kyungpook National University. Several suggestions based on analysis of current identifying-process and instructional materials for scientifically gifted children were provided for advancing the educational system of the center. First, this study suggested a three-step procedure to identify procedure emphasized students reasoning skills as one of important characteristics of the gifted child. Second, this study provided an instructional model for developing hypothesis testing skills in scientifically gifted children. The model was originally based on Lawson's scientific reasoning processes and learning cycle mode. Third, this study also suggested an effective administration system of the Center for Science Talented Education. Further, this study suggested effective ways on research works for advancing the center, educating instructors, the cyber center for remote education, and international co-works for developing the gifted children's potential abilities.

  • PDF

Goodness-of-fit tests for the inverse Weibull or extreme value distribution based on multiply type-II censored samples

  • Kang, Suk-Bok;Han, Jun-Tae;Seo, Yeon-Ju;Jeong, Jina
    • Journal of the Korean Data and Information Science Society
    • /
    • v.25 no.4
    • /
    • pp.903-914
    • /
    • 2014
  • The inverse Weibull distribution has been proposed as a model in the analysis of life testing data. Also, inverse Weibull distribution has been recently derived as a suitable model to describe degradation phenomena of mechanical components such as the dynamic components (pistons, crankshaft, etc.) of diesel engines. In this paper, we derive the approximate maximum likelihood estimators of the scale parameter and the shape parameter in the inverse Weibull distribution under multiply type-II censoring. We also develop four modified empirical distribution function (EDF) type tests for the inverse Weibull or extreme value distribution based on multiply type-II censored samples. We also propose modified normalized sample Lorenz curve plot and new test statistic.

Recognition of Plasma- Induced X-Ray Photoelectron Spectroscopy Fault Pattern Using Wavelet and Neural Network (웨이블렛과 신경망을 이용한 플라즈마-유도 X-Ray Photoelectron Spectroscopy 고장 패턴의 인식)

  • Kim, Soo-Youn;Kim, Byung-Whan
    • Proceedings of the KIEE Conference
    • /
    • 2006.04a
    • /
    • pp.135-137
    • /
    • 2006
  • To improve device yield and throughput, faults in plasma processing equipment should be quickly and accurately diagnosed. Despite many useful information of ex-situ sensor measurements, their applications to recognize plasma faultshave not been investigated. In this study, a new technique to identify fault causes by recognizing X-ray photoelectron spectroscopy (XPS) using neural network and continuous wavelet transformation (CWT). The presented technique was evaluated with the plasma etch data. A totalof 17 experiments were conducted for model construction. Model performance was investigated from the perspectives of training error, testing error, and recognition accuracy with respect to various thresholds. CWT-based BPNN models demonstrated a higher prediction accuracy of about 26%. Their advantages over pure XPS-based models were conspicuous in all three measures at small networks.

  • PDF

Testing for Lack of Fit via the Generalized Neyman Smooth Test

  • Lee, Geung-Hee
    • Journal of the Korean Statistical Society
    • /
    • v.27 no.3
    • /
    • pp.305-318
    • /
    • 1998
  • Smoothing tests based on an L$_2$ error between a truncated courier series estimator and a true function have shown good powers for a wide class of alternatives, These tests have the same form of the Neyman smooth test whose performance depends on the selected order, a basis, the farm of estimators. We construct flexible data driven Neyman smooth tests by changing a basis, combining model selection criteria and different series estimators. A simulation study shows that the generalized Neyman smooth test with the best basis provides good power for a wider class of alternatives compared with other data driven Neyman smooth tests based on a fixed form of estimator, a fixed basis and a fixed criterion.

  • PDF

A Study of the Model-based Testing for Embedded Software in ESTEREL (ESTEREL 임베디드 소프트웨어를 위한 모델 기반 테스트 기법 연구)

  • YANG Jin-Seok;Kim Jin-Hyun;Sim Jae-Hwan;Kim chang-jin;Choi Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.337-339
    • /
    • 2005
  • 본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

  • PDF

Application of Response Surface Method for Optimal Transfer Conditions of MLCC Alignment System (반응표면법을 이용한 MLCC 자동 정렬 시스템의 운영조건 최적화)

  • Kim, Jae-Min;Chung, Won-Ji;Shin, O-Chul
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.19 no.4
    • /
    • pp.582-588
    • /
    • 2010
  • This paper presents the Application of Response Surface Method for Optimal Transfer Conditions of MLCC Alignment System. his paper is composed of two parts: (1) Testing performance verification of MLCC alignment system, compared with manual operation; (2) Applying response surface method to figuring out the optimal transfer conditions of MLCC transfer system. Based on the successfully developed MLCC alignment system, the optimal transfer conditions have been explored by using RSM. The simulations using $ADAMS^{(R)}$ has been performed according to the cube model of CCD. By using $MiniTAB^{(R)}$, we have established the model of response surface based on the simulation results. The optimal conditions resulted from the response optimization tool of $MiniTAB^{(R)}$ has been verified by being assigned to the prototype of MLCC alignment system.

Optimal Release Time of Switching Software and Evolution of Reliability Based on Reliability Indicator (신뢰성 평가척도를 중심으로 한 교환 소프트웨어 최적 배포 시기 결정 및 신뢰도 평가)

  • Lee, Jae-Gi;Sin, Sang-Gwon;Hong, Seong-Baek
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.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.

  • PDF

Void detection for tunnel lining backfill using impact-echo method based on continuous wavelet transform and convolutional neural network

  • Jiyun Lee;Kyuwon Kim;Meiyan Kang;Eun-Soo Hong;Suyoung Choi
    • Geomechanics and Engineering
    • /
    • v.36 no.1
    • /
    • pp.1-8
    • /
    • 2024
  • We propose a new method for detecting voids behind tunnel concrete linings using the impact-echo method that is based on continuous wavelet transform (CWT) and a convolutional neural network (CNN). We first collect experimental data using the impact-echo method and then convert them into time-frequency images via CWT. We provide a CNN model trained using the converted images and experimentally confirm that our proposed model is robust. Moreover, it exhibits outstanding performance in detecting backfill voids and their status.

A characteristic study on the software development cost model based on the lifetime distribution following the shape parameter of Type-2 Gumbel and Erlang distribution (Type-2 Gumbel과 Erlang 분포의 형상모수를 따르는 수명분포에 근거한 소프트웨어 개발 비용모형에 관한 특성 연구)

  • Yang, Tae-Jin
    • The Journal of Korea Institute of Information, Electronics, and Communication Technology
    • /
    • v.11 no.4
    • /
    • pp.460-466
    • /
    • 2018
  • With the development of information technology, the scale of computer software system is constantly expanding. Reliability and cost of software development have a great impact on software quality. In this study, based on the software failure interval time data, a comparative analysis was performed on the characteristics of the software development cost model based on the lifetime distribution following the Type-2 Gumbel and Erlang distribution in the NHPP model. As a result, the trends of the cost curves for the Go-Okumoto model and the proposed Erlang model and the Type-2 Gumble model both decreased in the initial stage and gradually increased in the latter half of the failure time. Also, Comparing the Erlang model with the Type-2 Gumble model, we found that the Erlang model is faster and more cost-effective at launch. Through this study, Software operators should remove possible defects from the testing phase rather than the operational phase to reduce defects after the software release date, it is expected to be able to study the prior information needed to understand the characteristic of software development cost.

Multi Parameter Design in AIML Framework for Balinese Calendar Knowledge Access

  • Sukarsa, I Made;Buana, Putu Wira;Yogantara, Urip
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.14 no.1
    • /
    • pp.114-130
    • /
    • 2020
  • Balinese calendar is defined as a unique calendar system for combining solar-based and lunar-based system and assuming local system. It is considered as guidance of Balinese societies' activities management, starting from meeting arrangement, wedding ceremony, to religious ceremonies. Practically, it has developed in the form of printed Balinese calendar and electronic Balinese calendar, either web or mobile application. The core of the function is to find out the day with its various characteristics in the Balinese Calendar. In general, society usually asks the religious leader to find out the day in detail. The technology of NLP combined with models of pattern discoveries supports the arrangement of the interaction model in searching the good day in Balinese Calendar to equip the conventional searching system in the previous applications. This study will design a dialog model with AIML method in multi-parameter basis; therefore, the users will be dynamically able to use the searching content in various ways by chatting in similar with consulting to a religious leader. This model will be applied in a chatbot basis service in telegram machine. The addition of the context recognition section into 4 paterns has been successfully improve the ability of AIML to recognize input patterns with many criteria. Based on the testing with 50 random input patterns obtained a success rate of 92.5%.