• Title/Summary/Keyword: Dynamic verification

Search Result 738, Processing Time 0.029 seconds

Verification and improvement of dynamic motion model in MARS for marine reactor thermal-hydraulic analysis under ocean condition

  • Beom, Hee-Kwan;Kim, Geon-Woo;Park, Goon-Cherl;Cho, Hyoung Kyu
    • Nuclear Engineering and Technology
    • /
    • v.51 no.5
    • /
    • pp.1231-1240
    • /
    • 2019
  • Unlike land-based nuclear power plants, a marine or floating reactor is affected by external forces due to ocean conditions. These external forces can cause additional accelerations and affect each system and equipment of the marine reactor. Therefore, in designing a marine reactor and evaluating its performance and stability, a thermal hydraulic safety analysis code is necessary to consider the thermal hydrodynamic effects of ship motion. MARS, which is a reactor system analysis code, includes a dynamic motion model that can simulate the thermal-hydraulic phenomena under three-dimensional motion by calculating the body force term included in the momentum equation. In this study, it was verified that the dynamic motion model can simulate fluid motion with reasonable accuracy using conceptual problems. In addition, two modifications were made to the dynamic motion model; first, a user-supplied table to simulate a realistic ship motion was implemented, and second, the flow regime map determination algorithm was improved by calculating the volume inclination information at every time step if the dynamic motion model was activated. With these modifications, MARS could simulate the thermal-hydraulic phenomena under ocean motion more realistically.

Effective Combination of Temporal Information and Linear Transformation of Feature Vector in Speaker Verification (화자확인에서 특징벡터의 순시 정보와 선형 변환의 효과적인 적용)

  • Seo, Chang-Woo;Zhao, Mei-Hua;Lim, Young-Hwan;Jeon, Sung-Chae
    • Phonetics and Speech Sciences
    • /
    • v.1 no.4
    • /
    • pp.127-132
    • /
    • 2009
  • The feature vectors which are used in conventional speaker recognition (SR) systems may have many correlations between their neighbors. To improve the performance of the SR, many researchers adopted linear transformation method like principal component analysis (PCA). In general, the linear transformation of the feature vectors is based on concatenated form of the static features and their dynamic features. However, the linear transformation which based on both the static features and their dynamic features is more complex than that based on the static features alone due to the high order of the features. To overcome these problems, we propose an efficient method that applies linear transformation and temporal information of the features to reduce complexity and improve the performance in speaker verification (SV). The proposed method first performs a linear transformation by PCA coefficients. The delta parameters for temporal information are then obtained from the transformed features. The proposed method only requires 1/4 in the size of the covariance matrix compared with adding the static and their dynamic features for PCA coefficients. Also, the delta parameters are extracted from the linearly transformed features after the reduction of dimension in the static features. Compared with the PCA and conventional methods in terms of equal error rate (EER) in SV, the proposed method shows better performance while requiring less storage space and complexity.

  • PDF

Development of KOMPSAT-2 Vehicle Dynamic Simulator for Attitude Control Subsystem Functional Verification

  • Suk, Byong-Suk;Lyou, Joon
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2003.10a
    • /
    • pp.1465-1469
    • /
    • 2003
  • In general satellite verification process, the AOCS (Attitude & Orbit Control Subsystem) should be verified through several kinds of verification test which can be divided into two major category like FBT (Fixed Bed Test) and polarity test. And each test performed in different levels such as ETB (Electrical Test Bed) and satellite level. The test method of FBT is to simulate satellite dynamics with sensors and actuators supported by necessary environmental models in ETB level. The VDS (Vehicle Dynamic Simulator) try to make the real situation as possible as the on-board processor will undergo after launch. The purpose of FBT test is to verify that attitude control logic function and hardware interface is designed as expected with closed loop simulation. The VDS is one of major equipments for performing FBT and consists of software and hardware parts. The VDS operates in VME environments with target board, several commercial boards and custom boards based on the VxWorks real time operating system. In order to make time synchronization between VDS and satellite on-board processor, high reliable semaphore was implemented to make synchronization with the interrupt signal from on-board processor. In this paper, the real-time operating environment used on VDS equipment is introduced, and the hardware and software configurations of VDS summarized in the systematic point of view. Also, we try to figure out the operational concept of VDS and AOCS verification test method with close-loop simulation.

  • PDF

Differentiation of Signature Traits $vis-\grave{a}-vis$ Mobile- and Table-Based Digitizers

  • Elliott, Stephen J.
    • ETRI Journal
    • /
    • v.26 no.6
    • /
    • pp.641-646
    • /
    • 2004
  • As the use of signatures for identification purposes is pervasive in society and has a long history in business, dynamic signature verification (DSV) could be an answer to authenticating a document signed electronically and establishing the identity of that document in a dispute. DSV has the advantage in that traits of the signature can be collected on a digitizer. The research question of this paper is to understand how the individual variables vary across devices. In applied applications, this is important because if the signature variables change across the digitizers this will impact performance and the ability to use those variable. Understanding which traits are consistent across devices will aid dynamic signature algorithm designers to create more robust algorithms.

  • PDF

