• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2018년도 춘계학술대회
• /
• pp.304-305
• /
• 2018

충돌확률은 선박 충돌, 좌초사고를 교통량 관측에 기초한 사고 발생건수와 수로의 지형적인 조건에 따른 기하확률로 정량화한 자료이다. 1970년대 Fujii와 Macduff의 연구를 시작으로 많은 연구기관에서 충돌확률을 제시하였지만, 우리나라 해역의 조건에 적합한 충돌, 좌초확률은 없는 실정이다. 이에 본 연구는 부산항 제5항로에서 등부표 접촉사고 발생건수를 바탕으로 진입항로, 직선항로, 변침항로를 구분하여 좌초발생확률($P_a$) 및 준사고(좌초)발생확률($P_c$)을 도출하였다. 사고 발생율이 높은 진입항로에서 좌초발생확률($P_a$) $2.26{\times}10^{-5}$, 준사고(좌초) 발생확률($P_c$) $2.30{\times}10^{-3}$으로 산출되어 타 항로보다 등부표 접촉사고 확률이 높은 것으로 분석되었다. 추후 각 해역별 충돌확률을 도출하여 선박 안전성 평가의 기준을 구하고자 한다.

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

본 연구는 강우의 자료년수가 부족하거나 미계측 지점에서의 확률강우량 산정을 위하여 충분한 강우자료가 확보된 지점들의 강우분석을 수행하였다. 30년 이상의 강우기록을 보유한 기상청 산하 57개 강우관측지점에서 12개 지속기간에 대한 연최대치 강우자료를 대상으로 확률분포형 분석을 실시하여 대표확률분포형을 선정한다. 지점별 지속기간의 대표확률분포형 모수를 확인하고 이를 도시하여 국내 전역에 대한 확률분포 모수선도를 작성하였다. 본 연구의 수행으로 인해 얻어진 결과를 요약하면 다음과 같다. 첫째, 전국 57개 지점에 대한 강우분석 결과, 적용한 16개 분포형 중에서 GEV 분포의 적합도가 가장 우수한 것으로 나타났으며, GEV 분포의 모수를 이용한 지속기간별 확률분포 모수선도를 제시하였다. 둘째, 확률분포 모수선도를 이용한 확률강우량과 기존 연구결과의 확률강우량과는 차이는 대부분 기존 연구보다 과다 산정되게 발생하였다. 셋째, 확률분포 모수선도의 활용으로 기존의 연구에서 산정하기 어려웠던 미계측 지점에서의 확률강우량을 보다 편리하게 구할 수 있었으며, 기존의 연구와 비교하였을 때 산정된 확률강우량의 편차가 적어 미계측 지점에서의 확률강우량 산정 시 효율적인 방법이 될 수 있을 것이다.

• 논리연구
• /
• 제17권3호
• /
• pp.461-484
• /
• 2014

본 논문은 확률의 객관적 해석과 주관적 해석이 가지는 문제점을 진단함으로써 이들을 극복할 수 있는 구성주의 확률해석을 제안한다. 이 확률해석에 의하면 확률의 수학적 구조는 경험적 자료들 사이에 연관성을 부여하는 구성적 이론적 가설을 제공하는 것으로 이해할 수 있다. 구성주의 확률해석을 위한 사례로 우주의 시간적 비대칭성에서의 확률구조를 분석했다. 본 사례의 확률을 구성적으로 해석할 경우 객관적 그리고 주관적으로 확률을 해석하는 문제들을 제거할 수 있다. 또한 구성적 확률해석은 고전적 확률해석이 그 문제점에도 불구하고 왜 표면적으로 신빙성 있는지에 대한 설명도 제공한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제11권
• /
• pp.127-144
• /
• 2001

본 연구는 확률의 다양한 의미를 반영한 초등학교 확률 학습 프로그램을 개발하고, 개발된 프로그램의 적용 가능성을 알아보는데 목적을 두고 있다. 먼저 확률의 다양한 의미를 반영한 초등학교 확률 학습프로그램을 개발하기 위하여, 프로그램의 기본 방향을 설정하고, 확률의 다양한 의미를 반영하기 위한 교수 방법을 마련하였다. 개발된 프로그램은 초등학교 6학년 한 단원 분량인 7차시로 이루어져 있다. 다음으로 프로그램 시행 전에 실시한 검사에서 확률적 사고 수준이 상 ${\cdot}$ 중 ${\cdot}$ 하인 것으로 나타난 세 명의 학생을 연구 대상으로 개발된 프로그램을 시행하였다. 프로그램 적용 전 ${\cdot}$ 후에 실시한 지필 평가와 비디오 카메라로 녹음한 수업 내용과 학생들의 학습지를 검토하여 프로그램 적용 전, 1${\sim}$7 각 차시 후, 프로그램 적용 후의 시기로 나누어 분석한 결과, 세 학생 모두 확률적 사고 수준이 가장 높은 수준인 4수준으로 발전하였다. 본 연구의 결과, 확률을 이론적 의미 뿐 아니라 경험적 ${\cdot}$ 통계적 의미로 접근하면 초등학교 학생들도 확률 개념을 학습할 수 있었다. 따라서 확률을 다양한 관점으로 접근한다면, 초등학교에서도 독립성, 조건부 확률 같은 개념을 유의미하게 학습할 수 있을 것이다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2000년도 봄 학술발표회 논문집
• /
• pp.365-372
• /
• 2000

