• Title/Summary/Keyword: static code analysis

Search Result 374, Processing Time 0.027 seconds

Comparative study on the performance of Pod type waterjet by experiment and computation

  • Kim, Moon-Chan;Park, Warn-Gyu;Chun, Ho-Hwan;Jung, Un-Hwa
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • v.2 no.1
    • /
    • pp.1-13
    • /
    • 2010
  • A comparative study between a computation and an experiment has been conducted to predict the performance of a Pod type waterjet for cm amphibious wheeled vehicle. The Pod type waterjet has been chosen on the basis of the required specific speed of more than 2500. As the Pod type waterjet is an extreme type of axial flow type waterjet, theoretical as well as experimental works about Pod type waterjets are very rare. The main purpose of the present study is to validate and compare to the experimental results of the Pod type waterjet with the developed CFD in-house code based on the RANS equations. The developed code has been validated by comparing with the experimental results of the well-known turbine problem. The validation also extended to the flush type waterjet where the pressures along the duct surface and also velocities at nozzle area have been compared with experimental results. The Pod type waterjet has been designed and the performance of the designed waterjet system including duct, impeller and stator was analyzed by the previously mentioned m-house CFD Code. The pressure distributions and limiting streamlines on the blade surfaces were computed to confirm the performance of the designed waterjets. In addition, the torque and momentum were computed to find the entire efficiency and these were compared with the model test results. Measurements were taken of the flow rate at the nozzle exit, static pressure at the various sections along the duct and also the nozzle, revolution of the impeller, torque, thrust and towing forces at various advance speed's for the prediction of performance as well as for comparison with the computations. Based on these measurements, the performance was analyzed according to the ITTC96 standard analysis method. The full-scale effective and the delivered power of the wheeled vehicle were estimated for the prediction of the service speed. This paper emphasizes the confirmation of the ITTC96 analysis method and the developed analysis code for the design and analysis of the Pod type waterjet system.

A Discussion on the Definitions of Seismic Coefficient for Gravity Quay Wall in Korea (국내 중력식 안벽의 수평지진계수 산정 방법에 대한 고찰)

  • Lee, Moon Gyo;Jo, Seong Bae;Cho, Hyung Ik;Park, Heon Joon;Kim, Dong Soo
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.21 no.2
    • /
    • pp.77-85
    • /
    • 2017
  • Pseudo-static approach has been conventionally applied for the design of gravity quay walls. In this method, the decision to select an appropriate seismic coefficient ($k_h$) is an important one, since $k_h$ is a key variable for computing an equivalent pseudo-static inertia force. Nonetheless, there is no unified standard for defining $k_h$. Likewise, port structure designers in Korea have a difficulty in choosing an appropriate $k_h$ definition, as there are conflicts in how $k_h$ is defined between the existing seismic code of port structures and the proposed new one. In this research, various seismic design codes for port structures were analyzed to compare the definitions of the seismic coefficient. The results were used for the proposing a unified seismic coefficient definition. Further, two dynamic centrifuge tests were performed with different wall heights (5 m, 15 m) to clarify the reference point of peak acceleration used in determination of $k_h$ according to the wall height. Results from dynamic centrifuge experiments showed that correction factors for the peak ground acceleration considering both the wall height and allowable displacement are needed to calculate $k_h$.

Aerodynamic Design Optimization of Airfoils for WIG Craft Using Response Surface Method (반응표면법을 이용한 지면효과익기 익형의 공력 설계최적화)

  • Kim, Yang-Joon;Joh, Chang-Yeol
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.33 no.5
    • /
    • pp.18-27
    • /
    • 2005
  • Airfoils with improved longitudinal static stability were designed for a WIG craft through aerodynamic design optimization. The response surface method is coupled with NURBS-based shape functions and Navier-Stokes flow analysis. The procedure runs in the network-distributed design framework of commercial-code based automated design capability to enhance computational efficiency and robustness.Lift maximization design maintaining similar static margin to a DHMTU airfoil successfully produced a new airfoil shape characterized by pronounced front-loading and the well-known reflexed aft-camber line. Another airfoil design of lower variation in pitching moment during take-off showed weakened front-loaded characteristics and hence decreased lift slightly. Investigations using the present design methodology on an existing optimization result based on potential flow analysis and NACA-type geometry generation demonstrated significance of carrying various geometry generations and more realistic flow analysis with optimization.

Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices (임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술)

  • Jeoung, Byeoung Ho;Kim, Yong Hyuk;Bae, Sung il;Im, Eul Gyu
    • Smart Media Journal
    • /
    • v.7 no.1
    • /
    • pp.37-44
    • /
    • 2018
  • Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

Non-linear performance analysis of existing and concentric braced steel structures

  • Erdem, R. Tugrul
    • Steel and Composite Structures
    • /
    • v.19 no.1
    • /
    • pp.59-74
    • /
    • 2015
  • Since there are several places located in active seismic zones in the world, serious damages and losses have happened due to major scaled earthquakes. Especially, structures having different irregularities have been severely damaged or collapsed during these seismic events. Behavior of existing structures under several loading conditions is not completely determined due to some uncertainties. This situation reveals the importance of design and analysis of structures under seismic effects. Several non-linear static procedures have been developed in recent years. Determination of the seismic safety of the existing structures and strengthening techniques are significant civil engineering problems Non-linear methods are defined in codes to determine the performance levels of structures more accurately. However, displacement based ones give more realistic results. These methods provide more reliable evaluation possibilities for existing structures with developing computer technology. In this study, non-linear performance analysis of existing and strengthened steel structures by X shaped bracing members with 3, 5 and 7 stories which have soft story irregularity is performed according to FEMA-356 and Turkish Earthquake Code-2007. Damage ratios of the structural members and global performance levels are determined as well as modal properties and story drift ratios after non-linear finite elements analysis for each structure.

