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.
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 시스템에 비해 우수한 성능을 보였다.
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.
수학에서는 컴퓨터를 활용해야 하고, 사회생활에서는 수학을 활용해야 한다. 이런 의미에서 엑셀을 수업 시간에 활용하는 것이 필요하다. 수학II의 일차변환을 엑셀을 어떻게 활용할 수 있는 가를 제시한다. 일차변환의 응용으로서, 이동을 포함시킨 아핀변환을 이용하여 프랙탈을 생성하는 방법을 찾아본다. 프랙탈을 생성하기 위해서는 IFS(Iterated Function System)에 의해 수 만번의 합성변환을 필요하므로 소프트웨어가 필수적이다. 여기서는 Fanstic Fractals 프로그램을 이용하여 직관적으로 얻은 그림에서 변환 행렬의 값을 구하여, 엑셀에서 두 가지 방법으로 분석하였다.
컨버터는 교류와 직류간의 변환, 교류 주파수의 상호변환, 상수(相數)의 변환 등을 하는 장치를 말하는데 일반적으로는 교류와 직류간의 변환을 의미한다. 송.배전 시스템에서 교류의 형태로 공급되는 전기를 직류가 필요한 곳에서는 컨버터를 이용하여 직류로 변환하여 사용하는데 이를 전력계통의 과도현상 분석용으로 개발된 수치계산 프로그램인 EMTP (Electromagnetic Transient Program)를 사용하여 3상 반파 컨버터와 3상 전파 컨버터를 이용한 시스템을 모델링하고 분석하였다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.