Towards large scale microwave treatment of ores: Part 1 – Basis of design, construction and commissioning

Despite over thirty years of work, microwave pre-treatment processes for beneficiation of ores have not progressed much further than laboratory testing. In this paper we present a scaleable pilot-scale system for the microwave treatment of ores capable of operating at throughputs of up to 150tph. This has been achieved by confining the electric field produced from two 100kW generators operating at 896MHz in a gravity fed vertical flow system using circular choking structures yielding power densities of at least 6x108 W/m3 in the heated mineral phases. Measured S11 scattering parameters for a quartzite ore (-3.69±0.4dB) in the as-built applicator correlated well with the simulation (-3.25dB), thereby validating our design approach. We then show that by fully integrating the applicator with a materials handling system based on the concept of mass flow, we achieve a reliable, continuous process. The system was used to treat a range of porphyry copper ores

Review article: MHD wave propagation near coronal null points of magnetic fields

We present a comprehensive review of MHD wave behaviour in the neighbourhood of coronal null points: locations where the magnetic field, and hence the local Alfven speed, is zero. The behaviour of all three MHD wave modes, i.e. the Alfven wave and the fast and slow magnetoacoustic waves, has been investigated in the neighbourhood of 2D, 2.5D and (to a certain extent) 3D magnetic null points, for a variety of assumptions, configurations and geometries. In general, it is found that the fast magnetoacoustic wave behaviour is dictated by the Alfven-speed profile. In a $\beta=0$ plasma, the fast wave is focused towards the null point by a refraction effect and all the wave energy, and thus current density, accumulates close to the null point. Thus, null points will be locations for preferential heating by fast waves. Independently, the Alfven wave is found to propagate along magnetic fieldlines and is confined to the fieldlines it is generated on. As the wave approaches the null point, it spreads out due to the diverging fieldlines. Eventually, the Alfven wave accumulates along the separatrices (in 2D) or along the spine or fan-plane (in 3D). Hence, Alfven wave energy will be preferentially dissipated at these locations. It is clear that the magnetic field plays a fundamental role in the propagation and properties of MHD waves in the neighbourhood of coronal null points. This topic is a fundamental plasma process and results so far have also lead to critical insights into reconnection, mode-coupling, quasi-periodic pulsations and phase-mixing.Comment: 34 pages, 5 figures, invited review in Space Science Reviews => Note this is a 2011 paper, not a 2010 pape

SMT-based Model Checking for Recursive Programs

We present an SMT-based symbolic model checking algorithm for safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other SMT-based approaches, it maintains both "over-" and "under-approximations" of procedure summaries. Under-approximations are used to analyze procedure calls without inlining. Over-approximations are used to block infeasible counterexamples and detect convergence to a proof. We show that for programs and properties over a decidable theory, the algorithm is guaranteed to find a counterexample, if one exists. However, efficiency depends on an oracle for quantifier elimination (QE). For Boolean Programs, the algorithm is a polynomial decision procedure, matching the worst-case bounds of the best BDD-based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation of the algorithm by applying QE "lazily". We use existing interpolation techniques to over-approximate QE and introduce "Model Based Projection" to under-approximate QE. Empirical evaluation on SV-COMP benchmarks shows that our algorithm improves significantly on the state-of-the-art.Comment: originally published as part of the proceedings of CAV 2014; fixed typos, better wording at some place

Structural and dielectric properties of Sr2_{2}TiO4_{4} from first principles

We have investigated the structural and dielectric properties of Sr$_{2}$TiO$_{4}$,the first member of the Sr$_{n+1}$Ti$_{n}$O$_{3n+1}$ Ruddlesden-Popper series, within density functional theory. Motivated by recent work in which thin films of Sr$_{2}$TiO$_{4}$ were grown by molecular beam epitaxy (MBE) on SrTiO$_{3}$ substrates, the in-plane lattice parameter was fixed to the theoretically optimized lattice constant of cubic SrTiO$_{3}$ (n=$\infty$), while the out-of-plane lattice parameter and the internal structural parameters were relaxed. The fully relaxed structure was also investigated. Density functional perturbation theory was used to calculate the zone-center phonon frequencies, Born effective charges, and the electronic dielectric permittivity tensor. A detailed study of the contribution of individual infrared-active modes to the static dielectric permittivity tensor was performed. The calculated Raman and infrared phonon frequencies were found to be in agreement with experiment where available. Comparisons of the calculated static dielectric permittivity with experiments on both ceramic powders and epitaxial thin films are discussed.Comment: 11 pages, 1 figure, 8 tables, submitted to Phys. Rev.

Fredholm Determinants, Differential Equations and Matrix Models

Orthogonal polynomial random matrix models of NxN hermitian matrices lead to Fredholm determinants of integral operators with kernel of the form (phi(x) psi(y) - psi(x) phi(y))/x-y. This paper is concerned with the Fredholm determinants of integral operators having kernel of this form and where the underlying set is a union of open intervals. The emphasis is on the determinants thought of as functions of the end-points of these intervals. We show that these Fredholm determinants with kernels of the general form described above are expressible in terms of solutions of systems of PDE's as long as phi and psi satisfy a certain type of differentiation formula. There is also an exponential variant of this analysis which includes the circular ensembles of NxN unitary matrices.Comment: 34 pages, LaTeX using RevTeX 3.0 macros; last version changes only the abstract and decreases length of typeset versio

Objective comparison of particle tracking methods

