지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2007.5
- 수록면
- 1,029 - 1,036 (8page)
이용수
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. DEVS 정형기법에서의 시스템 개발 단계
Ⅲ. DEVS bisimulation
Ⅳ. DEVS 정형기법의 계층적 검증 방법
Ⅴ. 계층적 검증 방법의 효율성
Ⅵ. 예제 : PingPong Double-Player Model
Ⅶ. 결론
참고문헌
참고문헌 (9)
참고문헌 신청
1. [단행본] - B. P. Zeigler / 1984 / Multifacetted Modelling and Discrete Event Simulation / Academic Press
2. [보고서] - 김탁곤 / 1998 / 프로세스 명세에 관한 동적 행위 분석기법에 관한 연구
3. [학술지(정기간행물)] - G. P. Hong / 1996 / A Framework for Verifying Discrete Event Models within a DEVS-based System Development Methodology / Trans. Society for Computer Simulation International 13 : 19 ~ 34
4. [학술지(정기간행물)] - M. H. Hwang / 2005 / State Minimization of SP-DEVS / Lecture Notes in Computer Science 3397 : 243 ~ 252
5. [학술지(정기간행물)] - K.J. Hong / 2006 / DEVSpecL-DEVS Specification Language for Modeling, Simulation and Analysis of Discrete Event Systems / Information and Software Technology 48 (4) : 221 ~ 234
2. [보고서] - 김탁곤 / 1998 / 프로세스 명세에 관한 동적 행위 분석기법에 관한 연구
3. [학술지(정기간행물)] - G. P. Hong / 1996 / A Framework for Verifying Discrete Event Models within a DEVS-based System Development Methodology / Trans. Society for Computer Simulation International 13 : 19 ~ 34
4. [학술지(정기간행물)] - M. H. Hwang / 2005 / State Minimization of SP-DEVS / Lecture Notes in Computer Science 3397 : 243 ~ 252
5. [학술지(정기간행물)] - K.J. Hong / 2006 / DEVSpecL-DEVS Specification Language for Modeling, Simulation and Analysis of Discrete Event Systems / Information and Software Technology 48 (4) : 221 ~ 234
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
이산사건 시스템의 실시간 모델링 및 응용
한국지능시스템학회 논문지
1998 .11
-
이산사건 시스템의 Failure Diagnosis
제어로봇시스템학회 합동학술대회 논문집
2000 .03
-
이산사건 시스템을 위한 객체지향 모델링 및 시뮬레이션 환경
대한전자공학회 학술대회
1993 .11
-
이산사건 시스템을 위한 객체지향 모델링 및 시뮬레이션 환경 ( An Object-oriented Modeling and Simulation Environment for Discrete Event Systems )
대한전자공학회 학술대회
1993 .11
-
이산사건 시스템의 Failure Recovery
제어로봇시스템학회 합동학술대회 논문집
2000 .03
-
사건구동형 계층적 시뮬레이션에 관한 연구 ( An Event-Driven Hierarchical Simulation )
대한전자공학회 학술대회
1994 .07
-
사건구동형 계층적 시뮬레이션에 관한 연구
대한전자공학회 학술대회
1994 .07
-
이산사건 동적 시스템의 안정화 관리 제어기의 설계
전기학회논문지
1995 .04
-
이산사건 동적 시스템의 안정화 관리 제어기의 설계
대한전기학회 학술대회 논문집
1993 .11
-
Hierarchical Decentralized Supervisory Control of Discrete Event Systems
제어로봇시스템학회 국제학술대회 논문집
2001 .10
-
이산이벤트시스템의 고장진단
제어로봇시스템학회 논문지
2001 .05
-
이산사건시스템 시뮬레이션 기반 시설운전 모델링
제어로봇시스템학회 각 지부별 자료집
2007 .12
-
이산사건시스템과 구조적 기능설계시스템의 연계방안 연구
한국철도학회 학술발표대회논문집
2012 .10
-
이산사건 시스템의 분산 관리제어 중복성 특성에 관한 연구
대한전자공학회 학술대회
2014 .11
-
이산시스템이론의 동향
전기의세계
1982 .10
-
Discrete Event Systems Modeling and Scheduling of Flexible Manufacturing Systems
대한전자공학회 학술대회
1991 .01
-
지연 특성을 가지는 이산사건 시스템의 관리제어 관한 연구
대한전자공학회 학술대회
2015 .11
-
계층구조 셀룰라 시스템의 계층선정 기법 분석 ( Analysis of The Service Layer Selection Schemes for The Hierarchical Cellular Systems )
대한전자공학회 학술대회
1997 .01
-
계층구조 셀룰라 시스템의 계층선정 기법 분석
한국정보과학회 학술발표논문집
1997 .04
-
계층구조 셀룰라 시스템의 계층선정 기법 분석 ( Analysis of the Service Layer Selection Schemes for the Hierarchical Cellular Systems )
한국통신학회 학술대회논문집
1997 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0