• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.92-92
• /
• 2017

본 연구에서는 수치모델을 이용하여 대하천서 발생되는 조류의 공간적 농도 분포를 예측하였고, 현장실험을 통해 모델을 검증하였다. 국내하천은 다수의 지류가 본류로 유입됨에 따라 오염물질의 생산과 공급이 지속적으로 발생하고, 하천의 유로연장과 하폭에 비해 수심이 낮은 지형학적 특성을 지닌다. 따라서 지류 유입 이후 발생되는 조류의 거동 특성을 분석하기 위해 수심 적분된 2차원 이송-확산 모델을 사용하였다. 광합성 성장을 이루는 조류의 성장속도 계산을 위해 영양염류, 수온, 일사량과 수심 등을 변수로 하는 성장속도 함수들을 위의 모델과 결합하였다. 본 연구의 대상구간은 낙동강과 금호강 합류부를 포함한 강정고령보 하류 약 9.2 km 구간으로 모델 검증을 위한 현장실험을 수행하였다. 2차원 이송-확산 모델의 입력 값인 유속 및 수심을 계산하는 수리동역학 모델 검증을 위해 미국 Sontek사의 M9을 이용하여 낙동강과 금호강 각각 32개, 12개 측선에 대하여 수리량을 측정하였다. 수리량 측정결과, 금호강과 낙동강의 평균 유량은 각각 $240m^3/s$, $60m^3/s$로 측정되었고 측정된 유량을 모델의 상류단 경계조건으로 사용하여 측정 유속 및 수심과 유사한 결과를 모델로부터 취득할 수 있었다. 조류 농도 측정을 위해 독일 bbe사의 AlgaeTorch 10을 사용하였으며, 수리량 측정과 동일한 측선서 총 조류 세포수(cells/ml)를 측정하였다. 농도 측정결과, 하류로 내려감에 따라 조류의 농도가 증가하는 경향이 나타났고 금호강 합류 후 최대농도는 측정구간 최하류 우안서 4,460 cells/ml로 나타났다. 주 흐름이 발생하는 하천 중앙부에 비해 유속이 느린 하안서 상대적으로 높은 농도가 측정되었으며, 이와 같은 경향은 하류로 내려감에 따라 강하게 나타났다. 측정된 조류 농도를 이용한 2차원 이송-확산 모델 검증결과, 합류부 최상류 측선서 MAPE = 10.5 %의 최대오차가 발생하였고 최하류 측선서 MAPE = 6.7 %의 최소오차가 발생하였다. 인과 질소와 같은 영양염류의 농도가 높고 횡 방향 수온 분포가 균일한 대상구간의 특성상 영양염류 함수와 수온 함수로부터 계산된 성장속도 가중치 범위는 각각 0.8~1.0, 0.91~1.09로 공간적 변동성이 크게 나타나지 않은 반면, 수심을 변수로 하는 일사량 함수의 성장속도 가중치 범위는 0.05~1.00으로 상대적으로 매우 높은 공간적 변동성이 나타났다. 수심이 4 m 이하인 하천 양안서 0.8 이상의 가중치가 나타났으며, 수심이 7 m 이상인 하천 중앙서 0.4 이하의 가중치가 나타났다. 본 연구의 수치모의 결과, 수리동역학 모델로부터 계산된 수심이 모델 결과 값에 큰 영향을 미치는 것으로 판단된다.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.12 no.2
• /
• pp.149-159
• /
• 1999

본 연구에서는 고유진동수를 사용하여 균열의 위치와 크기를 발견하는 비파괴 균열발견모델을 유도하고 Euler-Bernoulli 보를 대상으로 이 모델의 적합성을 검증하였다. 먼저, 균열위치예측모델과 균열크기예측모델로 이루어진 균열발견체계를 제시하였는데, 균열위치예측모델은 모드민감도와 고유진동수 사이의 선형적인 관계로부터 간접적으로 유도되었으며 균열크기예측모델은 균열발생에 의한 변형에너지의 손실을 진동특성치의 변화와 비교하는 동적 파괴역학적 방법으로부터 유도되었다. 다음으로, 기존에 발표된 양단-자유보에 대한 진동모드 실험결과를 사용하여 균열위치와 균열크기를 예측하고 평가하므로 균열발견모델의 적합성과 적용성을 실험적으로 검토하였다. 대부분의 손상시나리오에서 균열위치와 균열크기 예측치는 실제값과 근사하게 일치하였다.

• Geotechnical Engineering
• /
• v.13 no.1
• /
• pp.5-18
• /
• 1997

In order to make reliable ground shock predictions in saturated geological media, it is necessary to use multi -phase material models and numerical codes. This paper presents the results of theoretical study of the fundamental behavior of multi-phase porous media subjected to high dynanlic loadings, and deals with the development of numerical code MPDAP with JWL(Jones-Wilkins-Lee) model, which is capable of considering the kinds and characters of explosives. To check the global equilhorium equations of the numerical code, we carried out some verifications. In the cases of the elastic spherical wave propagation in a single phase medium, one-dimensional linear ronsolidation, and one timensional wave propagation in saturated linear elastic soils and rocks, the results calculated by MPDAP show close agreement with closed-form solutions or numerical solutions generated with two phase code.

