• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.038 seconds

A Design and Implementation of the Check Module for the Test of Embedded Software (임베디드 SW의 블랙박스 테스트를 위한 검증 모듈의 디자인 및 구현)

  • 김범모;백창현;장중순;정기현;최경희;박승규
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10b
    • /
    • pp.346-348
    • /
    • 2004
  • 최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

  • PDF

Evaluation of Flood Protection Measurement by MCDM (의사결정기법에 의한 홍수방어대안의 평가)

  • Kang, Seongkyu;Choi, Si Jung;Lee, Dong Ryul
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2017.05a
    • /
    • pp.371-371
    • /
    • 2017
  • 평가기준과 대안의 종류가 다양한 경우 사용하는 다기준의사결정기법은 생산관리, 공공투자 분야 등에서 널리 사용되고 있으며 수자원분야에서는 주로 홍수위험지구 선정에 사용되어 왔다. 다기준의사결정기법은 평가기준의 한정여부 및 대안을 찾는 방식에 따라 다속성의사결정기법과 다목적의사결정기법으로 다시 구분할 수 있다. 홍수방어대안을 의사결정방법에 따라 결정하는 경우, 해당지역의 환경에 따라 가능한 대안은 유한하며 한 개의 최적해를 선정하기보다는 대안의 우선 순위를 결정하여 지역 상황에 적합한 대안을 설정할 수 있도록 한다는 측면에서 다속성의사결정 기법을 활용하여 순위를 정하는 것이 타당하다. 본 연구에서는 과거 홍수피해 지역에서 적용이 가능한 대안을 경제성분석을 동반하여 평가하고, 실제 대안의 실효성을 검증하였다. 홍수방어대안으로는 전통적인 구조물적 방법 및 비구조물적 방법에 도시계획 및 토지이용계획을 포함하여 가능한 대안을 검토하였다. 또한 적용 가능한 다른 대안을 다기준의사결정기법을 활용하여 우선순위를 결정하여 제시하였다. 향후 도시계획의 수립에 있어 홍수방어에 대해 고려할 수 있는 방법이 될 수 있다.

  • PDF

Performance Based Design for High Curability Concrete (성능중심형 고내구성 콘크리트의 배합설계)

  • Kim, S.S.;Park, K.P.;Lee, J.B.
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2008.11a
    • /
    • pp.969-974
    • /
    • 2008
  • This study was carried out to investigate the service life of reinforced concrete structures for durability design. The service life has three aspects physical service life, functional service life, and social service life, and that a structures are normally demolished to end its service life when either the functional or social service life is over before the physical service life comes to end an end. In the future, it is very important that durability design shall be performed establishing design service life and the unallowable state of deterioration in the course of design service life.

  • PDF

Analysis on Factors Determining Reliability of FTA Origin Certificate : Focusing on Characteristics of Firm, Product and Country (FTA 원산지 증명 신뢰성 결정 요인 분석 : 수출기업, 물품, 수출국가 특성을 중심으로)

  • AN, Yong-soon;CHO, Hyuk-soo
    • The Journal of shipping and logistics
    • /
    • v.35 no.2
    • /
    • pp.245-264
    • /
    • 2019
  • With the first agrement in 2004, Korea(ROK) has been one of the most active countries participating in FTA. Companies should meet some requirements to use preferential tariff benefits of FTA. For example, it is required for firms to fulfil the origin criteria and direct transportation principles. This study is designed to provide important factors determining reliability of FTA Origin Certificate. In specific, characteries of firm(trade experience, professional expertise), country (FTA participation, economic development) and product(processing level, value pricing) are investigated as determinants of how trust FTA origin certificate. According to the theoretical foundation and previous studies, this study made 6 hypotheses. SEM(Structural Equation Modeling) was used to test empirically the hypothesized relationships among variables. The empirical findings show that trade experience, professional expertise and FTA participation are important determinants. In other words, firms can trust more FTA Origin Certificate by trading partners with more trading experiences and professional expertises located in countries where participate actively in FTA.

주식가격결정요인(株式價格決定要因)의 경제적(經濟的) 의미(意味)에 대한 실증적(實證的) 연구(硏究)

  • Lee, Yong-Ho
    • The Korean Journal of Financial Management
    • /
    • v.11 no.1
    • /
    • pp.97-122
    • /
    • 1994
  • 시장균형상태(市場均衡狀態)의 조건(條件)하에서 주식의 기대수익률을 설명할 수 있는 가격결정(價格決定) 요인(要因)이 무엇을 의미하는가를 규명하는 일은 증권시장을 설명하기 위한 중요한 과제이다. 본 논문의 연구 목적은 재정가격결정모형(栽定價格決定模型)을 적용하여 주식수익률에 대한 요인(要因)을 분석(分析)하고, 최적 포트폴리오 구성 주식수와 유의적인 가격결정 요인 및 이들이 설명하는 경제적(經濟的) 의미(意味)를 찾는데 있다. 특히 ML방식의 요인분석 과정에서 헤이우드 상황(狀況)(Heywood case)을 확인하고 정밀한 요인(要因)의 추정을 위하여 이를 제거하였으며, 헤이우드 상황(狀況)이 미치는 영향을 분석하였다. 실증분석(實證分析) 결과(結果) 요인분석에서 최적 포트폴리오 구성 주식수는 35개이며, 이때의 가격결정(價格決定) 요인수(要因數)는 $2{\sim}3$개 정도이다. 그리고 주식의 가격결정요인으로 일관성 있게 설명하는 경제변수(經濟變數)로는 종합주가지수, 산업생산성지수, 실업률지수, 기업소규모지수 등이다. 그리고 Heywood case 발생 표본은 균형모형 설정에 교란요인이 됨을 검증하였다.

  • PDF

