Panchromatic Chromophore Mixtures in an AlPO4‐5 Molecular Sieve: Spatial Separation Effects and Energy Transfer Cascades

Dye‐loaded AlPO₄‐5 single crystals were prepared by microwave‐assisted hydrothermal synthesis from a batch, containing a mixture of three chromophores (Coumarin 40, Rhodamine BE50, and Oxazine 1) differing in their absorption range, molecular dimensions, and solubilities. Confocal fluorescence images reveal a spatial separation effect of the dye molecules, where the slimmer, more‐soluble dye molecule (Coumarin 40) is uniformly distributed in the body of the single crystal, and the bulky and/or less‐soluble ones (Rhodamine BE50, Oxazine 1) are situated in distinct domains. Visible spectra show good panchromatic absorption of visible light. Fluorescence lifetime measurements indicate the presence of an energy transfer cascade of the entirely fixed dye molecules from Coumarin 40 to Oxazine 1. The transfer mechanism is predominantly radiative.     

Development and simulation studies of an unsteady state biofilter model for the treatment of cyclic air emissions of an α‐pinene gas stream

This paper describes the development and simulation of an unsteady state biofilter model used to predict dynamic behaviour of cyclically‐operated biofilters and compares it with experimental results obtained from three, parallel, bench‐scale biofilters treating both periodically fluctuating concentrations and constant concentrations of an α‐pinene‐laden gas stream. The dynamic model, using kinetic parameters estimated from the constant concentration biofilter, was able to predict the performance of cyclic biofilters operating at short cycle periods (ie, in the order of minutes and hours). Steady state kinetic data from a constant concentration biofilter can be used to predict unsteady state biofilter operation. At a 24 h cycle period, the dynamic model compared well with experimental results. For long cycle periods (ie, hours and days), removal efficiency decreased after periods of non‐loading: the longer the period of non‐loading, the poorer the biofilter's performance at the re‐commencement of pollutant loading. At longer time scales the model did not effectively predict transient behaviour, as adsorption and changes in kinetic parameters were not accounted for. Modelling results showed that similar biofiltration performance for the cyclic and constant concentration biofiltration of α‐pinene is expected for biofilters operating solely in the first order kinetics regime. Poorer performance for cyclic biofilters following Monod kinetics spanning the entire kinetics range is expected as the cycle amplitude increases. The most important parameters affecting the performance of a cyclically‐operated biofilter with short cycle periods are: amplitude of cyclic fluctuations, C_{g, max}/C_g, relative value of the half‐saturation constant in the Monod expression, K_s, and effective diffusivity of α‐pinene in the biofilm, D_e. Copyright © 2005 Society of Chemical Industry     

Finite element hourglassing control

A new hourglassing control technique for quadrilateral and hexahedral elements used in dynamic finite element codes is presented. Based on expansion of the strees in a Taylor series and retention of additional terms beyond the usual constant stress term, this technique has the advantage that actual rather than artificial material properties are used. Simplifications that render this technique competitive with artificial viscosity and stiffness procedures in terms of additional storage and computation requirements are described.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.