Recovery of platinum, palladium and rhodium from acidic chloride leach solution using ion exchange resins

The objective of this study was to investigate the applicability and performance of the selected ion exchangers with different physicochemical characteristics and functional groups to simultaneously recover three different platinum group elements (PGE), platinum(IV), palladium(II) and rhodium(III), present in a chloride solution produced by the leaching of spent automotive catalysts. The tested ion exchangers included a resin with a quaternary ammonium functional group (Lewatit MonoPlus (M +) MP 600), a resin with a polyamine functional group (Purolite S985) and a resin with a thiouronium functional group (XUS 43600.00). The study also focused on the achievable desorption from the loaded resins using different eluent systems. The leach solution was chlorine-saturated and contained 2.35 mol/L hydrochloric acid, platinum and palladium in concentrations of 0.13 mmol/L, and rhodium 0.03 mmol/L. It was found that XUS 43600.00 showed the best adsorption performance for platinum(IV) and palladium(II) chloride complexes among the investigated resins, but weak affinity for rhodium(III) chloride complexes was observed for all three resins. The adsorption kinetics were found to obey the Ho pseudo-second order expression. For Lewatit MonoPlus (M +) MP 600 and Purolite S985 the adsorption was best described by the Freundlich isotherm, while for XUS 43600.00 the Langmuir isotherm was more apt. Desorption of the PGE was examined using four different elution agents: sodium thiocyanate (2 mol/L), hydrochloric acid (2 mol/L), thiourea (1 mol/L) in hydrochloric acid (2 mol/L), and thiourea (1 mol/L) in sodium hydroxide (2 mol/L). The results showed that platinum and palladium can be fully eluted with the acidic thiourea but desorption of rhodium proved difficult with all the eluents

Automatic Abstraction in SMT-Based Unbounded Software Model Checking

Software model checkers based on under-approximations and SMT solvers are very successful at verifying safety (i.e. reachability) properties. They combine two key ideas -- (a) "concreteness": a counterexample in an under-approximation is a counterexample in the original program as well, and (b) "generalization": a proof of safety of an under-approximation, produced by an SMT solver, are generalizable to proofs of safety of the original program. In this paper, we present a combination of "automatic abstraction" with the under-approximation-driven framework. We explore two iterative approaches for obtaining and refining abstractions -- "proof based" and "counterexample based" -- and show how they can be combined into a unified algorithm. To the best of our knowledge, this is the first application of Proof-Based Abstraction, primarily used to verify hardware, to Software Verification. We have implemented a prototype of the framework using Z3, and evaluate it on many benchmarks from the Software Verification Competition. We show experimentally that our combination is quite effective on hard instances.Comment: Extended version of a paper in the proceedings of CAV 201

The Flare-dominated Accretion Mode of a Radio-bright Candidate Transitional Millisecond Pulsar

© 2020. The American Astronomical Society. All rights reserved.. We report new simultaneous X-ray and radio continuum observations of 3FGL J0427.9-6704, a candidate member of the enigmatic class of transitional millisecond pulsars. These XMM-Newton and Australia Telescope Compact Array observations of this nearly edge-on, eclipsing low-mass X-ray binary were taken in the sub-luminous disk state at an X-ray luminosity of erg s-1. Unlike the few well-studied transitional millisecond pulsars, which spend most of their disk state in a characteristic high or low accretion mode with occasional flares, 3FGL J0427.9-6704 stayed in the flare mode for the entire X-ray observation of ∼20 hr, with the brightest flares reaching ∼2 × 1034 erg s-1. The source continuously exhibited flaring activity on timescales of ∼10-100 s in both the X-ray and optical/ultraviolet (UV). No measurable time delay between the X-ray and optical/UV flares is observed, but the optical/UV flares last longer, and the relative amplitudes of the X-ray and optical/UV flares show a large scatter. The X-ray spectrum can be well-fit with a partially absorbed power law (Γ ∼ 1.4-1.5), perhaps due to the edge-on viewing angle. Modestly variable radio continuum emission is present at all epochs, and is not eclipsed by the secondary, consistent with the presence of a steady radio outflow or jet. The simultaneous radio/X-ray luminosity ratio of 3FGL J0427.9-6704 is higher than any known transitional millisecond pulsars and comparable to that of stellar-mass black holes of the same X-ray luminosity, providing additional evidence that some neutron stars can be as radio-loud as black holes

A three-dimensional multidimensional gas-kinetic scheme for the Navier-Stokes equations under gravitational fields

