• 대한의용생체공학회:의공학회지
• /
• 제27권6호
• /
• pp.392-401
• /
• 2006

Image Guided Surgery (IGS) system which has variously tried in medical engineering fields is able to give a surgeon objective information of operation process like decision making and surgical planning. This information is displayed through 3D images which are acquired from image modalities like CT and MRI for pre-operation. The technique of image registration is necessary to construct IGS system. Image registration means that 3D model and the object operated by a surgeon are matched on the common frame. Major techniques of registration in IGS system have been used by recognizing fiducial markers placed on the object. However, this method has been criticized due to additional trauma, its invasive protocol inserting fiducial markers in patient's bone and generating noise data when 2D slice images are acquired by image modality because many markers are made of metal. Therefore, this paper developed shape-based registration technique to improve the limitation of fiducial marker based IGS system. Iterative Closest Points (ICP) algorithm was used to match corresponding points and quaternion based rotation and translation transformation using closed form solution applied to find the optimized cost function of transformation. we assumed that this algorithm were used in Total Knee replacement (TKR) operation. Accordingly, we have developed region-based 3D registration technique based on anatomical landmarks and this registration algorithm was evaluated in a femur model. It was found that region-based algorithm can improve the accuracy in 3D registration.

• 한국정보통신학회논문지
• /
• 제17권6호
• /
• pp.1462-1470
• /
• 2013

본 논문에서는 클러스터 단위로 센서 노드의 키와 그룹키를 생성한 후 분배하는 KGDC(Key Generation and Distribution based on Cluster) 모듈과 이 키를 이용하여 시빌 공격과 웜홀 공격을 탐지할 수 있는 SWAD(Sybil & Wormhole Attack Detection) 모듈로 구성되는 SWAD-KNH(Sybil & Wormhole Attack Detection using Key, Neighbor list and Hop count) 기법을 제안한다. KGDC 모듈은 ECDH 알고리즘, 해시함수, 키 체인 기법을 이용하여 그룹키와 센서 노드의 키들을 생성하고 안전하게 배포한다. SWAD 모듈은 2단계 키 확인절차를 수행함으로써 시빌 공격 탐지를 강화시키고, 근원지와 목적지 노드의 공동이웃노드들의 수와 홉 카운트를 이용하여 웜홀 공격을 탐지한다. 그 결과 SWAD-KNH 기법은 시빌 공격 탐지율은 91.2%, 평균 FPR(False Positive Rate)은 3.82%이고, 그리고 웜홀 공격 탐지율은 90%, 평균 FPR(False Positive Rate)은 4.64%으로 평가되므로 시빌과 웜홀 공격 탐지율 및 시빌과 웜홀 공격 탐지의 신뢰성을 향상시켰다.

• 산업경영시스템학회지
• /
• 제42권4호
• /
• pp.183-193
• /
• 2019

Process mining is an analytical technique aimed at obtaining useful information about a process by extracting a process model from events log. However, most existing process models are deterministic because they do not include stochastic elements such as the occurrence probabilities or execution times of activities. Therefore, available information is limited, resulting in the limitations on analyzing and understanding the process. Furthermore, it is also important to develop an efficient methodology to discover the process model. Although genetic process mining algorithm is one of the methods that can handle data with noises, it has a limitation of large computation time when it is applied to data with large capacity. To resolve these issues, in this paper, we define a stochastic process tree and propose a tabu search-genetic process mining (TS-GPM) algorithm for a stochastic process tree. Specifically, we define a two-dimensional array as a chromosome to represent a stochastic process tree, fitness function, a procedure for generating stochastic process tree and a model trace as a string of activities generated from the process tree. Furthermore, by storing and comparing model traces with low fitness values in the tabu list, we can prevent duplicated searches for process trees with low fitness value being performed. In order to verify the performance of the proposed algorithm, we performed a numerical experiment by using two kinds of event log data used in the previous research. The results showed that the suggested TS-GPM algorithm outperformed the GPM algorithm in terms of fitness and computation time.

• Spatial Information Research
• /
• 제6권1호
• /
• pp.77-90
• /
• 1998

