• 제목/요약/키워드: the effectiveness verification

검색결과 594건 처리시간 0.028초

효율적 디버깅을 위한 디자인 체크포인트 기반 시뮬레이션 방법 (Simulation Method based on Design Checkpoint for Efficient Debugging)

  • 심규호;김남도;박인학;민병언;양세양
    • 정보처리학회논문지A
    • /
    • 제19A권3호
    • /
    • pp.113-120
    • /
    • 2012
  • 디지털시스템 설계에 대한 HDL 시뮬레이션을 통한 검증 과정에서는 설계에 대한 분석 및 디버깅을 위하여 설계에 존재하는 수많은 신호선들에 대하여 시뮬레이션 실행 중에 시그널 덤핑을 통한 가시도 확보가 필요하게 된다. 그러나 이와 같은 시그널 덤핑은 일반적으로 시뮬레이션의 속도를 크게 떨어뜨리는 문제점을 가지고 있거나, 시뮬레이션의 실행 횟수를 늘리는 문제점을 초래한다. 본 논문에서는 디자인 체크포인트를 활용하여서 시그널 덤핑을 효율적이며 신속하게 수행하는 시뮬레이션 방법을 제시하고, 이를 시스템반도체급의 대규모 회로인 산업체 설계들에 적용하여 제안된 방법이 효과적임을 확인하였다.

유정압테이블 수정가공 알고리즘의 실험적 검증 (Experimental Verification on Corrective Machining Algorithm of Hydrostatic Table)

  • 박천홍;이찬흥;이후상
    • 한국정밀공학회지
    • /
    • 제19권6호
    • /
    • pp.70-76
    • /
    • 2002
  • Effectiveness of corrective machining algorithm is verified experimentally in this paper by performing corrective machina work practically to single side and double sides hydrostatic tables. Lapping is applied as machining method. Machining information is calculated from measured motion errors by applying the algorithm, without information on rail profile. It is possible to acquire 0.13$\mu$m of linear motion error, 1.40arcsec of angular motion error in the case of single side table, and 0.07$\mu$m of linear motion error, 1.42arcsec of angular motion error in the case of double sides table. The experiment is performed by an unskilled person after he experienced a little of preliminary machining training. Experimental results show that corrective machining algorithm is very effective, and anyone can improve the accuracy of hydrostatic table by using the algorithm.

안정적 사람 검출 및 추적을 위한 검증 프로세스 (Verification Process for Stable Human Detection and Tracking)

  • 안정호;최종호
    • 한국정보전자통신기술학회논문지
    • /
    • 제4권3호
    • /
    • pp.202-208
    • /
    • 2011
  • 최근 들어 인간과 컴퓨터의 상호작용을 통해 컴퓨터 시스템을 제어하는 기술에 관한 연구가 진행되고 있다. 이러한 응용분야의 대부분은 얼굴검출을 통해 사용자의 위치를 파악하고 사용자의 제스처를 인식하는 방법을 포함하고 있으나, 얼굴검출 성능은 아직 미흡한 실정이다. 사용자의 위치가 안정적으로 검출되지 못 하는 경우에는 제스처 인식 등의 인터페이스 성능은 현격하게 저하된다. 따라서 본 논문에서는 피부색과 얼굴검출의 누적 분포를 이용하여 동영상에서 안정적으로 얼굴을 검출할 수 있는 알고리즘을 제안하고, 실험을 통해 알고리즘의 유용성을 증명하였다. 제안한 알고리즘은 대응행렬 분석을 적용하여 사람을 추적하는 분야에 응용이 가능하다.

동적 재구성가능 DES의 설계 및 검증 (Design and Verification of Dynamically Reconfigurable DES)

  • 안민희;양세양;윤재근
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제9권5호
    • /
    • pp.560-566
    • /
    • 2003
  • 최근까지 초고집적 FPGA 혹은 재구성가능 프로세서 등을 이용한 RC(재구성 컴퓨팅) 기술에 대한 많은 연구가 진행되어 왔으며, 최근 들어서는 이와 같은 RC 기술을 응용분야에 실제 적용한 성공적인 상용화 사례들이 보고되고 있다. 본 논문에서는 FPGA의 동적 재구성 기능과 RC 기법을 이용하여 DES 암호화 시스템을 적은 용량의 FPGA에 구현하기 위한 설계와 구현된 DES 암호화 시스템의 시스템수준 검증 기법을 제안한다. 이를 통하여 동적 재구성 기반의 접근법이 가지는 유용성을 평가할 수 있었는데, 그것은 FPGA의 동적 재구성을 통하여 임의의 알고리즘의 RC 기법에 의한 하드웨어 구현에 있어서 성능과 가격간의 타협이 매우 효과적으로 이루어 질 수 있다는 것이다.

