• 제목/요약/키워드: Pre-Match

검색결과 76건 처리시간 0.027초

안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 (Automated Unit-test Generation for Detecting Vulnerabilities of Android Kernel Modules)

  • 김윤호;김문주
    • 정보과학회 논문지
    • /
    • 제44권2호
    • /
    • pp.171-178
    • /
    • 2017
  • 본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.

김치생산용 알타리무 전처리가공시스템 개발(II) - 평면형 삭피칼날의 최적형상 - (Development of the Altari Radish Pre-processing System for Kimchi Production(II) - Optimum Cutter Shape for Plane Peeling -)

  • 민영봉;김성태;강동현
    • Journal of Biosystems Engineering
    • /
    • 제30권3호
    • /
    • pp.161-165
    • /
    • 2005
  • In this study, peeling test of the Altari radish on kimchi pre-processing system for mechanization was performed with the longitudinal plane peeling type with wider cutting blade than that of the peeled chip's. To determine the optimum cutter shape to match this plane peeling type, the peeling tests depending on variable cutting speed, rake angle and blade angle using the blade with thickness as 2 m and width as 50mm were performed, and the patterns of the peeled chips and peeling resistances were investigated. As the result of the tests, the rake angle of the blade with clean peeled surface of the Altari radish was over $45^{\circ}$, and the blade angle and rake angle with the minimum peeling resistance was $20^{\circ}\;and\;60^{\circ}$, respectively. The optimum peeling conditions were; the peeling speed 0.2m/s, blade angle $20^{\circ}$ and the rake angle $60^{\circ}$, and the peeling resistance of each blade was 15 N.

The effects of the scattering opacity and the color temperature on numerically modelling of the first peak of type IIb supernovae

  • Park, Seong Hyun;Yoon, Sung-Chul
    • 천문학회보
    • /
    • 제45권1호
    • /
    • pp.70.1-70.1
    • /
    • 2020
  • A type IIb supernova (SN IIb) is the result of core-collapse of a massive star which lost most of its hydrogen-rich envelope during its evolution. The pre-SN progenitor properties, such as the total radius and the mass of the hydrogen-rich envelope, can widely vary due to the mass-loss history of the progenitors. Optical light curves of SNe IIb are dominated by energy released by the hydrogen recombination and the radioactive decay of 56Ni in the early and late epochs respectively. This may result in distinctive double peaked light curves like the one observed in SN 1993J. The first peak, caused by the hydrogen recombination, can be modelled with numerical simulations providing information on the pre-SN progenitor properties. We compare two radiation-hydrodynamics codes, STELLA and SNEC, that are frequently used in SNe modelling, and investigate the effect of opacity treatment on the temporal evolution of the color temperature of SNe and eventually on the optical light curves. We find that with a proper treatment of the scattering opacity, SNe IIb models exploded from the progenitor models evolved with latest stellar evolution model hardly match the observational data. We also discuss the smaller scale features found in the models during hydrogen recombination phase.

  • PDF

산업재해(건설업)에 따른 안전교육 실태분석에 관한 연구 -G 건설사 사례를 중심으로- (A Study on Safety Educational Analysis by affecting Industrial Disaster in the case of G construction company)

  • 조재환
    • 대한안전경영과학회:학술대회논문집
    • /
    • 대한안전경영과학회 2010년도 추계학술대회
    • /
    • pp.113-129
    • /
    • 2010
  • Proper pre-safety training is one of core mandatory in order to reduce injuries at the construction fields. In this study, we investigate the employee's opinions of safety training, safety recognition, the actual conditions of safety through survey. As a result of study, incident factors are roughly divided into technical factor, managerial factor, and educational factor. We confirmed that the educational factor led by deficiency of safety awareness and knowledge was the major factor. It needs to be resettled or revised properly to match with the incident trends and the safety training curriculum should also be improved and drastically revised with special quality. The managerial workers' safety recognition is lower than the site ones regarding the correct understanding of the importance of the training.. It suggest that the education method and system in construction fields might have fundamental problems.

  • PDF

Design of Dual-Rate Fuzzy Model-based Digital Controller Using Intelligent Digital Redeisgn

  • Kim, Do-Wan;Park, Jin-Bae;Joo, Young-Hoon
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2003년도 ICCAS
    • /
    • pp.1289-1294
    • /
    • 2003
  • This paper proposes a novel and efficient intelligent digital redesign technique for a Takagi-Sugeno (TS) fuzzy system. The term of intelligent digital redesign involves converting an existing analog fuzzy-model-based controller into an equivalent digital counterpart in the sense of state matching. In this paper, we suggest the discretization method based on the dual-rate sampling approximation is first proposed, and then attempt to globally match the states of the overall closed-loop TS fuzzy system with the pre-designed analog fuzzy-model-based controller and those with the digitally redesigned fuzzy-model-based controller. To show the feasibility and the effectiveness of the proposed method, a computer simulation is provided.

  • PDF

