• 제목/요약/키워드: 분석 엔진

검색결과 1,837건 처리시간 0.027초

자바스크립트 엔진에 대한 시맨틱 보존적 변이기반 퍼징 (Semantics-Preserving Mutation-Based Fuzzing on JavaScript Interpreters)

  • 오동현;최재승;차상길
    • 정보보호학회논문지
    • /
    • 제30권4호
    • /
    • pp.573-582
    • /
    • 2020
  • 퍼징은 입력값을 무작위로 생성해 소프트웨어를 테스팅하는 방법으로, 처음 고안된 이래로 다양한 방식의 퍼징이 연구되고 있다. 그중 변이기법을 적용한 퍼징은 확률에 따른 비트 반전이나 특별 값 치환과 같이 비교적 간단한 접근법을 사용함에도, 많은 버그를 발견해온 만큼 효율적인 방법이라고 할 수 있다. 하지만 인터프리터는 문법, 시맨틱이 올바른 입력값을 요구하기 때문에 일반적인 변이기법을 적용하기에는 어려움이 있다. 이에 본 연구에서는 동적 데이터 흐름 분석을 통해 변이기법을 인터프리터 퍼징에 적용할 수 있는 방법에 대해 제시하고자 한다. 본 연구에서 제시하는 JMFuzzer는 문법, 시맨틱의 올바름을 고려해 자바스크립트 인터프리터에서 오류 없이 정상적으로 동작하는 다양한 유형의 테스트케이스를 생성할 수 있다. 최종적으로 본 연구에서는 최신 버전의 자바스크립트 인터프리터에서 알려지지 않은 취약점들을 찾았으며, 이를 각 회사에 제보했다.

케로신/공기 와류 화염의 화학발광 세기 특성에 관한 실험적 연구 (Characteristics of Chemiluminescence Intensities of Kerosene/Air Swirl Flames)

  • 이현재;서성현
    • 대한기계학회논문집B
    • /
    • 제39권6호
    • /
    • pp.485-496
    • /
    • 2015
  • 본 논문은 와류 유동이 존재하는 케로신/공기 화염 자발광 특성을 실험적 접근방법으로 수행한 연구이다. 한국형 발사체 액체로켓엔진에 적용되는 Jet A-1 을 사용하였고, 와류 세기 영향을 파악하기 위해 세 가지의 스월러를 적용해 실험을 진행하였다. 와류 세기, 연소 공기온도 변화에 따른 화염 자발광을 분광기를 활용하여 계측하였다. 자발광 스펙트럼에서 $OH^*$, $CH^*$, $C_2{^*}$등의 라디칼에 의한 화학발광 특성을 파악하였다. 케로신 화염의 화학발광 세기는 와류 세기에 민감한 반응을 보였으며, 연소 공기온도에 의한 영향은 적게 받았다. 특히 $C_2{^*}$ 화학발광 방출 세기는 와류 세기와 당량비 변화에 민감하게 반응하였다. 화염 특성을 파악하기 위해 각 라디칼 세기 비로 데이터를 분석한 결과, $I_{OH^*}/I_{CH^*}$ 화학발광 세기 비는 공기 유량 변화에 의한 당량비 변화를 지시하기가 적합하며, $I_{C_2{^*}}/I_{CH^*}$ 화학발광 세기 비는 연료 유량변화에 따른 당량비 변화를 지시하기에 적합하였다.

