• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
• /
• pp.99-100
• /
• 2006

지금까지 국내 디지털 보호계전기의 성능 검증은 동작치 특성 시험 등 정특성시험(steady-state performance) 검증 위주로 수행되어 왔으며, 신규개발 디지털 보호계전기 및 신규 도입 디지털 보호계전기에 대해서는 정특성 시험과 함께 시뮬레이터를 이용한 동특성 시험을 병행하여 왔다. 동특성 시험은 보호계전기에 내장된 계전요소들의 유기적인 성능을 검증할 수 있는 시험으로서 복수 개의 보호계전요소를 탑재하고 있는 디지털 보호계전기를 검증하기 위해서는 필수적인 성능검증 수단이다. 그러나 이러한 장점들과 편리함에도 불구하고 디지털 보호계전기의 성능검증에 사용되는 계통 모델이 실 계통을 정확하게 반영하지 못할 경우 검증 결과의 신뢰성을 보장하기가 어렵다. 본 논문에서는 154kV 송전선로 보호용 디지털 보호계전기의 성능 검증을 위한 기반 구축 과정 및 결과에 대해서 기술한다.

• 컴퓨터교육학회논문지
• /
• 제11권1호
• /
• pp.97-107
• /
• 2008

PC 그리드 환경에서 각 PC 자원(인터넷에 연결된 PC)이 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 이제까지 PC 그리드 환경에서는 작업 결과에 대한 정확성을 보장하기 위한 결과검증 기법으로 투표기반 기법이나 신용기반 기법이 사용되어 왔다. 그러나 이들 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 자원 활용의 낭비와 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 신용도(credibility)와 가용성(availability)을 기반으로 하는 PC 자원의 분포 정보를 결과검증 과정에 도입한다. 이러한 정보를 사용하여, 각 PC 자원의 신용도를 평가하여 작업 결과의 정확성을 판단하고 동시에 PC 자원의 가용성 정보를 이용하여 동적 환경에 대처하는 새로운 결과검증 기법을 제안한다. 제안하는 결과검증 기법의 효율성을 증명하기 위해서 국내의 대표적 PC 그리드 시스템인 Korea@Home 시스템의 자원 분포 정보를 활용하여 제안 기법의 성능을 전체작업의 반환시간과 자원사용량의 관점에서 평가하고 다른 결과검증 기법들과 비교하여 우수성을 보인다.

• 한국과학교육학회지
• /
• 제28권6호
• /
• pp.664-674
• /
• 2008

본 연구는 문헌 연구와 전문가집단의 논의를 통해서 가설검증방법 고안의 교수-학습 절차를 개발하였고, 이에 따라 과학교사를 위한 가설검증방법 고안 교수-학습 프로그램을 R&D 방식으로 개발하여 투입하였으며, 과학교사들이 사전과 사후에 고안한 가설검증방법의 유형 및 가설 검증력 변화를 분석하였다. 연구 결과에 의하면 사전 검사에 비교해서 사후 검사의 가설검증방법의 정교성, 설명요소의 다양성, 검증구조의 논리성등이 증가된 유형으로 변화되었다. 그리고 사전 검사에 비교해서 사후 검사의 가설검증방법의 수, 정교성지수, 검증구조지수, 가설 검증력 등의 평균이 향상되었다. 이러한 결과는 가설검증방법 고안 교수-학습을 통해서 과학교사의 가설검증방법이 보다 포괄적이고 정교하게 변화되었음을 의미한다. 뿐만 아니라 이 연구의 결과는 과학교사들의 탐구능력 향상의 가능성, 기존의 수업 모형 개선, 검증방법고안 능력 평가를 위한 도구 개발에 시사점을 제공하였다.

• 한국콘텐츠학회논문지
• /
• 제20권8호
• /
• pp.359-367
• /
• 2020

IoT(Internet of Things)의 주요기술인 WSNs(Wireless Sensor Networks)는 위치를 기반으로 정보를 전달하거나 인증을 하는 경우가 많기에 잘못된 위치 정보는 서비스에 큰 위험이 된다. 따라서 위치 정보를 검증하는 방법은 필수적이다. 목적에 적합한 기법을 설계하기 위해서는 기존 연구들에 대한 통합적인 분석과 분류 결과가 중요하다. 본 논문은 WSN 를 대상으로 개발된 위치 검증 기법들의 특징에 대해 통합적인 분석 및 분류 결과를 제시하는 것을 목표로 한다. 이를 위해 기발표된 주요 위치 검증 기법들의 특징 분석 결과를 바탕으로 분류 기준을 설정한다. 그리고 설정한 분류 기준에 따라 기존 연구 결과를 분류하고 각각의 특징과 발전 방향을 기술한다. 본 논문의 결과는 기존의 위치 검증 기법 분석 및 분류 연구와 비교해, 보다 다양한 기준을 제시하고 있다는 점에서 신규 기법의 설계시 유용한 참고자료가 될 것으로 기대된다.

