The paper states results of experimental exposition of concrete test specimens to direct flame. Concrete test specimens made from various mixtures differing in the type of aggregate, binder, dispersed reinforcement, and technological procedure were subjected to thermal load. Physicomechanical and other properties of all test specimens were tested before exposition to open flame: density, compre...

Microwave heating stands as a strong candidate for selective liberation of multiphase materials like concrete. It takes advantage of the differences in thermal, dielectric and mechanical properties of each of the components to create stress gradients that can lead to grain boundary fracture and embrittlement. The work and results reported are concerned with selective liberation of concrete’s ra...

The pulse compression technique is successfully and widely used in many fields for improving the signal to noise ratio (SNR); which is especially useful when the environment is noisy and the SNR is poor. Since high frequency ultrasound is strongly attenuated in concrete, only low frequency ultrasound can be used in ultrasonic nondestructive testing (NDT) of concrete. In this study the pulse com...

Nowadays, in the civil engineering practice, the pile-building is the most universal type of foundation. It is usually associated with bridges, fly-overs and other civil engineering objects, industrial buildings, tall buildings, chimneys, tanks etc [1]. It is essential to control the quality of concrete piles. The most accepted weight-bearing capacity measurement technique is the static probe l...

output input valid? test ok? Figure 1. DFD of the testing scenario. is executed with a concrete test input (state). An implemented retrieve function maps the concrete input and output to its abstract representations. A precondition check validates the input and feeds it into the oracle which checks the relation to the produced output. If the postcondition evaluates to true, the test passed. Thi...

The new concrete standards give directives regarding the checking if the hardened concrete conforms to the compressive strength requirements of the designed compressive strength class. The acceptance or rejection of conformity is the function of the compressive strength testing methods and the evaluation of the test results. In the paper through examples we show the role of the acceptance proba...

This paper analyses the influence of Recycled Concrete Aggregates (RCA) on durability through a study transfer properties concrete, using coupled approach consisting experimental testing and numerical modelling.

research on the heavy concrete technology expanded rapidly in the last decades. this kind of the concrete can be used for different purposes such as the protective shields of the medical centers and nuclear power plants. ilmenite, limonite, hematite, magnetite and barite are the common mineral aggregates which are used in the heavy concrete construction technology. in this research the mechanic...

In this thesis, nondestructive surface wave measurements are presented for characterization of dynamic modulus and layer thickness on different pavements and cement concrete slabs. Air-coupled microphones enable rapid data acquisition without physical contact with the pavement surface. Quality control of asphalt concrete pavements is crucial to verify the specified properties and to prevent pre...

The new Quickcheck is a counterexample generator for Isabelle/HOL that uncovers faulty specifications and invalid conjectures using various testing strategies. The previous Quickcheck only tested conjectures by random testing. The new Quickcheck extends the previous one and integrates two novel testing strategies: exhaustive testing with concrete values; and symbolic testing, evaluating conject...