• Title/Summary/Keyword: 자동 검사

검색결과 993건 처리시간 0.029초

태양광 분산 발전 시스템의 계통연계용 변압기탭 선정과 인버터전압조정 협조시험 (C00rdinated Testing between transformer Tap Selection and Inverter Voilage Control in the PV Distributed Generation system)

  • 윤갑구;조성수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2015년도 제46회 하계학술대회
    • /
    • pp.1098-1099
    • /
    • 2015
  • ${\bullet}$ 시험대상: 영월태양광 4,990kW(998kW ${\times}$ 5호) ${\bullet}$ 13.07.31 연계기술검토의뢰 ${\bullet}$ 13.08.28 한전검토결과: 인근변전소 영월S/S(40MW) 초과로 10.8km 지점의 평창 D/L 평창간 347호 주진S/S에 다음의 보완대책과 연계 권고 ${\cdot}$ 문제점: 적정전압이탈 및 순시전압변동률 유지불가 ${\cdot}$ 연계기준만족을 위해 한전에서 제시한 보완대책 : 계통용량증설(설비보강), 연계용량 감소 및 전용선로 연계 ${\bullet}$ 14.01.09 분산형설치자의 용역사(에이스기술단)에서 송배전용전기설비 이용규정과 연계기준 만족을 위한 보완대책 제안 ${\cdot}$ 태양광발전시스템 인버터 자동전압(역률/무효전력) 조정기능 및 감시설비 구비 ${\cdot}$ 최적 공통연결점 선정: 분산형전원으로 부터 전기적으로 가장 가까운 영월D/L 영월S/S측에 개폐장치설치 하고 주진S/S 측으로 연계 ${\bullet}$ 14.01.29~06.19 한전(전력연구원)의 유효성 검토 ${\cdot}$ 보완대책 기술적 유효(실증시험 시행 후 시행공문 발송 예정) ${\bullet}$ 14.08.08 송배전용전기설비 이용규정 개정에 따른 협의 ${\cdot}$ 변압기 대당 20MW에서 25MW ${\cdot}$ 변전소 전체 60MW에서 75MW까지 허용 ${\cdot}$ 영월 S/S 측 문곡/영월 D/L 연계 공사 협의 ${\bullet}$ 14.10.04 사용전검사, 한전계통연계운전 시작 ${\bullet}$ 인버터 고정역률(99.9~100%) 운전 시험 ${\cdot}$ 14.11.21 22.9kV 계전기(SEL-751) 5대, 15분 간격 자료저장 ${\cdot}$ SEL-751/USB to RS232C/노트북 15분간격 측정(첨부) ${\bullet}$ 14.03.07 인버터 역률 95.0% 조정 15분간격 측정(첨부) ${\bullet}$ 변압기탭 선정과 인버터전압조정협조시험 계획 ${\cdot}$ 변압기탭을 현장에서 상하 1탭씩 변경 ${\cdot}$ 인버터역률을 인버터공급사에서 원격조정 ${\cdot}$ 22.9kV 보호계전기 SEL-751, 15분 간격 측정 ${\cdot}$ 인버터 370V 계전기 K-PAM DG3000/현장감시설비 연계 ${\cdot}$ 15분 간격 측정 저장 ${\cdot}$ 현장감시설비/인터넷 연결 원격측정(첨부예정)

  • PDF

