Bogny-sur-Meuse – Les Beaux Sarts

Identifiant de l'opération archéologique : 4846 Date de l'opération : 2004 (FP) Inventeur(s) : Pénisson Jean-Pierre Après quelques préparatifs, la fouille a eu lieu du 7 au 29 juillet et du 1er au 15 septembre 2004, par camp sauvage sur place, avec l'aide de la municipalité de Bogny-sur-Meuse (transport du matériel, fourniture d'une tonne d'eau, accès gratuit aux douches municipales). Les conditions délicates d'accès au site ont été surmontées grâce à l'aide de l'Office national des Forêts q..

Non-deterministic Population Protocols (Extended Version)

In this paper we show that, in terms of generated output languages, non-deterministic \textit{population protocols} are strictly more powerful than deterministic ones. Analyzing the reason for this negative result, we propose two slightly enhanced models, in which non-deterministic population protocols can be \emph{exactly} simulated by deterministic ones. First, we consider a model in which interactions are not only between couples of agents, but also between triples and in which non-uniform initial states are allowed. We generalize this transformation and we prove a general property for a model with interactions between any number of agents. Second, we simulate any non-deterministic population protocol by a deterministic one in a model where a \emph{configuration} can have an \textit{empty output}. Non-deterministic and deterministic population protocols are then compared in terms of inclusion of their output languages, that is, in terms of solvability of problems. Two transformations, which realize this inclusion, are presented. The first one uses (again) the natural model with interactions of triples, but does not need non-uniform initial states. As before, this result is generalized for the natural model with interactions between any number of agents. The second transformation is a parameterized one with parameters depending on the transition graph of the considered non-deterministic protocol and on the population. Note that the transformations in the paper apply to a whole class of non-deterministic population protocols (for a proposed model), in contrast with the transformations proposed in previous works, which apply only to a specific sub-class of protocols (satisfying a so called ''elasticity'' condition)

Bogny-sur-Meuse – Les Beaux Sarts

Identifiant de l'opération archéologique : 4846 Date de l'opération : 2004 (FP) Inventeur(s) : Pénisson Jean-Pierre Après quelques préparatifs, la fouille a eu lieu du 7 au 29 juillet et du 1er au 15 septembre 2004, par camp sauvage sur place, avec l'aide de la municipalité de Bogny-sur-Meuse (transport du matériel, fourniture d'une tonne d'eau, accès gratuit aux douches municipales). Les conditions délicates d'accès au site ont été surmontées grâce à l'aide de l'Office national des Forêts q..

Conception de la commande et analyse de stabilité d'un onduleur photovoltaïque connecté au réseau de distribution

Le développement récent des énergies renouvelables a conduit à l’émergence de sources d’énergies décentralisées (DERs). Ces sources, de faible puissance et généralement installées à un niveau local, peuvent être utilisées en support du réseau électrique de distribution, afin de répondre rapidement aux pics de puissance. L’usage de convertisseurs de puissance est requis pour fournir une énergie exploitable, ainsi que pour gérer ses caractéristiques. La connexion des DERs au réseau amène cependant des problématiques nouvelles, principalement en ce qui a trait à la stabilité et à la qualité de l’énergie. La recherche présentée traite de la connexion d’un convertisseur DC/AC (onduleur) monophasé au réseau, permettant à des panneaux photovoltaïques d’y injecter la puissance produite. Plus précisément, il s’agira d’établir la loi de commande du convertisseur en s’assurant de sa stabilité, de la robustesse du contrôle, ainsi que de la qualité de l’énergie produite. Les performances du système conçu devront alors se conformer aux normes et standards en vigueur. Le fait que le convertisseur soit à haute densité (faibles éléments passifs) et que sa fréquence de commutation est très élevé complexifie la conception de sa commande. La modélisation du système sera établie pour pouvoir procéder à une analyse fréquentielle. Puis, la synchronisation du convertisseur au réseau sera assurée par une PLL. Enfin, la stratégie de régulation assurant stabilité et robustesse sera présentée. Une attention particulière sera portée au dimensionnement des éléments de la commande, où nous chercherons à obtenir des valeurs optimales. Pour cela, une nouvelle méthode de dimensionnement est proposée, avec laquelle il est possible pour un utilisateur de fixer de nouvelles valeurs rapidement, et de connaitre dans la foulée leurs effets de manière quantitative sur le comportement du système. Celui-ci sera testé et validé en simulation. Les résultats montrent que son comportement est conforme au standard IEEE-1547 prédominant en Amérique du Nord. Le convertisseur est capable d’opérer dans des conditions anormales de tension et de fréquence, sa réponse en condition de faute est rapide, et le régime permanent ne souffre d’aucune erreur statique. Finalement, nous étudierons la compensation harmonique du système dans le cas d’un réseau pollué, compensation qui sera assurée pour un dimensionnement spécifique

