Performance evaluation of structural concrete using controlled quality coarse and fine recycled concrete aggregate

This paper presents the fresh, mechanical, and durability performance, of a structural concrete mix classified as C-1, by the Canadian Standards Association (CSA) made with controlled quality Recycled Concrete Aggregate (RCA). Five mixes with water-to-cementing material (w/cm) ratio of 0.40 were produced with various RCA contents and tested against two 0% RCA control mixes made with General Use (GU) cement, and General Use Limestone cement (GUL). The RCA contents in the mixes were 10%, 20%, and 30% by coarse aggregate volume replacement, as well as 10% and 20% fine and coarse (granular) aggregate volume replacement. All evaluated mixes met the specifications from the CSA for fresh, mechanical, and durability properties. The coarse RCA mixes performed better than the granular RCA mixes in terms of flexural and splitting tensile strengths, linear drying shrinkage, water sorptivity, and rapid chloride-ion permeability, where the test results were significantly affected by the ultra fines present in the granular RCA.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Stress distribution in thick-walled cylinder due to non-uniform radial pressure on the example of reinforcement corrosion in concrete

This paper presents an analytical solution to the non-uniform pressure on thick-walled cylinder. The formulation is based on the linear elasticity theory (plain strain) and stress function method. As an example, the proposed solution is used to model the stress distribution due to non-uniform steel reinforcement corrosion in concrete. The model is formulated considering different scenarios of corrosion pressure distribution. It is validated against the finite element model for different cases of non-uniform pressure distributions. The results show that the corrosion-induced cracks are likely to start just beyond the anodic zone. This is confirmed by the experimental tests on concrete cylinder exposed to non-uniform accelerated corrosion of steel reinforcement. The model can be effectively used to calculate the distribution of corrosion-induced stresses in concrete.     

Effect of steel slag on 3D concrete printing of geopolymer with quaternary binders

A new type of 3D-printable ‘one-part’ geopolymer was synthesized with fly ash (FA), granulated blast furnace slag (GBFS), steel slag (SS) and flue gas desulfurization gypsum (FGD). The effects of SS content (0–40%) on the rheological properties, 3D-printability, mechanical anisotropy and reaction kinetics of geopolymer were investigated. The yield stress and plastic viscosity monotonically decreased with the increasing SS content. Contrarily, the geopolymer with 10% of SS presented better extrudability, buildability and mechanical strength than those with 0, 20%, 30% and 40% of SS. This was mainly attributed to the conflicting influence of SS on geopolymerization, of which the OH^? produced by hydration of SS raised the alkalinity of the reaction system and accelerated the dissolution of SiO₄^4? and AlO₄^5?, while the low reactivity prohibited the following polymerization process. Furthermore, the 3D-printed geopolymer presented more compact microstructure and less mechanical anisotropy thanks to the crosslinking of morphologically complementary products, including N(C)-A-S-H, C–S–H, AFt and CH, formed via synergistic reaction of FA-GBFS-SS-FGD system.     

混凝土结构的压电声波检测分析

本文介绍了混凝土结构的压电体波和表面波检测的主要进展,对两种压电声波检测的优缺点进行了总结。体波检测设备一般埋入混凝土内部,需要选择合理的检测部位,检测结果较为精确;声表面波检测无需选择特定的部位,但是检测深度有限。在实际检测工作过程中,可以联合两种方法相互验证。     

Investigation on the effectiveness of the repair method 8.3 “Corrosion protection by increasing the electrical resistivity” in chloride-containing concrete Part 2: Chloride redistribution in concrete after application of a system sealing surface protective coating

This DFG-funded research project aimed to gain a better understanding of the mechanisms of the W-Cl repair principle within the framework of fundamental investigations, to contribute to the creation of the necessary basis for a broader application of the repair principle in practice. The focus was on the development of a model to describe the chloride redistribution after the application of a system sealing surface protective coating. On the basis of Fick's second law of diffusion, a mathematical model with a self-contained analytical solution was developed, with the help of which the chloride redistribution after application of a system sealing surface protective coating can be calculated under the idealized assumption of complete water saturation of the concrete. Furthermore, the influence of the dehydration of the concrete, expected as a result of the application of the repair principle W-Cl, on the chloride redistribution was investigated. On the basis of laboratory tests and numerical simulations, material-specific reduction functions were developed to quantify the relationship between the chloride diffusion coefficient and the ambient humidity.     

Geopolymer concrete-filled pultruded composite beams – Concrete mix design and application

The limited research on the geopolymer concrete mix design for targeting a specific strength is identified an obstacle for their effective design and wide use. In this paper, a mix design procedure has been proposed for fly-ash based geopolymer concrete and its use as infill hybrid composite beam is investigated. Then, the structural performance of geopolymer concrete filled hybrid composite beam is investigated to determine their possible application in civil infrastructure. Firstly, a detailed procedure of mix design for fly-ash based geopolymer concrete is presented. Secondly, three hybrid beams filled with geopolymer concrete were prepared and tested in a four-point bending setup to evaluate their flexural modulus and modulus of rupture. Numerical and analytical evaluation of the behaviour of hybrid beam were performed and results showed a good agreement with the experimental investigation. Thirdly, the suitability of the beam for a composite railway sleeper is evaluated and compared with existing timber and composite sleepers. Finally, the beams’ performance in a ballast railway track is analysed using Strand7 finite element simulation software and the results showed that the new concept of using geopolymer concrete as infill to pultruded composite section satisfied the stiffness and strength requirements for a railway sleeper.     

Ballistic behavior of plain and reinforced concrete slabs under high velocity impact

This work presents a numerical simulation of ballistic penetration and high velocity impact behavior of plain and reinforced concrete slabs. In this paper, we focus on the comparison of the performance of the plain and reinforced concrete slabs of unconfined compressive strength 41 MPa under ballistic impact. The concrete slab has dimensions of 675 mm × 675 mm × 200 mm, and is meshed with 8-node hexahedron solid elements in the impact and outer zones. The ogive-nosed projectile is considered as rigid element that has a mass of 0.386 kg and a length of 152 mm. The applied velocities vary between 540 and 731 m/s. 6 mm of steel reinforcement bars were used in the reinforced concrete slabs. The constitutive material modeling of the concrete and steel reinforcement bars was performed using the Johnson-Holmquist-2 damage and the Johnson-Cook plasticity material models, respectively. The analysis was conducted using the commercial finite element package Abaqus/Explicit. Damage diameters and residual velocities obtained by the numerical model were compared with the experimental results and effect of steel reinforcement and projectile diameter were studies. The validation showed good agreement between the numerical and experimental results. The added steel reinforcements to the concrete samples were found efficient in terms of ballistic resistance comparing to the plain concrete sample.     

乐滩灌区输水隧洞穿合山煤矿采空区处理设计

分析了乐滩灌区工程北干渠溯河隧洞段长约1.06 km穿合山煤矿采空区的地质情况.借鉴高速公路煤矿采空区的成功处理经验,通过科学分析,对采空区变形和区域内覆岩的稳定性做了评价,论述了输水线路穿采空区段采取全充填压力注浆法的工程处理方法.