Particle tracking is of key importance for quantitative analysis of intracellular dynamic processes from time-lapse microscopy image data. Because manually detecting and following large numbers of individual particles is not feasible, automated computational methods have been developed for these tasks by many groups. Aiming to perform an objective comparison of methods, we gathered the community and organized an open competition in which participating teams applied their own methods independently to a commonly defined data set including diverse scenarios. Performance was assessed using commonly defined measures. Although no single method performed best across all scenarios, the results revealed clear differences between the various approaches, leading to notable practical conclusions for users and developers

Cracks in Martensite Plates as Hydrogen Traps in a Bearing Steel

It is demonstrated that a macroscopically homogeneous distribution of tiny cracks introduced into a martensitic bearing steel sample can provide powerful hydrogen traps. The phenomenon has been investigated through thermal desorption spectroscopy and hydrogen permeation measurements using both cracked and integral samples. The e↵ective hydrogen di↵usion coefficient through the cracked sample is found to be far less than in the uncracked one. Similarly, when samples are charged with hydrogen, and then subjected to thermal desorption analysis, the amount of hydrogen liberated from the cracked sample is smaller due to the trapping by the cracks. Theoretical analysis of the data shows that the traps due to cracks are so strong, that any hydrogen within the cracks can never in practice de-trap and cause harm by mechanisms that require the hydrogen to be mobile for the onset of embrittlement.W. Solano-Alvarez is very grateful for support from the Worshipful Company of Ironmongers, CONACyT, the Cambridge Overseas Trust, and the Roberto Rocca Education Programme.This is the accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s11661-014-2680-8

Notes on African Crowned Eagle Stephanoaetus coronatus diet in savanna and forest in KwaZulu-Natal, South Africa

Our study reports on contrasts in prey items from African Crowned Eagle Stephanoaetus coronatus nesting in forest (n 1) and savanna (n 2) biomes in KwaZulu-Natal, South Africa. At least 12 taxa were identified at a forest nest, of which 92.1% were neonate/juvenile. Bovids and procaviids represented 73.7% and 19.6% of the diet, respectively, whilst Samango monkey Cercopithecus albogularis, a common forest species, represented only 1.7% of prey items. Other species made up 5.0% and included a range of species not found in the forest (e.g. Ourebia ourebi, Lepus sp. and Ovis capra). At the savanna nests at least four taxa were identified, of which 73.1% of prey items were adult. The majority of prey items were identified as procaviids (87.0%) with 5.6% and 7.4% of prey items represented by C. albogularis/C. pygerythrus and other remains (e.g. Capra hircus and Philantomba monticola), respectively. In South Africa, where total forest area is reduced compared to regions further north, the dietary range of African Crowned Eagles may include a wider diversity of prey from different biomes; feeding generalisation and opportunism may therefore be an important strategy for the maintenance of African Crowned Eagles populations in the region.http://www.tandfonline.com/loi/tost202015-01-31hb201

Fine structure splitting cancellation in highly asymmetric InAs/InP droplet epitaxy quantum dots

We find the fine structure splitting (FSS) of a single exciton, which splits its degenerate ground-state manifold into singlets, nearly vanishes in highly asymmetric quantum dots (QDs) due to the cancellation of splitting effects with markedly different origin. The dots simulated are those that emerge on top of etch pits through the droplet epitaxy growth process; these etch pit dots break square (C4v) spatial symmetry, which has been previously associated with small FSS. Configuration interaction calculations predict a vanishing FSS at a specific finite etch pit displacement from the center of the dot, for a structure far from square symmetry. We thus predict that highly asymmetric QDs may still display negligible FSS, providing avenues for high-fidelity generation of indistinguishable, polarization entangled photon pairs on demand.</p

A new strategy for enhancing imputation quality of rare variants from next-generation sequencing data via combining SNP and exome chip data

Background: Rare variants have gathered increasing attention as a possible alternative source of missing heritability. Since next generation sequencing technology is not yet cost-effective for large-scale genomic studies, a widely used alternative approach is imputation. However, the imputation approach may be limited by the low accuracy of the imputed rare variants. To improve imputation accuracy of rare variants, various approaches have been suggested, including increasing the sample size of the reference panel, using sequencing data from study-specific samples (i.e., specific populations), and using local reference panels by genotyping or sequencing a subset of study samples. While these approaches mainly utilize reference panels, imputation accuracy of rare variants can also be increased by using exome chips containing rare variants. The exome chip contains 250 K rare variants selected from the discovered variants of about 12,000 sequenced samples. If exome chip data are available for previously genotyped samples, the combined approach using a genotype panel of merged data, including exome chips and SNP chips, should increase the imputation accuracy of rare variants. Results: In this study, we describe a combined imputation which uses both exome chip and SNP chip data simultaneously as a genotype panel. The effectiveness and performance of the combined approach was demonstrated using a reference panel of 848 samples constructed using exome sequencing data from the T2D-GENES consortium and 5,349 sample genotype panels consisting of an exome chip and SNP chip. As a result, the combined approach increased imputation quality up to 11 %, and genomic coverage for rare variants up to 117.7 % (MAF < 1 %), compared to imputation using the SNP chip alone. Also, we investigated the systematic effect of reference panels on imputation quality using five reference panels and three genotype panels. The best performing approach was the combination of the study specific reference panel and the genotype panel of combined data. Conclusions: Our study demonstrates that combined datasets, including SNP chips and exome chips, enhances both the imputation quality and genomic coverage of rare variants