• 한국지반공학회지:지반
• /
• 제13권1호
• /
• pp.5-18
• /
• 1997

일반적으로 포화지반의 동적거동을 정확히 예편하기 위해서는 다공성(multi-phase) 재료모델과 그 모델을 이용하는 수치해석 프로그램의 개발이 필요하다. 본 논문에서는 높은 동하중을 받는 다공질 재료의 이론적인 거동해석 연구결과와 함께 기존 MPDAP(multi-phase dynamic analysis program)에 JWL(Jones-Withins-Lee) 모델을 삽입시켜 개발한 MPDAP에 대해 다루었다. JWL모델은 기존 모델과는 달리 폭약의 종류 및 특성 등을 고려할 수 있는 모델이다. 또한 본 논문에서는 개발된 프로그램의 적합성을 조사하기 위하여 몇몇 예제에 대한 검증해석을 수행하였다. 검증결과, 단일매체 (single-phase medium)에서의 탄성구형파의 전파특성 해석의 경우 해석결과와 이론해는 거의 일치하는 결과를 나타내었고, 일차원 선형 압밀해석의 경우과잉 간극수압은 Terzaghi의 이론해와 해석된 결과가 비교적 일치하는 경향성을 보여 주었다. 또한 포화지반에서의 평면 압축파 해석의 경우도 해석결과와 이미 검증된 프로그램 또는 완전해의 해석결과는 거의 유사하게 나타나는 것을 알 수 있었다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.405-409
• /
• 2021

자연어 추론은 전제가 주어졌을때 특정 가설이 전제에 기반해 합당한지 검증하는 자연어 처리의 하위 과제이다. 우리는 질의응답 시스템이 도출한 정답 및 근거 문서를 자연어 추론 모델로 검증할 수 있다는 점에 착안하여, HotpotQA 질의응답 데이터셋을 자연어 추론 데이터 형식으로 변환한뒤 자연어 추론 모델을 학습하여 여러 질의응답 시스템이 생성한 결과물을 재순위화하고자 하였다. 그 결과로, 자연어 추론 모델에 의해 재순위화된 결과물은 기존 단일 질의응답 시스템의 결과물보다 대체로 향상된 성능을 보여주었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.16-21
• /
• 2010

분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해 ${\pi}$-calculus, bigraph, Mobile Ambient, CARDMI 등의 정형기법이 존재한다. 이러한 정형기법은 이동하는 에이전트 혹은 프로세스에 대한 명세 및 시스템의 안전성과 검증에 대한 분석을 지원하지만, 행위의 의미적 관점에서 분석 및 검증 방법을 제시하고 있지 않다. 본 논문에서는 정형기법으로 명세 된 시스템의 실행 데이터인 원시 데이터를 행위의 의미적 관점에서 시스템을 분석 및 검증이 가능한 Prism Analyzer를 제안한다. 제안된 Prism Analyzer는 특정 시스템에 대해 발생할 수 있는 다양한 행위를 온톨로지와 속성문법으로 정규화한 다양한 행위모델을 지닌다. 이러한 Prism Analyzer는 원시 데이터를 행위의 의미적 측면에서 개별적, 연속적, 복합적으로 분석 및 검증이 가능하고, Prism Analyzer에 정의된 다양한 행위 모델을 바탕으로 동일한 원시 데이터에 대해 행위 모델에 따른 다양한 분석 결과를 도출해 낼 수 있다.

• 한국산학기술학회논문지
• /
• 제17권8호
• /
• pp.77-83
• /
• 2016

