• Title/Summary/Keyword: 변수

Search Result 30,730, Processing Time 0.053 seconds

A Proof Method of Logic Programs in Parallel Environment (병렬화를 위한 논리 프로그램의 증명 방법)

  • 이원석
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.18 no.3
    • /
    • pp.425-438
    • /
    • 1993
  • Due to the producer-consumer dependency of shared variables, the potential parallelism embeded in the logic programming language has not been fully examined. The method proposed in this paper eliminates the dependency of shared variables by introducing number-sequenced variables in expanding an AND-OR proof tree. Basically, the execution of a logic program can be divided into two phases : expanding an AND-OR tree and proving the tree by matching facts with leaf nodes. In the course of the first phase, a set of number-sequenced variables are produced by expanding an AND-OR tree in the breadth-first searching. Based on the information of number-sequence, each of them is verified in the second phase in order to prove the tree. Consequently, the proposed algorithm can explore more parallelism without the dependency of shared variables.

  • PDF

Parameter Optimization and Uncertainty Analysis of the Rainfall-Runoff Model Coupled with Hierarchical Bayesian Inference Scheme (Hierarchical Bayesian 기법을 통한 강우-유출모형 매개변수의 최적화 및 불확실성 분석)

  • Mun, Yeong-Il;Gwon, Hyeon-Han
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2007.05a
    • /
    • pp.1752-1756
    • /
    • 2007
  • 정교한 강우-유출 모의를 위해서는 적절한 매개변수의 추정이 필수적이며, 매개변수 추정 방법은 시행착오(trial and error)에 의한 수동보정법과 최적화방법을 사용한 자동보정법으로 구분할 수 있다. 모형의 매개변수의 수가 많은 경우 수동보정법에 의한 매개변수 추정은 매우 어렵다. 자동 보정법에 사용되는 최적화방법은 Rosenbrock 알고리즘, patten search, 컴플렉스(complex) 방법, Powell 방법 등과 같은 지역최적화 방법과 전역최적화 방법으로 나눌 수 있다. 그러나 기존 방법론들은 매개변수의 최적화를 추적하기 위한 알고리즘이 대부분이며 이들 매개변수에 관련된 불확실성을 평가하는데는 미흡한 단접이 있다. 이러한 점에서 본 연구에서는 강우-유출모형의 매개변수 추정에 있어서 불확실성을 평가할 수 있는 새로운 방법론을 검토하고자 한다. 매개변수와 관련된 불확실성을 평가하기 위한 방법은 여러 가지가 있으나 통계적으로 매우 우수한 능력을 보이는 Hierarchical Bayesian 알고리즘을 Probability-Distributed 강우-유출 모형에 적용하였다. 본 방법론은 최적화와 동시에 각 매개변수에 관련된 사후분포(posterior distribution)의 추정이 가능하므로 모형이 갖는 불확실성을 효과적으로 평가할 수 있다. 따라서, 수자원 관리에 있어서 불확실성을 고려할 수 있으므로 보다 수리수문학적 위험도를 저감할 수 있을 것으로 판단된다.

  • PDF

