• Journal of KIISE:Software and Applications
• /
• v.35 no.10
• /
• pp.636-652
• /
• 2008

In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term 'module' to mean a set of mutually recursive procedures and the term 'modular analysis' to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and context-sensitive pointer analysis algorithm based on the update history that can memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2012.08a
• /
• pp.421-421
• /
• 2012

Cu(In,Ga)$Se_2$ (CIGS) 화합물은 직접천이형 반도체로 열적으로 매우 안정하고 에너지밴드갭이 1.04 eV로 이상적인 값에 가깝고, 특히 높은 광흡수계수를 가지기 때문에 박막 태양전지로서 커다란 응용 잠재력을 갖고 있는 광흡수층 재료이다. CIGS 화합물 박막 태양전지의 효율은 연구실에서는 ~20%를 높은 효율을 보고하고 있으며, 모듈급에서도 ~13%의 효율을 보이고 있다. 그러나 CIGS 박막 태양전지를 대면적 또는 양산화에 적용하기 위해서는 20년 이상의 장기적인 수명을 보장할 수 있는 내구성을 갖추어야 한다. 본 연구에서는 CIGS 모듈의 장기적인 신뢰성을 평가하기 위해 CIGS PV 모듈을 대상으로 대표적인 고온 고습 조건인 IEC-61646 규격을 이용하여 $85^{\circ}C$/85% RH에서 1000시간 동안 가속시험이 수행되었고, 고온 환경하에서 모듈의 성능 저하에 미치는 영향을 고찰하기 위해 모듈을 $85^{\circ}C$에서 1000시간 노출시켰다. 두 종류의 가속 스트레스시험 후에 모듈들의 외형적인 노화현상 및 전기적 열화 성능을 분석하였다. 또한 모듈의 효율저하의 원인을 규명하기 위해 모듈 구성 재료 중 충진재료로 사용하는 EVA sheet와 투명전극 AZO를 대상으로 고장분석을 수행하였다. AZO의 미세구조 관찰, 결정상 분석, XPS 분석 및 전기적 분석과 EVA sheet의 FT-IR 분석과 TG-DSC 분석들을 종합하여 CIGS PV 모듈의 성능저하의 원인을 규명하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.289-289
• /
• 2016

신뢰성 높은 홍수관리는 경향성 분석, 이상치 판정 등의 전처리를 수행한 입력 자료를 구축하는 것을 필요로 한다. 경향성 분석은 방법에 따라 경향성의 유무가 다르게 나타나기 때문에 하나의 방법으로만 판단하기 어려우며, 이상치 분석은 지역 특성에 따라 기준이 변동하므로 일정한 기준을 적용하기가 어려워 주로 수동으로 이루어지며 이 작업을 완료하는 데에는 많은 시간이 소요된다. 입력 자료 전처리에 수반되는 비용과 시간을 절감하기 위해 이러한 문제점의 개선이 필요한 실정이다. 따라서 본 연구의 목적은 농촌유역 홍수관리를 위한 자료처리 요소 모듈을 개발하는 데 있다. 홍수관리를 위한 자료처리 요소 모듈은 크게 기상자료의 경향성을 분석하는 모듈과 수위자료의 이상치를 탐지하고 판정하는 모듈로 구성하였다. 경향성 분석 모듈은 모수적 방법인 t-test와 비모수적 방법인 Hotelling-Pabst test 및 Mann-Kendall test를 분석 방법으로 제공하여 하나의 입력 자료로 세 가지 방법으로 분석한 결과를 비교할 수 있도록 개발하였다. 이상치 탐지 모듈은 IQR (interquartile range) 규칙과 규칙기반의 방법을 이용한 이상치 탐지를 제공할 수 있도록 개발하였다. 개발된 모듈은 한강 유역의 용당저수지에 적용하여 검정을 실시하였다. 본 연구에서 개발된 농촌유역 홍수관리를 위한 자료처리 요소 모듈은 추후 홍수관리 및 그에 관한 연구를 하는데 있어 활용될 수 있을 것으로 기대된다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2016.10a
• /
• pp.177-178
• /
• 2016

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 사용후핵연료봉 인출 핵심장치의 유지보수를 쉽게 하고, 원격제어 효율을 높이기 위한 모듈화와 그에 대한 모듈화 방안분석을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 사용 후핵연료봉 인출 핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 사용후핵연료봉 인출 핵심장치에서는 5개의 주요 모듈로 구성하였으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 190초, 언볼팅, 푸셔 모듈이 140초, 인출 모듈이 160초, 연료봉 밀집 모듈이 80초 소요될 것 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.

• Annual Conference on Human and Language Technology
• /
• 1999.10d
• /
• pp.123-136
• /
• 1999

자연언어처리 분야에서 형태소 분석은 가장 기본적인 단계로서 응용 시스템의 목적에 따라 사용되는 형태소 분석기의 수준과 사용 정보가 달라진다. 기존의 형태소분석기의 기능을 다른 목적을 지닌 응용 시스템에서 사용하려 할 때, 분석수준과 사용정보의 이질성으로 인해 변경 또는 확장하는데 많은 어려움이 있다. 이러한 형태소 분석기의 변경과 확장에 대한 다양한 요구를 수용하기 위한 방법으로서 재사용가능한 모듈화된 형태소 분석기의 구현을 제안한다. 모듈화된 형태소 분석기는 구성 요소인 모듈들의 독립성과 재사용성을 보장하기 때문에 확장과 보수가 쉽고, 특정한 요구사항에 대하여 새로운 형태소 분석기를 구현하는데 기존의 모듈들을 사용함으로써 시스템의 개발 시간을 단축시킨다. 본 논문에서는 이러한 모듈들의 사용성을 보여주기 위해 전처리기, 형태소 분석기, 명사 추출기, 태거 등을 하나의 시스템 안에 모듈화된 개념으로 구현하였고, 형태소 분석기는 사전, 음운 변화 처리, 결합 검사, 분석 알고리즘 등을 모듈화하여 재사용할 수 있다는 것을 보여준다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.251-254
• /
• 2004