자연적이거나 인위적인 여러 요인의 복합적인 상호작용에 의해 지표는 계속 변화해간다. 자연재해는 생태계의 다양한 군집이 서로 상호작용을 하는데 결정적 영향을 미치는 요소로 이런 변화의 직접적인 원인이 되는 특정 사건의 발생과정이나 공간적 분포에 대한 연구는 환경과 자원관리 측면에서 중요하다. 본 논문에서는 지표변화에 영향을 미치는 자연화재의 경우를 중심으로 공간적 분포를 모형화하는 방법론을 설명하였다. 자연화재는 주로 번개에 의해 발생되어 몇 주에 결쳐 수만 킬로미터의 지역을 태우면서 새롭고 다양한 서식지를 만들어 가는 주된 자연재해중의 하나로 생태계관리차원에서 연구되고 있다. 오스트리아 빅토리아사막을 예로 이곳에서의 자연화재 발생지역을 20년동안의 원격탐사자료(MSS data)로부터 추출하여 이를 바탕으로 자연화재발생에 대한 공간적 모형을 개발하였고 모형에 입각한 시뮬레이션 방법을 논의하였다. 화재발생과정은 불규칙적으로 분포된 공간상의 point pattern에 의해 특징지어질 수 있는데 이의 모형화를 위해서 Nonhomogeneous Planar Poissin Process가 이용되었다.

• 한국GIS학회:학술대회논문집
• /
• 한국GIS학회 1999년도 추계학술대회 발표요약문
• /
• pp.21-25
• /
• 1999

Planning support systems(PSS) add more advanced spatial analysis functions than Geographic information systems(GIS) and intertemporal functions to the functions of spatial decision support systems(SDSS). This paper reports the continuing development of a PSS providing a framework that facilitates urban planners and civil engineers in conducting coherent deliberations about planning, design and operation & maintenance(O&M) of water-distribution networks for urban growth management. The PSS using dynamic optimization model, modeling-to-generate-alternatives, value engineering(VE) and life-cycle cost(LCC) can generate network alternatives in consideration of initial cost and O&H cost. Users can define alternatives by the direct manipulation of networks or by the manipulation of parameters in the models. The water-distribution network analysis model evaluates the performance of the user-defined alternatives. The PSS can be extended to include the functions of generating sewer network alternatives, combining water-distribution and sewer networks, eventually the function of planning, design and O&H of housing sites. Capacity expansion by the dynamic water-distribution network optimization model using MINLP includes three advantages over capacity expansion using optimal control theory(Kim and Hopkins 1996): 1) finds expansion alternatives including future capacity expansion times, sizes, locations, and pipe types of a water-distribution network provided, 2) has the capabilities to do the capacity expansion of each link spatially and intertemporally, and 3) requires less interaction between models. The modeling using MINLP is limited in addressing the relationship between cost, price, and demand, which the optimal control approach can consider. Strictly speaking, the construction and O&M costs of water-distribution networks influence the price charged for the served water, which in turn influence the. This limitation can be justified in rather small area because price per unit water in the area must be same as that of neighboring area, i.e., the price is determined administratively. Planners and engineers can put emphasis on capacity expansion without consideration of the relationship between cost, price, and demand.

• 한국산업정보학회논문지
• /
• 제25권1호
• /
• pp.89-99
• /
• 2020

본 논문에서는 유휴기간을 갖는 서버의 재가동이 단수휴가와 그동안 도착한 고객들의 총 일량에 의해 결정되는 이중제어정책을 다룬다. 고객들은 베르누이 도착과정으로 시스템에 한 명씩 도착하며, 자기 차례가 될 때까지 기다렸다가 선착순으로 서비스를 받는다. 서버는 시스템 내에 더 이상 서비스할 고객이 없으면 유휴기간을 가지며, 이와 동시에 이산확률변수 V의 휴가를 떠난다. 휴가 종료시점에서 대기 중인 고객들의 서비스 시간 총합이 일량 임계값 D를 초과하면 바로 서비스를 시작하고, 휴가 종료시점의 시스템 내 총 일량이 D 이하인 경우에는 일량 임계값을 넘길 때까지 기다렸다가 재가동한다. 이러한 혼합제어정책 하에서 운영되는 이산시간 Geo/G/1 대기행렬시스템을 대상으로 하여 유휴기간을 분석하고 안정상태 고객수 분포를 유도하였다.

• 한국통신학회논문지
• /
• 제29권12C호
• /
• pp.1606-1616
• /
• 2004

본 논문에서는 임펄스 통신을 위한 광대역 송수신 안테나 전달 특성을 안정성이 보장된 최소위상 ARMA(Auto-Regressive Moving Average)시스템으로 모델링하여, 이로부터 수신 상관기에 적용되는 참조 신호를 발생시키는 기법에 대해 소개한다. 일반적으로 비이상적인 광대역 안테나의 사용으로부터 발생하는 확산 및 특정 주파수에서의 공진 현상으로 인하여 송신 임펄스 신호의 변형을 가져오며, 이로 인해 이상적인 안테나 사용을 가정한 참조 신호를 수신단에서 사용할 경우 코히어런트 상관 처리과정상의 이득 축소로 인해 전체 통신 시스템의 성능을 저하시키게 된다. 본 논문에서는 변형된 수신 신호와 참조 신호와의 상관성을 높이기 위해 안테나 송수신 전달함수 전체 특성을 최소위상 ARMA 형태로 모델링하고, 이를 참조신호 발생을 위한 시스템으로 사용하여 일반적인 가우시안 필스 입적에 대한 출력을 수신단 상관기에 적용한다. 시물레이션을 통해 형태가 다른 다이폴 안테나에 대해 ARMA 모델링 기법을 통해 얻은 참조 신호를 이용하여 임펄스 무선 통신 시스템의 성능이 향상됨을 입증한다.

