Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

An atomic representation of a Herbrand model (ARM) is a finite set of (not necessarily ground) atoms over a given Herbrand universe. Each ARM represents a possibly infinite Herbrand interpretation. This concept has emerged independently in different branches of computer science as a natural and useful generalization of the concept of finite Herbrand interpretation. It was shown that several recursively decidable problems on finite Herbrand models (or interpretations) remain decidable on ARMs.The following problems are essential when working with ARMs: Deciding the equivalence of two ARMs, deciding subsumption between ARMs, and evaluating clauses over ARMs. These problems were shown to be decidable, but their computational complexity has remained obscure so far. The previously published decision algorithms require exponential space. In this paper, we prove that all mentioned problems are coNP-complete.     

Synergistic effect of benzoate and benzotriazole on passivation of mild steel

The electrochemical behaviour of mild steel was investigated in near neutral air saturated solutions containing benzoate (Bzo) and benzotriazole (BTA), separately or mixed. In the benzoate/BTA mixtures the open circuit passivation was found to be much better than in pure benzoate electrolytes. Electrochemical impedance spectroscopy (EIS) measurements resulted in characteristic Bode plots due to the synergistic effect of both inhibitors in the presence of oxygen. Open circuit potential (OCP) measurements vs. time supported the observed behaviour. The inhibition effect can be attributed to the blocking of surface sites for anodic dissolution by benzoate and a subsequent strong adsorption of benzotriazole on the natural oxide layer.     

Investigation of diamond deposition uniformity and quality for freestanding film and substrate applications

In this paper, we report on microwave CVD deposition of high quality polycrystalline diamond and on related post-processing steps to produce smooth, flat and uniformly thick films or diamond substrates. The deposition reactor is a 2.45 GHz microwave cavity applicator with the plasma confined inside a 12 cm diameter fused silica bell jar. The deposition substrates utilized are up to 75 mm diameter silicon wafers. The substrate holder is actively cooled with a water-cooled substrate holder to achieve a substrate surface temperature of 600–1150 C. The pressure utilized is 60–180 Torr and the microwave incident power is 2–4.5 kW. Important parameters for the deposition of thick films with uniform quality and thickness include substrate temperature uniformity as well as plasma discharge size and shape. As deposited thickness uniformities of ± 5% across 75 mm diameters are achieved with simultaneous growth rates of 1.9 μm/h. The addition of argon to the deposition gases improves film deposition uniformity without decreasing growth rate or film quality, over the range of parameters investigated. Post-processing includes laser cutting of the diamond to a desired shape, etching, lapping and polishing steps.     

Glycerolysis of Fatty Acid Methyl Esters: 1. Investigations in a Batch Reactor

The present work focused on the glycerolysis of fatty acid methyl esters. The aim was to develop and test a kinetic model that could be used to reliably simulate different process alternatives for this reaction. A prerequisite was the identification and characterization of the factors that affect the reaction kinetics. Experiments were carried out in a batch reactor with and without forced removal of methanol, which is one of the reaction products. Concentrations of all components in the two-phase system were measured. It was found that the methanol concentration has a strong effect on the reaction rate and equilibrium conversion. Near-complete conversions were obtained by stripping methanol with an inert gas. The glycerol concentration in the ester phase was found to increase as the reaction proceeds, which also accelerates the reaction. Effects of mass transfer on the reaction rate were not found to control the reaction rate under well-agitated conditions. A semi-empirical model was used to simulate the reaction. The results from the semi-empirical model show good agreement with experimental results.     

40 GHz Vertical Transition with a Dual‐Mode Cavity for a Low‐Temperature Co‐fired Ceramic Transceiver Module

A new vertical transition between a substrate integrated waveguide in a low‐temperature co‐fired ceramic substrate and an air‐filled standard waveguide is proposed in this paper. A rectangular cavity resonator with closely spaced metallic vias is designed to connect the substrate integrated waveguide to the standard air‐filled waveguide. Physical characteristics of an air‐filled WR‐22 to WR‐22 transition are compared with those of the proposed transition. Simulation and experiment demonstrate that the proposed transition shows a ?1.3 dB insertion loss and 6.2 GHz bandwidth with a 10 dB return loss for the back‐to‐back module. A 40 GHz low‐temperature co‐fired ceramic module with the proposed vertical transition is also implemented. The implemented module is very compact, measuring 57 mm × 28 mm × 3.3 mm.     

