• The Korean Journal of Financial Studies
• /
• v.5 no.1
• /
• pp.135-164
• /
• 1999

본(本) 연구(硏究)는 Jobson(1982)의 주식(株式)의 수익율(收益率)이 정규분포(正規分布)를 할 경우에 다변량(多變量)의 통계학(統計學)을 이용하여 CAPM과 APM을 검증(檢證)하는 방법(方法)을 유도하였다. 이에따라 회귀분석(回歸分析)에 의한 검증방법(檢證方法)과 다변량(多變量)의 검증방법(檢證方法)을 제시하고 현실적으로 CAPM과 APM이 한국증권시장(韓國證券市場)에서 적용가능(適用可能)한가에 대한 실증적(實證的) 검증(檢證)을 실시하였다. 실증적(實證的) 검증(檢證)을 위하여 먼저 우리나라의 주식수익율자료(株式收益率資料)를 1980년 1월부터 1997년 6월까지의 월별자료(月別資料)에 의하여 11개 산업별(産業別) 분류작업을 통하여 산업별(産業別)포트폴리오를 구성하였다. 특히 APM의 경우에는 요인(要因)의 증가에 따라 APM이 한국증권시장에서 적용가능한가를 검증(檢證)하기 위하여 요인(要因)을 2개, 6개 그리고 10개까지 증가시켜 모형(模型)의 적합성(適合性)을 검증(檢證)하였다. 검증결과(檢證結果), CAPM과 APM모두 한국증권시장(韓國證券市場)에서 적용가능(適用可能)한 것으로 나타났다. 특히 APM의 경우에는 요인(要因)이 2개, 6개와 10개로 증가시 어떤 경우에도 적용가능한 것으로 나타났다. 이는 기대수익율(期待收益率)의 설명력을 높이기 위하여 몇 개의 가격화(價格化) 요인(要因)이 APM에 영향을 미치는 가를 연구하는 전통적인 검증방법(檢證方法)은 큰 의미가 없는 것으로 나타났다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.479-484
• /
• 2009

우리나라에서 많은 하천정비사업이 이루어지고 있으며 하천정비사업을 위해 하천설계가 실시되고 있다. 하천설계시 호안 설계가 중요한 비중을 차지하고 있으나 현재까지 설계된 사업에서 적절한 호안공법이 선정되었는지는 검증이 되지 않고 있다. 따라서 하천설계에 적용된 호안공법의 적합성을 평가할 필요가 있으며, 이에 따라 본 연구에서는 자연형 하천설계에 적용된 호안공법의 적합성을 평가하였다. 평가방법은 편익(B)/비용(C)방법을 사용하였다. 편익평가방법은 기존의 호안을 평가하는데 사용되는 방법을 기본으로하여 약간의 수정을 가하여 사용하였다. 평가항목은 수리적안정성, 환경생태성, 어메너티의 항목으로 되어 있고 각 항목은 몇 개의 소항목으로 구성되어 각 항목별로 평가점수를 부여한다. 다음 하천의 위치에 따라 도시, 농촌, 산지로 분류하여 위치별 가중치를 도입한다. 편익을 하천위치에 따라 3가지 항목평가 점수와 가중치를 곱한 값을 더하여 산정하였다. 비용은 호안시공비와 재료비의 합으로 산정하고 5단계로 등급을 나누었다. 최종적으로 계산된 편익과 비용을 이용하여 호안의 경제성을 평가하였다. 평가에 이용된 하천은 하천분류별로 각각 몇 개씩 선정하였으며 하천보고서를 이용하여 평가하였다. 평가결과는 각 하천별로 점수화할 수 있으며 따라서 호안설계점수를 상대적으로 비교할 수 있다. 호안공법별로 평가한 결과 식생매트를 사용한 호안의 경제성이 가장 좋으며 방틀공법을 사용한 호안의 경제성이 가장 나쁜 것으로 나타났다. 본 연구의 평가방법은 호안을 설계할 때 가장 적절한 호안공법을 선정하는데 도움을 줄 수 있을 것이다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.133.1-133.1
• /
• 2012

