• Title/Summary/Keyword: 검증 및 테스트

Search Result 942, Processing Time 0.028 seconds

Development of an Automatic External Biphasic Defibrillator System (Biphasic 자동형 제세동기 시스템 개발)

  • Kim, Jung-Guk;Jung, Seok-Hoon;Kwon, Chul-Ki;Ham, Kwang-Geun;Kim, Eung-Ju;Park, Hee-Nam;Kim, Young-Hoon;Heo, Woong
    • Journal of Biomedical Engineering Research
    • /
    • v.25 no.2
    • /
    • pp.119-127
    • /
    • 2004
  • In this paper, an automatic external biphasic defibrillator that removes ventricular fibrillation efficiently with a low discharging energy has been developed. The system is composed of software including a fibrillation detection algorithm and a system control algorithm, and hardware including a high voltage charging/discharging part and a signal processing part. The stability of the developed system has been confirmed through continuous charging/discharging test of 160 times and the detection capability of the real-time fibrillation detection algorithm has been estimated by applying a total of 30 various fibrillation signals. In order to verify the clinical efficiency and safety, the system has been applied to five pigs before and after fibrillation inductions. Also, we have investigated the system efficiency in removing fibrillation by applying two different discharging waveforms, which have the same energy but different voltage levels.

Two Layer Modelling with Applications to Exchange Flow and Internal Tide (이층류 모델링의 교환류와 내부조석파 연구에의 적용)

  • Kang, Sok-Kuh;Abbott, Michael-B.;Heung, Jae-Lie;Yum, Ki-Dai
    • Journal of Korean Society of Coastal and Ocean Engineers
    • /
    • v.9 no.1
    • /
    • pp.9-23
    • /
    • 1997
  • A numerical study of a two-layer, stratified flow is investigated, using the implicit finite difference method in one dimension. The results of computational method have been tested and, in case of lock exchange flow, compared with the results of experimental data. The results of model experiments with various interfacial, bottom friction coefficients along with various time weighting factor of numerical scheme and dissipative interface are shown and discussed. Two-layer model experiment has been also carried out to investigate the generation and propagation characteristics of internal tidal wave over the steep bottom topography under stratified condition. The internal wave seems to well radiate through the downstream boundary under the experiments adopting radiation conditions both at two layers and only at upper layer, confirming the applicability of radiational boundary condition in stratified flows. It is also shown that the internal wave through the downstream boundary propagates more actively with increasing thickness of lower layer in the downstream. This implies that the potential tidal energy in the interface will depend upon the thickness of lower layer for the constant thickness of upper layer.

  • PDF

Study on Peridynamic Interlayer Modeling for Multilayered Structures (가상 절점을 이용한 적층 구조물의 페리다이나믹 층간 결합 모델링 검토)

  • Ahn, Tae Sik;Ha, Youn Doh
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.30 no.5
    • /
    • pp.389-396
    • /
    • 2017
  • Peridynamics has been widely used in the dynamic fracture analysis of brittle materials. Recently, various crack patterns(compact region, floret, Hertz-type crack, etc.) of multilayered glass structures in experiments(Bless et al. 2010) were implemented with a bond-based peridynamic simulation(Bobaru et al.. 2012). The actual glass layers are bound with thin elastic interlayer material while the interlayer is missing from the peridynamic model used in the previous numerical study. In this study, the peridynamic interlayer modeling for the multilayered structures is proposed. It requires enormous computational time and memory to explicitly model very thin interlayer materials. Instead of explicit modeling, fictitious peridynamic particles are introduced for modeling interlayer materials. The computational efficiency and accuracy of the proposed peridynamic interlayer model are verified through numerical tests. Furthermore, preventing penetration scheme based on short-range interaction force is employed for the multilayered structure under compression and verified through parametric tests.

