• International Journal of Highway Engineering
• /
• v.19 no.6
• /
• pp.75-81
• /
• 2017

PURPOSES : So far, aged cement concrete pavement on express highways has been rehabilitated mainly with asphalt concrete inlay. However, potholes were the major problem, and they shortened the life of the inlay mainly owing to the poor drainage of water once it infiltrated the interface of the concrete and asphalt. The purpose of this study is to compare the performance and economic efficiency of asphalt overlay and inlay. METHODS : Overlay and inlay were compared through accelerated pavement testing, and a life-cycle cost analysis was conducted in this study using the CA4PRS program. RESULTS and CONCLUSIONS : It was found from accelerated pavement testing that the overlay exhibited reflective crack resistance that was more than twice as effective as that of inlay. The total cost (construction cost + user cost) within the analysis period (20 years) of the overlay was 37% lower than that of the inlay.

• KCI Concrete Journal
• /
• v.14 no.1
• /
• pp.15-22
• /
• 2002

Stresses that develop due to differential shrinkage between polymer modified cement mortar (PM) and Portland cement concrete (PCC) in a repaired concrete beam at early ages were investigated. Interface delamination or debonding of the newly cast repair material from the base is often observed in the field when the drying shrinkage of the repair material is relatively large. This study presents results of both experimental and analytical works. In the experimental part of the study, development of the material properties such as compressive strength, elastic modulus, interface bond strength, creep constant, and drying shrinkage was investigated by testing cylinders and beams for a three-week period in a constant-temperature chamber. Development of shrinkage-induced strains in a PM-PCC composite beam was determined. In the analytical part of the study, two analytical solutions were used to compare the experimental results with the analytically predicted values. One analysis method was of an exact type but could not consider the effect of creep. The other analysis method was rather approximate in nature but the creep effect was included. Comparison between the analytical and the experimental results showed that both analytical procedures resulted in stresses that were in fair agreement with the experimentally determined values. It may be important to consider the creep effect to estimate shrinkage-induced stresses at early ages.

• Structural Engineering and Mechanics
• /
• v.72 no.5
• /
• pp.557-568
• /
• 2019

Accurate modeling of contact interface in bolted joints is crucial in predicting the dynamic behavior for bolted assemblies under external load. This paper presents a contact pressure distribution based non-uniform virtual material method to describe the joint interface of assembly structure, which is connected by sparsely distributed multi-bolts. Firstly, the contact pressure distribution of bolted joints is obtained by the nonlinear static analysis in the finite element software ANSYS. The contact surface around bolt hole is divided into several sub-layers, and contact pressure in each sub-layer is thought to be evenly. Then, considering multi-asperity contact at the micro perspective, the relationship between contact pressure and interfacial virtual material parameters for each sub-layer is established by using the fractal contact theory. Finally, an experimental platform for the dynamic characteristics testing of a beam lap structure with double-bolted joint is constructed to validate the efficiency of proposed method. It is found that the theoretical results are in good agreement with experimental results by impact response in both time- and frequency-domain, and the relative errors of the first four natural frequencies are less than 1%. Furthermore, the presented model is used to examine the effect of rough contact surface on dynamic characteristics of bolted joint.

• Computers and Concrete
• /
• v.14 no.1
• /
• pp.91-107
• /
• 2014

Using the principle of damage mechanics, zero-thickness pore pressure cohesive elements (PPCE) are used to simulate the casing-cement interface (CCI) and cement-rock interface (CRI). The traction-separation law describes the emergence and propagation of the PPCE. Mohr-coulomb criteria determines the elastic and plastic condition of cement sheath and rock. The finite element model (FEM) of delamination fractures emergence and propagation along the casing-cement-rock (CCR) interfaces during hydraulic fracturing is established, and the emergence and propagation of fractures along the wellbore axial and circumferential direction are simulated. Regadless of the perforation angle (the angle between the perforation and the max. horizontal principle stress), mirco-annulus will be produced alonge the wellbore circumferential direction when the cementation strength of the CCI and the CRI is less than the rock tensile strength; the delamination fractures are hard to propagate along the horizontal wellbore axial direction; emergence and propagation of delamination fractures are most likely produced on the shallow formation when the in-situ stresses are lower; the failure mode of cement sheath in the deep well is mainly interfaces seperation and body damange caused by cement expansion and contraction, or pressure testing and well shut-in operations.