전자파설계는 위성의 전력시스템, 통신시스템 뿐만 아니라 구조체 등 위성시스템 전반에 걸쳐서 종합적으로 고려가 되어야 하며, 이를 위해서는 개발 초기단계에서부터 시스템 설계에 반영되어야 한다. 위성시스템의 상세 설계가 끝난 후에는 시스템에 구현된 전자파 설계의 적합성을 검증하여야 하며 이는 해석 및 시험을 통해 이루어진다. 본 논문에서는 저궤도 중형급 위성이 우주환경에서 전자파적합성을 이루기 위한 설계 기법 및 전자파환경에 대한 적합성 검증과정에 대해서 다루고 있다. 저궤도 중형급 위성시스템에 대하여 구조물의 전자기적 특성을 정의하는 것부터 우주환경에서 위성의 RF호환성에 이르기까지 부품단위에서부터 시스템 수준까지의 전자파 설계 기준과 각 단계별로 전자파적합성을 검증하기 위한 방법 및 절차에 대해서 기술한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2007-2010
• /
• 2002

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.25 no.3
• /
• pp.311-318
• /
• 2014

Electromagnetic compatibility(EMC) performance of the first Korea space launch vehicle(KSLV-I) should be ensured and verified in order to guarantee the normal operation among the spacecraft, ground facilities which are installed in the space center, and other wireless communication networks. For the purpose of the EMC performance verification, pertinent EMC test specifications, methods, and procedures for both the subsystems and the system should be established in consideration of operational properties and electromagnetic environmental effects. And it is required to maintain and control the EMC properties consistently in accordance with the determined specifications up to the program closing phase. In this paper, sequential management work conducted during the overall development process of the KSLV-I is explained, and not only the phased EMC test plan for each model of the KSLV-I and its subsystem but also test method, specification, and results of the verification tests are presented. And also, multipaction analysis results are presented.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2003.04a
• /
• pp.369-376
• /
• 2003

정보화사회에서 필수적인 사회간접자본으로 간주되고 있는 지리정보체계는 국토공간의 효율적인 이용 및 관리, 재해예방 등 다양한 분야에서 활용되고 있다. 특히, 전 국토의 2/3 이상을 차지하고 있는 산림은 환경적 가치의 확산에 따라 산림정보의 체계적인 관리를 위해 지리정보체계의 활용이 급증하고 있다. 본 연구에서는 수치사진측량 방법을 이용하여 수치임상도의 효율적인 수정 및 갱신방법을 제시하였고, 이를 실제작업에 적용함으로서 적합성을 검증하였다. 이를 위해 연구 대상지역의 항공사진 영상과 IKONOS 위성영상을 이용하여 수치임상도를 갱신함으로서 임상의 판독정확도, 임상의 위치 정확도, 에피폴라영상 제작과정에서 소요되는 제작시간 및 제작 숙련도, 제작비용 등을 비교, 분석함으로서 사용되는 수치영상의 적합성 여부를 판단하였다. 이러한 비교 결과를 토대로 위성영상을 이용하는 방법이 기존의 방법이나 항공사진을 이용한 방법에 비해 보다 효과적인 방법임을 판단할 수 있었으며, 고해상도 위성영상을 이용한 임상도 제작 및 갱신방법이 항공사진이 갖는 판독상의 문제점과 제작과정의 복잡함을 보완할 수 있는 방안이 될 수 있을 것으로 판단된다.

• Environmental and Resource Economics Review
• /
• v.10 no.1
• /
• pp.25-44
• /
• 2001

