• 한국유체기계학회 논문집
• /
• 제5권2호
• /
• pp.22-28
• /
• 2002

Steady state flow calculations are conducted for the newly-designed turbo-pump inducers to validate the performance of Tascflow code. Hydrodynamic performance is evaluated, and structures of the passage flow and leading edge recirculation are also investigated. The calculated results show good coincidence with the experimental data of the static pressure performance and velocity profiles near the leading edge. Upstream recirculation, tip leakage and vortex flow at the blade tip and near leading edge are main sources of pressure losses. Amount of pressure losses from the upstream to the leading edge corresponds to that of pressure losses through the whole blade. The total viscous losses are considerably large due to the strong secondary flow.

• Journal of Information Processing Systems
• /
• 제13권1호
• /
• pp.26-39
• /
• 2017

The need for embedded devices to be able to exchange information with each other and with data centers is essential for the advent of the Internet of Things (IoT). Several existing communication protocols are designed for small devices including the message-queue telemetry transport (MQTT) protocol or the constrained application protocol (CoAP). However, most of the existing implementations are convenient for computers or smart phones but do not consider the strict constraints and limitations with regard resource usage, portability and configuration. In this paper, we report on an industrial research and development project which focuses on the design, implementation, testing and deployment of a MQTT module. The goal of this project is to develop this module for platforms having minimal RAM, flash code memory and processing power. This software module should be fully compliant with the MQTT protocol specification, portable, and inter-operable with other software stacks. In this paper, we present our approach based on abstraction layers to the design of the MQTT module and we discuss the compliance of the implementation with the requirements set including the MISRA static analysis requirements.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.824-826
• /
• 2015

최근 IT 산업의 발달로 다양한 분야에서 소프트웨어 활용이 증가하였으며, 이에 따라 공개 오픈소스 소프트웨어의 사용빈도가 증가하고, 다양한 범위에서 활용되고 있다. 하지만, 공개 오픈소스의 이용이 증가함에 따라, 공개 오픈소스 취약점에 기반한 다양한 문제에 노출될 수 있으며, 실제 'OpenSSL'의 하트블리드 취약점은 전세계적으로 많은 피해를 야기시켰다. 따라서, 기존 오픈 소스 취약점 분석 환경에서 기호 기반의 취약점 분석 방법을 이용하여 오탐 및 미탐을 최소화 하고, 정확한 보안약점 탐지 가능 기법을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.969-972
• /
• 2015

오늘날 소프트웨어의 크기는 계속 증가하고 있는데 반해 IT 벤처/중소 업체의 경우 요구사항 및 설계 문서가 없는 경우가 빈번하다. 이러한 시스템의 경우 코드를 이해하여 수정이나 유지보수를 하는데 많은 시간과 비용이 투자된다. 또한 벤처/중소 업체에서 역공학 도구, 테스트 프로세스 등을 도입하여 소프트웨어 품질 향상을 시키기는 현실적으로 비용 면에서 어려움이 있다. 본 연구는 내재된 코드의 오류를 찾기 위해 JDT 기반 정적 분석기를 제안한다. 제안한 분석기의 설계 구조 및 구현으로 개발자 주도 코드 분석을 통해 코드 품질을 향상 시킬 것이다. 또한 요구사항과 코드의 불일치에 대한 가시화를 통해 소프트웨어의 유지보수성을 향상 시킬 것이다.

• 산업기술연구
• /
• 제21권B호
• /
• pp.281-286
• /
• 2001

In this study, product design and prototype manufacturing of a plastic water-pump pulley has been tried. The designed model is supposed to be made of 33 % glass reinforced resin of which the tensile strength is 180 MPa, and has 24 ribs on each side to increase its structural strength. Structural analysis under a static load of 300 kgf acting on both edges of the belt has been carried out using a commercial finite element code, MARC. The analysis result showed the maximum effective stress near a rib of designed model would be at most 35 MPa (less than 20% of the tensile strength), therefore, the plastic product would be sufficiently safe under that loading condition. On the basis of the structural analysis, a prototype of the designed model has been manufactured by using the fused deposition modelling (FDM) method which is one of the rapid prototyping (RP) methods, using ABS resin and support materials. The CAD data exported to the RP system in STL format was prepared by a commercial solid modeling software, SolidWorks. It has been proved that the plastic pulley can successfully replace the existing flow-formed steel product.

• 한국해양공학회지
• /
• 제23권6호
• /
• pp.77-81
• /
• 2009

The radar cross section (RCS) of a warship is one of the most important design features in terms of her survivability in hostile environments. Ocean waves continuously changes the attitude of an objective warship to hostile radar and distorts the RCS as a result. This paper presents a dynamic RCS analysis technique and procedure that considers temporal ship motion. First, data sets are prepared for ship motions in 6 degrees of freedom, which are numerically simulated for an objective warship via frequency to time domain conversion with response amplitude operators and specified ocean wave spectra. Second, a series of RCS analysis models are transformed geometrically by referring to ship motion data sets. Finally, temporal RCS analyses are carried out with the RCS simulation code, SYSCOS. As an example, RCS analysis results are given for a virtual warship, which show that ship motions temporally change RCS values and cause RCS reduction compared with static value in terms of mean values.

• 한국지진공학회논문집
• /
• 제18권4호
• /
• pp.181-191
• /
• 2014

