기능목록>검색 : 국방대학교 도서관

페트리 네트를 이용한 Ada 제어 客體構造設計

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	(군대학) 학위논문
분류기호 :	393.8
서명/저자사항 :	페트리 네트를 이용한 Ada 제어 客體構造設計/ 지용득.
발행사항 :	서울: 국방대학원, 1998.
형태사항 :	67 p.
학위논문주기 :	학위논문(석사) -- 국방대학교 대학원, 1998
개인저자 :	지용득
언어	한국어

원문
원문보기 :	페트리 네트를 이용한 Ada 제어 客體構造設計 페트리 네트를 이용한 Ada 제어 客體構造設計 페트리 네트를 이용한 Ada 제어 客體構造設計

소장정보

국방대학교 도서관

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

KDMT49826758 권 호 : 79
발행년 : 199802
저 자 : 지용득
서 명 : 페트리네트를 이용한 Ada 제어 客體構造設計

표제지 = 0,1,3
감사의 글 = 0,4,1
요약 = i,5,2
목차 = iii,7,3
표목차 = vi,10,1
그림목차 = vii,11,2
제1장 서론 = 1,13,2
제2장 Ada의 병행성과 스케쥴링 가능성 고찰 = 3,15,1
2.1 Ada언어의 병행성에 관한 고찰 = 3,15,1
2.1.1 타스크의 구조 및 타스크 유형(type) = 3,15,1
2.1.1.1 타스크의 구조 = 3,15,2
2.1.1.2 타스크 유형(Task type) = 5,17,1
2.1.2 타스크의 랑데뷰(rendezvous) = 6,18,1
2.1.2.1 통신(Communication) 및 동기화(synchronization) = 6,18,1
2.1.2.2 랑데뷰의 특성 및 메커니즘 = 7,19,2
2.1.2.3 비대칭성(Asymmetric)과 비결정성(non-determinism) = 9,21,1
2.1.2.4 상호 배제와 프로텍티드 단위 = 10,22,1
2.1.3 타스크의 호출 및 피호출관계 = 11,23,1
2.1.3.1 호출 타스크와 피호출 타스크의 설계 결정 사항 = 11,23,1
2.1.3.2 호출 타스크의 엔트리 호출 종류 = 12,24,3
2.1.3.3 피호출 타스크의 접수(accept) 종류 = 15,27,4
2.2 타스크 스케쥴링 알고리즘에 관한 고찰 = 19,31,1
2.2.1 Rate Monotonic 스케쥴링 = 19,31,1
2.2.2 Harmonic Block 알고리즘 = 20,32,5
제3장 페트리 네트 연관성 및 APM 고찰 = 25,37,1
3.1 페트리 네트 이론에 관한 고찰 = 25,37,1
3.1.1 페트리 네트 이론 = 25,37,3
3.1.2 페트리 네트 모델의 시간성 분석 = 28,40,2
3.2 제어 객체 구조와 페트리 네트의 연관성 = 30,42,1
3.2.1 페트리 네트와의 연관성 = 30,42,1
3.2.2 제어 객체 구조로의 사상 = 31,43,1
3.2.2.1 고정 순서(Fixed order)구조로 사상 = 31,43,1
3.2.2.2 선택 대기(Selective wait, Time order)구조로 사상 = 32,44,1
3.2.2.3 조건적 선택 대기(Conditional selective wait)구조로 사상 = 33,45,1
3.2.2.4 시간 제한(Timeout) 구조로 사상 = 34,46,1
3.2.2.5 순환(Cyclic) 구조로 사상 = 35,47,1
3.2.2.6 프로텍티드 단위로 사상 = 36,48,2
3.3 APM(Ada Process Model) 고찰 = 38,50,1
3.3.1 APM의 개요 = 38,50,2
3.3.2 분석 단계 = 40,52,2
3.3.3 설계 단계 = 42,54,1
3.3.4 구현 단계 = 43,55,2
제4장 제어 객체 구조의 분석 및 설계 = 45,57,1
4.1 개요 = 45,57,2
4.2 제어 객체 구조 분석 및 설계 절차 = 47,59,1
4.2.1 시스템 페트리 네트 모델 생성 단계 = 47,59,1
4.2.1.1 식별 활동 = 47,59,1
4.2.1.2 시스템 페트리 네트 그래프 작성 활동 = 48,60,1
4.2.1.3 시스템 페트리 네트 그래프 분석 = 49,61,2
4.2.2 제어 객체 페트리 네트 모델 생성 = 51,63,1
4.2.2.1 식별 활동 = 51,63,1
4.2.2.2 제어 객체 페트리 네트 그래프 작성 활동 = 52,64,2
4.2.2.3 확장/압축 활동 = 54,66,1
4.2.3 페트리 네트 모델 활용 단계 = 55,67,1
4.2.3.1 제어 객체에 대한 실행예상시간 분석 = 56,68,1
4.2.3.2 스케쥴링 가능성 분석 = 57,69,1
4.2.4 Ada 제어 구조 사상 단계 = 58,70,4
제5장 결론 = 62,74,2
참고문헌 = 64,76,4

