• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.415-418
• /
• 2002

상태 불변식은 도달 가능한 모든 상태에서 항상 만족되는 식이다. 이는 복잡한 시스템의 이해와 분석에 활용될 뿐만 아니라 시스템의 안전성, 일관성, 완전성 검사에 사용된다. 이와 같은 이유로, 상태 불변식의 추론은 폭 넓게 연구되었다. 기존의 연구에서는 시스템의 가능한 모든 상태를 고려하여 상태 불변식을 생성했다. 이러한 방법으로 생성된 상태 불변식은 매우 복잡하며 사용자가 이를 이해하고 활용하기가 어렵다. 본 연구에서는 두 가지 투영 방법을 통해 단순화된 상태 불변식을 생성한다. 첫째, 지정 범위를 통한 투영으로 고려해야 할 상태들을 줄인다. 둘째, 해당 범위에서 사용된 명제들로 상태 불변식을 투영하여 최소 부정 불변식을 찾고 이를 제거한다. 그 결과 사용자의 관심을 특정 범위와 명제에 집중시킬 수 있었으며 단순화된 상태 불변식을 통해 사용자의 이해와 활용도를 높일 수 있었다.

• Journal of Korean Ophthalmic Optics Society
• /
• v.17 no.1
• /
• pp.53-58
• /
• 2012

Purpose: The purpose of this study was to predict the amount of astigmatism through logMAR visual acuity by Jin's chart at best vision spherical power and to compare availability of astigmatism expectation by Jin's and beam project chart. Methods: LogMAR and decimal visual acuity were measured for 150 college students and visual acuity and compared the amount of astigmatism under full correction. Results: Jin's chart was showed marked differences at least more than 0.25 D intervals per line than beam project chart. Correlation with the amount of astigmatism was higher the logMAR visual acuity r = 0.8578 than decimal visual acuity r = -0.7199. Conclusions: LogMAR visual acuity at best vision spherical power was able to predict to amount of astigmatism and Jin's chart was easier than beam project chart to predict difference of each lines.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.3
• /
• pp.183-192
• /
• 2013

As a worldwide trend, the spatial information that is established by country, institution and purpose is integrated into the data with a single spatial reference to improve the data connectivity and usability. In this study, a new national single origin plane rectangular coordinate system was studied to efficiently respond to the changes in the spatial reference according to the introduction of a new national geodetic standard and to the demand of seamless data service in the spatial information sector. For this purpose, the Korean Peninsula was set as the projection region and the projection distortion in the projection region was analyzed. The projection parameters were defined to homogenize and minimize the projection distortion, and their standardization and registration on the international organizations were conducted. The study on the required optimal projection equation resulted in the Hooijberg projection equation and projection parameters (${\Phi}$, ${\lambda}$, K, N, E) resulted in $38^{\circ}N$ and $128^{\circ}E$ projection origin, and a scale factor of 0.99924. The proper false northing and easting were 700,000m N and 400,000m E, respectively, considering the introduction of country station index system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.206-206
• /
• 2004

평판디스플레이의 사이즈 및 그 응용범위가 확대되어 감에 따라, 기존의 근접식 노광장비로는 원하는 성능의 디스플레이소자를 생산하는데 한계에 도달하게 되었다. 최근에는 반도체웨이퍼 생산에 적용되는 투영식분할노광방식 또는 스캔방식의 노광장비가 평판디스플레이소자의 생산에 적용되는 추새인데, 이러한 방식의 노광장비의 핵심기능을 수행하는 모듈 증 마스크스테이지가 있다. 투영식노광 장비의 노광광원(조명광학계)에서 발생된 노광광은 마스크를 통과함으로써 특정패턴을 형성할 수 있는 형태로 변화되고, 투영광학계를 거쳐 피노광재에 조사 된다.(중략)

• The Bulletin of The Korean Astronomical Society
• /
• v.42 no.2
• /
• pp.71.3-71.3
• /
• 2017

Zeiss사에 의해 고안되어 제작된 최초의 근대식 천체투영기(Planetarium)는 1923년 독일박물관에 설치되었다. 세계 최초의 천체투영관은 큰 이목을 끌었고, 이 소식은 전세계로 전해져 유럽의 퍼지기 시작했고 1930년대에는 미국의 갑부들이 자기 도시에 천체투영관을 설립하였다. 우리나라는 재일동포 사업가 이현수에게 일본 GOTO사의 천체투영기를 기증받아 1967년 4월 29일 광화문 전화국 옥상에 최초의 천체투영관이 개관하였다. 이 투영기는 1970년 남산어린이회관으로 이전되었다가, 1975년 광진구에 있는 어린이회관으로 옮긴 후 2005년 퇴역하였다. 2017년은 천체투영관이 도입된 지 50주년이 해로, 2017년 10월 현재 우리나라에 88곳의 천체투영관이 운영중이며 연 200만명이 방문하는 중요한 천문교육시설이 되었다.

