• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2015.05a
• /
• pp.146-147
• /
• 2015

This paper compares load behavior of two fixing equipments for transporting unit modules. The suggested fixing equipment shows higher limit load than an existing fixing equipment, which proves that the suggested fixing equipment have higher safety.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2014.11a
• /
• pp.4-6
• /
• 2014

본 논문에서는 하드웨어 HEVC 디코더의 움직임 보상 모듈의 구조를 제안한다. 제안된 구조를 갖는 움직임 보상 모듈은 하드웨어 처리 싸이클 수와 내부메모리 크기를 감소시키기 위해 하나의 코딩 유닛을 그보다 작은 여러 개의 블록으로 분할하여 처리할 수 있다. 제안된 움직임 보상 구조는 캐시를 통해 외부 메모리에 접근하여 참조 픽쳐를 로딩하는 단계와 보간 필터를 거쳐 예측 샘플을 생성하는 단계로 내부-파이프라인을 구성하며 코딩 유닛의 크기에 따라 내부-파이프라인에서 처리할 블록의 크기를 결정한다. 본 논문에서는 코딩 유닛 분할의 기준이 되는 블록 크기를 결정하기 위한 절충사항에 대해서도 논의한다. 제안된 구조의 효율성을 판단하기 위해 구현된 움직임 보상 모듈을 RTL 시뮬레이션 및 FPGA 보드 검증을 통해 테스트 하였으며, SoC 로 제작될 경우 초당 249 Mpixel 을 처리하여 4K-UHD 시퀀스의 실시간 디코딩이 가능한 것으로 판단되었다.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2005.11a
• /
• pp.287-290
• /
• 2005

Precast Concrete apartments were main stream of domestic industrialized housing around 90's , and Steel Houses applying Steel Stud technique with light weighted steel have been dominant portion since 1995. On the other hand, various building techniques including Steel Stud method and highly prefabricated and industrialized Unit method are prevailing in developed countries like Japan. Steel stud and Unit Box have their own merits an demerits, but the more crucial aspect is that the constant design standard should be applied in each design procedure. It entails the necessity of industrial housing development on the Open System basis. In this study, the design standard for Unit house will be established coping with the established preparing standard for design specifications defined by Architectural Law and Promotion Law of Housing Construction. That is for design standard of industrialized private housing on the Open System basis.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2005.11a
• /
• pp.291-294
• /
• 2005

Precast Concrete apartments were main stream of domestic industrialized housing around 90's , and Steel Houses applying Steel Stud technique with light weighted steel have been dominant portion since 1995. On the other hand, various building techniques including Steel Stud method and highly prefabricated and industrialized Unit method are prevailing in developed countries like Japan. Steel Stud and Unit Box have their own merits and demerits, but the more crucial aspect is that the constant design standard should be applied in each design procedure. It entails the necessity of industrial housing development on the Open System basis. In this study, the design standard for Unit house will be established coping with the established preparing standard for design specifications defined by Architectural Law and Promotion Law of Housing Construction. That is for design standard of industrialized private housing on the Open System basis.

• Pallet News
• /
• s.61
• /
• pp.5-13
• /
• 2011

본 원고는 지난 2010년 11월 11일 지식경제부 기술표준원에서 진행된 2010년 아시아 유닛로드시스템 컨퍼런스 발표 원고로 (사)일본파렛트협회의 후쿠모토 히로지 전문이사가 발표하였습니다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2018.05a
• /
• pp.243-244
• /
• 2018

This study focused on the fact that there are a lot of alleys in some areas of the Urban Renewal New Deal project. In this study, we proposed a method to construct a spatial module by combining small modules. It is expected that the combination of small modules developed in this way will help revitalize the New Deal of Urban Regeneration. In the future, additional joint details will be developed, structure review will be conducted.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2015.11a
• /
• pp.200-201
• /
• 2015

The unit modular method is one in which unit modules are prefabricated at a factory and then constructed at a construction site. That is why an important process, transporting unit module, is added in this method. The purpose of this study is to analyse the load for transporting unit module. The results of the analysis of the driving experimental runs revealed that a maximum load of 15 kN was applied on adapter block type A and a maximum load of 25 kN on adapter block type B. These loads were recorded at the points in the road test when the low-bed trailer was driving through unstable sections of the test such as stopping, restarting, passing over a speed bump or taking a left turn at speed.

• Proceedings of the KIPE Conference
• /
• 2019.07a
• /
• pp.344-345
• /
• 2019

High Voltage Direct Current (HVDC) 시스템은 고압 직류 송전을 위한 시스템으로서 단위 유닛인 서브모듈로 구성된 모듈형 멀티레벨 컨버터 구조를 갖는다. 서브모듈의 신뢰성 확보 및 설계 검증은 HVDC 시스템의 성능과 효율, 크기를 결정짓는 중요한 요소이다. 본 논문에서는 (주)효성이 개발하는 200MW 모듈형 멀티레벨 컨버터 서브모듈의 성능을 검증하기 위한 특성시험을 나타낸다. 특성시험을 통해서 개발 중인 서브모듈의 성능과 보호동작을 검증한다.

• Journal of Korean Association for Spatial Structures
• /
• v.8 no.4
• /
• pp.65-71
• /
• 2008

The object of this paper is to evaluate on constructability of modular steel frame with the hollow structural steel section to LEB C-shape. A modular building is built with factory-manufacture and site-construction. The advantage of a Modular building presents that enhanced building quality, shortened construction period and easy at an expansion and enlargement for buildings but also has demerits such as size restriction of the modular units according to the Road Traffic Law and Inflexibility of the unit composition. So in this study we use light-weighted structure members with bolted joint for easy Knock-down and traffic, also we evaluated the constructability of this bolted joints type modular buildings.