• 컴퓨터교육학회논문지
• /
• 제5권3호
• /
• pp.79-87
• /
• 2002

알고리즘을 컴퓨터로 구현하여 수식 입력에 대한 출력을 과정없이 보여주는 프로그램이 컴퓨터 대수 시스템이다. 이 시스템에 연역적 추론을 자동화하는 과정을 수행하는 자동 연역 시스템을 결합하는 시도로 구현된 것이 Theorema 시스템이다. 오스트리아의 RISC 연구소에서 개발된 이 시스템은 Mathematica의 rewriting 기법을 사용하여 구현되었는데, 계산과 문제 해결, 증명을 할 수 있는 모드를 지원하고 있다. 본 논문에서는 계산 모드의 Theorema 언어를 구사하여 TI-92 그래픽 계산기에 탑재된 Derive 시스템의 일부를 시뮬레이션한 결과를 토대로 TI-92 메뉴얼을 Mathematica notebook의 형태로 생성하는 도구를 개발한 내용을 소대한다. 또한, 이렇게 하여 생성된 매뉴얼이 자바 서브릿을 통하여 웹기반 학습용 인터페이스로 연계되는 일련의 과정을 제시한다.

• 한국수학사학회지
• /
• 제19권4호
• /
• pp.63-80
• /
• 2006

수학 언어는 보통 자연언어(Natural language), 대수언어(algebraic langauge) 그리고 도식(schema)으로 구성되는데, 이 논문에서는 도식에 논의의 초점을 맞추고자 한다. 도식은 고대 그리스의 피타고라스 시대부터 이미 기하학적 추론에서 사용되었는데, 동양수학도 예외가 아니어서 중국의 고문서에서도 도식이 발견되곤 한다. 도식은 감각적인 이미지를 통하여 개념적인 것으로의 전이가 이루어지는 곳이다. 그래서 도형은 직관에 직접 호소함으로써 문제해결을 용이하게 해주는 발견술적인(heuristic) 가치를 지니고 있다. 도식의 도입은 또한 교육적인 관점에서도 매우 효율적이다. 그러나 그것이 증명을 대신할 수는 없다는 점을 잊어서는 안되겠다. 이 논문에서는 통시적 관점에서 다양한 도식을 소개한 후에 카테고리 이론과 파인만 다이어그램 그리고 아르강 평면을 고찰하면서 도식이 새로운 지식의 구축에 필요불가결한 방법과 도구임을 보이고자 한다.

• 대한토목학회논문집
• /
• 제30권5D호
• /
• pp.497-504
• /
• 2010

본 연구에서는 최근 10년간의 수원과 의정부지역의 국도 포장구간의 수명 데이터를 기반으로 신뢰성 개념을 도입하여 포장 수명의 고장확률, 신뢰도, 평균 수명 등의 정보를 산정하는 방안을 제시하였다. 모수적 추론 방법인 최우추정법과 확률지를 이용하여 최적 수명분포형태가 대수정규분포임을 확인하였으며, 본 연구에서 제안한 대수정규수명분포에 의해 추정된 누적 고장확률이 실제 관측값과 차이가 거의 없음도 확인하였다. 나아가 추정된 모수를 기반으로 신설 포장과 덧씌우기 포장의 하중별 평균 수명을 산정한 결과, 각각 6.5년~7.9년과 7.3년~9.1년으로 추정되었으며 상대적으로 덧씌우기 구간의 평균수명이 더 길게 추정되었다. 본 연구에서 제안한 신뢰성 개념을 이용한 분석 방법은 포장관리 및 유지보수 데이터가 축적되어감에 따라 비교적 용이하게 계속 보완이 가능하며 보다 정확한 포장수명에 대한 신뢰도 값에 접근해 갈 수 있을 것으로 기대된다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2006년도 춘계학술대회
• /
• pp.176-182
• /
• 2006

본 연구에서는 기존 Bagging Predictors에 수정을 가한 Modified Bagging Predictors를 이용하여 SOHO 에 대한 부도예측 모델을 제시한다. 대기업 및 중소기업에 대한 기압부도예측 모델에 대한 많은 선행 연구가 있어왔지만 SOHO 만의 기업부도예측 모델에 관한 연구는 미비한 상태이다. 금융기관들의 대출심사시 대기업 및 중소기업과는 달리 SOHO에 대한 대출심사는 이직은 체계화되지 못한 채 신용정보점수 등의 단편적인 요소를 사용하고 있는 것에 현실이고 이에 따라 잘못된 대출로 안한 금융기관의 부실화를 초래할 위험성이 크다. 본 연구에서는 실제 국내은행의 SOHO 데이터 집합이 사용되었다. 먼저 기업부도 예측 모델에서 우수하다고 연구되어진 인공신경망과 의사결정나무 추론 기법을 적용하여 보았지만 만족할 만한 성과를 이쓸어내지 못하여, 기존 기업부도예측 모델연구에서 적용이 미비하였던 Bagging Predictors와 이를 개선한 Modified Bagging Predictors를 제시하고 이를 적용하여 보았다. 연구결과,; SOHO 부도예측에 있어서 본 연구에서 제시한 Modified Bagging Predictors 가 인공신경망과 Bagging Predictors등의 기존 기법에 비해서 성과가 향상됨을 알 수 있었다. 제시된 Modified Bagging Predictors의 유용성을 확인하기 위해서 추가적으로 대수의 공개 데이터 집합을 활용하여 성능을 비교한 결과 Modified Bagging Predictors 가 기존의 Bagging Predictors 에 비해 일관적으로 성과가 향상됨을 알 수 있었다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.929-936
• /
• 2004

