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.     

Relating catalyst structure and composition to the water–gas shift activity of Cu–Zn-based mixed-oxide catalysts

In order to investigate the effect of cerium oxide on Cu–Zn-based mixed-oxide catalysts four catalyst samples were characterized by means of XRD, in situ XANES and thermogravimetric analysis. The activity of the catalyst samples was tested for the forward water–gas shift reaction. Cerium oxide was found to increase the crystallinity of the ZnO phase indicating a segregation of the Cu and ZnO phases. The TOF of the water–gas shift reaction based on chemisorption data was found to be independent of composition and preparation conditions of the four catalyst samples. In contrast, the catalyst stability depends on composition and preparation conditions. Cerium oxide impregnated before calcination of the hydrotalcite-based Cu–Zn precursors leads to a more stable water–gas shift catalyst.     

Fast and accurate 4‐node quadrilateral

An accurate and variationally consistent 4‐node quadrilateral element is introduced where high coarse mesh accuracy and low mesh distortion sensitivity are characteristic qualities, even when incompressibility is approached for plane strain. One‐point quadrature integration procedure is adopted and a new improved stabilization technique is developed. Orthogonality conditions are utilized so that the patch test is satisfied for arbitrary quadrilaterals. Several numerical examples including a convergence rate study are presented which confirm the excellent performance of this element. Copyright © 2004 John Wiley & Sons, Ltd.     

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.     

On the off-design of a natural gas-fired combined cycle with CO2 capture

During the last 15 years cycles with CO₂ capture have been in focus, due to the growing concern over our climate. Often, a natural gas fired combined cycle with a chemical absorption plant for CO₂ capture from the flue gases have been used as a reference in comparisons between cycles. Neither the integration of the steam production for regeneration of amines in the combined cycle nor the off-design behaviour of such a plant has been extensively studied before.     

Paper remote: an augmented television guide and remote control

The television (TV) is one of the most common entertainment devices in homes. Searching and finding TV programs is a common task and using TV guides is one way of performing this. This paper presents three studies that are focused on examining audiences’ TV habits and TV guide usage, evaluating a new concept based on linking paper and pen with TV technology, and studying the audiences’ attitudes toward and anticipated interest in the future guide. The results of our first study emphasize the value of using paper based TV guides and also identify the deficiencies. We also found indications that the advantages and disadvantages of paper-based TV guides are related to the physical properties of paper. Thus, we suggest a solution that uses digital pen and paper technology to offer a new interaction method for TV. A research system “Paper Remote”, is developed and used in the two subsequent studies. Viewers tick designated areas on the paper-based guide to perform actions such as channel switching. However, this solution is not a substitute for the remote control device. We argue that these user studies on linking digital paper to the TV for everyday information navigation illuminate the possibilities of providing innovative solutions also for home information systems also.     

经济的板对线连接方案——单排电缆连接器系统

更拥经济、节省空间但仍能提供高性能是许多现代电子系统所需求的板对线连接方案，间距1.27毫米的双排连接器（SMC）及板对板的连接被证明是个很好的选择。单排电缆MiniBridge连接器系统可用于非常致密和高要求的应用。[编按]     

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.