지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
ABSTRACT
Ⅰ.서론
Ⅱ.배경
Ⅲ.돈케어를 이용한 상징적 계산(Symbolic Traversal)
Ⅳ.실험 결과
Ⅴ.결론
참고문헌
논문 유사도에 따라 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