• 대한공간정보학회지
• /
• 제17권4호
• /
• pp.3-11
• /
• 2009

최근 들어 다양한 분야에서 개방형 라이브러리가 개발되어 온라인상으로 배포되고 있으며, 사용자들은 이러한 오픈소스를 활용할 경우 최소한의 노력으로 요구되는 응용프로그램을 신속하게 개발할 수 있다. 그러나 배포되는 오픈소스를 활용하기 위해서는 사용목적에 맞게 커스터마이징 공정이 요구된다. 본 연구에서는 최근 국내에서 세계 측지계의 변환작업이 활발히 진행되는 상황에서 좌표계변환을 위해 개발된 오픈소스 Proj4를 기반으로 소프트웨어를 개발하고, 이를 국토지리정보원에서 개발한 NGI Pro 소프트웨어와 비교 평가하였다. 그 결과 약간의 변환과정 만으로 국내에서 활용 가능한 좌표변환모듈의 개발이 가능하였으며, 좌표계변환을 요구하는 분야 뿐 만 아니라 다양한 응용프로그램에 개방형 라이브러리를 활용하는 것이 효과적임을 알 수 있었다.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2003년도 제27회 추계학술대회
• /
• pp.58-58
• /
• 2003

목적 : 본 연구에서는 C-arm과 CT에 사용 가능한 자궁경부암용 팬톰을 개발하고 이를 이용하여 기존의 필름 방법에 기반한 위치 확인 방법과 CT 재구성 방법의 정확성을 비교 연구하고자 한다. 정확성이 검증된 후에는 두 방법의 장점을 이용하기 위해 CT로 재구성된 좌표를 필름의 좌표로 변환시켜 현재 사용되고 있는 필름에 기반한 근접 치료 계획 시행에 도움을 주고자 한다. 방법 : 자체 제작한 자궁경부암용 팬톰은 인체 등가 물질인 물과 아크릴을 사용하였고, 크게 localizer 부분과 팬톰 부분으로 구성되어 있다. 또한, 실제 자궁경부암 환자의 임상적인 구조를 모사하여 제작하였다. 자궁경부암 치료시 중요 장기인 방광과 직장을 구와 원기둥으로 설계하였고, 고선량율 applicator는 아크릴 판의 흠으로 고정시켜 제작하였기 때문에 CT 촬영시 applicator를 제거한 영상에서도 applicator의 구조가 정확하게 묘사될 수 있도록 제작하였다. 두 시스템에서 재구성된 좌표를 비교하기 위해 각각의 시스템에서의 얻은 재구성 좌표와 팬톰 자체의 localizer와 재구성 알고리즘을 바탕으로 개발된 프로그램을 이용하여 얻은 좌표로 두 재구성 좌표의 비교 연구를 수행하였다. 정확성이 검증되고 장기의 정보가 담긴 CT의 좌표는 자체 개발된 프로그램으로 2 차원의 필름 좌표로 변환되었다. 본 연구에 사용된 모든 프로그램은 ILD 5.5를 사용하여 개발되었다. 결과 : 두 시스템의 좌표 비교 결과 x, y 축은 차이가 2mm 이내로 비교적 정확한 실험 결과를 얻을 수 있었고, z 축의 경우 CT 슬라이드의 굵기에 따라 2mm-3mm 이내의 차이가 있음을 관찰할 수 있었다. z 축을 제외한 좌표의 차이는 획득한 영상에서 컴퓨터로 좌표를 옮기는 localizer 좌표 선택 과정에 발생했을 것으로 예상된다. 또한, 이 검증된 좌표와 개발된 프로그램을 이용하여 우리는 CT의 좌표를 2차원의 필름 좌표로 정확하게 변환할 수 있었다. 결론 : 이 연구로부터 기존의 C-arm 재구성 방법과 CT 재구성 방법의 비교를 통해 각 치료 기기의 신뢰성을 직접 확인할 수 있었으며, 비교를 통해 검증된 CT의 좌표를 필름 좌표로 변환시킴으로서, 각 시스템의 장점만을 결합한 효과적인 치료 계획을 세울 수 있는 가능성을 제시하였다. 또한 물과 아크릴을 사용한 비교적 간단하고 경제적인 방법으로 C-arm, CT 그리고 MRI에 모두 이용 가능한 팬톰을 제작하여 쉽고 정확하게 위치를 확인할 수 있었다. 더 나아가, 본 연구에서 제작된 자궁경부암 팬톰은 근접치료를 포함하여 관련 팬톰 개발에 도움을 줄 수 있을 것으로 예상된다.