Modeling of Beam Structures from Modal Parameters (모달 파라미터를 이용한 보 구조물의 모델링)

  • Hwang, Woo-Seok
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2006.11a
    • /
    • pp.519-522
    • /
    • 2006
  • Accurate modeling of a dynamic system from experimental data is the bases for the model updating or heath monitoring of the system. Modal analysis or modal test is a routine process to get the modal parameters of a dynamic system. The modal parameters include the natural frequencies, damping ratios and mode shapes. This paper presents a new method that can derive the equations of motion for a dynamic system from the modal parameters obtained by the modal analysis or modal test. The present method based on the relation between the eigenvalues and eigenvectors of the state space equation derives the mass, damping and stiffness matrices of the system. The modeling of a cantilevered beam from modal parameters is an example to prove the efficiency and accuracy of the present method. Using the lateral displacements only, not the rotations, gives limited information for the system. The numerical verification up to now gives reasonable results and the verification with the test data is scheduled.

  • PDF

Development of KOMPSAT-2 Vehicle Dynamic Simulator for Attitude Control Subsystem Functional Verification (인공위성 자세제어 부시스템 기능시험을 위한 KOMPSAT-2 동체 시뮬레이터 개발)

  • 석병석
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.10 no.10
    • /
    • pp.956-960
    • /
    • 2004
  • The Vehicle Dynamic Simulator(VDS) is a key equipment of the performance verification of attitude control subsystem and it simulates the real dynamic environment that spacecraft undergoes during mission operation. All the software models and hardware interfaces necessary for the closed-loop simulation of the spacecraft dynamics are implemented. Using VDS, KOMPAT-2 attitude control logic functions and performance was verified. In this paper, the hardware and software configurations of KOMPSAT-2 VDS was described briefly and the information flow and exchanges between software models and actual hardwares during close loop simulation was described in the systematic point of view.

Design of Cold-flow Test Equipment Considering Dynamic Similarity for DACS Verification (동적상사를 고려한 DACS 검증용 공압 시험장치 설계)

  • Bae, Sangho;Chang, Hongbeen;Park, Iksoo
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2017.05a
    • /
    • pp.374-377
    • /
    • 2017
  • A cold-flow test equipment was designed to carry out the performance verification of TDACS. For that purpose, the pressure dynamics in the solid rocket motor combustor and the cold-flow test was modeled, and the response time showing the dynamic characteristics of each model was obtained. In this paper, the system response time of the cold-flow test was designed to be equal to that of the motor, making the dynamic response in cold-flow and hot gas condition to be similar.

  • PDF

Experimental Verification on Dynamic Responses of a Cantilevered Beam under a Moving Mass with Accelerations (가속을 갖는 이동질량에 의한 외팔보의 동적응답에 관한 실험적 검증)

  • Kim, H.J.;Ryu, B.J.;Kim, H.J.;Yoon, C.S.
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2004.11a
    • /
    • pp.307-310
    • /
    • 2004
  • The paper presents the numerical and experimental results for the dynamic response vibration of a cantilevered beam subjected to a moving mass with variable speeds. Governing equations of motion under a moving mass were derived by Galerkin's mode summation method taking into account the effects of all forces due to moving mass, and the numerical results were calculated by Runge-Kutta integration method. The effects of the speed, acceleration and the magnitude of the moving mass on the response of the beam are fully investigated. In order to verify numerical results, some experiments were conducted, and the numerical results have a little difference with the experimental ones.

  • PDF

Verification of a Dynamic Compartment Model for the Tritium Behavior in the Plants After Short HTO Release Using a BIOMOVS II Scenario

  • Park, Heui-Joo;Kang, Hee-Suk;Lee, Hansoo
    • Nuclear Engineering and Technology
    • /
    • v.35 no.2
    • /
    • pp.171-177
    • /
    • 2003
  • A dynamic compartment model was required for the prediction of radiological consequences of the tritiated vapor released from the nuclear facility after an accident. A computer code, ECOREA-T, was developed by incorporating the unit models for the evaluation of tritium behavior in the environment. Dry deposition of tritiated vapor from the atmosphere to the soil was calculated using a deposition velocity. Transport of tritium from the atmosphere to the plant was calculated using a specific activity model, and the result was compared with the Belot's analytic solution. Root uptake of tritiated water from the soil and formation of OBT from T were considered in the model. The ECOREA-T code was verified by comparing the results from the other computer codes using a scenario developed through BIOMOVS II study. The results showed good agreements.

Result Verification Scheme Using Resource Distribution Information in Korea@Home PC Grid Systems (Korea@Home PC 그리드 시스템에서 자원 분포 정보를 이용한 결과검증 기법)

  • Gil, Joon-Min;Kim, Hong-Soo;Choi, Jang-Won
    • The Journal of Korean Association of Computer Education
    • /
    • v.11 no.1
    • /
    • pp.97-107
    • /
    • 2008
  • The result verification that determines correctness for the work results calculated in each PC is one of the most important issues in PC grid environments. In this literature, voting-based and trust-based schemes have been mainly used to guarantee the correctness of work results. However, these schemes suffer from both waste of resource utilization and high computation delay because they can not effectively cope with dynamic computational environments. To overcome these shortcomings, we introduce the distribution information of PC resources based on credibility and availability into result verification phase. Using this information, we propose a new result verification scheme, which can determine the correctness of work results by each PC resources' credibility and cope with the dynamic changing environments by each PC resources' availability. To demonstrate the efficiency of our result verification scheme, we evaluate the performance of our scheme from the viewpoints of turnaround time and resource utilization, utilizing resource distribution information in the Korea@Home that is a representative PC grid system in domestic. We also compare the performance of our scheme with that of other ones.

  • PDF