• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.415-418
• /
• 2002

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

• 한국안광학회지
• /
• 제17권1호
• /
• pp.53-58
• /
• 2012

목적: 최적구면굴절상태에서 진용한 시력표로 측정한 logMAR 시력에 의한 난시예상량을 파악해 보고, 투영식 소수시력표와 비교해 보고자 하였다. 방법: 대학생 150명 300안을 대상으로 logMAR 시력과 소수시력을 측정하여 완전교정 때의 난시량과 비교하였다. 결과: 진용한 시력표가 투영식 시력표에 비해 시표 줄 간의 차이가 0.25 D이상으로 비교적 구별이 뚜렷하였다. 또한 난시량과의 상관성은 logMAR 시력이 r = 0.8578로 소수시력 r = -0.7199 보다 높았다. 결론: 최적구면굴절상태에서 logMAR 시력을 통하여 난시량을 예측할 수 있었고, 투영식 시력표 보다 진용한 시력표가 단계별 난시예상량을 예측하는 것이 쉬운 것으로 판단된다.

• 한국측량학회지
• /
• 제31권3호
• /
• pp.183-192
• /
• 2013

최근 전 세계적으로 국가별, 기관별, 목적별로 다양하게 구축된 공간정보를 단일한 위치기반으로 하는 데이터로 통합함으로써 각 자료 간 연계성 및 활용성을 높이고 있다. 본 연구에서는 새로운 국가측지기준의 도입에 따른 위치기준의 변화와 공간정보 분야의 seamless 데이터 서비스 요구에 효율적으로 대응할 수 있도록 새로운 국가 단일원점 평면직각좌표에 대한 연구를 수행하였다. 이를 위해 한반도 전역을 투영영역으로 설정하고 투영영역 내 발생하는 투영왜곡을 분석함으로써 이를 균질화 및 최소화할 수 있는 투영파라미터를 정의하였으며, 이에 대한 표준화 및 국제기구 등록방안을 제시하였다. 연구의 결과, 국가 단일원점 평면직각좌표계를 위한 최적의 투영식은 Hooijberg 투영식으로 분석되었으며, TM 투영을 위한 5가지 투영파라미터는 위도(${\Phi}$) $38^{\circ}N$, 경도(${\lambda}$) $128^{\circ}E$, 축척계수(K) 0.99924로 각각 분석되었다. 또한, 투영원점(${\Phi}$, ${\lambda}$)에 대한 가수값(false Northing & Easting)은 국가지점번호제도의 도입을 고려하여 북쪽방향 700,000m, 동쪽방향 400,000m로 각각 설정하는 것이 적합하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 춘계학술대회 논문요약집
• /
• pp.206-206
• /
• 2004

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

• 천문학회보
• /
• 제42권2호
• /
• pp.71.3-71.3
• /
• 2017

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

• 한국광학회:학술대회논문집
• /
• 한국광학회 2005년도 하계학술발표회
• /
• pp.268-269
• /
• 2005

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

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

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2001년도 추계 학술대회논문집
• /
• pp.144-151
• /
• 2001

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

• 대한공간정보학회지
• /
• 제19권4호
• /
• pp.55-63
• /
• 2011

어안렌즈는 사각이 넓어서 터널 내부 벽면의 영상을 취득하는 데 유용하다. 원통투영의 원리를 이용하여 어안렌즈터널 영상을 우리의 눈에 익숙한 일반 영상으로 변환시킬 수 있는데, 이 과정에서 여러 종류의 왜곡이 발생하게 된다. 본 논문은 투영영상의 터널 바닥면과 벽면 사이 경계선에서 발생하는 왜곡을 다루고 있다. 경계선 왜곡의 발생 원인을 분석하고 모형을 제작하여 보정량 계산식을 유도하였다. Visual C++로 제작한 소프트웨어를 이용하여 계산된 보정량을 투영영상에 적용한 결과 경계선이 보정된 영상을 얻을 수 있었다. 투영영상에 나타난 다른 왜곡에 대한 연구가 추가된다면 어안렌즈 영상을 통해 실제 터널 벽면과 유사한 영상을 얻을 수 있을 것으로 기대된다.

• 한국광학회:학술대회논문집
• /
• 한국광학회 2003년도 제14회 정기총회 및 03년 동계학술발표회
• /
• pp.94-95
• /
• 2003

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