• 한국수학사학회지
• /
• 제24권4호
• /
• pp.33-43
• /
• 2011

이 글은 힐버트 프로그램 시기의 힐버트의 사상을 과연 도구주의로 볼 수 있는가 하는 문제를 다룬다. 이를 위해 먼저 힐버트를 도구주의자로 보는 논거들을 살펴보고, 이 견해에 대한 최근의 비판을 세 가지로 나누어 차례대로 검토한다. 이런 논의를 통해 힐버트를 도구주의자로 보는 견해는 여전히 유지될 수 있음을 보인다.

• 논리연구
• /
• 제14권2호
• /
• pp.1-38
• /
• 2011

베르나이스는 국내외를 막론하고 그의 업적에 상응하는 집중적 관심의 대상이 되지 못했다. 극히 최근에 이르러 베르나이스의 저작의 재출간을 비롯하여 그의 철학에 대한 재조명이 시작되고 있다. 본 논문은 이러한 흐름에 발맞춰 공리적 방법을 초점으로 베르나이스의 사상을 힐버트의 사상으로부터 섬세하게 가려내는 시도를 시작해보고자 한다. 우선 힐버트가 자신의 공리적 방법에 대해 대단한 자부심을 지녔었다는 점을 전거를 제시해가며 부각시킨다. 그리고 힐버트의 공리적 방법이 공리적 방법의 역사 전체 안에서 어떤 위치를 지니는지에 관한 베르나이스의 견해를 정리해볼 것이다. 또한 중전기 베르나이스와 후기 베르나이스가 이 문제에 관하여 상당히 다른 입장을 취하는 것으로 보인다는 점에 착안하여, 중전기 베르나이스의 견해와 후기 베르나이스의 견해를 대조해 보일 것이다. 그리하여 공리적 방법에 관하여 가장 뚜렷하게 부각되는 힐버트와 베르나이스의 견해의 차이가 공리적 방법의 제일성의 문제에서 찾아진다는 점을 보여줄 것이다. 같은 맥락에서 1950년대 중반 이후 과학철학에서의 카르납의 프로젝트가 공리적 방법의 제일성에 대한 힐버트의 신념을 계승하려는 것으로 보고, 후기 베르나이스의 카르납 비판을 논의할 것이다.

• 한국항행학회논문지
• /
• 제16권2호
• /
• pp.240-246
• /
• 2012

지금까지의 힐버트 변환은 대부분 코히어런트 이미징에서만 활용되어 왔을 뿐 인코히어런트 이미징에 대해서는 그 적용이 미비했다. 본래의 광원 영역에서는 인코히어런트 물체의 힐버트 변환이 일정하게 중첩되는 문제가 발생하기 때문이다. 본 논문에서는 음이 아닌 강도(intensity) 분포 함수의 합성을 수행함으로써 인코히러언트 이미징의 문제점을 보완한 two-pupil 시스템을 적극 활용하여 코히어런트 이미징 대비 낮은 노이즈 특성, 물체의 위상 변화에 대한 강건함, 유연한 필터의 설계 등의 장점을 극대화한다. 제안하는 이미징 방식은 공간영역에서 광학 전달 함수를 분할하여 필터링한 후 인코히어런트 물체의 힐버트 변환을 수행한다. 이를 바탕으로 광학 시스템에서의 두 pupil을 수학적으로 분석하고 디자인하여 two-pupil 광학 헤테로다인 스캐닝 시스템을 구현할 수 있다. 모의실험을 통해 제안하는 시스템을 바탕으로 2-D 홀로그램을 도출함으로써 인코히어런트 이미징에서도 힐버트 변환의 적용이 유효함을 확인할 수 있다. 또한 복소홀로그램의 복원을 통해 힐버트 변환만을 이용한 홀로그램에 비해 공간 영역에서 선명도가 개선된 홀로그램 영상도 획득할 수 있다.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.23-30
• /
• 2004

