• Title/Summary/Keyword: Post-verification system

Search Result 80, Processing Time 0.026 seconds

VHDL modeling considering routing delay in antifuse-based FPGAs (안티퓨즈 FPGA의 배선지연시간을 고려한 VHDL 모델링)

  • 백영숙;조한진;박인학;김경수
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.33A no.5
    • /
    • pp.180-187
    • /
    • 1996
  • This paper describes a post-layout simulation method using VHDL and C for verifying the architecture of antifuse-based FPGAs and the dedicated CAD system. An antifuse-based FPGA consists of programming circuitry including decoding logic, logic modules, segmented tracks, antifuses and I/O pads. The VHDL model which includes all these elements is used for logic verification and programming verification of the implemented circuit by reconstructing the logic circuit from the bit-stream generated from layout tool. The implemented circuit comprises of logic modules and routing networks. Since the routing delay of the complex networks is comparable to the delay of the logic module in the FPGA, the accurate post-layout simulation is essential to the FPGA system. In this paper, the C program calculates the delay of the routing netowrks using SPICE, elmore or horowitz delay models and the results feedback to the VHDL simulation. Critical path anc be found from this post-layout simulation results.

  • PDF

A Study on Improvement Evaluation of Reliability of Ex-post (사후평가의 평가체계 개선방안에 관한 연구)

  • Jo, Chang-Hee;Kim, Si-Gon;Ahn, Chan-Gi
    • Proceedings of the KSR Conference
    • /
    • 2011.10a
    • /
    • pp.2182-2191
    • /
    • 2011
  • Postmortem evaluation through the dictionary and the lack of points for the wrong strategy to respond to the avoid the prediction is important. However, the prevailing system of ex post facto assessment of postmortem simply does not have statistical figures to be provided only for the conditions. Thus, in this study, rail business is mainly evaluation procedures and evaluation of the verification system of ex post facto evaluation as to the issue, do not improve.

  • PDF

Study on the Control System of Verification Test for Offshore Installation Simulation (해양플랜트 환경모사를 위한 실증시험 시스템 구축에 관한 연구)

  • Ju, H.D.;Kim, T.O.;Kang, G.H.;Ha, Y.C.
    • Smart Media Journal
    • /
    • v.1 no.1
    • /
    • pp.48-52
    • /
    • 2012
  • A reliable test of offshore plant hold a key post in offshore engineering technology. The offshore self-supporting of process module design and basic design technology needs engineering verification based on the reliable test. And also reliable verification test data is very important. Therefore, verification test system for offshore installation simulation is necessary. This paper explains design of data acquisition system and control system based on the parameter of measured and controlled variable which is for establishing offshore installation simulation system.

  • PDF

Longitudinal anti-cracking analysis for post-tensioned voided slab bridges

  • Zhou, Zhen;Meng, Shao-Ping;Liu, Zhao
    • Structural Engineering and Mechanics
    • /
    • v.43 no.4
    • /
    • pp.459-473
    • /
    • 2012
  • Post-tensioned concrete voided slab girders are widely used in highway bridge constructions. To obtain greater section hollow rate and reduce the self-weight, the plate thickness of slab girders are designed to be small with the adoption of flat anchorage system. Since large prestress is applied to the anchor end section, it was found that longitudinal shear cracks are easy to occur along the voided slab girder. The reason is the existence of great shearing effect at the junction area between web and bottom (top) plate in the anchor end section. This paper focuses on the longitudinal anti-cracking problem at the anchor end of post-tensioned concrete voided slab girders. Two possible models for longitudinal anticracking analysis are proposed. Differential element analysis method is adopted to derive the solving formula of the critical cracking state, and then the practical analysis method for longitudinal anti-cracking is established. The influence of some factors on the longitudinal anti-cracking ability is studied. Results show that the section dimensions (thickness of bottom, web and top plate) and prestress eccentricity on web plate are the main factors that influence the anti-cracking ability. Moreover, the proposed method is applied into three engineering examples to make longitudinal anti-cracking verification for the girders. According to the verification results, the design improvements for these girders are determined.

Development of off-line Robot Task Programming System for Polishing Process of Sculptured Surfaces (자유곡면의 연마공정을 위한 오프라인 로봇작업 프로그래밍 시스템의 개발)

  • Chung, Seong-Chong;Kuk, Keum-Hwan;Choi, Gi-Bong
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.8 no.4
    • /
    • pp.84-94
    • /
    • 1991
  • In order to achieve high accuracy of teaching and increase productivity using industrial robots in polishing process of dies, an off-line task programming system was developed on IBM-PC/386 under WINDOWS 3.0 operating system. The internal structure and the machematical basis of CAMPoli are described. Surface modeling technique of polishing dies with sculptured surfaces is introduced by poing data interpolation methodology through the use of CL-data transmitted from conventional CAM system. Tool selection, polishing speed, polishing pressure and kinds of tool motions can be determined and selected by user specified polishing variables. Task creation and verification of polishing path via computer graphics simulation of polishing tool can be done by the menu- driven function of CAMPoli system. Post-processing module is attached to generate robot language. Some simulation results are provided as verification means of the system.

  • PDF

