• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.1039-1048
• /
• 2019

프로그램 자동 분석 방법 중 하나인 기호 실행은 지난 몇 해 동안 기술적으로 크게 향상 되었다. 그러나 여전히 기호실행 그 자체만을 이용하여 프로그램을 분석하는 것은 실용적이지 않다. 가장 큰 이유로는 프로그램 분석 중에 발생하는 경로 폭발 문제로 인한 메모리 부족으로, 기호 실행을 이용해 프로그램의 모든 경로의 해를 구할 수 없다. 따라서 분석가는 모든 경로의 해를 구하는 것이 아닌 취약성을 갖는 지점으로 기호 실행 탐색 경로를 구성하는 것이 실용적이다. 본 논문에서는 기호 실행 과정에서 사용될 수 있는 정적분석 기반 바이너리 역방향 제어 흐름 그래프 생성 방법 기술을 제안한다. 역방향 제어 흐름 그래프 생성을 통해 분석가는 바이너리 내의 잠재적인 취약지점을 선정할 수 있고, 해당 지점으로부터 생성된 역추적 경로는 향후 기호 실행을 위해 효율적으로 사용될 수 있다. 우리는 리눅스 바이너리(x86)를 대상으로 실험을 진행하였고, 실제로 잠재적인 취약점 선정 및 역추적 경로 생성이 바이너리의 다양한 상황에서 가능함을 보였다.

• 한국조경학회지
• /
• 제38권2호
• /
• pp.119-129
• /
• 2010

본 연구에서는 국내 최초 운하인 경인 아라뱃길의 친수공간에 대한 설계전략과 내용에 대해 언급하고자 하며, 대상지가 갖는 지리적 특성, 경관적 가치, 효율적 접근성을 설계의 주요 인자로 삼으며, 새로운 뱃길경관을 창출하는데 주안점을 두었다. 서해바다에서 한강으로 경인 아라뱃길의 물길을 따라 형성되는 수변의 주요 공간계획으로써 뱃길을 따라 경관적 거점으로 수향팔경을 계획하였고, 주운수로를 따라 인천에서 김포까지 연결되는 2차선의 경관도로인 파크웨이를 조성하여 선형의 녹지축과 다양한 친수시설을 계획하였다. 그리고 주요 테마공간을 연결해 주는 산책로와 자전거도로를 계획하였으며, 자전거도로를 따라 수변 쌈지공원을 다양하게 구성하였다. 본 연구에서는 경인 아라뱃길로 인해 표출되는 새로운 수변공간을 환경 문화 레저 관광의 다원적 기능이 어우러지는 신 수변문화공간으로써 정체성을 갖도록 하였으며, 스토리텔링과 다양한 문화 컨텐츠 도입에 의한 운영프로그램을제시하였다.

• 한국군사과학기술학회지
• /
• 제15권3호
• /
• pp.250-256
• /
• 2012

Unmanned ground vehicles may be operated by remote control unit through the wireless communication or autonomously. However, the autonomous technology is still challenging and not perfectly developed. For some reason or other, the wireless communication is not always available. If wireless communication is abruptly disconnected, the UGV will be nothing but a lump of junk. What was worse, the UGV can be captured by enemy. This paper suggests a method, autonomous return technology with which the UGV can autonomously go back to a safer position along the reverse path. The suggested autonomous return technology for UGV is based on multi-correlated information based DB creation and matching. While SUGV moves by remote-control, the multi-correlated information based DB is created with the multi-sensor information; the absolute position of the trajectory is stored in DB if GPS is available and the hybrid MAP based on the fusion of VISION and LADAR is stored with the corresponding relative position if GPS is unavailable. In multi-correlated information based autonomous return, SUGV returns autonomously based on DB; SUGV returns along the trajectory based on GPS-based absolute position if GPS is available. Otherwise, the current position of SUGV is first estimated by the relative position using multi-sensor fusion followed by the matching between the query and DB. Then, the return path is created in MAP and SUGV returns automatically based on the MAP. Experimental results on the pre-built trajectory show the possibility of the successful autonomous return.

• 한국위성정보통신학회논문지
• /
• 제12권1호
• /
• pp.76-80
• /
• 2017