오늘날 다양한 산업분야에서는 시스템 안전을 확보하기 위한 표준들이 제정되었다. 해당 표준들에서는 시스템 개발 초기 단계인 개념설계 단계부터 위험원 분석 활동을 수행하고, 분석 결과를 안전을 확보하기 위한 시스템 설계 활동에 반영할 것을 제시하고 있다. 따라서 운영 목표에 부응하는 시스템의 설계와 시스템에 내재하는 위험원 분석은 밀접한 관계가 있다. 그럼에도 불구하고 기존에는 설계 결과의 검증에서 시스템 개념설계와 위험원 분석 결과를 분리하여 수행하였다. 본 논문에서는 분리 수행에 따른 문제를 개선하기 위하여 시스템 고장 모델과 시스템 아키텍처의 통합 모델에 대한 검증 방법을 연구하였다. 구체적으로, 먼저 대상시스템의 아키텍처를 시스템 모델링 언어인 SysML로 모델링 하였다. 그리고 나서 시스템 아키텍처 정보를 기반으로 위험원 분석을 수행하고, 이를 토대로 SysML 고장 모델을 생성하였다. 그 후에 시스템 고장 모델을 시스템 아키텍처에 통합하고, 이를 기반으로 고장에 대비한 안전 설계를 추가하였다. 최종적으로 시스템 운영 중 일부 고장에도 안전 설계 결과가 안전 목표를 만족하는지 검증하기 위한 시뮬레이션을 수행하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.153-154
• /
• 2012

바디 센서 시스템 환경이란 사용자가 서기, 걷기, 뛰기 등의 행위를 통해 주기적으로 상황이 변하는 동적 환경이다. 이와 같은 시스템에서는 크기가 작고 저전력을 요구하는 센서가 탑재되기 때문에 효율적인 알고리즘을 적용하는 것은 매우 중요한 일이다. 모델체커는 최근 소프트웨어 모델 (Model)을 검증하는 도구로써 주어진 모델과 속성값을 통해 해당 모델의 검증 (Verification) 결과가 참인지 거짓인지 판별해 준다. 본 논문에서는 효율적인 바디 센서 시스템 구축을 위해 서기, 걷기, 뛰기라는 환경에서 개별적으로 동작되는 알고리즘을 모델링 하고 LTL(Linear Temporal Logic) 로 속성을 명세하여 NuSMV 모델 체커를 통해 해당 모델의 Safety와 Liveness를 검증한다.

• 한국터널지하공간학회 논문집
• /
• 제4권2호
• /
• pp.101-111
• /
• 2002

본 연구의 목적은 교란상태개념 (DSC) 모델을 이용하여 터널 암반절리면의 거동특성을 모델링 할 수 있는 개선된 구성방정식 모델을 개발하는데 있다. 교란상태 개념 (DSC) 모델은 이미 다른 접촉면 거동 모델링을 통해서 그 신뢰성을 검증 받아왔다. 이런 DSC 모델을 암반 절리면 거동 특성에 맞도록 수정한 후에, Schneider가 수행한 합리적인 실내 전단 시험 결과 및 역 해석 결과를 이용하여 DSC모델의 절리면 적용성을 검증하고자 한다. 본 연구결과로부터 DSC모델은 화강암 절리면의 변형률 연화 및 부피팽창 거동특성을 규명할 수 있다고 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2006년도 학술발표회 논문집
• /
• pp.1515-1519
• /
• 2006

