• Annual Conference of KIPS
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.285-288
• /
• 2005

최근 임베디드 시스템의 안정성이 제품의 상품성에 매우 중요한 요인이 되면서, 임베디드 시스템의 내장된 소프트웨어의 품질 검증이 중요해졌다. 내장된 소프트웨어를 검증을 위해서 자동 테스트 방식을 사용할 때, 테스트 오라클이 필요하다. 테스트 오라클을 정확하게 구축하기 위해서는 시스템의 요구사항을 정확하고 수행 가능한 형태로 기술하여야 한다. 따라서 테스트 오라클 생성의 기반이 되는 시스템 사양에서 오류를 검출하는 작업은 매우 중요한 작업이다. 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다.

• Journal of Intelligence and Information Systems
• /
• v.1 no.1
• /
• pp.123-134
• /
• 1995

인공신경망을 이용한 기업도예측에 관한 연구는 일반적으로 대기업을 대상으로 수행되고 있으며, 분석자료로는주로 재무제표에서 얻어지는 재무정보를 사용하고 있다. 이들 대기업의 재무정보들은 비교적양이 풍부하고 신뢰성이 높기 때문에 인공신경망을 이용한 도산예측의 적중률이 80%∼85%의 높은 수준을 보이고 있다. 하지만, 중소기업이 재무정보는 불충분할 뿐만 아니라 신뢰성이 낮을 가능성이 높기 때문에, 중소기업의 도산예측에 있어서 재무정보만을 사용하게 되면 그 정확도가 떨어지게 된다. 본 연구에서는 인공신경망을 이용한 중소기업의 도산예측에 있어서, 재무정보를 보완할 수 있는 비재무정보의 유용성을 검증하였다. 연구결과 본 연구에서 사용한 비재무정보가 획득가능한 비재무정보중 극히 일부에 지나지 않았음에도 불고하고, 재무정보만을 사용하였을 때보다 예측력이 10%정도나 향상되었다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.346-346
• /
• 2022

본 연구에서는 GPU(Graphic Processing Unit) 가속 분포형모형을 실제 유역에 적용하여 강우 유출모의 결과의 정확성과 모의시간의 효율성에 대한 분석을 수행하였다. 분포형모형의 지배방정식은 운동파모형과 Green-Ampt모형으로 구성되어 있으며, 운동파모형은 유한체적법을 이용하여 이산화 하였다. GPU 가속 모형은 CUDA(Compute Unified Device Architecture) 포트란(Fortran)을 사용하여 개발된 모형으로 수치모의시 연산시간 단축을 고려한 모형이다. 모형의 정확성과 효율성은 미호천 유역에서 발생하는 강우유출현상에 GPU 가속 운동파모형을 적용하여 분석하였다. 수치모의 결과값은 대상유역에 속한 수위관측소의 관측값과 비교하여 정확성을 검증하였고, 수치모의 소요시간은 CPU(Central Processing Unit) 기반 운동파모형의 수치모의 소요시간과 비교하여 효율성을 검증하였다. GPU 가속 운동파모형의 수치모의 결과는 관측값과 유사한 결과를 나타냈으며, 수치모의 소요시간은 본 연구에 사용된 장비를 기준으로 최대 100배 정도 단축되었다.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.40 no.4
• /
• pp.256-265
• /
• 2003

To improve reliability and practicality, a fingerprint-based biometric system needs to be robust to rotations of an input fingerprint and the processing speed should be fast. Accordingly, this paper presents a new filterbank-based fingerprint feature extraction and matching method that is robust to diverse rotations and reasonably fast. The proposed method fast extracts fingerprint features using a directional filter bank, which effectively decomposes an image into several subband outputs Since matching is also performed rapidly based on the Euclidean distance between the corresponding feature vectors, the overall processing speed is so fast. To make the system robust to rotations, the proposed method generates a set of feature vectors considering various rotations of an input fingerprint and then matches these feature vectors with the enrolled single template feature vector. Experimental results demonstrated the high speed of the proposed method in feature extraction and matching, along with a comparable verification accuracy to that of other leading techniques.

• Proceedings of the Korea Society of Environmental Toocicology Conference
• /
• 2003.10a
• /
• pp.171-171
• /
• 2003

