Towards Increased Understanding of Open Data Use for Software Development

Information Systems Frontiers - The way open data resources of varied type and volume are used by software applications remains only partly known. In this study, following CRoss-Industry Standard...     

Iris-based human identity recognition with machine learning methods and discrete fast Fourier transform

Innovations in Systems and Software Engineering - One of the most important modules of computer systems is the one that is responsible for user safety. It was proven that simple passwords and...     

Damage localization for beams based on the wavelet correlation operator

The continuous wavelet transform (CWT) is one of the crucial damage identification tools in the vibration-based damage assessment. Because of the vanishing moment property, the CWT method is capable of featuring damage singularity in the higher scales, and separating the global trends and noise progressively. In the classical investigations about this issue, the localization property of the CWT is usually deemed as the most critical point. The abundant information provided by the scale-domain information and the corresponding effectiveness are, however, neglected to some extent. Ultimately, this neglect restricts the sufficient application of the CWT method in damage localization, especially in noisy conditions. In order to address this problem, the wavelet correlation operator is introduced into the CWT damage detection method as a post-processing. By means of the correlations among different scales, the proposed operator suppresses noise, cancels global trends, and intensifies the damage features for various mode shapes. The proposed method is demonstrated numerically with emphasis on characterizing damage in noisy environments, where the wavelet scale Teager-Kaiser energy operator is taken as the benchmark method for comparison. Experimental validations are conducted based on the benchmark data from composite beam specimens measured by a scanning laser vibrometer. Numerical and experimental validations/comparisons present that the introduction of wavelet correlation operator is effective for damage localization in noisy conditions.     

Studies of the Influence of Temperature and the Energy State of the Surface Layer of Adsorbents on Wall Effects in Soap-Based Greases

This paper presents the results of studies of wall effects in commercial soap-based greases LT4-S2 and HUTPLEX EP-2, thickened with, respectively, lithium 12-hydroxystearate and overbased calcium sulfonate. The studies were conducted in the presence of five different materials: copper alloy C11000, bronze B476, EPDM rubber and PTFE and PU thermoplastics. The influence of the energy state of the surface layer of the adsorbents and temperature (ranging from ?20 to 60 °C) on the intensity of wall effects was investigated. Changes in the structural viscosity and shear stress in the boundary layer area in the greases and the soap-based thickener’s ability to adsorb on the surfaces of the adsorbents were determined by evaluating the rheological parameter plateau modulus.     

Time and Energy Performance of Parallel Systems with Hierarchical Memory

In this paper we analyze the impact of memory hierarchies on time-energy trade-off in parallel computations. Contemporary computing systems have deep memory hierarchies with significantly different speeds and power consumptions. This results in nonlinear phenomena in the processing time and energy usage emerging when the size of the computation is growing. In this paper the nonlinear dependence of the time and energy on the size of the solved problem is formalized and verified using measurements in practical computer systems. Then it is applied to formulate a problem of minimum time and minimum energy scheduling parallel processing of divisible loads. Divisible load theory is a scheduling and performance model of data-parallel applications. Mathematical programming is exploited to solve the scheduling problem. A trade-off between energy and schedule length is analyzed and again nonlinear relationships between these two criteria are observed. Further performance analysis reveals that energy consumption and schedule length are ruled by a complex interplay between the costs and speeds of on-core and out-of-core computations, communication delays, and activating new machines.     

A compositional Petri net translation of general π-calculus terms

We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. We view a computing system as consisting of a main program (π-calculus term) together with procedure declarations (recursive definitions of π-calculus identifiers). The control structure of these components is represented using disjoint high-level Petri nets, one for the main program and one for each of the procedure declarations. The program is executed once, while each procedure can be invoked several times (even concurrently), each such invocation being uniquely identified by structured tokens which correspond to the sequence of recursive calls along the execution path leading to that invocation.     

Towards measurable bounds on entanglement measures

While the experimental detection of entanglement provides already quite a difficult task, experimental quantification of entanglement is even more challenging, and has not yet been studied thoroughly. In this paper we discuss several issues concerning bounds on concurrence measurable collectively on copies of a given quantum state. Firstly, we concentrate on the recent bound on concurrence by (Mintert and Buchleitner in Phys Rev Lett 98:140505/1–140505/4, 2007). Relating it to the reduction criterion for separability we provide yet another proof of the bound and point out some possibilities following from the proof which could lead to improvement of the bound. Then, relating concurrence to the generalized robustness of entanglement, we provide a method allowing for construction of lower bounds on concurrence from any positive map (not only the reduction one). All these quantities can be measured as mean values of some two-copy observables. In this sense the method generalizes the Mintert–Buchleitner bound and recovers it when the reduction map is used. As a particular case we investigate the bound obtained from the transposition map. Interestingly, comparison with MB bound performed on the class of ${4\otimes 4}While the experimental detection of entanglement provides already quite a difficult task, experimental quantification of entanglement is even more challenging, and has not yet been studied thoroughly. In this paper we discuss several issues concerning bounds on concurrence measurable collectively on copies of a given quantum state. Firstly, we concentrate on the recent bound on concurrence by (Mintert and Buchleitner in Phys Rev Lett 98:140505/1–140505/4, 2007). Relating it to the reduction criterion for separability we provide yet another proof of the bound and point out some possibilities following from the proof which could lead to improvement of the bound. Then, relating concurrence to the generalized robustness of entanglement, we provide a method allowing for construction of lower bounds on concurrence from any positive map (not only the reduction one). All these quantities can be measured as mean values of some two-copy observables. In this sense the method generalizes the Mintert–Buchleitner bound and recovers it when the reduction map is used. As a particular case we investigate the bound obtained from the transposition map. Interestingly, comparison with MB bound performed on the class of 4?4{4\otimes 4} rotationally invariant states shows that the new bound is positive in regions in which the MB bound gives zero. Finally, we provide measurable upper bounds on the whole class of concurrences.     

Determination of porosity of reduced hematite by stereologic methods

The stereologic analysis of a solid grain has been applied for determination of its porosity. The investigations were carried out on a natural hematite grain reduced to magnetite at 723 K. Stereologic analysis enabled the porosity of this material to be determined on the basis of independently measured grain contours and volume fractions of grain components: hematite, magnetite and pores. A conformity criterion has been formulated, regarding determination of grain volume on the basis of known densities of components and their measured volume fractions in the grain, and on the basis of weight and apparent grain density measurements. The volume increase accompanying reduction of hematite to magnetite, determined from these independent measurements, was in the range 7–19%. By measuring Ferets diameter, the volume of the convex envelope of the grain increased as a result of phase transformation by about 11%. Simultaneously, the volume of the solid phase was found to decrease by 1.5%. The total porosity of the reduced grain, determined by stereologic analysis amounted to 17.5%; 7.7% of which was related to cracks and large pores, and 9.8% to small pores in the magnetite phase. The porosity value determined by the classical mercury method was approximately the same.