• 전자공학회지
• /
• 제38권5호
• /
• pp.41-48
• /
• 2011

• 정보과학회지
• /
• 제21권1호
• /
• pp.40-43
• /
• 2003

• 정보과학회지
• /
• 제30권2호
• /
• pp.29-33
• /
• 2012

• 전자통신동향분석
• /
• 제30권4호
• /
• pp.54-58
• /
• 2015

수리 논리 기반의 프로그램 증명방법은 매우 유용한 프로그램 분석방법이지만, 수리 논리식에 대한 증명을 사람이 직접 수행하는 것은 매우 힘들고 고된 작업이다. 본고에서는 이러한 수리 논리 기반의 프로그램 증명을 자동화하기 위하여 개발된 중간 증명 언어(Intermediate Verification Language)에 대하여 살펴보고자 한다.

• 전자통신동향분석
• /
• 제35권5호
• /
• pp.134-138
• /
• 2020

Blockchain is an enabling technology for managing data with high trust and transparency among connected computers. Blockchain emerged with the advent of the Bitcoin cryptocurrency, and then, evolved as general-purpose platforms such as Ethereum, EOS, R3 Corda, and IBM Hyperledger Fabric. The application of blockchain covers a broad range of areas such as fintech, decentralized identity, distribution, real estate trading, games, and drone air traffic management. Smart contracts are indispensable for constructing blockchain services. This survey classifies smart contract languages by their features and shows their differences from existing general-purpose programming languages.

• 전자통신동향분석
• /
• 제26권5호
• /
• pp.66-73
• /
• 2011

애플의 iPhone, 안드로이드를 채택한 스마트폰 등으로 휴대전화의 스마트화가 진행되고 있으며 이의 중심에는 SW 플랫폼이 자리잡고 있다. 이 SW 플랫폼은 디바이스를 컨트롤하면서 응용 프로그램의 개발 및 실행을 지원하는 기반 SW이다. 본 고에서는 이러한 SW 플랫폼의 개념 및 종류를 설명하고, 최근 등장한 웹기반 SW 플랫폼의 기술동향 및 기업동향을 살펴보며, 이에 따른 향후 전망 및 국내 기업이 참고로 하여야 할 시사점에 대해 논한다.

• 한국전자통신학회논문지
• /
• 제6권5호
• /
• pp.789-795
• /
• 2011

본 논문에서는 기존의 CCTV 영상을 단순히 상황판에 가시화하여 관찰하는 방법에서 진일보하여 많은 CCTV 영상을 3차원 공간 정보 상에 Mapping하여 운영자로 하여금 건물의 전반적인 보안 상황을 3차원 건물정보모델(BIM, Building Information Model)을 기반으로 직관적으로 이해하게 하고 이를 통하여 즉각적인 대응을 할 수 있는 저작도구와 서비스 풀랫폼 개발을 목표로 한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2019년도 전력전자학술대회
• /
• pp.189-191
• /
• 2019

본 논문에서는 작은 필터인덕턴스를 갖는 새로운 소프트스위칭 3레벨 Flying Capacitor 컨버터를 제안한다. 제안한 컨버터는 보조 인덕터 La와 보조 커패시터 Ca로 인해 모든 스위치의 ZVS 턴 온을 성취하여 높은 효율을 달성할 수 있고, Flying capacitor로 인해 필터 인덕터에 걸리는 전압이 감소하며 스위치간의 위상차로 인해 동작주파수가 2배가 되어 필터 인덕턴스를 줄일 수 있다. 또한 3레벨 구조로써 800V~1000V의 고전압 응용에서 600V의 Si-MOSFET을 사용할 수 있어 도통손실을 줄일 수 있다. 제안하는 컨버터의 동작원리, 비교분석, 인터리빙 효과를 제시하고 시작품을 통해 본 논문의 타당성 및 성능을 검증하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2020년도 전력전자학술대회
• /
• pp.255-256
• /
• 2020

본 논문은 0V에서 100V까지 매우 높은 승·강압비를 갖는 양방향 DC-DC 컨버터를 제안한다. 제안하는 시스템은 2-Stage 구조로 SRC(Series Resonant Converter)와 DBC(Differential Buck Converter)로 구성된다. 제안하는 컨버터의 출력 전압은 두 개의 각 벅 컨버터 출력 전압의 전위차로 결정되기 때문에 0V에서도 높은 전압으로 승압이 가능하다. 본 논문에서는 제안하는 컨버터의 타당성을 검증하기 위하여 15kW급 시작품을 제작하였고 96.27%의 최고효율을 달성하였다.

• 한국전자통신학회논문지
• /
• 제8권12호
• /
• pp.1891-1904
• /
• 2013

RFID 시스템에서 해결하여야 할 가장 큰 문제 중 하나는 태그간의 충돌로 인해 인식 효율이 떨어진다는 것이다. 기존의 충돌 방식 중 BS 충돌 방지 알고리즘 방식은 구현이 간단하다는 장점이 있으나, 태그 수가 많아짐에 따라서 태그간 충돌에 의해 전체 태그를 읽는데 요구되는 단계별 스케줄 횟수가 증가하는 단점을 가지고 있다. 본 논문에서는 이 문제를 해결하기 위해서 충돌 예상을 최소화하기 위해 사전에 '0'과 '1'의 결정 비트를 통한 복수 응답 프레임 방식을 제안하였다.