Computational reflection and its application to platform verification

The complexity of modern hardware design has created the need for higher levels of abstraction, where system modeling is used to integrate modules into complex System-on-Chip (SoCs) platforms. SystemC, and its TLM (Transaction Level Modeling) extensions, have been used for this purpose mainly because of their fast prototyping and simulation features, which allow for early design space exploration. This paper proposes an approach to explore and interact with SystemC models by means of an introspection technique known as Computational Reflection. We use reflection to implement a white-box introspection mechanism called ReflexBox. We show that ReflexBox is a fast, non-intrusive technique that can be used to dynamically gather and inject stimuli into any SystemC module, without the need to use a proprietary SystemC implementation, change the SystemC library, instrument or even inspect the module source code. Our approach can be used to support many different verification tasks like platform debugging, performance evaluation and communication analysis. To show ReflexBox effectiveness we used it in three platforms case studies to address tasks like register inspection, performance analysis and signal replaying for testbench reuse. In all cases we assumed no source code availability and measured the impact on the overall platform performance.     

A 2D Full-Band Monte Carlo Study of HgCdTe-Based Avalanche Photodiodes

This work presents a numerical simulation study of HgCdTe-based avalanche photodetectors (APDs). The two-dimensional model used is based on a full-band Monte Carlo approach in which the electronic structure is computed using a nonlocal empirical pseudopotential model with spin–orbit corrections. The carrier–phonon scattering rates have been computed from first principles using a rigid pseudo-ion model. The most attractive feature of these devices is the potential for single-carrier ionization when electrons are used as the primary injection carrier. For this reason, this work focuses on two front-illuminated (electron-injection) device structures: a planar diffused PIN structure and a planar diffused PN photodiode with guard rings. To predict the performance of these APDs, the electron multiplication gain has been studied as a function of the position where photogenerated carriers are injected and as a function of the curvature of the p-type diffusion region. We find that, in the diffused PIN structure, the limited lateral spatial extent of the high-electric-field region leads to a reduction of the multiplication gain from the center of the device to the periphery. Furthermore, the higher the curvature, the more abruptly the gain decreases. For the simple PN structure, we find that the presence of the guard rings removes the high electric field from the surface and induces a more gradual roll-off of the gain from the center of the device to the periphery.     

Extraction and analysis of T waves in electrocardiograms during atrial flutter

Analysis of T waves in the ECG is an essential clinical tool for diagnosis, monitoring, and follow-up of patients with heart dysfunction. During atrial flutter, this analysis has been so far limited by the perturbation of flutter waves superimposed over the T wave. This paper presents a method based on missing data interpolation for eliminating flutter waves from the ECG during atrial flutter. To cope with the correlation between atrial and ventricular electrical activations, the CLEAN deconvolution algorithm was applied to reconstruct the spectrum of the atrial component of the ECG from signal segments corresponding to TQ intervals. The locations of these TQ intervals, where the atrial contribution is presumably dominant, were identified iteratively. The algorithm yields the extracted atrial and ventricular contributions to the ECG. Standard T-wave morphology parameters (T-wave amplitude, T peak-T end duration, QT interval) were measured. This technique was validated using synthetic signals, compared to average beat subtraction in a patient with a pacemaker, and tested on pseudo-orthogonal ECGs from patients in atrial flutter. Results demonstrated improvements in accuracy and robustness of T-wave analysis as compared to current clinical practice.     

Rayleigh mixture model for plaque characterization in intravascular ultrasound

Vulnerable plaques are the major cause of carotid and coronary vascular problems, such as heart attack or stroke. A correct modeling of plaque echomorphology and composition can help the identification of such lesions. The Rayleigh distribution is widely used to describe (nearly) homogeneous areas in ultrasound images. Since plaques may contain tissues with heterogeneous regions, more complex distributions depending on multiple parameters are usually needed, such as Rice, K or Nakagami distributions. In such cases, the problem formulation becomes more complex, and the optimization procedure to estimate the plaque echomorphology is more difficult. Here, we propose to model the tissue echomorphology by means of a mixture of Rayleigh distributions, known as the Rayleigh mixture model (RMM). The problem formulation is still simple, but its ability to describe complex textural patterns is very powerful. In this paper, we present a method for the automatic estimation of the RMM mixture parameters by means of the expectation maximization algorithm, which aims at characterizing tissue echomorphology in ultrasound (US). The performance of the proposed model is evaluated with a database of in vitro intravascular US cases. We show that the mixture coefficients and Rayleigh parameters explicitly derived from the mixture model are able to accurately describe different plaque types and to significantly improve the characterization performance of an already existing methodology.     

Self‐Assembled Conjugated Thiophene‐Based Rotaxane Architectures: Structural,Computational, and Spectroscopic Insights into Molecular Aggregation

A comparative study of the self‐assembly at a variety of surfaces of a dithiophene rotaxane 1 ?β‐CD and its corresponding dumbbell, 1, by means of atomic force microscopy (AFM) imaging and scanning tunneling microscopy (STM) imaging on the micrometer and nanometer scale, respectively. The dumbbell is found to have a greater propensity to form ordered supramolecular assemblies, as a result of π–π interactions between dithiophenes belonging to adjacent molecules, which are hindered in the rotaxane. The fine molecular structure determined by STM was compared to that obtained by molecular modelling. The optical properties of both rotaxane and dumbbell in the solid state were investigated by steady‐state and time‐resolved photoluminescence (PL) experiments on spin‐cast films and diluted solutions. The comparison between the optical features of the threaded and unthreaded systems reveals an effective role of encapsulation in reducing aggregation and exciton migration for the rotaxanes with respect to the dumbbells, thus leading to higher PL quantum efficiency and preserved single‐molecule photophysics for longer times after excitation in the threaded oligomers.     

