Study of the filter cake formed due to the sedimentation of monodispersed and bidispersed particles using discrete element method–computational fluid dynamics simulations

This study aims to investigate the sedimentation and the consolidation of the packed bed/cake formed due to the monodispersed and bidispersed particles under different flow conditions. Mutual interactions between the bidispersed particles and the liquid are considered by using a polydispersed drag model. The attractive force is considered by using the JKR model. Sensitivity of the void fraction of a sedimented packed bed/cake due to particle–particle interaction parameters is studied. Furthermore, the effect of the fluid flow is analyzed by performing the simulations in two stages. In the first stage, packed bed/cake is formed by the sedimentation of the particles in the absence of the fluid forces and in the second stage flow through the packed bed/cake is simulated by using the CFD coupled with the discrete element method. Based on the simulations, correlations between the sedimented and the consolidated void fractions are developed. © 2019 American Institute of Chemical Engineers AIChE J, 65: 1294–1303, 2019     

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/DC) criterion. This new criterion has been developed from the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for the testing of safety-critical software where MC/DC may not provide adequate assurance. As a formal language for describing the criteria, the Z notation has been selected. Formal definitions in the Z notation for RC/DC, as well as MC/DC and other criteria, are presented. Specific examples of using these criteria for specification-based testing are considered and some features are formally proved. This characterization is helpful in the understanding of different types of testing and also the correct application of a desired testing regime. Received July 2004 Revised November 2005 Accepted November 2005 by J. Derrick, M. Harman and R.M. Herons     

Density estimates on the unit simplex and calculation of the mode of a sample

This paper addresses reliable and efficient calculation of the mode of a multivariate sample, which is a classical fusion function. In particular, we focus on the inputs given on the unit simplex, when aggregating elements of Atanassov intuitionistic fuzzy sets, interval-valued fuzzy sets and their extensions, as well as compositional data. We outline the use of a specially designed 2-additive fuzzy measures and the Choquet integral for the purposes of reducing computational complexity in higher dimensions. We present computational analysis and benchmark four different methods of density-based mode estimation.     

A color image watermarking framework for copyright protection of stereo images based on binocular just noticeable difference and LU decomposition

Multimedia Tools and Applications - The copyright protection of three-dimensional (3D) content is a matter of interest in artistic and creative works due to the rights of the holder for the...     

Access control in feature-oriented programming

In feature-oriented programming (FOP) a programmer decomposes a program in terms of features. Ideally, features are implemented modularly so that they can be developed in isolation. Access control mechanisms in the form of access or visibility modifiers are an important ingredient to attain feature modularity as they allow programmers to hide and expose internal details of a module’s implementation. But developers of contemporary feature-oriented languages have not considered access control mechanisms so far. The absence of a well-defined access control model for FOP breaks encapsulation of feature code and leads to unexpected program behaviors and inadvertent type errors. We raise awareness of this problem, propose three feature-oriented access modifiers, and present a corresponding access modifier model. We offer an implementation of the model on the basis of a fully-fledged feature-oriented compiler. Finally, by analyzing ten feature-oriented programs, we explore the potential of feature-oriented modifiers in FOP.     

Phase-sensitive spatially-modulated surface plasmon resonance polarimetry for detection of biomolecular interactions

We here describe a scheme of spatially modulated surface plasmon resonance (SPR) polarimetry that enables to combine ultra-high phase sensitivity with good signal-to-noise background. The proposed approach uses spatial modulation of s-polarized component by birefringent elements and the extraction of phase-polarization information by Fourier-transform methods. This scheme was tested for monitoring the interactions between an antibody and its biological partner. Our experimental data, collected by amplitude-sensitive and phase-sensitive polarimetry demonstrate that the latter scheme provides at least one order of magnitude improvement in terms of detection limit.     

Formation of a Highly Protective Amorphous Aluminum Silicate Layer on Steel during Granite–Dry Steam Interaction

Formation of an amorphous Al₂Si₂O₅ layer on a steel pipe surface, after granite–dry steam interaction in the presence of copper, has been determined by XRD analysis and SEM (with energy dispersive X-ray microanalysis). Kinetic data indicate high-protective properties of the Al₂Si₂O₅ layer, which formed a three-dimension substrate ∼5 μm thick, after 100 h exposure.     

Characterization of low-flammability electrolytes for lithium-ion batteries

In an effort to develop low-flammability electrolytes for a new generation of Li-ion batteries, we have evaluated physical and electrochemical properties of electrolytes with two novel phosphazene additives. We have studied performance quantities including conductivity, viscosity, flash point, and electrochemical window of electrolytes as well as formation of solid electrolyte interphase (SEI) films. In the course of study, the necessity for a simple method of SEI characterization was realized. Therefore, a new method and new criteria were developed and validated on 10 variations of electrolyte/electrode substrates. Based on the summation of determined physical and electrochemical properties of phosphazene-based electrolytes, one structure of phosphazene compound was found better than the other. This capability helps to direct our further synthetic work in phosphazene chemistry.     

Ultrafast Atomic Diffusion Paths in Fine-Grained Nickel Obtained by Spark Plasma Sintering

Metallurgical and Materials Transactions A - Short-circuit diffusion in fine-grained Ni samples processed by Spark Plasma sintering has been investigated by the radiotracer technique. Ni grain...     

Nanocrystal-encoded fluorescent microbeads for proteomics: antibody profiling and diagnostics of autoimmune diseases

The first application of nanocrystal (NC)-encoded microbeads to clinical proteomics is demonstrated by multiplexed detection of circulating autoantibodies, markers of systemic sclerosis. Two-color complexes, consisting of NC-encoded, antigen-covered beads, anti-antigen antibody or clinical serum samples, and dye-tagged detecting antibodies, were observed using flow cytometry assays and on the surface of single beads. The results of flow cytometry assays correlated with the ELISA technique and provided clear discrimination between the sera samples of healthy donors and patients with autoimmune disease. Microbead fluorescence signals exhibited narrow distribution regardless of their surface antigen staining, without the need of any fluorescence compensation-a parameter determining the limit of sensitivity of flow cytometry assays. In single bead measurements, less than 30 dye-labeled antibodies interacting with the topoI-specific antibodies at the surface of a bead have been detected by the emission of dye excited through the FRET from NCs. In this format, the antibody-bead interaction reaction turns specifically the fluorescence signal from dye label off and on, additionally increasing autoantibody detection sensitivity.