하이브리드 기술을 이용한 통계적 모델 검사 장치 및 방법Device and Method For Statistical Model Checking Using Hybirid Technique
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김문주 | ko |
| dc.contributor.author | 김영주 | ko |
| dc.date.accessioned | 2017-12-20T10:53:05Z | - |
| dc.date.available | 2017-12-20T10:53:05Z | - |
| dc.date.issued | 2015-05-06 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/232982 | - |
| dc.description.abstract | 하이브리드 기술을 이용한 통계적 모델 검사 장치 및 방법이 개시된다. 제어부는 초기 확률 임계값()이 변화 임계값() 보다 작은 경우, 순차적 확률비 테스트(SPRT)를 이용하여 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아질 때까지 상기 순차적 확률비 테스트를 반복하여 실행하고, 상기 평균 수용값()이 수용 임계값() 보다 작은 경우, 상기 순차적 확률비 테스트를 종료시키고, 상기 초기 확률 임계값()을 증가시키면서 반복하여 실행함으로써, 상기 초기 확률 임계값()이 상기 변화 임계값()보다 크거나 같아진 경우, 베이지언 간격 추정 테스트(BIET)를 실행한다. 저장부는 상기 순차적 확률비 테스트(SPRT) 및 베이지언 간격 추정 테스트(BIET)의 프로그램을 저장한다. | - |
| dc.title | 하이브리드 기술을 이용한 통계적 모델 검사 장치 및 방법 | - |
| dc.title.alternative | Device and Method For Statistical Model Checking Using Hybirid Technique | - |
| dc.type | Patent | - |
| dc.type.rims | PAT | - |
| dc.contributor.localauthor | 김문주 | - |
| dc.contributor.nonIdAuthor | 김영주 | - |
| dc.contributor.assignee | 한국과학기술원 | - |
| dc.identifier.iprsType | 특허 | - |
| dc.identifier.patentApplicationNumber | 10-2013-0144946 | - |
| dc.identifier.patentRegistrationNumber | 10-1519447-0000 | - |
| dc.date.application | 2013-11-26 | - |
| dc.date.registration | 2015-05-06 | - |
| dc.publisher.country | KO | - |
- Appears in Collection
- CS-Patent(특허)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.