컴포넌트 기반 플랫폼이 갖는 주 한계점은 컴포넌트 기반 시스템이 갖는 컴포넌트간 상호작용과 관련된 행위에 대한 기술과 추론에 대한 적당한 수단을 제대로 제공하지 못한다는 것이다. 현 컴포넌트 기반 플래폼이 CORBA의 IDL과 같은 컴포넌트에 대한 시그네쳐 수준에서의 기술을 위한 방법을 제공하기는 하지만, 이는 컴포넌트들간 상호작용과 같은 행위 기술을 저 수준에서 제공하는 것에 불과하다 컴포넌트 기반 시스템에서 중요한 과제 중 하나는 바로 컴포넌트들간 상호작용과 같은 행위를 기술하는 것과 이를 바탕으로 행위에 대한 검증이 필요하다. 본 논문에서는 프로세스 대수를 이용하여 컴포넌트 인터페이스의 명세 정의와 추상화된 소프트웨어 아키텍처를 어떻게 만족시킬 것인가를 보장받기위한 role의 결합방법, 생성된 아키텍처에 대한 전개규칙, 시각화방법을 연구한다. 또한 사례연구를 통해 본 논문에서 제안한 명세기법 및 정의의 타당함을 보였다.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.380-392
• /
• 2000

This paper proposes a qualitative reasoning approach for the spatial configuration of mechanisms that could be applied in the early phase of the conceptual design. The spatial configuration problem addressed in this paper involves the relative direction and position between the input and output motion, and the orientation of the constituent primitive mechanisms of a mechanism. The knowledge of spatial configuration of a primitive mechanism is represented in a matrix form called spatial configuration matrix. This matrix provides a compact and convenient representation scheme for the spatial knowledge, and facilitates the manipulation of the relevant spatial knowledge. Using this spatial knowledge of the constituent primitive mechanisms, the overall configuration of a mechanism is described and identified by a spatial configuration state matrix. This matrix is obtained by using a qualitative reasoning method based on sign algebra and is used to represent the qualitative behavior of the mechanism. The matrix-based representation scheme allows handling the involved spatial knowledge simultaneously and the proposed reasoning method enables the designer to predict the spatial behavior of a mechanism without knowing specific dimension of the components of the mechanism.

• 한국지능시스템학회논문지
• /
• 제11권9호
• /
• pp.849-854
• /
• 2001

Bishop이 제안한 Generative Topographic Mapping(GTM)은 Kohonen이 제안한 자율 학습 신경망인 Self Organizing Maps(SOM)의 확률 버전이다. GTM은 데이터가 생성되는 확률 분포를 잠재 변수, 혹은 은닉 변수를 사용하여 모형화한다. 이것은 SOM에서는 구현될 수 없는 GTM만의 특징이며, 이러한 특징으로 인하여 SOM의 한계들을 극복할 수 있게 된다. 본 논문에서는 이러한 GTM 모형에 베이지안 학습(Bayesian learning)을 결합하여 작은 오분류율을 가지는 분류 알고리즘인 베이지안 GTM(Bayesian GTM)을 제안한다. 이 알고리즘은 기존의 GTM의 빠른 계산 처리 능력과 데이터에 대한 확률 분포, 그리고 베이지안 추론의 정확성을 이용하여 기존의 분류 알고리즘보다 우수한 결과를 얻게 된다. 본 논문에서는 기존의 분류 알고리즘에서 많이 실험하였다. 학습 데이터를 통하여 이를 확인하였다.

• 대한토목학회논문집
• /
• 제26권2D호
• /
• pp.233-239
• /
• 2006

