• 제목/요약/키워드: real-time verification

검색결과 674건 처리시간 0.03초

MLP에 기반한 고성능 화자증명 시스템 (High Performance MLP-based Speaker Verification System)

  • Lee, Tae-Seung;Park, Ho-Jin
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
    • /
    • pp.571-573
    • /
    • 2004
  • Speaker verification systems based on multilayer perceptrons (MLPs) have good prospects in reliability and flexibility required as a successful authentication system. However, the poor learning speed of the error backpropagation (EBP) which is representative learning method of MLPs is the major defect to be complemented to achieve real-time user enrollments. In this paper, we implement an MLP-based speaker verification system and apply the existing two methods of the omitting patterns in instant learning (OIL) and the discriminative cohort speakers (DCS) to approach real-time enrollment. An evaluation of the system on a Korean speech database demonstrates the feasibility of the system as a speaker verification system of high performance.

  • PDF

Development and Performance Verification of Real-time Hybrid Navigation System for Autonomous Underwater Vehicles

  • Kim, Hyun Ki;Jung, Woo Chae;Kim, Jeong Won;Nam, Chang Woo
    • Journal of Positioning, Navigation, and Timing
    • /
    • 제5권2호
    • /
    • pp.97-107
    • /
    • 2016
  • Military Autonomous Underwater Vehicle (AUV) is utilized to search a mine under the sea. This paper presents design and performance verification of real-time hybrid navigation system for AUV. The navigation system uses Doppler Velocity Log (DVL) integration method to correct INS error in underwater. When the AUV is floated on the water, the accumulated error of navigation algorithm is corrected using position/velocity of GPS. The navigation algorithm is verified using 6 Degree Of Freedom (DOF) simulation, Program In the Loop Simulation (PILS). Finally, the experiments are performed in real sea environment to prove the reliability of real-time hybrid navigation algorithm.

정형기법을 이용한 PLC RTOS 검증 (PLC Real Time OS Verification & Validation in Formal Methods)

  • 최창호;송승환;윤동화;황성재
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
    • /
    • pp.2489-2491
    • /
    • 2005
  • Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

  • PDF

Feasibility Study of Source Position Verification in HDR Brachytherapy Using Scintillating Fiber

  • Moon, Sun Young;Jeong, EunHee;Lim, Young Kyung;Chung, Weon Kyu;Huh, Hyun Do;Kim, Dong Wook;Yoon, Myonggeun
    • 한국의학물리학회지:의학물리
    • /
    • 제27권4호
    • /
    • pp.213-219
    • /
    • 2016
  • The position verification of the radiation source utilized in brachytherapy forms a critical factor in determining the therapeutic efficiency. Currently, films are used to verify the source position; however, this method is encumbered by the lengthy time interval required from film scanning to analysis, which makes real-time position verification difficult. In general, the source position accuracy is usually tested in a monthly quality assurance check. In this context, this study investigates the feasibility of the real-time position verification of the radiation source in high dose rate (HDR) brachytherapy with the use of scintillating fibers. To this end, we construct a system consisting of scintillating fibers and a silicon photomultiplier (SiPM), optimize the dosimetric software setup and radiation system characteristics to obtain maximum measurement accuracy, and determine the relative ratio of the measured signals dependent upon the position of the scintillating fiber. According to the dosimetric results based on a treatment plan, in which the dwell time is set at 30 and 60 s at two dwell positions, the number of signals is 31.5 and 83, respectively. In other words, the signal rate roughly doubles in proportion to the dwell time. The source position can also be confirmed at the same time. With further improvements in the spatial resolution and scintillating fiber array, the source position can be verified in real-time in clinical settings with the use of a scintillating fiber-based system.

실시간 분산처리 시뮬레이터 및 제어기 구조 설계 (Designing of real-time distributed simulator and controller architecture)

  • 양광웅;박재현
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
    • /
    • pp.744-747
    • /
    • 1997
  • High performance digital computer technology enables the digital computer-based controllers to replace traditional analog controllers used for factory automations. This replacement, however, brings up the side effects caused by discrete quantization and non-real-time execution of control softwares. This paper describes the structure of real-time simulator and controller that can be used for design and verification of real-time digital controllers. The virtual machine concept adopted by real-time simulator make the proposed simulator be independent from the specific hardware platforms. The proposed system can also be used in the loosely coupled distributed environments connected through local area network using real-time message passing algorithm and virtual data table based on the shared memory mechanism.

  • PDF

