• 제목/요약/키워드: simulation correctness

검색결과 144건 처리시간 0.019초

K-FPGA 패브릭 구조의 평가 툴킷 (Evaluation Toolkit for K-FPGA Fabric Architectures)

  • 김교선
    • 대한전자공학회논문지SD
    • /
    • 제49권4호
    • /
    • pp.15-25
    • /
    • 2012
  • FPGA용 CAD툴에 대한 학계의 연구는 상용 FPGA에 적용하기에는 단순하고 비효율적인 아키텍처를 가정하고 있기 때문에 실용성 측면에서 뒤처져 왔다. 최근 상용 FPGA 아키텍처의 배치 위치 및 배선 그래프 데이터베이스를 구축하고 인터페이스를 제공함으로써 상용 FPGA에 적용할 수 있는 배치 배선 툴의 개발을 가능하게 하려는 시도가 있었다. 본 논문은 신규 FPGA 아키텍처로 개발되고 있는 K-FPGA의 경쟁력을 벤치마킹 할 수 있는 툴킷 개발에 대해 기술한다. 이는 학계 CAD 툴의 실용성 한계를 한층 더 확장하고 있다. 기존 상용 툴과 매핑, 패킹, 배치, 배선 각 단계 별로 데이터를 교환할 수 있어 세부 툴별 비교 평가가 가능하며 이전 단계의 결과물을 기다리거나 결과의 질에 영향을 받지 않으면서 각 단계를 독립적으로 개발할 수 있는 체계를 구축하였다. 또한, 상용 FPGA의 아키텍처를 추출하여 단위 셀 라이브러리를 구축함으로써 FPGA 아키텍처의 신규 개발 시 참조 설계 역할을 할 뿐만 아니라 상시 벤치마킹 환경을 제공하도록 하였다. 특히, 아키텍처 정보를 툴 내에 하드 코딩하지 않고 하드웨어 설계자에게 익숙한 표준 HDL 형식으로 기술하여 읽어 들일 수 있도록 함으로써 아키텍처에 수시로 다양한 변경을 시도하면서 최적화해도 툴이 유연하게 수용할 수 있는 데이터 구동 방식의 툴 개발을 추구하였다. 실험을 통해 단위 셀 라이브러리 및 툴 기능을 검증하였으며 개발 중에 변경되고 있는 FPGA 아키텍처 상에서 임의의 설계를 매핑해 보고 정상 동작할 지 시뮬레이션으로 검증할 수 있음을 확인하였다. 배치 및 배선 툴이 개발 중이며 이들이 완성되면 실용적이고 다양한 신규 FPGA 아키텍처들을 개발하고 그 경쟁력을 평가할 수 있게 될 뿐만 아니라 신규 아키텍처를 위한 최적화 CAD 툴 개발 연구가 활발해지는 시너지 효과도 기대할 수 있다.

분산환경에서 거래관리를 위한 두단계 기부 잠금규약 (Two-Way Donation Locking for Transaction Management in Distributed Database Systems)

  • 이혜경;김응모
    • 한국정보처리학회논문지
    • /
    • 제6권12호
    • /
    • pp.3447-3455
    • /
    • 1999
  • 데이터베이스 기술의 적용분야가 점차 확대되어감에 따라 작업처리율을 증대시키기 위한 다양한 형태의 거래 처리 모형들을 필요로 하는 추세이다. 그러나 기존의 syntax위주의 직렬성 이론만 가지고서는 거래의 실행시간상 차별화 특성을 수용하면서 다수의 거래에 대한 단위시간당 처리 생산성을 높이기는 힘든 형편이다. 이러한 상황을 해결하기 위하여 이타적 잠금기법(altruistic locking: AL)은 거래가 객체를 사용한 다음 더이상 그 객체를 요구하지 않을 때 다른 거래들이 그 객체를 로크할 수 있도록 미리 객체에 대한 로크를 해제함으로써 거래들의 대기시간을 줄이기 위한 취지에서 제안된 것이다. 확장형 이타적 잠금(extended altruistic locking: XAL)기법은 AL을 자취의 확장 측면에서 개선한 잠금기법으로서 AL이 근본적으로 안고 있는 반드시 기부된 객체만을 처리해야 한다는 부담을 보다 완화한 기법이다. 본 논문에서는 우선 장기거래로 인한 단기거래의 장기적 대기현상 완화 측면에서의 AL과 XAL의 공통적 한계점을 분석하였다. 분산 환경하에서 장기거래로 인한 단기거래의 장기적 대기현상을 최소화하도록 줄임으로써 동시성 제어의 정도를 높이는 반면, 거래간의 평균 대기시간을 줄일 수 있는 새로운 확장형 이타적 잠금기법인 전후진방식의 신형 확장 기법인 2DL(two-way donation locking)을 제안하였다. 기법의 적용 광범위성을 위해 분산 계산 환경에서도 작동될 수 있게끔 설계하였다. 모의실험에 의한 성능평가 결과 장기거래의 길이가 5이상, 9이하인 상황에서 2DL은 2PL보다 작업 처리율과 거래의 평균 대기시간 면에서 우수한 결과를 나타내었다.

  • PDF