• 한국컴퓨터정보학회논문지
• /
• 제17권7호
• /
• pp.23-32
• /
• 2012

프로그램 검증을위해 사용되는방법으로 프로그램을 검증조건으로 변환하여정리증명기를 통해 프로그램의유효성을 확인하는 방법이 있다. 검증조건 생성을 통한 프로그램의 검증의 경우 검증조건은 프로그램을 검증하기 위한 충분하고 정확한 정보를 가지고 있어야한다. 하지만 프로그램의 변환을 통해 생성된 검증조건의 경우 논리식만으로 구성되어 있어 사용자가 쉽게 그 내용을파악할 수 없다. 본 논문에서는 가독성이 떨어지는 검증조건을 시각화하는 프로그램을 구현하였다. 프로그램을 통해 검증조건을 구성하고 있는 논리식간의 관계 등을 비롯한 정보를 보다 쉽게 확인할 수 있다.

• 대한기계학회논문집A
• /
• 제37권3호
• /
• pp.419-427
• /
• 2013

자동차 배기계의 앞쪽에 배치된 촉매변환기는 배기가스 중 유해한 성분을 무해한 것으로 변환하는 제품이다. 담체를 매트에 두르고 캔에 넣는 캐닝공정을 통하여 제작된다. 매트의 압력이 너무 높으면 담체가 파손되기 쉽고, 너무 작으면 담체가 미끄러지기 쉽다. 담체, 매트와 캔에 대한 통계학적인 오차분포를 반영하여 공정능력수준을 예측하고 담체의 파손이나 미끄러짐도 예측하는 프로그램을 EXCEL로 개발하였다. 상용 프로그램 결과와 비교하여 공정능력평가와 유한요소해석의 타당성을 입증하였다. 기존에 독립적으로 수행하던 유한요소 해석과 공정능력분석을 통합하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권3호
• /
• pp.244-251
• /
• 2009

다단계 프로그래밍이란 매크로 프로그래밍, 부분 계산(partial evaluation), 실행시간 코드 생성(runtime code generation)등을 포섭하는 일반적인 방법론으로, 계산을 여러 단계로 나누어 각 단계에 주어진 부분 입력을 통해 다음 단계를 전문화(specialize)함으로써 효율적인 계산을 수행하게 해 준다. 다단계 프로그램은 일반적인 계산 외에 코드(다음 단계의 프로그램)를 생성, 조림 및 실행시킬 수 있다. 본 논문은 코드에 자유변수를 허용하는 다단계 프로그램을 코드에 자유변수가 없는 다단계 프로그램으로 변환하는 방법을 제안한다. 코드에 존재하는 자유변수는 동적으로 바인딩(binding)되기 때문에 이를 구현하기 어려운 문제가 있다. 자유변수가 있는 코드는 환경을 입력으로 받는 함수의 코드로 변환하고, 필요한 환경은 코드를 조립하는 시점에 넘겨줌으로써 코드에서 자유변수를 제거할 수 있다. 이렇게 자유변수가 제거된 다단계 프로그램은 Davies와 Pfenning이 제안한 방법에 의해 단계가 없는 람다 계산(lambda-calculus)으로 변환된 후 람다 계산법에 의해 실행되어질 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.154-156
• /
• 2003

모바일 기술의 발달로 인해 모바일 장치를 위한 다양한 지원 모델과 응용 프로그램들이 개발되고 있다. GIS분야에서도 모바일 기술이 접목되어 모바일GIS가 등장하게 되었으며, 모바일GIS를 이용한 다양한 응용 프로그램들이 서비스되고 있다. 기존의 모바일GIS는 국립지리원에서 제공하는 DXF형식의 국가기본수치지도를 원시 데이터로 사용하였으나, 최근에는 모바일GIS에 XML(extensible Markup Language)을 적응하려는 움직임을 보이고 있다. 이를 위해서는 DXF형식의 GIS데이터를 OGC(Open Gis Consortium)에서 제안한 GML(Geography Markup Language)로 변환하기 위한 변환기를 필요로 한다. 본 논문에서는 DXF를 GML로 변환하기 위한 DXF2GML변환기의 효율적인 번역을 위해, DXF와 GML의 의미적 차이를 해결하고 효율적인 변환과정을 구현하기 위한 DXF2GML변환기의 중간코드를 제안하고자 한다. 또한 제안된 중간코드를 적용하여 DXF2GML변환기의 Front-End인 중간코드 생성기와 Back-End인 GML문서 생성기를 구현하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.10-12
• /
• 2003

