Performance of Ti/Pt and Nb/BDD anodes for dechlorination of nitric acid and regeneration of silver(II) in a tubular reactor for the treatment of solid wastes in nuclear industry

One of the problems frequently encountered in the processing of nuclear fuels is the recovery of plutonium contained in various solid wastes. The difficulty is to make soluble the plutonium present as the refractory oxide PuO2. The dissolution of this oxide in nitric acid solutions is easily performed by means of silver(II) a strong oxidizing agent which is usually electrochemically generated on a platinum anode. However, certain solid residues that must be treated to separate actinides contain important quantities of chloride ions that require after dissolution in nitric acid a preliminary electrochemical step to be removed before introducing Ag(I) for Ag(II) electrogeneration. Research is conducted to find electrocatalytic materials being able to replace massive platinum in view to limit capital costs. In the present work a set-up including a two-compartment tubular reactor with recirculation of electrolytes was tested with anodes made of boron doped diamond coated niobium (Nb/BDD) and platinum coated titanium (Ti/Pt) grids for the removal of chlorides (up to 0.1 M) and for silver(II) regeneration. The study showed that these two anodes are effective for the removal of chlorides contained in 6 M HNO3 solution as gaseous chlorine, without producing the unwanted oxyanions of chlorine. Furthermore, the regeneration rate of silver(II) on Nb/BDD anode is approximately equal to that obtained on Ti/Pt anode for the same hydrodynamic conditions in the tubular reactor. Accordingly, dechlorination as well as silver(II) regeneration can be performed in the same reactor equipped either with a Nb/BDD or a Ti/Pt anode. Besides, the service life of Nb/BDD anodes estimated by accelerated life tests conducted in 6 M HNO3 can be considered as very satisfactory compared to that observed with Ti/Pt anodes

Transactions in the Jungle

Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of TM executions have been proposed. Many of these definitions assumed that accesses to shared data are solely performed through transactions. In practice, due to legacy code and concurrency libraries, transactions in a TM have to share data with non-transactional operations. The semantics of such interaction, while widely discussed by practitioners, lacks a clear formal specification. Those interactions can vary, sometimes in subtle ways, between TM implementations and underlying memory models. We propose a correctness condition for TMs, parametrized opacity, to formally capture the now folklore notion of strong atomicity by stipulating the two following intuitive requirements: first, every transaction appears as if it is executed instantaneously with respect to other transactions and non-transactional operations, and second, non-transactional operations conform to the given underlying memory model. We investigate the inherent cost of implementing parametrized opacity. We first prove that parametrized opacity requires either instrumenting non-transactional operations (for most memory models) or writing to memory by transactions using potentially expensive read-modify-write instructions (such as compare-and-swap). Then, we show that for a class of practical relaxed memory models, parametrized opacity can indeed be implemented with constant-time instrumentation of non-transactional writes and no instrumentation of non-transactional reads. We show that, in practice, parametrizing the notion of correctness allows developing more efficient TM implementations