• 유변학
• /
• 제7권3호
• /
• pp.192-202
• /
• 1995

이연구에서는 유변학 구성방정식이 나타내는 일차원 불안정성의 몇가지 예를 보였 다. 안정성 해석을 위하여 맥스웰형 미분구성방정식 Giesekus, Leonov, Larson 모델을 선택 하였다. 나타난 불안정성은 단순전단유동에서의 정상유동곡석이 무제한적 단수증가성을 위 배할 때 발생한다. 단순전단유동에 부과된 섭동하에서 Giesekus와 Larson 모델이 일정영역 의 무델계수와 전단율속도값에서 불안정 거동은 관성력을 고려하지 않은 경우에도 발생함이 증명되었다. 끝으로 이러한 불안정 거동을 개선하는 몇가지 방법을 Leonv와 Giesekus 모델 에 대하여 제시하였다.

• 전기전자학회논문지
• /
• 제24권4호
• /
• pp.931-941
• /
• 2020

기계학습을 이용한 자연어처리 기술이 발전하면서 SHNS (Smart Home Network Service)가 다시 주목받고 있다. 그러나 SHNS는 구성 기기의 다양성과 사용자의 가변성 등으로 인하여 표준화된 인증 시스템 적용이 어렵다. 블록체인은 분산 환경에서 데이터 인증을 위한 기술로 제안되고 있지만, 작업증명시스템 구현 시 요구되는 계산 오버헤드 때문에 SHNS에 적용하는데 한계가 있다. 본 논문에서는 경량화된 작업증명시스템을 제안하였다. 제안하는 경량화된 작업증명시스템은 기기의 작업 권한을 제어함으로써 블록 생성을 관리하도록 제안되었다. 또한 본 논문에서는 이를 기반으로 SHNS의 접근통제 방안을 제안한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권1호
• /
• pp.123-135
• /
• 2008

본 연구에서는 고등학교 과정에서 다루어지는 수학적 귀납법 증명의 대표적인 예제들을 이해하고 증명하는데 필요한 스키마를 분석하고, 그에 대한 학생들의 구성 여부를 조사하였다. 함수 스키마와 명제치 함수 스키마의 구성은 함의치 함수 스키마와 긍정 논리식 스키마의 구성에 선행하며 함의치 함수 스키마와 긍정 논리식 스키마는 수학적 귀납법 스키마를 위해 통합적으로 조절되어야 한다는 점도 확인하였다. 이를 바탕으로 하여 수학적 귀납법에 대한 학생들의 이해 수준은 $1{\sim}4$ 수준으로 설정될 수 있었다. 또한 이러한 이해 수준과 관련하여 수학적 귀납법을 학습하면서 겪는 학생들의 인지적 어려움이 분석되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.406-408
• /
• 2001

이 논문에서는 TCP의 최근 버전인 TCP Reno 버전의 동작을 모델링 하는 방법을 통하여 살펴본다. 이 논문에서 사용한 방법은 하나의 소스를 마코비안 모델을 사용하여 ON-OFF 형태로 구성하며 이 방법을 통하여 빠르고 정확한 TCP 성능 측정 도구를 구성하고자 한다. 결과적으로 이러한 접근은 네트워크 성능과 관련된 출력률, 지연, 패킷 손실률 등을 측정할 수 있다. 또한 이렇게 얻어진 결과는 동일한 트래픽 설정을 사용한 시뮬레이션을 통하여 유효성을 증명하여 본다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2007년도 하계학술대회 논문집
• /
• pp.61-63
• /
• 2007

본 연구에서는 소형 PEM 연료전지스택을 이용한 휴대용 전원 시스템을 설계하고 그 성능을 시험하였다. 시스템은 30W PEM 연료전지 스택과 제어기, 고압 수소 실린더, DC-DC Converter로 구성되고, 구성된 시스템을 이용하여 10W DVD Player의 구동을 성공적으로 실시하였다. 500cc 350기압의 실린더를 이용할 경우 32시간 이상의 사용이 가능함을 실험을 통해 증명하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.97-100
• /
• 2007

