On the numerical solution of axisymmetric domain optimization problems by dual finite element method

Shape optimization of an axisymmetric three-dimensional domain with an elliptic boundary value state problem is solved. Since the cost functional is given in terms of the cogradient of the solution, a dual finite element method based on the minimum of complementary energy principle is used. © 1994 John Wiley & Sons, Inc.     

Crystallization-induced asymmetric transformation. Application to conjugate addition of benzylamine to amides of benzoylacrylic acid

Adducts of the conjugate addition of benzylamine to enantiopure amides of aroylacrylic acid possess high enantiomeric and diastereomeric purity. A high degree of stereoselectivity has been achieved by means of crystallization-induced asymmetric transformation. A practical synthesis leading to dipeptides containing homophenylalanine is depicted.     

Inorganic Sol-Gel Preparation of Medium Sized Microparticles of Li2TiO3 from TiCl4 as Tritium Breeding Material for Fusion Reactors

Microspheres of Li₂TiO₃ were fabricated by a classical, inorganic sol-gel process from commercially available TiCl₄. Elaborated process consists of the following main steps: (1) dissolving of TiCl₄ in concentrated aqueous HCl and addition of LiOH; (2) formation of sol emulsion in 2-ethylhexanol-1 containing the surfactant SPAN-80 (EH); (3) gelation of emulsion drops by extraction of water with partially dehydrated EH; (4) impregnation of gel to Li:Ti molar ratio MR = 2; (5) thermal treatment at 1200°C in order to receive chloride free product. This temperature can be significantly lowered (to 750°C) by dechlorination starting solution TiCl₄ by chemical treatment of the with nitric acid to form of nitrate-stabilized titania sols. Tritium release from sol-gel made Li₂TiO₃ microspheres were found very close to that observed for other traditional materials, however for the first sample process starts slightly earlier.     

Enthalpies of sorption of linear hydrocarbons (C2–C8) and chloroderivatives of methane and ethylene on the surface of hydrotalcite

Differential molar adsorption enthalpies (DMAE) were determined by gas chromatographic measurements of specific retention volume of vapors on the surface of two forms of Mg–Al hydrotalcite. A linear dependence of the DMAE on the number of the carbon atoms in hydrocarbons was observed for both form of hydrotalcite. The dependence of the differential molar adsorption enthalpies on the number of chlorine atoms in organic molecules is discussed. A linear dependence of DMAE on the molecular weight of chloroderivatives of methane and ethylene on the basic form in an order monochloromethane < dichloromethane < trichloromethane or vinylidene chloride < 1,1-dichloroethylene < trichloroethylene was found.     

N‐{3‐[(2‐Ammonioethyl)amino]propyl}ethane‐1,2‐diaminium tris(trifluoromethanesulfonate): a salt of a folded triply protonated tetramine

The structure of a trifluoromethanesulfonate salt of a nontypical triply protonated linear tetramine, C₇H₂₃N₄³⁺·3CF₃SO₃⁻, with a layered crystal structure is presented. One N atom remains unprotonated. The conformation of the cation is enforced by intra‐ and intermolecular hydrogen bonds. The crystal structure is built of ca 10 Å deep layers, within which cations and anions are hydrogen bonded. Each layer is only weakly bound to its neighbours. This study shows a rare example of an unsymmetrically protonated polyamine and the relation between the lack of protonation, intramolecular hydrogen bonding and the conformation of the cation.     

A remark on Lorentz algebras

We consider the class of Euclidean algebras associated to Minkowski light cones and called Lorentz algebras. We prove that in Lorentz algebras the estimate ∥P(a,b) ∥_∞≥(√2-1) ∥a∥_∞ ∥b∥_∞ is valid for the spectral norm and is therefore independent of the dimension of the Lorentz algebra.     

An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

We prove lower bounds of the form exp(n^{ε d}), ε_d > 0, on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d, for any constant d. This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.     

Interpolation by a Game

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]).     

On a certain two-sided symmetric condition in magnetic field analysis and computations

A special two-sided condition for the incremental magnetic reluctivity is introduced which guarantees the unique existence of both the weak and the approximate solutions of the nonlinear stationary magnetic field distributed on a region composed of different media, as well as a certain estimate of the error between the two solutions. The condition, being discussed from the physical as well as the mathematical point of view, can be easily verified and is fulfilled for various magnetic reluctivity models used in electrotechnical practice.