2-프레임 PTV 시스템의 개발 및 채널유동에의 응용 (Development of 2-frame PTV system and its application to a channel flow)

  • 백승조;이상준
    • 대한기계학회논문집B
    • /
    • 제22권6호
    • /
    • pp.874-887
    • /
    • 1998
  • A 2-frame PTV (particle tracking velocimetry) system using the concept of match probability between two consequent image frames has been developed to obtain instantaneous velocity fields. The overall 2-frame PTV system including image pre-processing, tracking algorithm and post-processing routine was implemented to apply to real flows. The developed 2-frame PTV system has several advantages such as high recovery ratio of velocity vectors, low error ratio and small computational time compared with the conventional 4-frame PTV and the FFT-based cross-correlation PIV technique. The 2-frame PTV system was applied to a turbulent channel flow over a rectangular block to check its reliability and usefulness. Total 96 sequential image frames have been captured and processed to get both mean and fluctuating velocity vector fields over the recirculating region. The mean velocity and turbulent intensity profiles were well agreed with hte LDV measurements in the separated region behind the block. Time-averaged reattachment length is about 6.3 times of the block height.

듀얼레이트 샘플링을 이용한 퍼지 모델 기반 디지털 제어기 (Fuzzy Model-Based Digital Controller Using Dual-Rate Sampling)

  • 김도완;주영훈;박진배
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2003년도 추계 학술대회 학술발표 논문집
    • /
    • pp.129-132
    • /
    • 2003
  • This paper proposes a novel and efficient intelligent digital redesign technique for a Takagi-Sugeno (TS) fuzzy system. The term of intelligent digital redesign involves converting an existing analog fuzzy-model-based controller into an equivalent digital counterpart in the sense of state matching. In this paper, we suggest the discretization method based on the dual-rate sampling approximation is first proposed, and then attempt to globally match the states of the overall closed-loop TS fuzzy system with the pre-designed analog fuzzy-model-based controller and those with the digitally redesigned fuzzy-model-based controller. To show the feasibility and the effectiveness of the proposed method, a computer simulation is provided.

  • PDF

요인분석을 통한 공종별 체크리스트 작성에 관한 연구 (A Study on the Development of Work Activity Check List by Factor Analysis)

  • 이재옥;윤여완;김천학;양극영
    • 한국건축시공학회:학술대회논문집
    • /
    • 한국건축시공학회 2002년도 학술.기술논문발표회
    • /
    • pp.95-98
    • /
    • 2002
  • The purpose of this study was to Estimation the Risk of construction method to protect and reduce the risk of construction period. For this study we are using the pre and during construction period Inspection list. The inspection list was used by construction company for check a flaw of construction field. So we rearrange the individual item of inspection list to match the Risk factor, The results of this study were as follows: The inspection list was rearranged at Risk checklist for Risk estimation. So that we estimate the Risk of individual construction method.

  • PDF

음성 질의 기반 디지털 사진 검색 기법 (A Query-by-Speech Scheme for Photo Albuming)

  • 김태성;서영주;이용주;김회린
    • 대한음성학회지:말소리
    • /
    • 제57호
    • /
    • pp.99-112
    • /
    • 2006
  • In this paper, we introduce two retrieval methods for photos with speech documents. We compare the pattern of speech query with those of speech documents recorded in digital cameras, and measure the similarities, and retrieve photos corresponding to the speech documents which have high similarity scores. As the first approach, a phoneme recognition scheme is used as the pre-processor for the pattern matching, and in the second one, the vector quantization (VQ) and the dynamic time warping (DTW) are applied to match the speech query with the documents in signal domain itself. Experimental results show that the performance of the first approach is highly dependent on that of phoneme recognition while the processing time is short. The second method provides a great improvement of performance. While the processing time is longer than that of the first method due to DTW, but we can reduce it by taking approximated methods.

  • PDF

증강현실 기반의 프리캐스트 교각의 사전시공 시뮬레이션 및 시공성 정밀도 관리방안 (Pre-construction Simulation of Precast Bridge Piers and Quality Management using Augmented Reality)

  • 박성준;당고손;윤도선;론 소칸야;심창수
    • 한국BIM학회 논문집
    • /
    • 제8권1호
    • /
    • pp.15-23
    • /
    • 2018
  • Geometry control of precast members is the most important technology for modular construction. In this paper, image-based modeling and rendering (IBMR) technology was adopted for 3D modeling of precast elements. It is necessary to use match-casting method for precast post-tensioned column assembly. Preassembly using 3D models created by image processing can minimize construction error. Augmented reality devices are used to check the geometry of the segment. Laboratory-scale tests were performed. The proposed process has been applied to the real precast bridge pier segments.