• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.773-778
• /
• 2010

국제 웹 어플리케이션 보안 연구 단체(OWASP)는 2007년에 이어 2010년에도 취약점 대부분이 사용자의 외부 데이터 입력에 기인한 것으로 발표했다. 이러한 오염된 입력 데이터는 실행 시점에서 결정되기 때문에 동적인 취약점 분석이 필요하다. 동적 분석 방법은 주로 실행 시점의 데이터 분석이나 경로 흐름 분석을 위해 인스트루먼트를 코드 내에 삽입 한다. 하지만 직접적인 코드의 삽입은 관리와 확장이 어려워 분석 범위와 대상이 증가할 때 마다 코드 조각들이 흩어지게 된다. 게다가 인스트루먼트 모듈과 시험 대상 모듈 간의 결합도가 높아진다. 따라서 개발이나 유지보수 단계에서 삽입한 분석 코드를 수정하거나 확장하는데 많은 노력이 필요하게 된다. 본 논문은 이러한 문제점을 해결하기 위해 AOP를 이용하여 취약점을 하나의 관심사로 분류함으로써 결합도의 증가 없이 삽입, 삭제와 유연한 확장이 용이한 방법을 제안한다.

• 한국전자통신학회논문지
• /
• 제10권1호
• /
• pp.39-46
• /
• 2015

본 논문은 유니코드 한글글자마디부호를 사용할 때 스크램블링으로 인하여 회선부호기의 데이터 전송효율에 미치는 영향을 연구하였다. 회선부호기의 스크램블링은 원천부호의 문제를 해결하기 위한 것이다. 본 논문은 장거리전송에 사용되는 AMI회선부호화에 적용하는 국제표준방식인 HDB-3 스크램블링 방식을 토대로 하였다. 본 연구에 필요한 한글글자마디와 이에 대한 사용빈도는 국립국어원의 한국어자료를 분석한 데이터를 사용하였다. 연구결과 유니코드 한글글자마디에서 평균 24%의 스크램블링이 발생하였다. 유니코드 한글글자마디부호에 참고된 한글글자마디를 적용할 경우에 평균 27%의 스크램블링이 발생하였다. 유니코드 총 11,172개의 한글글자마디에서 스크램블링이 발생하지 않는 글자마디는 총 8,928개였다. 그러므로 참고된 한글글자마디 총1,540자를 스크램블링이 발생하지 않는 부호영역에 수용하여 스크램블링이 발생되지 않는 원천부호체계를 만드는 것이 가능하다는 결론을 도출하였다. 새로운 한글글자마디 부호체계를 적용할 경우, 27%의 스크램블링을 완전히 제거할 수 있다. 또한 물리계층의 회선 부호화기에서 발생하는 스크램블링을 표현계층에서 소프트웨어 적으로 수행하게 되어, 회선부호기의 데이터전송처리 효율을 최소 27%이상 제고시킬 수 있다.

• 디지털융복합연구
• /
• 제11권7호
• /
• pp.165-171
• /
• 2013

코딩 패턴이란 소스 코드에 자주 나타나는 전형적인 코드 조각이다. 소프트웨어에서 로깅이나 동기화 처리 등 모듈화가 곤란한 기능과 프로그래밍의 상용구 등이 코딩 패턴으로 추출된다. 기존에 소스 코드에 대한 패턴 마이닝을 이용한 코딩 패턴 감지 방법이 제안되었지만, 수동으로 조사 가능한 코딩 패턴의 수는 한정되어 있기 때문에 대규모 소프트웨어 등에 대한 충분한 분석은 할 수 없다. 본 논문에서는 개발자가 분석하고자 하는 코딩 패턴만을 추출하는 것을 목표로 코딩 패턴의 특성 평가 척도로 6개의 지표를 선정하여 4개의 오픈 소스에 대한 분석을 실시했다. 매트릭스 사이의 값의 관계와 실제 패턴의 특징을 분석한 결과, 패턴의 인스턴스 수, 인스턴스의 분포의 넓이, 패턴의 요소에 포함되는 반복 구조 비율 등의 지표 등을 분석해야 패턴 선택에 도움이 되는 것을 확인했다.

• Nuclear Engineering and Technology
• /
• 제54권4호
• /
• pp.1516-1525
• /
• 2022

Interfacing the output of severe accident analysis with the input of radiological consequence analysis is an important and mandatory procedure at the beginning of Level 3 PSA. Such interfacing between the severe accident analysis code MELCOR and MACCS, one of the most commonly used consequence analysis codes, is relatively tractable since they share the same chemical groups, and the related interfacing software, MelMACCS, has already been developed. However, the linking between MAAP, another frequently used code for severe accident analyses, and MACCS has difficulties because MAAP employs a different chemical grouping method than MACCS historically did. More specifically, MAAP groups by chemical compound, while MACCS groups by chemical element. An appropriate interfacing method between MAAP and MACCS has therefore long been requested by users. This study suggests a way of extracting relevant information from MAAP results and providing proper source term information to MACCS by an appropriate treatment. Various parameters are covered in terms of magnitude and manner of release in this study, and special treatment is made for a bypass scenario. It is expected that the suggested approach will provide an important contribution as a guide to interface MAAP and MACCS when performing radiological consequence analyses.