UML 및 OCL을 이용한 서비스 온톨로지 설계 방안에 관한 연구 (Study Service Ontology Design Scheme Using UML and OCL)

  • 이윤수;정인정
    • 정보처리학회논문지D
    • /
    • 제12D권4호
    • /
    • pp.627-636
    • /
    • 2005
  • 지능형 웹 서비스는 시맨틱 웹과 에이전트 기술을 통하여 자동적인 서비스의 발견, 호출, 조합 및 상호운영, 실행 감시 및 복구를 수행하기 위한 목적으로 제안되었다. 이러한 지능형 웹 서비스의 목적을 실현하기 위해서는 컴퓨터가 지식을 추론하고 처리할 수 있게 하기 위한 온톨로지가 필수적으로 요구된다. 그러나 현재 지능형 웹 서비스를 위한 서비스 온톨로지의 생성은 서비스 개발자의 휴리스틱에 의존하여 많은 시간과 비용을 소모할 뿐만 아니라 서비스와 서비스 온톨로지간의 완벽한 매핑이 어렵다는 문제점을 가지고 있다. 또한 서비스 온톨로지를 기술하기 위한 마크업 언어를 서비스 개발자가 단기간 내에 학습하기에 많은 어려움이 있는 실정이다. 본 논문에서는 이러한 문제점들을 해결하기 위해 MDA 방법론을 사용하여 서비스 온톨로지를 효율적으로 설계 및 생성하기 위한 방안을 제안한다. 우리가 제안하는 방안은 MDA를 기반으로 UML을 사용하여 웹 서비스 모델을 설계하고 구축하는 과정에서 생성되는 모델을 재사용 한다. 즉, 플랫폼 독립적인 웹 서비스 모델을 서비스 온톨로지 기술 언어인 OWL-S에 종속적인 모델로 변환한 후 XMI를 통해 OWL-S 서비스 온톨로지로 변환한다. 본 논문에서 제안하는 방안은 이미 널리 사용되는 UML과 같은 소프트웨어 공학적 방법을 사용하기 때문에 서비스 개발자들이 쉽게 서비스 온톨로지를 구축할 수 있으며 하나의 모델로부터 서비스와 서비스 온톨로지 모델을 동시에 이끌어 낼 수 있는 장점을 가진다. 또한 모델로부터 자동적으로 서비스 온톨로지를 생성함으로써 시간과 비용을 절감할 수 있는 효과를 얻을 수 있다. 그리고 플랫폼 변화와 같은 외부 환경 변화에 유연하게 대처할 수 있다. 끝으로 본 논문에서는 제안된 방안의 타당성을 검증하기 위해 실제로 웹 서비스 모델을 설계하고 서비스 온톨로지를 생성하는 예를 보인다. 또한 생성된 서비스 온톨로지가 올바르게 생성되었는지를 유효성 검사를 통해 검증한다.

역방향 실리콘 하이드로겔 렌즈 착용에 따른 각막 굴절력 변화 (The Change of Corneal Refractive Power by Everted Silicone Hydrogel Contact Lens Wear)

  • 김수현;신동민;정주현
    • 한국안광학회지
    • /
    • 제18권3호
    • /
    • pp.271-277
    • /
    • 2013
  • 목적: 본 연구는 역방향(Everted) 실리콘 하이드로겔 렌즈 착용 후 각막 굴절력의 변화에 대하여 연구하였다. 방법: 각막 굴절력의 변화를 알아보기 위해 corneal topographer(CT-1000, Shin-nippon Co., Japan)를 이용하여 주경선 굴절력과 각막난시를 측정하였고, 굴절이상도 변화는 자동굴절검사기(Natural vision-K 5001, Shin-nippon Co., Japan)를 이용하여 타각적 굴절검사를 실시하였다. 렌즈 착용 전과 착용 1주일 후의 변화를 알아보았다. 결과: 각막 굴절력의 변화를 본 결과 경도 근시에서 보다 효과적으로 각막 굴절력을 교정할 수 있었고, 각막의 강주경선의 굴절력이 클수록, 각막난시가 많을수록 각막 눌림이 많았다. 대상자의 73%가 1 D이하의 타각적 굴절이상도 감소를 보였고, 17%가 굴절이상도가 증가하는 역효과가 나타났다. 타각적 굴절이상도의 감소는 각막 굴절력이 크고 각막난시가 많을 때 효과적이었다. 결론: 역방향 하이드로겔 렌즈에 의해 각막눌림이 야기될 수 있고, 이는 각막 굴절력과 각막난시, 타각적 굴절이상도에 따라 정도의 차이가 발생하였다. 렌즈의 파라미터를 변경하기 힘든 점을 고려하여 적정한 대상자의 선정이 중요할 것으로 사료된다.

