• 제목/요약/키워드: post-verification system

검색결과 80건 처리시간 0.027초

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

  • 백영숙;조한진;박인학;김경수
    • 전자공학회논문지A
    • /
    • 제33A권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)

  • 조창희;김시곤;안찬기
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
    • /
    • 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)

  • 주휘동;김태오;강규홍;하연철
    • 스마트미디어저널
    • /
    • 제1권1호
    • /
    • pp.48-52
    • /
    • 2012
  • 해양플랜트에 대한 설계 엔지니어링 기술을 확보하는데 있어 신뢰성 있는 평가 수행이 중요한 위치를 차지하고 있다. 국내 해양플랜트 공정설계 및 기본설계기술의 자립화를 위해서는 신뢰성 평가 기반의 설계검증 기술개발이 필요하고, 이를 위해 신뢰성 있는 실증실험 데이터 확보가 중요한 요소이다. 따라서, 신뢰성 있는 데이터를 확보하기 위해서는 해양플랜트 환경모사 실증시험 시스템이 구축되어야 한다. 본 연구에서는 해양플랜트 공정모듈 환경모사 시스템 구성을 위한 환경제어 및 측정변수 분석과 도출된 변수를 기반으로 데이터 수집장치 및 제어시스템의 설계 계획안을 연구한다.

  • PDF

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

  • Zhou, Zhen;Meng, Shao-Ping;Liu, Zhao
    • Structural Engineering and Mechanics
    • /
    • 제43권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)

  • 정성종;국금환;최기봉
    • 한국정밀공학회지
    • /
    • 제8권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

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

  • 허남건;원찬식;손기헌;유홍선;신동신
    • 한국전산유체공학회:학술대회논문집
    • /
    • 한국전산유체공학회 2004년도 추계 학술대회논문집
    • /
    • 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

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

  • 김석원;한영재;김영국;박찬경;최강윤;김종영
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2003년도 추계학술대회 논문집(I)
    • /
    • 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
    • /
    • 제18권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

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

  • 구본권;류제구;김세윤
    • 한국소성가공학회:학술대회논문집
    • /
    • 한국소성가공학회 2002년도 금형가공 심포지엄
    • /
    • 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)

  • 목지욱;최경석;김정진;석원균
    • 한국건축시공학회:학술대회논문집
    • /
    • 한국건축시공학회 2023년도 가을학술발표대회논문집
    • /
    • 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