본 연구에서는 초단시간 강수예보(VSRF, Very Short-Range Forecast of precipitation) 시스템 구축 현황을 소개하고자 한다. VSRF 모델은 레이더 반사도 자료와 지상 AWS 자료를 이용하여 레이더-AWS 강우강도를 산출하는 강수분석과정과 분석된 강수량 자료와 중규모 수치예보장을 사용하여 외삽법에 의한 초단시간 강수예보를 수행하는 예보과정, 실시간으로 산출된 강수예보 자료를 검증하고 홈페이지에 제공하는 자료지원과정으로 구성된다. 본 연구에서는 모델의 예보능력을 향상시키기 위해 크게 두 가지 측면에서 모델을 개선하였다. 첫째는 모델의 입력자료인 레이더-AWS 강우강도 자료를 기상연구소 원격탐사연구실에서 운영하던 WPMM (Window Probability Matching Method)과 기상청 기상레이더과에서 운영하던 RQPE(Radar Quantitative Precipitation Estimation)의 알고리즘을 통합하여 정확한 강우강도 자료인 레이더-AWS 강우강도(RAR, Radar-AWS Rain rate) 시스템을 구축하여 개선하였으며, 둘째는 외삽과정을 통한 예보가 3시간이 지나면 예측능력이 감소하는 문제점을 보완하기 위해 현업 중규모 모델(RDAPS, Regional Data Assimilation and Prediction System)의 예측강수와 병합하여 모델을 개선하였다. 또한 이를 시계열 검증 및 공간 검증하는 실시간 검증 시스템을 구축하여 실시간으로 모델의 정확성을 평가하고 있다. 그 결과 입력자료 개선을 통한 모델의 정확도는 크게 향상된 결과는 볼 수 없었지만 미약하게 향상된 것을 확인할 수 있었으며, 모델의 병합을 통한 모델의 개선은 예측 3시간 이후부터는 50% 정도 향상되었다.의 대안을 제시하고자 한다.X>${\mu}_{max,A}$는 최대암모니아 섭취률을 이용하여 구한 결과 $0.65d^{-1}$로 나타났다.EX>$60%{\sim}87%$가 수심 10m 이내에 분포하였고, 녹조강과 남조강이 우점하는 하절기에는 5m 이내에 주로 분포하였다. 취수탑 지점의 수심이 연중 $25{\sim}35m$를 유지하는 H호의 경우 간헐식 폭기장치를 가동하는 기간은 물론 그 외 기간에도 취수구의 심도를 표층 10m 이하로 유지 할 경우 전체 조류 유입량을 60% 이상 저감할 수 있을 것으로 조사되었다.심볼 및 색채 디자인 등의 작업이 수반되어야 하며, 이들을 고려한 인터넷용 GIS기본도를 신규 제작한다. 상습침수지구와 관련된 각종 GIS데이타와 각 기관이 보유하고 있는 공공정보 가운데 공간정보와 연계되어야 하는 자료를 인터넷 GIS를 이용하여 효율적으로 관리하기 위해서는 단계별 구축전략이 필요하다. 따라서 본 논문에서는 인터넷 GIS를 이용하여 상습침수구역관련 정보를 검색, 처리 및 분석할 수 있는 상습침수 구역 종합정보화 시스템을 구축토록 하였다.N, 항목에서 보 상류가 높게 나타났으나, 철거되지 않은 검전보나 안양대교보에 비해 그 차이가 크지 않은 것으로 나타났다.의 기상변화가 자발성 기흉 발생에 영향을 미친다고 추론할 수 있었다. 향후 본 연구에서 추론된 기상변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을 발견하였다. 이상의 행태적 측면과 투자성과측면의 실증결과를 통하여 한국주식시장에

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2010년도 추계학술발표회 자료집
• /
• pp.328-331
• /
• 2010

본 연구는 IMO에서 제안하고 있는 피난모델에 대한 검증 및 확인 절차를 알아보고 이를 SIMULEX 모델에 적용하여 분석해보았다. 결과적으로 볼때 이 검증절차가 현재 사용되고 있는 피난모델들을 검증하기에는 아직 보완해야할 점이 많은 것으로 판단된다. 피난모델을 검증, 평가하기 위한 평가체계에 대한 연구가 필요하다 생각된다.

• 한국정보통신학회논문지
• /
• 제19권5호
• /
• pp.1157-1162
• /
• 2015

본 논문에서는 OFDM 기반의 4x4 MIMO 알고리즘을 설계 및 구현을 하였으며, 구현된 결과를 검증하기 위한 방법을 제시한다. 알고리즘은 MRVD와 QRM-MLD을 적용했다. Matlab과 Simulink를 이용하여 채널 추정 및 MIMO 알고리즘을 Floating-point와 Fixed-point 모델로 설계하였다. 그 다음 Modelsim을 이용하여 VHDL로 구현한다. 구현된 알고리즘의 성능 검증을 위해 설계한 Simulink 모델과 Modelsim 시뮬레이션, ISE ChipScope, 그리고 오실로스 코프로 측정한 결과를 비교하는 방법을 사용하였다. 이 방법은 시스템이 완성되지 않은 상태에서 구현된 알고리즘을 검증하는 방법이다. 검증 결과 ChipScope의 결과와 오실로스코프의 결과가 동일함을 확인하였고, 백홀 시스템에 적용이 가능함을 확인하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• 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 이하의 가중치가 나타났다. 본 연구의 수치모의 결과, 수리동역학 모델로부터 계산된 수심이 모델 결과 값에 큰 영향을 미치는 것으로 판단된다.