오픈소스 기반 다목적실용위성 3A호 영상자료의 지표면 반사도 영상 제작 실험 (An Experiment for Surface Reflectance Image Generation of KOMPSAT 3A Image Data by Open Source Implementation)

  • 이기원;김광섭
    • 대한원격탐사학회지
    • /
    • 제35권6_4호
    • /
    • pp.1327-1339
    • /
    • 2019
  • 지구 관측 위성에 의한 광학 영상정보를 육상 분야에 활용하는 경우 지표면 반사도를 나타내는 영상은 중요한 기초 정보가 된다. 지표면 반사도는 광학 영상정보에 대하여 절대 대기 보정 처리 과정을 수행하여 얻어지는 성과물이다. Landsat이나 Sentinel-2의 경우 여러 가지 단계의 대기 보정 처리 방법이 개발되어 있고, 이미 많은 상업적 소프트웨어나 오픈소스 들이 이러한 처리 알고리즘을 지원한다. 그러나 현재 KOMPSAT 3/3A호 고해상도 분광 영상정보를 이용하여 지표면 반사도 영상 제작 기능을 제공하는 도구는 거의 없고 이러한 기능을 제공하는 오픈소스가 개발되거나 발표된 경우도 없다. 이 연구에서 우분투(Ubuntu) 운영체제에서 Orfeo ToolBox(OTB) 원격탐사 오픈소스에 포함된 광학 보정(Optical Calibration) 모듈과 알고리즘을 기반으로 하여 KOMPSAT 3A호 영상에 대한 절대 대기 보정을 처리할 수 있는 모듈을 새로 구현하였다. 이 모듈은 KOMPSAT 영상의 센서 모델 변수와 분광 자료들을 포함하기 때문에 대기 보정 작업에 필요한 입력 변수의 자동 입력과 일괄처리가 가능하다. 이 모듈을 이용하여 상층대기(Top of Atmosphere: TOA)반사도와 지표면(Top of Canopy: TOC) 반사도를 구할 수 있다. 한편 TOC 반사도 산출과정에서는 AERONET 자료와 같은 대기 에어로졸 정보가 이용될 수 있다. 또한 이 연구에서 구현된 오픈소스 성과를 이용하여 KOMPSAT 영상을 적용한 실험을 수행하였다. 앞으로 이 오픈소스 모듈의 적용성과 무결성 검사를 수행하게 되면, 그동안 축적된 KOMPSAT 영상정보를 대상으로 하는 분석 대기 자료(Analysis Ready Data) 데이터베이스 구축에 직접 적용될 수 있다.

영상 분석 프로그램을 이용한 관상동맥 혈관 조영상의 화질 측정 방법 고안 (Development of Image Quality Measurement Method of Coronary Angiography Using Image Analysis Program)

  • 서영현;송종남
    • 한국방사선학회논문지
    • /
    • 제14권2호
    • /
    • pp.111-120
    • /
    • 2020
  • 병원에서 사용하는 X선 장비는 X선 장비의 능력 연구와 더불어 출력되는 영상의 화질까지도 분석하는 연구가 활발히 진행되어야 한다. 영상의학과 장비의 X-Ray기계나 CT, MRI와 같은 장비의 후향적 이미지 분석은 활발히 진행되었으나 혈관조영실의 혈관조영장비를 이용하여 획득한 영상의 화질 측정은 팬텀을 이용하여 측정하는 방법이 대부분이고 실제 환자에게 촬영된 후의 영상에 관한 화질 측정은 미비한 실정이며 정확한 화질 측정 방법에 관한 연구가 현저히 부족한 상태이다. 따라서 본 연구를 통해 관상동맥 조영술 후 획득된 영상의 화질측정 방법을 고안한 연구를 진행해 시술자에게 질 높은 영상을 제공하고자 연구를 진행하게 되었다. 사용된 장비 및 프로그램은 혈관 조영 검사 장비(Axiom Artis Zee Ceiling)와 Image J프로그램을 사용하였다. 대상으로는 관상동맥 조영술 후 PACS프로그램에 자동 저장된 영상들을 대상으로 하였다. 화질 측정 방법으로는 Image J프로그램을 이용했을 때 관상동맥 조영술 중 좌 관상동맥의 주요 혈관들이 가장 잘 펼쳐져 보이는 각도의 영상인 AP Caudal 30°영상과 우 관상동맥의 혈관이 가장 잘 펼쳐져 보이는 LAO 30° 영상을 선택하여 선택된 영상의 배경영역(Background)과 관심영역(ROI)을 측정하기 위해 혈관과 간, 폐 등의 음영 중복이 가장 최소화 되는 구간을 찾아 측정하는 방법에 관한 기준을 제시하였다. 결론적으로 혈관 조영 영상의 화질측정 분석 방법은 정확히 제시되어 있는 기준이 없기 때문에 시술자에게 질 좋은 영상을 제공하기 위해선 그 장비의 기술자들뿐 아니라 실제로 사용하는 사용자들이 연구자가 되어 다양한 방법으로 화질측정에 관한 연구를 진행해야만 환자에게도 우수한 영상을 제공할 수 있을 것으로 사료된다.

