Achieving flue gas desulphurization with membrane gas absorption

Membrane gas absorption (MGA) is an efficient and flexible way to carry out gas-liquid (G-L) contacting operations with hollow fibre membranes. The main advantages of membrane gas absorption over conventional G-L contactors is the compactness and low weight of the installation, the standard modular construction elements and the flexible operation. Gas and liquid flow can be controlled independently in the MGA process, which makes operation over a wide range of liquid and gas flow rates possible. In a MGA installation no entrainment, flooding, channelling or foaming occurs. Rob Klaassen and Albert E Jansen, TNO Environment, Energy and Process Innovation, discuss the principle of this technology, the benefits of newly developed membrane modules and their potential applications.     

Ready to preorder: The case of weak process semantics

Recently, Aceto, Fokkink and Ingólfsdóttir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time-branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence—its kernel. Moreover, if the former axiomatisation is ω-complete, so is the latter. Subsequently, de Frutos Escrig, Gregorio Rodríguez and Palomino generalised this result, so that the algorithm is applicable to any preorder at least as coarse as the ready simulation preorder, provided it is initials preserving. The current paper shows that the same algorithm applies equally well to weak semantics: the proviso of initials preserving can be replaced by other conditions, such as weak initials preserving and satisfying the second τ-law. This makes it applicable to all 87 preorders surveyed in “the linear time-branching time spectrum II” that are at least as coarse as the ready simulation preorder. We also extend the scope of the algorithm to infinite processes, by adding recursion constants. As an application of both extensions, we provide a ground-complete axiomatisation of the CSP failures equivalence for BCCS processes with divergence.     

80 million tiny images: a large data set for nonparametric object and scene recognition

With the advent of the Internet, billions of images are now freely available online and constitute a dense sampling of the visual world. Using a variety of non-parametric methods, we explore this world with the aid of a large dataset of 79,302,017 images collected from the Internet. Motivated by psychophysical results showing the remarkable tolerance of the human visual system to degradations in image resolution, the images in the dataset are stored as 32 x 32 color images. Each image is loosely labeled with one of the 75,062 non-abstract nouns in English, as listed in the Wordnet lexical database. Hence the image database gives a comprehensive coverage of all object categories and scenes. The semantic information from Wordnet can be used in conjunction with nearest-neighbor methods to perform object classification over a range of semantic levels minimizing the effects of labeling noise. For certain classes that are particularly prevalent in the dataset, such as people, we are able to demonstrate a recognition performance comparable to class-specific Viola-Jones style detectors.     

Contact through canvas: an entertaining encounter

When meeting someone new, the first impression is often influenced by someone’s physical appearance and other types of prejudice. In this paper, we present TouchMeDare, an interactive canvas, which aims to provide an experience when meeting new people, while preventing visual prejudice and lowering potential thresholds. The focus of the designed experience was to stimulate people to get acquainted through the interactive canvas. TouchMeDare consists of a flexible, opaque canvas, which plays music when touched simultaneously from both sides. Dynamic variation of this bodily contact is reflected through real-time adaptations of the musical compositions. Two redesigns were qualitatively and quantitatively evaluated and a final version was placed in the Lowlands Festival as a case study. Evaluation results showed that some explanation was needed for the initial interaction with the installation. On the other hand, after this initial unfamiliarity passed, results showed that making bodily contact through the installation did help people to get acquainted with each other and increased their social interaction.     

A three phase serpentine micro electrode array for AC electroosmotic flow pumping

A new three-phase electrode array with a serpentine electrode is designed and prototyped using PolyMUMPs process for micro flow pumping. Numerical model of the micropump has been developed using COMSOL Multiphysics™. Experimental testing is conducted and time-averaged flow velocities from testing and simulation agree well. Peak time-averaged flow velocity of 270 μm/s is achieved at 30 Hz using ethanol.     

Visualization of diversity in large multivariate data sets

Understanding the diversity of a set of multivariate objects is an important problem in many domains, including ecology, college admissions, investing, machine learning, and others. However, to date, very little work has been done to help users achieve this kind of understanding. Visual representation is especially appealing for this task because it offers the potential to allow users to efficiently observe the objects of interest in a direct and holistic way. Thus, in this paper, we attempt to formalize the problem of visualizing the diversity of a large (more than 1000 objects), multivariate (more than 5 attributes) data set as one worth deeper investigation by the information visualization community. In doing so, we contribute a precise definition of diversity, a set of requirements for diversity visualizations based on this definition, and a formal user study design intended to evaluate the capacity of a visual representation for communicating diversity information. Our primary contribution, however, is a visual representation, called the Diversity Map, for visualizing diversity. An evaluation of the Diversity Map using our study design shows that users can judge elements of diversity consistently and as or more accurately than when using the only other representation specifically designed to visualize diversity.     

Fault diagnosis of car assembly line based on fuzzy wavelet kernel support vector classifier machine and modified genetic algorithm

This paper presents a new version of fuzzy wavelet support vector classifier machine to diagnosing the nonlinear fuzzy fault system with multi-dimensional input variables. Since there exist problems of finite samples and uncertain data in complex fuzzy fault system, the input and output variables are described as fuzzy numbers. Then by integrating the fuzzy theory, wavelet analysis theory and v-support vector classifier machine, fuzzy wavelet v-support vector classifier machine (FWv-SVCM) is proposed. To seek the optimal parameters of FWv-SVCM, genetic algorithm (GA) is also applied to optimize unknown parameters of FWv-SVCM. A diagnosing method based on FWv-SVCM and GA is put forward. The results of the application in car assembly line diagnosis confirm the feasibility and the validity of the diagnosing method. Compared with the traditional model and other SVCM methods, FWv-SVCM method requires fewer samples and has better diagnosing precision.     

Online bin stretching with three bins

Online bin stretching is a semi-online variant of bin packing in which the algorithm has to use the same number of bins as an optimal packing, but is allowed to slightly overpack the bins. The goal is to minimize the amount of overpacking, i.e., the maximum size packed into any bin. We give an algorithm for online bin stretching with a stretching factor of \(11/8 = 1.375\) for three bins. Additionally, we present a lower bound of \(45/33 = 1.\overline{36}\) for online bin stretching on three bins and a lower bound of 19/14 for four and five bins that were discovered using a computer search.