Automated Vehicle Research by Recognizing Maneuvering Modes using LSTM Model (LSTM 모델 기반 주행 모드 인식을 통한 자율 주행에 관한 연구)

  • Kim, Eunhui;Oh, Alice
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.16 no.4
    • /
    • pp.153-163
    • /
    • 2017
  • This research is based on the previous research that personally preferred safe distance, rotating angle and speed are differentiated. Thus, we use machine learning model for recognizing maneuvering modes trained per personal or per similar driving pattern groups, and we evaluate automatic driving according to maneuvering modes. By utilizing driving knowledge, we subdivided 8 kinds of longitudinal modes and 4 kinds of lateral modes, and by combining the longitudinal and lateral modes, we build 21 kinds of maneuvering modes. we train the labeled data set per time stamp through RNN, LSTM and Bi-LSTM models by the trips of drivers, which are supervised deep learning models, and evaluate the maneuvering modes of automatic driving for the test data set. The evaluation dataset is aggregated of living trips of 3,000 populations by VTTI in USA for 3 years and we use 1500 trips of 22 people and training, validation and test dataset ratio is 80%, 10% and 10%, respectively. For recognizing longitudinal 8 kinds of maneuvering modes, RNN achieves better accuracy compared to LSTM, Bi-LSTM. However, Bi-LSTM improves the accuracy in recognizing 21 kinds of longitudinal and lateral maneuvering modes in comparison with RNN and LSTM as 1.54% and 0.47%, respectively.

A Low Area and High Efficiency SMPS with a PWM Generator Based on a Pseudo Relaxation-Oscillating Technique (Pseudo Relaxation-Oscillating 기법의 PWM 발생기를 이용한 저면적, 고효율 SMPS)

  • Lim, Ji-Hoon;Wee, Jae-Kyung;Song, Inchae
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.50 no.11
    • /
    • pp.70-77
    • /
    • 2013
  • We suggest a low area and high efficiency switched-mode power supply (SMPS) with a pulse width modulation (PWM) generator based on a pseudo relaxation-oscillating technique. In the proposed circuit, the PWM duty ratio is determined by the voltage slope control of an internal capacitor according to amount of charging current in a PWM generator. Compared to conventional SMPSs, the proposed control method consists of a simple structure without the filter circuits needed for an analog-controlled SMPS or the digital compensator used by a digitally-controlled SMPS. The proposed circuit is able to operate at switching frequency of 1MHz~10MHz, as this frequency can be controlled from the selection of one of the internal capacitors in a PWM generator. The maximum current of the core circuit is 2.7 mA, and the total current of the entire circuit including output buffer driver is 15 mA at 10 MHz switching frequency. The proposed SMPS has a simulated maximum ripple voltage of 7mV. In this paper, to verify the operation of the proposed circuit, we performed simulation using Dongbu Hitek BCD $0.35{\mu}m$ technology and measured the proposed circuit.

Implementation of a Static Analyzer for Detecting the PHP File Inclusion Vulnerabilities (PHP 파일 삽입 취약성 검사를 위한 정적 분석기의 구현)

  • Ahn, Joon-Seon;Lim, Seong-Chae
    • The KIPS Transactions:PartA
    • /
    • v.18A no.5
    • /
    • pp.193-204
    • /
    • 2011
  • Since web applications are accessed by anonymous users via web, more security risks are imposed on those applications. In particular, because security vulnerabilities caused by insecure source codes cannot be properly handled by the system-level security system such as the intrusion detection system, it is necessary to eliminate such problems in advance. In this paper, to enhance the security of web applications, we develop a static analyzer for detecting the well-known security vulnerability of PHP file inclusion vulnerability. Using a semantic based static analysis, our vulnerability analyzer guarantees the soundness of the vulnerability detection and imposes no runtime overhead, differently from the other approaches such as the penetration test method and the application firewall method. For this end, our analyzer adopts abstract interpretation framework and uses an abstract analysis domain designed for the detection of the target vulnerability in PHP programs. Thus, our analyzer can efficiently analyze complicated data-flow relations in PHP programs caused by extensive usage of string data. The analysis results can be browsed using a JAVA GUI tool and the memory states and variable values at vulnerable program points can also be checked. To show the correctness and practicability of our analyzer, we analyzed the source codes of open PHP applications using the analyzer. Our experimental results show that our analyzer has practical performance in analysis capability and execution time.