도로선형최적화를 위한 유전자 연산자의 적용 (Incorporating Genetic Operators into Optimizing Highway Alignments)

  • 김응철
    • 대한교통학회지
    • /
    • 제22권2호
    • /
    • pp.43-54
    • /
    • 2004
  • 본 연구에서는 인공지능(Artificial Intelligence)방법 중의 하나인 유전자 알고리즘(Genetic Algorithm)을 도로선형최적화 모형개발의 탐색엔진으로 활용하기 위한 핵심도구인 유전자 연산자(Genetic Operator)의 개발과 적용과정을 통해 그 특징과 유용성을 제시하였다. 균일돌연변이 연산자, 직선돌연변이 연산자. 비균일 돌연변이 연산자, 전체 비균일 돌연변이 연산자 등 4개의 돌연변이 연산자가 탐색영역(Search space)의 가능한 모든 부분을 탐험(Exploration)하기 위해 적용되었으며, 단순교차 연산자, 두 개의 점을 이용한 교차 연산자, 산술교차 연산자, 학습교차 연산자 등 4개의 교차 연산자가 노선대안의 우수한 유전형질을 다음세대에 효과적으로 전달(Exploitation)하기 위해 시험되었다. 사례연구와 민감도 분석과정을 통해 유전자 알고리즘 및 개발 적용된 8개 유전자 연산자의 도로선형최적화과정 도입이 우수한 노선대안을 빠르고 효과적으로 탐색함을 알 수 있었으며, 돌연변이 연산자와 교차 연산자의 효과적 조합이 상호보완기능을 통해 탐색능력의 향상에 큰 영향을 끼치는 것으로 파악되었다. 또한, 개발 적용된 연산자 이외에도 새로운 연산자의 개발 가능성이 무한하며, 이는 도로선형최적화에 유전자 알고리즘의 적용이 타당함을 반증함도 주목할 만하다.

고성능 플래시 SSD 환경에서 NoSQL 데이터베이스의 성능 평가 및 최적화 (Performance Evaluation and Optimization of NoSQL Databases with High-Performance Flash SSDs)

  • 한혁
    • 한국콘텐츠학회논문지
    • /
    • 제17권7호
    • /
    • pp.93-100
    • /
    • 2017
  • 최근 사회 관계망 서비스, 클라우드 컴퓨팅, 슈퍼컴퓨팅, 기업용 스토리지 시스템 등의 분야에서 고성능 플래시 메모리 기반 저장 장치(플래시 SSD)에 대한 수요가 크게 증가하고 있다. 이러한 환경에서 최근 산업계 및 학계에서는 고성능 플래시 SSD를 위한 NVMe 규약을 만들었고, NVMe 규약을 따르는 고성능 플래시 SSD는 현재 시장에서 구할 수 있다. 본 논문에서는 NVMe 플래시 SSD를 이용하여 클라우드 컴퓨팅, 사회 관계망 서비스 등에서 많이 활용되고 있는 NoSQL 데이터베이스의 성능을 평가하고 분석하고자 한다. 성능 평가에 사용된 저장 장치는 삼성전자가 최근에 개발한 NVMe 기반 플래시 SSD이며 이 장치의 연속 읽기/쓰기 성능은 3.5GB/s 이다. NoSQL 데이터베이스는 MongoDB의 기본 스토리지 엔진으로 채택된 WiredTiger를 사용하였다. 실험 결과는 고성능 NVMe 플래시 SSD 환경에서 NoSQL 데이터베이스의 로그 처리 부분이 성능상의 가장 큰 오버헤드임을 보여준다. 이 결과를 바탕으로 로그 처리 부분을 최적화하였고 최적화된 WiredTiger는 기존 대비 최대 15배의 성능 향상을 보여준다.

엔진 직결식 트랙터 PTO 전동 라인의 치타음 분석 (Analysis of Rattle Noise of a Direct Engine-driven PTO Driveline of Tractors)

  • 박영준;김경욱
    • Journal of Biosystems Engineering
    • /
    • 제31권1호
    • /
    • pp.1-8
    • /
    • 2006
  • This study was conducted to identify the characteristics of PTO rattle noise of a direct engine-PTO driveline for agricultural tractors. In order to reduce production costs of agricultural tractors, a direct engine-PTO driveline was recently introduced to the tractors produced in Korea. This simplified drive line reduced a number of gears and counter shafts in previous one. However, it caused a severe rattle noise under an idle condition, which was perceived as intolerable by many tractor operators. PTO rattle noise was measured at two locations: one 3 em apart radially from the centerline of the PTO shaft and another 100 em apart backward from the PTO end and 160 em high from the ground. Characteristics of the rattle was analyzed using the data measured near the PTO shaft. It was found that the period of rattle noise was same as the explosion stroke of engine and its peak level was about 123 dB (A) with PTO engaged at an idle engine speed of 880 rpm. As the engine speed increased, the rattle noise decreased. The frequency band of the rattle was 0.5-2.0 kHz and the frequency of peak sound pressure was 1.4 kHz. When compared the rattle noise between the locally produced and imported tractors of the same type of PTO driveline, the former generated louder rattle noise than the imported one by 7 dB (A). It was suggested that the rattle noise of local tractors must be reduced at least by 7 dB (A) to meet the international level.

