• Journal of Korean Society for Geospatial Information Science
• /
• v.17 no.4
• /
• pp.3-11
• /
• 2009

Open source is recently much more made and distributed by on-line such as internet in various fields. Therefore, end users could rapidly develop applications needed for some purposes using minimal efforts if use open sources. But, open source must be customized for their purposes. In this paper, we developed software for coordinates conversion and compared the software with NGI Pro which is developed by National Geographic Information Institute. Consequently, it is possible for us to easily develop the coordinates conversion module and we know that the use of open source is effective to develop various applications.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2003.09a
• /
• 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에 모두 이용 가능한 팬톰을 제작하여 쉽고 정확하게 위치를 확인할 수 있었다. 더 나아가, 본 연구에서 제작된 자궁경부암 팬톰은 근접치료를 포함하여 관련 팬톰 개발에 도움을 줄 수 있을 것으로 예상된다.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.7
• /
• pp.23-32
• /
• 2012

There is a method which identifies validity of program by transforming program to verification condition to verify program. If program is verified by generating verification condition, verification condition must have enough and accurate information for verifying program. However, verification condition is consisting of logical formulas, so the user cannot easily identify the verification condition. In this paper, we implemented program that visualize the poorly readable verification conditions. By the program, the users can easily identify information, such as the relationship between logical formulas that represent verification condition.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.3
• /
• pp.419-427
• /
• 2013

The catalytic converters for automobile exhaust systems are manufactured by inserting a mat-wrapped substrate into a stainless steel can. A residual pressure that is too high will initiate a fracture in the substrate. In contrast, a residual pressure that is too low will fail to hold the substrate in the acceleration or deceleration phase. Both the process capability and mat pressure on the substrate are predicted while considering the effect of the statistical variation in the dimensions of the parts. The validity of the solutions is then confirmed. A program using EXCEL combines a finite element analysis and process capability analysis in one program.

• Journal of KIISE:Software and Applications
• /
• v.36 no.3
• /
• pp.244-251
• /
• 2009

We present a transformation which converts open-code multi-staged programs into closed ones. Staged computation, which explicitly divides a computation into separate stages, is a unifying framework for existing program generation systems. Because a multi-staged program generates another program, which can also generate a third program and on, the implementation of a multi-staged language is not straightforward. Dynamic binding of (lexically free) variables in code also makes the implementation of a multi-staged language hard. By converting each code into code of function which takes environment for free variables as its argument and giving an actual environment at the code-composition site, we can transform a open-code program into a closed-code one. Combining with Davies and Pfenning's method, our closed-code-conversion enables the implementation of the unstaged language to be useful for executing multi-staged programs. We also prove the correctness of our conversion: the converted program is equivalent to the original program, and the converted program does not have open code.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• 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문서 생성기를 구현하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.10-12
• /
• 2003

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

• Journal of the Society of Disaster Information
• /
• v.10 no.2
• /
• pp.254-262
• /
• 2014

KISStool is developed and established by KIGAM, in order to link and share the earthquake data easily with institutes related, this study includes the development of a KISStool program format and protocol supporting Kit. The Kit has functions such as transforming and sending a seismic data. The functions of the kit are implemented in modules, which are running on the realtime basis. The firmware is embedded into the Kit, which transforms the seismic data into the formats, miniSEED and QSCD20. These data are sent to KISStool program. We have confirmed the results of the data transforming, transmissions and storage functions are conducted normally, the speed of transmission shows same level when comparing with a standard system. We expect that the firmware developed in this study will have high usability not only for linking with KISStool program through being embedded into incompatible digitizers, but also for improving performance of older ones.

• Communications of Mathematical Education
• /
• v.9
• /
• pp.283-297
• /
• 1999

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

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1960-1961
• /
• 2007

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