• 제목/요약/키워드: Stack Inspection

검색결과 8건 처리시간 0.022초

Java 스택 인스펙션을 위한 권한 검사 분석 시스템 (Static Permission Check Analysis System for Java Stack Inspection)

  • 김윤경;창병모
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
    • /
    • pp.403-405
    • /
    • 2006
  • Java 2에서는 자원의 접근관리를 위하여 정책파일에 근거한 스택 인스펙션(stack Inspection)기법을 제공하고 있다. 본 논문에서는 스택 인스펙션에 자연스럽게 접근하여 불필요한 권한검사 집합을 구하기 위해 역방향 흐름분석(backward flow analysis) 기법을 사용한 권한검사 시스템을 구현하였다. 이를 통해 정책파일의 내용에 근거하여 각 메소드에서 항상 성공하거나 실패하는 권한검사를 결정하여 보여준다. 또한 권한검사에 대해서 스택 인스펙션하는 과정을 추적해볼 수 있다. 본 시스템을 이용하는 사용자는 불필요한 권한검사를 제거하여 스택 인스펙션을 최적화하거나, 자신의 프로그램에 적절한 보안정책을 세우기 위해 정책파일을 수정하는데 이 분석결과를 활용할 수 있다.

  • PDF

정적분석을 이용한 자바 언어의 권한검사 시각화 시스템 (A Visualization System for Permission Check in Java using Static Analysis)

  • 김윤경;창병모
    • 정보처리학회논문지A
    • /
    • 제13A권5호
    • /
    • pp.399-404
    • /
    • 2006
  • Java 2에서 자원에 대한 접근 권한관리를 위하여 프로그래머는 프로그램 실행에 필요한 권한들을 정책파일(polic file)에 기술하고, 보안관 리자(Security Manager)를 설치하여 프로그램을 수행시킨다. 프로그램 실행 중에 자원에 대한 접근을 시도할 때마다. 보안관리자는 스택 인스펙션을 통해 접근 권한이 있는지 검사한다. 본 논문에서는 프로그래머가 안전한 보안정책을 세우는데 편의를 제공하고자 권한검사 관련 정보를 정적으로 분석하여 시각적으로 보여주는 시스템을 구현하였다. 권한김사 시각화 시스템은 정적 권한검사 분석에 기반하여, 각 메소드 별로 항상 성공하거나 항상 실패하는 권한검사를 계산한다. 프로그래머는 프로그램을 실행시켜보기 전에 권한검사와 스택 인스펙션이 어떻게 수행되는지 시각적으로 확인해 볼 수 있다. 이러한 정보를 토대로 안전한 보안정책을 세우기 위해 프로그램이나 정책파일을 수정할 수 있다.

일반철도 유지보수 합리화를 위한 궤도틀림 기준 연구방향 (A Study of Track Irregularity Standard for Rational Track Maintenance)

  • 김수정;이병혁;이두재;엄종우
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
    • /
    • pp.1624-1630
    • /
    • 2011
  • Currently the train operating environment to affect track irregularity is changed rapidly such as speed-up, linear improvement and rolling stack upgrade. The recent track maintenance criteria of track irregularity was quoted from past Japan's, and the needs of revision of criteria are increased because of the rapid change in train operating environment. In case of enhance the track irregularity criteria, it secure driving safety and riding comfort but maintenance cost are increase. And also decrease ballast durability by frequent corrective work. In case of mitigate the criteria, it decrease driving safety and riding comfort, but save the maintenance cost. The study for enacting rational criteria did not carry out so far. In this study, survey the domestic and international track irregularity and case study for track irregularity inspection results and maintenance history for guideline of enacting irregularity criteria study.

  • PDF

비전 이미지 프로세싱을 이용한 외관검사가 가능한 기계시스템 및 비전 알고리즘 개발 (Development of the Mechenical System and Vision Algorithm for the External Appearance Test Using Vision Image Processing)

  • 김영춘;김영만;김성길;김홍배;조문택
    • 한국산학기술학회논문지
    • /
    • 제17권2호
    • /
    • pp.202-208
    • /
    • 2016
  • 본 논문에서는 저가의 카메라를 활용하여 육안 검사로 해왔던 c-tray와 관련된 불량을 비전 이미지 기술을 활용하여 자동으로 검사하였으며, 4대 검사항목인 트레이내 디바이스 겹침, 트레이 휨, 트레이 적재수량, 트레이내 디바이스 포켓 이탈 등 불량유형을 define 및 검출하는 알고리즘을 개발하였다. 따라서, 개발한 헨들링 시스템으로 인해 c-tray의 스택이나 기타 포장 공정에서의 수량 확인 공정 등에 확대 적용이 가능하였다. 그리고 제어를 활용한 비전 이미지를 처리하고 사용자 gui를 처리하는 제어프로그램과 스캔 속도에 맞춰 최적의 검사 이미지를 확보할 수 있는 기계 작동제어 프로그램을 개발하여 비전 데이터 처리와 이미지 획득이 가능한 기계 시스템을 설계하였다.

