State space reduction for process algebra specifications

Data-flow analysis to identify “dead” variables and reset them to an “undefined” value is an effective technique for fighting state explosion in the enumerative verification of concurrent systems. Although this technique is well-adapted to imperative languages, it is not directly applicable to value-passing process algebras, in which variables cannot be reset explicitly due to the single-assignment constraints of the functional programming style. This paper addresses this problem by performing data-flow analysis on an intermediate model (Petri nets extended with state variables) into which process algebra specifications can be translated automatically. It also addresses important issues such as avoiding the introduction of useless reset operations and handling shared read-only variables that child processes inherit from their parents.     

Effects of pre‐freezing,puree content and pasteurisation regime on colour stability of strawberry nectar made from puree

BACKGROUND: Heat treatment during processing of strawberry products has been proposed to negatively affect colour stability. Moreover, the role of enzymes with respect to colour stability is ambiguous when consulting the existing literature. The aim of the present study was to investigate the impact of various processing parameters (pre‐freezing, puree content, pasteurisation temperature and heating time) on the colour stability and anthocyanin monomer and L ‐ascorbic acid contents of strawberry nectars made from puree. In addition, the effect of different enzyme activities on colour stability during storage of strawberry nectars was investigated. RESULTS: Pre‐freezing of strawberries before processing had a significant positive effect on the colour stability of nectars made from puree. No significant effect on colour stability was found for higher puree contents. Increasing both the pasteurisation temperature and the heating time had a significant positive effect on colour stability. Results showed that colour degradation during storage was mainly due to residual enzyme activities. The shelf‐life of strawberry nectar could be extended about fivefold by adding an enzyme inhibitor. CONCLUSION: The colour stability of strawberry nectar made from fresh puree may be improved to some extent by an appropriate pasteurisation regime. Enzymes play an important role in colour degradation during storage of the nectar. Inactivation of these enzyme activities, however, could not be achieved even after a heat treatment at 90 °C for 60 min. Copyright © 2008 Society of Chemical Industry     

Root colonisation by the arbuscular mycorrhizal fungus Glomus intraradices alters the quality of strawberry fruits (Fragaria × ananassa Duch.) at different nitrogen levels

BACKGROUND: Arbuscular mycorrhizal fungi (AMF) increase the uptake of minerals from the soil, thus improving the growth of the host plant. Nitrogen (N) is a main mineral element for plant growth, as it is an essential component of numerous plant compounds affecting fruit quality. The availability of N to plants also affects the AMF–plant interaction, which suggests that the quality of fruits could be affected by both factors. The objective of this study was to evaluate the influence of three N treatments (3, 6 and 18 mmol L^?1) in combination with inoculation with the AMF Glomus intraradices on the quality of strawberry fruits. The effects of each factor and their interaction were analysed. RESULTS: Nitrogen treatment significantly modified the concentrations of minerals and some phenolic compounds, while mycorrhization significantly affected some colour parameters and the concentrations of most phenolic compounds. Significant differences between fruits of mycorrhizal and non‐mycorrhizal plants were found for the majority of phenolic compounds and for some minerals in plants treated with 6 mmol L^?1 N. The respective values of fruits of mycorrhizal plants were higher. CONCLUSION: Nitrogen application modified the effect of mycorrhization on strawberry fruit quality. Copyright © 2010 Society of Chemical Industry     

Immobilization on a Nanomagnetic Co/C Surface Using ROM Polymerization: Generation of a Hybrid Material as Support for a Recyclable Palladium Catalyst

A novel hybrid material is reported as support for a recyclable palladium catalyst via surface immobilization of a ligand onto Co-based magnetic nanoparticles (NPs). A standard "click" reaction is utilized to covalently attach a norbornene tag (Nb-tag) to the surface of the carbon coated cobalt NPs. The hybrid magnetic nanoparticles are produced by initiating polymerization of a mixture containing both Nb-tagged ligand (Nb-tagged PPh (3)) and Nb-tagged carbon coated cobalt NPs. In turn, the norbornene units are suitably functionalized to serve as ligands for metal catalysts. A composite material is thus obtained which furnishes a loading that is one order of magnitude higher than the value obtained previously for the synthesis of functionalized Co/C-nanopowders. This allows for its application as a hybrid support with high local catalyst concentrations, as demonstrated for the immobilization of a highly active and recyclable palladium complex for Suzuki-Miyaura cross-coupling reactions. Due to the explicit magnetic moment of the cobalt- NPs, the overall magnetization of this organic/inorganic framework is significantly higher than of polymer coated iron oxide nanoparticles with comparable metal content, hence, its rapid separation from the reaction mixture and recycling via an external magnetic field is not hampered by the functionalized polymer shell.     