A Study on Resonance and Interference of a Cooling Fan Assembly by Using FEM (유한요소법을 이용한 쿨링팬의 진동 및 간섭에 관한 연구)

  • 정일호;송하종;박태원;김주용
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2004.05a
    • /
    • pp.919-924
    • /
    • 2004
  • A CFA(Cooling Fan Assembly) is composed of a fan, motor and shroud, which is at the back of the automotive radiator. By forcing the wind to pass, the CFA controls the cooling performance of the radiator. The noise and vibration of the CFA may be primarily due to the resonance between the CFA and engine. The Interference among the fan, shroud and radiator by deformation is considered when the CFA is designed. In this paper, in order to analyze the structural vibration of the CFA for automobiles, a finite element model of the CFA is established by using a commercial FEM code. After the finite element modeling, the natural frequencies and the mode shapes are obtained from the FE analysis. The natural frequencies are obtained from the vibration test as well. Then, the results of the vibration test are compared with those of the FE analysis. The natural frequencies obtained by experiment have a great similarity to the results from FE model. We have confirmed the validity of the FE model and verify the structural safety for the resonance. The stress and displacements are obtained from FE analysis. We have confirmed the safety for the interference and failure.

  • PDF

A Study on the Development of Structural Analysis Program using MATLAB Language (MATLAB 언어를 이용한 구조해석 프로그램 개발에 관한 연구)

  • 배동명;강상중
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.36 no.4
    • /
    • pp.347-353
    • /
    • 2000
  • The construction and ability of CAE program are presented. The merit and ability of MATLAB which is widely using in the field of recently engineering and natural science are also introduced. Also, analysis program of frame structure used the MATLAB language which is divide in 4th generation language is presented. In this paper, the proposed program using MATLB language to be based upon the composition of general CAE program is composed to preprocess, solver and post-process procedure. And it is able to carried out the static and eigenvalue analysis of truss structure and two dimensional frame structure. Also, for the sample pre-processing and post-processing, it is used the characteristic of input window and plot window to be made of the various GUI function. Each finite elements to be required for analysis is formulated by the Galerkin's method, as a kind of weighted residual method. For check of the results of calculation for program used in this paper, the results to be calculated using program to be developed by the author was compared with its of ANSYS code for general structural analysis about two dimensional truss and frame structure.

  • PDF

Generating Malware DNA to Classify the Similar Malwares (악성코드 DNA 생성을 통한 유사 악성코드 분류기법)

  • Han, Byoung-Jin;Choi, Young-Han;Bae, Byung-Chul
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.23 no.4
    • /
    • pp.679-694
    • /
    • 2013
  • According to the national information security white paper 2013, the number of hacking attempt in 2012 is 17,570 which is increased by 67.4% than in 2011, and it has been increasing year after year. The cause of this increase is considered as pursuit of monetary profit and diversification techniques of infection. However, because the development of malicious code faster than the increase in the number of experts to analyze and respond the malware, it is difficult to respond to security threats due to malicious code. So, the interest on automatic analysis tools is increasing. In this paper, we proposed the method of malware classification by similarity using malware DNA. It helps the experts to reduce the analysis time, to increase the correctness. The proposed method generates 'Malware DNA' from extracted features, and then calculates similarity to classify the malwares.

Analyzing Differences of Binary Executable Files using Program Structure and Constant Values (프로그램의 구조와 상수 값을 이용하는 바이너리 실행 파일의 차이점 분석)

  • Park, Hee-Wan;Choi, Seok-Woo;Seo, Sun-Ae;Han, Tai-Sook
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.7
    • /
    • pp.452-461
    • /
    • 2008
  • Binary diffing is a method to find differences in similar binary executables such as two different versions of security patches. Previous diffing methods using flow information can detect control flow changes, but they cannot track constant value changes. Biffing methods using assembly instructions can detect constant value changes, but they give false positives which are due to compiling methods such as instruction reordering. We present a binary diffing method and its implementation named SCV which utilizes both structure and value information. SCV summarizes structure and constant value information from disassembled code, and matches the summaries to find differences. By analyzing a Microsoft Windows security patches, we showed that SCV found necessary differences caused by constant value changes which the state-of-the-art binary diffing tool BinDiff failed to find.

Shock Response Analysis under Underwater Explosion for Underwater Ship using ALE Technique (ALE기법을 이용한 수중함의 수중폭발 충격응답 해석에 관한 연구)

  • Kim, Jae-Hyun
    • Journal of the Korean Society for Marine Environment & Energy
    • /
    • v.10 no.4
    • /
    • pp.218-226
    • /
    • 2007
  • In modern naval ships, the design of submarines has continually evolved to improve survivability and it is also important to design ship against shock response. Exiting underwater ship design has been peformed due to results of static analysis considering shock acceleration by simple method. However, it can not be anticipated good assesment. The present study applied the Arbitrary Lagrangian-Eulerian (ALE) technique, a fluid-structure interaction approach, to simulate an underwater explosion and investigate the survival capability of a damaged submarine liquefied oxygen tank. The Lagrangian-Eulerian coupling algorithm and the equations of state for explosives and seawater were also reviewed. It is shown that underwater explosion analysis using the ALE technique can accurately evaluate structural damage after attack. This procedure could be applied quantitatively to real structural design.

  • PDF