고분해능 탄성파 반사법을 이용한 댐체 내부구조 모니터링 연구 (A study on monitoring the inner structure of dam body using high resolution seismic reflection method)

  • 김중열;김형수;오석훈;김유성
    • 한국지구물리탐사학회:학술대회논문집
    • /
    • 한국지구물리탐사학회 2005년도 공동학술대회 논문집
    • /
    • pp.15-20
    • /
    • 2005
  • 댐체 안정성 문제는 무엇보다 투수 내지 누수 과정에서 유발될 수 있는 댐체 내부 결함(예: 균열)에 귀결된다고 볼 수 있다. 이러한 댐체 내부 결함은 댐 붕괴를 조장할 수 있기 때문에 우선 적절한 탐사 기법을 이용하여 그에 대한 위치 및 규모가 파악되어야 하며 그 결과에 따라 그라우팅에 의한 보수 작업 및 그에 대한 성과 검증 작업이 철저히 이루어져야 한다. 본 연구의 조사 대상이 된 댐은 중심 코어형 흙 댐으로 댐 소단 사면에는 누수로 인한 여러 형태의 결함이 관찰되고 있어 그에 대한 진단 및 보수 보강이 필요한 상태였다. 본 연구에서는 댐체 진단 및 그라우팅 성과 판단을 위해 그라우팅 이전(2001년 8월) 및 이후(2004년 11월)에 댐 마루 측선 상에서 고분해능 탄성파 반사법 탐사를 수행하였다. 탐사 자료의 질을 향상시키기 위해 표면파를 약화시키고 P파 반사파 에너지를 증대시킬 수 있는 발생원 에너지 방사형 변조 기법(P빔 발생원)도 응용되었다. 그라우팅 이전 탐사 결과(탄성파 중합단면도)에서는 댐체 내부 균열로 판단되는 강한 반사파가 일부 구간에서 인식되었으며, 그라우팅 이후 탐사 결과에서는 상기 강한 반사파가 인식되지 않음으로써 3년의 시차를 둔 두 개의 탄성파 탐사 결과는 댐체 진단 및 그라우팅 성과 판단을 위한 기본 자료로 반영될 수 있었다. 따라서 고분해능 탄성파 반사법 탐사는 댐 모니터링을 위한 하나의 바람직한 탐사 기법으로 크게 활용될 수 있을 것으로 기대된다.

  • PDF

고분해능 탄성파 반사법을 이용한 댐체 내부구조 모니터링 연구 (A study on Monitoring the Inner Structure of Dam Body Using High Resolution Seismic Reflection Method)

  • 김중열;김형수;오석훈;김유성
    • 지구물리
    • /
    • 제8권1호
    • /
    • pp.1-6
    • /
    • 2005
  • 댐체 안정성 문제는 무엇보다 투수 내지 누수 과정에서 유발될 수 있는 댐체 내부 결함(예: 균열)에 귀결된다고 볼 수 있다. 이러한 댐체 내부 결함은 댐 붕괴를 조장할 수 있기 때문에 우선 적절한 탐사 기법을 이용하여 그에 대한 위치 및 규모가 파악되어야 하며 그 결과에 따라 그라우팅에 의한 보수 작업 및 그에 대한 성과 검증 작업이 철저히 이루어져야 한다. 본 연구의 조사 대상이 된 댐은 중심 코어형 흙 댐으로 댐 소단 사면에는 누수로 인한 여러 형태의 결함이 관찰되고 있어 그에 대한 진단 및 보수 보강이 필요한 상태였다. 본 연구에서는 댐체 진단 및 그라우팅 성과 판단을 위해 그라우팅 이전(2001년 8월) 및 이후(2004년 11월)에 댐 마루 측선 상에서 고분해능 탄성파 반사법 탐사를 수행하였다. 탐사 자료의 질을 향상시키기 위해 표면파를 약화시키고 P파 반사파 에너지를 증대시킬 수 있는 발생원 에너지 방사형 변조 기법(P빔발생원)도 응용되었다. 그라우팅 이전 탐사 결과(탄성파 중합단면도)에서는 댐체 내부 균열로 판단되는 강한 반사파가 일 부 구간에서 인식되었으며, 그라우팅 이후 탐사 결과에서는 상기 강한 반사파가 인식되지 않음으로써 3년의 시차를 둔 두개의 탄성파 탐사 결과는 댐체 진단 및 그라우팅 성과 판단을 위한 기본 자료로 반영될 수 있었다. 따라서 고분해능 탄성파 반사법 탐사는 댐 모니터링을 위한 하나의 바람직한 탐사 기법으로 크게 활용될 수 있을 것으로 기대된다.

  • PDF