현장상황에 대한 불충분한 자료와 파괴 메커니즘에 대한 불완전한 이해로 인해 발생하는 가변성(variability)과 불확실성(uncertainty)은 암반사면공학뿐만 아니라 지반공학에서 흔히 접하게 되는 문제점이다. 특히 암반사면공학에서는 이러한 가변성과 불확실성이 불연속면의 방향 및 기하학적 특성, 그리고 실내실험 결과의 분산으로 나타난다. 그러나 안전율(factor of safety)의 개념을 기초로 하는 전통적인 결정론적 해석방법(deterministic analysis)은 이러한 분산을 고려하지 않은 채 단일 대표 값만을 이용하여 구조물의 안정성을 판단하여 왔다. 확률론적 해석방법(probabilistic analysis)은 이러한 가변성과 불확실성을 효과적으로 정량화하여 해석에 이용할 수 있는 방법 중의 하나로 제안되었다. 이러한 해석방법은 불연속면의 기하학적 특성과 강도 특성을 확률변수(random variable)로 취급하여 신뢰성이론(reliability theory)과 확률이론(probability theory)을 근거로 분석하였으며 이를 기초로 하여 Monte Carlo Simulation과 같은 해석법을 이용, 구조물의 붕괴가능성을 확률로 표현하였다. 확률론적 해석 방법은 기존의 안전율을 대체하여 구조물의 안정성을 붕괴확률(probability of failure)로 제안하였으며 이 붕괴확률은 안전율의 확률분포함수 (probability density function)에서 안전율이 1보다 작을 가능성을 확률로 나타낸 수치이다. 본 논문에서는 확률론적 해석방법을 이용하여 불연속면 특성들의 확률특성을 고찰하였으며 이를 기초로 하여 암반사면의 안정성 해석에 응용했다.

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

수문설계시 설계자들의 주된 관심사는 어떤 한 지점의 강우량보다는 유역 평균강우량에 있다. 그러나 우리가 얻을수 있는 강우량은 특정 지점에 설치된 관측소에서 관측되는 지점강우량이므로 이를 이용하여 유역에 대한 면적평균확률강우량을 산정해야 한다. 그러나 면적평균확률강우량을 산정하기 위해서는 복잡한 자료처리과정을 거쳐야 하며 수문분석시 마다 이러한 과정을 반복한다는 것은 매우 번잡스러운 일이다. 따라서 비교적 산정이 손쉬운 지점평균확률강우량을 사용하여 면적평균확률강우량으로 손쉽게 전환할 수 있는 면적감소계수가 대안이 될 수 있다. 현재 우리나라는 건설교통부에서 제시하고 있는 면적감소계수를 사용하고 있으나, 이는 한강유역의 강우관측소를 이용하여 산정하였기 때문에 이를 한강유역과 지형학적, 수문 기상학적 특징이 상이한 지역에 적용하기에는 많은 제약이 따른다고 생각된다. 본 연구에서는 낙동강 유역을 대상으로 자료계열의 빈도해석을 통하여 기존의 지점평균확률강우량과 면적확률강우량을 산출한 후, 이를 이용하여 지점평균확률강우량을 면적확률강우량으로 전환할수 있는 면적감소계수 회귀곡선식을 산정하였다. 따라서 본 연구에서 제시하는 면적감소계수는 낙동강 유역에 대하여 지점평균확률강우량을 면적확률강우량으로 손쉽게 환산할 수 있는 한 가지 방안이 될 것으로 생각된다.

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