SMP 클러스터가 고성능 계산을 위한 플랫폼으로 등장함에 따라, 이 시스템을 활용하기 위한 프로그래밍 환경에 대한 관심이 증가하고 있다. 이 논문에서 우리는 ParADE라고 부르는 쉽고, 이식성이 높으며. 고성능의 프로그래밍이 가능한 새로운 프로그래밍 환경을 소개한다. ParADE는 OpenMP 프로그래밍 환경으로 HLRC 변종 프로토콜을 구현한 다중 쓰레드 DSM 시스템을 기반으로 하고 있다. 특별히. 이 논문에서는 성능 개선을 위한 OpenMP 변환기의 역할에 중점을 둔다. OpenMP 변화기는 OpenMP 프로그램 모델과 실행 시스템의 수행 모델 사이에서 가교 역할을 한다. 특히, OpenMP 변환기는 동기화 디렉티브를 변환하고 임계 영역에 있는 작은 변수의 메모리 일관성을 유지하기 위해 집합 통신 함수를 활용한다. 동기화 디렉티브 성능 측정을 위한 마이크로벤치마크 프로그램을 통한 실험에서 ParADE 시스템은 기존의 DSM 시스템에 비해 우수한 성능을 보였다.

• 한국재난정보학회 논문집
• /
• 제10권2호
• /
• pp.254-262
• /
• 2014

한국지질자원연구원(Korea Institute of Geoscience And Mineral Resources)은 지진 데이터 연계 및 공유가 용이하도록 KISStool 프로그램을 개발하였다. 본 연구에서는 KISStool 프로그램에서 요구하는 자료형식과 프로토콜을 지원하는 Kit 개발을 수행하였다. 연구 개발한 Kit는 지진 데이터 변환과 전송 등의 기능을 수행하고 각 기능들은 모듈 단위에서 실시간 기반으로 실행된다. Kit에 내장된 펌웨어는 지진 데이터를 miniSEED와 QSCD20 포맷으로 변환하고 변환된 데이터는 KISStool 프로그램으로 전송된다. 본 연구에서 개발한 Kit를 시험해 본 결과, 지진 데이터 변환과 전송 및 저장기능을 정상적으로 수행하였으며, 전송속도는 기준시스템과 비교하여 동등한 수준이었다. 본 연구에서 개발한 펌웨어는 KISStool 프로그램과 호환되지 않는 지진기록계에 내장하여 향후 KISStool 프로그램 연계에 활용 할 수 있을 뿐만 아니라 구형장비의 성능 개선에도 충분히 그 활용도가 높을 것으로 기대된다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제9권
• /
• pp.283-297
• /
• 1999

수학에서는 컴퓨터를 활용해야 하고, 사회생활에서는 수학을 활용해야 한다. 이런 의미에서 엑셀을 수업 시간에 활용하는 것이 필요하다. 수학II의 일차변환을 엑셀을 어떻게 활용할 수 있는 가를 제시한다. 일차변환의 응용으로서, 이동을 포함시킨 아핀변환을 이용하여 프랙탈을 생성하는 방법을 찾아본다. 프랙탈을 생성하기 위해서는 IFS(Iterated Function System)에 의해 수 만번의 합성변환을 필요하므로 소프트웨어가 필수적이다. 여기서는 Fanstic Fractals 프로그램을 이용하여 직관적으로 얻은 그림에서 변환 행렬의 값을 구하여, 엑셀에서 두 가지 방법으로 분석하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.1960-1961
• /
• 2007

컨버터는 교류와 직류간의 변환, 교류 주파수의 상호변환, 상수(相數)의 변환 등을 하는 장치를 말하는데 일반적으로는 교류와 직류간의 변환을 의미한다. 송.배전 시스템에서 교류의 형태로 공급되는 전기를 직류가 필요한 곳에서는 컨버터를 이용하여 직류로 변환하여 사용하는데 이를 전력계통의 과도현상 분석용으로 개발된 수치계산 프로그램인 EMTP (Electromagnetic Transient Program)를 사용하여 3상 반파 컨버터와 3상 전파 컨버터를 이용한 시스템을 모델링하고 분석하였다.