Signal probability for reliability evaluation of logic circuits

As integrated circuits scale down into nanometer dimensions, a great reduction on the reliability of combinational blocks is expected. This way, the susceptibility of circuits to intermittent and transient faults is becoming a key parameter in the evaluation of logic circuits, and fast and accurate ways of reliability analysis must be developed. This paper presents a reliability analysis methodology based on signal probability, which is of straightforward application and can be easily integrated in the design flow. The proposed methodology computes circuit’s signal reliability as a function of its logical masking capabilities, concerning multiple simultaneous faults occurrence.     

Réutilisation de logiciel: Applications des techniques d’intelligence artificielle

After a brief overview of software reuse techniques and of some applications of artificial intelligence to reusability, two approaches are presented: the Esprit project Knosos to design a knowledge-based environment for software system configuration reusing components, and a study of design reuse. The former is already leading to pre-industrial applications while the latter still involves on-going research.     

Adaptive gain and delay mismatch cancellation for LINC transmitter

Linear amplification with Nonlinear Component (LINC) transmitter architecture is an efficient solution for high efficiency amplification of signals. Nonetheless, this solution suffers both from gain impairment and delay mismatch between the two signal paths. Indeed, a mismatch in propagation time between the paths degrades the quality of the transmit signal but also disrupts the convergence of the gain correction algorithm resulting in a degradation of its performance. In this paper, we present an adaptive algorithm based on a gradient descent formulation for the identification and correction of these delays. We also demonstrate its effectiveness when applied prior to the gain adjustment procedure. The identification approach is preferred here, to ensure monitoring facilities.     

A tabu search heuristic for a sequence-dependent and time-dependent scheduling problem on a single machine

This paper introduces a tabu search heuristic for a production scheduling problem with sequence-dependent and time-dependent setup times on a single machine. The problem consists in scheduling a set of dependent jobs, where the transition between two jobs comprises an unrestricted setup that can be performed at any time, and a restricted setup that must be performed outside of a given time interval which repeats daily in the same position. The setup time between two jobs is thus a function of the completion time of the first job. The tabu search heuristic relies on shift and swap moves, and a surrogate objective function is used to speed-up the neighborhood evaluation. Computational experiments show that the proposed heuristic consistently finds better solutions in less computation time than a recent branch-and-cut algorithm. Furthermore, on instances where the branch-and-cut algorithm cannot find the optimal solution, the heuristic always identifies a better solution.     

Packing spherical discrete elements for large scale simulations