가상머신을 이용한 실시간 분산처리 시뮬레이터 및 제어기 (Development of Real-Time Distributed Simulator and Controller Based on Virtual Machine)

  • 양광웅;박재현
    • 제어로봇시스템학회논문지
    • /
    • 제5권1호
    • /
    • pp.115-121
    • /
    • 1999
  • Advanced digital computer technology enables the computer-based controllers to replace the traditional analog controllers used in factory automations. This replacement, however, brings up the side effects caused by the quantization error and non-real-time execution of control software. This paper describes the structure of real-time simulator and controller that can be used for design and verification of real-time digital controllers. The virtual machine concept adopted by the proposed real-time simulator makes the proposed simulator be independent from the specific hardware platforms. The proposed system can also be used in the loosely coupled distributed environments connected through local area network using real-time message passing algorithm and virtual data table based on the shared memory mechanism.

  • PDF

CNN 알고리즘을 이용한 인공지지체의 3D프린터 출력 시 실시간 출력 불량 탐지 시스템에 관한 연구 (A Study on Real-Time Defect Detection System Using CNN Algorithm During Scaffold 3D Printing)

  • 이송연;허용정
    • 반도체디스플레이기술학회지
    • /
    • 제20권3호
    • /
    • pp.125-130
    • /
    • 2021
  • Scaffold is used to produce bio sensor. Scaffold is required high dimensional accuracy. 3D printer is used to manufacture scaffold. 3D printer can't detect defect during printing. Defect detection is very important in scaffold printing. Real-time defect detection is very necessary on industry. In this paper, we proposed the method for real-time scaffold defect detection. Real-time defect detection model is produced using CNN(Convolution Neural Network) algorithm. Performance of the proposed model has been verified through evaluation. Real-time defect detection system are manufactured on hardware. Experiments were conducted to detect scaffold defects in real-time. As result of verification, the defect detection system detected scaffold defect well in real-time.

시뮬레이터 탑재형 디지털 여자시스템 기능검증 시험에 관한 연구 (A Study of Function Verification of Digital Excitation System with Real Time Simulator)

  • 류호선;신만수;이주현;임익헌
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2011년도 제42회 하계학술대회
    • /
    • pp.1191-1192
    • /
    • 2011
  • We released new triple redundant digital excitation system with real time generator-turbine simulator. One of its great merits is the real time generator-turbine simulator when it was compared with the other products. If excitation system is tripped by unexpected faults, Maintenance man can do easily performance test of digital excitation control board, sequence relay and thyristor switching device of phase controlled rectifier without manufacturer's support. For the verification of this system, It was tested with an actual excitation system implemented on 5kVA M-G Set. After finishing the tests, the trial product will be installed and operated at a 500MW thermal power plant.

  • PDF

사운드바(Soundbar)를 위한 프로세서 내장 SoC 설계 검증을 위한 FPGA 시스템의 구현 (Implementation of FPGA-based SoC Design Verification System for a Soundbar with Embedded Processor)

  • 김성우;이선희;최성진
    • 방송공학회논문지
    • /
    • 제21권5호
    • /
    • pp.792-802
    • /
    • 2016
  • 최근 사용이 늘어나고 있는 멀티밴드 사운드바 설계 시, 설계검증은 시뮬레이션으로 확인이 되지 않거나 되기 힘든 검증요소들이 다수 존재한다. 따라서 본 논문에서는 프로세서 내장 사운드바 SoC를 위한 FPGA 검증시스템을 구현하였다. 이를 통해 설계단계의 시뮬레이션으로 검증할 수 없는 실시간 성능테스트와 청취테스트를 실시간 검증하였다. 즉, 구현된 FPGA 검증시스템을 이용해서 SNR, THD+N, 주파수응답과 같은 정량적 항목들의 측정 및 청취테스트를 시행하였고, 테스트 결과가 설계목표를 만족함을 확인하였다.

방사선치료 위치 실시간 검증시스템에 관한 연구 (A Study of Real Time Verification System or Radiation Therapy)

  • 김윤종;지영훈;이동한;이동훈;홍승홍
    • 대한의용생체공학회:학술대회논문집
    • /
    • 대한의용생체공학회 1997년도 추계학술대회
    • /
    • pp.164-167
    • /
    • 1997
  • The treatment setup of patients during irradiation is an important aspect in relation to the success of radiotherapy. Imaging with the treatment beam is a widely used method or verification of the radiation field position relative to the target area, prior to or during irradiation. In this paper, Real time digital radiography system was implemented or verification of local error between simulation plan and radiation therapy machine. Portal image can be acquired by CCD camera, image board and pentium PC after therapy Radiation was converted into light by a metal/fluorescent Screen. The resulting image quality is comparable to film, so the imaging system represents a promising alternative to film as a method of verifying patient positioning in radiotherapy. Edge detection and field size measurement were also implemented and detected automatically for verification of treatment position. Field edge was added to the original image or checking the anatomical treatment verification by therapy technicians. By means of therapy efficiency improvement and decrease of Radiation side effects with these techniques, Exact Radiation treatments are expected.

  • PDF