소형 무인기(UAV: Unmanned Aerial Vehicle)가 급속히 대중화됨에 따라 최근의 UAV 시스템은 각각의 목적에 따라 다양한 분야에서 설계되고 활용되고 있다. 이는 UAV 조정과 관련하여 전자, 센서, 카메라, 소프트웨어 프로그램 등에 이르기까지 많은 새로운 기회를 열어 가고 있으며 저비용 및 혁신적 업무 수행 능력으로 UAV의 활용과 응용 영역의 확대는 새로운 기술 혁신을 주도하고 있다. 특히 소형 UAV는 저고도 상황에서 예측이 힘든 돌발 변화나 장애물 출현 발생 확률이 높은 환경에서 비행을 하여야 한다. 본 논문에서는 소형 UAV 시스템의 자율 비행 기술에 관한 최근의 연구를 소개하고 적대적인 환경에서 소형 UAV의 저비용 센서들을 활용하여 경로 생성과 충돌 회피를 통해 안전하게 목표물에 도착을 유도하는 시험적 방안을 제안 한다.

• 한국경제지리학회지
• /
• 제23권1호
• /
• pp.110-123
• /
• 2020

1950년대에 탈산업화가 시작되면서 선후진국을 막론하여 세계 여러 나라들이 첨단산업집적지, 즉 테크노폴을 조성, 육성하였다. 프랑스의 소피아 앙티폴리스가 그 대표적인 예이다. 소피아 앙티폴리스는 지중해 연안의 관광 도시, 니스 인근지역 출신으로 파리광산대학의 교수와 프랑스 상원의원을 지낸 피에르 라피트(Pierre Laffite)의 제안으로 시작된 유럽 굴지의 테크노폴이다. 이 테크노폴은 1960년대 말부터 조성이 시작되어, 1990년대까지는 입주기관간 시너지효과가 없는 유명 연구기관의 단순한 집적지에 지나지 않은 것으로 평가되었다. 그러나 그 후 많은 변화가 이루어진 것으로 파악되는 바, 연구자는 소피아 앙티폴리스의 조성 과정과 성과, 그리고 그 주변 지역의 변화 등을 비교, 분석하여 정책적, 이론적 시사점을 도출하고자 하였다. 그를 위해 지역혁신론과 경로이론을 검토하여 분석 틀을 작성하였고 그에 기초하여 자료를 수집, 분석하였다. 그러한 연구에 의하면 소피아 앙티폴리스는 지난 50여 년 동안 여러 차례에 걸쳐 정책 거버넌스가 변화되었으며, 물적 성장뿐만 아니라 지역내 많은 혁신효과를 가져왔고, 역동적인 혁신환경도 조성된 것으로 파악된다.

• Spatial Information Research
• /
• 제17권3호
• /
• pp.251-259
• /
• 2009

생태계 회복의 중요성이 부각됨에 따라 생태네트워크 구축을 위한 다양한 연구가 수행되고 있다. 특히 GIS를 이용한 환경정보자료의 구축과 분석기법의 개발은 이를 더욱 효과적으로 수행하게 하였다. 본 연구에서는 경관생태학 이론을 기반으로 도시생태네트워크 구축을 위한 공간의사결정지원체계를 제시하였다. 제시된 공간의사결정지원체계는 다음과 같은 4단계로 구성된다. 첫째, 생태네트워크의 주요 골격을 형성하는 핵심 녹지를 중첩기법을 통해 도출한다. 둘째, 서식지 분포자료를 이용하여 서식녹지를 파악하고, 중력모형을 적용한 연결성 평가를 통해 연결녹지의 도입이 필요한 지역을 도출한다. 셋째, 최소비용경로분석을 이용하여 파편화된 녹지를 연결하기 위한 최적의 경로를 도출한다. 마지막으로 도시 생태네트워크 분석결과와 현재 토지이용간의 비교를 통하여 분석결과의 적정성을 검증한다. 본 연구는 도시 내 생태공간을 증진하기 위한 계획적 도구로서 난개발 방지, 종 다양성 증진 등에 기여할 수 있을 것이다.

• 국제지역연구
• /
• 제16권3호
• /
• pp.27-51
• /
• 2012

