사물인터넷에서 사물들은 센싱을 위한 센서 장치들과 액추에이터들을 포함하고 있으며, 이들은 배치되는 환경의 특성에 따라 배터리 전원을 사용하여 동작한다. 이런 환경에서 배터리 의존적인 사물들을 불필요한 센싱에 소비되는 전력을 줄이는 것이 사물인터넷의 영속성에 필수적이다. 그러나 기존 방식들에서는 수집되는 센싱 데이터에 영향을 받거나 고정적인...
건물의 냉난방 부하 예측은 다음날의 냉난방 공조 장치의 효율적인 운영 계획을 수립하기 위한 필수요소이며, 정확한 냉난방 부하 예측은 건물의 에너지 절감을 이끌어낸다. 본 연구는 기상정보 데이터를 기반으로 유사한 날씨를 보인 날의 실측 냉난방 부하를 K-Nearest Neighbor Algorithm으로 분류하고, 이를 입력 변수에 포함한다. 제안하는 방법의 성능을 검...
본 논문은 3GPP 5G 시스템에서의 데이터 연결성을 위한 효율적인 접속 제어 방안을 제안한다. 3GPP 국제 이동통신 표준화 단체에서 5G 시스템을 개발하여 Rel-15 5G 시스템 phase 1 규격을 제정 완료하였다. 다수의 단말들에 의한 트래픽 폭주와 네트워크 과부하 상황을 피하기 위해서 Rel-10 LTE 이동통신 시스템에서부터 이와 관련된 이동성 관리와 세션 관리를...
자동 프로토콜 역공학이란 비공개 프로토콜의 포맷, 의미, 파라미터를 자동적으로 분석하는 것을 의미한다. 자동 프로토콜 역공학은 네트워크 상에서 유포되는 악성코드를 탐지하기 위해 사용되거나 자체적으로 규약한 프로토콜에 대한 보안성, 적절성 검증을 위해 사용될 수 있다. 기존의 자동 프로토콜 역공학 관련 연구는 텍스트 기반 프로토콜과 유선 프로토...
다양한 응용에서 그래프 스트림에 대한 활용이 증가됨에 따라 실시간으로 변화되는 서브 그래프를 탐색하기 위해서는 연속 서브 그래프 매칭 기법이 필요하다. 본 논문에서는 그래프 스트림에서의 색인 재사용과 분산 처리가 가능한 효율적인 연속 서브 그래프 매칭 기법을 제안한다. 서브 그래프 매칭 질의를 분산 처리하기 위해 차수 기반의 질의 분할 기법을 ...
증강현실 응용의 부상과 함께 Microsoft HoloLens 등의 이동형 증강현실 헤드셋들이 출시되고 있다. GPU는 기존 디스플레이 기반의 모바일 기기들에 대한 선행 연구들에서 주요 전력 소모원 중 하나로 꼽히고 있는데, 특히 증강현실 헤드셋 환경에서는 응용 실행 중 항시 3D 그래픽스 출력이 요구되므로 이로 인한 전력 소모 감축에 대한 필요가 크다고 할 수 있...
인공위성은 지상관측이나 통신, 해양, 방송 등의 임무를 가지며 인공위성 사진을 이용한 선박탐지는 해상 보안 및 교통 통제 등 쓰임새가 다양하다. 인공위성 사진의 특성은 지구 전역을 촬영하기 때문에 저장되는 데이터양이 많고 각 사진은 초고해상도로 크기가 매우 커 컴퓨터를 이용한 자동 선박 탐지가 필요하다. 기존 연구에서는 여러 딥러닝 모델을 이용하...
정형 검증은 소프트웨어의 정확성을 검증할 수 있는 유용한 기법이지만, 운영체제와 같이 규모가 큰 소프트웨어 전체를 대상으로 한번에 적용하는 것에는 상태 폭발같은 문제로 인해 어려움이 따른다. IEC 61508이나 DO-178과 같은 안전 필수 분야의 표준에서는 정형 검증을 통한 소프트웨어의 정확성 확인을 소프트웨어의 안전 수준에 따라 일부 권장하고 있다. ...
딥러닝을 이용한 감성분석에서는 감성이 레이블 된 많은 양의 학습데이터가 필요하다. 그러나 사람이 직접 감성을 레이블 하는 것은 시간과 비용에 제약이 있고 많은 데이터에서 감성분석에 적합한 충분한 양의 데이터를 수집하는 것은 쉽지 않다. 본 논문에서는 이러한 문제점을 해결하기 위해 기존의 감성사전을 활용하여 감성점수를 매긴 후 감성 변환 요소가 ...
최근 들어 안전 필수 시스템의 복잡도가 증가하며 소프트웨어의 비중이 증가하였다. 안전 시스템의 제어 중심이 된 소프트웨어는 시스템을 제어하기 위해 제어 명령(Control action)을 생성하고, 발생한 피드백을 다시 입력 받는 제어의 상호 작용을 반복한다. STPA(System Theoretic Process Analysis)는 위험원 분석 기법 중 하나로써, 제어의 상호 작용 관점에...
소프트웨어는 개발 프로세스에 따라 개발되는 것이 일반적이며 이러한 개발 프로세스는 소프트웨어 공학 교육에서 중심적인 역할을 한다. 객체지향 소프트웨어 개발 교육에서는 객체지향적 특성 확인을 위해 여러 예제들을 통해 교육과 실습이 진행된다. 하지만 프로그램의 규모에 따라 객체의 확인은 적합하지만 구현에 많은 노력이 필요하거나 소프트웨어 디자...
블록체인에 기반한 스마트 컨트랙트는 제3자의 개입 없이도 투명한 거래 및 자동 계약 실행이 가능하며 이더리움이 그 기능을 구현할 수 있는 솔리디티 언어(Solidity) 및 이더리움 가상 머신을 제공하며 빠르게 발전하고 있다. 또한, 스마트 컨트랙트를 활용하여 새로운 블록체인을 개발할 필요 없이 DApp 을 만들 수 있게 되면서 많은 관심을 받고 있다. 하지만...
본 논문에서는 고밀도 비디오 캡션 생성을 위한 새로운 심층 신경망 모델을 제안한다. 고밀도 비디오 캡션 생성은 하나의 입력 비디오로부터 다수의 이벤트 구간들을 찾아내고, 이들 각각에 관한 자연어 설명 문장을 생성하는 작업이다. 기존의 모델들에서는 합성곱 신경망을 통해 입력 비디오의 시각 특징만을 추출하여 사용한 것과는 달리, 본 논문에서 제안하...
안전 필수 시스템의 안전성을 확보하기 위해서는 개념 단계(concept phase)에서부터 잠재적인 해저드(hazard)를 파악하고, 리스크 분석을 통해 해저드를 평가하여, 치명적이라고 판정된 해저드를 제거 또는 완화하기 위한 안전 요구사항(safety requirement)을 도출해야 한다. 도출된 안전 요구사항은 설계와 구현에 반영되어야 하며, 테스트를 통해 정확성이 검...
