Parallel Programming of General-Purpose Programs Using Task-Based Programming Models

The prevalence of multicore processors is bound to drive most kinds of software development towards parallel programming. To limit the difficulty and overhead of parallel software design and maintenance, it is crucial that parallel programming models allow an easy-to-understand, concise and dense representation of parallelism. Parallel programming models such as Cilk++ and Intel TBBs attempt to offer a better, higher-level abstraction for parallel programming than threads and locking synchronization. It is not straightforward, however, to express all patterns of parallelism in these models. Pipelines are an important parallel construct, although difficult to express in Cilk and TBBs in a straightfor- ward way, not without a verbose restructuring of the code. In this paper we demonstrate that pipeline parallelism can be easily and concisely expressed in a Cilk-like language, which we extend with input, output and input/output dependency types on procedure arguments, enforced at runtime by the scheduler. We evaluate our implementation on real applications and show that our Cilk-like scheduler, extended to track and enforce these dependencies has performance comparable to Cilk++.

Competitive adsorption of aqueous metal ions on an oxidized nanoporous activated carbon\

Competitive adsorption is the usual situation in real applications, and it is of critical importance in determining the overall performance of an adsorbent. In this study, the competitive adsorption characteristics of all the combinations of binary mixtures of aqueous metal ion species Ca2+(aq), Cd2+(aq), Pb2+(aq), and Hg2+(aq) on a functionalized activated carbon were investigated. The porous structure of the functionalized active carbon was characterized using N-2 (77 K) and CO2 (273 K) adsorption. The surface group characteristics were examined by temperature-programmed desorption, Fourier transform infrared spectroscopy, Raman spectroscopy, acid/base titrations, and measurement of the point of zero charge (pH(PZC)). The adsorption of aqueous metal ion species M2+(aq), on acidic oxygen functional group sites mainly involves an ion exchange mechanism. The ratios of protons displaced to the amount of M2+(aq) metal species adsorbed have a linear relationship for both single-ion and binary mixtures of these species. Hydrolysis of metal species in solution may affect the adsorption, and this is the case for adsorption of Hg2+(aq) and Pb2+(aq). Competitive adsorption decreases the amounts of individual metal ions adsorbed, but the maximum amounts adsorbed still follow the order Hg2+(aq) > Pb2+(aq) > Cd2+(aq) > Ca2+(aq) obtained for single metal ion adsorption. The adsorption isotherms for single metal ion species were used to develop a model for competitive adsorption in binary mixtures, involving exchange of ions in solution with surface proton sites and adsorbed metal ions, with the species having different accessibilities to the porous structure. The model was validated against the experimental data.

Accelerating code on multi-cores with FastFlow

FastFlow is a programming framework specifically targeting cache-coherent shared-memory multi-cores. It is implemented as a stack of C++ template libraries built on top of lock-free (and memory fence free) synchronization mechanisms. Its philosophy is to combine programmability with performance. In this paper a new FastFlow programming methodology aimed at supporting parallelization of existing sequential code via offloading onto a dynamically created software accelerator is presented. The new methodology has been validated using a set of simple micro-benchmarks and some real applications. © 2011 Springer-Verlag.

Constitutive model for localized Lüders-like stress-induced martensitic transformation and super-elastic behaviors of laser-welded NiTi wires

