지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2008.6
- 수록면
- 1,880 - 1,885 (6page)
이용수
초록· 키워드
오류제보하기
The computer system is used in many application domains and any system error in these domains may either cause critical loss or threaten environment or human life. Though examples of these domains can be found in many areas, the system, which is used in domains for carrying passengers including rolling stocks in particular, is expected to show satisfactory operation all the time.
The relay control logic, which is used in rolling stocks, is complex in hardware and occupies considerably large volume. Nevertheless, it has been used for a long time, to let the system safely operate even in the occurrence of an error in the computer system. However, the relay control logic circuit is so complex that the analysis of proper circuit operation and interlocking tends to be dependent only on the designer’s experiences instead of being systematically performed. Especially, the analysis following a change, addition and deletion of a previous circuit according to the requirements from a source of demand is significantly limited.
In this paper, the accuracy of relay control logic is verified by the use of properties of Petri Net model. In addition, how main circuit breaker (MCB) control circuit is modeled and analyzed by the design methodology is shown.
The relay control logic, which is used in rolling stocks, is complex in hardware and occupies considerably large volume. Nevertheless, it has been used for a long time, to let the system safely operate even in the occurrence of an error in the computer system. However, the relay control logic circuit is so complex that the analysis of proper circuit operation and interlocking tends to be dependent only on the designer’s experiences instead of being systematically performed. Especially, the analysis following a change, addition and deletion of a previous circuit according to the requirements from a source of demand is significantly limited.
In this paper, the accuracy of relay control logic is verified by the use of properties of Petri Net model. In addition, how main circuit breaker (MCB) control circuit is modeled and analyzed by the design methodology is shown.
목차
ABSTRACT
1. 서론
2. 본문
3. MCB 투입/차단 제어회로의 모델링
4. 결론 및 향후계획
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
철도차량 Main circuit breaker Control Logic 에 대한 고찰
한국철도학회 학술발표대회논문집
2014 .05
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
Petri Nets over Multiple-Valued Logic Systems Analysis and Applications
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .01
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
A Novel Petri Net for Ternary Logic System
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
Petri Nets for Ternary Logic System
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1995 .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
-
Applications of Petri nets to Non-Monotonic Logic
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1990 .01
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
-
Distributed Control of Industrial Robot Systems using Petri Net Based Multitask Processing
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링 ( Modeling of interworking system for different management networks using Petri Net )
한국통신학회 학술대회논문집
1998 .01
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링
한국통신학회 학술대회논문집
1998 .07
-
시간논리 구조와 Petri Net의 합성방법을 사용한 이산사건 시스템의 모델링
대한전기학회 학술대회 논문집
1999 .07
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-326-014808288