Strain induced strengthening of soft thermoplastic polyurethanes under cyclic deformation

We investigate the cyclic mechanical behavior in uniaxial tension of three different commercial thermoplastic polyurethane elastomers (TPU) often considered as a sustainable replacement for common filled elastomers. All TPU have similar hard segment contents and linear moduli but sensibly different large strain properties as shown by X-ray analysis. Despite these differences, we found a stiffening effect after conditioning in step cyclic loading which greatly differs from the common softening (also referred as Mullins effect) observed in chemically crosslinked filled rubbers. We propose that this self-reinforcement is related to the fragmentation of hard domains, naturally present in TPU, in smaller but more numerous sub-units that may act as new physical crosslinking points. The proposed stiffening mechanism is not dissimilar to the strain-induced crystallization observed in stretched natural rubber, but it presents a persistent nature. In particular, it may cause a local reinforcement where an inhomogeneous strain field is present, as is the case of a crack propagating in cyclic fatigue, providing a potential explanation for the well-known toughness and wear resistance of TPU.     

A normalizing system of natural deduction for intuitionistic linear logic

 The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination. Received: 10 October 2000 / Revised version: 26 July 2001 / Published online: 2 September 2002 Mathematics Subject Classification (2000): 03F52, 03F05 Keywords or phrases: Linear logic – Natural deduction – General elimination rules     

Stationary Distribution Function Estimation for Ergodic Diffusion Process

The problem of nonparametric stationary distribution function estimation by the observations of an ergodic diffusion process is considered. The local asymptotic minimax lower bound on the risk of all the estimators is found and it is proved that the empirical distribution function is asymptotically efficient in the sense of this bound.     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

Graphical operations on projective spaces

Motivated by the work of Crapo and Rota [6] on the lifting of a projective complex, we introduce a class of invariant operations associated to integral-weighted graphs, which we call graphical operations. Such operations generalize the sixth harmonic of a quadranguler set on a projective line. We determine the expansion of the graphical operations in terms of multi-linear bracket polynomials in a Grassmann-Cayley algebra. Reducibility and compositions of such invariant operations are also investigated with a number of examples.Supported by Courant Instructorship, New York University.     

An alternative for moduli stabilisation

The one-loop vacuum energy is explicitly computed for a class of perturbative string vacua where supersymmetry is spontaneously broken by a T-duality invariant asymmetric Scherk–Schwarz deformation. The low-lying spectrum is tachyon-free for any value of the compactification radii and thus no Hagedorn-like phase-transition takes place. Indeed, the induced effective potential is free of divergence, and has a global anti-de Sitter minimum where geometric moduli are naturally stabilised.     

Thermal reactions of tributyltin hydride with alpha-azido esters: unexpected intervention of tin triazene adducts under both nonradical and radical conditions

Thermal reaction of various alpha-azido esters with Bu(3)SnH in refluxing benzene results in smooth production of 3-(tributylstannyl)-1-triazene adducts affording cyclized 1,2,3-triazol-4-ones in preference to reduced amines and thence provides a new useful method for the preparation of these triazole derivatives. In the presence of AIBN the occurrence of triazene products still remains important or even exclusive and, consequently, generation of the expected stannylaminyl radicals is seriously limited. With 2-azidomalonates and alpha-azido-beta-keto esters stannyltriazenes can similarly occur in the absence of the radical initiator, but in the latter cases the ensuing triazenes undergo preferential cyclization onto the ketone moiety to give reactive hydroxytriazolines. Contrary to alpha-azido esters, in the presence of AIBN alpha-azido-beta-keto esters as well as azidomalonates give rise only to the usual stannylaminyl radicals. A possible explanation for the different behavior of the mono- and dicarbonyl azides in the presence of AIBN is put forward.     

Intramolecular cyclization of acyl radicals onto the azido group: a new radical approach to cyclized lactams

[reaction: see text] Aryl- and alkyl-derived azidoacyl radicals, generated from thiolesters by intramolecular homolytic substitution at the sulfur, can undergo five- and six-membered cyclization onto the azido moiety to give cyclized lactams.