DETERMINATION OF THE APPARENT RESISTIVITY OF HETEROGENEOUS GROUND WITH MULTI-LAYER HOUNDEDAKO

In this work, we propose to determine the apparent resistivity of heterogeneous ground to several layers. To this end, we evaluate by the Matlab programming the model of ground with two layers on the one hand and stress a relation allowing calculating the apparent resis- tivity of the ground model to several layers on the other hand. These results confirm those found by the finite element method and the relation suggested by IEEE [2000] which makes simply the resistivity average of the various ground layer

Études théorique et expérimentale des pertes par courants de Foucault dans les aimants permanents à partir d'un dispositif de type électroaimant

RESUME -- La tendance actuelle dans les transports électriques (e.g., la traction ferroviaire, les véhicules électriques et/ou hybrides électriques) ou encore dans les grandes éoliennes à attaque directe est d'utiliser des machines synchrones à aimants permanents (APs) utilisant des terres rares pour leurs grandes performances massiques. Toutefois, un inconvénient majeur de ces machines est l'existence de pertes pouvant être importantes dans les APs, notamment lorsque le bobinage est concentrique autour des dents. Ces pertes sont à l'origine d'une dégradation du rendement, mais elles peuvent aussi être à l'origine d'échauffements excessifs des APs, avec des risques de désaimantation d'une part et des risques de décollement d'autre part. Afin de mieux appréhender les différents phénomènes physiques qui interviennent dans ces pertes, nous avons considéré un électroaimant en forme de U à armature plate, dans lequel sont insérés des APs. Dans cet article, nous décrivons tout d'abord ce dispositif expérimental, puis nous présentons des modèles numériques par éléments finis (EF) en 2D/3D permettant d'évaluer les différents paramètres influençant les pertes dans les APs. Nous proposons ensuite une approche de modélisation (semi-)analytique 3D ayant des temps de réponse faibles. Cette approche est finalement confrontée aux modèles numériques. Mots-clés -- Électroaimant, pertes, aimants permanents, modélisation, numérique, (semi-)analytique</p

Measurement of the acoustic absorption coefficient of some local building materials for residential buildings using the Kundt tube method

Sound noise is a major societal problem, whose health, environmental and even economic impact is very important. According to the World Health Organization (WHO), noise is an acoustic phenomenon that produces an uncomfortable hearing sensation. Populations whose buildings are housed in areas at high risk of noise are exposed to multiple diseases resulting from noise pollution. To remedy this, it is important to think of choosing the right materials with higher acoustic absorption coefficient. The materials studied in this article are concrete, mortar, stabilized soil, which are commonly and most used materials in the construction of residential buildings. The present work consists of determining the sound absorption coefficient of each material indexed by the Kundt tube method in order to provide building technicians with the standards to be followed to improve the acoustic comfort of residential buildings. From the results obtained in this paper, it’s obvious sound absorption coefficients peaks in the low frequencies between 100 Hz and 500 Hz for the three materials. These sound absorption coefficients peaks are accented respectively at 0.74 for the stabilized earth; 0.85 for mortar and 0.94 for concrete

Translation of hierarchical GRAFCET charts into time Petri nets

International audienceThe GRAFCET standard (IEC60848) is one of the specification tools used during the conception of complex discrete-event systems, especially to model the industrial automation processes. Since being just a semi-formal language with lack of rigorous semantics, the practice to validate a specification by model-checking consists in translating it into a formal language such as time Petri nets (TPN). A recent work about TPN just deals with non hierarchical GRAFCET charts. The first goal of this paper is to make the necessary clarifications on the standard about structuring and hierarchy with this standard. The second goal aims to extend the translation rules into TPN, previously defined only for non hierarchical GRAFCET charts, by taking into account structuring. The third goal is to propose the formal semantics for GRAFCET charts with structuring.La norme GRAFCET (CIE60848) est l'un des outils de spécification utilisés lors de la conception des systèmes à événement discret complexes, surtout pour modéliser les processus des automatismes industriels. Cette norme n'étant qu'un langage semi-formel manquant d'une sémantique rigoureuse, la validation d'une spécification GRAFCET par model-checking nécessite sa traduction dans un langage formel tel que les réseaux de Petri temporels. Des travaux récents portant sur ce choix de traduction se limitent aux diagrammes GRAFCET non hiérarchiques.Le premier objectif de cet article est de faire les clarifications nécessaires sur la norme à propos de la prise en compte de la structuration et de la hiérarchie. Le second objectif est d'étendre les règles de traduction du GRAFCET en réseaux de Petri temporels, règles précédemment définies uniquement pour les diagrammes GRAFCET non hiérarchiques, en prenant ici en compte la structuration.Le dernier objectif est d'étendre la sémantique formelle pour prendre en compte la structuration