메타분석을 활용한 태권도장 서비스품질이 만족에 미치는 영향력 효과검증: 고객, 수련생 만족을 중심으로 (Verification of the effectiveness of Taekwondo Dojang service quality on satisfaction using meta-analysis : (Focusing on the satisfaction of customers and trainees))

  • 최경환;여형일
    • 문화기술의 융합
    • /
    • 제7권3호
    • /
    • pp.231-239
    • /
    • 2021
  • 본 연구는 태권도장의 서비스품질이 만족 요인에 미치는 영향력 효과검증을 파악하여 서비스품질 효과성 재입증에 의의가 있으며, 현재 수련생 감소와 코로나바이러스-19(COVID-19) 사회적 악영향까지 더해져 경영적 어려움에 처해있는 전국의 태권도장 경영방안에 실무적 자료를 제공하고자 한다. 이에 본 연구에서는 2010년 1월부터 2020년 12월까지 국내에 발표된 연구를 선정하였고, 선정과정을 거쳐 총 11편을 최종분석대상으로 선정하였다. 이에 결론은 다음과 같다. 첫째, 태권도장 서비스품질 요인이 만족에 미치는 전체 영향력 효과크기는 중간 수준으로 확인되었다. 둘째, 서비스품질의 하위요인에 따른 만족(도장, 고객, 수련생)에 미치는 효과크기는 유형성이 가장 높았고, 확신, 응답, 공감, 신뢰성 순으로 나타났으며, 요인 간의 유의한 차이는 나타나지 않았다. 셋째, 만족 유형에 따른 서비스품질 효과크기는 수련생 만족이 가장 크게 나타났으며, 도장, 고객만족 순으로 나타났다.

SBC 기반 컴퓨터실 시범운영과 효과성 분석 (Analysis of The Effectiveness of Server Based Computing Model Schools)

  • 김한성;김진일;장선일;이원규
    • 컴퓨터교육학회논문지
    • /
    • 제13권3호
    • /
    • pp.55-63
    • /
    • 2010
  • 최근 공공기관 및 국내 외 기업을 중심으로 정보인프라의 유지보수 비용 및 보안 문제를 해결하고자 SBC(Server Based Computing) 환경을 도입하고 있다. SBC 환경은 최근 이의 유사 확장 개념인 클라우드 컴퓨팅 환경과 함께, 차세대 인터넷 비즈니스의 핵심 분야로 부각되고 있어 그 활용 가능성 및 효과성이 새롭게 떠오르고 있다. 본 연구는 이러한 SBC 환경의 학교 교육 현장도입 가능성과 그 효과성 여부를 알아보고자 하였다. 이를 위해 경북, 충남, 충북에 위치한 3개의 시범학교를 선정하고 SBC 환경을 구축 운영하였으며, 이의 효과성 검증으로 수업관찰, 인터뷰 및 교사와 학생의 만족도 분석을 실시하였다. 그 결과, SBC 도입 시 고려하여야 하는 사항들을 살펴볼 수 있었으며, 교사 및 학생의 만족도는 5점 척도를 기준으로 각각 3.45와 3.2로 나타났다. 따라서 본 연구는 향후 학교 컴퓨터실을 구축함에 있어서 SBC 도입 여부의 방향을 설정할 때 참고할 수 있는 유용한 자료가 될 수 있을 것으로 판단된다.

  • PDF

국내 유소년 축구클럽 브랜드 아이덴티티의 효과성 검증 (Verification of The Effectiveness of Brand Identity of Youth Soccer Club in Korea)

  • 신진호
    • 한국응용과학기술학회지
    • /
    • 제40권2호
    • /
    • pp.301-308
    • /
    • 2023
  • 본 연구는 국내 유소년 축구클럽 브랜드 아이덴티티, 가치, 충성도 간의 구조적인 모형과 효과성을 검증하여 축구클럽들이 효율적인 브랜드 전략을 수립하는 기초자료를 제공하고자 했다. 따라서 서울, 경기도, 충청도 지역 유소년 축구클럽 회원의 학부모들을 표본으로 선정했으며, 372부의 자료를 최종분석에 활용했다. 자료처리는 SPSS(ver. 21.0) 프로그램으로 빈도분석, 신뢰도를 검증하는 내적일관성을 실시했다. 또한 AMOS(ver. 20.0) 프로그램으로 확인적 요인분석, 상관분석, 구조방정식 모형분석, 효과성과 유의성을 검증하는 붓스트랩 BC법을 적용했다. 연구결과 첫 번째로 국내 유소년 축구클럽 브랜드 아이덴티티는 가치에 영향이 있는 것으로 나타났다. 둘째, 국내 유소년 축구클럽 가치는 충성도에 영향이 있는 것으로 나타났다. 셋째, 국내 유소년 축구클럽 브랜드 아이덴티티는 충성도에 영향이 있는 것으로 나타났다. 마지막으로 국내 유소년 축구클럽 브랜드 아이덴티티 및 충성도 간의 가치는 부분매개효과가 있는 것으로 나타났다.

