지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2023.3
- 수록면
- 861 - 869 (9page)
- DOI
- 10.1016/j.net.2022.11.015
이용수
초록· 키워드
오류제보하기
This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach
목차
등록된 정보가 없습니다.
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Computational complexity of state number calculation problem of some bounded classes of Petri net
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
Performance evaluation of safety-critical systems of nuclear power plant systems
Nuclear Engineering and Technology
2020 .01
-
Petri Net 모델 시뮬레이션을 통한 게임플레이 분석방법
한국게임학회 논문지
2015 .10
-
STPA와 Petri Nets의 연계: 음성인식 기반 제조 안전시스템 사례 연구
한국통신학회 학술대회논문집
2024 .06
-
Model-Based Design and Control of Distributed DNA-Based Systems by Petri Nets
NANO
2016 .01
-
Design of Safety Critical and Control Systems of Nuclear Power Plants using Petri Nets
Nuclear Engineering and Technology
2019 .01
-
Petri Net Modeling for Performance Analysis of FF-Based Process Control in Terms of Safety and Availability Enhancement
제어로봇시스템학회 국제학술대회 논문집
2017 .10
-
정량적 사용성 평가를 지원하기 위한 정형적 모델링 방법론
대한전자공학회 학술대회
2016 .06
-
확장된 페트리네트를 이용한 차량형 군사로봇의 운용자 성능 및 통신장애 영향분석
한국CDE학회 논문집
2017 .06
-
페트리넷을 이용한 시맨틱 네크워크기반 라이프로그로부터 패턴추출
한국정보과학회 학술발표논문집
2019 .06
-
3D-U2-Net 기반 새로운 뇌종양 분할 모델
멀티미디어학회논문지
2023 .03
-
A Place-Invariant Based Method for Supervisory Control of Workflow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
Neural Ordinary Differential Equation (Neural ODE) 기술 동향
한국통신학회 학술대회논문집
2020 .11
-
페트리네트를 이용한 철도신호 연동논리 모델링에 관한 연구
전기학회논문지
2023 .11
-
U-Net 소개
설비저널
2025 .04
-
전장정보체계 SW 개발을 위한 시큐어 코딩 라이브러리에 관한 연구
전기전자학회논문지
2018 .06
-
Markerless Behavior Monitoring System for Diagnosis Support of Developmental Disorder Symptoms in Children
제어로봇시스템학회 국제학술대회 논문집
2021 .10
-
컬러드 페트리 넷과 사회 관계망 마이닝을 이용한 공급사슬 프로세스 분석의 방법론
한국 SCM 학회지
2016 .05
-
의료 영상 시스템에서 다중 연쇄 U-Net 모델을 이용한 개선된 췌장 영역 분할 탐지
한국정보기술학회논문지
2022 .05
-
도로환경에서 차량 검출을 위한 U-Net 기반 모델 성능 비교
한국통신학회 학술대회논문집
2022 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0