Sensitivity Analysis of the Runoff Model Parameter for the Optimal Design of Hydrologic Structures (수공구조물의 적정설계를 위한 유출모형 매개변수의 민감도 분석)

  • Lee, Jung-Hoon;Kim, Chang-Sung;Kim, Mun-Mo;Yeo, Woon-Kwang
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2007.05a
    • /
    • pp.1488-1492
    • /
    • 2007
  • 현재 도시화로 인한 유출량의 증가 및 도달시간의 단축은 도시 재해의 한 원인이 되고 있으며 그에 따라 수공구조물에 대한 적정 설계가 필요하다. 하지만 계획단계에서부터 설계에 필요한 값을 예측하기는 매우 어려운 실정이다. 더구나 개발로 인해 매개변수가 변화함에 따라 유출 영향 분석이 어려울 뿐 아니라 이에 따른 연구가 미흡한 실정이기 때문에 모형매개변수의 민감도 분석을 통해 유출영향 분석 및 수공구조물 적정설계의 중요 기반자료로 활용하고자 본 연구를 수행하였다. 본 연구에서는 민감도 분석방법 중 절대 및 상대 민감도 분석 방법을 사용하여 각 유역의 지형학적 수문학적 매개변수들의 민감도 분석을 통해 상관관계를 확인하였다. 특히 대표적인 매개변수로서 유출계수 CN의 변화에 따른 유출량 및 유출 용적의 관계를 통해 CN의 증감에 따른 유출량 및 유출용적의 변화량을 산정하고, 또한 각 매개변수들간의 회귀분석을 통해 경험식을 작성, 제안하였다. 한편 현재 국내에서 사용중인 HEC-HMS를 모의하여 매개변수의 민감도 분석을 실시하였다. 본 연구의 결과로 CN값이 개발 전후 5% 증가시 유출량은 약 10%정도 증가한다는 것을 HEC-HMS모의와 자료의 분석을 통해 확인 할 수 있었다. 본 연구의 결과에 대해 검 보정 및 추가적인 자료수집을 통한 분석이 이루어지고, 매개변수 민감도 분석을 통한 국내 실정에 맞는 매개변수도출을 위한 연구가 계속적으로 수행된다면 미계측 유역에 대한 수공구조물의 적정설계에 상당부분 기여할 것으로 판단된다.

  • PDF

웹 기반 협동학습 시스템 사용의도에 미치는 영향요인에 관한 연구: Decomposed TPB 모형중심

  • Lee, Dong-Hun;Lee, Sang-Gon;Lee, Ji-Yeon
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2010.05a
    • /
    • pp.310-316
    • /
    • 2010
  • 본 연구는 정보기술의 사용(Usage)과 수용(Adoption)을 예상하는 목적보다는 웹 기반 협동합습 시스템사용 의도와 사용행위에 영향을 미치는 변수들을 폭 넓게 이해하고, 실질적으로 활용 할 수 있는 변수를 찾는데 목적이 있기 때문에 분해된 계획 행동 이론(Decomposed TPB)을 기반 하였고, 분해된 변수들 중 일부분(지각된 유용성, 지각된 용이성, 명시적 영향, 암시적 영향)과 웹 환경의 중요 요소인 '흥미성' 을 포함하여 사용의도(Use Intention)에 영향을 미치는 변수들을 2개 대학의 대학생 256명을 대상으로 자료를 수집하여 실증 분석하였다. 연구결과 다차원으로 분해된 일부 변수들 중 태도적 믿음 변수인 '지각된 용이성'을 제외하고 분해된 모든 변수가 사용의도에 긍정적 강한 영향을 미치고 있음을 알 수 있었고, 특히 주관적 규범(명시적 영향, 암시적 영향)변수는 준거집단을 통해서 웹기반 협동학습 시스템에 대한 행동의도나 인지에 영향을 줄 수 있는 중요 변수로 나타났다. 이러한 결과는 준거인이 되는 팀장은 팀원 및 학습자들과의 상호작용(협동학습을 통한 화상토론, 게시판정활동, 오프라인 정기 모임, 동영상 동시 시청)과 팀원 관리 및 운영하는 역할이기 때문에 새로운 정보 기술 및 시스템 사용 권유를 하거나, 직접 기술사용을 하는 주변 분위기는 협동합습에 참여한 학습자들에게 조금이나마 영향을 줄 수 있음을 추측 해 볼 수 있고 영향력 있는 중요변수임을 제시하였다.

  • PDF

