Boron-doped diamond (BDD) electrodes were studied with respect to the formation of inorganic by-products in water electrolysis. Experiments in non-divided cells were performed with systems containing sulphate, chloride, chlorite, chlorate and nitrate ions. Discontinuous experiments in thermostated cells with rotating disk diamond anodes and expanded mesh IrO2 cathodes were carried out at 20 °C. Current density was varied between 50 and 300 A m−2. Ion chromatography was mainly used for species detection.
It was not possible to demonstrate the decomposition of sulphate although a slight tendency seems to exist in some experiments. Hydrogen peroxide is one of the anodic and cathodic by-products. Active chlorine is detectable at higher chloride concentrations compared with the use of mixed oxide anodes (MIO). One reason for this is the reaction of formed chlorine with ozone or hydrogen peroxide. Chlorate can be formed electrolysing chloride, hypochlorite and chlorite solutions. Perchlorate formation was detected. Cathodic processes are responsible for the formation of nitrite ions and ammonia. If chlorine is present, the formation of monochloramine is one possible side reaction. Results show that the processes are very complex. Reaction spectra may vary from case to case. Perchlorate formation is a high risk in drinking water treatment. 相似文献
We consider the issue of exploiting the structural form of Esterel programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking techniques. The basic idea sounds utterly simple, as seen on the case of sequential composition: in P; Q, first compute entirely the states reached in P, and then only carry on to Q, each time using only the relevant transition relation part. Here a brute-force symbolic breadth-first search would have mixed the exploration of P and Q instead, in case P had different behaviors of various lengths, and that would result in irregular BBD representation of temporary state spaces, a major cause of complexity in symbolic model-checking.Difficulties appear in our decomposition approach when scheduling the different transition parts in presence of parallelism and local signal exchanges. Program blocks (or “Macro-states”) put in parallel can be synchronized in various ways, due to dynamic behaviors, and considering all possibilities may lead to an excessive division complexity. The goal is here to find a satisfactory trade-off between compositional and global approaches. Concretely we use some of the features of the TiGeR BDD library, and heuristic orderings between internal signals, to have the transition relation progress through the program behaviors to get the same effect as a global RSS computation, but with much more localized transition applications. We provide concrete benchmarks showing the usefulness of the approach. 相似文献