Preservativity logic: An analogue of interpretability logic for constructive theories

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.     

振动系统的模态分析实验设计

利用模态分析原理和简单试验仪器，得到了直观的悬臂梁和圆盘前4阶模态振型，使学生熟悉了模态分析原理和测试方法，有利于学生对振动规律的理解．     

The influence of hard‐segments on two‐phase structure and shape memory properties of PCL‐based segmented polyurethanes

Poly(ε‐caprolactone)‐based segmented polyurethanes (PCLUs) were prepared from poly(ε‐caprolactone) diol, diisocyanates (DI), and 1,4‐butanediol. The DIs used were 4,4′‐diphenylmethane diisocyanate (MDI), 2,4‐toluenediisocyanate (TDI), isophorone diisocyanate (IPDI), and hexamethylene diisocyanate (HDI). Differential scanning calorimetry, small‐angle X‐ray scattering, and dynamic mechanical analysis were employed to characterize the two‐phase structures of all PCLUs. It was found that HDI‐ and MDI‐based PCLUs had higher degree of microphase separation than did IPDI‐ and TDI‐based PCLUs, which was primarily due to the crystallization of HDI‐ and MDI‐based hard‐segments. As a result, the HDI‐based PCLU exhibited the highest recovery force up to 6 MPa and slowest stress relaxation with increasing temperature. Besides, it was found that the partial damage in hard‐segment domains during the sample deformation was responsible for the incomplete shape‐recovery of PCLUs after the first deformation, but the damage did not develop during the subsequent deformation. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 557–570, 2007     

Production of superfine fibers by the electrospinning method

Weakly conducting fluid flows in an electric field in the presence of phase interfaces are investigated theoretically and experimentally. The object of the investigation is an axisymmetric jet. The analysis is carried out within the framework of electrohydrodynamics (EHD) with allowance for surface charge transfer on mobile interfaces. The jet shape is calculated at large distances from the outflow point. The theoretical and experimental data are compared for Newtonian and polymeric fluids.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

Shape Hessian for generalized Oseen flow by differentiability of a minimax: A Lagrangian approach

The goal of this paper is to compute the shape Hessian for a generalized Oseen problem with nonhomogeneous Dirichlet boundary condition by the velocity method. The incompressibility will be treated by penalty approach. The structure of the shape gradient and shape Hessian with respect to the shape of the variable domain for a given cost functional are established by an application of the Lagrangian method with function space embedding technique. This work was supported by the National Natural Science Fund of China (No. 10371096) for ZM Gao and YC Ma.     

Diffusion in organic solvents: Interdiffusion coefficient of 1,1,2,2-tetrabromoethane

Interdiffusion coefficient have been measured for 1,1,2,2-tetrabromoethane in 21 organic solvents in order to ascertain the influence of shape, size, viscosity, nature and degree of branching, of the solvent molecules on transport properties. None of the existing correlations for diffusion in binary liquid systems appear to fit all the experimental data. Steric effects due to the solvent molecules are shown to be very important in the interpretation of the diffusion process.     

Comparison of the thermal behavior of three cellulose fibers mercerized or submitted to solar degradation

Comparison of Lyocell, modal and viscose fibers was performed by means of differential scanning calorimetry, thermogravimetry and scanning electron microscopy. Thermal analysis was performed in air atmosphere. Samples were mercerized (21.3 g 100 mL-1) or submitted to solar radiation (seven months). Solar degraded samples presents a higher thermal stability and are initially less degraded. Furthermore, Lyocell fiber is the most stable under thermal degradation conditions. Heating produces a reduction of the fiber diameter (about 50%). This revised version was published online in July 2006 with corrections to the Cover Date.