공간 질의 크기에 대한 근사치를 구하기 위해서는 입력 데이터 공간을 분할한 후 분할된 영역에 대하여 질의 결과 크기를 추정한다. 본 논문에서는 데이터 편재가 심한 공간 데이터에 대한 질의 크기 추정의 문제를 논의한다. 공간을 분할하는 기법으로 관계 데이터베이스에서 많이 사용되는 너비 균등, 높이 균등 히스토그램에 해당되는 면적 균등, 개수 균등 분할에 대한 방법을 검토하고 공간 인덱싱에 기초한 공간 분할방법에 대해서 알아본다. 본 논문에서는 공간 순서화 기법인 힐버트 공간 채움 곡선을 이용한 공간 분할을 제안한다. 제안한 방법과 기존의 방법을 실제 데이터와 인위 데이터를 사용하여 편재된 공간 데이터에 대한 질의 결과 크기의 추정에 대한 정확도를 비교한다. 본 실험에서 힐버트 채움 곡선에 의한 공간 분할이 공간 질의 크기 버켓 수의 변화, 데이터 위치 편재도의 변화, 데이터 크기의 변화에 대해서 기존의 분할 방법보다 질의 결과 크기 추정에 대해서 우수한 성능을 보였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제37권4호
• /
• pp.203-208
• /
• 2010

본 논문은 단일무선방송채널환경에서 힐버트곡선과 최소영역사각형을 이용하여 공간데이터를 방송하고 이를 가지고 k-최근접질의 처리를 효과적으로 처리하는 기법에 관한 논문이다. 기존 방식은 k-최근접질의 처리시 백트랙킹문제가 발생하여 질의처리에 오랜 시간이 걸리거나 검색범위를 빠르게 줄이지 못하여 많은 정보를 수신해야 하는 단점이 존재하였다. 제안하는 방법은 공간데이터를 힐버트 곡선 순서대로 방송하되 방송중인 공간데이터를 제외한 나머지 공간데이터를 최소영역사각형으로 그룹화하고 이를 인덱스 테이블로 구성하는 방법이다. 그리고 이를 이용하여 클라이언트가 알려지지 않은 데이터의 위치를 예측하여 빠르게 검색범위를 줄여나가 불필요한 정보를 제거하여 적은 튜닝시간과 접근지연시간을 갖도록 하는 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.46-48
• /
• 2003

최근 시공간 데이타에 대한 OLAP연산 효율을 증가시키기 위한 여러 가지 연구들이 행하여지고 있다. 이들 연구의 대부분은 다중트리구조에 기반하고 있다. 다중트리구조는 공간차원을 색인하기 위한 하나의 R-tree와 시간차원을 색인하기 위한 다수의 B-tree로 이루어져 있다. 하지만, 이러한 다중트리구조는 높은 유지비용과 불충분한 질의 처리 효율로 인해 현실적으로 시공간 OLAP연산에 적용하기에는 어려운 점이 있다. 본 논문에서는 이러한 문제를 근본적으로 개선하기 위한 접근 방법으로서 힐버트큐브(Hilbert Cube, H-Cube)를 제안하고 있다. H-Cube는 집계질의(aggregation query) 처리 효율을 높이기 위해 힐버트 곡선을 이용하여 셀들에게 완전순서(total-order)를 부여하고 있으며, 아울러 전통적인 누적합(prefix-sum) 기법을 함께 적용하고 있다. H-Cube는 적응적이며, 완전순서화되어 있으며, 또한 누적합을 이용한 셀 기반의 색인구조이다. 본 논문에서는 H-Cube의 성능 평가를 위해서 다양한 실험을 하였으며, 그 결과로서 유지비용과 질의 처리 효율성면 모두에서 다중트리구조보다 높은 성능 향상이 있음을 보인다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1994년도 춘계학술대회논문집; 영남대학교, 20 May 1994
• /
• pp.179-184
• /
• 1994

