• Title/Summary/Keyword: Stack Inspection

Search Result 8, Processing Time 0.022 seconds

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

  • Kim Yun-Kyung;Chang Byeong-Mo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06b
    • /
    • pp.403-405
    • /
    • 2006
  • Java 2에서는 자원의 접근관리를 위하여 정책파일에 근거한 스택 인스펙션(stack Inspection)기법을 제공하고 있다. 본 논문에서는 스택 인스펙션에 자연스럽게 접근하여 불필요한 권한검사 집합을 구하기 위해 역방향 흐름분석(backward flow analysis) 기법을 사용한 권한검사 시스템을 구현하였다. 이를 통해 정책파일의 내용에 근거하여 각 메소드에서 항상 성공하거나 실패하는 권한검사를 결정하여 보여준다. 또한 권한검사에 대해서 스택 인스펙션하는 과정을 추적해볼 수 있다. 본 시스템을 이용하는 사용자는 불필요한 권한검사를 제거하여 스택 인스펙션을 최적화하거나, 자신의 프로그램에 적절한 보안정책을 세우기 위해 정책파일을 수정하는데 이 분석결과를 활용할 수 있다.

  • PDF

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

  • Kim, Yun-Kyung;Chang, Byeong-Mo
    • The KIPS Transactions:PartA
    • /
    • v.13A no.5 s.102
    • /
    • pp.399-404
    • /
    • 2006
  • In Jana 2, to enforce a suity policy of a program, programmer writes permission sets required by the code at the policy file, sets Security Manager on system and executes the program. Then Security Manager checks by stack inspection whether an access request to resource should be granted or denied whenever code tries to access critical resource. In this paper, we develop a visualization tool which helps programmers enforce security policy effectively into programs. This system is based on the static permission check analysis which analyzes permission checks which must succeed or fail at each method. Based on this analysis information, programmer can examine visually how permission checks and their stack inspection are performed. By modifying program or policy file if necessary and examining analysis information repeatedly, programmer can enforce security policy correctly.

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

  • Kim, Soo-Jeong;Lee, Byeong-Hyeok;Lee, Du-Jas;Eom, Jong-Woo
    • Proceedings of the KSR Conference
    • /
    • 2011.10a
    • /
    • 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 (비전 이미지 프로세싱을 이용한 외관검사가 가능한 기계시스템 및 비전 알고리즘 개발)

  • Kim, Young-Choon;Kim, Young-Man;Kim, Sung-Gil;Kim, Hong-Bae;Cho, Moon-Taek
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.2
    • /
    • pp.202-208
    • /
    • 2016
  • In this study, the defect in connection with a C-tray was inspected using a low-cost camera. The four test items were the device overlapping in the tray, the bending of the tray, the loaded quantity of the tray, and the device pocket leaving, an algorithm was developed for defining and detecting the above defect types. Therefore, the developed handling system could extend the application of the stack of the c-tray and provide a quantity verification inspection on the packing processing. The machine operation control program, which can ensure the optimal inspection image to match the scan speed, was developed and the control program that can process the user gui and the vision image utilizing the control was developed. Overall, a mechanical system that is practicable for obtaining an image and processing the vision data was designed.

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

  • Kim Jungyul;Kim Hyoungsoo;Oh Seokhoon;Kim Yoosung
    • 한국지구물리탐사학회:학술대회논문집
    • /
    • 2005.05a
    • /
    • pp.15-20
    • /
    • 2005
  • Defects of dam body which can be induced in seepage or leakage procedure can directly affect dam safety. Therefore, a proper inspection method should be carried out in the first place to find out their positions and sizes, After that, some reinforcement works such as grouting and the corresponding assessment could be taken in a proper way. The dam(center core type earth dam) issued in this study has been in need for intensive diagnosis and reinforcement work, because a lot of slumps similar to cracks, seepage and some boggy area have been observed on the downstream slope. High resolution seismic reflection method was performed on the crest profile twice before and after grouting work(Aug. 2001 and Nov. 2004) aimed at the dam inspection and the assessment of grouting efficiency as well. To enhance the data resolution, P-beam energy radiation technique which can reduce the surface waves and hence to reinforce the reflection events was used. Strong reflection events were recognized in the stack section before grouting work, It seems that the events would be caused by e.g. horizontal cracks with a considerable aperture, Meanwhile such strong reflection events were not observed in the section after grouting. That is, the grouting work was dear able to reinforce the defects of dam body. Hence, the section showed an well arranged picture of dam inner structure. In this sense, seismic reflection method will be a desirable technique for dam inspection and for monitoring dam inner structure as well.

  • PDF

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

  • Kim, Jung-Yul;Kim, Hyoung-Soo;Oh, Seok-Hoon;Kim, Yoo-Sung
    • Journal of the Korean Geophysical Society
    • /
    • v.8 no.1
    • /
    • pp.1-6
    • /
    • 2005
  • Defects of dam body which can be induced in seepage or leakage procedure can directly affect dam safety. Therefore, a proper inspection method should be carried out in the first place to find out their positions and sizes. After that, some reinforcement works such as grouting and the corresponding assessment could be taken in a proper way. The dam(center core type earth dam) issued in this study has been in need for intensive diagnosis and reinforcement work, because a lot of slumps similar to cracks, seepage and some boggy area have been observed on the downstream slope. High resolution seismic reflection method was performed on the crest profile twice before and after grouting work(Aug. 2001 and Nov. 2004) aimed at the dam inspection and the assessment of grouting efficiency as well. To enhance the data resolution, P-beam energy radiation technique which can reduce the surface waves and hence to reinforce the reflection events was used. Strong reflection events were recognized in the stack section before grouting work, It seems that the events would be caused by e.g. horizontal cracks with a considerable aperture. Meanwhile such strong reflection events were not observed in the section after grouting. That is, the grouting work was dear able to reinforce the defects of dam body. Hence, the section showed an well arranged picture of dam inner structure. In this sense, seismic reflection method will be a desirable technique for dam inspection and for monitoring dam inner structure as well.

  • PDF

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

  • Jo, Wan-Kuen;Jeon, Ok-Sang
    • Journal of Korean Society of Environmental Engineers
    • /
    • v.27 no.4
    • /
    • pp.445-449
    • /
    • 2005
  • Present study was designed to evaluate the practical application of triethyl amine(TEA) injection for improving the collection efficiency of electrostatic precipitator(ESP) connected to a real operating plant. The major fuels used at the domestic power stations were bituminous coals imported from Australia, China, South Africa, and USA. Although the values of the electric resistance would be more or less different according to the type of the coals used, the unique electric resistance values of fly ash from the coals were mostly higher than $1{\times}10^{12}\;{\Omega}-cm$ and therefore, back corona problems were always expected to occur in the electrostatic precipitator. The particulates concentrations, smoke concentrations and their electric resistivity measured at the outlet of ESP, and the inspection of collection indicated that the injection of TEA improved the collection efficiency of particulate at collection plates of ESP. The electric resistance for, fly ash with the injection concentration of TEA 15 ppm(Purity 99.7%) was lowered to $2.1{\times}10^{11}\;{\Omega}-cm$ after injection from $1.9{\times}10^{12}\;{\Omega}-cm$ before injection. Under this condition, the dust emission content at the stack was reduced to approximately 80%, lowering the average outlet concentrations of particulates from $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 - (터널 지보구조 진단을 위한 초음파 스윕 발생원의 반사법 응용 가능성 연구 - 모형실험을 중심으로 -)

  • 김중열;김유성;신용석;현혜자
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2001.03a
    • /
    • 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