Electrochemical impedance spectroscopy and linear polarization applied to evaluation of porosity of phosphate conversion coatings on electrogalvanized steels

In this work, electrochemical impedance spectroscopy and linear polarization are used in determining porosity of zinc phosphates, and of nickel and manganese modified zinc phosphates on electrogalvanized steel. The porosity of the phosphate layers ranges from 0.1% for the manganese-modified hopeite to 8% for hopeite, using the linear polarization and the electrochemical impedance spectroscopy techniques. The porosity values measured using the two techniques were in agreement. All impedance spectra of coated samples showed two steps, with two capacitive arcs and an inductive looping.     

An elementary proof of the uniqueness of invariant product measures for some infinite dimensional processesUne preuve élémentaire de l'unicité des mesures invariantes produits pour certains processus en dimension infinie

Consider an infinite dimensional diffusion process with state space , where T is the circle, and defined by an infinitesimal generator L which acts on local functions f as . Suppose that the coefficients a_i and b_i are smooth, bounded, of finite range, have uniformly bounded second order partial derivatives, that a_i are uniformly bounded from below by some strictly positive constant, and that a_i is a function only of η_i. Suppose that there is a product measure ν which is invariant. Then if ν is the Lebesgue measure or if d=1,2, it is the unique invariant measure. Furthermore, if ν is translation invariant, it is the unique invariant, translation invariant measure. The proofs are elementary. Similar results can be proved in the context of an interacting particle system with state space , with uniformly positive bounded flip rates which are finite range. To cite this article: A.F. Ram??rez, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 139–144     

Microperforated insertion units: An alternative strategy to design microperforated panels

Microperforated panels (MPPs) coupled to a rigid wall have been proposed recently as an alternative to porous absorbers in situations having concerns with bacterial contamination and small particles discharge, like food, pharmaceutical and microelectronic industries. There exists also an increasing interest for MPP absorbers in the transportation industry and civil engineering. In general, an optimally designed MPP with good broadband absorption requires many submillimetric holes distributed over a panel of also submillimetric thickness. Such thin plates or foils become so fragile that they need to be protected from mechanical damage. In this paper, an alternative strategy is investigated which allows the design of MPPs with panels of millimetric thickness while maintaining their acoustic performance. These absorbers, named microperforated insertion units (MIUs), avoid the structural problems of the classical MPPs. An assessment of the sound absorption properties of these structures is presented. Comparisons between calculations and measurements are also made under two experimental conditions: plane waves at normal incidence (impedance tube) and free field (anechoic room).     

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.