• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2020년도 학술발표회
• /
• pp.138-138
• /
• 2020

본 연구에서는 우리나라에서 발생하는 무유출량을 고려하는 확률기반 격자형 수문 모형을 용담댐 유역에 구축하였다. 용담댐 유역은 무유출량이 종종 나타나는 간혈하천 (Ephemeral catchment) 유역으로 우리나라의 많은 유역들이 여기에 해당한다. 격자형 수문 모형의 구축을 위하여 Sacramento Soil Moisture Accounting Model (SAC-SMA) 유출 모형을 사용하여 라우팅 모형과 결합하였다. 무유출량을 표현하기 위해서 본 연구에서는 검열된 오류 모형 (censoring error model)을 사용하였다. 구축한 오류 모형과 기존에 많이 사용되는 정규화된 오류 모형의 비교를 하였으며 이를 통하여 본 연구에서 구축한 모형의 적합성을 평가하였다. 결과적으로 본 연구에서 구축한 두 개의 모형이 둘 다 신뢰할 만한 결과를 보여주지만 검열된 오류 모형이 더 적합한 결과를 보여주며 무유출의 빈도 증가에 따라 효율이 증가하는 것을 보여 준다. 그리고 기존의 방법론은 확률 기반의 유출량의 표현에 있어서 0 이하의 음수값을 표현하여 현실적이지 못한 수문 모델링을 표현한다. 따라서 본 연구에서 얻어진 결과는 간헐하천 유역에 대한 고려가 우리나라에 수문 모델 구축에 있어서 필요하다는 것을 의미한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2015년도 제27회 한글 및 한국어 정보처리 학술대회
• /
• pp.133-136
• /
• 2015

문서 교정기에서 문맥의존 철자오류를 교정하는 방법은 크게 규칙을 이용한 방법과 통계 정보를 이용한 방법으로 나뉜다. 한국어와 달리 영어는 오래전부터 통계 모형에 기반을 둔 문맥의존 철자오류 교정 연구가 활발히 이루어졌다. 그러나 대부분 연구가 문맥의존 철자오류 교정 문제를 특정 어휘 쌍을 이용한 분류 문제로 간주하기 때문에 실제 응용에는 한계가 있다. 또한, 대규모 말뭉치에서 추출한 통계 정보를 이용하지만, 통계 정보 자체에 오류가 있을 경우를 고려하지 않았다. 본 논문에서는 텍스트에 포함된 모든 단어에 대하여 문맥의존 철자오류 여부를 판단하고, 해당 단어가 오류일 경우 대치어를 제시하는 영어 문맥의존 철자오류 교정 기법을 제안한다. 또한, 통계 정보의 오류가 문맥의존 철자오류 교정에 미치는 영향과 오류 발생률의 변화가 철자오류 검색과 교정의 정확도와 재현율에 미치는 영향을 분석한다. 구글 웹데이터에서 추출한 통계 정보를 바탕으로 통계 모형을 구성하고 평가를 위해 브라운 말뭉치에서 무작위로 2,000문장을 추출하여 무작위로 문맥의존 철자오류를 생성하였다. 실험결과, 문맥의존 철자오류 검색의 정확도와 재현율은 각각 98.72%, 95.79%였으며, 문맥의존 철자오류 교정의 정확도와 재현률은 각각 71.94%, 69.81%였다.

• 정보기술과데이타베이스저널
• /
• 제3권1호
• /
• pp.25-43
• /
• 1996

정보시스템이 효과적이기 위해서는 정보가 도출되는 자료의 무결성이 우선 전제되어야 한다. 특히 오늘날과 같이 사회가 다양한 활동들을 지원하기 위해 컴퓨터를 이용한 정보시스템에 점점 더 의존해감에 따라 정보시스템에서 사용되는 자료의 질을 적절한 수준으로 유지 및 관리해야 할 필요성이 더욱 절실히 대두되게 되었다. 그럼에도 불구하고 여전히 관리자들은 효과적인 의사결정 및 활동을 위해 필요한 최신의 정확한 자료들을 제공 받지 못하고 있으며 [Nesbit 1985], 정보시스템이 기대 이하의 성능을 나타내는 가장 단순하고 일반적인 원인은 정보시스템에 입력된 자료가 부정확하거나 불완전하기 때문인 것으로 나타나고 있다 [Ballou and Pazer 1989]. 낮은 질의 자료는 즉각적인 경제적 손실뿐만 아니라 보다 많은 간접적이고 경제적으로 측정하기 어려운 손실들을 초래한다. 그리고 아무리 잘 관리되는 시스템에도 시간이 흐름에 따라 여러가지 원인에 의해 저장된 자료에 오류가 발생하게 된다. 자료의 질을 적절한 수준으로 유지하기 위해서는 이와 같은 오류는 주기적으로 발견 및 수정되어야 한다. 이와 같은 작업을 데이타베이스 감사라고 한다. 본 논문에서는 데이타베이스에 저장된 자료의 질을 주기적으로 향상시키기 위한 최적 데이타베이스 감사시점을 일반적인 비용모형을 통해 결정하는 과정을 제시하고, 그와 관련된 사항들에 대해 논의하였다. 데이타베이스는 오류 발생률도 다르고 오류의 결과도 상당히 다른 여러개의 자료군들로 구성되어 있다고 가정하였다. 그리고 각 자료군에서의 오류 누적과정은 확정적이 아닌 확률적인 과정으로 모형화하고, 단순한 오류의 발생뿐만 아니라 오류의 크기도 확률적으로 변하는 상황을 모형에 반영하여 보다 현실성있게 모형화하였다.