본 논문은 최근 발생한 집중호우와 이상강우를 고려하여 인천지역에서 사용중인 확률강우강도식에 대한 새로운 확률강우강도식을 제안하였으며, 기상청 자료를 이용하여 지속시간 10분${\sim}$24시간까지의 임의시간 연최대강우량을 산정하였다. 강우지속기간별 확률강우량을 추정하기 위하여 11개의 확률분포형을 적용하였으며 Chi-square 검정방법, Kolmogorov -Smirnov 검정방법, Cramer Von Mises 검정방법으로 적합도 검정과 함께 최근 강우에 대한 경향을 분석하고 실제 발생한 강우 중에서 최대 발생 강우량을 고려하여 적정분포인 GEV 분포를 확률 분포형으로 선정하였다. 확률강우강도식은 최소자승법을 사용하여 Talbot형, Sherman형, Japanese형, 통합형 Ⅰ 및 Ⅱ 형태로 산정하였고, 지역내 하수도 및 하천의 지속시간을 감안하여 확률강우강도식을 결정하였다. 또한 정확성을 고려하여 통합형 Ⅰ을 선택하였고 지속시간에 따른 강우강도식의 확률강우와 관측치를 감안한 강도식을 인천지역의 강우강도식으로 제안하였다.

• 논리연구
• /
• 제2권
• /
• pp.63-89
• /
• 1998

확률에 관한 수학적 탐구가 시작된 18세기이래 다양한 확률에 관안 이론들이 등장하기 시작했다. 이렇게 다양한 확률 이론 중에서 가장 뒤늦게 제안되어 발전되어 온 주관주의 확률 이론을 소개하고 그 이론에 대한 평가를 시도하는 것이 이 논문의 목적이다. 주관주의 확률 이론은 램지에 의해서 제안되고 드 피네티와 새비지 등에 의해서 발전되어 왔는데, 그 이론의 핵심은 확률을 주관적인 믿음의 정도(degree of belief)로 파악하는 것이다. 이 이론은 다른 여러 가지 이론과 비교하여 많은 장점을 가짐에도 불구하고 몇 가지 문제점을 갖는다. 그 중에서도 기장 큰 문제점은 어떤 사건에 대한 객관적인 확률을 부정하는 것이다. 따라서 주관주의 이론에 대한 적절한 평가는 바로 이러한 문제점에 대해서 어떠한 대답이 주어질 수 있는가에 달려 있다고 할 수 있을 것이다. 드 피네티의 교환 기능한 확률(exchangeable probability)이리는 개념과 그와 관련된 표상정리(representation theorem)는 부분적으로 이러한 문제에 답하는 것처럼 보인다. 그러므로 필자는 이 논문에서 이러한 주관주의 확률 이론의 내용을 살펴보고 그에 대한 평가를 함으로써 주관주의 확률 이론이 갖는 의의를 논할 것이다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제12권
• /
• pp.265-280
• /
• 2001

고등학교 수학 I 의 확률 및 통계영역의 교육내용을 정리한 후, 고등학생들에게 확률 및 통계영역에 관한 흥미를 돋구기 위하여 2002년 월드컵을 소재로 한 문제들을 활용하여 비주얼 베이직으로 프로그램한 ‘확률상자’ 라는 확률모형을 개발하였다. 확률상자에는 확률의 역사, 경우의 수, 순열, 같은 것이 있는 순열, 원순열, 조합, 이항계수, 통계적 확률, 조건부 확률, 배반사건 등 모두 10가지 모듈을 포함한다. 확률상자의 초기화면에서 메뉴를 선택하면 선택된 내용에 관한 간단한 정의와 함께 문제가 제시되어 정답을 적도록 하였고, 오답일 때는 힌트를 누르면 정답을 이해할 수 있도록 풀이과정을 제시하였다. 특히, 메뉴가운데서 경우의 수, 순열, 같은 것이 있는 순열, 원순열, 조합, 통계적 확률의 경우에는 풀이과정 중에 애니메이션 또는 시뮬레이션이 실행되도록 하여 이해를 돕도록 하였다.

• 정보과학회 논문지
• /
• 제44권3호
• /
• pp.239-245
• /
• 2017

확률문법은 자연어처리에서 사용되며, 확률문법에 대한 구문분석의 결과인 파스는 문법의 확률을 그대로 보존해야 한다. 대표적인 구문분석방법인 LL 파싱과 LR 파싱의 확률파싱 가능성을 살펴볼 때 LL 파싱은 문법의 확률정보를 그대로 유지하는 반면에 LR 파싱은 그렇지 않다. 확률문법과 확률파싱오토마톤과의 관계에 관한 기존 연구로 확률보존조건을 충족하는 오토마톤의 특성에 관한 연구는 진행된 바 있다. 그렇지만, 현재로서는 확률보존조건을 충족하는 오토마톤 생성모델에 관해서는 알려진 바가 없다. 본 논문에서는 단일상태파싱오토마타에 기반한 확률파싱오토마타 모델을 제안한다. 제안 모델로부터 생성되는 오토마톤은 확률보존조건을 보장하기에 별도의 확률파싱 가능 여부를 테스팅하는 단계가 불필요하고, 별도의 확률 함수를 정의하지 않아도 된다. 또한 매개인자를 적절하게 선택하여 효율적인 오토마톤의 생성이 가능하다.