ε-TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets

International audienceTo allow a formal verification of timed GRAFCET models, many authors proposed to translate them into formal and well-reputed languages such as timed automata or Time Petri nets (TPN). Thus, the work presented in [Sogbohossou, Vianou, Formal modeling of grafcets with Time Petri nets, IEEE Transactions on Control Systems Technology, 23(5)(2015)] concerns the TPN formalism: the resulting TPN of the translation, called here ε-TPN, integrates some infinitesimal delays (ε) to simulate the synchronous semantics of the grafcet. The first goal of this paper is to specify a formal operational semantics for an ε-TPN to amend the previous one: especially, priority is introduced here between two defined categories of the ε-TPN transitions, in order to respect strictly the synchronous hypothesis. The second goal is to provide how to build the finite state space abstraction resulting from the new definitions.Afin de permettre la vérification formelle des grafcets temporisés, plusieurs auteurs ont proposé de les traduire dans des langages formels de réputation tels que les automates temporisés et les réseaux de Petri temporels (TPN). Ainsi, les travaux présentés dans [Sogbohossou, Vianou, Formal modeling of grafcets with Time Petri nets, IEEE Transactions on Control Systems Technology, 23(5)(2015)] concernent le formalisme des TPN: le réseau résultant de la traduction, dénommé ici ε-TPN, intègre des délais infinitésimaux (ε) pour simuler la sémantique synchrone du grafcet. Le premier objectif de cet article est de définir la sémantique opérationnelle d'un ε-TPN afin d'améliorer l'ancienne définition: spécifiquement, une priorité est introduite ici entre deux catégories de transitions définies pour ces réseaux, dans l'optique de respecter rigoureusement l'hypothèse synchrone. Le second but est de fournir une méthode de calcul de l'espace d'état fini qui découle des nouvelles définitions

Translation of hierarchical GRAFCET charts into time Petri nets

International audienceThe GRAFCET standard (IEC60848) is one of the specification tools used during the conception of complex discrete-event systems, especially to model the industrial automation processes. Since being just a semi-formal language with lack of rigorous semantics, the practice to validate a specification by model-checking consists in translating it into a formal language such as time Petri nets (TPN). A recent work about TPN just deals with non hierarchical GRAFCET charts. The first goal of this paper is to make the necessary clarifications on the standard about structuring and hierarchy with this standard. The second goal aims to extend the translation rules into TPN, previously defined only for non hierarchical GRAFCET charts, by taking into account structuring. The third goal is to propose the formal semantics for GRAFCET charts with structuring.La norme GRAFCET (CIE60848) est l'un des outils de spécification utilisés lors de la conception des systèmes à événement discret complexes, surtout pour modéliser les processus des automatismes industriels. Cette norme n'étant qu'un langage semi-formel manquant d'une sémantique rigoureuse, la validation d'une spécification GRAFCET par model-checking nécessite sa traduction dans un langage formel tel que les réseaux de Petri temporels. Des travaux récents portant sur ce choix de traduction se limitent aux diagrammes GRAFCET non hiérarchiques.Le premier objectif de cet article est de faire les clarifications nécessaires sur la norme à propos de la prise en compte de la structuration et de la hiérarchie. Le second objectif est d'étendre les règles de traduction du GRAFCET en réseaux de Petri temporels, règles précédemment définies uniquement pour les diagrammes GRAFCET non hiérarchiques, en prenant ici en compte la structuration.Le dernier objectif est d'étendre la sémantique formelle pour prendre en compte la structuration

Un dépliage par processus pour calculer le préfixe complet des réseaux de Petri

