메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색

논문 기본 정보

자료유형
학위논문
저자정보

서장원 (아주대학교, 아주대학교 대학원)

지도교수
박승규, 최경희
발행연도
2013
저작권
아주대학교 논문은 저작권에 의해 보호받습니다.

이용수0

표지
AI에게 요청하기
추천
검색

이 논문의 연구 히스토리 (2)

초록· 키워드

오류제보하기
본 논문에서는 시뮬링크로 설계된 모델의 데이터 흐름을 분석 하기 위한 방법에 대하여 논한다. 모델의 데이터 흐름을 분석하기 위해 각 변수에 고유한 이름을 부여하는 Static Single Assignment 알고리즘을 적용하고, SSA를 적용하기 위해 시뮬링크 모델에 존재하는 Back Tracking을 제거 하여 제어 흐름의 파악을 용이하게 만드는 State flow 제어 흐름 그래프 전개 알고리즘을 제안한다. 이전에 발표되었던 전개 알고리즘을 개선하여 문제점으로 지적되었던 불필요한 Sub-tree의 복사를 줄여 복잡한 Stateflow를 효과적으로 전개하고, Back Tracking이 제거된 전개 그래프를 바탕으로 각 변수에 고유의 이름을 부여하기 위한 Numbering Static Single Assignment 알고리즘에 대해 소개한다. 이 두 가지 알고리즘을 예제를 통해 알아보고 전개 알고리즘과 NSSA 알고리즘으로 기대되는 향후 방향에 대하여 이야기하려 한다.

목차

제 1 장 서 론 9
제 2 장 관련 연구 11
제 1 절 STATE FLOW 11
제 2 절 정적 단일 배정 형태 15
제 3 장 전개 알고리즘 18
제 1 절 기존 제어 흐름 전개 알고리즘 18
제 2 절 개선된 제어 흐름 그래프 전개 알고리즘 21
제 3 절 예제 29
제 4 장 NSSA 값 구하기 35
제 1 절 자료구조 35
제 2 절 STATE NSSA 36
제 3 절 NSSA 알고리즘 44
제 4 절 예제 47
제 5 장 결 론 56

최근 본 자료

전체보기

댓글(0)

0