Supramolecular Order of Solution‐Processed Perylenediimide Thin Films: High‐Performance Small‐Channel n‐Type Organic Transistors

N,N′‐1H,1H‐perfluorobutyl dicyanoperylenecarboxydiimide (PDIF‐CN₂), a soluble and air stable n‐type molecule, undergoes significant reorganization upon thermal annealing after solution deposition on several substrates with different surface energies. Interestingly, this system exhibits an exceptional edge‐on orientation regardless of the substrate chemistry. This preferential orientation is rationalized in terms of strong intermolecular interactions between the PDIF‐CN₂ molecules. The presence of a pronounced π–π stacking is confirmed by combining near‐edge X‐ray absorption fine structure spectroscopy (NEXAFS), dynamic scanning force microscopy (SFM) and surface energy measurements. The remarkable charge carrier mobility measured in field‐effect transistors, using both bottom‐ and top‐contact (bottom‐gate) configurations, underlines the importance of strong intermolecular interactions for the realization of high performing devices.     

A New Lithium‐Ion Conductor LiTaSiO5: Theoretical Prediction,Materials Synthesis,and Ionic Conductivity

Owing to the nonleakage and incombustibility, solid electrolytes are crucial for solving the safety issues of rechargeable lithium batteries. In this work, a new class of solid electrolyte, acceptor‐doped LiTaSiO₅, is designed and synthesized based on the concerted migration mechanism. When Zr⁴⁺ is doped to the Ta⁵⁺ sites in LiTaSiO₅, the high‐energy lattice sites are partly occupied by the introduced lithium ions, and the lithium ions at those sites interact with the lithium ions placed in the low‐energy sites, thereby favoring the concerted motion of lithium ions and lowering the energy barrier for ion transport. Therefore, the concerted migration of lithium ions occurs in Zr‐doped LiTaSiO₅, and a 3D lithium‐ion diffusion network is established with quasi‐1D chains connected through interchain channels. The lithium‐ion occupation, as revealed by ab initio calculations, is validated by neutron powder diffraction. Zr‐doped LiTaSiO₅ electrolytes are successfully synthesized; Li_1.1Ta_0.9Zr_0.1SiO₅ shows a conductivity of 2.97 × 10^?5 S cm^?1 at 25 °C, about two orders of magnitude higher than that of LiTaSiO₅, and it increases to 3.11 × 10^?4 S cm^?1 at 100 °C. This work demonstrates the power of theory in designing new materials.     

Digital canvas removal in paintings

The periodic structure of the underlying support of paintings on canvas can become quite prominent and disturbing in high resolution digital recordings. In this paper, we construct a new model and method for the digital removal of canvas which is considered as a noise component superimposed on the painting artwork. The high resolution of the images prohibits the efficient application of existing adaptive denoising filters. Hence, a two-step approach is proposed. First a (smoothing) Wiener filter is applied to the complete image. The second step consists of a spatially adaptive extension with low-complexity to obtain a generic digital canvas removal filter.     

Robust security framework for DVB‐RCS satellite networks (RSSN)

Satellites represent a solution for Internet access in locations with no other telecom infrastructures, for example, on high mobility platforms such as planes, ships or high‐speed trains, or for disaster recovery applications. However, due to peculiar characteristics, satellite networks are prone to different security threats. In this paper, we introduce a novel, robust security architecture for securing digital video broadcasting‐return channel via satellite satellite networks, inspired by the robust security mechanism available in the Institute of Electrical and Electronic Engineers (IEEE) 802.11i wireless local area network. We propose an efficient authentication and key management mechanism, which is exploited through three round‐trips only, demonstrating that it is as secure as IEEE 802.11i. Furthermore, the simulation results show that the proposed security framework needs a very small data overhead and shows better performance than internet protocol security (IPSec), which is commonly used as an end‐to‐end security solution over internet protocol satellite networks. Copyright © 2015 John Wiley & Sons, Ltd.     

Suppressed Lattice Disorder for Large Emission Enhancement and Structural Robustness in Hybrid Lead Iodide Perovskite Discovered by High-Pressure Isotope Effect

The soft nature of organic–inorganic halide perovskites renders their lattice particularly tunable to external stimuli such as pressure, undoubtedly offering an effective way to modify their structure for extraordinary optoelectronic properties. Here, using the methylammonium lead iodide as a representative exploratory platform, it is observed that the pressure-driven lattice disorder can be significantly suppressed via hydrogen isotope effect, which is crucial for better optical and mechanical properties previously unattainable. By a comprehensive in situ neutron/synchrotron-based analysis and optical characterizations, a remarkable photoluminescence (PL) enhancement by threefold is convinced in deuterated CD₃ND₃PbI₃, which also shows much greater structural robustness with retainable PL after high peak-pressure compression–decompression cycle. With the first-principles calculations, an atomic level understanding of the strong correlation among the organic sublattice and lead iodide octahedral framework and structural photonics is proposed, where the less dynamic CD₃ND₃⁺ cations are vital to maintain the long-range crystalline order through steric and Coulombic interactions. These results also show that CD₃ND₃PbI₃-based solar cell has comparable photovoltaic performance as CH₃NH₃PbI₃-based device but exhibits considerably slower degradation behavior, thus representing a paradigm by suggesting isotope-functionalized perovskite materials for better materials-by-design and more stable photovoltaic application.