전기성문전도(EGG) 시스템의 개발 및 평가 (Implementation and Evaluation of Electroglottograph System)

  • 김기련;김광년;왕수건;허승덕;이승훈;전계록;최병철;정동근
    • 대한의용생체공학회:의공학회지
    • /
    • 제25권5호
    • /
    • pp.343-349
    • /
    • 2004
  • 전기성문전도는 발성시에 성문의 진동이 전기적 임피던스를 이용하여 검출되는 신호이다. 본 연구는 이러한 전기성문전도를 기록하기 위한 장비를 구현하고 음성분석 및 후두질환 진단에 대한 적용생을 평가하고자 하였다. 전기성문전도의 하드웨어는 2 쌍의 링전극, 동조증폭기, 검파기, 저역통과필터, 자동이득조절부 등으로 구성되며, 2.7MHz의 반송파 신호를 이용하고 진폭 변조 방식의 검파를 통해 임피던스 신호를 추출하도록 하였다. 추출된 신호는 PC 사운드 카드의 라인 입력을 통해 샘플링되고 양자화되었다. 검출 신호를 분석하기 위한 파라미터는 패래 시간을(CQ), 개폐 속도율(SQ), 개폐속도지수(SI), 성대진동 주파수(F0), 성대진동 주파수변동지수(Jitter), 성대진동 진폭변동지수(Shimmer) 등을 추출하였다. 전기성문전도를 분석한 결과, F0가 증가할수록 CQ는 커지고, SQ와 SI는 작아지는 경향을 보였으며, 전기성문전도와 음성 선호의 기본주파수가 일치함을 알 수 있었다. CQ, SQ, SI는 정상인과 후두암 환자를 비교한 결과 유의한 차이를 보였다. 이러한 결과는 성대의 운동을 관찰할 수 있는 휴대용 전기성문전도 계측기의 구현이 가능하게 하였고, 성대 기능 이상 검사가 가능함을 시사하였다.

e-seal 보안 프로토콜을 위한 효율적인 Pseudo Random Function (Efficient Pseudo Random Functions for the e-seal Protection Protocol)

  • 민정기;강석훈;정상화;김동규
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
    • /
    • pp.274-276
    • /
    • 2006
  • e-seal은 RFID(Radio Frequency IDentification) 기술을 사용하여 원격에서 자동으로 봉인상태를 확인할 수 있는 컨테이너 봉인 장치를 말한다. RFID의 특징상 반도체 칩에 기록된 정보를 제 삼자가 쉽게 판독 및 변조할 수 있다는 취약점으로 인하여 활성화되지 못하고 있는 실정이다. ISO에서는 RFID의 취약점을 보안하기 위한 표준작업(ISO 18185)을 진행 중이다. 이 중, ISO 18185-4는 e-seal에 저장되는 자료나 리더와의 RF통신에서 데이터 보호를 위한 표준이다. 이와 관련된 연구로는 인증 프로토콜과 ISO 18185-4를 위한 보고서로 제출된 보안 프로토콜이 있다. 제안된 e-seal 보안 프로토콜을 적용하기 위해서는 e-seal과 리더 간의 데이터를 암/복호화할 키가 필요하지만, 키 서버를 통해 전달받은 마스터 키를 데이터 암/복호화 키로 바로 사용하는 것은 보안 상의 문제점을 야기할 수 있기 때문에 PRF(Pseudo Random Function)을 이용하여 마스터 키로부터 MTK(Mutual Transient Key)를 유도하고, MTK를 암/복호화 키로 사용해야 한다. 기존의 PRF는 일방향 해시 함수(MD5, SHA 등)를 기반으로 하는 HMAC[2. 3]을 일반적으로 사용하였다. 그러나 일방향 해시 함수는 e-seal과 같은 제한된 자원을 갖는 환경에 적합하지 않다. 따라서, 본 논문에서는 e-seal 보안 프로토콜을 위한 효율적인 PRF을 제안한다. 기존의 일방향 해시 함수 기반이 아닌 블록 암호화 알고리즘을 기반으로 하는 MAC을 이용하여 PRF을 보다 효율적으로 구현하였고, 블록 암호화 알고리즘은 AES를 선택 합성체 $GF((2^4)^2)$을 통해 하드웨어 모듈을 최적화 하였다. AES를 기반으로 하는 MAC은 HMAC에 비해 면적 및 처리율에서 뛰어난 결과를 보여주었다.<0.01).이상의 연구 결과, cook-chill생산 시 녹차 추출물의 첨가가 미생물적 품질유지에 효과가 있다고 사료되는 바 본 연구결과를 기초로 급식소에서 음식 생산 시 녹차 추출물 및 천연 항균성 물질 첨가에 따른 미생물적 품질 및 관능적 품질검사를 통한 레시피 개발에 관한 지속적인 연구가 수행되어야 하겠다.다.다리다보니 점심시간을 활용할 수 없게 되는 문제점에 대한 재검토가 필요하다. 따라서 차후 학교급식의 안전성 확보를 위한 급식환경 개선의 일환으로 식당공간 확보 시 신속한 시간 내에 급식이 가능하도록 넓은 공간과 쾌적한 환경의 식당 조성에 대해 관심을 기울여야 할 것으로 사료된다. 이상 여부를 반영하는 임상증상의 빈도가 높은 청소년기 남녀 중학생의 경우 아침과 저녁의 결식빈도 및 외식과 간식의 빈도가 높았고, 아침식사의 질과 체형만족도가 낮은 것으로 나타나 청소년의 건강과 식습관 및 체형만족도가 상호 관련성이 높은 것으로 나타났다. 따라서 본 연구 결과는 성장기 청소년의 건강 유지를 위하여 바람직한 식습관의 중요성을 재인식할 수 있었으며, 올바른 식습관 확립을 위한 영양교육의 중요성이 재확인되었다.경제적일 것으로 판단된다.er 90 % of good relative dynamic modulus of elasticity due to fineness of formation caused by the increase of the unit powder content and the improvement of flowability, without regard to the replacement of crushed stone fines. Therefore, it can be said that the usage of crushed stone fines can control the strength of super flowing concrete by replacement and re

  • PDF

