메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술대회자료
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1992년도 봄 학술발표논문집 제19권 제1호
발행연도
1992.4
수록면
445 - 448 (4page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문에는 우리 생활속에서 가장 접하기 쉬운 병행, 실시간, 임베디드 및 비동기적 시스템인 승강기 사례로 하여, 패트리넽이 이런 형태의 시스템 개발 및 신뢰성 분석에 실제로 이용될 수 있음을 보인다. 승강기 시스템의 특성을 모형화하기 위해, 표준 패트리넽에 시간 트랜지션, 고장 트랜지션, 거시적 place 및 조건 place 개념을 추가하여 사용하였고, 신뢰성 분석 결과를 함께 보였다. 본 연구의 결과는 패트리넽을 이용한 일반적인 병행 시스템의 개발에도 적용할 수 있을 것이다.

목차

요약

1. 서론

2. 승강기 시스템의 특성

3. 패트리넽 모형화 방법

4. 신뢰성 분석

5. 결론

참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017917507