Realization a Text Independent Speaker Identification System with Frame Level Likelihood Normalization (프레임레벨유사도정규화를 적용한 문맥독립화자식별시스템의 구현)

  • 김민정;석수영;김광수;정현열
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.3 no.1
    • /
    • pp.8-14
    • /
    • 2002
  • In this paper, we realized a real-time text-independent speaker recognition system using gaussian mixture model, and applied frame level likelihood normalization method which shows its effects in verification system. The system has three parts as front-end, training, recognition. In front-end part, cepstral mean normalization and silence removal method were applied to consider speaker's speaking variations. In training, gaussian mixture model was used for speaker's acoustic feature modeling, and maximum likelihood estimation was used for GMM parameter optimization. In recognition, likelihood score was calculated with speaker models and test data at frame level. As test sentences, we used text-independent sentences. ETRI 445 and KLE 452 database were used for training and test, and cepstrum coefficient and regressive coefficient were used as feature parameters. The experiment results show that the frame-level likelihood method's recognition result is higher than conventional method's, independently the number of registered speakers.

  • PDF

Development of Standard Work Type to Utilize Drone at Expressway Construction Sites (고속도로 건설현장에서 드론 활용을 위한 표준공종 개발)

  • Lee, Suk Bae;Jeong, Min;Auh, Su Chang;Kim, Jong Jeon
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.41 no.4
    • /
    • pp.461-468
    • /
    • 2021
  • The role of drones is increasing day by day in smart construction that manages construction sites with 3D data in every life cycles. This is because both the digital surface model (DSM) and the orthoimage obtained for the construction site through the drone are made of point cloud data. This study aims to develop standard work types for drone use in order to systematically utilize drones in expressway construction sites. For the study, two expressway construction sites in Korea were set as test beds, and construction types applicable to drones were derived and verified through a pilot project. As a result of the study, three construction work types were developed for road planning, road design and maintenance, respectively, and in road construction, twenty-one detailed construction types were developed for five construction work types. It is expected that drones can be used more systematically not only at expressway construction sites, but also at other road construction sites by utilizing the "standard work type at expressway construction site for drone use" developed in this study.

A Study on the Improvement of the Control Circuit Design of Controllable Pitch Propeller (가변피치프로펠러의 제어회로 설계 개선에 관한 연구)

  • Kim, Dong-Young;Kang, Gu-Heon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.20 no.7
    • /
    • pp.52-60
    • /
    • 2019
  • The control circuit of the CPP applied to FFX Batch-I and LST-II may be capable of generating a backward pitch even when the grounding phenomenon occurs in the other system. The purpose of this study was to improve the CPP control circuit to maintain the pitch even in the event of grounding. Since the CPP control circuit changes the propeller angle with the voltage difference input, it has a design structure that can be vulnerable if the input voltage fluctuates instantaneously. In order to solve the above problem, a terminating resistor is applied to the end of the control wire and a signal converter is applied between the control wires, as a way to improve the CPP control circuit design. In order to verify that there is no problem in improving the CPP control circuit design, the CPP pitch change control was tested in the actual sailing commissioning with LST-II. Since the command pitch value and the feedback pitch value are very similar to each other, it is confirmed that the CPP control circuit is suitable for the control signal transmission because there is no problem in transmitting the control signal.

The development and evaluation of curriculum for developing physician's competencies in public health (한국 공공보건의료 의사역량 개발을 위한 교육과정 개발 및 평가)

  • Kim, Sang Hyun;Park, Jeong Hun
    • Journal of agricultural medicine and community health
    • /
    • v.45 no.4
    • /
    • pp.194-207
    • /
    • 2020
  • Purpose: The purpose of this study is to develop and evaluate the curriculum, that was the continuing professional development program, for cultivating physician's competencies in public health. Methods: This study was conducted through in-depth interview and survey in the frame of ADDIE, from 2 May to 30 June in 2019. Participants were 7 physicians by in-depth interview and Respondents were 46 physicians worked in public health by survey. Results: The results were analyzed and described in the frame of ADDIE model. In the stage of Analysis, physician's core competencies in public health was presented to practical education, management of organization and labor force, communication with community, and director' role of public health center in the community as core competencies by in-depth interview. The skill - knowledge-attitude competencies were highest in order in the survey for placing priority (by Borich score) of 29 core competencies. In design stage, the educational objective of curriculum was established, that is to develop the competencies of knowledge, skills, and attitude needed for physician of public health in 21th century. In development and implementation stage, it is important to decide to lecturer, to get in advance educational materials to do the maintenance and management of curriculum. In the stage of evaluation, the educational satisfaction was high on the whole and educational effect was statistically significant. Conclusions: This study was an initial study of Korean doctors, and it aims to pursue competency-based education as a continuing professional development (CPD) beyond continuing medical education (CME) including knowledge, skills, and attitudes.