실행코드 비교 감정에서 주변장치 분석의 유효성 (Study on the comparison result of Machine code Program)

  • 김도현;이규대
    • 한국소프트웨어감정평가학회 논문지
    • /
    • 제16권1호
    • /
    • pp.37-44
    • /
    • 2020
  • 소프트웨어의 유사성 비교는 소스코드를 대상으로 한다. 소스코드는 프로그램 언어로 표현된 개발자의 지적 저작권으로 보호된다. 문서형식으로 작성된 프로그램 소스코드는 개발자의 전문지식과 아이디어가 포함된 내용을 포함하고 있다. 소프트웨어 저작권의 불법도용을 판단하기 위한 감정 작업은 원본과 비교본의 소스 코드를 대상으로 파일의 구성과 내용을 검증하는 방법으로 수행된다. 그러나 실제적으로 피고소인 측의 불성실한 목적물 제공으로 소스코드의 일대일 비교감정이 어려운 상황이 증가하고 있다. 이 경우 실행코드에 대한 비교감정이 수행되어야 하며, 역어셈블 방법, 역공학기법, 기능실행의 시퀀스 분석 등의 간접적인 방법이 적용된다. 본 논문에서는 소스코드제공이 어려운 상황에서 시스템과 실행코드 파일을 대상하는 하는 감정 사례를 통해 간접적인 비교결과의 유효성에 대해 분석하고, 감정결과에 활용하는 방안을 제시한다.

Single-axis Hardware in the Loop Experiment Verification of ADCS for Low Earth Orbit Cube-Satellite

  • Choi, Minkyu;Jang, Jooyoung;Yu, Sunkyoung;Kim, O-Jong;Shim, Hanjoon;Kee, Changdon
    • Journal of Positioning, Navigation, and Timing
    • /
    • 제6권4호
    • /
    • pp.195-203
    • /
    • 2017
  • A 2U cube satellite called SNUGLITE has been developed by GNSS Research Laboratory in Seoul National University. Its main mission is to perform actual operation by mounting dual-frequency global positioning system (GPS) receivers. Its scientific mission aims to observe space environments and collect data. It is essential for a cube satellite to control an Earth-oriented attitude for reliable and successful data transmission and reception. To this end, an attitude estimation and control algorithm, Attitude Determination and Control System (ADCS), has been implemented in the on-board computer (OBC) processor in real time. In this paper, the Extended Kalman Filter (EKF) was employed as the attitude estimation algorithm. For the attitude control technique, the Linear Quadratic Gaussian (LQG) was utilized. The algorithm was verified through the processor in the loop simulation (PILS) procedure. To validate the ADCS algorithm in the ground, the experimental verification via a single axis Hardware-in-the-loop simulation (HILS) was used due to the simplicity and cost effectiveness, rather than using the 3-axis HILS verification (Schwartz et al. 2003) with complex air-bearing mechanism design and high cost.

Multi-resistance strategy for viral diseases and in vitro short hairpin RNA verification method in pigs

  • Oh, Jong-nam;Choi, Kwang-hwan;Lee, Chang-kyu
    • Asian-Australasian Journal of Animal Sciences
    • /
    • 제31권4호
    • /
    • pp.489-498
    • /
    • 2018
  • Objective: Foot and mouth disease (FMD) and porcine reproductive and respiratory syndrome (PRRS) are major diseases that interrupt porcine production. Because they are viral diseases, vaccinations are of only limited effectiveness in preventing outbreaks. To establish an alternative multi-resistant strategy against FMD virus (FMDV) and PRRS virus (PRRSV), the present study introduced two genetic modification techniques to porcine cells. Methods: First, cluster of differentiation 163 (CD163), the PRRSV viral receptor, was edited with the clustered regularly interspaced short palindromic repeats-CRISPR-associated protein 9 technique. The CD163 gene sequences of edited cells and control cells differed. Second, short hairpin RNA (shRNAs) were integrated into the cells. The shRNAs, targeting the 3D gene of FMDV and the open reading frame 7 (ORF7) gene of PRRSV, were transferred into fibroblasts. We also developed an in vitro shRNA verification method with a target gene expression vector. Results: shRNA activity was confirmed in vitro with vectors that expressed the 3D and ORF7 genes in the cells. Cells containing shRNAs showed lower transcript levels than cells with only the expression vectors. The shRNAs were integrated into CD163-edited cells to combine the two techniques, and the viral genes were suppressed in these cells. Conclusion: We established a multi-resistant strategy against viral diseases and an in vitro shRNA verification method.