신고전주의 학자들은 한국의 산업화 과정이 '노동잉여' 모델에 따르고 있다고 주장해 왔다. 이 모델은 개발도상국들의 경제발전은 무한한 값 싼 노동력이 제조업 부문으로 이전되면서 진행되고, 따라서 산업화의 성공을 위해서는 노동집약적 기술이 사용되어야 한다는 점을 강조하고 있다. Fei와 Ranis는 일본의 초기 산업화 단계(1887-1915)에서 일본이 노동집약적 기술을 사용하였고 이는 일본의 경제발전을 이끌었다고 주장한다. 이에 본 논문은 한국 산업화 과정이 과연 이 모델에 기인하고 있는 지를 밝히고자 하는데 목적이 있다. 이의 검증을 위하여 Kelly와 Williamson이 고안한 신고전주의 이중모델의 기본 틀이 사용되었다. 이 모델 하에서 연산일반균형 (CGE) 방식을 통해 한국 산업화 기간 중 (1965-1992) 추정된 주요 경제변수와 실제 역사적 수치를 비교해 보았다. 검증 결과 두 수치 간에 큰 차이가 나타남을 확인하였는바 따라서 한국의 산업화 과정은 시장의 힘에 기초한 비교우위 생성의 결과라는 신고전주의 가설이 적용되지 않는다는 결론에 이르게 되었다.

• 한국CDE학회논문집
• /
• 제5권2호
• /
• pp.144-154
• /
• 2000

We propose an algorithm for obtaining a triangular approximation of a trimmed NLRBS surface. Triangular approximation is used in the pre-processing step of many applications such as RP(Rapid Prototyping), NC(Numerical Control) and FEA(Finite Element Analysis), etc. The algorithm minimizes the number of triangular elements within tolerance and generates a valid triangular mesh for STL file and NC tool path generation. In the algorithm, a subdivision method is used. Since a patch is a basic element of triangular mesh creation, boundary curves of a patch are divided into line segments and the division of curves is applied for the interior of the surface. That is, boundary curves are subdivided into line segments and two end points of each line segment are propagated to the interior of the surface. For the case of a trimmed surface, triangulation is carried out using a model space information. The algorithm is superior because the number of elements can be controlled as the curvature of the surface varies and it generates the triangular mesh in a trimmed region efficiently. To verify the efficiency, the algorithm was implemented and tested for several 3D objects bounded by NURBS surfaces.

• 한국인터넷방송통신학회논문지
• /
• 제16권5호
• /
• pp.55-61
• /
• 2016

테러와 각종 위협으로부터 개인의 재산과 생명을 보호하기 위한 목적으로, 다양한 장소에 영상 보안 장비들을 설치하여 운영하고 있다. 본 연구에서는 다중의 카메라가 설치된 관제센터 환경에서 카메라 영상 속 녹화 데이터 검색을 진행할 경우, 사용자의 검색 편의성을 높이기 위한 방법으로, 객체의 이동 경로를 사전에 정의할 수 있는 자료 구조를 제안하고, 카메라 간 연동 정보를 저장할 수 있는 테이블 정보 파일을 자동으로 생성 해주는 도구를 설계 하고 구현 한다. 이렇게 정의된 카메라 정보 테이블을 사용하여 녹화된 데이터를 검색 시 검색 시간을 최소화 할 수 있으며, 녹화 데이터 검색 효율성을 높일 수 있다.

• Architectural research
• /
• 제4권1호
• /
• pp.53-61
• /
• 2002

The typical Critical Path Method (CPM) leaves it to the construction managers to overcome two problems in developing networks. First, the construction manager needs to prepare information on the type of activities and their precedence relations in order to develop a network schedule. Second, he or she can include space information into the network schedule such as the locations where the activities take place, only with difficulty. These two problems make it difficult for an inexperienced person to create a network. The purpose of this paper is to provide construction managers with set equations of creating a network schedule for multiunit projects. A space-resource combined network creation are presented in this paper, which includes equations for generating a list of required activities, their precedence relations, and information on their location. Information on the space (location) and the resource is the required data for this method. Based on this information, this method divides a project into a number of activities so that each activity contains the information on the location where the activity takes place and the principal resource required for that activity. Precedence relations are then obtained from the sequence of space and resource. This method has the potential to reduce human efforts in scheduling activities.