Thèses sur le sujet « Évaluation de la architecture »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Évaluation de la architecture ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.
Tlais, Mazen. « Architecture sans fil discontinue : problématiques, conception et évaluation ». Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/tlais.pdf.
Texte intégralDans le domaine des réseaux mobiles, les progrès en matière de technologie de communication sans fil permettent d'envisager la mise en oeuvre d'applications réclamant des débits importants. Le plus souvent, les utilisateurs sont maintenant équipés de terminaux munis d'interface de communication sans fil et de fonctions de captures numériques (comme un appareil photo par exemple), avec lesquels ils souhaitent pouvoir regarder des films, ou bien encore capturer et stocker des photos et des séquences vidéo. De telles applications peuvent rapidement consommer la bande passante disponible dans l'infrastructure de communication. Dans ce contexte, les débits fournis par les réseaux mobiles actuels, en plus d'être d'un coût élevé, ne sont pas, le plus souvent, suffisants pour servir un grand nombre d'utilisateurs. L'objectif de cette thèse est de proposer et d'évaluer une architecture de réseau mobile offrant un haut débit, et ce pour un faible coût de déploiement. Cette architecture doit permettre à une densité élevée d'utilisateurs d'échanger des quantités importantes de données avec des serveurs applicatifs, et ce sans dégrader la qualité de service. Notre contribution repose sur trois parties. Dans un premier temps, nous proposons une architecture en mesure de fournir des transferts haut débit, pour des faibles coûts de déploiement. Cette architecture s'appuie sur une interconnexion de cellules radio de tailles réduites et n'offrant pas une couverture continue. On parle alors de réseau à couverture discontinue. Dans un deuxième temps, nous validons le fonctionnement de cette architecture pour les flux descendants et montants. Dans un troisième temps, nous décrivons les problèmes posés par un déploiement grande échelle du réseau proposé, et nous présentons des solutions adaptées
Dumas, Sophie. « Évaluation d'architectures à objets distribués ». Versailles-St Quentin en Yvelines, 1998. http://www.theses.fr/1998VERS0011.
Texte intégralRubini, Pascal. « Définition fonctionnelle, évaluation et programmation d'une architecture massivement parallèle ». Phd thesis, Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00342041.
Texte intégralMallet, Frédéric. « Modélisation et évaluation de performances d'architectures matérielles numériques ». Nice, 2000. http://www.theses.fr/2000NICE5481.
Texte intégralHe, Peng. « Conception et évaluation des systèmes logiciels de classifications de paquets haute-performance ». Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAA007/document.
Texte intégralPacket classification consists of matching packet headers against a set of pre-defined rules, and performing the action(s) associated with the matched rule(s). As a key technology in the data-plane of network devices, packet classification has been widely deployed in many network applications and services, such as firewalling, load balancing, VPNs etc. Packet classification has been extensively studied in the past two decades. Traditional packet classification methods are usually based on specific hardware. With the development of data center networking, software-defined networking, and application-aware networking technology, packet classification methods based on multi/many processor platform are becoming a new research interest. In this dissertation, packet classification has been studied mainly in three aspects: algorithm design framework, rule-set features analysis and algorithm implementation and optimization. In the dissertation, we review multiple proposed algorithms and present a decision tree based algorithm design framework. The framework decomposes various existing packet classification algorithms into a combination of different types of “meta-methods”, revealing the connection between different algorithms. Based on this framework, we combine different “meta-methods” from different algorithms, and propose two new algorithms, HyperSplit-op and HiCuts-op. The experiment results show that HiCuts-op achieves 2~20x less memory size, and 10% less memory accesses than HiCuts, while HyperSplit-op achieves 2~200x less memory size, and 10%~30% less memory accesses than HyperSplit. We also explore the connections between the rule-set features and the performance of various algorithms. We find that the “coverage uniformity” of the rule-set has a significant impact on the classification speed, and the size of “orthogonal structure” rules usually determines the memory size of algorithms. Based on these two observations, we propose a memory consumption model and a quantified method for coverage uniformity. Using the two tools, we propose a new multi-decision tree algorithm, SmartSplit and an algorithm policy framework, AutoPC. Compared to EffiCuts algorithm, SmartSplit achieves around 2.9x speedup and up to 10x memory size reduction. For a given rule-set, AutoPC can automatically recommend a “right” algorithm for the rule-set. Compared to using a single algorithm on all the rulesets, AutoPC achieves in average 3.8 times faster. We also analyze the connection between prefix length and the update overhead for IP lookup algorithms. We observe that long prefixes will always result in more memory accesses using Tree Bitmap algorithm while short prefixes will always result in large update overhead in DIR-24-8. Through combining two algorithms, a hybrid algorithm, SplitLookup, is proposed to reduce the update overhead. Experimental results show that, the hybrid algorithm achieves 2 orders of magnitudes less in memory accesses when performing short prefixes updating, but its lookup speed with DIR-24-8 is close. In the dissertation, we implement and optimize multiple algorithms on the multi/many core platform. For IP lookup, we implement two typical algorithms: DIR-24-8 and Tree Bitmap, and present several optimization tricks for these two algorithms. For multi-dimensional packet classification, we have implemented HyperCuts/HiCuts and the variants of these two algorithms, such as Adaptive Binary Cuttings, EffiCuts, HiCuts-op and HyperSplit-op. The SplitLookup algorithm has achieved up to 40Gbps throughput on TILEPro64 many-core processor. The HiCuts-op and HyperSplit-op have achieved up to 10 to 20Gbps throughput on a single core of Intel processors. In general, our study reveals the connections between the algorithmic tricks and rule-set features. Results in this dissertation provide insight for new algorithm design and the guidelines for efficient algorithm implementation
Pageau, Normand. « Évaluation et prédiction de performance de problèmes irréguliers sur une architecture parallèle ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0009/MQ41976.pdf.
Texte intégralHoueix, Pierre. « Evaluation de performances d'une architecture parallèle pour le traitement d'images ». Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00331497.
Texte intégralLecuivre, Jérôme. « Évaluation d'architectures temps réel réparties : application à CCE ». Vandoeuvre-les-Nancy, INPL, 1996. http://www.theses.fr/1996INPL093N.
Texte intégralBernon, Carole. « Conception et évaluation d'une plate-forme pour le placement dynamique de processus communicants ». Toulouse 3, 1995. http://www.theses.fr/1995TOU30146.
Texte intégralCantin, François. « Évaluation de la qualité lumineuse d'un environnement de travail éclairé naturellement ». Thesis, Université Laval, 2008. http://www.theses.ulaval.ca/2008/25625/25625.pdf.
Texte intégralThis research aims to develop a methodology for the assessment of daylight quality in individual office spaces. The proposed methodology is based on performance indicators related to illuminance, distribution (variability) , glare and directivity. The calculations are performed with the Radiance Lighting Simulation System for a South-West and a North-West oriented office located on the fifth floor of the Caisse de dépôt et placement (CDP) in Montreal. The daylight conditions of these offices are studied under a series of clear skies and an overcast sky. The selected indicators for the assessment of daylight quality are the vector/scalar illuminance ratio, the altitude of illuminance vector, the luminance difference index (LD index), the useful daylight illuminance (UDI) and the size of sunlight patches. The literature encourages the researcher to use advanced indicators like these in order to go beyond a simple study of horizontal illuminance and to deepen the analysis of luminous environment. The results allow a detailed performance assessment for each office. Furthermore, the analysis of the results underline the complementarity of the indicators, i.e., the necessity to compare them to adequately assess daylight quality. Finally, polar diagrams are used to synthesize the results. This graphical approach introduces a useful method to represent luminous ambiances.
Percebois, Christian. « Définition et évaluation d'un modèle d'exécution répartie pour les systèmes logiques non-déterministes ». Toulouse 3, 1990. http://www.theses.fr/1990TOU30220.
Texte intégralAljundi, Ahmad Chadi. « Une méthodologie multi-critères pour l'évaluation de performance appliquée aux architectures de réseaux d'interconnexion multi-étages ». Lille 1, 2004. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2004/50376-2004-Aljundi.pdf.
Texte intégralMorin, Marie-Pier. « L’aménagement d’unités de soins généraux et intensifs en milieu hospitalier : Élaboration d’un outil d’aide à la décision architecturale et évaluation par les experts en santé et en architecture hospitalière ». Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30814/30814.pdf.
Texte intégralThis thesis stems from a research collaboration between l’École d’architecture de l’Université Laval and L’Hôtel-Dieu de Québec (L’HDQ) during summer and autumn 2009, which aimed to develop and test an architectural conception and decision-making tool for nursing units. The tool presents the best available evidence from research to plan optimal general and intensive care units, along with objectives and design criteria. This tool is addressed to the different committees engaged in L’HDQ’s extension and renovation project of nursing units and to the architects in charge of the development of design hypotheses. Conceived in its first version during summer 2009, it was tested in the context of a specialization module in Programming and design of a master’s degree at Université Laval during autumn 2009. Two distinct groups, constituted on one hand of 15 students participating in this formation, and on the other hand of members of an expert committee guiding the conception works of the students, evaluated the relevance of the tool used during 15 weeks. The expert committee was composed of six professionals from L’HDQ and hospital planning specialists from public and private sectors. The whole work was done in the context of two theses in architectural sciences, being the ones of Isabelle Couillard and Marie-Pier Morin. The systematic review used to feed the architectural conception and decision-making tool was divided between them. Marie-Pier Morin’s one focuses on the subjects related to staff efficiency, patient fall, medical errors, workplace ergonomics and control, monitoring and interpersonal communication while Isabelle Couillard’s one concerns the flexibility and adaptability of the environment, hospital-acquired infection and healing environment. As for the test of the tool, Marie-Pier Morin’s thesis presents the point of view of the professionals engaged in L’HDQ’s extension and renovation project of nursing units on the tool to assist decision-making while Isabelle Couillard’s thesis rather presents the students’ point of view on the tool to help the conception of an architectural project.
Ruel, Silvain. « Évaluation des bornes des performances temporelles des Architectures d'Automatisation en Réseau par preuves itératives de propriétés logiques ». Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2009. http://tel.archives-ouvertes.fr/tel-00405783.
Texte intégralKhemiri, Abdelhak. « Elaboration d'un support d'économie d'énergie dans le secteur tertiaire, cas des hôtels ». Bordeaux 1, 2006. http://www.theses.fr/2006BOR13236.
Texte intégralBéringuier, Philippe. « De l'usage du paysage : méthodologies et pratiques pour des projets d'aménagement paysager différenciés ». Toulouse 2, 1994. http://www.theses.fr/1994TOU20060.
Texte intégralLandscape investigation connected to areas planning has been our main purpose. Landscape is understood as a specific place reading and guides to a renewal planning of life environnement. So we settled a landscape system that bind a methodologic guide and two factors : ground and planning finality. The methodologic guide is build firstly by six work principles corresponding to reading and analysis tools, then by approaching study to action in three times. Landscape evaluation, step numbre two, is an essential preliminary to every planning project. Howxever, it's worth it to discern several levels in landscape investigations and plannign procedure regarding the project scale and his aim. So three achieved approaches - audit, monography, sopt study - correspond to a methodologic guide adjustment in order to fit to landscapes diversity, and allow methodologicals transpositions. Their application to three different landscape : a city avenue in toulouse, a small town between country and town, l'isle-jourdain, and a country middle mountain, les baronnies de bigorre, allows to manage the study and works out differents and complementaries planning projects. These approaches proceed from a permanent go and move between general and singular
Weill, Jean-Christophe. « Programmes d'échecs de championnat : architecture logicielle, synthèse de fonctions d'évaluation, parallélisme de recherche ». Paris 8, 1995. http://www.theses.fr/1995PA080954.
Texte intégralDussault, Jean-Michel. « Évaluation des performances écoénergétiques des technologies de fenestration intelligente à opacité variable ». Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/29313/29313.pdf.
Texte intégralBernard, Guy. « Performances et systèmes répartis : de la modélisation à la réalisation ». Paris 11, 1989. http://www.theses.fr/1989PA112087.
Texte intégralDacier, Marc. « Vers une évaluation quantitative de la sécurité informatique ». Phd thesis, Institut National Polytechnique de Toulouse - INPT, 1994. http://tel.archives-ouvertes.fr/tel-00012022.
Texte intégralLes modèles formels développés pour l'étude de la sécurité informatique, n'offrent pas le cadre mathématique désiré. L'auteur montre qu'ils adoptent une hypothèse de pire cas sur le comportement des utilisateurs, incompatible avec une modélisation réaliste. Après avoir montré, sur la base du modèle take-grant, comment s'affranchir de cette hypothèse, l'auteur définit un nouveau modèle, le graphe des privilèges, plus efficace pour gérer certains problèmes de protection. Il illustre son utilisation dans le cadre des systèmes Unix.
Enfin, l'auteur propose d'évaluer la sécurité en calculant le temps et l'effort nécessaires à un intrus pour violer les objectifs de protection. Il montre comment définir un cadre mathématique apte à représenter le système pour obtenir de telles mesures. Pour cela, le graphe des privilèges est transformé en un réseau de Petri stochastique et son graphe des marquages est dérivé. Les mesures sont calculées sur cette dernière structure et leurs propriétés mathématiques sont démontrées. L'auteur illustre l'utilité du modèle par quelques résultats issus d'un prototype développé afin d'étudier la sécurité opérationnelle d'un système Unix.
Vu, Van Tuan. « Recherche et évaluation d'une nouvelle architecture de transistor bipolaire à hétérojonction Si/SiGe pour la prochaine génération de technologie BiCMOS ». Thesis, Bordeaux, 2016. http://www.theses.fr/2016BORD0304/document.
Texte intégralThe ultimate objective of this thesis is to propose and evaluate a novel SiGe HBT architec-ture overcoming the limitation of the conventional Double-Polysilicon Self-Aligned (DPSA) archi-tecture using Selective Epitaxial Growth (SEG). This architecture is designed to be compatible with the 28-nm Fully Depleted (FD) Silicon On Insulator (SOI) CMOS with a purpose to reach the objec-tive of 400 GHz fT and 600 GHz fMAX performance in this node. In order to achieve this ambitious objective, several studies, including the exploration and comparison of different SiGe HBT architec-tures, 55-nm Si/SiGe BiCMOS TCAD calibration, Si/SiGe BiCMOS thermal budget study, investi-gating a novel architecture and its optimization, have been carried out. Both, the fabrication process and physical device models (incl. band gap narrowing, saturation velocity, high-field mobility, SRH recombination, impact ionization, distributed emitter resistance, self-heating and trap-assisted tunnel-ing, as well as band-to-band tunneling), have been calibrated in the 55-nm Si/SiGe BiCMOS tech-nology. Furthermore, investigations done on process thermal budget reduction show that a 370 GHz fT SiGe HBT can be achieved in 55nm assuming the modification of few process steps and the tuning of the bipolar vertical profile. Finally, the Fully Self-Aligned (FSA) SiGe HBT architecture using Selective Epitaxial Growth (SEG) and featuring an Epitaxial eXtrinsic Base Isolated from the Collector (EXBIC) is chosen as the most promising candidate for the 28-nm FD-SOI BiCMOS genera-tion. The optimization of this architecture results in interesting electrical performances such as 470 GHz fT and 870 GHz fMAX in this technology node
Chaudemar, Jean-Charles. « Étude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event B ». Thesis, Toulouse, ISAE, 2012. http://www.theses.fr/2012ESAE0003/document.
Texte intégralThe study of complex system safety requires a rigorous design process. The context of this work is the formal modeling of fault tolerant autonomous control systems. The first objective has been to provide a formal specification of a generic layered architecture that covers all the main activities of control system and implement safety mechanisms. The second objective has been to provide tools and a method to qualitatively assess safety requirements. The formal framework of modeling and assessment relies on Event-B formalism. The proposed Event-B modeling is original because it takes into account exchanges and relations betweenarchitecture layers by means of refinement. Safety requirements are first specified with invariants and theorems. The meeting of these requirements depends on intrinsic properties described with axioms. The proofs that the concept of the proposed architecture meets the specified safety requirements were discharged with the proof tools of the Rodin platform. All the functional properties and the properties relating to fault tolerant mechanisms improve the relevance of the adopted Event-B modeling for safety analysis. Then, this approach isimplemented on a study case of ONERA UAV
Benosman, Ridha Mohammed. « Conception et évaluation de performance d'un Bus applicatif, massivement parallèle et orienté service ». Thesis, Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0889/document.
Texte intégralEnterprise service bus (ESB) is currently the most promising approach for business application integration in distributed and heterogeneous environments. It allows to deploy a service-oriented architecture (SOA) by the integration of all the isolated applications on a decentralized platform.Several commercial or open source ESB-based solutions have been proposed. However, to the best of our knowledge, none of these solutions has integrated the parallel processing. The integration of parallelism in the treatment allows to take advantage of the multicore/multiprocessor technologies and thus can improve greatly the ESB performance. However, this integration is difficult to achieve, and poses problems at multiple levels (communication, synchronization, etc). In this study, we present a new massively parallel ESB architecture that meets this challenge
Abdennadher, Nabil. « Conception de méthodes de placement et d'ordonnancement de programmes parallèles sur un système multi processeur : évaluation sur un réseau de transputers ». Valenciennes, 1991. https://ged.uphf.fr/nuxeo/site/esupversions/be35d3cb-258a-4a5f-bc58-c3be2899b347.
Texte intégralMeunier, Pascal. « Évaluation de performance d'architectures de commande de systèmes automatisés industriels ». Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2006. http://tel.archives-ouvertes.fr/tel-00761994.
Texte intégralBounouar, Mohamed Amine. « Transistors mono-electroniques double-grille : Modélisation, conception and évaluation d’architectures logiques ». Thesis, Lyon, INSA, 2013. http://www.theses.fr/2013ISAL0068/document.
Texte intégralIn this work, we have presented a physics-based analytical SET model for hybrid SET-CMOS circuit simulations. A realistic SET modeling approach has been used to provide a compact SET model that takes several conduction mechanisms into account and closely matches experimental SET characteristics. The model is implemented in Verilog-A language, and can provide suitable environment to simulate hybrid SET-CMOS architectures. We have presented logic circuit design technique based on double gate metallic SET at room temperature. We have also shown the flexibility that the second gate can bring in order to configure the SET into P-type and N-type. Given that the same device is utilized, the circuit design approach exhibits regularity of the logic gate that simplifies the design process and leads to reduce the increasing process variations. Afterwards, we have addressed a new Boolean logic family based on DG-SET. An evaluation of the performance metrics have been carried out to quantify SET technology at the circuit level and compared to advanced CMOS technology nodes. SET-based static memory was achieved and performances metrics have been discussed. At the architectural level, we have investigated both full DG-SET based arithmetic logic blocks (FA and ALU) and programmable logic circuits to emphasize the low power aspect of the technology. The extra power reduction of SETs based logic gates compared to the CMOS makes this technology much attractive for ultra-low power embedded applications. In this way, architectures based on SETs may offer a new computational paradigm with low power consumption and low voltage operation. We have also addressed a flexible logic design methodology based on DG-SET transmission gates. Unlike conventional design approach, the XOR / XNOR behavior can be efficiently implemented with only 4 transistors. Moreover, this approach allows obtaining reconfigurable XOR / XNOR gates by swapping the cell biasing. Given that the same device is utilized, the structure can be physically implemented and established in a regular manner. Finally, complex logic gates based on DG-SET transmission gates offer an improvement in terms of transistor device count and power consumption compared to standard complementary SETs implementations.Process variations are introduced through our model enabling then a statistical study to better estimate the SET-based circuit performances and robustness. SET features low power but limited operating frequency, i.e. the parasitics linked to the interconnects reduce the circuit operating frequency as the SET Ion current is limited to the nA range. In term of perspectives: i) detailed studying the impact on SET-based logic cells of process variation and random back ground charge ii) considering multi-level computational model and their associate architectures iii) investigating new computation paradigms (neuro-inspired architectures, quantum cellular automata) should be considered for future works
Perrau, Antoine. « "Influence de la ventilation naturelle dans l'évolution de l'architecture tropicale". "Évaluation de cette influence au travers un regard d'architecte et d'urbaniste exerçant à La Réunion" ». Thesis, La Réunion, 2019. http://www.theses.fr/2019LARE0045.
Texte intégralThis thesis proposes an approach based on the study of the influence of natural ventilation in the evolution of tropical architecture, past, present and future. This work starts from the observations related to the energy crisis and its consequences, global warming and the excessive use of air conditioning. It focuses on the tropical environment, which is experiencing rapid demographic, economic and therefore energy growth. First, it answers the question: Could a common, humid tropical climate have produced original and common architectural typologies, despite a strong geographical and temporal dispersion, at a time when the physics of buildings was not in use? In a second step, we tried to characterize thermal comfort and by which devices (architectural and technical) it is obtained for a traditional representative Reunionese "hut". Thirdly, we asked ourselves: How can we transpose these old concepts into contemporary projects, respecting which principles, with which tools and to obtain which results? This is based on an evaluation of two case studies, L'Ilet du Centre and Collège Bouéni, the tools used, their context of use and the efficiency of these devices. Finally, we have recently become aware of the need for a change of scale. Through a case study, we studied the ZAC Cœur de ville de La Possession, how to propose the transcription and ensure the sustainability of the natural ventilation chain, studied in the first three parts, in order to make the concept of a wind city applicable, enforceable, and therefore reproducible. Results: In terms of results, the study of these examples showed the importance of natural ventilation in the tropical zone, the impact on built forms, the solutions allowing comfort to be obtained in a traditional Reunionese hut, the role of the distant and nearby context, the risk of dysfunction in the event of modification of it, the interest of the appropriate use of new design tools, including aerothermal engineering and their adaptation to the geographical, climatic and programming context. We then proposed to ensure the sustainability of these devices on a building scale by moving to an urban scale. This thesis work made it possible in particular to make proposals for the regulatory transposition of these rules into the PLU. To this end, we have established constructability rules in the Cœur de ville project of La Possession, which preserves the potential for natural ventilation of buildings in the urban fabric through an integrated airflow engineering approach. The regulatory transposition of these rules into the PLU has finally made it possible to define a right to natural ventilation. This is a first applied example of regulatory wind energy planning while highlighting the need for rigorous operational monitoring to ensure its complete success
Dorie, Laurent. « Modélisation et évaluation de performances en vue de la conception conjointe des systèmes reconfigurables : application à la radio logicielle ». Nantes, 2007. http://www.theses.fr/2007NANT2107.
Texte intégralThe fast evolution of embedded system context leads to more and more complexity into electronic products that can support many ways of working and different standards. In these systems, the reconfiguration is a solution to face such evolution and also respect embedded constraints. This property points out that a system is able to modify its behaviour. Such property concerns just as well the application development as the technology design. New approaches and tools are needed to take into account this reconfiguration property. Thus, the goal of this thesis is to provide high abstraction level models in order to improve the co-design of reconfigurable systems. The first part of this thesis interested in reconfiguration mechanisms of radiocommunication systems. It led to the definition of modelling in order to describe the reconfigurable mechanisms of radio communication application. The second part of this thesis focused on the reconfigurable architectures. It led to a modelling able to describe the reconfigurable impact of heterogeneous multi-processor platforms on system behaviour and performances. The interest of these modelling is illustrated by a study which deals with a typical case of Software Radio
Bounouar, Mohamed Amine. « Transistors mono-electroniques double-grille : Modélisation, conception and évaluation d'architectures logiques ». Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00967363.
Texte intégralCain, Skaff Michael. « Évaluation de l'impact de la ventilation intégrée à des fenêtres intelligentes sur leurs performances écoénergétiques ». Thesis, Université Laval, 2013. http://www.theses.ulaval.ca/2013/29732/29732.pdf.
Texte intégralBenosman, Mohammed Ridha. « Conception et évaluation de performance d'un Bus applicatif, massivement parallèle et orienté service ». Phd thesis, Conservatoire national des arts et metiers - CNAM, 2013. http://tel.archives-ouvertes.fr/tel-00957444.
Texte intégralBoufroura, Hamza. « Synthèse et évaluation d'architectures polyaromatiques pour l’application au transport transmembranaire d'ions ». Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLV035.
Texte intégralThe work presented in this manuscript is dealing with the synthesis of new three-dimensional molecular architectures and their evaluation as synthetic ion channels capable of promoting ion transmembrane transport. The first part aims at developing a straightforward approach to the synthesis of novel architectures based on a naphthothiophene platform, aromatic or partially hydrogenated, as well as the development of a strategy the convert 9-arylnaphthothiophene architectures into helical platforms. The properties of these molecules were studied in the solid state and were completed by theoretical calculations to highlight global topologies adopted. Theoretical calculations allowed us to understanding some reactivities observed. A second part is dedicated firstly to the functionalisation of these molecular architectures into amphiphilic molecules and secondly to study their abilities to insert themselves into a model bilayer lipid membrane by forming channels. Besides, in order to gain a better understanding of the interactions in play in the process, mass spectrometry analysis combined to theoretical calculations were set up
Rugina, Ana-Elena. « Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques ». Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2007. http://tel.archives-ouvertes.fr/tel-00207502.
Texte intégralZouggar, Salah. « Etude de la co-évolution produit/réseau de partenaires : évaluation de l'intégrabilité des partenaires potentiels pour accroître l’efficacité des projets de développement de produits ». Thesis, Bordeaux 1, 2009. http://www.theses.fr/2009BOR13932/document.
Texte intégralAbstract
Falcou, Joël. « Un cluster pour la vision temps réel : architecture, outils et application ». Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2006. http://tel.archives-ouvertes.fr/tel-00717444.
Texte intégralMartins, Goncalves Philippe. « Architectures de contrôle et middleware pour les réseaux de prochaines générations et évaluation de performances ». Paris, ENST, 2000. http://www.theses.fr/2000ENST0024.
Texte intégralNorre, Sylvie. « Problèmes de placement de taches sur des architectures multiprocesseurs : méthodes stochastiques et évaluation des performances ». Clermont-Ferrand 2, 1993. http://www.theses.fr/1993CLF21511.
Texte intégralBounouar, Mohamed Amine. « Transistors mono-électroniques double-grille : modélisation, conception & ; évaluation d'architectures logiques ». Thèse, Université de Sherbrooke, 2013. http://hdl.handle.net/11143/6117.
Texte intégralSarhan, Hossam. « Design methodology and technology assessment for high-desnity 3D technologies ». Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT134/document.
Texte intégralScaling limitations of advanced technology nodes are increasing and the BEOL parasitics are becoming more dominant. This has led to an increasing interest in 3D technologies to overcome such limitations and to continue the scaling predicted by Moore's Law. 3D technologies vary according to the fabrication process which creates a wide spectrum of technologies including Through-Silicon-VIA (TSV), Copper-to-Copper (CuCu) and Monolithic 3D (M3D). TSV and CuCu provide 3D contacts of pitch around 5-10um while M3D scales down 3D via pitch extremely to 0.11um. Such high-density capability of Monolithic 3D technology creates new design paradigms. In this context, our objective is to propose innovative design methodologies to well utilize M3D technology and introduce a technology assessment framework to evaluate different M3D technology parameters from design perspective.This thesis can be divided into three main contributions. As creating 3D standard cells become achievable thanks to M3D technology, a new 3D standard cell approach has been introduced which we call it ‘3D Cell-on-Buffer' (3DCoB). 3DCoB cells are created by splitting 2D cells into functioning gates and driving buffers stacked over each other. The simulation results show gain in timing performances compared to 2D. By applying an additionally Multi-VDD low-power approach, iso-performance power gain has been achieved. Afterwards cell-on-cell design approach has been explored where a partitioning methodology is needed to distribute cells between different tiers, i.e. determine which cell is placed on which tier. A physical-aware partitioning methodology has been introduced which improves power-performance-area results comparing to the state-of-the-art partitioning techniques. Finally a full high-density 3D technology assessment study is presented to explore the trade-offs between different 3D technologies, block complexities and partitioning methodologies
Abdelatia, Belal. « Contribution à l'étude du confort visuel en lumière naturelle dans les établissements scolaires en Libye : évaluation qualitative et préconisations ». Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00905769.
Texte intégralNdiaye, Moulaye A. A. « Évaluation de performance d’architecture de contrôle-commande en réseau dans un contexte incertain d’avant-vente ». Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0027/document.
Texte intégralThis PhD dissertation, supported by CIFRE convention between the company Schneider-Electric and the University of Lorraine through the CRAN laboratory, deals with the assessment of temporal performances for a networked distributed control system. The industrial need was the development of a quotation and sizing tool of industrial control architecture during pre-sales stage. This stage is characterized by limited information about the process and the customers’ needs. The underlying scientific problematic was the ability to generate automatically models serving as support for the evaluation. In fact, performance assessment is realized for a wide range of architecture during a small amount of time, which is not compliant with a manual definition of the models. Our contribution is mainly based on a formal definition of a “builder” model with Colored and Timed Petri Nets which embeds mechanisms for configuration, instantiation and parameters setting of the architecture models. Several algorithms have been proposed for firstly build automatically the architecture Petri Nets model from a formal description of the topology and from a component model library and, secondly, for generating performance observers. Theses algorithms have been implemented on a tool gathering a user interface developed by Schneider –Electric and the Petri Nets simulator called CPN Tools which provides the performance assessment through Monte-Carlo simulation. The added value of this approach has been illustrated through case studies provided by Schneider-Electric
Roque, Damien. « Modulations multiporteuses WCP-OFDM : évaluation des performances en environnement radiomobile ». Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00789990.
Texte intégralBenarif, Samir. « Plate-forme multi-agent pour la reconfiguration dynamique des architectures logicielles ». Versailles-St Quentin en Yvelines, 2006. http://www.theses.fr/2006VERS0038.
Texte intégralA dynamic change to architecture is an active area of research within the software architecture community. The objective of all architecture reconfiguration, adaptation and evolution is the improvement of the quality attributes of the software architecture. Only recently the reconfiguration of software architecture at runtime has grown up considerably for the construction of reliable evolutionary systems. The structure of these systems is dynamic and continuously changing. Consequently, architectures must have the ability to react to events and perform architectural changes autonomously. In this thesis, we provide a new approach based on software multi-agent platform. Such agents are used to supervise the architecture, gather information from it and its environment, capture dynamic changes, and manage them. They monitor the components dynamically and adapt them to structural changes in the architecture. They evaluate dynamically the quality attributes of the architecture. This evaluation will ensure the correctness, robustness, security, availability, etc. As the changes take place so that the system conforms to its architecture and remains in conformance throughout its lifetime
Harbaoui, Ahmed. « Vers une modélisation et un dimensionnement automatique des systèmes répartis ». Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00649967.
Texte intégralBoyer, Grâce. « Évaluation d’indicateurs de sûreté de fonctionnement d’architectures de contrôle-commande dans un contexte dynamique et incertain ». Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0029.
Texte intégralThis PhD dissertation, supported by a CIFRE agreement with the Schneider Electric company, deals with the dependability performances assessment of industrial control system (ICS) architectures. The industrial challenge is to provide a tool able to guide on the sizing of ICS architectures in terms of performances. The scientific challenge in another hand is double. Firstly, we must generate automatically the models which are the core of the performance evaluation for a set of ICS architecture, since their manual modelling is challenging based on the wide variety of architecture to model and the limited amount of time and resources. Secondly, we must consider the degradation phenomena in those architectures. The selected modelling formalism is the coloured and timed Petri nets (CPN) which allows to represent model hierarchically, to handle random time delays which help on characterizing the components lifetime. Our contribution is on the development of a method for automatically generate a CPN model of ICS by instantiating a set of elementary components and defining generic observers, covering dependability indicators such as system reliability, availability, MTTF, number of failures and importance measures, and allowing to guide the choices of system integrators during pre-sales stage
Ye, Fan. « Nouveaux algorithmes numériques pour l’utilisation efficace des architectures multi-cœurs et hétérogènes ». Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10169/document.
Texte intégralThis study is driven by the real computational needs coming from different fields of reactor physics, such as neutronics or thermal hydraulics, where the eigenvalue problem and resolution of linear system are the key challenges that consume substantial computing resources. In this context, our objective is to design and improve the parallel computing techniques, including proposing efficient linear algebraic kernels and parallel numerical methods. In a shared-memory environment such as the Intel Many Integrated Core (MIC) system, the parallelization of an algorithm is achieved in terms of fine-grained task parallelism and data parallelism. For scheduling the tasks, two main policies, the work-sharing and work-stealing was studied. For the purpose of generality and reusability, we use common parallel programming interfaces, such as OpenMP, Cilk/Cilk+, and TBB. For vectorizing the task, the available tools include Cilk+ array notation, SIMD pragmas, and intrinsic functions. We evaluated these techniques and propose an efficient dense matrix-vector multiplication kernel. In order to tackle a more complicated situation, we propose to use hybrid MPI/OpenMP model for implementing sparse matrix-vector multiplication. We also designed a performance model for characterizing performance issues on MIC and guiding the optimization. As for solving the linear system, we derived a scalable parallel solver from the Monte Carlo method. Such method exhibits inherently abundant parallelism, which is a good fit for many-core architecture. To address some of the fundamental bottlenecks of this solver, we propose a task-based execution model that completely fixes the problems
Tomasik, Joanna. « Garantie de la qualité de service et évaluation de performance des réseaux de télécommunications ». Habilitation à diriger des recherches, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00661575.
Texte intégralIberraken, Dimia. « Safe Trajectories and Sequential Bayesian Decision-Making Architecture for Reliable Autonomous Vehicle Navigation ». Thesis, Université Clermont Auvergne (2017-2020), 2020. http://www.theses.fr/2020CLFAC043.
Texte intégralRecent advances in Autonomous Vehicles (AV) driving raised up all the importance to ensure the complete reliability of AV maneuvers even in highly dynamic and uncertain environments/situations. This objective becomes even more challenging due to the uniqueness of every traffic situation/condition. To cope with all these very constrained and complex configurations, AVs must have appropriate control architecture with reliable and real-time Risk Assessment and Management Strategies (RAMS). These targeted RAMS must lead to reduce drastically the navigation risks (theoretically, lower than any human-like driving behavior), with a systemic way. Consequently, the aim is also to reduce the need for too extensive testing (which could take several months and years for each produced RAMS without at the end having absolute prove). Hence the goal in this Ph.D. thesis is to have a provable methodology for AV RAMS. This dissertation addresses the full pipeline from risk assessment, path planning to decision-making and control of autonomous vehicles. In the first place, an overall Probabilistic Multi-Controller Architecture (P-MCA) is designed for safe autonomous driving under uncertainties. The P-MCA is composed of several interconnected modules that are responsible for: assessing the collision risk with all observed vehicles while considering their trajectories' predictions; planning the different driving maneuvers; making the decision on the most suitable actions to achieve; control the vehicle movement; aborting safely the engaged maneuver if necessary (due for instance to a sudden change in the environment); and as last resort planning evasive actions if there is no other choice. The proposed risk assessment is based on a dual-safety stage strategy. The first stage analyzes the actual driving situation and predicts potential collisions. This is performed while taking into consideration several dynamic constraints and traffic conditions that are known at the time of planning. The second stage is applied in real-time, during the maneuver achievement, where a safety verification mechanism is activated to quantify the risks and the criticality of the driving situation beyond the remaining time to achieve the maneuver. The decision-making strategy is based on a Sequential Decision Networks for Maneuver Selection and Verification (SDN-MSV) and corresponds to an important module of the P-MCA. This module is designed to manage several road maneuvers under uncertainties. It utilizes the defined safety stages assessment to propose discrete actions that allow to: derive appropriate maneuvers in a given traffic situation and provide a safety retrospection that updates in real-time the ego-vehicle movements according to the environment dynamic, in order to face any sudden hazardous and risky situation. In the latter case, it is proposed to compute the corresponding low-level control based on the Covariance Matrix Adaptation Evolution Strategy (CMA-ES) that allows the ego-vehicle to pursue the advised collision-free evasive trajectory to avert an accident and to guarantee safety at any time.The reliability and the flexibility of the overall proposed P-MCA and its elementary components have been intensively validated, first in simulated traffic conditions, with various driving scenarios, and secondly, in real-time with the autonomous vehicles available at Institut Pascal
Girard, Marion. « Étude de la précontrainte par post-tension par évaluation non destructive (END) : application de la méthode impact-écho (IE) combinée à l'endoscopie ». Thesis, Université Laval, 2013. http://www.theses.ulaval.ca/2013/28573/28573.pdf.
Texte intégralAuscultation of post-tensioned concrete structures represents a particular challenge because the prestressing reinforcement as well as prestressing ducts are embedded in the concrete and become, thereby, mostly inaccessible to Inspection. However, the condition of the tendons (presence of corrosion) as well as the quality of the grout injection of the ducts (presence of voids) are important indicators of a structure durability. In order to shed light upon auscultation of post-tensioned structures, this study first proposes a review of the literature on nondestructive methods and discusses their applicability in the context of prestressed structure assessment. Based on the review, the impact echo method was selected and utilized for the auscultation of test bodies, manufactured in laboratory, as well as for the auscultation of dismantled post-tensioned bridge sampled beams. Endoscopy, considered a semi-destructive testing method, came in support to the impact echo method and was used on the same concrete test bodies or samples. Following the description of the methodology related to the two assessment methods and the description of the concrete samples available, an entier chapter is dedicated to typical experimental results. The findings of the study show that the practice of endoscopy is particularly well suited to the observation of injection voids or of the prestressed reinforcement state in the grouted ducts.. In the case of the impact-echo the study showed that, although there is a potential of grout void detections, in situations where massive and complex parts are involved (due to the presence of multiple cables, the presence of damage or geometrical imperfections), the interpretation of results is difficult. The treatment of the mesures (signals) needs to be further developed before the impact echo method can be used routinely on large elements.
Oikonomopoulou, Apostolia. « APPROCHES NUMERIQUES POUR L'ETUDE DU COMPORTEMENT DES STRUCTURES MAÇONNEES ANCIENNES : Un outil basé sur le Calcul à la Rupture et la visualisation graphique ». Phd thesis, Université Paris-Est, 2009. http://tel.archives-ouvertes.fr/tel-00493588.
Texte intégral