• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.027 seconds

Equivalent Circuit Analysis of a Rectangular Waveguide Probe with H-type Small Aperture (H-형태 소형 개구를 갖는 도파관 탐침의 등가회로 해석)

  • Ko, Ji-Hwan;Cho, Young-Ki
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.25 no.12
    • /
    • pp.1300-1305
    • /
    • 2014
  • Equivalent circuits for the waveguide probe with H-shaped small aperture, as a key ingredient of near field microwave microscope, is described along with a working principle of the probe. Small rectangular or circular aperture in comparison with the wavelength behaves like the inductive element. So adding the ridged structure (corresponding to capacitive component) to the small aperture allows the transmission resonance to occur. For verification, we represents the equivalent circuit descriptions for the two types, ridged aperture and cavity types. The values of obtained by use of the equivalent circuit approaches are compared with those obtained by use of the available numerical software. The results are also experimentally verified.

Formal Specification and Verification for S/KEY Against Dictionary Attack (사전공격 방지를 위한 S/KEY의 정형 명세 및 검증)

  • Kim Il-Gon;Choi Jin-Young
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.9
    • /
    • pp.1218-1225
    • /
    • 2004
  • S/KEY system was proposed to guard against intruder's password replay attack. But S/KEY system has vulnerability that if an attacker derive passphrase from his dictionary file, he can acquire one-time password required for user authentication. In this paper, we propose a correct S/KEY system mixed with EKE to solve the problem. Also, we specify a new S/KEY system with Casper and CSP, verify its secrecy and authentication requirements using FDR model checking tool.

Analysis of Hydraulic-Pneumatic System for Offshore Plant Heave Compensator (해양플랜트용 수직 보상기의 유공압 시스템 해석)

  • Jung, Yong-Gil;Hwang, Sung-Gu;Kim, Gwi-Nam;Yoon, Yung-Hwan;Hyun, Jang-Hwan;Huh, Sun-Chul
    • Journal of Power System Engineering
    • /
    • v.19 no.1
    • /
    • pp.76-82
    • /
    • 2015
  • An analysis model is developed using a commercial software 'simulationX' for designing hydraulic-pneumatic system of heave compensator for offshore drilling operations. Reliability verification of the analysis model for the test equipment of 1/5 scale compensator was conducted by comparing test results and simulation results. An analysis of full scale heave compensator is developed on the basis of verified a model. Then, the results of simulation were analyzed to obtain following conclusion. The displacement of crown block about excitation input amplitude (${\pm}3,000mm$) of the steward platform using a 'simulationX' is attenuated under ${\pm}35mm$, and the compensation rate is 98.7%. In this study, goal of a compensation rate is more than 95%. The previously results are satisfied with the objectives of compensation rate.

Design of Clutch Mechanism for Increased Actuator Energy Efficiency of Electrically Actuated Lower Extremity Exoskeleton (전기식 하지 외골격 로봇의 구동기 에너지 효율 향상을 위한 클러치 메커니즘 설계)

  • Kim, Ho Jun;Kim, Wan Soo;Lim, Dong Hwan;Han, Chang Soo
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.33 no.3
    • /
    • pp.173-181
    • /
    • 2016
  • This paper reports on the development of a roller-cam clutch mechanism. This mechanism can transfer bidirectional torque with high backdrivability, as well as increase actuation energy efficiency, in electrical exoskeleton robots. The developed mechanism was installed at the robot knee joint and unclutched during the swing phase which uses less metabolic energy, thereby functioning as a passive joint. The roller-cam clutch aimed to increase actuation energy efficiency while also producing high backdrivability by generating zero impedance for users during the swing phase. To develop the mechanism, mathematical modeling of the roller-cam clutch was conducted, with the design having more than three safety factors following optimization. Titanium (Ti-6AL-4V) material was used. Finally, modeling verification was done using ANSYS software.

A study of charge and discharge strategy analysis on HEV battery under urban dynamometer driving schedule (도시운전모드 하에서 HEV 배터리 충.방전 전략 분석에 대한 연구)

  • Kim, Seong-Gon;Jeong, Ki-Yun;Yang, In-Beom;Kim, Deok-Jin;Lee, Chun-Beom
    • Proceedings of the KIEE Conference
    • /
    • 2007.10c
    • /
    • pp.247-249
    • /
    • 2007
  • Urban dynamometer driving schedule(FTP-75 mode) plays very significant role on automotive emission test, due to reference point. The overall system energy efficiency of a HEV(Hybrid Electric Vehicle) is highly dependent on the energy management strategy employed. An energy source is the heart of a HEV. In order to applicable to a vehicle component, it must be need to real world test result. But, the present state of things have numerous problems. In this paper, be studied performed based on HEV simulation software in virtual world and chassis dynamometer test in real world and the result make a comparative. Toyota Prius vehicle was adapted as a modeling and real testing to evaluate the hybrid components and energy balancing management. The point at issue is voltage and current analysis for HEV battery SOC(State of Charge), and verification for energy.

  • PDF

