본문 바로가기 주메뉴 바로가기
국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

초록보기

항공, 의료, 산업 분야 등에서 융합 IT를 기반으로 하는 시스템들이 센서 및 액추에이터 기반의 물리세계와 연동하는 CPS(Cyber Physical System) 형태로 개발되고 있다. 이러한 CPS들은 주어진 임무를 수행하기 위해 협업을 통한 기능의 공유가 이루어질 수 있기 때문에, 상호작용 및 환경적 요인에서 발생할 수 있는 위협 요소를 운용 전에 분석하여 대비하는 것이 필요하다. 본 논문에서는 다중 CPS의 기능에 대한 안전성 분석을 위해 기존 분석 기법의 확장 및 IEC 61508 표준의 분석활동과 연계하여 확장된 안전성 분석 기법을 제안한다. 또한 CPS 시스템들의 기능 안전 추적을 위하여 제안한 기법들 간의 의미적 관계를 식별, 정의하고, 이를 자율주행 사고탐지 시스템(Automatic Incident Detection System)에 적용함으로써, 기법간의 관계 정의에 대한 유용성을 확인하였다.

Many systems based on convergence IT are being developed in the form of CPS(Cyber Physical System), in which sensors and actuators interwork in aviation, medical, and industrial manufacturing. It is necessary to analyze and prepare for possible hazards from interaction and environmental factors before system operation in real environment, because the collaboration and common functions may appear to achieve the given mission. This paper proposes three extensions of existing safety analysis techniques, for multiple CPSs in relation to analysis activities of IEC 61508 standard. We also identify and define semantic relationships between our extended techniques, to provide the traceability of functional safety in CPSs, and show the usefulness of relationships, by applying to AIDS(Automatic Incident Detection System) of autonomous vehicles.

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
웹 페이지 스케치기반 HTML코드 자동생성 = Automatic generation of HTML code based on web page sketch 김바다, 박상민, 원태연, 허준영 p.9-14
사물 인터넷 미들웨어에서 날씨 온톨로지 시스템 = Weather ontology system in IoT middleware 김유진, 전수빈, 정인범 p.97-108

Parallel Stacked Bidirectional LSTM 모델을 이용한 한국어 영화리뷰 감성 분석 = Korean movie-review sentiment analysis using parallel stacked bidirectional LSTM model 오영택, 김민태, 김우주 p.45-49
두개악안면 CBCT 영상에서 밝기값 비용함수 최적화 기반의 치아 분리선 및 평면 탐색을 통한 자동 치아 분리 = Automatic teeth separation through searching teeth separation lines and planes based on intensity cost function optimization in maxillofacial CBCT images 이소영, 이민진, 홍헬렌 p.65-70

증강현실을 위한 GPU 기반 실시간 광원 추정 기법 = GPU-based real-time light source estimation for augmented reality 박소영, 조성훈, 이성길 p.1-8

해안 물놀이객 검출을 위한 외곽선 특징맵과 CNN의 결합 모델 = A combined model of outline feature map and CNN for detection of people at the beach 문귀성, 김윤 p.31-38
관심 영역 기반 이미지 자리 표시자 생성 = Saliency-based SVG image placeholder generation 김수지, 최성희 p.39-44

Self-Attention 지배소 인식 모델을 이용한 어절 단위 한국어 의존 구문분석 = Korean dependency parsing using the self-attention head recognition model 임준호, 김현기 p.22-30
IoT 환경에서의 시공간 조인의 효율적 처리 기법 = An efficient method of processing spatio-temporal joins in IoT (internet of things) environments 이기용, 서민지, 이용, 박민우, 이상환 p.86-96
도로 교통망에 대한 사용자의 선호도 변화를 반영한 경로 추천 = Route recommendation based on dynamic user preference on road networks 정주원, 박석 p.77-85

다중 CPS 개발에서 추적성 제공을 위한 안전성 분석기법 간의 의미적 관계 = Semantic relationship between safety analysis techniques to support traceability in developing multiple CPSs 남승우, 혼다네스, 홍장의 p.50-64

Automatic transformation of Korean fonts using unbalanced U-Net and generative adversarial networks = Unbalanced U-Net과 GAN(Generative Adversarial Networks)을 이용한 한국어 폰트 자동 변환 Pangjia, Seunghyun Ko, Yang Fang, Geun-sik Jo p.15-21
멀티 모달 데이터를 이용한 한국형 주요 우울 장애 진단 및 치료 모델 = Diagnostic and therapeutic model for Korean major depressive disorder using multi-modal data 최용화, 김아람, 전민지, 김선규, 한규만, 원은수, 함병주, 강재우 p.71-76