• 한국정보통신학회논문지
• /
• 제19권5호
• /
• pp.1157-1162
• /
• 2015

본 논문에서는 OFDM 기반의 4x4 MIMO 알고리즘을 설계 및 구현을 하였으며, 구현된 결과를 검증하기 위한 방법을 제시한다. 알고리즘은 MRVD와 QRM-MLD을 적용했다. Matlab과 Simulink를 이용하여 채널 추정 및 MIMO 알고리즘을 Floating-point와 Fixed-point 모델로 설계하였다. 그 다음 Modelsim을 이용하여 VHDL로 구현한다. 구현된 알고리즘의 성능 검증을 위해 설계한 Simulink 모델과 Modelsim 시뮬레이션, ISE ChipScope, 그리고 오실로스 코프로 측정한 결과를 비교하는 방법을 사용하였다. 이 방법은 시스템이 완성되지 않은 상태에서 구현된 알고리즘을 검증하는 방법이다. 검증 결과 ChipScope의 결과와 오실로스코프의 결과가 동일함을 확인하였고, 백홀 시스템에 적용이 가능함을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
• /
• pp.274-277
• /
• 2006

본 논문에서는 온라인 필기 한자 인식 과정에 있어 비슷한 한자끼리 혼동되어 오인식되는 한자들을 선별하여 이들 한자 인식과정의 후처리에 적용 할 수 있는 결과검증 방법에 대해서 소개한다. 결과검증 방법은 온라인 필기 한자인식기가 최종 인식결과를 산출하기 전에 후보한자들 중 혼동한자가 있으면 그 혼동 한자에 대해서 미리 정해놓은 조건을 만족하는지 검사하여 점수를 내고 이를 인식 후처리에 이용한다. 인식 후처리에 쓰이는 결과검증 방법에서는 그 한자만이 가지고 있는 구조적인 정보를 다른 한자들과 구별하기 위해 휴리스틱으로 파악하여 조건화 시킨다. 구조적인 정보는 획의 좌표, 방향코드, 순서, 길이 등으로 판단되며 다양한 휴리스틱방법이 고려 될 수 있다. 인식 후처리에 적용되는 결과검증 방법을 통해 혼동되는 온라인 필기 한자를 구별하는데 도움이 되는 것을 실험을 통해 확인하였다.

• 지능정보연구
• /
• 제5권2호
• /
• pp.15-27
• /
• 1999

산업계 전반에 걸친 오랜 정보시스템 운용의 결과로 대용량의 데이터들이 축적되고 있다. 이러한 데이터로부터 유용한 지식을 추출하기 위해 여러 가지 데이터마이닝 기법들이 연구되어 왔다. 특히 데이터웨어하우스의 등장은 이러한 데이터마이닝에 있어 필요한 데이터 제공 환경을 주고 있다. 그러나 전문가의 적절한 판단과 해석을 거치지 않은 데이터마이닝의 결과는 당연한 사실이거나, 사실과 다른 가짜이거나 또한 관련성 없는(Trivial, Spurious and Irrelevant) 내용만 무수히 쏟아낼 수 있다. 그러므로 데이터마이닝의 결과가 비록 통계적 유의성을 가진다 하더라고 그 정당성과 유용성에 대한 검증과정과 방법론의 정립이 필요하다. 데이터마이닝의 가장 어려운 점은 귀납적 오류를 없애기 위해 사람이 직접 그 결과를 해석하고 판단하며 아울러 새로운 탐색 방향을 제시해야 한다는 것이다. 본 논문의 목적인 이러한 데이터마이닝에서 추출된 결과를 검증하고 아울러 새로운 지식 탐색 방향을 제시하는 방법론을 정립하는데 있다. 본 논문에서는 데이터마이닝 기법 중 연관규칙탐사(Associations)로 얻어진 결과를 설명가능성 여부의 판단을 통해 검증하는 기법을 제안하였고, 이를 위해 도메인 지식(Domain Knowledge)과 연관규칙탐사를 통해 얻어진 결과를 표현하기 위한 지식표현방법으로 관계형 술어논리(RPL : Relational Predicate Logic)를 개발하였다. 연관규칙탐사로 얻어진 결과를 설명하기 위한 방법으로는 연관규칙탐사로 얻어진 연관규칙에 대한 RPL로 표현된 도메인 지식으로서 설명됨을 보이게 한다. 또한 이러한 설명(Explanation)을 토대로 검증된 지식을 일반화하여 새로운 가설을 연역적으로 생성하고 이를 연관규칙탐사를 통해 검증한 후 새로운 지식을 얻는 설명기반 데이터마이닝 구조(Explanation-based Data Mining Architecture)를 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
• /
• pp.148-150
• /
• 2001