전국 주요 산단 지역에서 현재 유통되고 있는 화학물질의 스크리닝 수준에서의 생태 위해성 평가를 수행하고 체계적인 위해도 분석 시스템을 구축하기 위한 생태 위해성 예측 모형을 개발하였으며, 모형의 분석과 모니터링을 통하여 모형을 검증하고 수정, 보완하는 연구를 수행하였다. 전국 118개 공단중에서 10개의 산단 (시화반월, 전주, 대전, 대구, 청주, 울산, 구미, 여천, 대구 성서, 신평장림공단)을 대상 지역으로 하였고 이들 공단에서 사용되고 있는 약 1900 여종의 화학물질들의 물리화학적 특성 자료와 생태 독성값의 문헌치, 추정치를 포함한 database를 구축하였다. 모형 결과의 정확성을 높이기 위해서는 배출량의 정확한 산출이 필요하므로 본 연구에서는 유럽의 우선순위 선정 프로그램인 EURAM의 방법에 근거하여 화학물질의 산업 및 용도별 분류로부터 각각의 배출계수를 적용하여 사용량을 배출량으로 산출하는 방법을 이용하였다 구축된 database를 활용하여 산단별, 화학물질별 생태 위해도를 비교한 결과 어류 급성의 위해도는 울산>여천>대전의 순이었고, 물벼룩 급성의 위해도는 울산>여천>시화반월>청주의 순이었다. 울산을 제외한 대부분의 지역의 위해도는 1이하로 나타나 스크리닝 수준에서의 오염은 우려할 정도가 아닌 것으로 나타났다. 생태 위해성 프로그램의 validation을 위하여 대구 지역을 대상으로 문헌치 독성값을 위주로 하는 RQ가 0.1 이상인 물질들의 검출 가능성과 화학물질들의 특성을 파악하였고, Butylacrylate, Xylene, N,N-Dimethylformamlde, 1,2-Benzenedicarboxylic acid dibutylester, 2-Amino-4-methylphenol, Toluene, 2,2-Oxybisethanol의 7가지 물질들을 분석대상물질로 선정하여 분석을 수행할 예정이다. 본 연구에서는 분석 대상 지역을 확대하여 모형의 신뢰성과 타당성을 확인하고 모형을 수정, 보완하여 생태 위해성 예측 프로그램의 신뢰도를 높이고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.400-400
• /
• 2023

급격한 기후변화로 인해 일사량, 지표면 온도 및 이산화탄소 농도가 꾸준히 상승함에 따라 수문 순환의 불균형을 초래함과 하천 및 호소 내 수질 또한 악화되고 있는 추세이다. 특히, 국내의 경우, 기후변화 및 인위적 요인에 의해 하천 및 호소에서의 수위 감소 및 수온 증가로 인해 부영양화가 증가되고 있고, 이로 인한 유해 녹조의 발생빈도를 높이는 결과를 초래한다. 현재 국내에서는 유인 수질 관측 및 자동 수질관측 시스템을 통해 주요 수질인자를 모니터링 하고 있으나 시·공간적인 변동성을 파악하는데 제한점이 있다. 이러한 한계점을 극복하기 위해 국·내외에서 광학위성을 이용한 수질인자 추정 알고리즘 개발과 관련된 연구들이 진행되고 있다. 이에 따라, 본 연구에서는 NASA에서 제공하는 Landsat-8 위성과 ESA에서 제공하는 Sentinel-2자료가 동화된 Harmonized Landsat Sentinel-2 위성자료를 활용한 클로로필-a (Chl-a)를 추정하고자 한다. 이를 위해, 본 연구에서는 1) 단순 회귀 분석, 2) Akaike information criteria (AIC) 기반 최적화 회귀 분석 및 3) Random forest (RF)를 활용하였다. 또한, HLS 위성 자료의 적용성을 평가하기 위해 미국 오하이오 주에 위치하고 있는 130여개의 중규모 및 대규모 호소에서 2000년부터 2021년까지 수집된 클로로필-a 관측치를 활용하였다. 두 가지 수질 추정 모형에 대한 정확도 검증에 앞서 오하이오 주 내에서의 클로로필-a의 시계열적 변동성에 대하여 분석하였다. 전반적으로, 2000년부터 2016년까지는 Chl-a가 꾸준히 증가하는 경향성을 나타내었으나, 그 이후로는 감소하는 추세를 나타내었다. 이를 기반으로, 각 방법론을 통해서 나온 Chl-a 추정치에 대해서 통계적 검증을 수행하였다. 결과, 단순 회귀 분석을 통해 추청된 Chl-a값의 결정계수는 0.34였지만, AIC 기반 모델과 RF모형을 사용한 결과 결정계수가 각각 0.82와 0.92로 향상된 것을 확인할 수 있었다. 이와 더불어, spatial 및 temporal window와 더불어 호소의 크기에 따른 정확도 분석 또한 수행하였다. 그 결과, temporal window 가 정확도에 가장 큰 영향을 미치는 것으로 나타났으며, 호소의 크기가 작을수록 정확도가 낮아지는 것을 확인 할 수 있었다. 본 연구의 결과를 토대로 추후 국내 호소에 대해 상기 모형들의 적용성 평가를 수행하여 효율적인 수질 모니터링 시스템 구축으로 이어질 수 있을 것으로 기대된다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.11
• /
• pp.1069-1076
• /
• 2011