We introduce a new geometric method to generate sphere packings with restricted overlap values. Sample generation is an important, but time-consuming, step that precedes a calculation performed with the discrete element method (DEM). At present, there does not exist any software dedicated to DEM which would be similar to the mesh software that exists for finite element methods (FEM). A practical objective of the method is to build very large sphere packings (several hundreds of thousands) in a few minutes instead of several days as the current dynamic methods do. The developed algorithm uses a new geometric procedure to position very efficiently the polydisperse spheres in a tetrahedral mesh. The algorithm, implemented into YADE-OPEN DEM (open-source software), consists in filling tetrahedral meshes with spheres. In addition to the features of the tetrahedral mesh, the input parameters are the minimum and maximum radii (or their size ratio), and the magnitude of authorized overlaps. The filling procedure is stopped when a target solid fraction or number of spheres is reached. Based on this method, an efficient tool can be designed for DEMs used by researchers and engineers. The generated packings can be isotropic and the number of contacts per sphere is very high due to its geometric procedure. In this paper, different properties of the generated packings are characterized and examples from real industrial problems are presented to show how this method can be used. The current C++ version of this packing algorithm is part of YADE-OPEN DEM [20] available on the web (https://yade-dem.org).     

PhosphoTyrosyl Phosphatase Activator of Plasmodium falciparum: Identification of Its Residues Involved in Binding to and Activation of PP2A

In Plasmodium falciparum (Pf), the causative agent of the deadliest form of malaria, a tight regulation of phosphatase activity is crucial for the development of the parasite. In this study, we have identified and characterized PfPTPA homologous to PhosphoTyrosyl Phosphatase Activator, an activator of protein phosphatase 2A which is a major phosphatase involved in many biological processes in eukaryotic cells. The PfPTPA sequence analysis revealed that five out of six amino acids involved in interaction with PP2A in human are conserved in P. falciparum. Localization studies showed that PfPTPA and PfPP2A are present in the same compartment of blood stage parasites, suggesting a possible interaction of both proteins. In vitro binding and functional studies revealed that PfPTPA binds to and activates PP2A. Mutation studies showed that three residues (V²⁸³, G²⁹² and M²⁹⁶) of PfPTPA are indispensable for the interaction and that the G²⁹² residue is essential for its activity. In P. falciparum, genetic studies suggested the essentiality of PfPTPA for the completion of intraerythrocytic parasite lifecycle. Using Xenopus oocytes, we showed that PfPTPA blocked the G2/M transition. Taken together, our data suggest that PfPTPA could play a role in the regulation of the P. falciparum cell cycle through its PfPP2A regulatory activity.     

Synthesis of Long-Chain β-Lactones and Their Antibacterial Activities against Pathogenic Mycobacteria

In the quest for new antibacterial agents, a series of novel long- and medium-chain mono- and disubstituted β-lactones was developed. Their activity against three pathogenic mycobacteria—M. abscessus, M. marinum, and M. tuberculosis—was assessed by the resazurin microtiter assay (REMA). Among the 16 β-lactones synthesized, only 3-hexadecyloxetan-2-one (VM005) exhibited promising activity against M. abscessus, whereas most of the β-lactones showed interesting activities against M. marinum, similar to that of the classical antibiotic, isoniazid. Regarding M. tuberculosis, six compounds were found to be active against this mycobacterium, with β-lactone VM008 [trans-(Z)-3-(hexadec-7-en-1-yl)-4-propyloxetan-2-one] being the best growth inhibitor. The promising antibacterial activities of the best compounds in this series suggest that these molecules may serve as leads for the development of much more efficient antimycobacterial agents.     

An improved observation model for super-resolution under affine motion.

Super-resolution (SR) techniques make use of subpixel shifts between frames in an image sequence to yield higher resolution images. We propose an original observation model devoted to the case of nonisometric inter-frame motion as required, for instance, in the context of airborne imaging sensors. First, we describe how the main observation models used in the SR literature deal with motion, and we explain why they are not suited for nonisometric motion. Then, we propose an extension of the observation model by Elad and Feuer adapted to affine motion. This model is based on a decomposition of affine transforms into successive shear transforms, each one efficiently implemented by row-by-row or column-by-column one-dimensional affine transforms. We demonstrate on synthetic and real sequences that our observation model incorporated in a SR reconstruction technique leads to better results in the case of variable scale motions and it provides equivalent results in the case of isometric motions.     

Estimates of fracture density and uncertainties from well data

This paper aims at building a method to estimate the probability law governing the 3D fracture density of a fractured rock conditioned to the number of traces observed on a borehole image when the spatial distribution of fracture centers is assumed to follow a Poisson process. A closed-form expression of this law, allowing to calculate its mean value as well as a confidence interval, is derived in both cases of a lineic well (scanline) and a cylindrical well. The latter is better adapted to the situation of fracture size of the same order of magnitude as the well radius, which enables the presence of partial traces. In particular, the method takes into account the bias in the density estimate due to the fact that a fracture may cut the well along two distinct traces according to the considered fracture size. Monte Carlo simulations finally show a good agreement with the theoretical results of mean density and confidence interval.     

The effect of coupling in a compact handset receiver

This paper deals with the performance of a compact dual diversity receiver. For this study we assume that the channel is characterized by a flat Rayleigh fading and that the incoming waves can be described by a Gaussian angular power distribution. The performance of a maximal-ratio-combiner in a correlated Rayleigh fading is given. These expressions are simplified and studied for the case of a dual diversity receiver. The influence of the mutual coupling between the sensors is taken into account using a simplified model. The results are compared with results obtained from realistic antenna simulations.