지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제28권 제9호
- 발행연도
- 2001.9
- 수록면
- 662 - 668 (7page)
이용수
초록· 키워드
오류제보하기
항진을 반증하는 문제는 항진을 검증하는 문제와 같은 난이도를 갖기 때문에 반증(또는 부당성 검증)을 위한 다항식 시간 알고리즘은 가능하지 않다. 이제까지의 그러한 알고리즘들은 분할 및 정복이나 그래프 표현에 기반 한 것이 대부분이다. 대부분의 알고리즘들은 어떤 제약조건 하에서 다양한 입력에 대한 만족할 만한 결과를 보여 주었다. 그러나, 규모가 큰 입력에 대하여 이들 알고리즘들은 어려움을 경험하고 있다. 이 논문에서는 DNF(선언표준형)로 표현된 입력식을 만족하지 못하는 최소항을 구성함으로써 반례를 산출하는 병합 규칙 기반의 새로운 반증 알고리즘을 제안한다. 또한, 제안된 알고리즘의 일관성과 건전성을 증명한다. 제안된 알고리즘은 반증 과정의 각 단계에서 이루어진 할당을 통하여 반증된 항의수를 최대화하도록 greedy 방법을 기반으로 하고 있다. 실험 결과는 큰 입력의 무작위 비항진 문제 사례들을 반증하는 실용적 성능을 보여 주며 O ( nm² ) 시간을 소비한다. 여기서 n은 변수의 개수이고 m은 항의 개수이다.
목차
요약
Abstract
1. Introduction
2. Falsification Algorithm
3. Experimental Results
4. Conclusion
References
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
DNF를 이용한 SAT의 효율적 적용
한국정보과학회 학술발표논문집
2003 .04
-
Performance Improvement in complex environment Based on Ensemble Learning Algorithm By Combining 2D DNF Weak Classifier
제어로봇시스템학회 국제학술대회 논문집
2014 .10
-
Performance Improvement of Classifier by Combining Disjunctive Normal Form features
International journal of internet, broadcasting and communication : IJIBC
2018 .01
-
힐을 신는 여성에 대한 무지외반증 연구
한국산학기술학회 학술대회논문집
2014 .05
-
PID gain tuning based on falsification using bandpass filters
제어로봇시스템학회 국제학술대회 논문집
2006 .10
-
계층적 클러스터링 기법을 이용한 확장 불리언 모델의 적합성 피드백 방법
정보과학회논문지 : 소프트웨어 및 응용
2004 .10
-
퍼지 결정 시스템에서의 항진명제의 문제를 고려한 규칙보정기법
한국정보과학회 학술발표논문집
1993 .10
-
설비 최소 지배집합의 빈도수 기반 알고리즘
한국정보기술학회논문지
2014 .03
-
입력궤환구조를 갖는 예측제어기법
제어로봇시스템학회 국내학술대회 논문집
1994 .10
-
입력궤환구조를 갖는 예측제어기법 ( A Predictive Control Algorithm of Input Feedback Structure )
대한전자공학회 학술대회
1994 .01
-
DNF 정책을 가지는 속성 기반 서명
전자공학회논문지-CI
2009 .01
-
무지외반증 환자의 증상정도의 자동분류 알고리즘 개발
한국정보전자통신기술학회 논문지
2011 .06
-
CAD를 이용한 PLA의 고밀도 설계법
한국정보과학회 학술발표논문집
1982 .04
-
최대 클릭 문제의 분할정복 알고리즘
한국정보기술학회논문지
2015 .06
-
상관관계 분석을 통해 선택된 입력변수를 이용한 단일 입력 기반 퍼지 모델 설계
한국지능시스템학회 논문지
2019 .12
-
OCA – Graphical System for Algorithm Structure Analysis and Processing
SmartCR
2012 .04
-
An Ordering Algorithm to Obtain a Minimal Fill-in of Sparse Matrix
(구)정보과학회논문지
1979 .11
-
유전자 알고리즘을 이용한 고차원 입력공간을 갖는 퍼지 시스템의 설계
정보과학회논문지(B)
1997 .04
-
소형 정보통신 단말기를 위한 한글 입력 방법
멀티미디어학회논문지
2005 .02
-
A New Input Estimation Algorithm for Target Tracking Problem
제어로봇시스템학회 국내학술대회 논문집
1998 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017823942