지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록· 키워드
오류제보하기
유한 상타 기계(finite state machine)의 도달성 분석(eachability analysis)은 통신 프로토콜이나 마이크로 프로세서 설계 등의 다양한 컴퓨터 원용설계응용(computer-aided design applications)에 매우 유용하다, 도달성 분석은 정확한 도달가능상태를 계산하는 정해분석(exact analysis)과 도달 불가능상태의 일부만을 계산하는 근사분석(approximate analysis)으로 나뉘는데, 본 논문은 기존의 방법보다 크게 정확도를 향상시킨 근사 도달분석 기법을 소개하며, 그 기본적인 원리는 근사분석 알고리즘을 반복 적용하되 이전 근사분석 결과를 이후의 근사분석에 활용하는 반복적 근사 도달성 분석 (iterative reachability analysis)을 통해 근사분석의 정확도를 향상시킬 수 있도록 하는 것이다. 반복적 근사 도달성 방식을 이용하여 기존의 근사분석보다 크게 향샹된 근사도달상태를 계산할 수 있음을 실험적으로 증명하였다.
목차
요약
ABSTRACT
Ⅰ.서론
Ⅱ.배경
Ⅲ.돈케어를 이용한 상징적 계산(Symbolic Traversal)
Ⅳ.실험 결과
Ⅴ.결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
정형검증을 위한 대규모 유한 상태 기계의 과도 근사 도달성 분석
대한전자공학회 학술대회
2001 .11
-
CP/ 값을 이용한 불량률의 근사적 계산식
대한산업공학회 춘계공동학술대회 논문집
2001 .04
-
그래프 도달가능성으로 완전히 문맥에 민감한 분석하기
한국정보과학회 학술발표논문집
2013 .06
-
δ-approximate Periods and γ-approximate Periods of Strings over Integer Alphabets
Journal of KIISE
2016 .10
-
최신 근사적 동적계획법의 응용에 관한 고찰
한국지능시스템학회 학술발표 논문집
2013 .10
-
통신망의 신뢰도 근사해석에 관한 연구 ( A Study on the Approximating Reliability Analysis of Communication Networks )
한국통신학회 학술대회논문집
1991 .01
-
통신망의 신뢰도 근사해석에 관한 연구
한국통신학회 학술대회논문집
1991 .11
-
근사 컴퓨팅 탐색 연구
한국정보과학회 학술발표논문집
2015 .06
-
대형 설계 시스템의 효율적 반응표면 근사화를 위한 점진적 이차 근사화 기법 ( Progressive Quadratic Approximation Method for Effective Constructing the Second-Order Response Surface Models in the Large Scaled System Design )
대한기계학회 논문집 A권
2000 .12
-
Parallel Algorithms for Finding δ-approximate Periods and γ-approximate Periods of Strings over Integer Alphabets
Journal of KIISE
2017 .08
-
정수문자열의 δ-근사주기와 γ-근사주기 병렬 계산
한국정보과학회 학술발표논문집
2016 .12
-
문자열의 최소 δ-근사주기와 최소 γ-근사주기 찾기
한국정보과학회 학술발표논문집
2015 .12
-
언폴딩에 기반한 유한페트리넷의 실용적 도달가능성 분석
정보과학회논문지 : 시스템 및 이론
2000 .06
-
근사 최적화 기법에 관한 고찰 ( Survey on the Approximate Optimization Methods in Engineering Optimization )
대한기계학회 춘추학술대회
2001 .01
-
영역 관리 기법을 이용한 순차적 근사 신뢰성 기반 최적설계
대한기계학회 춘추학술대회
2014 .11
-
시간적 오토마타에서 도달성 그래프의 도출기법
정보과학회논문지 : 정보통신
2000 .12
-
근사 선탐색을 이용한 동적 반응 최적화 ( Dynamic Response Optimization Using Approximate Line Search )
대한기계학회 논문집 A권
1998 .04
-
회귀근사함수를 이용한 엔진 설계변수의 최적화
한국항공우주학회지
1997 .12
-
3 할당 문제를 위한 근사 알고리즘
한국정보과학회 학술발표논문집
2014 .06
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-567-014206050