Design of Algorithm for Economic Positioning System in Unit Range (단위지역내 경제적 위치측정 시스템을 위한 알고리즘개발)

  • Park, Young-Jin;Kim, Yong-Deuk
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • pp.565-567
    • /
    • 2001
  • 교류의 증대와 활동영역의 증가로 인하여 사용자의 위치를 결정하고, 최적의 거리를 검색하는 등의 필요성에 의해 위치결정을 위한 방법과 시스템은 많은 발전을 거듭해 왔다. 특히 미해군항공위성시스템에서 시작하여 개발되어진 GPS 시스템은 현재 많은 분야에서 사용되고 있다. 또한 DGPS의 개발로 인하여 더욱 고정밀의 위치 결정이 가능하게 되었다. 본 논문에서는 이러한 위치결정의 기본원리인 TDOA를 응용하여 단위 지역내에서 사용되어질 수 있는 경제적인 시스템의 구조를 제안하고, 위치를 결정할 수 있는 여러 가지 방법을 분석하여 합리적인 위치 결정 알고리즘을 개발하여 그 효율성을 검증하였다.

The correlation analysis between SWAT predicted forest soil moisture and MODIS NDVI image (SWAT 모형의 산림 지역 토양수분과 MODIS 위성영상에서 추출한 NDVI와의 상관성 분석)

  • Hong, Woo-Yong;Park, Min-Ji;Park, Jong-Yoon;Park, Geun-Ae;Kim, Seong-Joon
    • Proceedings of the KSRS Conference
    • /
    • 2009.03a
    • /
    • pp.111-115
    • /
    • 2009
  • 본 연구에서는 SWAT 모형에서 모의된 토양수분의 신뢰성을 판단하기 위해 MODIS NDVI의 활용성을 파악하고자 하였다 MODIS 위성영상을 이용하여 시간해상도 16일, 공간해상도 250m의 NDVI를 추출하였으며, 대상유역은 면적이 약 $6661.3km_2$ 이고 그 중 산림이 약 82.2%를 차지하고 있는 충주댐 유역으로 하였다. 보다 신뢰성 있는 자료를 얻기 위해 토양, 토지이용 등 유역의 특성이 다른 상류와 하류로 나누어 다지점 검보정을 수행하였으며, 2003년부터 2006년까지의 유출 자료를 이용하여 모형을 보정하고, 2000, 2001 그리고 2002년에 대하여 검증하였다. 검보정 결과 모형 효율성 계수는 상류와 하류에 대하여 각각 0.91, 0.87, 결정계수는 각각 0.90, 0.80으로 분석되었다. 분석 기간은 2000년부터 2006년까지이고, NDVI의 특성에 따라 봄기간과 가을기간으로 나누어 분석하였으며, 선형회귀 방적식과 결정계수를 이용하여 상관성을 판단하였다. 분석결과 SWAT에서 모의된 토양수분과 MODTS NDVI는 약 55%의 상관성을 나타내었고, 가뭄해인 2001년에 약 85%로 상관성이 매우 높고, 비가 많이 온 해인 2002년에 약 2%로 상관성이 매우 낮아 NDVI는 가뭄 기간 SWAT에서 모의된 토양수분의 신뢰성을 검증할 수 있는 자료로 사용될 수 있다고 판단되었다.

  • PDF

Flash Flood Risk Assessment for Mountainous Area using a Multi-Criteria Decision Analysis (다기준의사결정기법을 이용한 산지유역 돌발홍수 위험도 평가)

  • Lee, Jung-Ho;Park, Moo-Jong;Jun, Hwan-Don
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2010.05a
    • /
    • pp.337-341
    • /
    • 2010
  • 최근들어 기상 이변에 따라 단시간에 집중되는 국지호우로 인하여 돌발홍수(Flash Flood)에 의한 피해가 빈번하게 발생하고 있다. 대하천의 경우에는 각 홍수 통제소에 의한 홍수 예경보 시스템(Flood Warning System)을 통하여 본류 구간에서의 인명 및 재산 피해가 과거에 비하여 상당히 감소하였으나 소하천에서는 반대로 피해가 증가하고 있는 실정이며, 따라서 돌발홍수에 대한 대비의 필요성이 증대되고 있는 실정이다. 본 연구에서는 돌발홍수로 인한 인명 및 재산 피해를 최소화하기 위하여 산지유역의 돌발홍수 발생 위험도를 평가할 수 있는 방법론을 제시하였다. 돌발홍수 위험도를 평가하기 위하여 고려되는 요소들로는 유역경사, 하천경사, 강우특성 등이며, 이러한 서로 다른 단위의 평가요소들을 종합적으로 고려하기 위하여 다기준의사결정방법 중 하나인 PROMETHEE 기법을 이용하였다. 주요 평가 인자들은 크게 지형특성, 지역특성 및 강우특성으로 구분되며, 각 평가 요소들간의 상대적인 가중치의 산정은 엔트로피 이론을 이용하였다. 본 연구에서 제안된 위험도 평가 방법은 그 적용성을 검증하기위하여 17개의 소유역들을 포함하고 있는 봉화군 유역에 적용되었다. 적용 결과 봉화군 유역 내 17개의 소유역들은 돌발홍수에 대한 상대적인 위험도에 따라 고 중 저위험군으로 분류되었으며, 과거 돌발홍수로 인한 피해 이력이 있는 소유역이 고위험군에 속해있는 결과를 나타냄으로써 본 연구의 방법론에 대한 적용성이 검증되었다.

  • PDF