• 대한원격탐사학회지
• /
• 제25권4호
• /
• pp.375-381
• /
• 2009

본 논문에서는 다양한 종류의 지표면에 대하여 분석하여 산란 특성을 연구하고 SAR 클러터 영상을 제작하고 실제 SAR 클러터 영상과 비교한다. 먼저 지표면의 특성을 분석하기 위해 각각의 지표면에 대해서 입력변수를 측정한다. 측정한 데이터를 이용하여 Oh 모델, PO 모델, radiative transfer model(RTM)을 이용하여 각도 별 산란계수를 구하였다. SAR 영상 생성을 위해 먼저 측정 지역의 DEM (digital elevation map)과 LCM (land cover map)데이터를 제작한다. DEM 데이터의 단일 픽셀(pixel)의 높이 정보를 이용하여 픽셀의 입사각을 계산하고 입사각에 따른 해당 지표면의 산란 계수를 대입한다. LCM 데이터는 해당 지역의 답사를 통해 논, 밭, 산, 길, 인공물 등을 1:5000 지도에 기입하여 SAR 영상 생성에 사용한다. DEM 데이터와 LCM 데이터를 사용하여 입사각과 지표면 종류에 따른 계수를 계산하고 영상잡음(speckle)과 영상질감(texture)을 이용하여 SAR 클러터 영상을 생성하고 실제 영상과 비교한다.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.35-45
• /
• 2006

본 논문에서는 휴대용 회전 유도탄 체계의 모델링과 성능분석에 사용할 수 있는 실시간 병렬처리 시뮬레이터 개발에 대하여 기술한다. 실시간 병렬처리 시뮬레이터는 항공기의 적외선 형상을 만드는 탐색기 에뮬레이터, 실시간 컴퓨터, 시스템 유닛. 유도 조종 장치 및 탐색기 프로세서 등과 같은 하드웨어 실물장치와 실시간 컴퓨터에 내장된 수학적 모델, 6 자유도 모델 및 공력 모델 등을 구현한 응용 소프트웨어 및 호스트 컴퓨터에 내장된 사용자 프로그램 등으로 구성되었다. 실시간 컴퓨터는 병렬로 연결된 여섯 개의 TI사 C-40 프로세서로 설계되었으며, 기계적 장치와 결합된 아날로그 전자회로를 이용하여 탐색기 에뮬레이터를 설계하였다. 시스템 유닛은 구성 요소간의 임피던스 정합 기능과 미세 신호를 처리하며, 시뮬레이터와 실물 유도탄 발사 장치의 연결이 가능하다. 개발된 실시간 병렬처리 시뮬레이터를 휴대용 회전 유도탄의 성능분석 장치로 사용하기 위하여 현장실험을 통한 결과 검증시험을 수행하였다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.587-604
• /
• 2021

라이브러리는 독립적으로 실행되지 않고 많은 응용 프로그램에서 사용되므로, 라이브러리의 취약점을 사전에 탐지하는 것은 중요하다. 라이브러리 취약점을 탐지하기 위해 동적 분석 방법인 퍼징이 사용되고 있다. 퍼징 기술은 코드 커버리지 및 크래시 발생 횟수 측면에서 개선된 결과를 보여주지만, 그 효과를 라이브러리 퍼징에 적용하기는 쉽지 않다. 특히, 라이브러리의 다양한 상태를 재현하려면 특정 함수 시퀀스를 호출하고 퍼저의 입력을 전달하여 라이브러리 코드를 실행하는 퍼징 대상 파일과 시드 코퍼스가 필요하다. 그러나 퍼징 환경(시드 코퍼스, 퍼징 대상 파일)을 준비하는 것은 라이브러리에 대한 이해와 퍼징에 대한 이해가 동시에 필요한 어려운 일이다. 이에, 본 논문에서는 테스트 프레임워크를 활용하여 라이브러리 퍼징의 용이성을 확보하고, 코드 커버리지와 크래시 탐지 성능을 향상하기 위한 개선 방법을 제안한다. 본 논문에서 제안한 시스템은 9개의 오픈 소스 라이브러리에 적용하여 기존 연구들과 비교를 통한 개선 효과를 검증하였다. 실험 결과 코드 커버리지 31.2%, 크래시 탐지 기준 58.7%의 개선효과를 확인하였고, 3개의 알려지지 않는 취약점을 탐지하였다.