http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction
( Hyeonseung Im ),( Dohyung Kim ) 한국인터넷정보학회 2020 KSII Transactions on Internet and Information Syst Vol.14 No.7
With a huge demand for replicated content on the Internet, a new networking paradigm called information-centric networking (ICN) has been introduced for efficient content dissemination. In ICN, named content is distributed over the network cache and it is accessed by name instead of a location identifier. These aspects allow users to retrieve content from any of the nodes having replicas, and consequently 1) network resources are more efficiently utilized by avoiding redundant transmission and 2) more scalable services are provided by distributing server loads. However, in-network caching in ICN brings about a new type of security issues, called content poisoning attacks, where fabricated content is located in the network cache and interferes with the normal behavior of the system. In this paper, we look into the problems of content poisoning in ICN and discuss security architectures against them. In particular, we reconsider the state-of-the-art schemes from the perspective of feasibility, and propose a practical security architecture.
한현승 ( Hyeonseung Han ),김경하 ( Kyungha Kim ),정승우 ( Seungwoo Jung ),장윤석 ( Yunseok Chang ) 한국정보처리학회 2022 한국정보처리학회 학술대회논문집 Vol.29 No.2
병렬처리시스템이 설계와 구축에서 가장 중요한 관점 중의 하나는 비용 대비 성능이다. 본 연구에서는 라즈베리파이 4를 클러스터 방식으로 연결하여 병렬처리 시스템을 구축하였을 때, 클러스터의 병렬처리 성능이 다른 병렬처리 시스템과 유사한 확장성과 병렬처리 성능을 보여주는지를 HPL 벤치 마크를 통하여 검증하였다. 실험 결과 라즈베리파이 기반의 병렬처리 시스템이 클러스터의 크기에 따른 병렬 확장성이 있고, 다른 병렬처리 시스템들과 유사한 처리 성능을 가질 수 있음을 확인하였으며, 이를 통하여 라즈베리파이와 같은 저가의 처리장치로도 충분한 크기의 클러스터를 구성할 경우 높은 성능을 기대할 수 있음을 알 수 있다.
임현승(Hyeonseung Im),임정표(Jeongpyo Lim),박성우(Sungwoo Park) 한국정보과학회 2012 정보과학회 컴퓨팅의 실제 논문지 Vol.18 No.12
ML 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀 모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀 모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀 모듈은 지난 10년 동안 프로그래밍언어 분야에서 깊이 있게 연구되어 왔으며, 그 결과 OCaml과 같은 언어에서 성공적으로 지원되고 있다. 그러나 기존연구는 복시 문제와 순환 타입 문제를 완벽하게 해결하지 못하여 한정된 재귀 모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시 문제와 순환 타입 문제를 해결하고 다양한 재귀 모듈 프로그래밍 패턴을 지원하는 타입 시스템을 제안한다. 제안된 타입 시스템은 프로그램 문법 기반으로 설계되어 실제 재귀 모듈 시스템을 구현하는데 손쉽게 이용될 수 있을 것으로 기대된다. Although the ML module system provides powerful support for modular programming and data abstraction, traditionally it does not support recursive modules. Due to the lack of recursive modules, ML programmers often have to consolidate conceptually separate mutually recursive definitions into a single module, thus compromising modular programming. In response, several authors have recently proposed recursive module extensions to ML, one of which is successfully implemented in OCaml. Type systems in previous proposals, however, fail to typecheck common patterns of recursive modules that are essential to the expressivity of the module system due to two technical challenges, namely the double vision problem and cyclic type definitions. In this paper, we propose a type system for recursive modules that solves the two technical challenges and typechecks common patterns of recursive modules. Our approach is purely syntactic and the definition of the type system is ready for use in an actual implementation.
임현승(Hyeonseung Im),이수민(Sumin Lee),안유민(Yoomin Ahn),하승모(Seung-mo Ha),정성환(Sunghwan Jung),이성호(Sungho Lee) 대한기계학회 2010 대한기계학회 춘추학술대회 Vol.2010 No.11
Fluidic self-assembly is attractive solution to overcome packaging and integration challenges. This paper shows a new method of fluidic self-assembly with bubble of drag force. We fabricated the Si wafer with Cu micro pattern of 650㎛ x 650㎛ using photo lithography. Solder balls are attached on the Cu micro pattern. In this experiments, we used the solder ball size of 400㎛, 500㎛ and 600㎛ to measure the effects of self-alignment and capillary force. Solder ball was made by Sn96.5/Ag3/Cu0.5. Experiment was carried out in the liquid GALDEN D40 at 230℃which is higher solder ball melting point. Capillary forces from molten solder ball can be used to bond micro-scale block (950㎛ x 950㎛) in a self-assembly process. Bubble made by tube size is 1mm and velocity is 0.11㎧.
임현승(Hyeonseung Im),임정표(Jeongpyo Lim),박성우(Sungwoo Park) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1A
ML 언어에서 제공하는 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀모듈은 지난 10년 동안 프로그래밍 언어 분야에서 깊이 있게 연구되어 왔다. 그러나 기존 연구는 복시문제와 순환타입문제를 완벽하게 해결하지 못하여 한정된 재귀모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시문제와 순환타입 문제를 해결하고 다양한 재귀모듈 패턴을 지원하는 타입시스템을 제안한다.
임현승 ( Hyeonseung Im ) 한국정보처리학회 2015 한국정보처리학회 학술대회논문집 Vol.22 No.1
XPath는 XML 문서를 탐색하고 필요한 부분을 추출하는데 유용한 W3C 표준 프로그래밍 언어이다. XPath를 기반으로 XSLT, XQuery와 같은 표준 언어가 정의되어 널리 사용되고 있으며, DTD, XML Schema, RelaxNG와 같은 타입 언어를 이용하여 XML 문서를 효과적으로 명세할 수 있음에도 불구하고, XPath 기반 XML 처리 프로그램을 위한 타입 검사 기법은 미비하다. 본 논문에서는 XPath 기반 프로그램을 위한 새로운 양상논리 기반의 타입 추론 기법을 제안한다.
Batch Normalization을 위한 향상된 Hardware 친화적 Quantization 기법
제현승(Hyeonseung Je),이혁재(Hyuk-Jae Lee),이규중(Kyujoong Lee) 대한전자공학회 2020 대한전자공학회 학술대회 Vol.2020 No.8
In this paper, a hardware friendly quantization for batch normalization is proposed. The previous quantization that batch normalization scale is folded into weight value is not compatible with general fixed bit multiplication hardware because the extension of the weight range causes inaccurate quantized value. In the proposed method, only weight values are quantized and the scale factors of weight quantization are folded into batch normalization so that the range of weights is not enlarged. As a result, the pixel accuracy is improved from 94.96% to 95.00% and the SQNR(Signal to Quantization Noise Ratio) for weights is also improved.