• Proceedings of the Korean Powder Metallurgy Institute Conference
• /
• 1993.11a
• /
• pp.3-3
• /
• 1993

In mechanical testing of W-Ni-Pe heavy alloys, the cracks nucleate at W/W interface and propagate through W/ Imatrix interface or through matrix phase together with the cleavage of W grains. The mechanical properties can therefore be improved by control of the interfacial strength and area. In this presentation, some experimental result and techniques on this subject will be reviewed and discussed. The hydrogen embrittlement caused by the hydrogen segregation at interfaces during sintering in an hydrogen atmosphere can be removed by an heat-treattnent in vacuum or in an inert atmosphere. The heat-treatment condition can be estimated by using a diffusion equation for a cylindrical shape. The mechanical properties, in particular the impact property, are degraded by the segregation of non-metallic impurities, such as Sand P. The degradation can be prevented by adding a fourth element, such as La or Ca, active with the non-metallic impurities. The cyclic heat-treatment at usual heat-treattnent tempemture causes the penetration of matrix between W/W grain boundaries and results in remarkable increase in impact energy. This is due to an increase in the area of ductile failure during the impact test. The instability of W/matrix interface casued by addition of Mo or Re can be controlled by using W powders of different size. The increase in the interfacial area in found to be related to the presence of non-equilibrium pure W gmins among W(Mo or Re) solid solution gmins.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.13 no.6
• /
• pp.23-29
• /
• 2014

In this study, cooling and heat-transfer tests are performed to compare and evaluate the thermal conductivity in a prepared CNT TIM (thermal interface material). A polymerized CNT heat-transfer resin and commercial thermal grease (Shinetsu G-747) were applied for a comparison test in both cases. Cooling experiments with an aluminum foil specimen were performed in order to measure the temperature distribution using an infrared camera, and in heat radiation experiments, performance testing of the thermal conductivity was conducted using high-power LEDs. Carbon resin with the polymerization of graphite and carbon black, and CNT-polymerized CNT resin with graphite and carbon black were tested and compared with using G-747. It was found that the cooling performance and the heat transfer ability in both the carbon resin and the CNT-polymerized CNT resin were greater than those of G-747 because the temperature by 5. $0^{\circ}C$ in both cases appeared lower than that of the G-747.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.36 no.4
• /
• pp.273-280
• /
• 2016

The simulation of nondestructive testing has been used in the prediction of the signal characteristics of various defects and in the development of the procedures. CIVA, a simulation tool dedicated to nondestructive testing, has good accuracy and speed, and provides a three-dimensional graphical user interface for improved visualization and familiar data displays consistent with an NDE technique. Even though internal validations have been performed by the CIVA software development specialists, an independent validation study is necessary for the assessment of the accuracy of the software prior to practical use. In this study, time of flight diffraction signals of ultrasonic inspection of a calibration block for reactor vessel head penetrations were simulated using CIVA. The results were compared to the experimentally inspected signals. The accuracy of the simulated signals and the possible range for simulation were verified. It was found that, there is a good agreement between the CIVA simulated and experimental results in the A-scan signal, B-scan image, and measurement of depth.

• The Journal of Information Technology and Database
• /
• v.2 no.2
• /
• pp.25-34
• /
• 1995

In this paper, we present design philosophy and implementation issues of a functionality testing tool for object-oriented database systems. A testing tool has been developed to validate UniSQL/X functionalities with C++ interface. A testing tool is designed under consideration of scaleability, simplicity and extendibility. The schema is deliberately constructed to verify the object-oriented functionalities such as abstraction, inheritance and aggregation. Each test item has been derived under various black box techniques such as equivalent partitioning and boundary-value analysis. The testing tool consists of six phases, namely, database creation, database population, construction of testindex, compilation and link, execution and result reporting, and final cleanup. The prototype provides more than 140 test items at 90 programs.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.