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

천수방정식의 수치모형은 하천의 유량예측, 홍수범람해석, 해일 모의 등에 널리 사용되고 있고, 그 결과는 수자원 관리, 재난 대책 등 정책적인 의사결정에 있어 유용한 자료로 활용되고 있다. 이처럼 천수방정식의 수치모형은 연구목적뿐만 아니라 실생활에 있어서도 큰 영향을 미치고 있으며, 이에 보다 정확하고 효율적인 수치모형의 구축이 수리/수자원/방재분야에서 중요한 영역이 되고 있다. 본 연구는 정확하고 안정적인 수치모의를 위해 천수방정식의 수치모형에 MLP(Multi dimensional Limiting Process)기법을 적용한 후 다차원 모의 시 MLP의 수치 진동 제어 성능을 검증하고자 하였다. MLP기법은 다차원에서 수치진동을 억제할 수 있도록 개발된 기법으로, 기존 TVD 제어자(limiter)과 MLP의 차이점은 기존 제어자들이 흐름이 발생하는 셀 경계면에서 재구성된 값이 Maximum Principle을 만족시키도록 제어자를 유도하는데 반해, MLP는 셀 절점에서 Maximum Principle을 만족시키도록 제어자를 유도한다는데 있다. MLP기법은 압축성 유체를 표현하는 2, 3차원 오일러 방정식에 적용되어 기존의 제어자들에 비해 안정적이며 정확한 수치모의를 가능하게 하는 것이 검증되었다. 하지만 천수방정식에 적용된 예는 없으며, 이에 본 연구는 천수방정식에 MLP를 적용하고 천수방정식 수치모형 검증에 주로 사용되는 수치모의를 통해 MLP의 수치 진동 제어 성능을 검증하였다. 모의 결과, MLP는 2차원 천수방정식에 있어서도 기존의 제어자들과 비교하여 수치진동을 보다 잘 제어하는 것으로 판단된다. MLP의 사용으로 인해 불연속면 근처에서 정확도가 향상되었고 수치진동이 발생하지 않아 보다 안정적인 모의가 가능하였다.

• Communications for Statistical Applications and Methods
• /
• 제15권4호
• /
• pp.615-631
• /
• 2008

재무자료에 대한 신용평가모형은 각각의 재무변수를 평활한 예측부도율로 변환하여 사용한다. 본 연구에서는 연속형 재무자료를 변환하여 설정된 신용평가모형의 문제점을 살펴보고, 연속형 재무변수를 다양한 형태로 범주화한 신용평가모형들을 제안한다. 범주형 재무자료를 사용해서 개발한 여러 종류의 신용평가모형들의 성과를 다양한 적합성 검증 방법으로 비교하고, 범주형 재무자료를 이용한 신용평가모형의 유용성을 토론한다.

• 대한교통학회지
• /
• 제23권3호
• /
• pp.7-19
• /
• 2005

수단선택모형은 교통 분석 및 수요예측을 위해 필수적 모형이나 그 추정과정이나 실제적인 방법론에 대한 깊이 있는 논의가 우리나라에서는 부족하였다. 1980 년대부터 로짓모형을 이용한 수단선택모형이 광범위하게 이용되고 있지만 기본적인 기초 조사자료 구축에서부터 수단선택 모형설정 및 정산까지 추정과정에 대한 투명하고 상세한 논의가 부족하였다. 그 결과 구축된 교통수단선택모형에 대한 신뢰성이 제기되거나 혹은 구축된 결과를 적용하여 분석에 이용하는데 있어 오류가 발생하는 등 적잖은 부작용도 있었다. 본 논문의 목적은 부산광역권의 통행행태 개별자료를 이용하여 교통수단선택 모형의 정산 및 구축에 대한 상세하고 투명한 제시를 통해 부산광역권 교통정책에 실질적인 적용이 가능한 예측모형을 제시하는 데 있다. 즉 수단선택모형 구축을 위한 조사방법, 변수설정, 모형정산 및 검증 그리고 예측 등의 일련의 과정을 투병하고 명확하게 제시하고, 정책분석에 활용 가능한 모형을 제시함으로써 교통수단선택모형의 구축 방법론 발전에 초석이 되고자 하는 것이 본 연구의 주요 목적이다. 이를 위해, 선택되지 않은 교통수단에 대한 자료가 일반적으로 조사 자료에는 없다는 점을 보완하기 위한 비선택대안의 속성 추정방법을 이 논문에서 제안하였다. 본 논문에서는 1999년 및 2001년 부산울산권의 가구통행실태조사 자료를 활용하여 네스티드 모형구조를 포함하여 총 4개의 모형이 단계별로 구축되었으며 또한 각각 통계적으로 검증되어졌다. 또한 제시된 예측모형의 현실성을 검증하기 위해 효용함수에 의한 시간가치를 계산하여 기존 연구의 시간가치 규모와 비교하였으며, 또한 분류 (classification) 방법에 의한 예측 기법을 이용하여 조사년도의 통행행태를 추정하고 조사 자료와 비교하여 모형의 예측력에 대해서도 검증을 하였다.

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