본 논문의 목적은 양분선택질문형 비시장가치평가법을 통한 편익추정에 사용되는 제 함수의 적합성 여부를 검증하기 위해 사용될 수 있는 방법론들을 비교 검토하는 것이다. 여가수렵의 환경적 요인의 변화에 따른 편익추정에 사용된 함수의 적합성을 판단하기 위해 변이계수접근법, 함수설정 오류 테스트, 그리고 비모수접근법 등이 각 함수에 적용되었다. 결과에 따르면, 편익추정에 이용된 세 가지 로짓함수(선형, 로그, 쉐어모형) 모두 적합한 것으로 판정되었다. 주어진 함수형태에 적용된 세 방법론간에 밀접한 일치성을 보였으며 경우에 따라서는 상호보완적이라는 함축성을 보이기도 하였다 이와 같은 결론은 로짓함수로부터 추정된 값들에 Krinsky-Robb 시뮬레이션을 이용하여 구축한 신뢰구간의 함수간 비교를 통해서도 확인되었다. 주어진 환경 시나리오에 대해 각 함수로부터 도출된 평균 추정치의 신뢰구간이 모두 충분히 중복되었기 때문에 편익추정과 관련하여 함수형태간에 유의적 차이가 없음이 입증된 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.349-351
• /
• 2005

자가 적응 시스템을 무인 시스템(UWS: Unmanned Weapon Systems)에 적용하기 위한 다양한 연구가 이루어지고 있다. 자가 적응 시스템은 임무중인 시스템이 다양한 주변 환경 및 시스템의 변화에 따라 능동적으로 시스템 또는 임무수행을 위한 전략을 주정해 항상 최상의 성능을 발휘할 수 있도록 하는 능력을 갖춘 시스템을 말한다. 자가 적응 시스템에서 능동적으로 변화시킨 시스템의 아키텍처나 임무수행 전략이 유효한 것인지에 관한 검증을 수행한 후 시스템에 적용해야 한다. 기존의 대부분의 자가 적응 시스템에 대한 연구결과에서는 능동적으로 변화된 시스템이 임무수행에 적합한지에 대한 검증 방법을 제시해 주고 있지 않다. 본 연구에서는 UWS의 자가 적응 시스템이 임무수행 중 변화 되었을 때 미래의 발생할 사건에 대해 적절하게 적용 가능한지를 검증하기 위하여 시간적인 사건의 완전성을 검증하기에 적합한 Computation Tree Logic(CTL) 모델체킹(Model Checking)을 적용하여 자가 적응 시스템의 적응결과를 검증하는 방법을 제시하였다.

• Annual Conference on Human and Language Technology
• /
• 2015.10a
• /
• pp.90-95
• /
• 2015

기계적 학습을 위해서는 일반적으로 많은 양의 수동 주석데이터(Manually Labeled Data)가 요구된다. 원격지도(Distant Supervision)는 현실적으로 부족한 주석데이터(Labeled Data)를 대신해 자동적으로 주석데이터를 수집하여 학습하는 접근 방식으로 관계 추출(Relation Extracion) 문제에 널리 활용되고 있다. 이때 필연적으로 많은 노이즈(Noise)가 발생되는데, 적합성 검증(Relevance Verification)을 통해 수집된 학습데이터를 정제함으로써 노이즈로 인한 변동성을 줄이고 결과적으로 향상된 성능을 보여주는 관계 추출 방법을 제시한다.

• Proceedings of the ESK Conference
• /
• 1996.04a
• /
• pp.76-81
• /
• 1996

CFMS(Critical Function Monitering System)는 원자력발전소에서 비상시 제어실 운전원에게 원전의 안전상태에 대한 정보를 제공하는 기능을 갖는데, 원전의 안전성을 위해 인간공학적 확인 및 검증(V&V)이 요구된다. 본 연구에서는 CFMS 화면설계의 인간공학적 평가를 위하여, 원전의 안전성에 대한 평가항목들의 상대적 중요도를 구하고 최종적으로 설계의 적합성을 평 가하는 방법론을 제시하고자 한다. 본 연구에서는 CFMS 화면설계의 평가항목 및 평가기준 확립, 원전에서 인적오류발생 가능성에 대한 평가항목의 상대적 중요도 결정, 분석하고자 하는 CFMS 화면에 대한 각 평가항목들의 인간공학적 설계의 적합성 평가로구성된다. CFMS의 인간공학적 평가를 위한 방법론으로 Fuzzy Set Theory와 AHP(Analytic Hierarchical Process) 기법을 적용 한 방법론을 제시하였다. 최종적으로는 전문가의 평가를 통하여 국내 건설되는 원전의 실제적인 문제에 적용하고자 한다.