• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1451-1458
• /
• 2004

Current software reliability growth models based on Gompertz growth curve are all logarithmic type. Software reliability growth models based on logarithmic type Gompertz growth curve has difficulties in parameter estimation. Therefore this paper proposes a software reliability growth model based on the logistic type Gompertz growth curie. Its usefulness is empirically verified by analyzing the failure data sets obtained from 13 different software projects. The parameters of model are estimated by linear regression through variable transformation or Virene's method. The proposed model is compared with respect to the average relative prediction error criterion. Experimental results show that the pro-posed model performs better the models based on the logarithmic type Gompertz growth curve.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.237-241
• /
• 1999

본 논문은 이산사건 시스템 모델링에 관계대수를 이용함으로써 이산사건 시스템 모델을 시뮬레이션 할 때 data consistency를 보장하는 방법을 다룬다. 복잡한 이산사건 시스템은 모델링 및 분석에 형식론적인 프레임웍이 필요하며 모델의 추상화와 재사용이 용이한 DEVS형식론이 널리 사용되고 있다. 본 논문에서는 DEVS 형식론으로 기술된 모델을 정보의 손상 없이 관계대수형 모델로 변환하여 관계대수형 이산사건 모델로써 이용하는 방법론을 제시한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.522-522
• /
• 2023

지하수 시스템의 방출은 저지대 강에서 건조기에 흐르는 하천 유지유량의 원천이 된다. 수자원 분야에서 분포형 모형이 도입되며 수문 분석의 고도화가 이루어지고 있는 오늘날에도, 아직 대수층 깊이 등 지하수관련 매개변수에 대한 연구는 미진한 실정이다. 본 연구는 분포형 모형의 지하수 관련 매개변수 중 지형자료에 해당하는 대수층 깊이의 물리적인 분포형태를 예측하고, 지하수 모의결과를 검토하여 해당 기법의 적용성을 확인하였다. 본 연구에서는 북측의 미계측 유역을 포함한 소양강 유역을 연구대상 지역으로 설정하였고, 정밀한 분포형 모형인 GSSHA(Gridded Surface Hydrologic Analysis)를 활용하였다. 대수층 깊이 추정 방법은 크게 세가지 시나리오로 구분하여 모의를 진행하였다. 유역의 지하수 데이터를 통해 도출된 대수층깊이 등분포(시나리오1), 지표 고도와 대수층 깊이의 선형 반비례 관계를 가정한 선형 회귀식(시나리오2), 동일한 가정을 두고 Log차원에서 회귀식을 적용한 경우(시나리오 3). 위 3가지 시나리오를 통해 산정된 유출량과, 지하수 수위 등을 소양강댐 유입량 자료 및 유역 내 6개 지하수 관측소를 대상으로 결과를 비교하여 적용성을 확인하였다. 시나리오별 유출량 모의 오차평가 결과, 관측 첨두 유량을 가장 잘 반영하고 있는 기법은 일반적으로 선행 연구에서 많이 활용하고 있는 등분포형 기법으로 분석되었으며, 과소·과대 모의된 정도를 나타내는 지표와 모형의 효율성을 나타내는 지표는 선형 회귀분석 기법이 가장 우수한 결과로 분석되었다. 따라서, 대수층 깊이를 등분포하여 모의하던 기존 방식에 비해 지면고도-대수층깊이 간의 반비례 관계를 적용하는 방식이 지하수 모의에 있어서 보다 합리적일 것으로 판단된다. 향후 임의의 인자와 대수층 깊이간의 정밀한 회귀관계를 도출한다면 더욱 합리적이고 신뢰성 높은 결과를 얻을 수 있을것으로 기대된다. 또한 유역 단위의 지하수 모의가 정밀하게 이루어진다면 최근 많은 관심이 집중되는 하천 유지유량과 건기 유출 등의 연구 분야에도 많은 기여를 할 수 있을 것으로 기대된다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2004.04a
• /
• pp.114-118
• /
• 2004