Development of the parameter maps of the Modified Bartlett-Lewis Retangular Pulse Model for Han River Basin of Korea (한강유역에 대한 Modified Bartlett-Lewis Rectangular Pulse 모형의 매개변수 지도 작성)

  • Kim, Dong-Kyun;Lee, Seung-Oh;Jung, Young-Hoon;Kim, Soo-Young
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2012.05a
    • /
    • pp.456-456
    • /
    • 2012
  • 한강유역에 위치한 247개의 강우계에서 관측된 강우 자료를 분석하여 Modified Bartlett-Lewis Retangular Pulse Model (MBLRPM)의 매개변수들을 산정하고, 이들의 지도를 작성한 후, 이들의 정확도 및 매개변수들의 시/공간적 변화 유형을 분석하였다. 이를 위한 첫번째 과정으로, 각 강우 게이지에 대해 MBLRPM의 매개변수에 사용되는 통계치 (각 달에 대한 1, 3, 12, 24시간 누적 수준에서의 평균, 분산, 자기 상관계수, 무강우 확률)들을 계산한다. 이 후, 격자화된 한강유역의 각 셀에 대하여 앞서 계산된 강우 통계치를 Ordinary Kriging 공간 보간법을 통하여 할당한다. 이 후, 각 셀에 할당된 강우 통계치를 사용하여 MBLRPM의 매개변수들을 산정하여 각 매개변수들의 지도를 각 달에 대하여 얻는다. 매개변수 지도를 사용하여 MBLRPM에 의해 생성된 강우 데이터들은 관측치의 통계치를 정확성있게 재현하였으며, 시/공간적 경향성을 분석한 결과, 강우세포의 지속기간과 관련된 매개 변수를 제외한 나머지 5개의 매개변수들은 확연한 공간적 경향성을 보인 한 편, 시간적 경향성은 잘 나타나지 않았다. 본 연구 결과는 매개변수 산정이 힘든 MBLRPM의 특성을 극복하게 해주어 가상 강우 생성을 용이하게 함으로써 강우에 영향을 받는 여러 종류의 연구 주제에 대해 불확실성 분석을 할 수 있게 한다는 점에서 의미를 가질 수 있다.

  • PDF

Uncertainty in hydrologic drought analysis based on hydrologic model parameters (수문모형 매개변수에 따른 수문학적 가뭄분석 불확실성)

  • Jin Hyuck Kim;Seung Taek Chae;Eun-Sung Chung
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.326-326
    • /
    • 2023
  • 본 연구에서는 유역 내 다른 년도 관측 유량 데이터를 이용한 매개변수 최적화를 수행한 후, 최적화된 매개변수에 따라 다르게 추정된 유량 데이터를 이용해 발생하는 수문학적 가뭄 불확실성 분석을 수행하였다. 수문 모형은 장기 강우-유출분석에 주로 사용되는 Soil Water Assessment Tool (SWAT) 모형을 이용하였으며, Symmetric uncertainty을 이용해 불확실성 분석을 수행하였다. 모형 매개변수 최적화는 SWAT-CUP을 이용해 영산강 유역의 과거 1999년부터 2022년까지의관측 유량 데이터로 수행하였다. 최적화된 매개변수에 따라 추정되는 연평균 유량은 최대 5.59%의 차이를 발생시켰으며, 계절 유량은 봄 (6.1%), 여름 (14.6%), 가을 (9.7%), 겨울 (46.1%)의 차이를 발생시켰다. 그 후, 수문학적 가뭄지수인 Streamflow Drought Index (SDI)을 이용해 일 단위가뭄과 월 단위 가뭄 분석을 수행하였다. 매개변수에 따른 일 단위 가뭄 분석은 연평균 가뭄 발생일수가 최대 25.2일까지 차이가 발생하였으며, 월 단위 가뭄 역시 최적화된 매개변수에 가뭄 심도와 발생이 다르게 분석되었다. 그 후, Symmetric uncertainty을 이용한 불확실성 분석은 최적화된 매개변수에 따라 다르게 산정된 가뭄지수의 불확실성을 확인할 수 있었다. 본 연구는 수문학적 가뭄 분석 시, 다양한 관측 유량 데이터를 이용한 매개변수 최적화를 수행한 후, 이를 이용한 유량추정의 필요성을 확인할 수 있었다.

  • PDF

