Chemically controlled pattern formation in phase-separating materials

Summary The role of chemical reactions in the selection of patterns in phase-separating mixtures is presented. Linearized theory and computer simulation show that the initial long-wavelength instability characteristic of spinodal decomposition is suppressed by chemical reactions, which restrict domain growth to intermediate length scales even in the late stages of phase separation. Our findings suggest that chemical reactions may provide a novel way to stabilize and tune the steady-state morphology of phase-separating materials. Paper presented at the I International Conference on Scaling Concepts and Complex Fluids, Copanello, Italy, July 4–8, 1994.     

示差半微分循环伏安法研究琥珀酰胆碱在水/硝基苯界面的传递行为

研究了油/水界面电解的示差半微分循环伏安行为。在0.01mol/L LiCl(w)-0.01mol/L TBATCIPB(nb)体系“电位窗”比TBATPB(nb)向正方向扩展约50mV,残余电流基本消除,使“电位窗”内的平台向左右拓宽约50mV。算得界面电容约为16μF/cm~2。考察了琥珀酰胆碱离子在w/nb界面的传递伏安特性,结果与一般半微分循环伏安法相似。但峰形改善,检测限降低一个数量级(1×10~(-6)mol/L),相对标准偏差在5％以内,可用于定量测定琥珀酰胆碱。     

Normal Vietoris Implies Compactness: A Short Proof

One of the most celebrated results in the theory of hyperspaces says that if the Vietoris topology on the family of all nonempty closed subsets of a given space is normal, then the space is compact (Ivanova-Keesling-Velichko). The known proofs use cardinality arguments and are long. In this paper we present a short proof using known results concerning Hausdorff uniformities.     

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.     

A purely algebraic characterization of the hyperreal numbers

The hyperreal numbers of nonstandard analysis are characterized in purely algebraic terms as homomorphic images of a suitable class of rings of functions.

     

Integer linear programming models for 2-staged two-dimensional Knapsack problems

 We are given a unique rectangular piece of stock material S, with height H and width W, and a list of m rectangular shapes to be cut from S. Each shape's type i (i = 1, ..., m) is characterized by a height , a width , a profit , and an upper bound ub _i indicating the maximum number of items of type i which can be cut. We refer to the Two-Dimensional Knapsack (TDK) as the problem of determining a cutting pattern of S maximizing the sum of the profits of the cut items. In particular, we consider the classical variant of TDK in which the maximum number of cuts allowed to obtain each item is fixed to 2, and we refer to this problem as 2-staged TDK (2TDK). For the 2TDK problem we present two new Integer Linear Programming models, we discuss their properties, and we compare them with other formulations in terms of the LP bound they provide. Finally, both models are computationally tested within a standard branch-and-bound framework on a large set of instances from the literature by reinforcing them with the addition of linear inequalities to eliminate symmetries. Received: October 17, 2000 / Accepted: December 19, 2001 Published online: September 27, 2002 Key words. packing – cutting – integer linear programming     

The unsatisfiability threshold revisited

The problem of determining the unsatisfiability threshold for random 3-SAT formulas consists in determining the clause to variable ratio that marks the experimentally observed abrupt change from almost surely satisfiable formulas to almost surely unsatisfiable. Up to now, there have been rigorously established increasingly better lower and upper bounds to the actual threshold value. In this paper, we consider the problem of bounding the threshold value from above using methods that, we believe, are of interest on their own right. More specifically, we show how the method of local maximum satisfying truth assignments can be combined with results for the occupancy problem in schemes of random allocation of balls into bins in order to achieve an upper bound for the unsatisfiability threshold less than 4.571. In order to obtain this value, we establish a bound on the q-binomial coefficients (a generalization of the binomial coefficients). No such bound was previously known, despite the extensive literature on q-binomial coefficients. Finally, to prove our result we had to establish certain relations among the conditional probabilities of an event in various probabilistic models for random formulas. It turned out that these relations were considerably harder to prove than the corresponding ones for unconditional probabilities, which were previously known.     

Assignments of methanol laser lines by frequency measurements and Fourier transform spectroscopy

We have measured the frequencies of four CH₃OH far-infrared laser lines that were previously known only by wavelength measurement. Two of these lines turned out to be doublets, bringing the total number of measured lines to six. We can now confirm the assignments of five of them and definitely disprove the assignments proposed for the sixth.In particular we confirm the assignments for the four strong laser lines at 205 and 208 µm pumped by the 9-P(34) CO₂ laser line. These lines share a common upper level in the first excited CO-stretch state, and terminate in the upper and lower levels of a hybrid state with J=5. Heterodyne frequency measurements and conventional microwave spectroscopy show that both lines are split into two components approximately 3.5 MHz apart. The origin of this further splitting is interpreted as a perturbed K-splitting.Work supported by Consiglio Nazionale delle Ricerche -Italia