• 한국측량학회지
• /
• 제17권3호
• /
• pp.213-223
• /
• 1999

부가가치가 큰 대규모 공공자료인 국가기본도 수치지도 자료기반의 고품질을 확보하고, 수치지도제작에서 발생할 수 있는 각종 오류들을 효율적으로 탐색할 수 있는 개선된 수치지도제작 모형을 구현하였다. 이를 위해 기존에 제작된 수치지도를 분석하고 수치지도 상에 포함될 수 있는 각종 오류를 대분류 자료층으로 구분하여 유형화하고, 유형화된 오류들을 탐색하기 위해 자동오류탐색 프로그램과 전산부호검사 프로그램을 개발하였으며, 순수육안탐색방법을 체계화하여 오류탐색방법에 따라 탐색 가능한 오류들을 범주화하였다. 수치지도제작 개선모형을 구현하기 위해 연구한 결과, 수치지도 제작과정에서 발생할 수 있는 각종 오류들이 체계적으로 탐색됨으로써, 수치지도 제작 공정별로 오류가 감소된 수치지도 자료기반의 구축이 가능하게 되었으며, 수치지도 자료기반의 오류가 최소화되어 품질이 향상됨을 확인할 수 있었다.

• Journal of the Korean Data and Information Science Society
• /
• 제28권5호
• /
• pp.1153-1165
• /
• 2017

구조방정식모형은 사회과학 및 행동과학 연구 분야에서 이론검정을 위해 주로 사용되는 통계방법이다. 최근 이 통계기법에 대한 방법론적 이슈로서 모형명세화 오류와 소표본 문제가 부각되고 있다. 그런데 이 문제들이 구조방정식모형의 대표 추정 방법인 최대우도법에 위한 이론검정에 어떤 영향을 주는지에 대해 여전히 명확하지 않다. 따라서 본 연구에서 최대우도법 그러고 이에 대한 대안으로 개발된 2단계최소자승법과 2단계능형최소자승법을 정확도와 검정력 관점에서 시뮬레이션을 통해 체계적으로 비교해 본다. 이 실험 결과에 따르면, 모형이 정확하게 설정된 경우, 정확도 기준에서 추정방법들 간의 차이는 미미했다. 하지만 모형오류가 발생한 경우, 2단계능형최소자승법은 다른 방법들보다 표본 크기가 작을 때 훨씬 더 정확한 모수추정치를 산출해 내었다. 그러고 이 방법은 명세화 오류에 관계없이 표본 크기가 작을 때에도 제 2종 오류 (Type II error) 수준이 상대적으로 작거나 만족할만한 수준의 검정력을 보여주었다. 이에 반해 다른 두 방법들은 표본이 작은 경우 또는 명세화 오류가 있는 경우 상당히 높은 수준의 제 2종 오류를 나타내었다.

• 한국수자원학회논문집
• /
• 제53권6호
• /
• pp.437-450
• /
• 2020

본 연구에서는 우리나라의 기후 특성의 영향으로 종종 발생하는 무유출량의 간헐하천 유역(Ephemeral catchment)에 확률기반 격자형 수문 모형을 구축하였다. 격자형 모형의 구축을 위하여 Sacramento Soil Moisture Accounting Model (SAC-SMA) 유출 모형을 사용하였으며 라우팅 모형의 결합으로 격자형 강우-유출 모형을 구축하였다. 확률 모형의 표현을 위하여 에러 모형을 결합시켰으며 간헐하천 유역에 적합하게 표현하기 위해서 검열된 오류 모형(censoring error model)을 사용하였다. 기존에 많이 사용되는 정규화된 오류 모형과의 비교를 통하여 본 연구에서 구축한 모형의 적합성을 평가하였다. 먼저 과거 주된 연구와 유역에 대한 검토를 통하여 그 필요성을 논하였으며 우리나라에서 수문 모형에 많이 사용되는 용담댐을 선정하여 수문 모형을 구축하였다. 결과적으로 본 연구에서 구축한 두개의 모형이 둘 다 신뢰할 만한 결과를 보여주지만 검열된 오류 모형의 사용이 더욱 적합한 결과를 보여주는 것을 확인하였다. 이 과정에서 기존의 방법론은 확률 기반의 유출량의 표현에 있어서 0 이하의 음수값을 상당히 표현하였으며 이는 현실이지 못한 수문 모델링의 표현을 의미한다. 본 연구에서는 또한 두 모형의 심층적인 비교를 위하여 심화된 간헐하천 유역을 구축하고 수문 모델링을 하였다. 결과적으로 무유출의 빈도 증가에 따라 무유출량을 고려하는 검열된 오류 모형의 효율이 증가하는 것을 알 수 있었다. 본 연구에서 얻은 결과는 우리나라의 수문 모델링에 있어서 간헐하천 유역에 대한 고려가 필요하다는 것을 의미한다.