This research presents the nonlinear analysis model for reinforced concrete shear wall systems with special boundary elements as proposed by the Korean Building Code (KBC, 2009). In order to verify the analysis model, analytical results were compared with the experimental results obtained from previous studies. Established analytical model was used to perform nonlinear static and dynamic analyses. Analytical results showed that the semi-special shear wall improved significantly the performance in terms of ductility and energy dissipation as expected based on previous test results. Furthermore, nonlinear incremental dynamic analysis was performed using 20 ground motions. Based on computer analytical results, the ordinary shear wall, special shear wall and newly proposed semi-special shear wall systems were evaluated based on the methods in FEMA P965. The results based on the probabilistic approaches accounting for inherent uncertainties showed that the semi-special shear wall systems provide a high capacity/demand (ACMR) ratio owing to their details, which provide enough capacity to sustain large inelastic deformations.

• 정보보호학회논문지
• /
• 제17권6호
• /
• pp.149-153
• /
• 2007

삽입취약점은 웹 응용프로그램에 공격자가 악성코드를 정상적인 입력 값 대신 넣어 시스템에 피해를 입힐 수 있는 대표적인 취약점이다. 삽입공격에서 안전한 애플리케이션은 외부에서 들어오는 입력 값에 들어있을 수 있는 악성문자를 여과하도록 작성해야 한다. 특정 문자의 여과 여부는 주요지점에서 문자열 변수에 특정 문자가 포함될 수 있는지를 검사하여 정적으로 알아낼 수 있다. 본 논문에서는 조건식의 의미를 분석에 적용하는 향상된 방식으로 응용프로그램의 삽입 취약점을 정적으로 판정하는 방법을 제안한다.

• 한국지진공학회논문집
• /
• 제12권5호
• /
• pp.47-56
• /
• 2008

본 연구는 높은 지진의 위험이 내재된 지역에 위치한 3층, 9층 그리고 20층 철골 모멘트저항골조에 대한 반응수정계수와 주기의 영향을 평가하기 위한 것이다. 각 구조물들은 IBC 2000과 KBC 2005에서 제시하고 있는 8의 반응수정계수로 설계되었고 건물에 기대되는 최소의 성능과 최대의 성능을 평가하기 위해서 상한범위와 하한범위의 설계가 고려되었다. 또한 반응수정계수에 대한 영향을 조사하기 위하여 4개의 다른 반응수정계수들이(9, 10, 11, 12) 각 구조물에 대하여 적용되었고 각 구조물의 고유주기 값 외의 4개의 다른 주기를 추가로 적용하여 구조물의 동적거동시 주기에 대한 영향을 조사하였다. 총 150개의 해석모델들은 50년 동안 2%의 초과확률(재현 주기 2500년)을 가진 20개의 지반운동에 대하여 평가되었다. 구조물의 성능평가를 위하여 정적 Pushover와 비선형 시간이력해석이 수행되었으며 구조물의 연성능력을 평가하기 위해서 변위연성요구가 고려되었다. 3층과 9층 구조물은 변위연성요구 값이 비교적 안정적인 거동을 보인 반면 20층 구조물은 동적 불안정성을 야기하는 요소에 의해 민감하게 나타나는 것으로 조사되었다.

• 인터넷정보학회논문지
• /
• 제21권1호
• /
• pp.45-55
• /
• 2020

정보 통신 기술의 발달로 인해 매년 신종/변종 악성코드가 급격히 증가하고 있으며 최근 사물 인터넷과 클라우드 컴퓨팅 기술의 발전으로 다양한 형태의 악성코드가 확산되고 있는 추세이다. 본 논문에서는 운영체제 환경에 관계없이 활용 가능하며 악성행위와 관련된 라이브러리 호출 정보를 나타내는 문자열 정보를 기반으로 한 악성코드 분석 기법을 제안한다. 공격자는 기존 코드를 활용하거나 자동화된 제작 도구를 사용하여 악성코드를 손쉽게 제작할 수 있으며 생성된 악성코드는 기존 악성코드와 유사한 방식으로 동작하게 된다. 악성 코드에서 추출 할 수 있는 대부분의 문자열은 악성 동작과 밀접한 관련이 있는 정보로 구성되어 있기 때문에 텍스트 마이닝 기반 방식을 활용하여 데이터 특징에 가중치를 부여해 악성코드 분석을 위한 효과적인 Feature로 가공한다. 가공된 데이터를 기반으로 악성여부 탐지와 악성 그룹분류에 대한 실험을 수행하기 위해 다양한 Machine Learning 알고리즘을 이용해 모델을 구축한다. 데이터는 Windows 및 Linux 운영체제에 사용되는 파일 모두에 대해 비교 및 검증하였으며 악성탐지에서는 약93.5%의 정확도와 그룹분류에서는 약 90%의 정확도를 도출하였다. 제안된 기법은 악성 그룹을 분류시 각 그룹에 대한 모델을 구축할 필요가 없기 때문에 단일 모델로서 비교적 간단하고 빠르며 운영체제와 독립적이므로 광범위한 응용 분야를 가진다. 또한 문자열 정보는 정적분석을 통해 추출되므로 코드를 직접 실행하는 분석 방법에 비해 신속하게 처리가능하다.