다입력/단일출력 모형을 이용하여 소음/진동원을 규명할 때 입력들간의 상관관계가 존재하면 이들 사이의 우선순위 결정은 매우 중요한 문제가 된다. 본 실험에서는, 이러한 상관관계를 입력들간에 구성되는 선형계 H$_{xy}$(f)로부터 힐버트 관계와 충격응답함수의 특성을 살핌으로써 우선순위를 결정하였으며, 부분 기여도함수 기법을 적용하여 차량의 실내 소음원과 전달경로에 대한 정보를 얻을 수 있었다. 그러나 충격응답함수와 전달함수의 힐버트 관계를 이용한 우선순위 결정법의 상대적인 차이점, 오차등에 대해서는 앞으로 더 연구 되어야 할 과제이다.

• 대한기계학회논문집
• /
• 제16권7호
• /
• pp.1255-1265
• /
• 1992

본 연구에서는 단열 및 온도가 영으로 고정된 경계조건을 갖는 대칭 입술형과 대칭 익형 강체함유 물상의 접합경계면 균열에 대한 Hilbert 문제로부터 복소 포텐셜 함수와 커스프 균열선단 그리고 접합경계면 균열선단에서 TSIF를 구하고자 한다.

• 한국수학사학회지
• /
• 제23권3호
• /
• pp.57-73
• /
• 2010

초월수의 연구는 2000년 이상 수학자들을 괴롭혀 왔던 고대 그리스의 기하학 문제의 하나인 원적문제가 불가능하다는 것을 보여줌으로써 수학사의 중요한 분야임을 입증하였다. Liouville은 1844년에 처음으로 구체적인 초월수의 예를 제시하였고, 칸토어는 1874년에 초월수의 존재성을 증명하였다. Louville 정리는 많은 초월수를 만들어 낼 뿐 아니라 초월수의 존재성을 증명하는데 이용할 수 있다. 1873년에 Hermite가 자연로그의 밑수 e가 초월수임을 보이고, 1882년에 Lindemann이 원주율 $\pi$가 초월수임 증명하였다. 1934년에 Gelfond와 Schneider는 각각 힐버트의 7번째 문제에 대한 서로 다른 완전한 해를 찾았다. 1966년에 Baker는 Gelfond-Schneider 정리의 일반화된 결과를 증명하였다. 이 연구의 목적은 초월수의 개념과 발달과정을 살피고, 미해결 문제를 제시하여 초월수의 연구가 촉진되도록 후학들에게 연구 동기를 부여하고자 한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권5호
• /
• pp.451-463
• /
• 2003

최근 시공간 데이타에 대한 OLAP연산 효율을 증가시키기 위한 여러 가지 연구들이 행하여지고 있다. 이들 연구의 대부분은 다중트리구조에 기반하고 있다. 다중트리구조는 공간차원을 색인하기 위한 하나의 R-tree와 시간차원을 색인하기 위한 다수의 B-tree로 이루어져 있다. 하지만, 이러한 다중트리구조는 높은 유지비용과 불충분한 질의 처리 효율로 인해 현실적으로 시공간 OLAP연산에 적용하기에는 어려운 점이 있다. 본 논문에서는 이러한 문제를 근본적으로 개선하기 위한 접근 방법으로서 힐버트큐브(Hilbert Cube, H-Cube)를 제안하고 있다. H-Cube는 집계질의(aggregation query) 처리 효율을 높이기 위해 힐버트 곡선을 이용하여 셀들에게 완전순서(total-order)를 부여하고 있으며, 아울러 전통적인 누적합(prefix-sum) 기법을 함께 적용하고 있다. H-Cube는 대상공간을 일정한 크기의 셀로 나누고 그 셀들을 힐버트 값 순서로 저장한다. 이러한 셀들이 시간순서로 모여 규브형태를 이루게 된다. 또한 H-Cube는 시간의 흐름에 따라 변화되는 지역적인 데이타 편중에 대처하기 위해 적응적으로 셀을 정제한다. H-Cube는 정적인 공간 차원에서 움직이는 짐 객체에 초점을 두고 있는 적웅적이며, 완전순서화되어 있으며, 또한 누적합을 이용한 셀 기반의 색인구조이다. 본 논문에서는 H-Cube의 성능 평가를 위해서 다양한 실험을 하였으며, 그 결과로서 유지비용과 질의 처리 효율성면 모두에서 다중트리구조보다 높은 성능 향상이 있음을 보인다.