인터넷 소매상의 경제적 경쟁요인에 관한 실증연구 (An Empirical Study on the Economical Competition Factors of Internet Retailers)

  • 이수정;남순해;고석하
    • 한국산업정보학회:학술대회논문집
    • /
    • 한국산업정보학회 2002년도 추계공동학술대회
    • /
    • pp.3-13
    • /
    • 2002
  • 고석하 등(2002)은 인터넷 소매상이 상품 품목의 명목 가격과 배송료를 이용해서 고객의 일회 총 구매 비용을 조절한다는 것을 밝혔다. 고석하 등(2002)은 같은 내용의 상품 조합을 인터넷 시장에서 구매하기 위한 비용과 전통 시장에서 구매하기 위한 비용을 비교하였다. 분석 결과, 그 교호작용과 함께, 상품 종류와 일회 구매액/가격의 크기의 두 요소가 인터넷 시장의 전통 시장에 대한 총 구매비용 할인율의 변동의 약 60%내지 80%를 설명할 수 있다는 것을 보여주었다. 한편, 구매액/가격은 인터넷 시장에서의 해당 산포도(전통 시장의 그것에 대비한)에는 거의 영향을 미치지 못하며, 상품의 종류도 산포도에는 할인율에서와 같이 큰 영향을 미치지 않았다. 인터넷 시장의 가격이나 구매비용 산포도는 상품 특성이나 구매액 크기 이외의 다른 요인에 의해서 주로 영향을 받는 것으로 나타났다. 따라서, 본 논문에서는 가격 요인 이외의 경제적 경쟁요인에 관한 실증연구로서, 2002년 6월 17일부터 20일까지, 소프트웨어, PC와 주변기기, 휴대폰, 가전제품, CD, 화장품, 그리고 책의 7가지 산업 전문 쇼핑몰과 종합 쇼핑몰을 대상으로, 인터넷 시장에서 수행되고 있는 경제적인 비 가격 경쟁요인에 관한 실증 조사를 실시하였다. 조사 결과, 인터넷 시장에서 수행되고 있는 경제적인 비 가격 경쟁요인은 매우 다양하며, 상품별로도 다른 특성을 보이고 있는 것으로 밝혀졌다. 인터넷 소매상의 경제적인 비 가격 경쟁요인은 크게 배송료 면제와 배송료 외 인센티브 제도로 구분된다 본 논문에서는 경제적인 비 가격 경쟁요인의 모든 경우의 수를 고려할 수 있도록, 코드표를 작성하여 정리하고 분석하였다.전체 분석정보의 공유가 필수적으로 발생하게 됨으로, 유전체 정보와 임상정보의 통합은 미래 의료환경에 필수기능이 될 것이다. 3) 각 생명공학 연구소에서 사용하는 첨단 분석 장비와 생명공학 정보시스템의 자동 연계가 필요하다. 현재 국내에는 전국적인 초고속정보망이 가동되어 웹을 기반으로 하는 생명정보의 공유는 기술적으로 문제가 될 수 없으나 임상정보의 유전체연구에 그리고 유전체연구정보의 임상활용은 다양한 문제를 내포하고 있다. 이에 영상을 포함한 환자정보의 유전체연구센터와 병원정보시스템과의 효율적인 연계통합 운영을 위해 국내에서는 초기 도입단계에 있는 국제적인 보건의료정보의 표준인 Health Level 7 (textural information 공유), DICOM (image 및 wave 공유), 관련 ISO표준, WHO의 ICD9/10 (질병분류), LOINC (검사 및 관련용어), SNOMED International (의학용어) 등을 활용하여야 한다.matrix. The prediction system gives about 50% of sensitivity and 98% of specificity, Based on the PID matrix, we develop a system providing several interaction information-finding services in the Internet. The system, named PreDIN (Prediction-oriented Database of Interaction Network) provides interacting domain finding services and interacting protein

  • PDF

