Effect of Fly Ash on the Durability Properties of High Strength Concrete

Utilization of fly ash as a supplementary cementitious material adds sustainability to concrete by reducing the CO2 emission of cement production. The positive effects of fly ash as a partial replacement of cement on the durability of concrete are recognized through numerous researches; however, the extent of improvement depends on the properties of fly ash. In this study, durability properties of high strength concrete utilizing high volume Class F fly ash sourced from Western Australia have been investigated. Concrete mixtures with fly ash as 30% and 40% of total binder wereused to cast the test specimens. The compressive strength, drying shrinkage, sorptivity and rapid chloride permeability of the fly ash and control concrete specimens were determined. The 28-day compressive strength of the concrete mixtures varied from 65 to 85 MPa. The fly ash concrete samples showed less drying shrinkage than the control concrete samples when designed for the same 28-day compressive strength of the control concrete. Inclusion of fly ash reduced sorptivity and chloride ion permeation significantly at 28 days and reduced further at 6 months. In general, incorporation of fly ash as partial replacement of cement improved the durability properties of concrete

Leader-employee congruence of expected contributions in the employee-organization relationship

Employees' expected contributions can be incongruent with those of their leader. We examine the congruence effect of leaders' and employees' expected contributions on job satisfaction. Results of cross-level polynomial regressions on 947 employees and 224 leaders support the congruence effect. When expected contributions are congruent, employees are more satisfied with their job. Our findings suggest that employees enjoy high challenges, as long as these challenges are in harmony with the expected contributions of their leaders. Employees are less satisfied with their jobs both when their expected contributions were higher than their leaders' and when their expected contributions were lower than those of their leaders. Beyond the relevance of having high expected contributions, the findings highlight the crucial role played by the congruence of expected contributions of leaders and employees

The use of 3D printing in the development of gaseous radiation detectors

Fused Deposition Modelling has been used to produce a small, single wire, Iarocci-style drift tube to demonstrate the feasibility of using the Additive Manufacturing technique to produce cheap detectors, quickly. Recent technological developments have extended the scope of Additive Manufacturing, or 3D printing, to the possibility of fabricating Gaseous Radiation Detectors, such as Single Wire Proportional Counters and Time Projection Chambers. 3D printing could allow for the production of customisable, modular detectors; that can be easily created and replaced and the possibility of printing detectors on-site in remote locations and even for outreach within schools. The 3D printed drift tube was printed using Polylactic acid to produce a gas volume in the shape of an inverted triangular prism; base length of 28 mm, height 24.25 mm and tube length 145 mm. A stainless steel anode wire was placed in the centre of the tube, mid-print. P5 gas (95% Argon, 5% Methane) was used as the drift gas and a circuit was built to capacitively decouple signals from the high voltage. The signal rate and average pulse height of cosmic ray muons were measured over a range of bias voltages to characterise and prove correct operation of the printed detector

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory graph is a network of theories connected by meaning-preserving theory morphisms that map the formulas of one theory to the formulas of another theory. Theory graphs are in turn well suited for formalizing mathematical knowledge at the most convenient level of abstraction using the most convenient vocabulary. We are interested in the problem of whether a body of mathematical knowledge can be effectively formalized as a theory graph of biform theories. As a test case, we look at the graph of theories encoding natural number arithmetic. We used two different formalisms to do this, which we describe and compare. The first is realized in ${\rm CTT}_{\rm uqe}$, a version of Church's type theory with quotation and evaluation, and the second is realized in Agda, a dependently typed programming language.Comment: 43 pages; published without appendices in: H. Geuvers et al., eds, Intelligent Computer Mathematics (CICM 2017), Lecture Notes in Computer Science, Vol. 10383, pp. 9-24, Springer, 201

Radiation induced currents in mineral-insulated cables and in pick-up coils: model calculations and experimental verification in the BR1 reactor

Mineral-insulated (MI) cables and Low-Temperature Co-fired Ceramic (LTCC) magnetic pick-up coils are intended to be installed in various position in ITER. The severe ITER nuclear radiation field is expected to lead to induced currents that could perturb diagnostic measurements. In order to assess this problem and to find mitigation strategies models were developed for the calculation of neutron-and gamma-induced currents in MI cables and in LTCC coils. The models are based on calculations with the MCNPX code, combined with a dedicated model for the drift of electrons stopped in the insulator. The gamma induced currents can be easily calculated with a single coupled photon-electron MCNPX calculation. The prompt neutron induced currents requires only a single coupled neutron-photon-electron MCNPX run. The various delayed neutron contributions require a careful analysis of all possibly relevant neutron-induced reaction paths and a combination of different types of MCNPX calculations. The models were applied for a specific twin-core copper MI cable, for one quad-core copper cable and for silver conductor LTCC coils (one with silver ground plates in order to reduce the currents and one without such silver ground plates). Calculations were performed for irradiation conditions (neutron and gamma spectra and fluxes) in relevant positions in ITER and in the Y3 irradiation channel of the BR1 reactor at SCK•CEN, in which an irradiation test of these four test devices was carried out afterwards. We will present the basic elements of the models and show the results of all relevant partial currents (gamma and neutron induced, prompt and various delayed currents) in BR1-Y3 conditions. Experimental data will be shown and analysed in terms of the respective contributions. The tests were performed at reactor powers of 350 kW and 1 MW, leading to thermal neutron fluxes of 1E11 n/cm2s and 3E11 n/cm2s, respectively. The corresponding total radiation induced currents are ranging from 1 to 7 nA only, putting a challenge on the acquisition system and on the data analysis. The detailed experimental results will be compared with the corresponding values predicted by the model. The overall agreement between the experimental data and the model predictions is fairly good, with very consistent data for the main delayed current components, while the lower amplitude delayed currents and some of the prompt contributions show some minor discrepancies