Path resolution for nested recursive modules

The ML module system facilitates the modular development of large programs, through decomposition, abstraction and reuse. To increase its flexibility, a lot of work has been devoted to extending it with recursion, which is currently prohibited. The introduction of recursion adds expressivity to the module system. However it also creates problems that a non-recursive module system does not have. In this paper, we address one such problem, namely resolution of path references. Paths are how one refers to nested modules in ML. Without recursion, well-typedness guarantees termination of path resolution, in other words, we can statically determine the module that a path refers to. This does not always hold with recursive module extensions, since the module system then can encode a lambda-calculus with recursion, whose termination is undecidable regardless of well-typedness. We formalize this problem of path resolution by means of a rewrite system on paths and prove that the problem is undecidable even without higher-order functors, via an encoding of the Turing machine into a calculus with just recursive modules, first-order functors, and nesting. Motivated by this result, we introduce a further restriction on first-order functors, limiting polymorphism on functor parameters by requiring signatures for functor parameters to be non-recursive, and show that this restriction is decidable and admits terminating path resolution.     

Role of strain induced crystallization and oxidative crosslinking in fracture properties of rubbers

Tensile properties and crack propagation properties, especially critical strain energy release rate in mode I, G_IC, have been used to investigate fracture properties of elastomers and their relationships with microstructure. These investigations were mainly based on a series of comparisons: first, the behaviour of polychloroprene rubber (CR), undergoing stress hardening due to strain induced crystallization (SIC) and oxidative crosslinking (OCL) was compared with that of chlorinated polyethylene (CPE), which undergoes SIC but not OCL, and with a polyurethane based on hydroxyl terminated polybutadiene (PU) which undergoes OCL but not SIC. Comparisons were also made on CR between fracture behaviour at ambient temperature, where SIC occurs and at 100 °C where there is no SIC. Finally, oxidative crosslinking was used to vary in a continuous way the crosslink density in CR and PU, in order to evaluate the role of crosslinking in fracture behaviour.     

Determination of Amylose in Cereal and Non-Cereal Starches by a Colorimetric Assay: Collaborative Study

An improved colorimetric method, based on the well-known reaction between amylose and iodine, is described. Native starch is dissolved in ureadimethylsulfoxide and the resulting solution defatted with ethanol. An aliquot of the lipid-free solution is then reacted with iodine and the absorbance of the blue-coloured amylose-iodine complex measured, thus determining the iodine-binding capacity of starch (Blue Value). A collaborative study was conducted, according to official guidelines, to determine the method's repeatability and reproducibility: 8 participants were each sent 8 starch samples from different botanic origin for duplicate analysis. Statistical evaluation of the results gave good precision results, with an average repeatability relative standard deviation of 2.1% and an average reproducibility relative standard deviation of 5.6%. The method is, therefore, suitable to determine precisely the amylose content of native starch.     

H3PW12O40 acid dispersed on its Cs salt: improvement of its catalytic properties by mechanical mixture and grinding

Acidic cesium salts Cs_x H_3-xPW₁₂O₄₀ have been prepared by grinding together amounts of H₃PW₁₂O₄₀ and porous Cs₃PW₁₂O₄₀ compounds in varying stoichiometries. It is shown that this procedure leads to a dispersion of the acid on top of the high surface area Cs₃PW₁₂O₄₀ salt (160 m² g^-1), and, subsequently, yields high surface area materials which exhibit a much higher catalytic activity for n-butane isomerisation at 473 K when compared with samples prepared directly by chemical precipitation. This improvement holds particularly true with low Cs content (x < 2). This revised version was published online in July 2006 with corrections to the Cover Date.     

Specific cationic photoinitiators for near UV and visible LEDs: Iodonium versus ferrocenium structures

Two iodonium salts based on a coumarin chromophore are investigated for polymerization upon light emitting diode irradiations (LEDs). They work as one‐component photoinitiators. They initiate the cationic polymerization of epoxides (under air) and vinylethers (laminate) upon exposure to violet LEDs (385 and 405 nm). Excellent polymerization profiles are recorded. Their efficiency is quite similar to that of a ferrocenium salt. Interpenetrating polymer networks can also be obtained through a concomitant cationic/radical photopolymerization of an epoxy/acrylate blend monomer. The light absorption properties of these new salts as well as the involved photochemical mechanisms are investigated for the first time through electron spin resonance, laser flash photolysis, steady state photolysis experiments. Molecular orbital calculations are also used to shed some light on the initiation mechanisms. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 42759.     

Microwave-Assisted Synthesis of Phenothiazine and Quinoline Derivatives

Application of a dynamic microwave power system in the chemical synthesis of some phenothiazine and quinoline derivatives is described. Heterocyclic ring formation, aromatic nucleophilic substitution and heterocyclic aldehydes/ketones condensation reactions were performed on solid support, or under solvent free reaction conditions. The microwave-assisted Duff formylation of phenothiazine was achieved. Comparison of microwave-assisted synthesis with the conventional synthetic methods demonstrates advantages related to shorter reaction times and in some cases better reaction yields.     

Sequestration and metabolism of protoxic pyrrolizidine alkaloids by larvae of the leaf beetle Platyphora boucardi and their transfer via pupae into defensive secretions of adults

Several neotropical leaf-beetles of the genus Platyphora ingest and specifically metabolize plant acquired pyrrolizidine alkaloids (PAs) of the lycopsamine type (e.g., rinderine or intermedine) and enrich the processed alkaloids in their exocrine defensive secretions. In contrast to the related palaearctic leaf beetles of the genus Oreina, which absorb and store only the non-toxic alkaloid N-oxides, Platyphora sequesters PAs exclusively as protoxic tertiary amines. In this study, the ability of P. boucardi larvae to accumulate PAs was investigated. Tracer studies with [¹⁴C]rinderine and its N-oxide revealed that P. boucardi larvae, like adult beetles, utilize the two alkaloidal forms with the same efficiency, but accumulate the alkaloid as a tertiary amine exclusively. Ingested rinderine is rapidly epimerized to intermedine, which is localized in the hemolymph and all other tissues; it is also detected on the larval surface. Like adults, larvae are able to synthesize their own alkaloid esters (beetle PAs) from orally administered [¹⁴C]retronecine and endogenous aliphatic 2-hydroxy acids. These retronecine esters show the same tissue distribution as intermedine. A long-term feeding experiment lasting for almost four months revealed that retronecine esters synthesized from [¹⁴C]retronecine in the larvae are transferred from larvae via pupae into the exocrine glands of adult beetles. Pupae contain ca. 45% of the labeled retronecine originally ingested, metabolized, and stored by larvae; ca. 12% of larval radioactivity could be recovered from the defensive secretions of adults sampled successively over two and a half months. Almost all of this radioactivity is found in the insect-made retronecine esters that are highly enriched in the defensive secretions, i.e., more than 200-fold higher concentration compared to pupae.     

Numerical Simulations of the Effect of Conical Dimension on the Hydrodynamic Behaviour in Spouted Beds

The flow behaviours of gas‐solids were predicted by means of a hydrodynamic model of dense gas‐solid flow in spouted beds. Constitutive equations describing the particulate solids pressure and viscosity were implemented into a hydrodynamic simulation computer program. The effect of operating conditions (inclined angle and gas spouting velocity) on particle velocity and concentration in the spout, annulus and fountain regions were numerical studied. Both vertical and horizontal particle velocities increased with increasing spouting gas velocity. The diameter of the spout increases with decreasing the inclination angle. As the inclination angle is set greater than 60°, the spout cross‐section starts becoming bottlenecked, limiting the upwards flow of solids.