트리에틸아민 첨가에 따른 열병합발전소 전기집진장치의 집진효율 특성의 현장 평가 (Field Evaluation of Particulate Control Efficiency of Electrostatic Precipitator in Thermoelectric Power Plant Associated with Addition of Triethyl Amino(TEA))

  • 조완근;전옥상
    • 대한환경공학회지
    • /
    • 제27권4호
    • /
    • pp.445-449
    • /
    • 2005
  • 본 연구의 목적은 실제 가동 장치에 연결된 전기집진장치의 제거효율을 향상시키기 위하여 주입되는 트리에틸아민 주입 조건에 대한 실제 장치의 효능을 평가하는 것이다. 국내 발전소에서는 주로 호주, 중국, 남아프리카 및 미국에서 수입되는 비스무스 석탄을 이용하는데 비록 이러한 수입 석탄의 종류에 따라 발생되는 비산재의 전기저항도값이 다소 차이가 있지만, 석탄 연소시 배출되는 비산재의 대표적인 전기저항도값은 $1{\times}10^{12}\;{\Omega}-cm$ 큰 것으로 나타났다. 이 때문에 국내 대부분의 적기집진기 가동시 백 코로나 문제가 빈번하게 나타난 것으로 확인되었다. 전기집진장치 출구에서 직접 측정된 분진의 농도, 매연도 및 분진의 전기저항도와 집진효율을 동시에 확인한 결과에 따르면, 트리메틸아민의 주입이 전기집진장치의 집진효율을 상당량 증가시키는 것으로 확인되었다. 트리에틸아민 주입 전에 비산재의 전기저항도값이 $1.9{\times}10^{12}\;{\Omega}-cm$이던 것이 15 ppm(순도 99.7%) 주입시 비산재의 전기저항도값이 $2.1{\times}10^{11}\;{\Omega}-cm$으로 감소하였다. 이러한 조건에서 연돌에서 배출되는 분진의 배출량은 대략 80% 정도 감소율을 나타내며 농도 대비 $70\;mg/Sm^3$ to $14\;mg/Sm^3$수준이었다.

터널 지보구조 진단을 위한 초음파 스윕 발생원의 반사법 응용 가능성 연구 - 모형실험을 중심으로 - (Study on the Applicability of Reflection Method using Ultrasonic Sweep Source for the Inspection of Tunnel Lining Structure - Physical Modeling Approach -)

  • 김중열;김유성;신용석;현혜자
    • 한국지반공학회:학술대회논문집
    • /
    • 한국지반공학회 2001년도 봄 학술발표회 논문집
    • /
    • pp.167-174
    • /
    • 2001
  • Reflection method using ultrasonic source has been attempted to obtain the information about tunnel lining structures composed of lining, shotcrete, water barrier and voids at the back of lining. In this work, two different types of sources, i.e. single-pulse source and sweep source, can be used. Single-pulse source with short time duration has the frequency content whose amplitudes tend to be concentrated around the dominant frequency, whereas sweep source with long time duration denotes a flat distribution of relatively larger amplitude over a broad frequency band, although the peak to peak amplitude of single-pulse source wavelet is equivalent to that of sweep source one. In traditional seismic application, a single-pulse source(weight drop, dynamite) is typically used. However, to investigate the fine structure, as it is the case in the tunnel lining structure, the sweep wavelet can be also a desirable source waveform primarily due to the higher energy over a broad frequency band. For the investigation purposes of sweep source, a physical modeling is a useful tool, especially to study problems of wave propagation in the fine layered media. The main purpose of this work was using a physical modeling technique to explore the applicability of sweep source to the delineation of inner layer boundaries. To this end, a two-dimensional physical model analogous to the lining structure was built and a special ultrasonic sweep source was devised. The measurements were carried out in the sweep frequency range 10 ∼ 60 KHz, as peformed in the regular reflection survey(e.g. roll-along technique). The measured data were further rearranged with a proper software (cross-correlation). The resulting seismograms(raw data) showed quitely similar features to those from a single-pulse source, in which high frequency content of reflection events could be considerably emphasized, as expected. The data were further processed by using a regular data processing system "FOCUS" and the results(stack section) were well associated with the known model structure. In this context, it is worthy to note that in view of measuring condition the sweep source would be applied to benefit the penetration of high frequency energy into the media and to enhance the resolution of reflection events.

  • PDF