Spinning Angora Rabbit Wool‐Like Porous Fibers from a Non‐Equilibrated Gelatin/Water/2‐Propanol Mixture

Due to their porous structure, angora rabbit fibers make for some of the highest quality wool. The application of these fibers on a technical scale is not feasible due to their limited availability and high price. Here, a robust fiber preparation method is reported based on an unusual spinning process, where a non‐equilibrated, ternary system of protein, solvent, and non‐solvent is continuously processed into strong fibers with minimal energy input and harmless solvents. Gelatin—the degradation product of collagen—is chosen as the protein component because of its immense availability from slaughterhouse waste. Due to the sponge‐like structure of the ternary gelatin/water/2‐propanol spinning mixture, fibers with internal cavities are produced. The porous nature of these fibers resembles the morphology of angora rabbit fibers. Despite their high porosity, the here‐obtained gelatin fibers show clear re‐orientation of the fibrous protein and attain a mechanical performance similar to other bio‐ (e.g., wool, tendon collagen) and synthetic polymers (e.g., polytetrafluoroethylene, polyamide 6). These promising results motivate for broader investigations on the spinning of non‐equilibrium protein mixtures and suggest the use of porous gelatin fibers in textiles.     

Palladium Nanoparticles Supported on Magnetic Carbon‐Coated Cobalt Nanobeads: Highly Active and Recyclable Catalysts for Alkene Hydrogenation

Palladium nanoparticles are deposited on the surface of highly magnetic carbon‐coated cobalt nanoparticles. In contrast to the established synthesis of Pd nanoparticles via reduction of Pd(II) precursors, the microwave decomposition of a Pd(0) source leads to a more efficient Pd deposition, resulting in a material with considerably higher activity in the hydrogenation of alkenes. Systematic variation of the Pd loading on the carbon‐coated cobalt nanoparticle surface reveals a distinct trend to higher activities with decreased loading of Pd. The activity of the catalyst is further improved by the addition of 10 vol% Et₂O to iso‐propanol that is found to be the solvent of choice. With respect to activity (turnover frequencies up to 11 095 h^?1), handling, recyclability through magnetic decantation, and leaching of Pd (≤6 ppm/cycle), this novel magnetic hybrid material compares favorably to conventional Pd/C or Pd@CNT catalysts.     

Fiber-reinforced composites based on epoxy resins modified with elastomers and surface-modified silica nanoparticles

The properties of fiber-reinforced composites made using epoxy resin formulations can be improved using modified epoxy resins. As epoxies are inherently brittle, they are toughened with reactive liquid rubbers or core–shell elastomers. Surface-modified silica nanoparticles, 20 nm in diameter and with a very narrow particle size distribution, are available as concentrates in epoxy resins in industrial quantities for the past 10 years. Some of the drawbacks of toughening like lower modulus or a loss in strength can be compensated when using nanosilica together with these tougheners. Apparently, there exists a synergy as toughness and fatigue performance are increased significantly. Some of these improvements in bulk resin properties can be found for fiber-reinforced composites as well. In this article, the literature published in the last decade is studied with a focus on mechanical properties. Results are compared, and the mechanisms responsible for the property improvements are discussed. A relationship between the improvements of the fracture energy of the cured bulk epoxy resins and the fracture energy of the fiber-reinforced composites could be established.     

Oxide nanoparticle uptake in human lung fibroblasts: effects of particle size, agglomeration, and diffusion at low concentrations

Quantitative studies on the uptake of nanoparticles into biological systems should consider simultaneous agglomeration, sedimentation, and diffusion at physiologically relevant concentrations to assess the corresponding risks of nanomaterials to human health. In this paper, the transport and uptake of industrially important cerium oxide nanoparticles, into human lung fibroblasts is measured in vitro after exposing thoroughly characterized particle suspensions to a fibroblast cell culture for particles of four separate size fractions and concentrations ranging from 100 ng g(-1) to 100 microg g(-1) of fluid (100 ppb to 100 ppm). The unexpected findings at such low but physiologically relevant concentrations reveal a strong dependence of the amount of incorporated ceria on particle size, while nanoparticle number density or total particle surface area are of minor importance. These findings can be explained on the basis of a purely physical model. The rapid formation of agglomerates in the liquid is strongly favored for small particles due to a high number density while larger ones stay mainly unagglomerated. Diffusion (size fraction 25-50 nm) or sedimentation (size fraction 250-500 nm) limits the transport of nanoparticles to the fibroblast cells. The biological uptake processes on the surface of the cell are faster than the physical transport to the cell at such low concentrations. Comparison of the colloid stability of a series of oxide nanoparticles reveals that untreated oxide suspensions rapidly agglomerate in biological fluids and allows the conclusion thatthe presented transport and uptake kinetics at low concentrations may be extended to other industrially relevant materials.