• The Magazine of the IEIE
• /
• v.38 no.5
• /
• pp.41-48
• /
• 2011

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.21 no.1
• /
• pp.40-43
• /
• 2003

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.30 no.2
• /
• pp.29-33
• /
• 2012

• Electronics and Telecommunications Trends
• /
• v.30 no.4
• /
• pp.54-58
• /
• 2015

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

• Electronics and Telecommunications Trends
• /
• v.35 no.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.

• Electronics and Telecommunications Trends
• /
• v.26 no.5
• /
• pp.66-73
• /
• 2011

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

• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.5
• /
• pp.789-795
• /
• 2011

This paper aims to develop authoring tools and services platform that can be Immediate response through supervisor's intuitive understanding based 3d-Building Information mode about overall security situation of building by mapping many CCTV images on 3D space information from traditional observation way that make simply visualize CCTV images on the Situation Board.

• Proceedings of the KIPE Conference
• /
• 2019.07a
• /
• pp.189-191
• /
• 2019

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

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.255-256
• /
• 2020

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

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.12
• /
• pp.1891-1904
• /
• 2013

In RFID System, one of the problem that we must slove is to devise a good anti-collision algorithms to improve the efficiency of tag identification which is usually low because of tag collision. Among of the existing RFID anti-collision algorithm, BS (Binary Search) algorithm, though simple, has a disadvantage that the stage 0f times used to identify the tags increase exponentially as the number of tags does. In this Paper, I propose a new anti-collision algorithm called Multi-collision reflected frame which restricts the number of stages and decided bit. Since the proposal algorithm keep the length size of UID and density of total tag when have 100%.