Web-Bioconductor System은 유전자 분석에 대한 통계적 모듈과 그래픽 환경을 제공하는 R언어와 DNA chip 데이터의 분석을 수행하는 Bioconductor 패키지를 이용하여 웹으로 DNA chip 데이터를 분석할 수 있도록 설계한 시스템이다. 본 시스템은 DNA chip 데이터의 분석을 위해 사용자 계정 모듈, 데이터 입력 모듈, 전 처리 모듈, 유전자 차등 발현 분석 모듈, 결과 출력 모듈로 구성되어 있으며, 분석된 결과물은 HTML, 이미지, XLS 파일 형태로 제공된다. 웹을 이용하여 DNA chip 분석을 수행함으로써 인터넷이 가능한 곳이면 시간과 장소의 구분이 없이 DNA chip 데이터 분석이 가능하며, 인터넷으로 DNA chip 데이터 분석 자료를 공유할 수 있음으로 연구자들의 상호 의견 교환을 바탕으로 효율적인 분석이 가능할 것이다. 또한 기존의 R언어와 Bioconductor가 전산 지식이 부족한 사람들에게는 접근하기 어려운 점을 웹 인터페이스로 간단하게 구현함으로써 DNA chip 데이터 분석에 있어 용이성과 효율성을 중대하고 있다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.985-996
• /
• 2019

This paper analyzes the source code of FIPS-OpenSSL cryptographic module approved as FIPS cryptographic module in USA and shows how the selftest requirements are implemented as software cryptographic library with respect to pre-operational test and conditional tests. Even though FIPS-OpenSSL follows FIPS 140-2 standard, lots of security requirements are similar between FIPS 140-2 and Korean cryptographic module validation standards. Therefore, analysis from this paper contributes to help Korean cryptographic module vendors develop correct and secure selftest functions on their own cryptographic modules, which results in reducing the test period.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2011.10a
• /
• pp.34.2-34.2
• /
• 2011

본 연구에서는 1986년에 국내 섬 지역에 설치된 태양전지 모듈을 대상으로 전기적 특성값의 열화 및 열화 원인에 대한 분석을 실시하였다. 태양전지 모듈의 초기 최대 출력값은 50 W였고, 5인치 단결정 실리콘 태양전지 36개로 구성되어 있었다. 첫째로, 육안 검사를 통해서 태양전지 모듈의 열화 현상을 관찰하였다. 태양전지 모듈의 절연성은 IEC 61215의 기준으로 측정하였다. 태양전지 모듈의 전기적 특성평가를 통해서 최대 출력값의 변화량을 측정하였고, EL(Electroluminescence) 측정을 통해서 태양전지의 열화를 분석하였다. 이를 통해 분석된 주요 열화 모드는 봉지재 (Encapsulant)의 변색(Discoloration) 및 박리(Delamination)현상이었다. 봉지재의 변색된 부분 및 변색되지 않은 부분의 태양광 반사도를 측정한 결과 변색된 부위의 반사도가 증가한 것을 확인하였다. 두번째로 최대 출력전압을 태양전지 모듈에 인가한 상태에서 태양전지 각각의 온도를 T.C (Thermocouple)을 이용하여 측정하였고, 이를 통해서 태양전지의 열화와 온도와의 관계를 분석하였다. 마지막으로 태양전지 모듈의 단면분석을 통해서 봉지재의 박리현상 및 리본와이어의 솔더 접합계면을 관찰하였다. 또한, 봉지재를 제거한 후에 SEM&EDX를 통해서 리본와이어 및 금속전극의 부식현상을 분석하였다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 1999.03a
• /
• pp.159-162
• /
• 1999

본 논문에서는 비선형 시계열 신호처리 및 분석을 위한 카오스 시뮬레이터에 대해서 소개한다. 이 시뮬레이터는 크게 세 개의모듈로 이루어져 있으며 신호발생 모듈, 신호처리 모듈, 신호분석 모듈로 나누어 진다. 이 카오스 시뮬레이터를 이용한 비선형 시계열 신호분석 결과 각각의 파라메터에 따른 신호분석이 가능함을 알 수 있었다.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.157-165
• /
• 2004

The paper suggests that web-server security management system will be able to detect the web service attack accurately and swiftly which is keeping on increasing at the moment and reduce the possibility of the false positive detection. This system gathers the results of many unit security modules at the real time and enhances the correctness of the detection through the correlation analysis procedure. The unit security module consists of Network based Intrusion Detection System module. File Integrity Check module. System Log Analysis module, and Web Log Analysis and there is the Correlation Analysis module that analyzes the correlations on the spot as a result of each unit security module processing. The suggested system provides the feasible framework of the range extension of correlation analysis and the addition of unit security module, as well as the correctness of the attack detection. In addition, the attack detection system module among the suggested systems has the faster detection time by means of restructuring Snort with multi thread base system. WSM will be improved through shortening the processing time of many unit security modules with heavy traffic.