• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.6
• /
• pp.756-764
• /
• 2002

The verification portion of SoC design consumes about 70% of total design effort. To reduce the verification effort and time, it is necessary and desirable to raise the level of SoC design verifications level from the signal or cycle level to the transaction. This paper describes a generation method of transaction monitor modules that monitor interface signals, logging the transaction executions, and report transaction errors. The input of the generation method is a transaction-oriented interface protocol description.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.44-47
• /
• 2011

본 논문에서는 상사진동에서의 응답을 통해 구성된 모드유연도 행렬에 의해 추정되는 변위/변형을 이용해 전당빌딩의 손상을 정량적으로 평가하는 방법을 제시하였다. 제안된 방법은 전단빌딩의 손살발생 후의 층간변위와 손상발생 전 후의 층간변위 차이인 Damage-induced inter-story deflection(DI-ID)의 관계를 이용해 손상을 정량적으로 평가하는 방법이다. 구조물이 양전단력만을 발생시킴으로써 층간변위를 분명히 파악할 수 있도록 하는 양전단력 탐색하중(Positive Shear Inspection Load)을 통해 DI-ID를 산정한다. 제안된 방법의 검증을 위해 5층의 전단빌딩 축소모형을 대상구조물로 선정했으며, 단일손상과 다중손상의 모사를 위해 1층과 3층의 휨강성을 각각 10% 씩 저감시켰다. Static test와 modal test를 통해 각각의 결과를 비교하는 방법으로 제안된 방법의 성능검증을 수행했으며, 축소모형실험 결과, 두 실험간 평균오차 1% 이내로 정확도를 검증했다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.218-222
• /
• 2010

본 연구에서는 ${\sigma}$-좌표계를 기반으로 하는 3차원의 이송확산 모형과 depth-integrated eddy simulation 모형을 결합한 효율적인 3차원 근역 (near-field) 해석모형을 제시하였다. 흐름 모형은 Boussinesq-type equations과 stochastic backscatter model을 기본으로 하고 있다. 이 흐름 모형은 수면의 변화와 바닥으로부터 발생하는 전단력과 파랑의 유동으로부터 발행하는 수심방향의 유속분포를 예측할 수 있다. 이와 같은 흐름 정보를 3차원 ${\sigma}$-좌표계의 이송확산모형에 제공하고 scalar의 이송과 확산에 대한 거동을 계산한다. 기본적인 이송과 이송-확산에 대한 검증 및 개수로에서 정량적 검증과 정성적 검증을 수행하였다. 전반적으로 타당한 결과가 도출되어 모형의 적합성이 있음을 확인하였다.

• Review of KIISC
• /
• v.26 no.5
• /
• pp.54-61
• /
• 2016

정보 통신 기술이 빠르게 발전하고 디지털 기기가 보급됨에 따라 다양한 유형의 사건을 해결하는데 있어서 디지털 증거가 핵심적인 요소로 활용되고 있다. 이에 잠재적인 디지털 증거를 수집, 추출, 복구, 분석하기 위한 디지털 포렌식(Digital Forensics) 기술의 연구 개발이 전 세계적으로 매우 활발하게 진행되어 왔다. 활발한 연구 개발의 결과, 보다 효율적인 디지털 포렌식 활동을 지원하기 위해서 여러 도구(S/W, H/W)들이 공개되고 있으며 현재 다양한 목적으로 널리 활용되고 있다. 이와 같이 디지털 포렌식 도구의 활용이 일반화되었고 특히 동일(또는 유사한) 기능을 제공하는 여러 도구가 존재함에 따라서 각각의 도구가 제공하는 기능의 범위와 구현의 정확성 등에 대한 검증의 필요성이 제기되었다. 이러한 요구에 맞춰 1999년 미국 국립표준기술연구소(NIST)에서 디지털 포렌식 도구 검증 체계를 구축하였고, 현재까지도 활발하게 진행되고 있다. 본 논문에서는 NIST에서 수행 중인 CFTT와 CFReDS 프로젝트를 소개하고, 진행 현황과 향후의 발전 방향을 설명한다.

• Annual Conference of KIPS
• /
• 2019.05a
• /
• pp.52-55
• /
• 2019

최근 여러 블록체인 플랫폼에서 잇따라 51% 공격에 대한 소식이 들려 옴에 따라 새로운 블록체인의 필요성이 부각되고 있다. 그중 Hashgraph 는 기존의 블록체인과 다르게 블록단위가 아닌 이벤트 즉, 블록에 기록되는 트랜잭션 그 자체로 체인이 구성되는 메커니즘을 가지고 있기 때문에 차세대 블록체인으로 대두되고 있다. 그러나 트랜잭션 단위로 Hash 또는 Hash 검증을 수행하기 때문에 연산 량이 기하급수적으로 늘어나며, 검증 또는 합의에 소요되는 시간이 상당하다. 본 논문에서는 이를 해소하기 위해 Verifiable Random Function 을 이용하여, Hash 에 대한 검증 절차와 연산 량을 감소하여 최종적으로 합의에 소요되는 시간을 단축하는 방법에 대해 제시한다.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.219-222
• /
• 2015

