• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.2
• /
• pp.24-30
• /
• 2009

In this paper, the FPGA modem platform complying with 3GPP Release 7 eHSPA specifications and its regularized verification flow are proposed. The FFGA platform consists of modem board supporting physical layer requirements, MCU and DSP core embedded control board to drive the modem board, and peripheral boards for RF interfacing and various equipment interfaces. On the other hand, the proposed verification flow has been regularized into three categories according to the correlation degrees of hardware-software inter-operation, such as simple function test, scenario test call processing and system-level performance test. When it comes to real implementations, the emulation verification strategy for low power mobile SoC is also introduced.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.815-818
• /
• 1998

Hardware formal verification involves the use of analytical techniques to prove that the implementation of a system confroms to the specification. The specification could be a set of properties that the system must have or it could be an alternative representation of the system behavior. We can represent our behavioral specification to be written in VHDL coding. In this paper, we proposed a new hardware design verification method. For theis method, we assumed that a verification pattern already exists and try to make an algorithm to find a place where a design error occurred. This method uses an hierarchical approach by making control flow graph(CFG) hierarchically. From the simulation, this method was turned out to be very effective that all the assumed design errors could be detected.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.315-320
• /
• 1998

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri net (CPN) for modeling and Prototype Verification system (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, a translator has been developed in this work. The combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip)and found to be promising for further research and applications.

• Nuclear Engineering and Technology
• /
• v.31 no.2
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 한국전산유체공학회:학술대회논문집
• /
• 2004.10a
• /
• pp.151-154
• /
• 2004

The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality in February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. A flow simulated test facility has been developed for the verification of structural integrity of those experimental facilities prior to loading In the HANARO. This test facility is composed of three major parts; a half-core structure assembly, flow circulation system and support system. The half-core structure assembly is composed of plenum, grid plate, core channel with flow tubes, chimney and dummy pool. The flow channels are to be filled with flow orifices to simulate similar flow characteristics to the HANARO. This paper describes an analysis of the flow distribution of the cote channel and compares with the test results. As results, the analysis showed similar flow characteristics compared with those in the test results.

• Transactions of Materials Processing
• /
• v.10 no.2
• /
• pp.151-159
• /
• 2001

Flow defect of a piston-pin for automobile parts is investigated in this study. In combined cold extrusion of piston-pin, lapping defect, which is a kind of flow defect, appears by the dead metal zone. This appearance evidently happens in products with a thin thickness to be pierced for the dimensional accuracy and the decrease of material loss. The flow defect that occurs in piston-pin has bad effects on the strength and the fatigue life of piston-pin. Therefore, it is important to predict and prevent defects in the early stage of process design. The best method that can prevent flow defect is removing or reducing dead metal zone through material flow control. The finite element simulations are applied to analyze the flow defect. This study proposes processes for preventing flow defect by removing dead metal zone. Then the results are compared with the experimental ones for verification. These FE simulation results are in good agreement with the experimental ones.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.1013-1016
• /
• 1998

A method for generation of design verification tests from behavior-level VHDL program is presented. Behavioral VHDL programs contain multiple communicating processes, signal assignment statements. So for large, complex system, it is difficult problem to test or simulation. In this paper, we proposed a new hardware design verification method. For this method generates control flow graph(CFG.) and process modeling graph(PMG) in the given under the testing VHDL program. And this method proved very effective that all the assumed design errors could be detected.

• International Journal of Fluid Machinery and Systems
• /
• v.8 no.4
• /
• pp.311-317
• /
• 2015

It is difficulty to calculate velocity circulation in centrifugal pump impeller outlet accurately. Velocity circulations of a double-blade pump impeller outlet were calculated with Stodola formula, Weisner formula and Stechkin formula. Simultaneously, the internal flow of impeller for the double-blade pump were measured with PIV technology and average velocity circulations at the 0.8, 1.0 and 1.2 times of design flow were obtained. All the experimental values were compared with the above calculation values at the three conditions. The results show that calculation values of velocity circulations with Weisner formula is close to the experimental values. On the basis of the above, velocity circulations of impeller outlet were corrected. The results of experimental verification show that the corrected calculation errors, whose maximum error is 3.65%, are greatly reduced than the uncorrected calculation errors. The research results could provide good references for establishment of theoretical head and multi-condition hydraulic optimization of double-blade pumps.

• Nuclear Engineering and Technology
• /
• v.42 no.3
• /
• pp.279-296
• /
• 2010

For the analysis of transient two-phase flows in nuclear reactor components, a three-dimensional thermal hydraulics code, named CUPID, has been developed. The CUPID code adopts a two-fluid, three-field model for two-phase flows, and the governing equations were solved over unstructured grids, which are very useful for the analysis of flows in complicated geometries. To obtain numerical solutions, the semi-implicit numerical method for the REALP5 code was modified for an application to unstructured grids, and it has been further improved for enhanced accuracy and fast running. For the verification of the CUPID code, a set of conceptual problems and experiments were simulated. This paper presents the flow model, the numerical solution method, and the results of the preliminary assessment.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.8 no.2
• /
• pp.83-89
• /
• 2009

An air-fuel ratio control is essential in reducing hazardous exhaust emissions from a compressed natural gas(CNG) engine, and can be accomplished by accurate control of gas injection flow. In this study, theoretical research was conducted on injection characteristics of a solenoid gas injector, and injection experiments for calibration and analysis were performed. Various factors for gas injection flow such as injection pressure, gas temperature, and supply voltage are studied. A dynamic flow equation of the natural gas was proposed on the basis of flow dynamics theories and results of the injection experiment. The verification of the dynamic flow equation of the solenoid injector was carried out with a large CNG-engine applied to an urban bus. Air-fuel ratio control experiments were conducted in both steady and transient state. Results of injection experiments for the solenoid injector and the CNG-engine was proved the control method proposed herein to be effective.