A numerical model for fluid injection induced seismicity at Soultz-sous-Forêts

During fluid injection experiments at the geothermal site of Soultz-sous-Forêts (France), more than 114,000 induced seismic events with magnitudes between ?2.0 and +2.9 were detected by a local downhole monitoring network. Of these, 35,039 events are sufficiently constrained to be located. Hypocenters align along a sub-vertical, planar structure with the apparent width being dominated by data scattering indicating that seismic activity predominantly occurs along a (pre-existing) larger scale fault structure. For this scenario, we present a numerical model to simulate hydraulic overpressures and induced seismicity during hydraulic injection. The numerical model is based on the physical processes of fluid pressure and stress diffusion with triggering of the induced seismicity being controlled by Coulomb friction.Even in its simplest form of a fault zone without any structural heterogeneity, the numerical model reproduces typical observations at Soultz-sous-Forêts, such as number and magnitude of induced events, hypocenter locations (including the Kaiser effect), occurrence of post-injection seismicity, and the largest magnitude event occurring several days after shut-in.     

Evaluating the impacts of membrane type, coating, fouling, chemical properties and water chemistry on reverse osmosis rejection of seven nitrosoalklyamines, including NDMA

Reverse osmosis (RO) treatment has been found to be effective for a wide range of organics but generally small, polar, uncharged molecules such as N-nitrosodimethylamine (NDMA) can be poorly rejected. The rejection of seven N-nitrosoalkylamines with molecular masses in the range of 78-158Da, including NDMA, N-nitrosodiethylamine (NDEA), N-nitrosomethylethylamine (NMEA), N-nitrosodipropylamine (NDPA), N-nitrosodibutylamine (NDBA), N-nitrosopyrrolidine (NPyr), N-nitrosopiperidine (NPip) by three commercial brackish-water reverse osmosis membranes was studied in flat-sheet cells under cross-flow conditions. The membranes used were ESPA3 (Hydranautics), LFC3 (Hydranautics) and BW-30 (Dow/Filmtec), commonly used in water reuse applications. The effects of varying ionic strength and pH, dip-coating membranes with PEBAX 1657, a hydrophilic polymer, and artificial fouling with alginate on nitrosamine rejection were quantified. Rejection in deionized (DI) water increased with molecular mass from 56 to 70% for NDMA, to 80-91% for NMEA, 89-97% for NPyr, 92-98% for NDEA, and to beyond the detection limits for NPip, NDPA and NDBA. For the nitrosamines with quantifiable transmission, linear correlations (r(2)>0.97) were found between the number of methyl groups and the log(transmission), with factor 0.35 to 0.55 decreases in transmission per added methyl group. A PEBAX coating lowered the ESPA3 rejection of NDMA by 11% but increased the LFC3 and BW30 rejection by 6% and 15%, respectively. Artificially fouling ESPA3 membrane coupons with 170g/m(2) alginate decreased the rejection of NDMA by 18%. A feed concentration of 100mM NaCl decreased rejection of NDMA by 15% and acidifying the DI water feed to pH=3 decreased the rejection by 5%, whereas increasing the pH to 10 did not have a significant (p<0.05) effect.     

Zum einfluß des borat-anions auf die elektrochemischen eigenschaften des eisens in Wäßrigen Lösungen

Measurements of potential—time and current density—potential curves of iron were carried out in air-saturated and argon-flushed sodium borate solutions of different concentrations and pH to determine whether borate anions possibly influence the electrochemical behaviour of iron even in the absence of oxygen. The critical minimum pH necessary for passivating iron in air-saturated borate solutions has been established. Using these results and those taken from the literature we discuss the role of the borate anion in possibly stimulating the process of oxygen reduction and/or in influencing the process of metal oxydation, respectively. The latter influence, leading to a decrease of the critical current density, does not absolutely require the presence of oxygen. However, with the formation of hydrogen as the cathodic reaction it cannot give rise to the passive state of iron. The relation between the potential of the passive iron electrode in air-saturated borate solutions and the pH is explained by Fe(III)-borohydroxo-complexes possibly being formed on the solution side of the passive layer.