데이타 교환 노드의 동시 전송 릴레이 이용을 위한 평균 데이터 전송률 분석 (Average Data Rate Analysis for Data Exchanging Nodes via Relay by Concurrent Transmission)

  • 권태훈
    • 한국정보전자통신기술학회논문지
    • /
    • 제11권6호
    • /
    • pp.638-644
    • /
    • 2018
  • 최근 5G에 기술에서는 신호 감쇄와 신호 도달 거리 확장을 위해 사용될 수 있는 릴레이(Relay)를 통한 통신 기술이 주목 받고 있다. 릴레이는 소형 기지국으로 사용이 가능하며, 셀룰러 망으로 지원하기 어려운 환경하에서 통신 기기들이 협력하여 통신하는 자율 네트워크 기법에 사용이 가능하기 때문에, 저전력화와 무선 용량 증대에 활용이 가능할 것으로 기대되고 있다. 한정된 릴레이 자원을 활용하여 최적의 성능을 달성하기 위해서는 효과적인 릴레이 선택 기법이 필요하다. 특히, 두 개의 노드가 릴레이를 통해 메시지를 교환하는 경우, 릴레이 선택 방법에 따라서, 릴레이의 공간적 위치를 활용하여 간섭을 줄이고, 시스템 전송률을 최대화 할 수 있다. 이를 위해서는 릴레이 선택에 따른 평균 데이터 전송률에 대한 분석이 선행되어야 한다. 본 논문은 두 노드가 릴레이를 이용하여 동시 전송을 통해 메시지를 교환할 경우, 평균 데이터 전송률을 분석한다. 이를 위해 Nakagami-m 페이딩 채널 환경하에서 복호 후 전송(Decode and Forward) 방식으로 동작하는 이중홉(dual-hop) 릴레이의 동시 전송으로 인한 간섭을 고려하여 전체 데이터 전송률을 유도한다. 분석식은 m=1인 Rayleigh 페이딩 채널을 포함하여 다양한 Nakagami-m 페이딩 채널에 대한 전체 데이터 전송률을 보여준다. 유도된 분석은 몬테카를로 모의실험을 통해 정확성을 입증하였으며, 요구되는 데이터 전송률이 높을수록, 자원 효율적인 동시 전송 방식이 전체 시스템의 성능을 향상시킬 수 있음을 확인하였다.