하드웨어 검증은 하드웨어 디자인 단계에서 필수 요소이다. 하드웨어 검증은 시뮬레이션 방식과 에뮬레이션 방식으로 나뉘며, 상대적으로 빠른 에뮬레이션 방식을 이용해 최종적으로 하드웨어를 검증한다. 하지만 에뮬레이션 방식 역시 실제 하드웨어의 동작과 비교하면 상당히 느린 편이다. 본 연구는 보다 빠른 에뮬레이션이 가능한 Xilinx의 하이브리드 에뮬레이션 디바이스 Zynq의 성능을 정량화하여 에뮬레이션 장비와 실제 하드웨어 장비의 성능을 비교 및 분석한다. Zynq의 비교 대상으로는 이와 유사한 하드웨어 구조 및 사양을 가진 상용 디바이스 Tegra3를 비교하였다. 실험 결과 Zynq는 Tegra3에 비해 벤치마크의 수행에 있어서 상대적으로 낮은 성능을 보였다. 하지만 Zynq는 에뮬레이션 환경인 것을 감안하면 병렬성이나 벤치마크 실행 속도 측면에서 기존의 에뮬레이션 환경보다 높은 성능을 보여 주었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.501-504
• /
• 2014

자동차의 하중을 지탱하고 자동차의 방향 전환 유지와 노면 충격을 흡수 완화하며, 엔진의 구동력과 브레이크 작동 시 제동력을 노면에 전달하는 등의 기능을 수행하는 타이어의 상태는 안전과 직결되어 있다고 볼 수 있다. 주행 중 타이어의 불량으로 인한 사고는 무시할 수 없는 부분을 차지한다. 타이어의 편마모는 주행 안전성을 위한 타이어의 문제 중 하나로 운전자의 운전습관과 휠얼라이먼트의 이상 등으로 타이어의 특정 부위가 마모되는 증상을 말하는데, 객관적으로 정확하게 검증할 수 있는 측정방법이 없는 것이 현실이다. 본 논문에서는 현실의 주관적인 검증기준의 단점을 보완하고 키넥트 센서를 이용하여 각 타이어의 마모 정도를 체크하여 편마모를 객관적으로 검증할 수 있는 시스템을 설계하고자 한다.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.572-575
• /
• 2010

본 논문은 SNR 이 매우 낮은 저조도 영상의 잡음 제거를 위한 새로운 기술을 제안한다. 제안하는 기술은 입력 영상에서 파라미터를 자동/적응적 방식으로 추정하는 알고리즘을 특징으로 한다. 제안하는 기술의 효율성을 검증하기 위해 실질적인 환경에서 취득한 저조도 동영상들을 가지고 실험을 수행하였다. 실험을 통해 제안하는 기술을 활용하여 적응적으로 추정된 파라미터가 필터링(filtering) 성능을 잘 유지시킴을 검증하였다. 또한 기존 연구들과 비교할 때 저조도 동영상의 명암대비 향상과 잡음 제거에 우수한 결과를 보임을 검증하였다.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.411-412
• /
• 2010

IT 기술은 최근 20 년간 많은 변화를 가져왔다. 직무를 수행하는 기술자는 변화하는 IT 기술에 맞추어 자신의 기술능력을 개발하고 학습했다. 하지만, 체계를 갖춘 직무구분, 직무에 필요한 IT 기술요소의 정리 및 효과적인 교육과 향상된 기술력에 대한 적절한 평가 및 검증 체계의 부족함을 인지하고 있다. 일례로 ISP 혹은 HRD 컨설팅 서비스를 제공하는 회사도 결과를 도출하는 자사의 프레임워크는 가지고 있으나, IT 기업에 적용해야 하는 적합한 직무체계 및 기술요소의 분류, 평가 및 검증 체계는 제공해 주지 못하고 있다. 본 연구는 IT 기업의 기술능력 향상에 필요한 체계 및 IT 산업계에서 인정하는 표준 직무, 기술, 평가 및 검증에 대한 방향과 이를 실제 기업에서 적용한 적용사례를 바탕으로 그 효율성에 대한 효과를 보여 주고자 한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2021.11a
• /
• pp.219-220
• /
• 2021

자율운항 선박 지원 6종 서비스는 인공지능 센서 기반 선박 접/이안 및 계류지원 서비스, 화물 양적하 및 선박 입출항 지원, 선박과 터미널 간 실시간 정보 교류를 통한 운항정보 동기화, PSC 점검지원, 선박의 주요 기기를 육상 시범운영센터에서 표출하는 상태모니터링 지원 서비스, 해양사고 발생 시 신속한 조치을 위한 사고 대응지원 서비스로 구성되어 있다. 이 연구에서는 개발되는 6종 서비스 성능검증이 원활히 수행될 수 있도록 육상과 실선박에 설치되어야 하는 장비, 선박과 육상서비스 센터의 데이터 전송을 위한 네트워크 인프라 그리고 종합 상황실 역할의 육상 시범운영센터를 구축하여 안전운항을 위해 6종서비스가 이루어 져야한다.