• Journal of Korea Water Resources Association
• /
• v.52 no.12
• /
• pp.1047-1055
• /
• 2019

Various types of numerical modeling techniques are used to predict the behavior of pollutants under various water environmental conditions in the event of a water pollutant accident. Among them, a hydraulic model that can consider water flow characteristics is the most basic and very important. The process of evaluating whether the hydraulic model accurately predicts the applied river characteristics is very important. In the verification of the modeling result, the measuring data are often used in the river. Currently, ADCP and FlowTrackers are widely used to measure the flow velocity of rivers. However, ADCP is not accurate when the depth is less than 0.6 m and also when the ratio of irreversibility near the surface is more than 40%. Futhermore, FlowTracker has a limitation in measuring at high depth and high velocity due to the direct measurement method in rivers. Simuation results, which are validated by these methods, are not reliable for low depth conditions of low flowrate and high velocity conditions of high flowrate. In this study, Lagrangian GPS floaters which measures physical quantity of water according to particle movement is used without the conventional method measured by Eulerian technique. The verification method of the model results was studied by comparing the simulation results of the hydraulic model with the velocities measured using the GPS floaters. When comparing the traveling distance of the GPS floaters with the traveling distance of the LPT simulations, the average error rate was 13.6% on distances, and the average error rate was 3.2% on velocities except for the stagnant section. Therefore, GPS floaters can be used for a correction and verification method of hydraulic model simulations.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2020.11a
• /
• pp.108-110
• /
• 2020

본 연구의 목적은 딥러닝 기법의 하나인 인공신경망 모델을 활용하여 선박의 가치평가 모델을 개발하는 것이다. 선박의 가치는 해운시장 변화와 밀접한 관계가 있으며, 경기 변동성이 크고 시장 민감성이 높은 해운시장의 특성상 가치의 불확실성 역시 높게 나타나고 있다. 이러한 선박가치의 중요성에도 불구하고 국내외적으로 선박가치평가의 체계 개선 및 평가모델의 객관성과 신뢰성을 제고시키기 위한 연구는 부족한 실정이다. 따라서 본 연구에서는 딥러닝 방법을 통해 선박의 가치를 산출하는 새로운 평가모델을 제시하고자 한다. 가치평가의 대상은 중고 VLCC선이며, 선행연구를 통해 선박의 가치 변화를 유발하는 주요 요인들을 선별하여 변수를 설정하고 2010년 1월부터 현재까지의 해당 데이터를 확보하였다. 교차검증을 통해 파라미터들을 추정하여 인공신경망의 최적 구조를 식별하고 이에 대한 객관성과 신뢰성을 검증한 결과 인공신경망 모델의 가치평가 정확성이 우수함을 확인하였다. 본 연구는 선박가치평가의 전통적 방법론에서 탈피하여 기계학습 기반의 딥러닝 모델을 활용한 측면에서 독창적인 의미가 있다.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.766-767
• /
• 2015

전자기 관련 제품에서 제작공차에 의한 성능변동의 확률론적 분포특성을 효율적으로 예측하기 위해 성능 모멘트 적분법을 도입하였다. 제안된 기법을 검증하기 위해 간단한 수학예제와 스피커 모델의 폴피스 사이 공극의 평균자속 밀도에 대한 확률론적 분포특성 예측을 수행하고, 이를 기존 확률론적 분포특성 예측 기법과 비교하였다. 또한 몬테카를로 수치모사법을 이용하여 도출된 성능의 확률론적 분포특성 예측 값을 재계산 후 비교함으로써 제안된 기법의 정밀도를 검증하였다.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.7 no.5
• /
• pp.47-56
• /
• 2003

In this paper, the cyclic soil behavior model. which can accommodate the cyclic hardening, was developed by modifying the original parallel IWAN model. In order to consider the irrecoverable plastic strain of soil. the cyclic threshold strain, above which the backbone curve deviates from the original curve, was defined and the accumulated strain was determined by summation of the strains above the cyclic threshold in the stress-strain curve with applying Masing rule on unloading and reloading curves. The isotropic hardening elements are attached to the original parallel IWAN model and the slip stresses in the isotropic hardening elements are shown to increase according to the hardening functions. The hardening functions have a single parameter to account for the cyclic hardening and are defined by the symmetric limit cyclic loading test in forms of accumulated shear strain. The model development procedures are included in this paper and the verifications of developed model are discussed in the companion paper.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 1998.04a
• /
• pp.147-150
• /
• 1998

다양한 응용분야에서 디지털 칼라영상은 프린터를 통ㅎ여 출력되어진다. 이러한 출력 장비들의 하드웨어적 특성은 칼라 영상의 색을 왜곡시켜 부정확한 색 재현을 얻게 된다. 본 논문에서는 색채학적 모델에 기반한 다차 비선형변환을 이용하여 주어진 칼라 프린터의 특성을 알아내고 이를 보정하는 방법을 제시한다. 또한, 샘플의 개수를 변화하면서 비선형 변환식을 계산하여 기기의 특성화 모델링 과정에 필요한 적정수준의 샘플 개수를 제시한다. 실험을 통하여 원본의 색과 재현되어진 색의 색차를 구함으로써 제시되어진 방법의 타당성을 검증한다.