그래픽 처리 장치(GPU: Graphic Processing Units)는 그래픽 처리에 특화된 수많은 산술논리연산자 (ALU: Arithmetic Logic Unit)와 이에 관련된 인스트럭션Instruction)으로 인해 중앙 처리 장치(CPU: Central Processing Units) 보다 훨씬 빠른 계산 처리를 수행할 수 있다. 최근에는 FORTRAN에 의해 구현된 많은 수치모형들이 현실적인 모델링 방법의 발달로 인해 더 많은 계산량과 계산시간을 필요로 한다. 이 연구에서는 GPU 상의 범용 계산GPGPU : General-Purpose computing on Graphics Processing Units) 기반 운동파 강우유출모형(Kinematic Wave Rainfall-Runoff Model)이 CUDA(Compute Unified Device Architecture) FORTRAN을 사용하여 구현되었다. CUDA FORTRAN 운동파 강우유출모형의 계산 결과는 검증된 CPU 기반 운동파 강우유출모형의 계산 결과와 비교하여 검증되었으며, 잘 일치함을 보여 주었다. CUDA FORTRAN 운동파 강우유출모형은 CPU 기반 모형에 비해 약 20 배 더 빠른 계산 시간을 보였다. 또한 계산 영역이 커짐에 따라 CPU 버전에 비해 CUDA FORTRAN 버전의 계산 효율이 향상되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.593-595
• /
• 1999

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 객수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈을 반드시 주어진 성질을 만족한다는 가정-보증 추론(Assume-Guarantee Reasoing)을 이용한다.

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

도시 유역의 강우-유출 모의에는 지표 투수율 및 하수관거 영향 등 인위적 배수계통의 영향을 고려할 수 있는 도시유출모형이 널리 이용되고 있으며, 모형 검증을 통해 모의 성능을 평가한다. 도시유출모형의 검증은 일반적인 강우-유출 모형과 같이 강우사상별 유량의 관측시계열과 모의시계열의 목적함수가 최소가 되는 최적 매개변수를 탐색하는 과정이다. 도시유출모형의 검증에서 발생하는 문제점은 크게 다음과 같다. 첫째, 대규모 도시 유역의 복잡하고 다양한 하수관거에 대한 최적매개변수를 관거별로 구하는 것은 물리적으로 불가능하다. 따라서 동일 배수분구내 하수관거의 매개변수 값은 동일하다고 가정하거나, 모형 단순화 과정을 통해 매개변수의 물리적 범위 내에서 최적해를 탐색해야 하는 단순화에서 기인한 불확실성이 있다. 둘째, 다양한 매개변수들의 물리적 범위를 고려하기 위해서는 전역최적화기법이 유효하다. 그러나 전역최적화 종류, 목적함수, 모의횟수, 목표성능별 최적 매개변수 결과가 각각 다르므로 추정된 최적 매개변수의 범위에 대한 불확실성이 있다. 이에 본 연구에서는 Bayesian 모형과 EPA SWMM(Storm Water Management Model)을 연계하여 도시유출모형의 매개변수 불확실성을 정량적으로 분석할 수 있는 모형을 제안하고자 한다. 이를 위해 서울 우이천 유역을 대상으로 SWMM 모형을 구축하고, 절단 정규분포(truncated Gaussian distribution)를 사전분포(prior)로 가정하여 매개변수의 물리적 범위를 고려하였다. 최종적으로 결합확률분포로 계산된 각 매개변수간 사후분포를 통해 모의된 유출량의 불확실성을 정량적으로 분석하였다. 본 연구에서 제안된 모형은 대규모 도시 유역의 도시유출모형 구축 시 다양한 매개변수의 물리적 범위를 고려한 최적화와 동시에 내재된 불확실성을 정량적으로 분석할 수 있으므로, 침수예측 및 홍수예경보 등의 문제에서 상당한 신뢰성을 확보할 수 있을 것으로 판단된다.

• 재무관리연구
• /
• 제14권2호
• /
• pp.229-252
• /
• 1997

본 연구에서는 실무 및 학계에 종사하는 45명의 전문가 집단을 대상으로 쌍별비교(pairwise comparision)에 의한 설문조사에서 얻어진 전문가들의 의견을 AHP 분석을 통하여 종합하는 과정을 거쳐 부도예측모형을 설계하여 검증한 뒤, LOGIT모형과 비교하였다. 본 연구에 의하면 부도예측모형에서 정량적인 정보보다 정성적인 정보가 더 중요한 역할을 한다는 D.Bunn-G.Wright(1991)의 연구와 일치하는 결과를 얻을 수 있었다. 본 연구에서 발견된 분석결과를 요약하면 다음과 같다. 첫째로 LOGIT 모형과 AHP 모형에서 모두 정량적인 정보만을 고려하는 경우보다 정성적인 정보를 함께 고려한 모형에서 부도예측율이 더 높은 것으로 나타나고 있어 부도가능성을 예측하는데 있어 정성적인 정보가 중요한 역할을 한다는 결론을 얻었다. 둘째로 AHP를 이용한 부도예측 모형을 설계할 때 각 속성에 대한 전문가(45명)들의 의견을 종합하는 방법으로 산술평균과 기하평균을 이용한 검증결과에 의하면 기하평균방법을 통하여 전문가들의 의견을 종합하는 것이 보다 합리적이라는 실증적 증거를 얻을 수 있었다. 셋째로 Akaike의 기준값을 분석한 결과에 의하면 LOGIT 모형은 정량적인 정보와 정성적인 정보를 모두 이용한 모형이 가장 우수한 것으로 판명되었고, 모형의 부도예측력도 가장 높은 것으로 밝혀졌다. AHP 모형은 정성적인 정보만을 이용한 모형에서 가장 높은 부도예측을을 나타내었으며, 기하평균을 이용한 AHP 모형은 LOGIT 모형보다 항상 높은 부도예측율을 보여주었다.