울산지역의 대수층 분포특성과 지하수 유동특성에 관해 연구하기 위해 크리깅 기법을 이용하였다. 울산지역의 시추자료 1,783개 지점과 지하수위자료 총 1,171개 지점에 대하여 2년간(2002년～2003) 자료를 획득하여 분석하였다. 본 연구지역의 표고 충적층 하부경계 심도, 충적층, 하부경계 심도, 충적층 층후, 풍화대 층후, 충적층-풍화대 층후, 대수층 단면, 지하수위 그리고 지하수유동 분석을 하기 위해 베리오그램 분석한 결과 풍화대 하부경계 심도에 지수형모델(exponential model), 나머지 지하수위를 포함한 성분들은 모두 구상형모델(shperical model)이 가장 적합하게 나타났다. 울산지역 대수층의 경우 산악지역은 얕은 충적층과 풍화대 분포가 나타나는 반면, 남구는 충적층, 북구는 풍화대 발달이 우세하게 나타났다. 그리고 울산지역의 충적층과 풍화대 층후 분포특성이 울산단층을 따라 층후가 두껍게 나타났다. 지하수 유동은 고지형의 북구와 동구 산악지역에서 바다에 인접한 내륙지역으로 지하수 유동특성을 보였으며, 울산의 4개구는 산악지역, 태화강, 동천강, 울산단층 그리고 충적층과 풍화대가 잘 발달된 대수층을 따라 지하수유동 특성이 잘 나타났다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.322-322
• /
• 2022

유역 모형은 강우가 유출에 이르는 과정을 수문학적으로 재현해낼 수 있는 도구이다. 초기의 모형은 간단한 수준에서 유출과정을 모의하는데 그쳤으나, 기술이 발전함에 따라 유역 모형에 적용되는 매개변수의 수가 점차 늘어나게 되며 이론적 신뢰성과 복잡성을 동시에 갖게 되었다. 유역 모형은 집중형 모형과 분포형 모형으로 대별할 수 있는데, 기존에는 저류 함수법을 근간으로 하는 개념 기반의 HEC-HMS HEC-RAS 등과 같은 집중형 모형을 널리 사용한 반면, 점차 격자 기반에서 물리적 계산을 통해 유출 과정을 모의할 수 있는 GSSHA, Vflo, SWAT과 같은 분포형 모형의 활용이 늘어나고 있는 추세이다. 집중형 모형은 관측자료를 통해 산정된 경험식에 의존하고 있는 반면, 분포형 모형의 경우 각 격자가 가지고 있는 시·공간적 매개변수를 통해 물리적으로 유출과정을 계산하여 신뢰성을 확보하기에 유리하며, 미계측 유역에서도 활용이 가능하다. 지하수는 유역 모형의 댜양한 매개변수들 중 지표면 유출량에 밀접한 영향을 미치는 인자이다. 그럼에도 아직까지 경험식에 의존한 집중형 모형이 주를 이루고 있는 국내에서는 분포형 모형에 적용가능한 매개변수 최적화에 대한 연구는 미진한 실정이다. 이에 본 연구에서는 분포형 유역 모형의 침투모의 과정에 관여하는 공간 매개변수 중 밀접한 연관을 띠고 있는 대수층 깊이에 대하여 분석하였다. 여러 공간매개변수 중 침투능과 관계가 깊은 대수층 깊이에 대해 가장 적합한 매개변수 값을 도출해 내는 것이 본 연구의 최종 목적이라고 할 수 있으며, 분석은 국내 자연하천 유역을 대상으로 분포형 유역 모형에 일반적인 수준으로 적용할수 있는 범위를 검토하였다. 본 연구를 통하여 분포형 유역 모형에서 하나의 매개변수인 대수층 깊이의 정량화에 기여되기를 바란다.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.564-566
• /
• 1999

