지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.48 No.9
- 발행연도
- 2021.9
- 수록면
- 998 - 1,006 (9page)
- DOI
- 10.5626/JOK.2021.48.9.998
이용수
초록· 키워드
오류제보하기
심층신경망(Deep neural network, DNN)은 음성 인식, 이미지 분류 등의 다양한 분야에서 소프트웨어를 위하여 널리 활용되고 있다. 하지만 DNN에는 적대적 예제와 같은 예상치 못한 오류가 존재할 수 있으며, 이를 방지하기 위하여 DNN의 요구사항을 검증하기 위한 DNN 정형검증 기술이 활발하게 연구되고 있다. 본 논문에서는 DNN의 요구사항 검증의 성능을 향상하기 위하여 DNN의 구조적 성질을 활용하는 방법론을 제안한다. 본 논문에서는 DNN의 구조적 성질을 수학적으로 정의하고, ReLU를 활성함수로 가지는 DNN의 두 가지 구조적 성질을 제안하였으며 이를 이용하여 SMT 기반 DNN 검증의 성능을 향상시킬 수 있음을 보였다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 배경 지식
4. DNN의 구조적 성질을 활용한 검증
5. 실험 결과
6. 결론 및 향후 연구
References
참고문헌 (17)
참고문헌 신청
G. Katz, D. A. Huang, D. Ibeling, K. Julian, C. Lazarus, R. Lim, P. Shah, S. Thakoor, H. Wu, A. Zelijć, D. L. Dill, M. J. Kochenderfer, and C. Barrett, "The Marabou framework for verification and analysis of deep neural networks," 31st International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, Vol. 11561, Springer, 2019.
M. Bojarski, D. D. Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang, X. Zhang, and J. Zhao, "End to end learning for self-driving cars," arXiv preprint arXiv:1604.07316, 2016.
I. J. Goodfellow, J. Shlens, and C. Szegedy, "Explaining and harnessing adversarial examples," 3rd International Conference on Learning Representations, 2015.
L. Pulina and A. Tacchella, "Challenging SMT solvers to verify neural networks," AI Commun., Vol. 25, No. 2, pp. 117-135, 2012.
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. V. Nori, and A. Criminisi, "Measuring neural net robustness with constraints," 30th Conference on Neural Information Processing Systems, 2016.
M. Bojarski, D. D. Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang, X. Zhang, and J. Zhao, "End to end learning for self-driving cars," arXiv preprint arXiv:1604.07316, 2016.
I. J. Goodfellow, J. Shlens, and C. Szegedy, "Explaining and harnessing adversarial examples," 3rd International Conference on Learning Representations, 2015.
L. Pulina and A. Tacchella, "Challenging SMT solvers to verify neural networks," AI Commun., Vol. 25, No. 2, pp. 117-135, 2012.
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. V. Nori, and A. Criminisi, "Measuring neural net robustness with constraints," 30th Conference on Neural Information Processing Systems, 2016.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
자율주행 자동차에서 DNN 기반 안전 필수 응용의 성능 저하 방지
전자공학회논문지
2020 .09
-
자율주행차용 우선순위 기반 다중 DNN 모델 스케줄링 프레임워크
한국정보통신학회논문지
2021 .03
-
글로벌 큐를 통한 임베디드 멀티코어 프로세서의 멀티 DNN 연산 성능 향상
한국정보통신학회논문지
2020 .06
-
DNN 기반 객체 학습 및 인식 시스템
한국정보과학회 학술발표논문집
2016 .12
-
DNN을 이용한 소셜 이미지에서의 감성 인식
한국정보과학회 학술발표논문집
2018 .12
-
DNN에서 효율적인 학습을 위한 활성화 함수에 대한 고찰
대한전자공학회 학술대회
2016 .11
-
DNN 모델을 활용한 사람 수 예측 알고리즘 구현
한국통신학회 학술대회논문집
2019 .06
-
DNN 기반 2 단계 계층적 빔 탐색 기법
한국통신학회 학술대회논문집
2025 .02
-
터커 분해 및 은닉층 병렬처리를 통한 임베디드 시스템의 다중 DNN 가속화 기법
한국정보통신학회논문지
2022 .06
-
오버헤드 최소화를 통한 임베디드 GPU 환경에서 멀티 DNN 추론 성능 향상
전자공학회논문지
2021 .10
-
DNN 알고리즘을 이용한 파이프 비드높이 예측에 관한 연구
대한용접학회 특별강연 및 학술발표대회 개요집
2020 .11
-
환경 파라미터를 이용한 DNN 기반 특징 보상 기법
한국통신학회 학술대회논문집
2015 .01
-
CPU-GPU 협력 스케줄링을 통한 임베디드 시스템 내 다중 DNN 모델들의 성능 향상
전자공학회논문지
2021 .01
-
DNN-GRU-DNN Multiple layer 기반 전기자동차 배터리 SOC 추정 알고리즘
대한전기학회 학술대회 논문집
2022 .05
-
Similarity based Deep Neural Networks
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2021 .09
-
DNN과 m-sequence를 활용한 시간 지연 추정 방법
한국통신학회 학술대회논문집
2019 .01
-
DNN을 이용한 i-벡터 기반 오픈 세트 언어 인식
한국통신학회 학술대회논문집
2016 .01
-
변수 기반의 DNN 바이너리 유사도 분석 비교 방법
한국정보과학회 학술발표논문집
2024 .06
-
동일 특징값에 의한 신호 분류율 저하의 개선을 위한 계층적 DNN 알고리즘
한국통신학회 학술대회논문집
2018 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0