The application of the shape memory alloy NiTi in micro-electro-mechanical-systems (MEMSs) is extensive nowadays. In MEMS, complex while precise motion control is always vital. This makes the degradation of the functional properties of NiTi during cycling loading such as the appearance of residual strain become a serious problem to study, in particular for laser micro-welded NiTi in real applications. Although many experimental efforts have been put to study the mechanical properties of laser welded NiTi, surprisingly, up to the best of our understanding, there has not been attempts to quantitatively model the laser-welded NiTi under mechanical cycling in spite of the accurate prediction required in applications and the large number of constitutive models to quantify the thermo-mechanical behavior of shape memory alloys. As the first attempt to fill the gap, we employ a recent constitutive model, which describes the localized SIMT in NiTi under cyclic deformation; with suitable modifications to model the mechanical behavior of the laser welded NiTi under cyclic tension. The simulation of the model on a range of tensile cyclic deformation is consistent with the results of a series of experiments. From this, we conclude that the plastic deformation localized in the welded regions (WZ and HAZs) of the NiTi weldment can explain most of the extra amount of residual strain appearing in welded NiTi compared to the bare one. Meanwhile, contrary to common belief, we find that the ability of the weldment to memorize its transformation history, sometimes known as ‘return point memory’, still remains unchanged basically though the effective working limit of this ability reduces to within 6% deformation.

Probabilistic Inference in Credal Networks: New Complexity Results

Credal networks are graph-based statistical models whose parameters take values in a set, instead of being sharply specified as in traditional statistical models (e.g., Bayesian networks). The computational complexity of inferences on such models depends on the irrelevance/independence concept adopted. In this paper, we study inferential complexity under the concepts of epistemic irrelevance and strong independence. We show that inferences under strong independence are NP-hard even in trees with binary variables except for a single ternary one. We prove that under epistemic irrelevance the polynomial-time complexity of inferences in credal trees is not likely to extend to more general models (e.g., singly connected topologies). These results clearly distinguish networks that admit efficient inferences and those where inferences are most likely hard, and settle several open questions regarding their computational complexity. We show that these results remain valid even if we disallow the use of zero probabilities. We also show that the computation of bounds on the probability of the future state in a hidden Markov model is the same whether we assume epistemic irrelevance or strong independence, and we prove an analogous result for inference in Naive Bayes structures. These inferential equivalences are important for practitioners, as hidden Markov models and Naive Bayes networks are used in real applications of imprecise probability.

Evidential Fusion for Gender Profiling

Gender profiling is a fundamental task that helps CCTV systems to
provide better service for intelligent surveillance. Since subjects being detected
by CCTVs are not always cooperative, a few profiling algorithms are proposed
to deal with situations when faces of subjects are not available, among which
the most common approach is to analyze subjects’ body shape information. In
addition, there are some drawbacks for normal profiling algorithms considered
in real applications. First, the profiling result is always uncertain. Second, for a
time-lasting gender profiling algorithm, the result is not stable. The degree of
certainty usually varies, sometimes even to the extent that a male is classified
as a female, and vice versa. These facets are studied in a recent paper [16] using
Dempster-Shafer theory. In particular, Denoeux’s cautious rule is applied for
fusion mass functions through time lines. However, this paper points out that if
severe mis-classification is happened at the beginning of the time line, the result
of applying Denoeux’s rule could be disastrous. To remedy this weakness,
in this paper, we propose two generalizations to the DS approach proposed in
[16] that incorporates time-window and time-attenuation, respectively, in applying
Denoeux’s rule along with time lines, for which the DS approach is a special
case. Experiments show that these two generalizations do provide better results
than their predecessor when mis-classifications happen.

Surface-Enhanced Raman Spectroscopy as a Probe of the Surface Chemistry of Nanostructured Materials

Surface-enhanced Raman spectroscopy (SERS) is now widely used as a rapid and inexpensive tool for chemical/biochemical analysis. The method can give enormous increases in the intensities of the Raman signals of low-concentration molecular targets if they are adsorbed on suitable enhancing substrates, which are typically composed of nanostructured Ag or Au. However, the features of SERS that allow it to be used as a chemical sensor also mean that it can be used as a powerful probe of the surface chemistry of any nanostructured material that can provide SERS enhancement. This is important because it is the surface chemistry that controls how these materials interact with their local environment and, in real applications, this interaction can be more important than more commonly measured properties such as morphology or plasmonic absorption. Here, the opportunity that this approach to SERS provides is illustrated with examples where the surface chemistry is both characterized and controlled in order to create functional nanomaterials.

