| 1 |
1
초기 확률 임계값()이 순차적 확률비 테스트(SPRT)를 베이지언 간격 추정 테스트(BIET)로 변경하기 위해 기설정된 변화 임계값() 보다 작은 경우, 순차적 확률비 테스트(SPRT)를 이용하여 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아질 때까지 상기 순차적 확률비 테스트를 ms번 반복하여 실행하고, 상기 순차적 확률비 테스트를 ms번 반복 실행하여 얻은 수용값의 총합(acceptsum)을 ms로 나누어서 평균 수용값()을 산출하고,상기 평균 수용값()이 기설정된 수용 임계값() 보다 작은 경우, 상기 순차적 확률비 테스트를 종료시키고, 상기 평균 수용값이 상기 기설정된 수용 임계값보다 크거나 같은 경우, 상기 초기 확률 임계값()을 증가시키면서 반복하여 실행함으로써, 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아진 경우, 베이지언 간격 추정 테스트(BIET)를 실행하는 제어부; 및 상기 순차적 확률비 테스트(SPRT) 및 베이지언 간격 추정 테스트(BIET)의 프로그램을 저장하는 저장부를 포함하는 하이브리드 기술을 이용한 통계적 모델 검사 장치
|
| 2 |
2
제 1항에 있어서, 상기 제어부는,상기 초기 확률 임계값()이 순차적 확률비 테스트(SPRT)를 베이지언 간격 추정 테스트(BIET)로 변경하기 위해 기설정된 변화 임계값() 보다 작은 경우, 순차적 확률비 테스트(SPRT)를 이용하여 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아질 때까지 상기 순차적 확률비 테스트를 ms번 반복하여 실행하고, 상기 순차적 확률비 테스트를 ms번 반복 실행하여 얻은 수용값의 총합(acceptsum)을 ms로 나누어서 평균 수용값()을 산출하고, 상기 평균 수용값()이 상기 기설정된 수용 임계값() 보다 작은 경우, 상기 순차적 확률비 테스트를 종료시키는 순차적 확률비 산출부; 및상기 평균 수용값이 상기 기설정된 수용 임계값보다 크거나 같은 경우, 상기 초기 확률 임계값()을 증가시키면서 반복하여 실행함으로써, 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아진 경우, 베이지언 간격 추정 테스트(BIET)를 실행하는 베이지언 간격 추정부를 포함하는 하이브리드 기술을 이용한 통계적 모델 검사 장치
|
| 3 |
3
삭제
|
| 4 |
4
삭제
|
| 5 |
5
삭제
|
| 6 |
6
제 2항에 있어서, 상기 베이지언 간격 추정부는, 상기 초기 확률 임계값()을 증가시키면서 반복하여 실행함으로써, 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아진 경우, 베이지언 간격 추정 테스트(BIET)를 실행하여 평균 추정 확률()을 산출하는 하이브리드 기술을 이용한 통계적 모델 검사 장치
|
| 7 |
7
제 6항에 있어서, 상기 베이지언 간격 추정부는, 상기 평균 추정 확률()이 확률 임계값()보다 크거나 같은 경우, 'accept'를 출력하고, 상기 평균 추정 확률()이 확률 임계값()보다 작은 경우, 'reject'를 출력하는 하이브리드 기술을 이용한 통계적 모델 검사 장치
|
| 8 |
8
초기 확률 임계값이 순차적 확률비 테스트(SPRT)를 베이지언 간격 추정 테스트(BIET)로 변경하기 위해 기설정된 변화 임계값보다 작은 경우, 순차적 확률비 테스트(SPRT)를 실행하는 단계;상기 순차적 확률비 테스트(SPRT)를 이용하여 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아질 때까지 상기 순차적 확률비 테스트를 ms번 반복하여 실행하고, 상기 순차적 확률비 테스트를 ms번 반복 실행하여 얻은 수용값의 총합(acceptsum)을 ms로 나누어서 평균 수용값을 산출하는 단계;상기 평균 수용값이 기설정된 수용 임계값 보다 크거나 같은 경우, 상기 초기 확률 임계값을 증가시키면서 상기 순차적 확률비 테스트를 반복하여 실행하는 단계;상기 평균 수용값이 상기 기설정된 수용 임계값 보다 작은 경우, 알고리즘을 종료시키는 단계;상기 초기 확률 임계값을 증가시키면서 반복하여 실행하는 단계를 이용하여 상기 초기 확률 임계값이 상기 변화 임계값보다 크거나 같아진 경우, 베이지언 간격 추정 테스트(BIET)를 실행하는 단계; 상기 베이지언 간격 추정 테스트(BIET)를 이용하여 평균 추정 확률을 산출하는 단계; 및상기 평균 추정 확률을 이용하여 알고리즘의 결과로 ‘accept’ 및 ‘reject’를 출력하는 단계를 포함하는 하이브리드 기술을 이용한 통계적 모델 검사 방법
|