온보드 영상장치(On-Board Imager) 및 콘빔CT(CBCT)를 이용한 환자 자세 검증의 유용성에 대한 연구 (A Study on the Availability of the On-Board Imager(OBI) and Cone-Beam CT(CBCT) in the Verification of Patient Set-up)

  • 박진호;박성호;박석원
    • Radiation Oncology Journal
    • /
    • 제26권2호
    • /
    • pp.118-125
    • /
    • 2008
  • 목적: 온보드 영상장치(On-Board Imager, OBI) 및 콘빔CT(Cone Beam Computerized Tomography, CBCT)를 이용하면 치료실에 위치한 환자의 자세 및 위치와 모의치료 시점의 환자의 자세 및 위치를 비교할 수 있다. 온라인 영상유도방사선치료(on-line Image Guided Radiation Therapy, on-line IGRT)에서는 이러한 정보를 이용하여 방사선 치료 직전에 환자의 위치를 확인하고 보정한다. 이때 모의치료 시 획득한 영상과 치료실에서 실시간 얻은 kV X선 영상 또는 콘빔CT 영상을 이용하여 2차원/2차원 맞춤(2D/2D Match) 또는 3차원/3차원 맞춤(3D/3D Match)의 이미지 퓨젼 프로그램을 사용하여 그 편차를 산출한다. 이 과정에서 주어지는 편차가 환자 자세에 대한 오차를 정확히 반영하고 있는지에 대해 알아보고자 한다. 대상 및 방법: 신체 내부 구조가 모사된 팬톰(The $RANDO^{(R)}$ Phantom, Alderson Research Laboratories Inc., Stamford, CT, USA)을 사용하여 실제 방사선 치료와 동일한 과정을 따라 모의치료 및 치료계획을 시행한 후 치료 테이블 위에 팬톰을 셋업한다. 그리고 모의치료 시 표시된 팬톰의 표면 지점에 치료실의 레이저에 일치시킨다. 이때, CT 모의치료실과 가속기가 있는 치료실의 벽면 고정 레이저에 대한 정렬의 일치만 확인하면, 치료테이블에 놓여진 팬톰의 위치는 모의치료 시 위치와 정확히 일치한다. 실제로는 팬톰 표면에 나타나는 레이저 선의 두께 정도되는 오차를 무시한다면, 두 시점에서 팬톰의 위치가 정확히 같다고 말할 수 있다. 정확히 위치가 재현되었다고 가정되는 팬톰에 대해 평행이동 또는 회전이동의 변화를 만들어 준 후, 위치가 옮겨지고 틀어진 팬톰에 대해 온보드 영상장치로부터 kV X선 영상을 그리고 콘빔CT로부터 CT 영상을 얻는다. kV X선 영상과 모의치료 시 획득한 CT영상을 이용하여 OBI 프로그램에서 제공되는 2차원/2차원 맞춤의 결과를 얻는다. 그리고 콘빔CT 영상과 모의치료 시 획득한 CT영상을 가지고 이미지 퓨젼 과정을 거쳐 3차원/3차원 맞춤의 결과를 얻는다. 이렇게 얻은 2차원/2차원 맞춤 및 3차원/3차원 맞춤의 결과와 처음에 팬톰에 인위적으로 만들어준 위치 변화를 비교한다. 결과: 온보드 영상장치로 획득한 kV X선 영상과 모의치료 시 영상을 비교하는 2차원/2차원 맞춤에서는 팬톰의 위치에 회전이동만 존재한다고 가정했을 때에는 평균 $0.06^{\circ}$의 오차 내에서 모의치료 시 팬톰의 위치에 대한 편차를 찾을 수 있었다. 또한 평행이동만 존재한다고 가정했을 때에는 편차 벡터의 크기가 평균 1.8 mm였다. 그리고 회전이동과 평행이동이 동시에 존재하는 일반적인 경우에는 편차 벡터의 크기는 평균 2.1 mm, 테이블 회전 방향으로 평균 $0.3^{\circ}$의 오차 내에서 모의치료 시 팬톰의 위치를 찾을 수 있었다. 콘빔CT로 획득한 영상을 이용하는 3차원/3차원 맞춤의 과정에서 팬톰의 위치가 회전이동만 존재할 때에는 평균 $0.03^{\circ}$의 오차 내에서, 평행이동만 있는 경우는 편차 벡터의 크기의 평균이 0.16 mm 내에서, 틀어지고 이동된 팬톰의 위치를 찾을 수 있었다. 그리고 회전이동과 평행이동이 동시에 존재하는 일반적인 경우에는 편차 벡터의 크기는 1.5 mm, 테이블 회전 방향으로 평균 $0^{\circ}$의 오차 내에서, 모의치료 시 팬톰의 위치와 맞출 수 있었다. 결론: 온보드 영상장치와 콘빔CT를 이용한 영상유도방사선치료(on-line IGRT)에서 모의치료 시 팬톰의 위치는 가속기의 치료테이블 위에서 매우 정확히 재현되어졌다. 온보드 영상장치는 kV X선 영상을 이용하여 간단하게 위치의 검증과 보정을 할 수 있었고, 콘빔CT를 이용하는 경우에는 2차원적인 정면 또는 측면 영상이 아니라, 3차원 영상을 비교함으로서 더욱 정확한 위치보정이 가능하였다.