• 한국정보통신학회논문지
• /
• 제26권1호
• /
• pp.170-175
• /
• 2022

고성능 컴퓨팅 분야에서 오류의 영향을 완화하기 위해 사후 장애 관리 기법이 필요하다. 일반적인 오류 복구 기법은 체크포인트 기법이다. 이 기법은 체크포인트를 설정해서 주기적으로 응용 프로그램의 상태를 저장했다가, 오류가 발생했을 때 오류 발생 이전 상태로 시스템을 복구하는 것이다. 본 논문에서는 오류 발생 시간이 독립이고 동일한 일반적인 분포를 따른다는 가정에서 즉각적으로 오류를 감지하는 경우의 체크포인팅 모형을 분석한다. 두 체크포인트 사이에 많아야 하나의 오류만 발생한다는 가정을 제거한다. 체크포인트 발생 시간, 고장 시간, 복구 시간 등이 주어질 때, 시스템의 신뢰도를 유도한다. 또한, 오류 발생 시간이 지수 분포를 따르는 경우에 최적의 체크 포인팅 시간 간격을 구한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• 한국산학기술학회논문지
• /
• 제18권3호
• /
• pp.718-723
• /
• 2017

구조설계 실무 현장에서의 구조해석 모델링 방법을 조사해 보면, 대부분의 경우, 삼차원 구조해석을 위해 슬래브를 판요소를 이용한 메쉬의 형태로 모형화 하고, 전단벽을 쉘요소 또는 벽요소를 사용하여 모형화 하고 있다. 여기서 주목할 점은 해석모형 작성의 편의성을 위하여 전단벽을 층과 층 및 기둥선과 기둥선 사이에 존재하는 한 개의 요소로 모형화 한다는 것이다. 이와 같은 모형화 방법은 사용되는 컴퓨터 프로그램에 따라 해석 오류를 발생시킬 수 있으며, 이러한 오류는 해석 결과의 신뢰성을 저하시키게 된다. 따라서 구조해석의 신뢰성을 확보하기 위해서는 이러한 오류가 발생하는 원인을 조사하고 합리적인 모형화 방법을 찾기 위한 연구가 필요하다. 원인 분석을 위한 비교 대상 해석 프로그램은 MIDAS와 SAP2000 및 neoMAX등과 같은 상용프로그램과 요소의 강성을 추측하기 위해 연구용인 sNs를 사용하였다. 본 연구에서는, 구조해석 실무현장에서 사용하고 있는 전단벽 모형화 방법에 따른 해석오류의 원인들을 분석해 보고자 한다. 또한 이러한 분석 결과를 바탕으로 전단벽 모형화를 위한 몇 가지 고려사항들을 제시하고자 한다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.359-367
• /
• 1997

소프트웨어 개발 수명주기 동안의 소프트웨어 테스팅 단계에서 Jelinski와 Moranda의 소프트웨어 고장 데이트 해석 모형이, 병행처리 소프트웨어 환경에서 나타날 수 있는 여러 개의 소프트웨어 오류가 각 테스팅 스테이지에서 다중적으로 발생하여 하나의 소 프트웨어 고장의 원인이 되는 소프트웨어 테스팅 환경에서는 적절하지 않기 때문에, 다중 소프트웨어 오류가 하나의 고장을 유발하는 테스팅 데이터 해석을 위한 베이지안 소프트웨 어 신뢰도 성장 모형을 제안하면서 몇 가지 소프트웨어 신뢰성 측도들에 관해서 비정도 사 전정보를 고려한 베이즈 추정량을 구한다. 그리고 제안된 베이지안 소프트웨어 신뢰도 측도 들의 베이즈 추정량의 성능 평가를 위해서 몬테카를로 시뮬레이션을 수행하고 MSE와 Bias 의 관점에서 성능을 비교한다.