발견된 Web Usage 패턴들은 분석하는 전문가에게는 불필요하고 흥미롭지 못해 의사결정에 도움이 못되는 경우가 많다. 따라서 발견된 패턴에 대한 도메인 전문가의 사전 Belief에 기반한 패턴 검증 과정이 필요하다. 발견된 패턴의 유용성 여부는 패턴의 Unexpectedness를 측정함으로써 결정할 수 있다. 본 논문에서는 패턴의 Unexpectedness를 전문가의 Belief에 기반하여 검증하기 위한 새로운 방법론 제안한다. 발견된 패턴과 전문가 Belief를 매칭 알고리즘을 이용하여 패턴을 4가지(완전일치, 조건부 일치, 결과부 일치, 완전 불일치)로 분류하는 1차 검증과 1차 검증 결과의 4가지 분류데이터를 통계적 추론 방법인 Dempster-chafer에 적용한 2차 검증으로 나뉜다. 1차 검증 과정은 패턴의 분류 용이성을 부여하나 패턴의 Unexpectedness에 대한 신뢰성을 제공하지 못한다. 이 문제점을 2차 검증 과정을 통해 해결한다.

• KDI Journal of Economic Policy
• /
• 제15권1호
• /
• pp.185-205
• /
• 1993

Shiller에 의하여 개발된 분산한계검증모형(分散限界檢證模型)은 간결하고 명쾌한 모형유도(模型誘導)와 강력한 검증결과(檢證結果)에 의해 주목받아 왔으나 비현실적(非現實的)인 가정(假定)들을 통한 모형설계와 검증통계량(檢證統計量)의 통계적 오류로 검증결과의 신뢰성이 의문시되어 왔다. 이러한 문제점을 제거하기 위한 Mankiw-Romer-Shapiro(MRS)모형(模型) 역시 임의변수(任意變數)의 도입으로 인한 검증력(檢證力) 저하(低下)와 고정기대수익율가정(固定期待收益率假定)의 채택으로 결합가설검증(結合假說檢證) 형태를 취하게 되는 문제점을 드러냈다. 본고(本稿)는 MRS모형(模型)의 문제점을 제거하기 위하여 먼저 Lucas의 균형자산가격모형(均衡資産價格模型)을 이용하여 고정기대수익율가정(固定期待收益率假定)을 완화하였고, 이에 의하여 구해진 변수들을 사용하여 합리적(合理的) 기대이론(期待理論)의 일반관계식(一般關係式)으로부터 새로운 검증모형(檢證模型)을 유도하였다. 1982~92년까지의 종합주가지수(綜合株價指數)와 대응하는 배당액(配當額)의 연도별(年度別) 시계열자료(時系列資料)를 가지고 검증실험을 행하여 본 결과 한국(韓國) 주식시장(株式市場)에서 효율적 시장가설은 기각되었고, 이를 통하여 관련정보(關聯情報)가 시장가격(市場價格)에 제대로 반영되지 않고 있으며, 정보(情報)의 비대칭성(非對稱性)으로 인하여 주식시장은 금융자원(金融資源)의 중개기능(仲介機能)을 효율적으로 수행하지 못하고 있음을 알 수 있었다. 따라서 한국 주식시장의 효율성을 제고하기 위하여 먼저 시장의 비효율성을 야기하는 요인(要因)들에 대한 분석(分析)과 이 분석을 통한 효율성(效率性) 장애요인(障碍要因)을 제거하는 것이 주식시장에 대한 정부정책(政府政策)의 우선순위(優先順位)가 되어야 할 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.741-744
• /
• 2007

데스크탑 그리드 시스템에서 각 자원에서 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 작업 결과에 대한 정확성을 보장하기 위해서 결과 검증 기법으로 투표기반 기법이나 신뢰기반 기법이 사용되어 왔다. 그러나 이러한 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 낮은 확장성과 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 자원제공자에 의해 초래될 수 있는 잘못된 연산 결과에 대해 각 자원제공자의 신용도(credibility)를 동적으로 평가하여 연산 결과의 정확성을 판단하는 적응적 결과 검증 메커니즘(Adaptive Result Verification Mechanism: ARVM)을 제안한다. 또한, 제안하는 ARVM 은 자원제공자의 가용성(availability) 정보를 이용하여 결과 검증 시에 요구되는 연산 지연을 최소화한다.