A Development of General Purpose Program NUFLEX for the Analysis of Heat/Fluid Flow (범용 열/유체 유동해석 프로그램 NUFLEX의 개발)

  • Hur N.;Won C.-S.;Son G.;Ryou H.-S.;Shin D.
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2004.10a
    • /
    • pp.53-59
    • /
    • 2004
  • A general purpose program NUFLEX for the analysis of 3-D heat/fluid flow in complex geometry with pre/post processor have been developed, which consists of a flow solver based on FVM and a dedicated pre/post processor. The program employs a general non-orthogonal grid system and solve laminar and turbulent (lows with standard and RNG $\kappa-\epsilon$ turbulence models. NUFLEX is capable of analysing two-phase flow with topologically complex interface, turbulent diffusion combustion, solidification problems and magnetic flow. For the purpose of verification of the program and testing the applicability, several practical problems are solved and compared with the available data. Comparison of the NUFLEX results with that by the STAR-CD program has been also made for the same flow configuration and grid structure.

  • PDF

Development of Measurement System for Traction and Braking Performances in KTX (KTX 견인, 재동성능용 계측시스템 구축)

  • 김석원;한영재;김영국;박찬경;최강윤;김종영
    • Proceedings of the KSR Conference
    • /
    • 2003.10a
    • /
    • pp.216-223
    • /
    • 2003
  • In this paper, we introduce the software and hardware of the measuring system for performances of traction and braking in KTX(Korea Train eXpress). The measuring system focuses on the verification of the performance and acquisition of test data. The software controls the hardware of the measuring system, performs the analysis and calculation of measurement data and acts as interface between users and the hardware. For this purpose, three programs, such as a measuring program, a back-up program and a post-processing program, have developed.

  • PDF

Speaker Verification System with Hybrid Model Improved by Adapted Continuous Wavelet Transform

  • Kim, Hyoungsoo;Yang, Sung-il;Younghun Kwon;Kyungjoon Cha
    • The Journal of the Acoustical Society of Korea
    • /
    • v.18 no.3E
    • /
    • pp.30-36
    • /
    • 1999
  • In this paper, we develop a hybrid speaker recognition system [1] enhanced by pre-recognizer and post-recognizer. The pre-recognizer consists of general speech recognition systems and the post-recognizer is a pitch detection system using adapted continuous wavelet transform (ACWT) to improve the performance of the hybrid speaker recognition system. Two schemes to design ACWT is considered. One is the scheme to search basis library covering the whole band of speech fundamental frequency (speech pitch). The other is the scheme to determine which one is the best basis. Information cost functional is used for the criterion for the latter. ACWT is robust enough to classify the pitch of speech very well, even though the speech signal is badly damaged by environmental noises.

  • PDF

A Study on the Development of On Machine Measuring System using 3-Dimensional solid model (3차원 형상기반 기계상 측정 시스템 개발에 관한 연구)

  • Koo B. K.;Ryu J. K.;Kim S. Y.
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 2002.02a
    • /
    • pp.3-10
    • /
    • 2002
  • In this study on machine measuring system based on solid feature was developed. This system was applied with injection mold using 3 dimensional solid modeler for verification. Developed program include pre-processor, main processor, and post processor. In pre-processor there are functions which check intersection, simulate motion of probe and calculate measuring time. Main processor generates measuring path and output NC code in Unigraphics. In post-processor functions that include evaluation of undercut or overcut and display of measuring procedure are offered. In addition analysis module for quality control of measured data on manufactured product was developed with geometric and dimensional tolerance concept. As the result developed program could get stability of system, precision of product, rapidity and cost down of manufacturing process compared with before measuring process.

  • PDF

Quality Control Techniques for Bare Concrete Floor Construction to Ensure Serviceability for Occupants (거주자 사용성 확보를 위한 콘크리트 맨바닥 시공 품질 관리 기법)

  • Mauk, Ji-wook;Choi, Kyung-suk;Kim, Jeong-jin;Seok, Won-kyun
    • Proceedings of the Korean Institute of Building Construction Conference
    • /
    • 2023.11a
    • /
    • pp.19-20
    • /
    • 2023
  • The pre-qualification system related to floor impact noise is considered ineffective, and thus, the introduction of a post-verification system is being prepared. This is because the performance, which was notarized in the qualification test due to various reasons, was not uniformly confirmed on building construction fields. Industry practitioners perceive that this is due to the influence of factors such as the flatness, levelness and/or thickness of the floor. However, it is very difficult to confirm such facts in a short period of time on the fields, and since the practical application of technology to measure and evaluate quantitatively and the establishment of a system are insufficient, it cannot be said to be a problem that can be brought to the surface. In fact, even when considering the conventional measurement of the dynamic modulus of elasticity, measurements are performed under controlled variables, such as placing a 200mm×200mm buffer material on a flat test-floor. However, in the fields, it is common to lay down larger productions(for example, 900mm×600mm) on the bare floor where significant variables are not controlled, and to construct finishing layers corresponding to the pre-qualified floor system without separately confirming the realization of the dynamic modulus of elasticity in the field conditions. In this study, spatial information of the bare floor on the field was measured and evaluated through a laser scanner. Technical methods for assessing the smoothness, flatness, and thickness of construction surfaces were reviewed, providing key insights for grading the quality of construction based on these criteria. Through further detailed and thorough investigations, it is expected that results suitable for practical application and systematization will be derived.

  • PDF