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

순차식 연산은 겐첸이 자연연역을 1934년 대칭적 버전으로 재구성한 것으로서, 여기에서 그는 '주정리' 를 소개한다. 이 논문에서 우리는 절단의 유용성에도 불구하고 증명이론에서 왜 절단정리가 이토록 중요한 위상을 차지하는지 검토할 것이다. 이어서 커리-하우어드 대응의 역동적 측면, 즉 절단 제거와 단순히 유형화된 람다-연산에서 ${\beta}$-환원의 대응이 연구될 것이다. 이러한 대응의 중요성은 프로그램의 세계와 수학 증명의 세계를 마주보게 함으로써 프로그램의 정확성을 보증해준다는 데에 있다.

• 한국전자파학회논문지
• /
• 제19권9호
• /
• pp.957-967
• /
• 2008

본 논문에서는 직사각형 개구면이 있는 함체 내부에 위치한 PCB로부터의 복사 방출 예측 이론을 제안한다. PCB scanner를 이용하여 PCB로부터의 근접장을 측정하여 등가 전원으로 모델링하고, 등가 전원에 의한 전자기장을 계산한다. 함체 내부의 등가 전원을 그린 함수를 이용하여 표현하고, 함체 외부의 전자기장은 푸리에 변환을 이용하여 표현한다. 모드 정합법을 이용하여 개구면에서의 전자기장을 계산하고, 표면 등가 원리 및 영상정리를 이용하여 OATS(Open Area Test Site) 환경에서의 복사 방출을 계산한다. 계산 결과를 측정치와 비교하여, 복사 방출 예측 이론의 정확성을 확인한다.

• 대한조선학회논문집
• /
• 제30권1호
• /
• pp.45-64
• /
• 1993

본 논문에서는 전 논문 주상체의 비선형운동(I)[16]의 정합방법과 비선형해법을 이용한 원형실린더의 전진동요문제와 파랑중에서의 실린더의 운동에 관한 결과를 중심으로 보고한다. 완전한 물체표면 조건의 부과에 관하여 스펙트럴방법은 잠수된 경우에 적용할 수 있으나 물체가 부유된 경우에 적용이 어렵다. 그러나 본 방법은 어떤 구속없이 완전하게 적용할 수 있고 자유표면에서는 완전한 비선형 자유표면조건을 시간적분하여 추적한다 본 논문에서는 예로 첫째는 원형실린더가 수면하에서 전진하면서 상하동요하는 경우의 동유체력을 계산하여 Grue[6], Kim[12]의 선형계산과 비교하였고 또 다른 적용으로 부유된 원형주상체의 전진동요 문제를 수치적인 어려움 없이 성공적으로 수행하였다. 두번째는 파랑 중에서 주상체의 운동문제에 관한 계산을 수행하였다. 초기조건의 부과를 위해 가상적인 조파기를 설치하여 2차원 수치수조를 만든 다음 잠수된 원형 실린더를 고정시켜서 계산을 수행하여 비선형동유체력을 구하였고 다음은 2차원 실린더가 파랑중에서 운동할 때 계산을 수행했다.

• 전자공학회논문지
• /
• 제50권3호
• /
• pp.160-173
• /
• 2013

본 논문에서는 실외 도로환경에서 주행하는 차량의 위치를 추정하기 위한 비쥬얼 오도메트리 기술을 제안한다. 제안하는 방법은 운전자의 이동계획에 따라 차량의 초기위치에서 원거리에 위치한 특정 목적지를 방문한 후 지나온 경로를 따라 다시 초기위치로 정확하게 복귀해야 하는 차량의 위치인식을 위해 사용된다. 위치인식에는 차량 전방의 3차원 정보획득을 위한 스테레오 카메라와 후방의 영상을 획득하는 단일 카메라를 사용한다. 차량이 목적지를 향해 순방향 주행할 때는 전방 스테레오 비쥬얼 오도메트리(stereo visual odometry)를 이용하여 이동차량의 위치를 추정하고 동시에 도로 및 주변 환경에 대한 3차원 전역지도를 그래프 구조로 생성한다. 차량이 목적지에 도달하여 복귀할 때는 후방의 단일 카메라에서 획득한 2차원 영상과 전역지도를 바탕으로 모노 비쥬얼 오도메트리(monocular visual odometry)로 위치를 추정한다. 복귀하는 차량의 위치를 정확하게 추정하기 위해서는 효과적인 전역지도의 노드 탐색방법이 요구된다. 후방 카메라의 영상 특징과 전역지도의 각 노드의 영상 특징을 정합하고 지도에 저장된 3차원 좌표를 이용하여 차량의 위치를 추정하였다. 또한 3차원 위치추정에 성공한 이전노드들의 정보를 바탕으로 매 영상 프레임마다 적응적으로 탐색영역을 확장하거나 줄이도록 하였다. 두 개의 서로 다른 경로에 대한 실험을 통하여 제안하는 방법의 성능을 검증하였다.