• 한국항공우주학회지
• /
• 제36권7호
• /
• pp.634-641
• /
• 2008

자동 미분은 기울기나 Jacobian과 같은 민감도를 자동으로 생성해주는 도구이다. 자동 미분은 수학적으로 정확한 민감도를 계산해준다. 본 논문에서는 자동 미분의 공학 계산에 대한 적용에 대해 살펴보았다. 자동 미분을 이용해 구조 해석 코드와 유동장 해석 코드의 미분 코드를 생성하였다. 본 논문은 자동 미분의 적용에 대해 기술하였으며 자동 미분의 정확성 검증을 위해 유한 차분과 비교하였다. 미분 코드의 결과는 유한 차분과 잘 일치하였으나 계산 시간이 증가하였다. 생성된 미분 코드의 추가적인 수정을 통해 계산의 단축이 가능함을 확인하였다.

• 천문학회지
• /
• 제28권2호
• /
• pp.223-243
• /
• 1995

We describe the implementation of a multi-dimensional numerical code to solve the equations for idea! magnetohydrodynamics (MHD) in cylindrical geometry. It is based on an explicit finite difference scheme on an Eulerian grid, called the Total Variation Diminishing (TVD) scheme, which is a second-order-accurate extension of the Roe-type upwind scheme. Multiple spatial dimensions are treated through a Strang-type operator splitting. Curvature and source terms are included in a way to insure the formal accuracy of the code to be second order. The constraint of a divergence-free magnetic field is enforced exactly by adding a correction, which involves solving a Poisson equation. The Fourier Analysis and Cyclic Reduction (FACR) method is employed to solve it. Results from a set of tests show that the code handles flows in cylindrical geometry successfully and resolves strong shocks within two to four computational cells. The advantages and limitations of the code are discussed.

• Nuclear Engineering and Technology
• /
• 제48권6호
• /
• pp.1291-1302
• /
• 2016

This paper presents a new and efficient scheme to determine the optimal neutron source position in a model near-equilibrium pressurized water reactor, which is based on the OPR1000 Hanul Unit 3 Cycle 7 configuration. The proposed scheme particularly assigns importance of source positions according to the local adjoint flux distribution. In this research, detailed pin-by-pin reactor adjoint fluxes are determined by using the Monte Carlo KENO-VI code from solutions of the reactor homogeneous critical adjoint transport equations. The adjoint fluxes at each allowable source position are subsequently ranked to yield four candidate positions with the four highest adjoint fluxes. The study next simulates ex-core detector responses using the Monte Carlo MAVRIC code by assuming a neutron source is installed in one of the four candidate positions. The calculation is repeated for all positions. These detector responses are later converted into an inverse count rate ratio curve for each candidate source position. The study confirms that the optimal source position is the one with very high adjoint fluxes and detector responses, which is interestingly the original source position in the OPR1000 core, as it yields an inverse count rate ratio curve closest to the traditional 1/M line. The current work also clearly demonstrates that the proposed adjoint flux-based approach can be used to efficiently determine the optimal geometry for a neutron source and a detector in a modern pressurized water reactor core.

• Wind and Structures
• /
• 제15권3호
• /
• pp.209-221
• /
• 2012

The flutter reliability analysis of long span bridges requires use of a software tool that predicts the uncertainty in a flutter response due to uncertainties in the model formulation and input parameters. Existing flutter analysis numerical codes are not capable of dealing with stochastic uncertainty in the analysis of long span bridges. The goal of the present work is to develop a software tool (FREASB) to enable designers to efficiently and accurately conduct flutter reliability analysis of long span bridges. The FREASB interfaces an open-source Matlab toolbox for structural reliability analysis (FERUM) with a typical deterministic flutter analysis code. The paper presents a brief introduction to the generalized first-order reliability method implemented in FREASB and key steps involved in coupling it with a typical deterministic flutter analysis code. A numerical example concerning flutter reliability analysis of a long span suspension bridge with a main span of 1385 m is presented to demonstrate the application and effectiveness of the methodology and the software.

• 한국컴퓨터정보학회논문지
• /
• 제21권8호
• /
• pp.65-75
• /
• 2016

In this paper, we present a novel approach to help MSR researchers obtain necessary data with a tool, termed General Purpose Extractor for Source code (GPES). GPES has a single function extracts high-quality data, e.g., the version history, abstract syntax tree (AST), changed code diff, and software quality metrics. Moreover, features such as an AST of other languages or new software metrics can be extended easily given that GPES has a flexible data model and a component-based design. We conducted several case studies to evaluate the usefulness and effectiveness of our tool. Case studies show that researchers can reduce the overall cost of data analysis by transforming the data into the required formats.

• 한국안전학회지
• /
• 제19권1호
• /
• pp.102-107
• /
• 2004

Performance based design is a recent evolutionary step in the process of designing fire protection systems. In essence, it is a logical design process resulting in a solution that achieves a specified performance. Sometimes the prescriptive solutions presented in various codes and standards are too expensive or inflexible. Often the solutions do not and enables optimization of a solution for cost and function. In this study, performance based design was carried out to determine the extent of passive fire protection for oil terminal facilities. The results of performance based design were compared with those of prescriptive code based design. Performance based design is not always more economic than prescriptive code based design but provides more reliable and effective design that is fit for the purpose.