The partial-order technique of the unfolding implicitly represents state-space of a Petri net (PN), by in particular preserving the concurrency relations between the events. That makes it possible to contain state-space explosion problem in case of strong concurrency. A complete prefix of unfolding is used to cover all the state-space of a bounded PN: its computation according to the classical approach is based on the concept of adequate order, taking directly into account only safe PN. In this paper, a new approach independent of the concept of adequate order and faithful to the partial-order semantics, consists in creating the events of the unfolding in the context of a single process at the same time. The results of the tests are conclusive for safe and nonsafe PN. Some solutions are presented to improve compactness of the prefix obtained.La technique d'ordre partiel du dépliage représente implicitement l'espace d'état d'un réseau de Petri (RdP), en conservant notamment les relations de concurrence entre les événements. Cela permet de contenir le phénomène de l'explosion combinatoire en cas de forte concurrence. Un préfixe complet de dépliage sert à couvrir tout l'espace d'état d'un RdP borné: son calcul suivant l'approche classique se base sur le concept d'ordre adéquat, ne prenant directement en compte que les RdP saufs. Dans cet article, une nouvelle approche indépendante du concept d'ordre adéquat et fidèle à la sémantique d'ordre partiel, consiste à créer les événements du dépliage dans le contexte d'un unique processus à la fois. Les résultats des tests sont concluants pour les RdP saufs et non saufs. Des solutions sont présentées pour améliorer la compacité du préfixe obtenu