A Novel Packet Marking Function for Real-Time Interactive MPEG-4 Video Applications in a Differentiated Services Network

The future convergence of voice, video and data applications on the Internet requires that next generation technology provides bandwidth and delay guarantees. Current technology trends are moving towards scalable aggregate-based systems where applications are grouped together and guarantees are provided at the aggregate level only. This solution alone is not enough for interactive video applications with sub-second delay bounds. This paper introduces a novel packet marking scheme that controls the end-to-end delay of an individual flow as it traverses a network enabled to supply aggregate- granularity Quality of Service (QoS). IPv6 Hop-by-Hop extension header fields are used to track the packet delay encountered at each network node and autonomous decisions are made on the best queuing strategy to employ. The results of network simulations are presented and it is shown that when the proposed mechanism is employed the requested delay bound is met with a 20% reduction in resource reservation and no packet loss in the network.

Design Methodology for Real-Time FPGA-Based Sound Synthesis

Explicit finite difference (FD) schemes can realise highly realistic physical models of musical instruments but are computationally complex. A design methodology is presented for the creation of FPGA-based micro-architectures for FD schemes which can be applied to a range of applications with varying computational requirements, excitation and output patterns and boundary conditions. It has been applied to membrane and plate-based sound producing models, resulting in faster than real-time performance on a Xilinx XC2VP50 device which is 10 to 35 times faster than general purpose and DSP processors. The models have developed in such a way to allow a wide range of interaction (by a musician) thereby leading to the possibility of creating a highly realistic digital musical instrument.

Efficient analysis, design, and filter applications of EBG waveguide with periodic resonant loads

An efficient analysis and design of an electromagnetic-bandgap (EBG) waveguide with resonant loads is presented. Equivalent-circuit analysis is employed to demonstrate the differences between EBG waveguides with resonant and nonresonant loadings. As a result of the resonance, transmission zeros at finite frequencies emerge. The concept is demonstrated in E-plane waveguides. A generic fast and efficient formulation is presented, which starts from the generalized scattering matrix of the unit cell and derives the dispersion properties of the infinite structure. Both real and imaginary parts of the propagation constant are derived and discussed. The Floquet wavelength and impedance are also presented. The theoretical results are validated by comparison with simulations of a finite structure and experimental results. The application of the proposed EBG waveguide in the suppression of the spurious passband of a conventional E-plane filter is presented by experiment.

A heuristic model for the simulation of the deformation of elastic and spongy material for virtual reality applications

This paper presents a practical algorithm for the simulation of interactive deformation in a 3D polygonal mesh model. The algorithm combines the conventional simulation of deformation using a spring-mass-damping model, solved by explicit numerical integration, with a set of heuristics to describe certain features of the transient behaviour, to increase the speed and stability of solution. In particular, this algorithm was designed to be used in the simulation of synthetic environments where it is necessary to model realistically, in real time, the effect on non-rigid surfaces being touched, pushed, pulled or squashed. Such objects can be solid or hollow, and have plastic, elastic or fabric-like properties. The algorithm is presented in an integrated form including collision detection and adaptive refinement so that it may be used in a self-contained way as part of a simulation loop to include human interface devices that capture data and render a realistic stereoscopic image in real time. The algorithm is designed to be used with polygonal mesh models representing complex topology, such as the human anatomy in a virtual-surgery training simulator. The paper evaluates the model behaviour qualitatively and then concludes with some examples of the use of the algorithm.

New Retrodirective Antenna Techniques for Mobile Terminal Applications

This paper presents a new architecture together with practical results for a high performance analogue retrodirective array architecture with the following significant advantages: (1) It is able to constructively combine signals on receive, as well as on transmit, a feature not seen before on this type of array, (2) It is capable of operating with real life communication received signal levels as low as -120dBm. This work opens the way for fully co-operating Retrodirective arrays for use on un-stabilized co-operating mobile platforms where maximum S/N simultaneously on receive and on retransmit is automatically guaranteed.