"Bounded Model Checking"의 검색결과 입니다.

기간
- 전체
- 3개월
- 6개월
- 1년
- 2년
- 3년
- 5년
직접입력

적용
연관순
- 연관순
- 최신순
영역
- 전체
- 제목
- 본문
- 태그
페이지 수
- 전체페이지
- 1 페이지 ~ 5 페이지
- 6 페이지 ~ 10 페이지
- 직접입력 페이지 ~ 페이지 적용
확장자
- 전체
- 한글
- PDF
- MS워드
- MS엑셀
- MS파워포인트
- 압축파일
- 기타
할인자료 보기

연관검색어

기초판내민길이

판매자 표지는 다운로드시 포함되지 않습니다.

"Bounded Model Checking" 검색결과 1-5 / 5건

BIR 모델의 바운디드 모델 검증 (Bounded Model Checking BIR Model)

한국정보과학회 조민택, 이태훈, 권기현

논문 | 9페이지 | 무료 | 등록일 2025.03.01 | 수정일 2025.03.06

다운로드
병행성 분석을 위한 액션 기반의 LTS 바운드 모델 체커 (An Action-based LTS Bounded Model Checker for Analyzing Concurrency)

한국정보과학회 박사천, 권기현

논문 | 9페이지 | 무료 | 등록일 2025.03.01 | 수정일 2025.03.06

다운로드
MAT기초 설계

.⑤ 해석을 한다.⑥ 저장 후 SDS로 파일을 넘긴다.File - Data Conversion - Gen -> SDS (Model + Reaction Data)=> 최하층 ... by Value - Upwards of Bound =>입력하는 값 이상만 표시됨② 2면 전단(Punching Shear) 검토 => N.G 시 기초판 두께를 키워준다.- Design ... - Shear Check Result - All Combination- Force 선택 (불균형 모멘트 볼때는 Stress 선택)=> 결과 값이 1.0 이하 되면 O.K (여유

Non-Ai HUMAN
| 리포트 | 6페이지 | 5,000원 | 등록일 2014.12.03

다운로드 장바구니
공룡책 7장 프로세스 동기화 발표자료

을 True로 Set  영원히 상대방 Check 두 프로세스의 속도에 매우 민감하게 의존2. 임계 구역 문제 : Two Process Solution- * -2. 임계 구역 문제 ... 임세마포어의 Simple Model Atomic operation wait and signal Critical Section 문제에서의 사용법- * -4. 세마포어구 현 Busy ... Synchronization)한정된 버퍼 문제 (The Bounded-Buffer Problem) 유한 공유 메모리 환경에서 상호 협조하는 생산자 ↔ 소비자 프로세스간에 동기화 문

Non-Ai HUMAN
| 리포트 | 47페이지 | 3,000원 | 등록일 2008.04.27

다운로드 장바구니
부호이론의 개요[중요성,

의 정정을 위한 다양한 부호 방식으로 부호이득, Group 및 Field이론, Generator 및 Parity-Checked Matrices, 등가부호, Systematic부호 ... , Syndrome 및 Standard Array 복호, 부호의 최소거리, 에러검출 및 정정능력, MDS부호, 헤밍 부호, 부호의 Size에 대한 Bounds, Mc Willians ... -Error정정, Convolution부호 및 Viterbi복호, BCH & RS 부호 및 복호이론 등을 다룬다.신호 체계의 모델(Model of the Signaling System

Non-Ai HUMAN
| 리포트 | 3페이지 | 1,000원 | 등록일 2003.11.11

다운로드 장바구니

파워링크

신청하기