• 정보화정책
• /
• 제22권3호
• /
• pp.36-46
• /
• 2015

본 연구는 청소년의 스마트폰의 중독적 사용을 설명하기 위해 이론적 모형을 제안하고 검증하였다. 연구의 목적을 위해 한국정보화진흥원의 2013년 인터넷중독 실태조사 데이터 중 중학교와 고등학교 학생 679명의 자료를 사용하였다. 본 연구에서는 제안모형과 대안모형의 비교를 위해 구조방정식 모형 검증을 활용하였다. 최종 모형 결과에 따르면, 가족관계 만족도가 높을수록 스마트폰의 중독적 사용과 청소년의 정서적 문제는 감소하였고, 스마트폰의 중독적 사용이 강할수록 청소년의 정서적 문제는 증가하였다. 또한, 가족관계는 스마트폰의 중독적 사용을 매개하여 정서적 문제에 영향을 미쳤다. 반면, 대안 모형에서 스마트폰 사용 양이 스마트폰의 중독적 사용으로 가는 경로는 유의하지 않았다. 본 연구의 결과는 가족관계가 청소년의 스마트폰의 중독적 사용과 정서적 문제를 설명하는 선행요인이 될 수 있고, 청소년의 정신건강에 있어 스마트폰의 중독적 사용을 조절하는 것이 중요함을 시사한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2012년도 학술발표회
• /
• pp.566-570
• /
• 2012

본 연구에서는 비선형 k-$\varepsilon$ 모형을 이용하여 직사각형 개수로에서 평균흐름과 난류구조를 모의하였다. 표준 k-$\varepsilon$ 난류모형은 난류의 등방성을 가정하여 국부적 평형상태에서 계산하기 때문에 유선에 따른 레이놀즈 응력의 변형이 큰 경우나 이방성이 강한 경우 이를 계산하지 못한다. 이를 보완하기 위하여 제시된 것이 비선형 k-$\varepsilon$ 난류모형이다. 본 연구에서는 표준 k-$\varepsilon$ 모형과 비선형 k-$\varepsilon$ 모형에 의한 모의결과를 비교하였다. 난류모형을 검증하기 위하여 직사각형 개수로에 흐름을 완전 발달된 등류로 가정하여 해석하였다. 지배방정식을 해석하기 위해 Patankar와 Spalding (1972)이 제시한 SIMPLER 알고리즘을 사용하였고 유한체적법을 이용하여 이산화하고 엇갈린 격자체계를 사용하여 계산에서 발생하는 과도한 진동을 줄였다. 또한 차분기법은 Patankar (1980)가 제시한 Power-law 기법을 채택하였으며 경계조건으로 2층 벽법칙 모형과 Hossain과 Rodi (1993)의 모형을 이용하였다. 두 모형의 적용성을 검증하기 위하여 실측자료를 이용하여 비교하였고 그 결과 비선형 k-$\varepsilon$ 모형이 표준 k-$\varepsilon$ 모형에 비해 좀 더 실측지에 가깝게 모의하는 것을 볼 수 있었다.

• 대한화학회지
• /
• 제50권5호
• /
• pp.385-393
• /
• 2006

연구에서는 고등학교 화학 수업에서 개방적 가설검증 학습모형을 적용한 과학 탐구학습을 실시하고, 학생들의 인지 수준에 따른 과학 탐구능력, 과학 수업에 대한 태도에 미치는 효과와 수업에 대한 인식을 알아보았다. 서울에 소재한 남자 고등학교 2학년 4개 학급의 학생들(92명)을 대상으로 개방적 가설검증 학습모형을 적용한 과학 탐구학습을 실시한 처치집단과 실험과정이 모두 제시된 실험 수업을 실시한 통제집단으로 배치한 후, 화학의 ‘금속과 그 이용' 단원에 대해서 수업을 실시하였다. 연구 결과에 의하면, 개방적 가설검증 학습모형을 적용한 과학 탐구학습은 과학 탐구능력 향상에 관해서 실험설계, 자료 변환 및 해석, 가설검증의 영역에서 유의미한 효과가 있었으며 문제 파악 및 정의, 가설설정의 영역에서는 효과가 없었다. 한편, 개방적 과학 탐구학습에서 학생들의 역할 및 수행할 과제의 증가로 인해 과학 수업에 대한 태도는 처치집단에 부정적인 효과가 나타났다.