All of the satellite components must be operated within the permissible temperature range during the mission in orbit. Therefore, thermal design is performed to develop verified thermal model and to secure thermal stability on the ground. In this study, thermal model correlation was performed to satisfy the criteria of correlation using ground thermal vacuum/thermal balance test results of LEO satellite optical payload. We also secured verified thermal model by controlling operating cycle of flight heaters. In addition, it was confirmed that all components are within the permissible temperature range through conducting orbit environment thermal analysis. We also secured thermal stability of the satellite.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.45-45
• /
• 2018

오염물의 혼합거동을 해석하기 위해 물리기반 모델을 이용하는 경우 모델을 구축하고 운용하는데 많은 시간과 재정이 소요되며 현장검증을 통한 검증이 반드시 필요하다. 하지만 데이터 기반 모델의 경우 축적된 데이터만으로도 예측을 수행할 수 있으며 물리기반모델에 비해 결정해야할 입력인자가 적어 모델운용이 용이하다는 장점이 있다. 다양한 데이터 모델 중 인공신경망(ANN) 모델은 데이터가 가지는 불확실성 및 비정상성, 복잡한 상호관련성에 효과적으로 대응할 수 있는 모델로 수자원 및 환경 분야에서 자주 사용되고 있다. 본 연구에서는 인공신경망 모델을 이용하여 지천유입이 있는 대하천의 수질인자 (pH, 전기전도도, DO, chl-a)를 예측하였다. 다른 데이터기반 모델과 같이 인공신경망 모델 또한 수집된 데이터 질에 크게 영향을 받으며, 내부 입력인자의 선택이 모델의 예측 결과에 큰 영향을 미친다. 이러한 인공신경망 모델의 특성을 바탕으로 예측모형의 정확도를 향상하기 위해서는 크게 데이터 처리부분과 모델구축 부분에서의 접근이 필요하다. 본 연구에서는 데이터 처리 과정에서 연구대상지점의 각각의 수질인자가 가지는 분포 특성을 유지하기 위해 층화표츨추출법을 이용하여 데이터를 구성하였다. 모델의 구축 과정에서는 초기가중치 값의 영향을 줄이기 위해 앙상블기법을 사용하였으며, 좀 더 견고하고 정확한 결과를 예측하기 위해 탄력적 역전파알고리즘을 추가하였다. 추가적으로 합류 후 본류의 미 계측지역 수질 예측 정확도 향상을 위해 본류의 수질인자뿐만 아니라 지류의 수질인자를 입력자료로 사용하여 모의를 수행하였다. 또한 동일 구간에서 수행한 현장추적자실험 자료를 이용하여 수질인자의 분포특성을 비교, 검증하였다. 개발된 모델을 이용하여 낙동강과 금호강 합류부 하류의 수질인자를 예측한 결과 지류의 수질인자를 입력자료로 추가한 경우 예측의 정확도가 증가하였으며, 현장실험 자료를 통해 밝혀진 오염물의 거동현상을 인공신경망 모델로도 동일하게 재현하는 것으로 나타났다. 본 연구에서 제안한 인공신경모델을 이용한다면 물리기반 수치모델을 대체하여 지천으로 유입된 오염물의 거동을 정확하고 효율적으로 파악할 수 있을 것이다.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.11 no.1
• /
• pp.15-22
• /
• 2011

In this research, static load test is performed to verify the arch effect and structural performance of CFTA(Concrete-Filled and Tied steel tubular Arch) girder, and FE(Finite Element) analysis is performed to investigate validity of the test result. CFTA girder is designed to maximize the benefit of each material, such as steel plate, filled concrete and PS tendon. Static load test is performed based on the frame-analysis result of 12m sample miniature model. The result of static load test is that structural performance and safety of CFTA girder are confirmed and there is different deflection mode with other structural form result from arch effect. FE analysis with ABAQUS is also performed to show the validity of the truck collision safety and static load test.