• 제목/요약/키워드: Static Analyzer

검색결과 78건 처리시간 0.027초

정적 분석을 이용한 안전한 한글 프로그래밍 언어의 개발 (Development of Safe Korean Programming Language Using Static Analysis)

  • 강도훈;김연어;우균
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제5권4호
    • /
    • pp.79-86
    • /
    • 2016
  • 소프트웨어 보안 사고의 약 75%는 소프트웨어 취약점으로 인해 발생한다. 또한, 제품 출시 후 결함 수정 비용은 설계 단계의 수정 비용보다 30배 이상 많다. 이러한 배경에서, 시큐어 코딩은 유지 보수 문제를 해결하는 방법 중 하나로 제안되었다. 다양한 연구 기관에서는 소프트 웨어 보안 약점의 표준 양식을 제시하고 있다. 새로운 한글 프로그래밍 언어 새싹은 언어 수준에서 보안 약점 해결 방법을 제안하였다. 그러나 이전 연구의 새싹은 API에 관한 보안 약점을 해결하지 못하였다. 본 논문에서는 API에 의한 보안 약점을 해결하는 방법을 제안한다. 이 논문에서 제안하는 방법은 새싹에 위험한 메소드를 검사하는 정적 분석기를 적용하는 것이다. 위험한 메소드는 오염된 데이터 유입 메소드와 오염된 데이터 사용 메소드로 분류한다. 분석기는 위험한 메소드 탐색, 호출 그래프 구성, 호출 그래프를 바탕으로 유입 메소드와 사용 메소드간의 경로 탐색, 검출된 보안 약점 분석 순으로 4단계에 걸쳐 보안 약점을 분석한다. 이 방법의 효율성을 측정하기 위해 정적 분석기를 적용한 새로운 새싹을 이용하여 두 가지 실험을 실행하였다. 첫 번째 실험으로서 이전 연구의 새싹과 개선된 새싹을 Java 시큐어 코딩 가이드를 기준으로 비교하였다. 두 번째 실험으로써 개선된 새싹과 Java 취약점 분석 도구인 FindBugs와 비교하였다. 결과에 따르면, 개선된 새싹은 이전 버전의 새싹보다 15% 더 안전하고 개선된 새싹의 F-measure는 68%로써 FindBugs의 59%인 F-measure와 비교해 9% 포인트 증가하였다.

NaCl 수용액에 담근 Hydroxyapatite 코팅된 타이타늄 시편의 표면 변화 (The Surface Characteristic Changes of Hydroxyapatite Coated Ti Disc When Immersed in NaCl Solution)

  • 백연화;김명주;권호범;임영준
    • 구강회복응용과학지
    • /
    • 제28권4호
    • /
    • pp.339-347
    • /
    • 2012
  • Hydroxyapatite 코팅 임플란트의 세포반응성을 증가시키기 위한 다양한 연구들이 진행되어 왔다. 본 연구에서는 Hydroxyapatite 코팅된 타이타늄 시편을 NaCl 수용액에 다양한 기간 동안 담그어 놓았을 때 발생하는 표면거칠기, 표면접촉각, 표면에너지 등의 표면 특성의 변화를 관찰하였다. Hydroxyapatite 코팅 타이타늄 시편을 0.9% NaCl 용액에 담근 후 각각 7일, 14일, 21일간 $37^{\circ}C$를 유지하였다. 담그지 않은 동일한 시편을 대조군으로 하였다.(n=3) 모든 시편을 공기 중에서 완전 건조 후 공초점레이저주사현미경(CLSM)를 이용하여 표면거칠기를 측정하였다. 증류수를 시편 표면에 떨어뜨린 후 표면접촉각을 video contact angle analyzer를 이용하여 측정하였고 세 가지 용액을 떨어뜨려 접촉각을 측정하여 표면에너지를 산출하였다. 표면을 관찰하기 위해 Field Emission-Scanning Electron Microscope 촬영을 시행하였다. 본 연구 결과 Hydroxyapatite 시편을 Nacl 수용액에 담그는 간단한 방법을 통해 표면거칠기 및 친수성이 증가하는 것을 관찰할 수 있으며, 이러한 표면특성의 개선을 통하여 세포반응성이 증가하는 것을 기대할 수 있다.