An Estimation of Regression Equation for Temporal Distribution of Design Rainfall Using Variable Selection Method (변수선택 방법을 이용한 설계강우량 시간분포 회귀식의 산정)

  • Lee, Sung Ho;Lee, Jae Joon;Park, Jin Hee;Rhee, Dong Sop
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2018.05a
    • /
    • pp.169-169
    • /
    • 2018
  • 국내에서는 유량자료의 부족으로 수공구조물을 설계하기 위한 기초자료로서 설계강우량을 활용하고 있다. 따라서 설계강우량의 산정 및 시간분포가 중요한 요인으로 작용하고 있으며, 국내에서는 설계강우량 시간분포를 위한 방법으로 Huff의 4분위 방법을 사용하는 것이 일반적이다. 실무에서는 확률강우량도 개선 및 보완연구(Ministry of Land, Transport and Maritime Affairs, 2011)에서 제시한 관측소별 Huff의 무차원 누가우량 백분율을 이용하여 Huff의 4분위 방법 중 3분위의 자료를 이용하여 시간분포 회귀식을 산정하고 있으며, 회귀식의 차수는 전반적으로 결정계수가 높은 6차식을 사용하고 있다. 회귀식의 경우 고차식으로 갈수록 결정계수가 높아지는 것은 당연하지만 4차 이상의 회귀식에서는 결정계수의 차이가 미미하므로 6차식을 사용하는 것이 합리적이라고 할 수 없다. 따라서 본 연구에서는 통계적 유의수준에 기초하여 Huff 4분위 방법의 시간분포 회귀식에 대한 유의성 검정을 실시하여 회귀계수에 대한 통계적 검증을 실시하고 변수선택 방법인 전방선택법(Forward Selection)을 이용하여 유의하지 않은 회귀계수들을 제외하면서 가장 좋은 변수들로 구성된 간결한 설계강우량 시간분포 회귀식을 산정하고자 한다. 또한 산정된 회귀식과 기존 확률강우량도 개선 및 보완연구(Ministry of Land, Transport and Maritime Affairs, 2011)에서 제시한 회귀식과 비교하여 변수선택 방법인 전방 선택법(Forward Selection)을 이용하여 산정된 회귀식의 적합성을 검증하고자 한다.

  • PDF

시계열분석(時系列分析)에 의한 주식수익율(株式收益率) 변동성(變動性)의 예측(豫測)

  • Park, Dong-Gyu
    • The Korean Journal of Financial Management
    • /
    • v.9 no.2
    • /
    • pp.343-367
    • /
    • 1992
  • 이 연구는 시계열분석(時系列分析)에 의해 주식수익율(株式收益率)의 변동성(變動性)을 예측하는 모델을 개발하고 그것에 의해 도출된 예측치(豫測値)의 실제변동성(實際變動性)에 대한 예측력(豫測力)을 미국의 주식시장자료를 사용하여 검증 비교하였다. 구체적으로 수익률변동성에 대한 (1) 역사적(歷史的) 변동성(變動性), (2) ARMAX 예측치(豫測値), (3) GARCH 예측치(豫測値) 등이 도출되고 그것들의 예측력이 통계적 비교와 회귀분석 등의 여러차원의 평가기준에 의해서 비교된다. 실증결과에 따르면 선택된 독립변수들에 근거한 ARMAX 예측치가 다른 예측치들 보다 모든 평가기준에서 우수한 예측력을 보였다. GARCH 예측치는 기대와는 달리 만족스러운 예측력을 보여주지 못했다. 본 연구에서 예측력이 실증된 ARMAX 예측치를 다양한 옵션가격결정모형의 변동성투입요소로 사용하는 것은 보다 정확한 옵션의 이론가격을 도출하는 데 크게 기여할 것이다. 또한, 이 논문의 실증결과는 각종의 자산가격결정이론, 수익률분포이론 등의 학문적 분야 뿐만 아니라 주식수익률 변동성의 동향이 일반투자자들의 투자전략에 결정적 영향을 미친다는 점에서 실무적인 관점에서도 시사하는 바가 크다고 할 것이다.

  • PDF