Statistical Analysis of Design Parameter of Shaped Charge (성형폭약 설계변수의 통계학적 검토)

  • 박경준;양형식
    • Explosives and Blasting
    • /
    • v.22 no.1
    • /
    • pp.5-13
    • /
    • 2004
  • 성형폭약의 설계변수인 폭약 종류, 폭약 량, 라이너 각도, 라이너 두께, 라이너 재질들을 다원배치법으로 분석하였다. 교호작용이 있는 설계변수는 강건 설계를 통하여 기여비를 산정하여 정량적으로 평가하였다. 연구결과 폭약종류와 라이너 각도는 비교적 독립적인 설계변수였고 약량과 라이너 재질, 라이너 두께는 교호작용이 있었다. 강건설계에 의해 산정된 설계변수의 기여비는 약량이 73.3%, 라이너의 재질이 19.4%, 라이너의 두께가 7.3%이다.

비매개변수적 Kernel 가중함수의 수문학적 응용

  • 문영일
    • Water for future
    • /
    • v.33 no.5
    • /
    • pp.49-55
    • /
    • 2000
  • 전통적인 매개변수적 목적함수 추정방법은 관측자료의 모든 영역에 걸쳐 선형 또는 지수함수 형태의 가정을 기본으로 매개변수를 추정하는 반면 비매개 변수적 Kernel 가중함수를 이용한 방법은 목적함수의 형태에 대한 가정이 필요 없이 관심 있는 임의의 추정지점에서 이웃하는 자료를 이용하여 목적함수를 국지적으로 근사하는 방법이다. 추계학적 수문학의 전형적인 문제인 "목적함수의 가정"에 의해 발생되는 문제를 줄이려는 노력의 일환으로 비매개변수적 Kernel 가중함수를 이용하는 방법에 연구되었고, 본 지면에서는 Kernel 가중함수를 이용한 비매개변수적 확률밀도함수의 기본이론과 빈도해석, 회귀모형 및 비동질성 천이확률 등의 수문학적 응용에 대하여 살펴보았다.

  • PDF

Parameteric study for wind turbine blade design (블레이드 공력 설계를 위한 설계 변수 특성에 대한 연구)

  • Shin, Hyung-Ki;Bang, Hyung-Joon;Kim, Seok-Woo
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 2007.11a
    • /
    • pp.361-365
    • /
    • 2007
  • 풍력 발전기의 블레이드 설계를 위하여 각 설계 변수에 대한 영향을 파악하기 위하여 연구를 수행하였다. 블레이드의 공력 형상을 결정짓는 설계 변수를 분류하고 이에 대하여 parametric study를 통하여 각 설계 변수가 주어진 환경에서 블레이드의 성능 및 하중에 어떠한 영향을 주는 가에 대하여 살펴보았다. 이를 블레이드의 성능 및 기준 하중에 대한 해석은 BEMT를 이용하였다. 본 결과는 블레이드의 실제 공력 설계에서 설계 변수의 선정과 그 영향에 대하여 미리 파악하는데 도움을 줄 것으로 기대된다.

  • PDF

Subset Selection in the Poisson Models - A Normal Predictors case - (포아송 모형에서의 설명변수 선택문제 - 정규분포 설명변수하에서 -)

  • 박종선
    • The Korean Journal of Applied Statistics
    • /
    • v.11 no.2
    • /
    • pp.247-255
    • /
    • 1998
  • In this paper, a new subset selection problem in the Poisson model is considered under the normal predictors. It turns out that the subset model has bigger valiance than that of the Poisson model with random predictors and this has been used to derive new subset selection method similar to Mallows'$C_p$.

  • PDF