• 한국컴퓨터정보학회논문지
• /
• 제13권2호
• /
• pp.31-40
• /
• 2008

지금까지 C 언어에 대한 다양한 코딩 스타일이 제시되어 왔으나 코딩 스타일에 대한 종합적인 검토가 부족하였다. 본 논문에서는 대표적인 C 코딩 스타일에 포함된 코딩 규칙들을 분석하고 그 외에 새로운 코딩 규칙들을 추가함으로써 새로운 C 코딩 스타일을 제안하고 있다 아울러 CStyler라고 명명한 자동화된 C 코딩 스타일 검증기를 설계하였으며 Lex와 Yacc를 활용하여 이를 구현하였다. CStyler는 전처리가 수행된 후의 코드뿐만 아니라 전처리가 수행되기 전의 소스 코드에 대해서도검증이 가능하도록 설계되었으며, 사용자가 새로운 코딩 규칙을 추가할 수 있도록 함으로써 유연성을 개선하였다. 본 논문에서 제시한 코딩 스타일과 코딩 스타일 검증기는 C 언어 교육과 향후 정적 분석 도구를 개발하고 확장하기 위한 연구에 활용될 수 있을 것으로 사료된다.

• Structural Engineering and Mechanics
• /
• 제37권5호
• /
• pp.509-527
• /
• 2011

The paper investigates the dynamic buckling behaviour of a laminated composite stiffened cylindrical shell using the commercial finite element code ABAQUS. The numerical model of the composite shell is validated by static tests. In particular, the experimental collapse test is numerically simulated by a quasi static analysis carried out by both ABAQUS/Standard and ABAQUS/Explicit. The behaviour in the post-buckling field and the collapse load obtained by the analyses are close to the experimental data. The validated model is then used to study the dynamic buckling behaviour with ABAQUS/Explicit. The effects of the loading magnitude and of the loading duration are investigated, implementing in the analysis also first-ply failure criteria. It is observed that the dynamic buckling load is highly affected by the loading duration.

• 산업기술연구
• /
• 제24권A호
• /
• pp.23-28
• /
• 2004

Seat is one of the most important part of an automobile for passenger's safety especially when an accident happens. A recliner is a part of the seat assembly, having the function of adjusting the back-plate angle of a seat. Recently, many kinds of vehicles have adopted the round recliner module rather than the conventional types of recliners because of its broad compatibility and structural simplicity. In this study a two-dimensional finite element strength analysis has been performed using a commercial code ABAQUS/Standard for the purpose of developing a new round recliner model. The loading condition for the analysis is the same as the FMVSS 301 regulation. The finite element result for the round recliner has been compared with that for the conventional type.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2001년도 추계학술대회 논문집
• /
• pp.275-281
• /
• 2001

In the sheet metal forming process, the drawbead is used to control the flow of material during the forming process. The drawbead provides proper restraining force to the material and prevents defects such as wrinkling or breakage. For these reasons, many studies for designing the effective drawbead have been conducted. In this paper, the effect of the drawbead shape will be introduced. For the analysis, the numerical method called the static-explicit finite element method was used. The finite element analysis code for this method has been developed and applied to the drawbead process problems. In result, convergence problem and computation time due to large non-linearity in the existing numerical analysis methods were no longer a critial Problem. Futhermore, this approach could treat the contact friction problem easily by applying very small time intervals. It is expected that various results from the numerical analysis will give very useful information for the design of tools in sheet metal forming process.

• Structural Engineering and Mechanics
• /
• 제62권2호
• /
• pp.209-224
• /
• 2017

Elevated water tanks are considered as important structures due to its post-earthquake requirements. Elevated water tank on reinforced concrete frame staging is widely used in India. Different response reduction factors depending on ductility of frame members are used in seismic design of frame staging. The study on appropriateness of response reduction factor for reinforced concrete tank staging is sparse in literature. In the present paper a systematic study on estimation of key components of response reduction factors is presented. By considering the various combinations of tank capacity, height of staging, seismic design level and design response reduction factors, forty-eight analytical models are developed and designed using relevant Indian codes. The minimum specified design cross section of column as per Indian code is found to be sufficient to accommodate the design steel. The strength factor and ductility factor are estimated using results of nonlinear static pushover analysis. It was observed that for seismic design category 'high' the strength factor has lesser contribution than ductility factor, whereas, opposite trend is observed for seismic design category 'low'. Further, the effects of staging height and tank capacity on strength and ductility factors for two different seismic design categories are studied. For both seismic design categories, the response reduction factors obtained from the nonlinear static analysis is higher than the code specified response reduction factors. The minimum dimension restriction of column is observed as key parameter in achieving the desired performance of the elevated water tank on frame staging.

• 한국융합학회논문지
• /
• 제10권9호
• /
• pp.47-53
• /
• 2019

본 논문은 소프트웨어 및 제품의 개발운영 및 개발보안운영에 대한 특성을 검토하고 소프트웨어 코드 관점에서 사용 분석도구를 고찰하였다. 또한 보안 설계규칙을 고려할 때 인적인 요소의 중요성과 이를 강화해야 할 필요성이 강조되었다. 본 논문에서는 개발보안운영을 고려할 때 절차적인 요소의 관점에서 신속하고 정확한 의사결정에 중점을 두고 변화를 관리하는 안전한 프로세스에 대해 분석하였다. 또한 본 논문에서는 개발보안운영 특성과 관련하여 성숙도 모델 분석의 필요성을 논의하였고, 이에 따른 동적인 요소와 정적인 요소의 강도 및 통합 요소에 대한 세부 절차를 통해 분석요소의 의미를 분석하였다. 본 논문에서는 위협모델링 및 컴플라이언스 그리고 통제를 위한 스캔 활동이나 코드 분석과 같은 요소에 대해서도 분석하였다.