인듀서 성능예측에 대한 수치해석적 연구 (Numerical Study on the Hydrodynamic Performance Prediction of a Turbopump Inducer)

  • 최창호;홍순삼;김진한
    • 한국항공우주학회지
    • /
    • 제31권6호
    • /
    • pp.72-78
    • /
    • 2003
  • 액체로켓용 터보펌프 인듀서에 대한 수치해석적 연구가 수행되었다. 5,000RPM 및 6,000RPM의 회전속도 조건에서 여러 가지 유량조건에 대하여 수치해석이 수행되었다. 이에 대한 입구유동각, 쉬라우드 표면 정압분포, 수두 및 효율에 대한 분석이 수행되었으며, 실험값과 비교하였다. 쉬라우드 정압의 분포는 실험과 비교하여 잘 일치하는 결과를 얻을 수 있었으나, 입구의 역류가 심한 지역에서는 실험값과 차이를 보였다. 전체성능, 즉, 수두 및 효율은 대체로 실험값과 잘 일치하였지만, 유량계수 0.08이상의 고유량에서 계산값이 실험치에 비하여 낮게 예측하는 것이 확인되었다. 본 연구에 채택된 인듀서의 경우, 유량계수가 0.074일 경우에 수력성능이 최고가 되었으나, 유량계수가 0.085이상에서 입사각이 양의 값을 가지게 되었다. 흡입성능의 측면에서는 입사각이 양의 값을 가지는 것이 권장되므로 설계자는 성능과 흡입성능에서 적절한 유량계수를 선택하여야 할 것이다.

LAPG-2: 가상 논리 분석기 및 패턴 생성기를 갖는 저비용 설계 검증 플랫폼 (LAPG-2: A Cost-Efficient Design Verification Platform with Virtual Logic Analyzer and Pattern Generator)

  • 황수연;강동수;장경선;이강
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제35권5호
    • /
    • pp.231-236
    • /
    • 2008
  • 본 논문에서는 FPGA 기반와 논리 회로를 에뮬레이션 하는 저비용 플랫폼인 LAPG-2의 구조 설계와 구현을 제안한다. 본 논문에서 제안한 에뮬레이션 플랫폼은 기존에 제안 LAPG(logic Analyzer and Pattern Generator)의 성능을 향상시키고, 더 많은 기능을 추가하였다. 따라서, LAPG-2는 기존 LAPG의 향상된 버전이라고 할 수 있다. 본 논문에서 제안한 LAPG-2는 크게 FPGA 기반 하드웨어 엔진과 에뮬레이션을 구동하고 결과를 모니터링 할 수 있는 소프트웨어 부분으로 구성된다. 호스트 컴퓨터와 FPGA 보드 사이의 양방향 직렬 통신 링크를 통한 새로운 통신 프로토콜을 제안함으로써 효과적인 상호 작용할 수 있는 검증 환경을 제공한다. 실험 결과, 본 논문에서 제안한 에뮬레이션 방법은 다른 방식들과 비교했을 때, $55%{\sim}99%$의 통신 오버헤드 절감 효과를 얻었다. 하드웨어 면적의 경우는, 간단한 회로보다 입출력 포트 수가 많은 복잡한 회로에서 보다 더 효율적이었다.