Inhibitory effects of commercial and enriched green tea extracts on the growth of Brochothrix thermosphacta, Pseudomonas putida and Escherichia coli

The major catechin found in green tea, called epigallocatechin gallate (EGCG), have been reported to have antimicrobial properties. In this study, we examined in vitro the antimicrobial effects of a commercial green tea extract sold in a capsule form, and two prepared green tea extracts enriched in catechins against Brochothrix thermosphacta, Pseudomonsas putida and Escherichia coli which have been associated with meat spoilage. The antimicrobial activity of the different tea extracts was evaluated by Spot-On-Lawn and Well Diffusion assays and the Minimum Inhibitory Concentration (MIC) was also determined in Brain Heart Infusion broth. The three methods used showed an inhibition of Brochothrix thermosphacta, whereas the inhibition of Pseudomonas putida and Escherichia coli was only detected with the MIC assay. The determination of the MIC in broth culture appeared to be the most reliable method to determine the inhibitory activity of catechin compounds

Boost.simd: generic programming for portable simdization

ABSTRACT SIMD extensions have been a feature of choice for processor manufacturers for a couple of decades. Designed to exploit data parallelism in applications at the instruction level, these extensions still require a high level of expertise or the use of potentially fragile compiler support or vendor-specific libraries. While a large fraction of their theoretical accelerations can be obtained using such tools, exploiting such hardware becomes tedious as soon as application portability across hardware is required. In this paper, we describe Boost.SIMD, a C++ template library that simplifies the exploitation of SIMD hardware within a standard C++ programming model. Boost.SIMD provides a portable way to vectorize computation on Altivec, SSE or AVX while providing a generic way to extend the set of supported functions and hardwares. We introduce a C++ standard compliant interface for the users which increases expressiveness by providing a high-level abstraction to handle SIMD operations, an extension-specific optimization pass and a set of SIMD aware standard compliant algorithms which allow to reuse classical C++ abstractions for SIMD computation. We assess Boost.SIMD performance and applicability by providing an implementation of BLAS and image processing algorithms

On embeddings of CAT(0) cube complexes into products of trees

We prove that the contact graph of a 2-dimensional CAT(0) cube complex ${\bf X}$ of maximum degree $\Delta$ can be coloured with at most $\epsilon(\Delta)=M\Delta^{26}$ colours, for a fixed constant $M$. This implies that ${\bf X}$ (and the associated median graph) isometrically embeds in the Cartesian product of at most $\epsilon(\Delta)$ trees, and that the event structure whose domain is ${\bf X}$ admits a nice labeling with $\epsilon(\Delta)$ labels. On the other hand, we present an example of a 5-dimensional CAT(0) cube complex with uniformly bounded degrees of 0-cubes which cannot be embedded into a Cartesian product of a finite number of trees. This answers in the negative a question raised independently by F. Haglund, G. Niblo, M. Sageev, and the first author of this paper.Comment: Some small corrections; main change is a correction of the computation of the bounds in Theorem 1. Some figures repaire