계측 시스템이나 시스템 식별을 수행할 때 정확히 모델링 되는 플랜트를 가정할 경우, 입출력 신호간 혹은 상태 변수들 사이의 비선형 함수 관계를 유도해 낼 수 있다. 그런데 특히 비선형 함수가 매우 복잡하여 해를 닫힌 형태로 구할 수 없을 경우 고려하는 변수들 양자간의 수학적 모델링을 기반으로 루프내 변수가 방정식의 해로 수렴하는 대수 루프를 구성할 수 있다. 이는 모델을 정확히 아는 시스템에 대하여 출력으로부터 입력을 추정하는 역시스템(inverse system)을 구성하는 것과 유사하다. 이러한 개념을 응용한 간단한 예로 용량형 센서의 입출력 비선형성을 제거해주는 역시스템을 대수 루프를 통하여 구현하였다. 또한 구현한 루프가 항상 유일한 해로 수렴할 수 있도록 하는 조건을 구하였다. 해석된 결과를 바탕으로 구현된 루프가 컴퓨터 시뮬레이션 및 아날로그 회로 실험에서도 잘 동작함을 검증하였다. 시뮬레이션 결과로 보인 잡음에 대한 강인성과 실제 회로 실험 결과는 대수 루프의 구현이 실제 용량형 센서 등에 용이하게 적용될 수 있음을 보여준다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.1057-1061
• /
• 2004

본 연구에서는 준분포형 지표수 유출모형인 SWAT과 3차원 지하수 유동모형인 MODFLOW의 완전연동형 결합모형을 독자적으로 개발했다. SWAT의 지하수 모형성분은 집중형이므로 분포형 매개변수와 변화하는 양수량, 지하수위의 변화등을 고려하지 못하며 MODFLOW모형은 주요 입력자요인 함양량의 정확한 산정이 어렵다. 두 프로그램의 연결작업은 지하수 함양량의 전달과정과 하천네트워크-대수층간의 상호작용을 고려하여 완성하였으며 경안천유역의 오산천 소유역에 모형을 시험구동을 수행했다. 시험구동결과 결합모형은 수문모형 혹은 지하수 모형만으로는 해결되지 않는 하천-대수층간의 경계유량을 고려한 유출해석이 가늠해짐으로써 유역내 지하수 유출량 및 총 유출량의 신뢰성이 증대될 것으로 기대된다.

• Journal of Korea Water Resources Association
• /
• v.31 no.4
• /
• pp.363-373
• /
• 1998

In this study, random flow field in a nonstationary porous formation is characterized through cross covariances of the velocity with the log conductivity and the head. The hydraulic head and the velocity in saturated aquifers are found through stochastic analysis of a steady, two-dimensional flow field without recharge. Expression for these cross covariances are obtained in quasi-analytic forms all in terms of the parameters which characterize the nonstationary conductivity field and the average head gradient. The cross covariances with a Gaussian correlation function for the log conductivity are presented for two particular cases where the trend is either parallel or perpendicular to the mean head gradient and for separation distances along and across the mean flow direction. The results may be of particular importance in transport predictions and conditioning on field measurements when the log conductivity field is suspected to be nonstationary and also serve as a benchmark for testing nonstationary numerical codes. Keywords : cross covariance, nonstationary conductivity field, saturated aquifer, stochastic analysis.

• Proceedings of the Zoological Society Korea Conference
• /
• 1997.10b
• /
• pp.103.1-103
• /
• 1997

No Abstract, See Full Text

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1355-1364
• /
• 1996

A complex object model is one of the value based data model which extends the existing relational data model for supporting complex structured data. This paper studies a method for designing algebra for the complex object model. For this some others' algebra supporting complex objects are compared and analysed in terms of the applicability of a algebraic optimization strategics. The complex object algebra is designed, based on four principles, simple and clear definitions, no restriction on input data, single specification system. The central nature of this paper is to keep the basis of algebraic optimization method through simplicity, safety and the applicability of algebraic optimization strategy. Finally, it shown that the designed algebra has the equivalent or enhanced expressability with other's algebra.