• 대한원격탐사학회지
• /
• 제30권4호
• /
• pp.417-430
• /
• 2014

본 연구는 현재 NASA에서 제공되는 operational OMI HCHO 관측 값에서 에러를 발견하여, 월평균 HCHO 자료의 시계열에 4 차 다항식을 피팅함으로써 구한 배경 모수화(parameterization)값을 이용하여 OMI HCHO 자료의 보정을 수행하였다. 보정후의 OMI HCHO는 동태평양과 서태평양 지역에서 -1.48%, 0.65%/year 경향성을 보였으며 이 수치는 GOME(-0.99%, 1.1%/year)과 SCAIMACHY(-0.92%, 0.03%/year)의 경향성과 유사한 결과이며 적절하게 비정상적인 배경 HCHO 농도의 증가가 제거되었음을 나타낸다. 이 자료의 검증과 분석은 EOF와 SVD 통계적 분석 방법을 사용하여 아프리카 지역에서 다양한 위성 관측 값과의 (HCHO, CO, $NO_2$ 그리고 firecount) 시공간 변동성의 일치성을 비교 분석함으로써 수행되었다. 아프리카에서 MOPITT CO, OMI $NO_2$, SCIAMAHCY 그리고 OMI HCHO의 EOF와 SVD 분석 결과는 생태계화재(biomass burning)의 시공간 변동성 분포와 매우 높은 일치성을 보여준다. 그러나 OMI HCHO 관측 값은 화재가 가장 강하게 발생하는 지역의 풍하측에서 최대 값이 보이며, 화재 발생이 가장 높은 1월에 다소 낮은 HCHO 값이 보이는 등 시공간적으로 생태계 화제 분포와 차이를 보인다. 이것의 원인으로 우리는 이 지역의 열대우림의 식물활동(biogenic activity)영향으로는 설명할 수 없고, biomass burning 에어로졸에 의한 잘못된 AMF 계산이 OMI HCHO 산출에 사용됨으로써 발생한 오차라는 것을 밝혔다. AMF와 관련된 오차가 적절하게 보정된다면, 아프리카 지역의 HCHO 시공간 변동성은 생태계 화제의 변동성을 따를 것이라 예상된다. 따라서 본 연구는 통계적 기법이 위성 자료를 평가하는데 매우 효율적인 방법임을 제안한다.

• 분석과학
• /
• 제23권1호
• /
• pp.24-35
• /
• 2010

본 연구에서는 GC-PFPD와 열탈착 분석기법을 이용한 환원 황화합물(reduced sulfur compounds: RSC)에 대한 열탈착 검량방식의 시간적 재현성을 기존의 외부 검량기법에 덧붙여, 내부표준시료 기법을 연계하여 평가하고자 하였다. 이를 위하여, 4종류의 악취성 황화합물질($H_2S$, $CH_3SH$, DMS, DMDS)과 이들에 대한 내부 표준시료로 CS2를 준비하였다. 이들 표준시료는 저농도(10, 20, 50, 100 ppb)와 고농도 그룹(100, 200, 500, 1000 ppb)을 대표할 수 있게 넓은 범위로 준비하였다. 그리고 외부검량(external calibration)방식의 분석 결과를 부피고정방식(fixed standard volume: FSV)과 농도고정방식(fixed standard concentration: FSC)로 비교하였다. 또한, 2차적으로 FSV 방식의 결과에 외부 및 내부 검량기법을 동시에 적용하여 검량방식의 경시변화(안정도)를 평가하였다. 본 실험의 결과, 감도에 대한 경시변화는 FSC 방식에 비해 FSV 방식에서 작게 나타났다. 따라서 RSC 분석에서 FSV방식이 경시변화를 줄여주는데 상대적으로 효과적이라는 것을 알 수 있었다. 2차적으로 FSV 방식의 결과에 대해 외부 및 내부방식의 감도(기울기 값)를 비교하였다. 이러한 비교를 상대표준편차(RSD)값으로 평가하면, GC-PFPD-TD 시스템의 감도가 비교적 강한 경시변화를 보인다는 것을 알 수 있다. 따라서 이러한 분석기법의 시간적 재현성을 확보하기 위해서는 여러 가지 검정노력이 필요한 것으로 사료된다.

• 한국안광학회지
• /
• 제18권4호
• /
• pp.441-447
• /
• 2013

목적: 렌즈 착용자의 자세변화 시 토릭소프트렌즈의 축 회전을 알아보고 각막난시와의 상관관계에 대해 알아보았다. 방법: 직난시를 가진 20대 42안을 대상으로 정자세와 누운 자세에서의 토릭소프트렌즈의 회전 정도와 회전 방향, 회전 속도를 측정하여 각막 난시량에 따라 차이가 있는지를 비교 분석하였다. 결과: 정자세와 누운 자세에서 각각의 축 회전 정도는 처방도수에 따라 유의한 차이가 없었으나, 자세의 변화에 따른 회전 각도는 유의한 차이가 있었다. 정자세에서의 회전은 20안은 코쪽, 22안은 귀쪽으로 회전하였다. 누운 자세에서는 거의 모든 대상안에서 누운 방향으로 회전 되었으며 -0.75 D를 착용한 초기에는 회전 속도가 빨랐던 것에 비해 -1.25 D를 착용할 때는 상대적으로 회전속도가 일정하였다. 누운 자세에서의 회전 각도는 각막 난시량에 따라 유의한 차이를 보였고, 회전 속도 또한 시간의 흐름에 의해서는 유의한 차이를 보인 반면 각막 난시량에 따라서는 유의한 차이를 보이지 않았다. 결론: 토릭소프트렌즈의 축 회전 정도는 자세 변화에 따라 다르게 나타나며, 각막 난시량이 큰 경우 그 정도가 더 크므로 렌즈디자인 개발 시 이에 대해 고려해야 할 것으로 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.