본 논문에서는 다차원 파일구조를 주어진 질의 패턴에 의해 최적으로 구성할 수 있는 방법을 제시한다. 지금까지의 다차원 파일구조는 응용 시스템에서 주어지는 질의의 패턴을 고려하지 않고 다차원 파일구조를 구성하는 애트리뷰트들의 클러스터링 정도를 동일하게 취급하였다. 그러나 다차원 파일구조를 이용하는 대부분의 응용 시스템에서 구성 애트리뷰트들 사이의 액세스 정도를 크게 다르게 하는 질의 패턴을 보인다. 따라서 본 논문에서는 다차원 파일구조의 응용 시스템에서 주어지는 질의 정보를 이용하여 각 구성 애트리뷰트들 사이의 클러스터링 정도를 각각 다르게 반영함으로써 최적이 되는 다차원 파일구조를 구성하는 방안을 제시한다. 먼저 질의처리의 성능이 질의 패턴에 주어진 질의 영역의 모양과 다차원 파일구조의 도메인 공간의 분할 상태를 나타내는 페이지 영역의 모양 사이의 유사성에 따라 크게 영향 받음을 보이고, 이러한 특성을 이용하여 수학적 분석을 통하여 제안된 기법의 이론적인 배경을 증명한다.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.37-58
• /
• 2011

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

• 대한수학교육학회지:학교수학
• /
• 제15권3호
• /
• pp.651-665
• /
• 2013

본 연구는 의사소통을 강조한 문제 해결 수업에서, 비형식적 증명 활동이 문제 해결에 어떻게 기여하며, 이 때 교사의 역할은 무엇인지를 확인하는 것을 목적으로 한다. 이를 위해 비형식적 증명활동에 따른 의사소통 활동이 활발히 일어날 수 있는 과제를 개발하고 초등학교 6학년 학생 4명을 대상으로 사례 연구 실시하였다. 연구 결과 비형식적 증명활동은 문제 이해 과정에서 구성한 잘못된 추측과 시각적 표상을 점진적으로 정교화 하고, 이를 통해 해를 구하고 구한 해의 적절성을 입증하는데 기여하였다. 이러한 효과를 거두기 위해 교사는 활발한 의사소통을 유발시킬 수 있는 과제를 개발하고, 학생들의 추측을 고무함과 더불어 추측을 심화할 수 있는 발문을 사용해야 된다는 점을 확인하였다.

• 한국지능시스템학회논문지
• /
• 제20권4호
• /
• pp.455-462
• /
• 2010

단순하고 스테이블한 머징알고리즘의 비교횟수와 관련된 worst case 복잡도를 분석한다. 복잡도 분석을 통해 소개되는 알고리즘이 m 과 n, $m{\leq}n$ 사이즈의 두 수열에 대해 O(mlog(n/m))의 비교횟수를 요구하는 사실을 증명한다. 그래서 병합에 있어서의 하계가 $\Omega$(mlog(n/m))이라는 사실로부터 우리의 알고리즘이 비교횟수와 관련해 점근적 최적 알고리즘에 해당함 을 추론가능하다. worst case 복잡도 증명을 위해 모든 입력수열로 구성된 정의구역을 두개의 서로소인 집합으로 나눈다. 그런 후 서로소인 각각의 집합으로 부터 특수한 subcase를 구별한 후 이들 subcase 각각에 대해 점근적 최적성을 증명한다. 이 증명을 바탕으로 나머지 모든 경우에 대한 최적성 또한 추론 또는 증명 가능함을 소개한다. 이로써 우리는 복잡도 분석이 까다로운 알고리즘에 대해 투명한 하나의 해를 제시한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 추계학술대회 논문집 학회본부 B
• /
• pp.606-608
• /
• 1999

본 논문에서는 이동 로봇의 유연하고 짧은 경로 계획을 위하여 기존의 그리드 셀(grid cell)로 구성되는 지도 대신에 삼각형을 이용하여 지도를 구성하는 새로운 방법을 제안한다. 기존의 그리드 셀로 구성되는 지도의 경우 이동 로봇가 현재 셀에서 다음 셀로 진행시 진행 방향이 8 방향이나, 본 논문에서 제안한 방법에 의해 구성된 새로운 지도는 셀을 삼각형으로 표현함으로써, 이동 로봇의 진행 방향이 12 방향이 된다. 이와 같이 이동 로봇의 진행 방향이 증가한다는 것은 이동 로봇이 더욱 유연하게 장애물을 회피하며 더욱 짧은 경로로 주행할 수 있는 가능성을 의미한다. 한편, 본 논문에서 제안한 삼각형 지도 작성 방법의 효율성을 기존의 그리드 셀을 이용한 경로 계획 알고리즘인 거리 변환(path transform) 경로 계획을 통하여 증명한다. 또한 새로운 삼각형 지도 구성이 메모리의 효율성 위해 이동 로봇의 주행 환경을 장애물이 비어있는 공간을 가능한 하나의 셀로 병합하는 4진트리 방법(quadtree method)에도 적용 가능함을 보인다.