Structural design of steel fibre reinforced concrete in-filled steel circular columns

  • Eltobgy, Hanan H.
    • Steel and Composite Structures
    • /
    • v.14 no.3
    • /
    • pp.267-282
    • /
    • 2013
  • This paper presents the behavior and design of axially loaded normal and steel fiber reinforced concrete in-filled steel tube (SFRCFT) columns, to examine the contribution of steel fibers on the compressive strength of the composite columns. Non-linear finite element analysis model (FEA) using ANSYS software has been developed and used in the analysis. The confinement effect provided by the steel tube is considered in the analysis. Comparisons of the analytical model results, along with other available experimental outputs from literature have been done to verify the structural model. The compressive strength and stiffness of SFRC composite columns were discussed, and the interpretation of the FEA model results has indicated that, the use of SFRC as infill material has a considerable effect on the strength and stiffness of the composite column. The analytical model results were compared with the existing design methods of composite columns - (EC4, AISC/LRFD and the Egyptian code of Practice for Steel Construction, ECPSC/LRFD). The comparison indicated that, the results of the FEA model were evaluated to an acceptable limit of accuracy. The code design equations were modified to introduce the steel fiber effect and compared with the results of the FEA model for verification.

Design and demonstrators testing of adaptive airfoils and hingeless wings actuated by shape memory alloy wires

  • Mirone, Giuseppe
    • Smart Structures and Systems
    • /
    • v.3 no.1
    • /
    • pp.89-114
    • /
    • 2007
  • Two aspects of the design of a small-scale smart wing are addressed in this work, related to the ability of the wing to modify its cross section assuming the shape of two different airfoils and to the possibility of deflecting the profiles near the trailing edge in order to obtain hingeless control surfaces. The actuation is provided by one-way shape memory alloy wires eventually coupled to springs, Shape Memory Alloys (SMAs) being among the most promising materials for this kind of applications. The points to be actuated along the profiles and the displacements to be imposed are selecetd so that they satisfactorily approximate the change from an airfoil to the other and to result in an adequate deflection of the control surface; the actuators and their performances are designed so that an adequate wing stiffness is guaranteed, in order to prevent excessive deformations and undesired airfoil shape variations due to aerodynamic loads. The effect of the pressure distributions, calculated by way of the XFOIL software, and of the actuators loads, is estimated by FE analyses of the loaded wing. Two prototypes are then realised incorporating the variable airfoil and the hingeless aileron features respectively, and the verification of their shapes in both the actuated and non-actuated states, supported by image analysis techniques, confirms that interesting results are achievable with the proposed lay out and design considerations.

A Systems Engineering Approach to Implementing Hardware Cybersecurity Controls for Non-Safety Data Network

  • Ibrahim, Ahmad Salah;Jung, Jaecheon
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.12 no.2
    • /
    • pp.101-114
    • /
    • 2016
  • A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

A Rapid PCR-based Assay for Detecting Hepatitis B Viral DNA Using GenSpector TMC-1000

  • Huh, Bum;Ha, Young-Ju;Oh, Jae-Tak;Park, Eun-Ha;Park, Jin-Su;Park, Hae-Joon
    • Journal of Applied Biological Chemistry
    • /
    • v.49 no.4
    • /
    • pp.143-147
    • /
    • 2006
  • A rapid PCR-based assay for detecting hepatitis B viral DNA(HBV DNA) in serum and plasma was developed using a new PCR instrument named GenSpector(TMC-1000, Samsung electronics). PCR was carried out using a chip-based platform, which enabled 50 PCR cycles with internal controls, and melting-curve analysis in 30 minutes. Verification of the amplified HBV DNA product and the internal control was based on specific melting temperatures(Tm) analysis, executed by the GenSpector software. Primers were designed within the region conserved through HBV genotypes A to F. The lower limit of detection was 840 copies/ml serum, conducted with serial dilutions of a HBV DNA positive control(ACCURUN 325 series 700, Boston Biomedica Inc.). The assay was also compared to another assay for HBV DNA(Versant HBV DNA 3.0 assay, Bayer HealthCare) for 200 samples(each 100 clinical negative and positive samples). The sensitivity and specificity were 100% matched. This rapid PCR-based assay is specific, reproducible, and enables qualitative detection of HBV DNA.

Availability Verification of Integration OTP Framework using Biometrics Information (바이오매트릭스 정보를 이용한 모바일 기반의 통합 OTP 프레임워크의 유효성 검증)

  • Cha, Byung-Rae;Kim, Nam-Ho;Kim, Jong-Won
    • Journal of Advanced Navigation Technology
    • /
    • v.15 no.1
    • /
    • pp.39-53
    • /
    • 2011
  • As the applications within Mobile devices becoming more extensive, the mobile communication security issues of these applications and researches are appearing to be the most important concern. In this paper, we propose new integration OTP framework technique which uses the fingerprint and voice features of biometrics in order to generate Mobile One Time Passwords (OTPs) Token. The fingerprint and voice are considered to be one of the powerful personal authentication factors of biometrics and it can be used for generating variable passwords based on mobile environments for one time use. However, we performed a simulation of homomorphic variability of fingerprint and voice feature points using dendrogram and distribution of fingerprint and voice feature points for proposed password generation method, and verified validation of availability.