나사 가공 관리를 위한 스마트팩토리 시스템 설계에 관한 연구 (A Study on Smart Factory System Design for Screw Machining Management)

  • 이은규;김동완;이상완;김재중
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2018년도 추계학술대회
    • /
    • pp.329-331
    • /
    • 2018
  • 본 논문은 나사 가공을 위한 원재료 공급부터 시작해서 선반 머신으로 가공되어 제품의 불량 여부에 대한 검수를 스마트팩토리 기술이 도입된 로봇이 자동으로 조립 및 분해 작업을 통해 검수를 해주는 모니터링 시스템에 대해 제안하였다. 생산 지시 수량과 생산 지시에 따른 완료 체크는 변위센서로 원재료 입고 여부에 따른 생산 현황을 체크하였고 가공된 Female, male 의 피치, 외형 검사를 진행하여 OK, NG 판별을 한다. 로봇시스템에서는 원자재 적재, 반출, 파레트 이송 및 전반적인 공정에 개입하며, 유기적으로 구동될 수 있도록 중계역할을 하였고 나사 가공품에 대한 위치 정보는 비접촉 무선 태그를 활용하여 위치 정보를 수집하였고 Energy Saving System으로 장비 생산 효율성 및 가동율에 대해 체크하였다. 환경센서는 공조환경 데이터(온도, 습도)를 수집하여 정확한 온도 및 습도 측정 하여, 제품 가공 품질 영향 체크 제품의 구동 위험 수준 환경(과열, 다습)에 대해 관리 감시하였고 CNC 및 로봇모듈에 대한 제어는 PLC로 하여 이기종 시스템 통합 운영하였다.

  • PDF

기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼 (Unified Design Methodology and Verification Platform for Giga-scale System on Chip)

  • 김정훈
    • 대한전자공학회논문지SD
    • /
    • 제47권2호
    • /
    • pp.106-114
    • /
    • 2010
  • 본 논문은 기가 스케일 System on Chip(SoC)를 위한 통합 설계 및 검증 플랫폼을 제안한다. VLSI 집적도의 발달로 그 복잡도가 증가하여 기존의 RTL 설계 방식으로는 그 생산성 차이(Production Gap)를 극복할 수 없게 되었다. 또한, 검증 차이(Verification Gap)의 증가로 검증 방법론에도 커다란 변혁이 필요하게 되었다. 본 플랫폼은 기존의 상위 수준 합성을 포함하며, 그 결과물을 이용하여 저 전력 설계의 전원 인식 검증 플랫폼과 검증 자동화를 개발하였다. 상위 수준 합성 시 사용되는 Control and Data Row Graph (CDFG)와 고 입력인 상위 수준 언어와 RTL를 기반으로 한 검증 플랫폼 자동화와 전원 인식 검증 방법론을 개발하였다. 검증 플랫폼에는 자동 검사 기능을 포함하고 있으며 Coverage Driven Verification을 채택하고 있다. 특히 전원 인식 검증을 위하여 개발된 조건 랜덤 벡터 생성 알고리듬을 사용하여 랜덤 벡터의 개수를 최소 5.75배 감소시키는 효과를 가져왔고, 전원과 전원 셀에 대한 모델링 기법을 이용하여 일반적인 로직 시뮬레이터 툴을 통해서도 전원 인식 검증을 가능하게 하였다. 이러한 통합된 설계 및 검증 플랫폼은 시스템 수준의 설계에서 검증, 합성에 이르는 전 설계 흐름을 완전 자동화 하여 상위 수준의 설계와 검증을 가능하게 하고 있다.