This paper extends the gas-kinetic scheme for one-dimensional inviscid shallow water equations (J. Comput. Phys. 178 (2002), pp. 533-562) to multidimensional gas dynamic equations under gravitational fields. Four important issues in the construction of a well-balanced scheme for gas dynamic equations are addressed. First, the inclusion of the gravitational source term into the flux function is necessary. Second, to achieve second-order accuracy of a well-balanced scheme, the Chapman-Enskog expansion of the Boltzmann equation with the inclusion of the external force term is used. Third, to avoid artificial heating in an isolated system under a gravitational field, the source term treatment inside each cell has to be evaluated consistently with the flux evaluation at the cell interface. Fourth, the multidimensional approach with the inclusion of tangential gradients in two-dimensional and three-dimensional cases becomes important in order to maintain the accuracy of the scheme. Many numerical examples are used to validate the above issues, which include the comparison between the solutions from the current scheme and the Strang splitting method. The methodology developed in this paper can also be applied to other systems, such as semi-conductor device simulations under electric fields.Comment: The name of first author was misspelled as C.T.Tian in the published paper. 35 pages,9 figure

Secondary Electron Yield Measurements of Fermilab's Main Injector Vacuum Vessel

We discuss the progress made on a new installation in Fermilab's Main Injector that will help investigate the electron cloud phenomenon by making direct measurements of the secondary electron yield (SEY) of samples irradiated in the accelerator. In the Project X upgrade the Main Injector will have its beam intensity increased by a factor of three compared to current operations. This may result in the beam being subject to instabilities from the electron cloud. Measured SEY values can be used to further constrain simulations and aid our extrapolation to Project X intensities. The SEY test-stand, developed in conjunction with Cornell and SLAC, is capable of measuring the SEY from samples using an incident electron beam when the samples are biased at different voltages. We present the design and manufacture of the test-stand and the results of initial laboratory tests on samples prior to installation.Comment: 3 pp. 3rd International Particle Accelerator Conference (IPAC 2012) 20-25 May 2012, New Orleans, Louisian

A comparison study of geostatistical simulation for predicting soil texture

Non-Peer Reviewe

Evolution of Non-Equilibrium Profile in Adsorbate Layer under Compressive Strain

We investigate the time evolution of an initial step profile separating a bare substrate region from the rest of the compressively strained adsorbate layer near a commensurate to incommensurate transition. The rate of profile evolution as a function of the mismatch, coverage and the strength of the substrate potential are determined by Brownian molecular dynamics simulations. We find that the results are qualitatively similar to those observed for the Pb/Si(111) system. The anomalously fast time evolution and sharpness of the non-equilibrium profile can be understood through the domain wall creation at the boundary and its subsequent diffusion into the interior of the adsorbate layer.Comment: 6 pages, 7 figures, Tribology Letter

Emergency Mosquito Control on a Selected Area in Eastern North Carolina After Hurricane Irene

Natural disasters such as hurricanes may contribute to mosquito abundance and, consequently, arbovirus transmission risk. In 2011, flooding from Hurricane Irene in eastern North Carolina (NC) resulted in increased mosquito populations that hindered recovery efforts. Budget shortfalls in NC have reduced the functionality of long-term mosquito surveillance and control programs; hence, many counties rely on the Federal Emergency Management Agency for post-disaster mosquito control. This pilot study examines mosquito abundance pre- and post-aerial insecticide spraying at eight study sites in Washington and Tyrrell Counties in rural eastern NC after Hurricane Irene. Percent change was calculated and compared for traps in areas that received aerial pesticide application and those that did not. Traps in spray zones show decreases in mosquito abundance when compared to control traps (treatment: −52.93%; control: 3.55%), although no significant differences (P = 0.286) were found in mosquito abundance between groups. Implications of reactive rather than proactive mosquito control responses are discussed

Higher order weak epiderivatives and applications to duality andoptimality conditions

AbstractIn this paper, the notions of higher order weak contingent epiderivative and higher order weak adjacent epiderivative for a set-valued map are defined. By virtue of higher order weak adjacent (contingent) epiderivatives and Henig efficiency, we introduce a higher order Mond–Weir type dual problem and a higher order Wolfe type dual problem for a constrained set-valued optimization problem (SOP) and discuss the corresponding weak duality, strong duality and converse duality properties. We also establish higher order Kuhn–Tucker type necessary and sufficient optimality conditions for (SOP)