• 한국항공우주학회지
• /
• 제49권6호
• /
• pp.473-480
• /
• 2021

소형 무인비행체 드론의 비행제어기(Flight Controller) 소프트웨어로 널리 사용되고 있는 오픈소스(Open Source)에 대한 정적분석(Static Analysis)을 통해 소프트웨어 품질의 문제점을 분석하고 개선 방안을 제시한다. 소프트웨어 품질 기준으로는 국제적으로 널리 적용되고 있는 MISRA 코딩 규칙을 선정하였으며, 정적분석 도구는 국제 도구인증(Tool Certification)을 받아 항공분야 뿐만 아니라 안전성(Safety)이 요구되는 자동차, 철도, 원자력, 의료 등 모든 산업에서 활용되고 있는 LDRA Tool을 사용하였다. 오픈소스 모듈의 구조, 사용 데이터 분석, 코딩 규칙 준수, 품질 지표(복잡도 및 시험성) 등 소프트웨어의 품질 전반에서 안전성을 위협하는 문제점들을 발견하였으며, 이에 대한 개선 방안을 제시하였다.

• 정보보호학회논문지
• /
• 제31권2호
• /
• pp.263-277
• /
• 2021

자바스크립트로 작성된 웹 어플리케이션에서 Cross-Site Scripting (XSS), SQL Injection과 같은 검증되지 않은 사용자 입력 데이터로 인해 발생하는 취약점을 탐지하기 위해 오염 분석 기법이 널리 사용되고 있다. 이러한 취약점을 탐지하기 위해서는 사용자 입력 데이터에 영향을 받는 변수들을 추적하는 것이 중요하지만, 자바스크립트의 동적인 특성으로 인해 웹 어플리케이션을 실행해 보지 않고 그러한 변수들을 식별하는 것은 매우 어렵다. 때문에, 기존의 오염 분석 도구들은 대상 어플리케이션을 실행하는 오버헤드가 존재하는 동적 오염 분석을 사용하도록 개발되었다. 본 논문에서는 타입스크립트(자바스크립트의 상위집합) 컴파일러를 활용해 얻은 심볼 정보를 기반으로 데이터의 흐름을 정확히 추적하고, 타입스크립트 코드에서 보안 취약점을 발견하는 새로운 정적 오염 분석 기법을 제안하였다. 제안한 기법은 개발자가 검증되지 않은 사용자 입력 데이터를 포함할 수 있는 변수에 표시를 할 수 있도록 하며, 이를 활용해 사용자 입력 값에 영향을 받는 변수와 데이터를 추적한다. 제안한 기법은 TypeScript 컴파일러에 원활히 통합될 수 있기 때문에, 별도의 도구로 작동하는 기존 분석 도구와 달리 개발자가 개발 과정에서 취약점을 발견할 수 있게 한다. 제안한 기법의 유효성을 확인하기 위해 프로토타입을 구현하였으며, 취약점이 보고된 8개의 웹 어플리케이션을 선정하여 분석을 수행하여 성능을 평가한 결과 기존의 취약점을 모두 탐지할 수 있음을 확인하였다.

• Steel and Composite Structures
• /
• 제48권6호
• /
• pp.625-639
• /
• 2023

In this paper, a Taguchi-based finite element method (FEM) has been proposed and implemented to assess optimal design parameters for minimum static deflection in laminated composite plate. An orthodox mathematical model (based on higher-order shear deformation plate theory and Green-Lagrange geometrical nonlinearity) has been used to compute the nonlinear central deflection values of laminated composite plates according to Taguchi design of experiment via a self-developed MATLAB computer code. The lay-up scheme, aspect ratio, thickness ratio and the support conditions of the laminated composite plate structure were designated as the governable design parameters. Analysis of variance (ANOVA) is used to investigate the effect of diverse control factors on the nonlinear static responses. Moreover, regression model is developed for predicting the desired responses. The ANOVA revealed that the lay-up scheme alongside the support condition plays vital role in minimizing the central deflection values of laminated composite plate under uniformly distributed load. The conformity test results of Taguchi analysis are also in good agreement with the numerical experimentation results.

• 한국공작기계학회논문집
• /
• 제11권2호
• /
• pp.80-86
• /
• 2002

Previous method of computer simulation to predict the dynamic response of a vehicle has been based on the assumption that vehicle structure is rigid. If the flexibility of the vehicle structure becomes too large to ignore, rigid body assumption will no longer give good estimation of the dynamic characteristics. Therefore, in order to predict more precise vehicle dynamic characteristics, flexible multi-body dynamic analysis of a vehicle is necessary. This paper investigates dynamic characteristics of vehicle systems with flexible frames numerically. Joint reaction forces, vertical accelerations, pitch accelerations are analyzed for the vehicle systems with various flexible frames using multi-body dynamic analysis code and finite element analysis code.