지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1989년도 가을 학술발표논문집 제16권 제2호
- 발행연도
- 1989.10
- 수록면
- 153 - 156 (4page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
하나의 새로운 프로토콜을, 만들기 위해서는 프로토콜의 요구사항 정립, 규격의 기술, 검증, 구현, 적합성 시험등의 단계를 거쳐야 한다. 본고에서는 한국 전자통신 연구소에서 구현하고 있는 ISDN 교환기인 TDX-10™간의 패킷 통신을 위한 내부 프로토콜(TIP)의 1차 규격에 대한 검증을 위하여 모델링 도구로 많이 사용하고 있는 페트리 넽(Petri Nets)을 확장하고 여기에 통신 프로토콜의 필수요소인 time 기능을 추가하여 내부 프로토콜을 모델링하고 도달성 트리(reachability tree) 분석에 의한 검증사항을 기술한다.
목차
요약
Ⅰ 서론
Ⅱ 개요
Ⅲ TIP 검증(Validation)
Ⅳ 결론
참고 문헌
표 및 그림
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
확장된 Petri Nets을 이용한 TDX 내부 프로토콜 검증
(구)정보과학회논문지
1991 .02
-
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘 ( An Improved Algorithm for Performance Evaluation of Communication Protocol Using Extended Timed Petri Nets )
한국통신학회논문지
1989 .06
-
통신 프로토콜의 성능분석을 위한 확장된 Timed Petri Net 모델
(구)정보과학회논문지
1988 .03
-
페트리네트를 이용한 프로토콜 시험 방법
한국통신학회 학술대회 및 강연회
1998 .07
-
컴퓨터 네트워크의 통신프로토콜을 위한 통합적 설계방법론
한국정보과학회 학술발표논문집
1990 .04
-
데이터 통신을 위한 프로토콜
한국통신학회 단기강좌
1988 .01
-
정보통신 프로토콜의 시험 기술
한국통신학회 학술대회논문집
1997 .01
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
프로토콜 정확성 검증에 관한 연구
한국통신학회 전기통신학술연구과제
1991 .01
-
FSM으로 표현된 프로토콜의 Petri Net 변환
한국정보과학회 학술발표논문집
1989 .10
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability : Live Single Branch Petri Net
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2013 .09
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
ISDN D 채널 프로토콜 적합성 시험 방안
한국정보과학회 학술발표논문집
1991 .04
-
프로토콜 검증 방법론
한국통신학회 워크샵
1996 .08
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
-
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
인터넷 멀티미디어 시나리오를 모델하기 위한 페트리 넷 소개
한국정보과학회 학술발표논문집
2000 .10
-
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017914031