지금까지의 링크통행시간에 대한 연구는 개별 차량의 평균을 통한 평균링크통행시간 산정 및 추정의 제한적인 연구가 대부분이었다. 그러나, 링크통행시간은 교통조건, 신호운영조건, 도로조건 등 다양한 영향인자로 인해 통행시간 분포가 구분되는 특성을 나타낸다. 링크통행시간 분포특성에 대한 선행연구결과 통행시간이 양분되어 분포하는 것으로 나타났으며 따라서, 링크통행시간의 경우 평균통행시간에 의한 결과보다 신호지체가 발생하지 않는 통행시간과 신호지체가 발생하는 통행시간으로 구분하는 것이 교통상황을 인식하는데 바람직할 것이다. 본 연구에서는 통행시간 분포특성 및 원인을 분석하였으며, 프로그램을 이용한 시뮬레이션을 통해 보다 다양한 조건을 부여하여 링크통행시간분포비율에 영향을 주는 변수들에 대한 검토하고 통행시간 분포비율을 추정할 수 있는 모형을 구축하였다. 먼저 링크통행시간 분포비율을 추정하는 회귀모형과 퍼지근사추론 모형을 구축하였다. 추정 모형을 구축하기 위한 변수를 분석한 결과 잔류녹색시간과 대기행렬 대수가 높은 상관성을 가지는 것으로 분석되었으며, 따라서 이를 이용하여 추정모형을 구축하였다. 구축결과를 비교 검토한 결과 퍼지근사추론 모형이 회귀모형에 비해 추정의 신뢰성 및 적용성에서 더욱 우수한 것으로 나타났다.

• 대한토목학회논문집
• /
• 제31권2D호
• /
• pp.217-225
• /
• 2011

현재 우리나라는 자동차 보유대수가 지속적으로 증가함에 따라 교통 혼잡 문제와 환경 문제가 심각한 실정이다. 환경적으로 지속가능한 교통과 녹색 교통수단에 대한 관심이 증대되면서 최근 정부는 자전거이용 활성화 정책을 추진하고 있다. 이에 맞추어 자전거 이용자들이 느끼는 서비스수준을 분석할 수 있는 모형의 개발이 요망된다. 본 연구에서는 자전거도로 이용자들에 영향을 미치는 인자들 중 퍼지적 성격을 지닌 자전거도로 폭, 대면횟수, 보행자 교통량을 선택하여 자전거도로 서비스수준 분석을 위한 ANFIS 모형을 구축하였다. 이렇게 구축된 모형의 예측력은 실측치와 추론치를 비교함으로써 평가하였다. 결정계수 $R^2$와 오차 및 분산정도를 나타내는 척도인 평균절대오차(MAE)와 평균제곱근오차(MSE)가 각각 0.987, 0.142, 0.032로 나타났으며, 모형의 설명력이 높은 것으로 평가된다. 본 연구에서의 자전거도로 서비스수준이 KHCM에 의한 평가치보다 1~3단계 낮게 나타났다. 이는 본 연구에서 추정 된 서비스수준이 보행자 교통량 이외에 자전거도로 폭과 대면횟수를 고려한 이용자가 느끼는 만족도에 기초하여 서비스수준을 도출하였기 때문으로 판단된다.

• 대한수학교육학회지:수학교육학연구
• /
• 제20권4호
• /
• pp.445-458
• /
• 2010

이 연구는 양 개념의 발달 과정을 알아보고 초등학교에서 양의 계산을 어떤 방식으로 다루는지를 분석함으로써 교육과정이나 교과서의 구성에 대한 시사점을 찾아보려는 것이다. 이산량과 연속량의 이원론에 근거한 유클리드의 수와 양의 구분은 이후 수학자에게 큰 영향을 미치다가 스테빈에 의해 극복되었다. 양의 덧셈과 뺄셈은 오래전부터 시행되어 왔지만, 양의 곱셈과 나눗셈은 수학계에서 될 수 있는 대로 피하려고 하였다. 그러나 자연과학계에서는 전부터 물리량의 계산을 허용하여왔고, 물리량 체계를 모델화한 대수 구조를 만들어 양의 곱셈이나 나눗셈을 이론적으로 정당화하였다. 교육과정과 교과서를 조사해 본 결과 우리나라 초등학교 수학과에서는 다른 나라와 비교하여 양의 계산 지도를 등한시하고 있음이 드러났다. 앞으로 이에 대해 충분한 논의를 하여 우리나라의 교육과정에서도 양에 대해 좀 더 적극적으로 지도할 수 있도록 명시하고, 현재 삭제된 내포량도 수학과에서 다룰 수 있도록 해야 할 것이다. 문장제도 실생활 관련 문제를 많이 제시하여 자연스럽게 양의 계산을 할 수 있도록 해야 하며, 문장제를 해결하는 과정에서 수로 된 식만 쓸 것이 아니라 단위를 붙인 식을 써서 양적인 추론에 도움을 줄 수 있도록 하는 문제에 대해서도 논의할 필요가 있다.