$Co_{90}Fe_{10}$ 박막 및 $Co_{90}Fe_{10}/SiO_2$ 다층박막의 고주파 자기특성 (High Frequency Magnetic Characteristics of $Co_{90}Fe_{10}$ Thin Films and $Co_{90}Fe_{10}/SiO_2$ Multilayers)

  • 윤의중;진현준;박노경;문대철;김좌연
    • 한국자기학회지
    • /
    • 제8권5호
    • /
    • pp.300-307
    • /
    • 1998
  • Co90Fe10 단일박막층은 고진공 RF magnetron sputtering 장비를 이용하여 여러 가지 기판(glass, Si, polyimide) 위에 적층되었고 ~1000$\AA$ 두께를 가진 Co90Fe10 박막은 우수한 고주파 자기특성을 나타내었다. 10$\times$[100 nm co90Fe10/ 100 nm SiO2] 다층 박막의 자화값은 예측된 값과 거의 일치하였으며 Han값(=124 Oe)도 예측된 30$\leq$Han$\leq$125 Oe 범위 내에 있음을 알 수 있었다. 자성 다층 박막의 자화율(=$\mu$,=$\mu$,-j$\mu$r")의 주파수 특성은 자성 다층 박막과 도체로 이루어진 층상구조를 갖는 microstrip line을 network analyzer에 연결하여 전송 특성(S11, S21 파라미터)을 측정함으로써 얻어졌다. $\mu$,"의 주파수 특성은 S-파라미터로 분석되는 magnetic absorption으로부터 얻어졌다. 또한 $\mu$r'의 주파수 특성은 Kramers-Kronig 관계식을 사용하여 $\mu$r"의 주파수 특성으로부터 계산되었다. 이와 같이 얻어진$\mu$r의 주파수 특성 (static 자화율, 공진 주파수)은 계산에 의해서 얻어진 값들과 잘 일치된다는 것을 확인하였다.일치된다는 것을 확인하였다.

  • PDF

유전율법을 이용한 다공질 매질의 공극률 및 유효공극률의 측정에 관한 연구 (Determination of porosity and effective porosity of saturated porous media using a permittivity method in the laboratory)

  • 김만일;니시가끼마코토
    • 지질공학
    • /
    • 제13권4호
    • /
    • pp.419-428
    • /
    • 2003
  • 지반을 대상으로 지하수의 이동 및 오염물질 침투에 대한 평가를 위해, 지반을 구성하고 있는 매질의 공극률과 유효공극률을 파악하는 것은 매우 중요하다. 이들은 물질 이동을 결정하는 중요한 물리적 파라메터이다. 본 연구에서는 새로운 유전율 시스템인 FOR-V (Frequency domain reflectometry with vector network analyzer)를 적용하여 표준사 (Standard sand)와 강모래 (River sand)에 대한 공극률 및 유효공극률을 측정하기 위한 실험적 연구를 실시하였다. 또한, 이들을 측정하기 위해, 다공질 매질에 대한 유전율상수의 특성을 고려한 유전율 믹싱모델 (dielectric FDR-V 시스템을 적용한 주입실험 (Injection test)과 주입물질의 농도를 측정하는 치환실험 (Replacement test)을 수행하였다. 두 종류의 실험 결과치를 비교한 결과, 측정된 유효공극률을 공극률과 비교해 보면, 약 85 - 92 %의 범위 내에 존재하는 것으로 측정되었다. 일반적인 흙의 유효공극률은 공극률에 대해 약 90 % 범위 내에 분포하고 있는 것으로 알려져 있으나, 본 연구에서는 다소 낮은 결과치를 보이고 있다. 이러한 현상은 시스템의 측정 프로브의 측정 범위가 직경 0.36 cm의 동축측정프로브 끝부분에서 이루어져 비교적 작기 때문에 제작된 흙 시료전 체적에 대한 유효공극률의 결과치이기 보다는 프로브가 위치한 지점에 대한 측정치로 판단된다. 이러한 측정 프로브의 특성을 고려해 볼 때, FDR-V 시스템은 연구자가 의도한 연구에 따라 특정 지점에 대한 지반의 정밀한 물리적 특성을 파악할 수 있을 것으로 사료된다.

정상전단유동장에서 반고형 연고기제(바셀린)의 레올로지 거동 (Rheological Behavior of Semi-Solid Ointment Base (Vaseline) in Steady Shear Flow Fields)

  • 송기원;김윤정;이치호
    • Journal of Pharmaceutical Investigation
    • /
    • 제37권3호
    • /
    • pp.137-148
    • /
    • 2007
  • Using a strain-controlled rheometer [Rheometrics Dynamic Analyzer (RDA II)], the steady shear flow properties of a semi-solid ointment base (vaseline) have been measured over a wide range of shear rates at temperature range of $25{\sim}60^{\circ}C$. In this article, the steady shear flow properties (shear stress, steady shear viscosity and yield stress) were reported from the experimentally obtained data and the effects of shear rate as well as temperature on these properties were discussed in detail. In addition, several inelastic-viscoplastic flow models including a yield stress parameter were employed to make a quantitative evaluation of the steady shear flow behavior, and then the applicability of these models was examined by calculating the various material parameters (yield stress, consistency index and flow behavior index). Main findings obtained from this study can be summarized as follows : (1) At temperature range lower than $40^{\circ}C$, vaseline is regarded as a viscoplastic material having a finite magnitude of yield stress and its flow behavior beyond a yield stress shows a shear-thinning (or pseudo-plastic) feature, indicating a decrease in steady shear viscosity as an increase in shear rate. At this temperature range, the flow curve of vaseline has two inflection points and the first inflection point occurring at relatively lower shear rate corresponds to a static yield stress. The static yield stress of vaseline is decreased with increasing temperature and takes place at a lower shear rate, due to a progressive breakdown of three dimensional network structure. (2) At temperature range higher than $45^{\circ}C$, vaseline becomes a viscous liquid with no yield stress and its flow character exhibits a Newtonian behavior, demonstrating a constant steady shear viscosity regardless of an increase in shear rate. With increasing temperature, vaseline begins to show a Newtonian behavior at a lower shear rate range, indicating that the microcrystalline structure is completely destroyed due to a synergic effect of high temperature and shear deformation. (3) Over a whole range of temperatures tested, the Herschel-Bulkley, Mizrahi-Berk, and Heinz-Casson models are all applicable and have an almostly equivalent ability to quantitatively describe the steady shear flow behavior of vaseline, whereas the Bingham, Casson,and Vocadlo models do not give a good ability.

신뢰도에 근거한 말뚝의 지지력 평가 (Reliability Based Pile Bearing Capacity Evaluation)

  • 이인모;조국환;이정학
    • 한국지반공학회지:지반
    • /
    • 제11권1호
    • /
    • pp.9-22
    • /
    • 1995
  • 본 연구의 목적은 신뢰도해석에 근거한 말뚝의 여러가지 지지력 예측방법들의 안전율을 제시하는데 있다. 각 지지력 결정방법들은 여러가지 불착실성을 포함하고 있으며, 이러한 오차를 고려하기 위해 말뚝재하시험에 의해 측정된 지지력과 예측된 지지력과의 비를 분포함수로 표현할 수 있다. 이 분포함수를 이용하여 파괴확률이 10-3이하가 될 수 있는 말뚝지지력의 안전율을 산정할 수 있다. Bayes' 이론의 적용은 정역학적 지지력 공식을 Prior Distribution으로 가정하고 동역학적 지지력 공식 및 WEAP, PDA를 이용해 산정된 지지력의 분포를 Likelihood Distribution으로 가정하여 적용함으로써 많은 불확실성을 줄일 수 있게 된다. 본 연구결과에서 보면 동역학적 지지력 공식의 안전율은 대략 7.4 정도로 S.P.T.를 이용해 산정된 지지력과 함께 불확실성이 크며, 파동방정식을 이용한 지지력 결정방법인 PDA에 의해 산정된 지지력의 안전율은 약 2.7정도로 가장 신뢰도가 높음을 알 수 있다. 또한 Bayes' 이론을 적용하여 본 결과 안전율을 줄일 수 있었으며 말뚝의 지지력 산정시 이의 응용은 최적설계의 관점에서 많은 도움을 줄 수 있을 것이다.

  • PDF

Measurement of Mechanical and Physical Properties of Pepper for Particle Behavior Analysis

  • Nam, Ju-Seok;Byun, Jun-Hee;Kim, Tae-Hyeong;Kim, Myoung-Ho;Kim, Dae-Cheol
    • Journal of Biosystems Engineering
    • /
    • 제43권3호
    • /
    • pp.173-184
    • /
    • 2018
  • Purpose: This study was conducted to investigate the mechanical and physical properties of a Korean red pepper variety for particle behavior analysis. Methods: Poisson's ratio, modulus of elasticity, shear modulus, density, coefficient of restitution, and coefficient of friction were derived for "AR Legend," which is a domestic pepper variety. The modulus of elasticity and Poisson's ratio were measured through a compression test using a texture analyzer. The shear modulus was calculated from the modulus of elasticity and Poisson's ratio. The density was measured using a water pycnometer method. The coefficient of restitution was measured using a collision test, and the static and dynamic friction coefficients were measured using a inclined plane test. Each test was repeated 3-5 times except for density measurement, and the results were analyzed using mean values. Results: Poisson's ratios for the pepper fruit and pepper stem were 0.295 and 0.291, respectively. Elastic moduli of the pepper fruit and pepper stem were $1.152{\times}10^7Pa$ and $3.295{\times}10^7Pa$, respectively, and the shear moduli of the pepper fruit and pepper stem were $4.624{\times}10^6Pa$ and $1.276{\times}10^7Pa$, respectively. The density of the pepper fruit and the pepper stem were $601.8kg/m^3$ and $980.4kg/m^3$, respectively. The restitution coefficients between pepper fruits, pepper stems, a pepper fruit and a pepper stem, a pepper fruit and plastic, and a pepper stem and plastic were 0.383, 0.218, 0.277, 0.399, and 0.148, respectively. The coefficients of static friction between pepper fruits, pepper stems, a pepper fruit and a pepper stem, a pepper fruit and plastic, and a pepper stem and plastic were 0.455, 0.332, 0.306, 0.364, and 0.404, respectively. The coefficients of dynamic friction between a pepper fruit and plastic and a pepper stem and plastic were 0.043 and 0.034, respectively.

XPDL 기반 워크플로우 모델 분석 도구 (An XPDL-based Workflow Model Analyzer)

  • 송지혜;김광훈
    • 인터넷정보학회논문지
    • /
    • 제11권6호
    • /
    • pp.145-157
    • /
    • 2010
  • 본 논문에서는 엔터프라이즈 워크플로우의 자원할당 및 성능개선을 위한 워크플로우 모델 (또는 비즈니스 프로세스 모델) 분석 도구의 설계 및 구현에 관하여 기술한다. 즉, 엔터프라이즈 워크플로우 모델의 분석기법은 크게 정적인 분석기법과 동적인 분석기법으로 나눠지는데, 본 논문에서 제안하는 분석기법은 정적인 분석기법에 해당하며, 국제표준화기구 WfMC의 표준 참조모델 중 인터페이스-1의 프로세스 정의 언어인 XPDL (XML Process Definition Language)을 기반으로 하는 워크플로우 모델의 구조적 패턴분석과 정의된 자원할당계획의 효율성분석을 지원하는 분석도구를 설계 및 구현한다. 결과적으로, 본 연구에서 제시한 분석도구는 워크플로우 모델을 워크플로우 관리시스템에서 실행하기 이전인 정의시점에서 해당 모델에 대한 유효성 분석을 가능하게 함으로써 엔터프라이즈 자원 할당 계획에 활용할 수 있을 뿐 만 아니라 모델의 정확성, 신뢰성, 효율성을 높이는데 기여할 수 있을 것으로 판단된다.

고주파수 전자기파를 이용한 압밀 포화토 물성치 측정을 위한 연구 (A study on measurement of physical parameters using electromagnetic wave of the compacted saturated soil)

  • 김만일;김형수;석희준
    • 한국지반공학회:학술대회논문집
    • /
    • 한국지반공학회 2005년도 춘계 학술발표회 논문집
    • /
    • pp.354-361
    • /
    • 2005
  • Physical parameters such as porosity and effective porosity are important physical parameters that determine the transfer and movement of water and solutes in porous media. Various methods of determining these parameters have been developed, with varying degrees of accuracy and applicability. Most of the existing methods produce static results. They do not produce instantaneous and real time of porosity and effective porosity in a porous media. In this study, a new permittivity method called Frequency Domain Reflectometry with Vector analyzer (FDR-V) is proposed to determine the porosity and effective porosity of some sand samples in the laboratory. The advantage of the FDR-V method is that it instantaneously determines the temporal variation of dielectric constants of porous media. Then, the porosity and the effective porosity of porous media are computed using well established empirical equations. Results obtained from the FDR-V method compared favorably with results from other permittivity methods such as gravimetric, injection and replacement tests. The ratio of effective porosity to porosity was $85{\sim}92%$, when FDR-V was used. This value compared favourably with 90%, which has been usually quoted in previous studies. Considering the convenience and its applicability, the measurement system of FDR-V permittivity holds a great potential in porous media and contaminant transport studies.

  • PDF

SPT 에너지효율 측정 롯드를 이용한 매입말뚝의 선단지지력 예측 (Prediction of End Bearing Capacity for Pre-Bored Steel Pipe Piles Using Instrumented Spt Rods)

  • 남문석;박영호;박용석
    • 한국지반공학회논문집
    • /
    • 제29권12호
    • /
    • pp.105-111
    • /
    • 2013
  • 국내외에서 널리 사용 중인 표준관입시험(Standard Penetration Test, SPT)은 작업의 용이성, 다양한 지반정수와 강도정수를 결정방법 등의 장점을 지니고 있다. 이러한 SPT 수행시에 발생하는 해머 에너지는 N치의 산정 및 보정에 매우 중요한 영향인자가 된다. SPT시험시 해머 타격에 의하여 롯드로 응력파가 전달되는 현상이 말뚝 항타 시에 발생하는 현상과 동일하다하여 SPT에 PDA장비를 적용하여 관입에너지를 측정하는 방법이 개발되어 사용 중에 있다. 본 연구에서는 SPT 롯드를 말뚝으로 가정하여 SPT 에너지 효율 측정롯드를 SPT시험과 동적콘관입시험에 적용하여 얻어진 힘과 속도의 파형을 매칭기법(CAPWAP, CAse Pile Wave Analysis Program) 분석을 수행하여 매입말뚝에 대한 극한선단지지력을 예측하는 기법을 제안하였다. 또한, SPT 에너지 효율 측정롯드에서 예측된 선단지지력과 실물 말뚝정재하시험을 통하여 산정된 선단지지력을 비교분석하였다. 연구결과를 토대로 SPT나 동적콘관입시험을 통하여 매입말뚝의 지지력을 간편하게 예측할 수 있는 경험식을 제시하였다.