표목차
(표2-1) operator의 시간 제약(예) = 23,35,24
(표4-1) APM에서 식별활동에서의 고려사항 = 47,59,1
(표4-2) 시스템 특성에 대한 시스템 페트리네트로의 사상(mapping) = 48,60,4
(표4-3) 제어 객체 페트리 네트 그래프 작성에 필요한 구성요소 = 52,64,1

그림목차
(그림2-1) 타스크의 구조 = 4,16,1
(그림2-2) 타스크의 명세 선언 = 4,16,1
(그림2-3) 타스크 구현부분의 구성 = 5,17,1
(그림2-4) 타스크 유형의 종류 = 6,18,2
(그림2-5) 랑데뷰 타이밍 다이어그램 = 8,20,3
(그림2-6) 프로텍티드 유형의 선언 및 구현부분 = 11,23,2
(그림2-7) 비조건적 엔트리 호출 = 13,25,1
(그림2-8) 조건적 엔트리 호출 = 14,26,1
(그림2-9) 시간제한적 엔트리 호출 = 15,27,1
(그림2-10) 고정 순서 = 15,27,1
(그림2-11) 선택 대기 = 16,28,1
(그림2-12) 조건적 선택 대기 = 17,29,1
(그림2-13) 시간 제한 = 18,30,6
(그림2-14) 최종적인 정적 스케쥴과 harmonic block = 24,36,2
(그림3-1) 페트리 네트 구조와 그래프(예) = 26,38,1
(그림3-2) Marked Petri Net(예) = 27,39,1
(그림3-3) 페트리 네트의 마킹에 대한 실행 규칙 = 28,40,1
(그림3-4) (그림3-2)의 페트리 네트의 firing과정 = 28,40,2
(그림3-5) 식별된 제어 구조에 따른 페트리 네트 그래프 사상 = 30,42,2
(그림3-6) 고정 순서 구조의 페트리 네트 그래프와 프로그램 구조 = 32,44,1
(그림3-7) 선택 대기 구조의 페트리 네트 그래프와 프로그램 구조 = 33,45,1
(그림3-8) 조건적 선택 대기 구조의 페트리 네트 그래프와 프로그램 구조 = 33,45,1
(그림3-9) 시간 제한 구조의 페트리 네트 그래프와 프로그램 구조 = 34,46,1
(그림3-10) 순환 구조의 페트리 네트 그래프와 프로그램 구조 = 35,47,1
(그림3-11) 프로텍티드 구조의 페트리 네트 그래프와 프로그램 구조 = 36,48,2
(그림3-12) APM의 참고 문헌 = 38,50,1
(그림3-13) APM의 프로세스와 모델 = 39,51,2
(그림3-14) 분석 단계의 주요활동과 산출물 = 41,53,1
(그림3-15) 설계 단계의 주요활동과 산출물 = 42,54,3
(그림4-1) 제어 객체 구조 분석 및 설계 절차 = 45,57,4
(그림4-2) 시스템 페트리 네트 그래프(예) - ATCS = 49,61,1
(그림4-3) ATCS의 주통제 프로그램 구조(예) = 50,62,3
(그림4-4) 제어객체 페트리네트 그래프 작성(예) - Display_Handler = 53,65,2
(그림4-5) 페트리 네트 그래프의 압축과 확장(예) = 55,67,5
(그림4-6) Display_Handler의 Ada 프로그램 구조(예) = 60,72,1

펼쳐보기