Quality Control for Scalable Media Processing Applications

Many media processing applications create a load that varies significantly over time. Hence, if such an application is assigned a lower processing-time budget than needed in its worst-case load situation, deadline misses are likely to occur. This problem can be dealt with by designing media processing applications in a scalable fashion. A scalable media processing application can run in multiple qualities, leading to correspondingly different resource demands. The problem we consider is to find an accompanying quality control strategy, which minimizes both the number of deadline misses and the number of quality changes, while maximizing the quality of processing. We present an initial approach to the above problem by modeling it as a Markov decision process (MDP). Our model is based on measuring relative progress at milestones. Solving the MDP results in a quality control strategy that can be applied during runtime with only little overhead. We evaluate our approach by means of a practical example, which concerns a scalable MPEG-2 decoder.     

Understanding TES microcalorimeter noise and energy resolution

We have performed numerical calculations of the noise in voltage-biased superconducting transition edge-based X-ray microcalorimeters, using a finite-element model. Details of the model are discussed, as well as results for different absorber geometries. The results are in agreement with an analytical model and show that the amount of internal thermal fluctuation noise can be reduced by using a segmented absorber. The simulation also agrees well with experimental data, which, for our detectors, contain no major unidentified noise sources. Furthermore, the discrepancy between the (small-signal) theoretical and the measured energy resolutions for 5.9 keV X-rays, for our sensors typically a factor of 2, is explained by a more accurate modelling of the sensor responsivity, taking into account the large signal behaviour.     

Corroles as receptors in liquid membrane electrodes and their potentiometric response towards salicylic acid

Here, we report on the application of corroles as analytically active compounds in liquid membrane electrodes (ISE) that are sensitive towards salicylic acid and salicylate.The potentiometric signals generated by corrole-incorporated ISEs strongly depend on the pH of the aqueous sample solution and the membrane composition, such as the presence of lipophilic sites. Corrole incorporating ISEs are characterised by a low detection limit (4.0 × 10⁻⁵ M) and a wide linear range (4.0 × 10⁻⁵ to 5.3 × 10⁻³ M). Also, they are free from interference versus other organic anions.The mechanism of the generation of the potentiometric signals of corrole incorporating ISEs in the presence of salicylate anion, as well salicylic acid, will be discussed.     

Uncertainty Matters: Computer Models at the Science–Policy Interface

The use of computer models offers a general and flexible framework that can help to deal with some of the complexities and difficulties associated with the development of water management plans as prescribed by the Water Framework Directive. However, despite the advantages modelling presents, the integration of information derived from models into policy is far away from being trivial or the norm. Part of the difficulties of this integration is rooted in the lack of confidence policy makers have on the incorporation of modelling information into policy formulation. In this paper we examine the reasons for this apparent lack of confidence and explore how some tools, presently in use, address this problem. We conclude that public confidence in models is highly dependent on the way uncertainties are addressed and suggest possible directions of action to improve the current situation. Four real case studies illustrate how computer models have been used in The Netherlands for carrying out management plans at regional and national scale. We suggest that the solution to integrate modelling information into policy formulation lies on both the modelling and the policy-making communities.     

A criterion for atomicity revisited

Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and Lamport. Several implementations of atomic variables by lower level primitives are known. A few years ago, we formulated a criterion to prove the correctness of such implementations. The proof of correctness of the criterion itself was based on Lynch’s definition of atomicity by serialization points. Here, this criterion is reformulated as a specification HRW in the formal sense. Simulations from HRW to ARW and vice versa are constructed. These now serve as a constructive proof of correctness of the criterion. Eternity variables are used in the simulation from HRW to ARW. We propose so-called gliding simulations to deal with the problems that appear when occasionally the concrete implementation needs fewer steps than the abstract specification.     

Inside Front Cover: Homeotropic Alignment of Columnar Liquid Crystals in Open Films by Means of Surface Nanopatterning (Adv. Mater. 6/2007)

Columnar liquid crystals (LCs) are found to spontaneously form homeotropically‐aligned films when deposited on surfaces fabricated via friction transfer of polytetrafluoroethylene. The inside cover schematically shows the film structure of a phthalocyanine derivative together with the corresponding X‐ray diffraction pattern (inset). The results, reported on p. 815 by Dmitri Ivanov and co‐workers, indicate that not only are the columns homeotropically oriented but also that they form a single monodomain of macroscopic size. These findings can have an important impact for fabrication of LC‐based organic solar cells.     

Phase Composition During Palm Olein Fractionation and its Effect on Soft PMF and Superolein Quality

Refined palm olein was dry fractionated via three different cooling programs on laboratory-scale fractionation equipment. The enrichment and depletion of the main triacylglycerols in the liquid and solid phase was plotted as a function of the crystallization degree of the oil. It was shown that for the given conditions and palm olein composition, the initial crystals mainly consisted of PPP, diacylglycerols, POP and PLP. At higher crystallization degrees, a sharp viscosity increase in the crystal suspension was primarily related to an obvious decrease of POP but also of POS in the recovered superolein, while the general crystallization rate of the system remained unchanged. Rather than a change in crystallization rate of POP, a change in the ratio between the crystallizing monounsaturated triacylglycerols is linked with the high viscosity of the crystal slurry. For a comparable degree of crystallization, the superolein of the more viscous crystal slurry, obtained through a membrane press filtration up to 15 bar, was more unsaturated than the superolein filtered from the less viscous slurry. Consequently, the high unsaturation in the corresponding soft palm mid fraction is only the result of an incomplete phase separation, and not due to an increased intersolubility of unsaturated triacylglycerols in the crystals.     

Polymerization of liquid propylene with a fourth‐generation Ziegler–Natta catalyst: Influence of temperature,hydrogen, monomer concentration,and prepolymerization method on powder morphology

Liquid propylene was polymerized in a 5‐L autoclave batch reactor using a commercially available TiCl₄/MgCl₂/Al(ethyl)₃/DCPDMS Ziegler–Natta catalyst, with a phthalate ester as internal electron donor. The powders from these polymerizations were characterized using laser diffraction particle size distribution (PSD) analysis, scanning electron microscopy (SEM), and bulk density measurements. These characteristics were analyzed as a function of the process conditions, including hydrogen and monomer concentration, polymerization temperature, and the prepolymerization method. It was shown that polymerization temperature influences the powder morphology to a large extent. At low temperatures, high‐density particles were obtained, showing regular shaped particle surfaces and low porosities. With increasing temperature, the morphology gradually was transferred into a more open structure, with irregular surfaces and poor replication of the shape of the catalyst particle. When using a prepolymerization step at a relatively low temperature, the morphology obtained was determined by this prepolymerization step and was independent from conditions in main polymerization. The morphology obtained was the same as that observed after a full polymerization at temperature. Even when using a short polymerization at an increasing temperature, the morphology was strongly influenced by the initial conditions. The effect of variation in hydrogen concentration supported the conclusion that the initial polymerization rate determines the powder morphology. In the absence of hydrogen, high bulk densities, and regularly shaped particles were obtained, even at high temperatures. With increasing hydrogen concentration, the reaction rates increased rapidly, and with that changed the morphology. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 87: 1421–1435, 2003