Advanced oxidation processes are defined as those which involve the generation of hydroxyl radicals in sufficient quantity to affect water purification. The theoretical and (practical yield of OH from O3 at high pH, 03/H202, O3/UV and H2O2/UV systems is reviewed. New data is presented which illustrates the importance of direct photolysis in the O3/UV process, the effect of the H202:03 ratio in the O3/H2O2 process, and the impact of the low extinction coefficient of H2O2 in the H202/UV process. 相似文献
Concerns regarding the possible environmental effects of organochlorine by‐products from bleaching of pulp with chlorine‐based compounds have led to the pulp and paper industry developing new bleaching sequences. Ozone, oxygen and hydrogen peroxide are the main reagents in these Totally Chlorine Free (TCF) bleaching processes.
In this study, eucalypt kraft pulps from a variety of Australian wood sources were subjected to bleaching sequences comprising oxygen, ozone and hydrogen peroxide/alkali extraction stages. The aqueous liquid effluents from each stage were analyzed by GC/MS for aldehydes, ketones, alcohols, carboxylic acids and other by‐products. Pentafluorobenzyl oxime derivatives of the aldehydes and ketones were analyzed by electron impact GC/MS. The major carbonyl compounds detected were formaldehyde, glyoxal, dimethylglyoxal and acetone. An homologous series of n‐aldehydes corresponding to cleavage of ω‐3, 6, 9 and 12 unsaturated fatty acids also was detected. Aromatic aldehydes were identified in the oxygen stage and high consistency ozone stages, but not in any medium consistency ozone or post‐ozone bleach stages. In all stages a series of saturated alkyl carboxylic acids from formic to octacosanoic acid was detected. Formic and acetic acids were present in the highest yield. Only trace quantities of unsaturated fatty acids were detected. Details of these and other compounds detected are discussed. 相似文献
In this work, we address some issues related to products of graphs and products of modal logics. Our main contribution is the presentation of a necessary and sufficient condition for a countable and connected graph to be a product, using a property called intransitivity. We then proceed to describe this property in a logical language. First, we show that intransitivity is not modally definable and also that no necessary and sufficient condition for a graph to be a product can be modally definable. Then, we exhibit a formula in a hybrid language that describes intransitivity. With this, we get a logical characterization of products of graphs of arbitrary dimensions. We then use this characterization to obtain two other interesting results. First, we determine that it is possible to test in polynomial time, using a model-checking algorithm, whether a finite connected graph is a product. This test has cubic complexity in the size of the graph and quadratic complexity in its number of dimensions. Finally, we use this characterization of countable connected products to provide sound and complete axiomatic systems for a large class of products of modal logics. This class contains the logics defined by product frames obtained from Kripke frames that satisfy connectivity, transitivity and symmetry plus any additional property that can be defined by a pure hybrid formula. Most sound and complete axiomatic systems presented in the literature are for products of a pair of modal logics, while we are able, using hybrid logics, to provide sound and complete axiomatizations for many products of arbitrary dimensions. 相似文献
