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...     

Evidence for Glass–glass Interfaces in a Columnar Cu–Zr Nanoglass

Comprehensive analyses of the atomic structure using advanced analytical transmission electron microscopy-based methods combined with atom probe tomography confirm the presence of distinct glass–glass interfaces in a columnar Cu-Zr nanoglass synthesized by magnetron sputtering. These analyses provide first-time in-depth characterization of sputtered film nanoglasses and indicate that glass–glass interfaces indeed present an amorphous phase with reduced mass density as compared to the neighboring amorphous regions. Moreover, dedicated analyses of the diffusion kinetics by time-of-flight secondary ion mass spectroscopy (ToF SIMS) prove significantly enhanced diffusivity, suggesting fast transport along the low density glass–glass interfaces. The present results further indicate that sputter deposition is a feasible technique for reliable production of nanoglasses and that some of the concepts proposed for this new class of glassy materials are applicable.     

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.     

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.     

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.     

Energy absorption during compression and impact of dry elastic-plastic spherical granules

The discrete modelling and understanding of the particle dynamics in fluidized bed apparatuses, mixers, mills and others are based on the knowledge about the physical properties of particles and their mechanical behaviour during slow, fast and repeated stressing. In this paper model parameters (modulus of elasticity, stiffness, yield pressure, restitution coefficient and strength) of spherical granules (γ-Al₂O₃, zeolites 4A and 13X, sodium benzoate) with different mechanical behaviour have been measured by single particle compression and impact tests. Starting with the elastic compression behaviour of granules as described by Hertz theory, a new contact model was developed to describe the force-displacement behaviour of elastic-plastic granules. The aim of this work is to understand the energy absorption during compression (slow stressing velocity of 0.02 mm/s) and impact (the impact velocity of 0.5–4.5 m/s) of granules. For all examined granules the estimated energy absorption during the impact is found to be far lower than that during compression. Moreover, the measured restitution coefficient is independent of the impact velocity in the examined range and independent of the load intensity by compression (i.e. maximum compressive load). In the case of repeated loading with a constant load amplitude, the granules show cyclic hardening with increasing restitution coefficient up to a certain saturation in the plastic deformation. A model was proposed to describe the increase of the contact stiffness with the number of cycles. When the load amplitude is subsequently increased, further plastic deformation takes place and the restitution coefficient strongly decreases.     

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     

Embedded discontinuity finite element method for modeling of localized failure in heterogeneous materials with structured mesh: an alternative to extended finite element method

In this work we discuss the finite element model using the embedded discontinuity of the strain and displacement field, for dealing with a problem of localized failure in heterogeneous materials by using a structured finite element mesh. On the chosen 1D model problem we develop all the pertinent details of such a finite element approximation. We demonstrate the presented model capabilities for representing not only failure states typical of a slender structure, with crack-induced failure in an elastic structure, but also the failure state of a massive structure, with combined diffuse (process zone) and localized cracking. A robust operator split solution procedure is developed for the present model taking into account the subtle difference between the types of discontinuities, where the strain discontinuity iteration is handled within global loop for computing the nodal displacement, while the displacement discontinuity iteration is carried out within a local, element-wise computation, carried out in parallel with the Gauss-point computations of the plastic strains and hardening variables. The robust performance of the proposed solution procedure is illustrated by a couple of numerical examples. Concluding remarks are stated regarding the class of problems where embedded discontinuity finite element method (ED-FEM) can be used as a favorite choice with respect to extended FEM (X-FEM).