• Proceedings of the Optical Society of Korea Conference
• /
• 2005.07a
• /
• pp.268-269
• /
• 2005

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.137-137
• /
• 2018

표면영상유속계는 매우 간편하고 신속하게 하천의 유속장을 측정하는 기법이지만 하천의 넓은 구역을 카메라로 촬영하기 때문에 영상왜곡이 필연적으로 발생한다. 이러한 왜곡을 보정하기위해 많이 사용되고 있는 2차원 투영좌표변환법을 이용하여 유속을 분석하였다. 하지만 2차원 투영좌표변환법의 경우 표정점이 수표면의 높이와 같은 위치에 존재하지 않으면 유속 분석 결과에 큰 오차를 유발시킨다. 홍수 시 하천의 수위가 급변할 경우 표정점을 수위 변화에 맞추어 이동시키면서 영상을 촬영한다는 것은 현실적으로 불가능하다. 이러한 문제점을 극복하기위해 하천의 수위 변화에 대응하는 영상왜곡 보정 기법 개발이 필요하다. 이에 본 연구에서는 기존의 2차원 투영좌표변환법을 개선하기 위해 제방근처의 표정점 4개와 카메라의 좌표와 카메라와 수표면까지의 연직거리를 이용한 영상왜곡 보정식을 개발하였다. 그리고 표정점과 수표면의 높이를 다양하게 변화시키면서 개발한 보정식을 적용하였다. 표정점이 수위에 맞게 설정된 경우를 기준으로 수위보다 높게 설정된 표정점에 대하여 보정식을 적용한 경우의 유속은 표정점이 수위보다 높게 설정된 경우의 유속과 비교한 결과 오차가 크게 개선되었음을 확인하였다. 따라서 하천에 CCTV를 고정적으로 설치하여 유량을 산정할 경우 본 연구에서 제시한 표정점 보정식을 활용한다면 수위가 급변하는 상황에서도 정확한 표면유속을 산정할 수 있을 것으로 기대한다.

• 한국전산유체공학회:학술대회논문집
• /
• 2001.10a
• /
• pp.144-151
• /
• 2001

NURBS 곡면식으로 정의된 물체 표면상에서 표면 정렬 격자를 생성할 수 있는 방법을 소개하였다. 공학 응용분야에서의 물체 표면 정의는 여러 개의 패치들로 표현되는 것이 일반적이고, 여기서 소개하는 표면격자 생성기법은 이러한 여러 패치들에 걸쳐서 분포되는 정렬격자를 쉽게 생성할 수 있도록 한다 이 기법은 매개변수 형태의 타원형 격자생성 방정식의 해를 구하되, 여러 NURBS 패치에 걸쳐서 투영/분포된 초기 격자계를 타원형 방정식 반복계산 과정의 매개변수형 표면 정의식으로 임시 활용한다. 매개변수형 타원형 방정식의 해가 얻어지고 나면, 그 결과 격자계를 다시 NURBS 패치에 투영을 시키고 타원형 방정식의 해를 구하는 과정이 반복된다. 이러한 반복과정이 전체적으로 수렴이 이루어질 때까지 반복된다. 이 방법에 의해서 얻어지는 표면 정렬 격자계들은 타원형 격자생성기법의 특징인 완만성을 가지면서 정의된 물체표면에서 벗어나지 않는 격자점들이 된다. 소개된 방법은 간단하면서도 하나의 NURBS 곡면만이 아니라 여러 개의 NURBS 곡면에 걸쳐있는 정렬격자계를 효율적으로 생성할 수 있도록 해주며, 그 기본적인 접근법은 NURBS 곡면식 만이 아니라 다른 형태의 매개변수형 형상 정의식에도 적용이 가능하다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.19 no.4
• /
• pp.55-63
• /
• 2011

Having a wide angle of view, a fisheye lens is useful for obtaining images of the inside wall of a tunnel. A circular fisheye tunnel image can be transformed into a familiar rectangular image by applying the concept of cylindrical projection. This projection transformation causes several types of distortions in the projected image. This paper discusses the distortion on the boundary lines between smoothly curved wall and flat ground. We analyzed the cause of this boundary distortion, developed transformation model, and derived a correction formular. A distortion correction software programmed in Visual C++ applied to projected image. Consequently, boundary-corrected image could be obtained. Research into other distortions of projected image will helpful in obtaining tunnel image that resembles real tunnel from fisheye tunnel image.

• Proceedings of the Optical Society of Korea Conference
• /
• 2003.02a
• /
• pp.94-95
• /
• 2003

광학식 3차원 형상측정 기술은 산업현장과 의료분야 등에서 광범위하게 사용되어지고 있으며, 이에 대한 연구도 활발히 진행되고 있다. 본 연구에서는 푸리에 변환법에 의한 위상정보 추출 기술을 개발하고, 주파수 영역에서의 창함수 필터에 따른 위상추출 특성을 분석하였다. 광조사 장치로는 LCD 프로젝터를 이용한 투영방식(그림 1)과 레이저 간섭계 투영방식(그림 2)을 사용하였다. (중략)