Contribution à l'économie d'énergie dans le bâtiment (mesure de capacité de stockage dynamique d'une paroi)

L économie d énergie dans le bâtiment est devenue une question préoccupante d envergure internationale. Le secteur du bâtiment en effet, est l un des plus énergétivores avec par exemple plus de 43% du total d énergie produite en France, mais aussi l un des plus polluants avec environs, 23% des émissions de gaz à effet de serre. Avec l accroissement des ménages, et la demande par conséquent d énergie, les problèmes ci-dessus évoqués vont décupler et devenir rapidement ingérables les années à venir, si aucune mesure n est prise. Ainsi, pour faire face à la situation, plusieurs stratégies sont mises en œuvre aux fins de réaliser l économie d énergie dans le bâtiment. Il y a le volet prédiction d énergie qui oeuvre pour l énergie juste heure après heure ; le volet recherche et élimination de ponts thermiques, afin de réduire au minimum les déperditions d énergie représentant environ 30% de la consommation d énergie ; et le volet conservation d énergie dans les parois de bâtiment pour sa réutilisation future. Notre thèse s est penchée sur les deux derniers volets en proposant différentes méthodes de CND et des traitements appropriés permettant la mise en évidence de défauts dans les structures de bâtiment. Des approches d estimation de matrice de transfert ont été aussi abordées, pour permettre de prévoir le comportement thermique du bâtiment soumis à une sollicitation quelconque. La grande contribution de cette thèse concerne la mise au point d une technique de mesure de capacité de stockage in-situ. Elle est importante, car il existe quantité de logiciels proposant la composition des structures d un bâtiment pour une capacité de stockage d énergie donnée. Mais il n existe aucune méthode permettant de confirmer ou d infirmer les résultats issus de calculs artificiels. Cette thèse apporte une solution à cette situation en proposant une méthode simple, sans encombrement, facile à mettre en œuvre et offrant un résultat satisfaisant.Energy saving in buildings has become a major international issue. Indeed, the building sector is one the most energy consuming sectors, for instance in France it consumes more than 43% of the total produced energy, and also it is one of the most polluter with around 23% of the green house gas emissions. As more and more households appear, the energy demand will increase and the above mentioned problems will be ten times more sever making them unmanageable in the upcoming years if no measure is taken. Thus, to face this situation, many strategies have been setup in order to achieve some energy saving in buildings. Among these strategies we find the energy prediction part which deals with hour by hour right energy; the research and elimination part of thermal bridges which its main objective is to reduce as much as possible the energy losses representing around 30% of the energy consumption; and the energy conservation part in wall buildings for future recycling. Our thesis focuses on the last two parts by proposing different methods of CND as well as appropriate survey treatments which allow to highlight structural failure in buildings. Transfer matrix estimation approaches have been used to predict the thermal behavior for a building that is being put under any kind of stress.The main contribution of this thesis concerns the developing of an in-situ storage capacity measuring technique. This is important since there are many softwares proposing the structural composition of a building for a given amount of energy. Nevertheless, there isn t any method available for confirming or invalidating the results coming from artificial calculations. This thesis brings a solution to this situation by proposing a simple method, with no obstacles, easy to setup and with satisfactory results.BORDEAUX1-Bib.electronique (335229901) / SudocSudocFranceF

Contributions à l'analyse ordre partiel quantitative et à l'abstraction modulaire des réseaux de Petri temporels

Les réseaux temporels, une extension temporisée du formalisme des réseaux de Petri, constituent le modèle de concurrence utilisé ici pour vérifier formellement les propriétés sur les comportements et les contraintes temporelles quantitatives des systèmes temps réel. Une vérification basée sur le calcul de l espace d état d un système fortement concurrent pose le problème de l explosion combinatoire. Pour limiter cette explosion, deux stratégies sont souvent utilisées : d une part, adopter une méthode d ordre partiel de construction de l espace d état en limitant les entrelacements des événements concurrents du système, et d autre part, faire une abstraction structurelle du modèle avant d énumérer l ensemble des états accessibles. Le but de la thèse est de contribuer à réduire la complexité de la vérification des systèmes temps réel concurrents modélisés avec les réseaux temporels, en suivant ces deux approches. Pour la première approche, une méthode de dépliage des réseaux temporels est développée, qui prend en compte une vérification plus directe des contraintes temporelles quantitatives entre les événements du système. Elle repose sur le calcul des scénarios d un préfixe fini et complet du dépliage, une caractérisation temporelle quantitative étant associée à chacun des scénarios. La seconde approche repose sur l architecture modulaire du système et consiste à produire un modèle équivalent abstrait d un module de réseau temporel indépendamment de son environnement, ce qui impose des restrictions structurelles et dynamiques sur le module. L abstraction est déduite des scénarios finis du module, en se restreignant aux événements observables de chaque scénario.Time petri nets, a timed extension of the formalism of Petri nets, are the concurrency model used here to check formally the properties on the behaviors and the quantitative temporal constraints of the real-time systems. A checking based on the computing of the state space of a strongly concurrent system raises the problem of the combinatory explosion. To limit this explosion, two strategies are often used : on one hand, by adopting a partial order method for the construction of the state space by limiting the interleavings of the concurrent events of the system, and on the other hand, by making a structural abstraction of the model before enumerating all the reachable states. The purpose of the thesis is to contribute to reduce the complexity of the checking of the concurrent real-time systems modeled with time Petri nets, by following these two approaches. For the first approach, a method of unfolding of the time Petri nets developed, which takes into account a more direct checking of the quantitative temporal constraints between the events of the system. It is based on the computing of the scenarios of a finite and complete prefix of the unfolding, a quantitative temporal characterization being associated with each of the scenarios. The second approach is based on the modular architecture of the system and consists in producing an equivalent model abstracted from a module of time Petri net independently of its environment, what imposes structural and dynamic limitations on the module. The abstraction is deducted from the finite scenarios of the module, by restricting oneself to the observable events of every scenario.NANTES-BU Sciences (441092104) / SudocNANTES-BU Technologie (441092105) / SudocSudocFranceF

Architectures de systèmes multi-antennes et estimation de canal

Ces travaux portent sur l étude des systèmes multi-antennes solution fort probable des réseaux sans fil de nouvelle génération. Deux aspects essentiels y sont abordés : le codage spatio-temporel et l estimation de canal. Après une présentation du décodage STBC, du décodage STTC ainsi que les systèmes en couches en supposant le canal parfaitement connu par le récepteur, différentes méthodes d estimation de canal sont présentées. Un nouvel algorithme EM d estimation de canal et de décodage de système turbo Blast OFDM est proposé. Des techniques semi aveugle d estimation de canal à savoir la méthode des sous espaces et ses variantes puis une nouvelle approche générale d estimation de canal pour les systèmes MIMO OFDM sont considérées. La diversité coopérative est une alternative des systèmes MIMO. Une introduction aux techniques d estimation de canal de ces systèmes dits distribués est intégrée dans ce document. Les résultats des diverses simulations permettent d apprécier les performances de ces algorithmes.This work concerns the study of multiple antenna systems which are expected to be a promising solution for the next generation of wireless networks. Space-time coding and channel estimation as two essential aspects of wireless networks were addressed in this manuscript. We first assume that the channel is perfectly known and in this case STBC, STTC decoding and layered systems were presented. In addition various appropriate methods of channel estimation were considered and applied to above-mentioned decoders. For Data Aided scheme, we have considered variety of channel estimation methods ranging from direct least-square methods to iterative optimization. A new joint channel estimation and decoding EM algorithm is proposed and applied to OFDM turbo blast detectors. For semi-blind techniques, various subspace method were mentioned. Moreover a new MIMO OFDM channel estimation is proposed. The problem of channel estimation for distributed antenna is outlined. Besides, there are lots of numerical results that show the performance of these algorithms and justify our new methods.LIMOGES-BU Sciences (870852109) / SudocSudocFranceBeninFRB