소형 승용차의 파워트레인 마운트 Stop&Go 성능 적용을 위한 의사결정모델 (Decision Making Model for Powertrain Mount-Stop&Go Performance in a compact mobile)

  • 유정우;엄인섭;이홍철
    • 한국산학기술학회논문지
    • /
    • 제13권3호
    • /
    • pp.967-976
    • /
    • 2012
  • 본 논문은 자동차 환경규제에 따른 CO2 감소 및 연비향상을 위하여 Stop&Go 기능을 적용한 소형 승용차에 대한 파워트레인 마운트 (Powertrain Mount) 의 진동 소음 최적화 방향을 제시하였다. 이를 위해 현재 "A" 차량에 적용중인 파워트레인 마운트 시스템을 분석한 후 다구찌 기법을 활용하여 파워트레인 마운트에 적용된 고무 동특성에 대한 다양한 변수를 제시하였고, 고무의 동특성 변수에 의해 만들어진 테스트 제품을 AHP(Analytic Hierarchy Process)기법을 적용하여 Stop&Go 기능에 적합한 진동 소음의 최적화 정도를 검증하였다. 이와 같은 시스템을 파워트레인 마운트의 초기 디자인 검증에 적용함으로써, 파워트레인 마운트의 고무 동특성에 대한 엔지니어링 노하우 (Engineering Know-How) 없이도 엔진의 움직임으로 야기되는 진동 소음의 문제점을 파악하고 이를 효과적으로 제어하는데 큰 역할을 할 것으로 예상된다.

우주비행체 궤도기동/자세제어용 추력기의 개발과 발사체에의 활용현황 (A Development of the Thrusters for Space-Vehicle Maneuver/ACS and Their Application to Launch Vehicles)

  • 김정수;정훈;감호동;서항석;서혁
    • 한국추진공학회지
    • /
    • 제14권6호
    • /
    • pp.103-120
    • /
    • 2010
  • 우주비행체 궤도기동 및 자세제어용 추력기의 개발역사를 조명하고 성능특성을 분석하며, 발사체의 단별 3축 제어에 관계하는 TVC, Gimbal, 추력기 등의 실재 활용현황을 평가한다. 우주발사체 최종 단은 탑재체의 정확한 궤도투입을 위하여 정밀한 3축 자세제어 시스템을 포함하여야 한다. 하이드라진 추력기는 양호한 성능특성과 높은 신뢰도를 배경으로 현재 운용중인 발사체 자세제어 시스템의 대부분을 점유하고 있다. 중형급 하이드라진 추력기에 대한 국내의 설계개발과 기술축적 현황에 관해서도 간략히 소개한다.

검색 키워드 확장을 이용한 온톨로지 자동 생성 시스템 개발 (The Development of Automatic Ontology Generation System Using Extended Search Keywords)

  • 심준;이홍철
    • 한국산학기술학회논문지
    • /
    • 제10권6호
    • /
    • pp.1220-1228
    • /
    • 2009
  • 시맨틱 웹의 핵심인 온톨로지는 주로 특정 도메인에 한정되거나 휴리스틱에 의존해 의미와 관계를 정의하여 생성하고 있다. 하지만 온톨로지의 생성은 매우 어려울 뿐만 아니라 많은 시간이 소요되는 작업이다. 특정 분야에서 사용되는 온톨로지와 달리 웹에서 사용되는 온톨로지는 지식 및 정보 표현의 범위가 한정적이지 않기 때문에 기존의 온톨로지 생성 방식으로는 정보를 표현하기가 어렵다. 따라서 온톨로지의 자동 생성은 시맨틱 웹의 구현에 있어서 매우 중요한 부분을 차지하게 된다. 본 논문에서는 웹 온톨로지를 자동으로 생성하기 위해서 형태소 분석을 이용하여 검색엔진에서 사용자들이 입력하는 검색 키워드로부터 색인어를 추출하고, 이와 관련된 키워드를 확장시켜 온톨로지를 생성하고 갱신하는 방법에 대하여 제안한다.