Relevant bibliographies by topics / Systèmes à composants multiples / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Systèmes à composants multiples.

Dissertations / Theses on the topic 'Systèmes à composants multiples'

Author: Grafiati
Published: 8 June 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Systèmes à composants multiples.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Vu, Hai Canh. "Stratégies de regroupement pour la maintenance des systèmes à composants multiples avec structure complexe." Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0008/document.

Full text
Abstract:
Au cours des dernières décennies, avec un fort développement de l'économie mondiale et des nouvelles technologies, la structure des systèmes industriels devient de plus en plus complexe. Elle peut être une combinaison des structures élémentaires telles que structures séries, structures parallèles, structures séries-parallèles, etc. Dans la littérature, la plupart des travaux s'intéressent à développer des stratégies de regroupement en considérant des structures séries. Cette hypothèse est parfois très pénalisée et se limite l'application de ces stratégies dans la réalité. C'est pourquoi, l'obj
APA, Harvard, Vancouver, ISO, and other styles
2

Chefrour, Djalel. "Plate-forme de composants logiciels pour la coordination des adaptations multiples en environnement dynamique." Phd thesis, Université Rennes 1, 2005. http://tel.archives-ouvertes.fr/tel-00011148.

Full text
Abstract:
L'objectif de cette thèse est de contribuer au développement de méthodes et d'outils<br />pour l'adaptation de composants logiciels et pour leur coordination en environnement<br />dynamique.<br />Nous proposons une capture des mécanismes de l'adaptabilité dans un modèle de<br />composants générique basé sur la réflexivité et les techniques objet. Ces composants<br />reposent sur un service de surveillance de l'environnement et sur un intergiciel de coordination<br />des adaptations. La coordination inclut la gestion des dépendances entre les<br />composants interagissants et/ou concurrents.<br
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Zhi. "Commande optimale (en Production et Stock) de Systèmes Assemble-To-Order (ATO) avec prise en compte de demandes en composants individuels." Phd thesis, Ecole Centrale de Lille, 2013. http://tel.archives-ouvertes.fr/tel-00866378.

Full text
Abstract:
Les systèmes assemble-to-order (ATO) peuvent être considérés comme une affectation de ressources multiples qui induit planification de production, satisfaction des contraintes et affectation des stocks. Les systèmes ATO représentent une stratégie de logistique populaire utilisée en gestion de fabrication. En raison de la complexité croissante des systèmes de fabrication d'aujourd'hui, le défi pour les systèmes ATO est de gérer efficacement les stocks de composants et de trouver les décisions optimales de production et d'affectation.Nous étudions un système ATO avec un produit unique qui est as
APA, Harvard, Vancouver, ISO, and other styles
4

Lapertot, Arnaud. "Méthodologie d'optimisation de composants et de systèmes énergétiques complexes : application au secteur résidentiel." Thesis, Aix-Marseille, 2021. http://www.theses.fr/2021AIXM0624.

Full text
Abstract:
Cette thèse est dédiée à l’optimisation de composants et de systèmes énergétiques avec une application dans le secteur résidentiel. La méthodologie développée est composée d’une analyse de sensibilité, d’une optimisation multi-objectif et d’une aide à la décision multicritère pour sélectionner le meilleur compromis. Tout d’abord, une optimisation d’un système de production d’eau chaude sanitaire est mise en œuvre numériquement et s’appuie sur un banc expérimental du laboratoire IUSTI. Cette étude a pour but d’optimiser, en fonction de différents profils de puisage, les performances d’un dispos
APA, Harvard, Vancouver, ISO, and other styles
5

Dinh, Duc-Hanh. "Opportunistic Predictive Maintenance for Multi-Component Systems with Multiple Dependences." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0171.

Full text
Abstract:
Les dépendances (économiques, stochastiques et/ou structurelles) entre composants influencent de manière significative le processus de dégradation des composants ainsi que le processus de prise de décision en maintenance. En ce sens, la non prise en compte des dépendances entre composants dans la modélisation de la maintenance pourrait entraîner des surcoûts de maintenance et un planning de maintenance sous-optimal. En lien avec ces considérations de nombreux travaux en maintenance prédictive de systèmes multi-composants avec des dépendances entre composants ont été récemment faits. Cependant,
APA, Harvard, Vancouver, ISO, and other styles
6

Quitin, François. "Channel modeling for polarized MIMO systems." Doctoral thesis, Universite Libre de Bruxelles, 2011. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209951.

Full text
Abstract:
This thesis treats of channel models for polarized multi-antenna wireless systems. Polarized multi-antenna systems are systems that use perpendicularly polarized, co-located antennas at the base station and at the mobile terminal, in order to benefit from the so-called polarization diversity. Such systems benefit from the advantages of MIMO systems while still maintaining a compact equipment size. Two models will be presented in this thesis. The first one is the Polarized-Input Polarized-Output (PIPO) channel model, the second one is the Polarized-Diffuse-Directional channel model. <p><p>The P
APA, Harvard, Vancouver, ISO, and other styles
7

Tsormpatzoglou, Andreas. "Caractérisation et modélisation des composants MOS à multiples grilles nanométriques." Grenoble INPG, 2009. http://www.theses.fr/2009INPG0143.

Full text
Abstract:
La thèse s'est développée autour de deux axes majeurs concernant des transistors MOS multi-grilles : i) le développement de modèles analytiques compacts décrivant la distribution du potentiel le long du canal et toutes les autres grandeurs caractéristiques du transistor ii) le développement de modèles analytiques compacts décrivant des caractéristiques de transfert d'un transistor DG et d’un transistor cylindrique gate-all-around iii) l'étude expérimentale et théorique à l'aide de simulations 3D d'un MOSFET multi-grille particulier, le FinFET. Plus particulièrement, les courants de fuites de g
APA, Harvard, Vancouver, ISO, and other styles
8

Belhadj, Taher Aymen. "Etude théorique et expérimentale de composants innovants à fibres optiques multiples." Thesis, Limoges, 2016. http://www.theses.fr/2016LIMO0036/document.

Full text
Abstract:
Les travaux de recherche présentés dans ce manuscrit ont pour but de concevoir, simuler, fabriquer et caractériser un convertisseur modal à base de canne microstructurée air-silice (CMAS). Cette fonction représente un élément clé pour les multiplexeurs modaux et les compensateurs de dispersion chromatique. Le composant proposé est basé sur une CMAS effilée dite « taper » qui constitue une transition entre les deux fibres différentes. La conversion se fait à travers l’excitation d’un mode particulier dans une fibre multimode à partir d’une fibre standard. Dans les structures à diamètre évolutif
APA, Harvard, Vancouver, ISO, and other styles
9

Nguyen, Van-Thai. "AI-based maintenance planning for multi-component systems considering different kinds of dependencies." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0070.

Full text
Abstract:
Le maintien en condition opérationnel de systèmes industriels reste un challenge important en regard des dépendances multiples entre composants (ex. dépendance économique, stochastique et structurelle) et du grand nombre de variables de décision en maintenance à optimiser.Pour faire face à ce défi, cette thèse vise à proposer une approche d'optimisation de la maintenance basée sur l'intelligence artificielle permettant de prendre en compte différents types de dépendances entre composants. En particulier, l'approche de maintenance proposée intègre un modèle de prédiction basé sur des réseaux de
APA, Harvard, Vancouver, ISO, and other styles
10

Salmi, Nabila. "Analyse de performances des systèmes basés composants." Chambéry, 2008. http://www.theses.fr/2008CHAMS029.

Full text
Abstract:
L'industrie du logiciel et du matériel s'oriente de plus en plus vers la conception de systèmes sous la forme d'assemblage de composants. L'objectif de ce type de conception est de réduire le coût et le temps de développement par réutilisation des composants, et d'atteindre un haut degré de maintenabilité, d'extensibilité et de dynamicité. La vérification de la correction d'un tel système reste importante, tant du point de vue qualitatif que quantitatif. Dans cette optique, nous développons, dans cette thèse, une méthode d'analyse qualitative et quantitative (performances) d'un système constru
APA, Harvard, Vancouver, ISO, and other styles
11

Collet, Timothé. "Méthodes optimistes d’apprentissage actif pour la classification." Electronic Thesis or Diss., Université de Lorraine, 2016. http://www.theses.fr/2016LORR0084.

Full text
Abstract:
La classification se base sur un jeu de données étiquetées par un expert. Plus le jeu de données est grand, meilleure est la performance de classification. Pourtant, la requête à un expert peut parfois être coûteuse. Le but de l'apprentissage actif est alors de minimiser le nombre de requêtes à l'expert. La collection des données non-étiquetées reste aisée cependant et illimitée, il est donc nécessaire de faire un choix sur les données à annoter, l'idée est alors de profiter de ce choix pour maximiser les performances en ne lui fournissant que les données les plus informatives à étiqueter. Pou
APA, Harvard, Vancouver, ISO, and other styles
12

Quinton, Sophie. "Design, vérification et implémentation de systèmes à composants." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00685854.

Full text
Abstract:
Nous avons étudié dans le cadre de cette thèse le design, la vérification et l'implémentation des systèmes à composants. Nous nous sommes intéressés en particulier aux formalismes exprimant des interactions complexes, dans lesquels les connecteurs servent non seulement au transfert de données mais également à la synchronisation entre composants. 1. DESIGN ET VÉRIFICATION Le design par contrat est une approche largement répandue pour développer des systèmes lorsque plusieurs équipes travaillent en parallèle. Les contrats représentent des contraintes sur les implémentations qui sont préservées t
APA, Harvard, Vancouver, ISO, and other styles
13

Roméo, Fabien. "Administration de composants logiciels pour systèmes sans fil." Pau, 2007. http://www.theses.fr/2007PAUU3012.

Full text
Abstract:
Une des grandes tendances dans les systèmes sans fil est de concevoir leur logiciel comme un assemblage de composants. Les composants sont interconnectés grâce à leurs interfaces, tout en cachant leur implémentation afin d'augmenter leur réutilisabilité et permettre leur déploiement par des tiers. Le déploiement s'effectue sur des dispositifs très variés tels que des téléphones mobiles, des PDA, des boîtiers de télévision numérique, etc. Compte tenu du fait que les environnements de déploiement sont différents des environnements de développement, des comportements anormaux et/ou des dysfonctio
APA, Harvard, Vancouver, ISO, and other styles
14

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM020.

Full text
Abstract:
L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations entre les composants. Nous offrons des méthodes efficaces pour calculer ces invariants. Nous proposons égalemen
APA, Harvard, Vancouver, ISO, and other styles
15

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00485933.

Full text
Abstract:
L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations fortes entre les composants. Nous offrons des techniques efficaces pour calculer ces invariants. Nous proposons
APA, Harvard, Vancouver, ISO, and other styles
16

Zouine, Younes. "Contribution par la simulation système à l'étude des contraintes des composants optoélectroniques sur la transmission optique utilisant la technique CDMA." Limoges, 2005. http://aurore.unilim.fr/theses/nxfile/default/a2542528-1671-45c8-9ce8-76ef441c7766/blobholder:0/2005LIMO0059.pdf.

Full text
Abstract:
La technique CDMA (Code Division Multiple Access ou Accès Multiple par Répartition de Codes) est largement utilisée dans le domaine radiofréquence (3G) et suscite un intérêt croissant pour tirer parti de la largeur de bande offerte par la fibre optique. Associée au DWDM (Dense Wavelength Digital Multplexing), cette technique permettrait en effet un accroissement important du nombre d’utilisateurs au niveau local sans accroître les besoins en nombre de fibres du réseau de transport. Elle s’accompagnerait donc d’une diminution évidente du coût du bit/km. Ce type d’étude est gouverné par des cont
APA, Harvard, Vancouver, ISO, and other styles
17

Sellami, Noura. "Récepteurs itératifs pour les systèmes MIMO (Multiple-Input Multiple-Input)." Cergy-Pontoise, 2002. http://www.theses.fr/2002CERG0159.

Full text
Abstract:
Ce travail porte sur l'étude des systèmes MIMO (multiple-input multiple-output) codés et plus particulièrement les méthodes d'égalisation et de décodage adaptées à ces systèmes. Nous optons à l'émission pour un système utilisant le multiplexage spatial via la structure BICM (Bit Interleaved Coded Modulation). La présence des entrelaceurs rend la réception optimale (égalisation et décodage conjoints) trop complexe. Afin de réaliser un bon compromis complexité/performance, nous proposons d'utiliser une structure de réception itérative. Dans le cas où le canal est sélectif en fréquence, l'égalise
APA, Harvard, Vancouver, ISO, and other styles
18

Chefrour, Djalel André Françoise. "Plate-forme de composants logiciels pour la coordination des adaptations multiples en environnement dynamique." [S.l.] : [s.n.], 2005. ftp://ftp.irisa.fr/techreports/theses/2005/chefrour.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Ben, Hafaiedh Imane. "Systèmes à base de composants : du design à l'implémentation." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00573291.

Full text
Abstract:
Dans cette thèse, nous nous sommes intéressés aux design, vérification et implémentation des systèmes à base de composants. Nous proposons d'abord une méthodologie de design et de vérification compositionelle et incrémentale à base de contrats pour les systèmes de composants. Nous proposons ensuite une implémentation distribuée qui permet de préserver certaines properiétés globales de ces systèmes. La méthodologie de design proposée utilise les contrats comme un moyen de contraindre, raffiner et d'implémenter les systèmes. Elle est basée sur un formalisme de contracts générique, que nous insta
APA, Harvard, Vancouver, ISO, and other styles
20

Al, Masri Nada. "Modèle d'Administration des Systèmes Distribués à Base de Composants." Phd thesis, INSA de Lyon, 2005. http://tel.archives-ouvertes.fr/tel-00474407.

Full text
Abstract:
Component-Oriented Systems are increasingly evolving and being adopted by both industrial and academic worlds. They have resulted from the advances achieved in both software engineering and distributed systems. Component models such as JavaBeans, COM, CORBA were presented as reusable components that can be composed together to get a complete software. At the same time, advances in distributed systems lead to another type of component models such as EJB, DCOM and CCM that treat the distribution as their main objective. Platforms conforming to these models support a number of middleware services
APA, Harvard, Vancouver, ISO, and other styles
21

Barros, Tomás. "Spécification et vérification formelles des systèmes de composants répartis." Phd thesis, Université de Nice Sophia-Antipolis, 2005. http://tel.archives-ouvertes.fr/tel-00090718.

Full text
Abstract:
Un composant est une entité autonome qui interagit avec son environnement par des interfaces correctement spécifiées. Fractive est une implantation du modèle de composants Fractal qui propose des primitives de haut niveau et une sémantique pour la programmation à base de composants Java distribués, asynchrones et hiérarchiques. Fractive propose également une séparation entre aspects fonctionnels et non-fonctionnels, ces derniers permettant un contrôle de l´exécution d´un composant et de son évolution dynamique. Dans cette thèse, nous proposons un outillage formel pour la vérification d´applica
APA, Harvard, Vancouver, ISO, and other styles
22

Turki, Slim. "Des hyperclasses aux composants pour l'ingénierie des systèmes d'information." Phd thesis, Université Joseph Fourier (Grenoble), 2005. http://tel.archives-ouvertes.fr/tel-00067785.

Full text
Abstract:
Nous proposons un cadre conceptuel pour l'ingénierie des systèmes d'information (SIs) par composants. Ce cadre est basé sur les concepts d'hyperclasse et de composant de SI.<br />Le concept d'hyperclasse est une généralisation du concept de classe. Construite à partir d'un ensemble de classes connexe et complet, une hyperclasse permet d'exprimer des concepts que le niveau de classe n'aurait permis d'exprimer, et se comporte comme une classe : elle dispose d'hyperobjets, d'hyperattributs et d'hyperméthodes, équivalents des concepts d'objet, d'attribut et de méthode pour une classe. Un hyperobje
APA, Harvard, Vancouver, ISO, and other styles
23

Youssef, Lilia. "Construction de systèmes répartis sécurisés à base de composants." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00721746.

Full text
Abstract:
L'objectif de ce travail est de fournir des modèles et outils pour simplifier la construction des systèmes distribués à base de composants sécurisés, ainsi que la gestion des propriétés de sécurité, en utilisant des outils de haut niveau d'abstraction pour la configuration et la reconfiguration dynamique. En plus des propriétés d'accessibilité et de communications sécurisées classiques, nous focalisons notre travail sur une propriété des systèmes répartis plus générale : la non-interférence. Cette propriété atteste qu'il ne doit pas y avoir de flux d'information entre des parties publiques et
APA, Harvard, Vancouver, ISO, and other styles
24

Nazarpour, Hosein. "Surveillance de systèmes à composants multi-threads et distribués." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM027/document.

Full text
Abstract:
La conception à base de composants est le processus qui permet à partir d’exigences et un ensemble de composants prédéfinis d’aboutir à un système respectant les exigences. Les composants sont des blocs de construction encapsulant du comportement. Ils peuvent être composés afin de former des composants composites. Leur composition doit être rigoureusement définie de manière à pouvoir i) inférer le comportement des composants composites à partir de leurs constituants, ii) déduire des propriétés globales à partir des propriétés des composants individuels. Cependant, il est généralement impossibl
APA, Harvard, Vancouver, ISO, and other styles
25

Ayache, Nicolas. "Vérification formelle, compositionnelle at automatique de systèmes de composants." Paris 11, 2010. http://www.theses.fr/2010PA112013.

Full text
Abstract:
Aujourd’hui, de nombreux systèmes à base de composants sont critiques ; leur fonctionnement requiert un niveau de confiance maximal. Les méthodes formelles comme le Model-Checking sont utilisées pour garantir les propriétés cruciales, avec un haut degré d'automatisation. Cependant, le Model-Checking souffre d'explosion combinatoire lorsque les systèmes deviennent trop grands. Cette thèse propose un cadre de description haut niveau, où la vérification accompagne la modélisation du système, et limite le problème de l'explosion par une vérification modulaire des composants du système. L'approche
APA, Harvard, Vancouver, ISO, and other styles
26

Flamez, Claire. "Systèmes à deux composants et virulence de Yersinia pseudotuberculosis." Lille 2, 2007. http://www.theses.fr/2007LIL2S003.

Full text
Abstract:
Yersinia pseudotuberculosis est une bactérie qui colonise de multiples écosystèmes, notamment l'intestin (jonction iléo-caecale) de l'homme et de nombreux animaux, dans lequel elle induit des lésions. Son adaptation très rapide, face à un environnement changeant et le plus souvent hostile, est cruciale pour sa survie. À cette fin, différentes voies permettent aux bactéries d'interagir avec des signaux extérieurs. L'une des plus efficaces met en jeu des systèmes à deux composants. Le prototype est constitué d'une histidine kinase membranaire percevant des variations environnementales, qui est c
APA, Harvard, Vancouver, ISO, and other styles
27

Gault, Sophie. "Conception et optimisation de systèmes de communications à porteuses multiples." Paris 11, 2005. http://www.theses.fr/2005PA112291.

Full text
Abstract:
La majeure partie de cette thèse s'inscrit dans le cadre du projet RNRT IDILE. Nous avons conçu un modem dédié à la transmission de données sur le réseau électrique basse tension dans son intégralité (synchronisation, accès, etc. ). Une architecture complète de réseau point-multipoint lui est associée. Nous nous sommes ensuite attardés sur le calcul des bornes de Cramér-Rao (CRB) pour l'estimation conjointe du résidu de fréquence d'échantillonnage et du canal. Cette étude théorique nous montre que les CRB décroissent en O(1/N^3) et O(1/N) respectivement, où N est la longueur de la séquence d'a
APA, Harvard, Vancouver, ISO, and other styles
28

Blackburn, Elizabeth. "Observations de paramètres d'ordre multiples dans les systèmes d'électrons 5ƒ." Université Joseph Fourier (Grenoble), 2005. http://www.theses.fr/2005GRE10226.

Full text
Abstract:
Dans cette thèse, la coexistence de plusieurs paramètres d'ordre dans le même système électronique est étudiée. Les structures magnétiques, appelées multi-k, où plusieurs vecteurs de propagation, k, existent dans le même volume, sont considérés comme des systèmes modèles. L'effet de cette structure sur la réponse élastique et inélastique est étudié. Dans certains composés d'uranium, type NaCl, avec des structures 3-k, des pics de Bragg apparaissent à des positions imprévus dans l'espace réciproque. Ces pics sont identifiés avec des corrélations quantiques entre les trois paramètres de l'ordre
APA, Harvard, Vancouver, ISO, and other styles
29

Ghaffar, Rizwan. "Atténuation d'interférence dans les systèmes multi-antennaires." Paris, Télécom ParisTech, 2010. http://www.theses.fr/2010ENST0030.

Full text
Abstract:
Atteindre une meilleure efficacité spectrale et une fiabilité accrue sont les objectifs principaux des systèmes sans fil à venir. Dans la poursuite de ces objectifs, il est impératif d'élaborer des stratégies tenant compte des contraintes d'ordre pratique afin que les solutions qui en découlent soient applicables dans le monde réel. Dans cette thèse, l’accent est donc mis sur les systèmes de communication ayant une dimension pratique et réalisable. Dans la première partie de la thèse, nous considérons les systèmes MIMO comprenant peu de dimensions et proposons un récepteur intelligent de faibl
APA, Harvard, Vancouver, ISO, and other styles
30

Diallo, Aliou. "Systèmes multi-antennes pour diversité et MIMO." Nice, 2007. https://tel.archives-ouvertes.fr/tel-00454612.

Full text
Abstract:
Pour répondre aux demandes de haut débit exigées par les communications mobiles de dernières générations, une solution consiste à augmenter le nombre d'antennes à l'émission et à la réception de la liaison sans fil. On parle alors de technique MIMO (Multiple Input, Multiple Output). De même, pour réduire les évanouissements des signaux provoqués par l'environnement de propagation multi-trajets, la technique de diversité qui consiste à placer une antenne à l'émission et plusieurs antennes à la réception peut être utilisée. Cependant, l'intégration de plusieurs antennes sur le plan de masse d'un
APA, Harvard, Vancouver, ISO, and other styles
31

Sy, Ousmane. "Spécification comportementale de composants CORBA." Toulouse 1, 2001. http://www.theses.fr/2001TOU10035.

Full text
Abstract:
Cette thèse propose trois contributions. Proposition d'un formalisme de spécification comportementale de composants CORBA : le formalisme Cooperative Objects CORBA Extension (COCE); application à une étude de cas : la spécification formelle du COS Event Service de l'OMG; développement d'un environnement de spécification formelle de composants CORBA, appelé Petshop<br>The thesis proposes three contributions. A formalism for the behavioural specification of CORBA components : the Cooperative Objects CORBA Extension (COCE); a case study : the behavioural specification of the OMG's COS Event Servi
APA, Harvard, Vancouver, ISO, and other styles
32

Romenska, Yuliia. "Composants abstraits pour la vérification fonctionnelle des systèmes sur puce." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM019/document.

Full text
Abstract:
Les travaux présentés dans cette thèse portent sur la modélisation, la spécification et la vérification des modèlesdes Systèmes sur Puce (SoCs) au niveau d’abstraction transactionnel et à un niveau d’abstraction plus élevé.Les SoCs sont hétérogènes: ils comprennent des composants matériels et des processeurs pour réaliser le logicielincorporé, qui est en lien direct avec du matériel. La modélisation transactionnelle (TLM) basée sur SystemCa été très fructueuse à fournir des modèles exécutables des SoCs à un haut niveau d’abstraction, aussi appelésprototypes virtuels (VPs). Ces modèles peuvent
APA, Harvard, Vancouver, ISO, and other styles
33

Chang, Hervé. "Négociation de contrats dans les systèmes à composants logiciels hiérarchiques." Phd thesis, Université de Nice Sophia-Antipolis, 2007. http://tel.archives-ouvertes.fr/tel-00782493.

Full text
Abstract:
Les systèmes logiciels modernes sont caractérisés par leur complexité croissante et les fortes exigences en termes de continuité et de disponibilité des services. Face à cette problématique, des propositions telles que le génie logiciel à composants et l'approche contractuelle constituent des approches pertinentes pour faciliter la construction des systèmes et augmenter leur fiabilité. En outre, les aspects extrafonctionnels des systèmes à l'exécution doivent être constamment mieux gérés, et des techniques qui permettent aux systèmes logiciels de réagir à divers changements et maintenir des qu
APA, Harvard, Vancouver, ISO, and other styles
34

Ewann, Fanny. "Analyse fonctionnelle de systèmes à deux composants de Mycobacterium tuberculosis." Lille 2, 2003. http://www.theses.fr/2003LIL2MT23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Erddalane, Abdelâli. "Réactivité des états excités de systèmes photoamorceurs à trois composants." Mulhouse, 1994. http://www.theses.fr/1994MULH0327.

Full text
Abstract:
Le développement actuel des procédés de photopolymérisation est désormais de plus en plus important et suscite un intérêt croissant dans le milieu industriel. La formulation photopolymérisable est composée d'un système photoamorceur, d'un oligomère, d'un monomère et d'additifs. Notre étude consiste à étudier les mécanismes de photosensibilisation et les processus de photoamorçage, à partir de la réactivité des états excités de deux systèmes photoamorceurs à trois composants. Le premier système cétone/amine/composé brome est photoactif dans le domaine UV et le deuxieme système thioxanthene/amin
APA, Harvard, Vancouver, ISO, and other styles
36

Hamouche, Rédha. "Modélisation des systèmes embarqués à base de composants et d'aspects." Evry-Val d'Essonne, 2004. http://www.theses.fr/2004EVRY0015.

Full text
Abstract:
Cette thèse s'inscrit dans le cadre de la définition d'une approche de modélisation qui permet de faire face à la complexité des systèmes embarqués, réduire leur temps de conception et couvrir différents domaines d'applications (Modèles de Traitement). Cette approche, appelée ModelJ, est basée sur le paradigme de composant et le paradigme d'aspect. Elle explore le potentiel de ces nouveaux paradigmes logiciels, apparus récemment, dans le cadre de la modélisation des systèmes embarqués. L'approche propose d'une part, un métamodèle indépendant de tout langage de modélisation, qui permet de fourn
APA, Harvard, Vancouver, ISO, and other styles
37

Oudot, Emilie. "Contributions à la vérification incrémentale des systèmes temporisés à composants." Besançon, 2006. http://www.theses.fr/2006BESA2051.

Full text
Abstract:
Cette thèse se place dans le contexte de la vérification par model-checking des systèmes temporisés à composants. Le problème d'explosion combinatoire du model-checking rend cette méthode difficile à appliquer sur des systèmes de grande taille. Une issue est d'utiliser desméthodes de développement incrémental, comme le raffinement ou l'intégration de composants. Du point de vue de la vérification, des propriétés doivent pouvoir être vérifiées à chaque étape du processus incrémental (plutôt que sur le modèle complet du système), puis préservées au cours du développement. Les tau-simulations son
APA, Harvard, Vancouver, ISO, and other styles
38

Skiba, Karima. "Modélisation de systèmes intégrés à base de composants électroniques virtuels." Grenoble INPG, 2002. http://www.theses.fr/2002INPG0088.

Full text
Abstract:
Cette thèse s'est interessée à un paradigme récent à savoir la conception collaborative, autour de l'intranet, des systèmes intégrés fondée sur l'utilisation d'IPs. Elle s'est intéressée en particulier à la gestion de données de conception d'IPs et de leur transfert autour de l'intranet. Il s'agit donc de proposer des méthodologies et des outils permettant de décrire, de modéliser, de valider, et d'échanger des fichiers de conception et de validation à différents niveaux d'abstraction. La première difficulté liée à l'utilisation des IPs est leur qualification. Une partie de cette thèse a été c
APA, Harvard, Vancouver, ISO, and other styles
39

Duong, Phuong Quynh. "La tolérance aux fautes adaptable pour les systèmes à composants." Grenoble INPG, 2003. http://www.theses.fr/2003INPG0112.

Full text
Abstract:
Cette thèse présente une approche de développement systématique capable de fournir l'adaptation de la tolérance aux fautes, sous forme d'un canevas (framework en anglais) nommé ALENCA et d'un formalisme guidant son adaptation à une application cible. Le niveau de tolérance aux fautes souhaité pour un système est spécifié en utilisant le formalisme proposé. Ce formalisme permet de déduire les mécanismes de tolérance aux fautes adéquats et l'architecture correspondante pour assurer le niveau demandé. ALENCA propose donc des éléments de base des mécanismes de tolérance aux fautes qui peuvent être
APA, Harvard, Vancouver, ISO, and other styles
40

Collet, Timothé. "Méthodes optimistes d’apprentissage actif pour la classification." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0084/document.

Full text
Abstract:
La classification se base sur un jeu de données étiquetées par un expert. Plus le jeu de données est grand, meilleure est la performance de classification. Pourtant, la requête à un expert peut parfois être coûteuse. Le but de l'apprentissage actif est alors de minimiser le nombre de requêtes à l'expert. La collection des données non-étiquetées reste aisée cependant et illimitée, il est donc nécessaire de faire un choix sur les données à annoter, l'idée est alors de profiter de ce choix pour maximiser les performances en ne lui fournissant que les données les plus informatives à étiqueter. Pou
APA, Harvard, Vancouver, ISO, and other styles
41

Francisco, Martín Rubén de. "Optimisation de la performance des systèmes MIMO avec connaissance partielle du canal." Paris, ENST, 2008. http://pastel.archives-ouvertes.fr/pastel-00003718.

Full text
Abstract:
Les systèmes de communication multi-antennaires à l'émission et à la réception (MIMO) sans fil ont le potentiel d'offrir hauts débits et fiabilité. La faisabilité de cette technologie dans des systèmes de communication mobiles dépend de la capacité à offrir des débits élevés avec une quantité réduite de connaissance du canal a l'émetteur (CSIT), car la disponibilité des ressources sur la voie de retour est limitée. Cette thèse traite du problème de l'optimisation des systèmes MIMO avec CSIT partielle. D'une part, nous fournissons des méthodes pour obtenir CSIT. D'autre part, nous proposons des
APA, Harvard, Vancouver, ISO, and other styles
42

Kharrat, Fatma. "Techniques adaptatives et classification pour les canaux à antennes multiples." Paris, ENST, 2006. http://www.theses.fr/2006ENST0041.

Full text
Abstract:
Ce mémoire se focalise sur les systèmes de communication sans fil ayant plusieurs antennes en réception et en émission. D’abord, on étudie les performances de ces systèmes en se basant sur un schéma de multiplexage spatial en transmission et sur un détecteur ML en réception. Ensuite, on met en avant des techniques adaptatives pour les systèmes MIMO : modulationadaptative et sélection d 'antennes. La première adapte les modulations en émission en fonctiondes conditions radio afin de maximiser l’efficacité spectrale tout en respectant une contrainte sur la probabilité d’erreur. Alors que la deux
APA, Harvard, Vancouver, ISO, and other styles
43

Froberger, Kévin. "Caractérisation et modélisation de composants terahertz." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I102.

Full text
Abstract:
Le domaine térahertz est un domaine de fréquences de plus en plus étudié à cause des propriétés particulières de ce rayonnement. La faible énergie des photons permet notamment de faire de l’imagerie médicale, du contrôle non destructif dans l’industrie ou encore d’étudier les astres qui nous entourent. Les fréquences mises en jeu pourraient aussi permettre d’augmenter le débit des télécommunications, ce qui est un sujet majeur de recherche à l’heure actuelle. C’est sur ce dernier aspect que se base cette thèse sans se restreindre uniquement à ce domaine. La montée en fréquence permettant l’aug
APA, Harvard, Vancouver, ISO, and other styles
44

Dumont, Julien. "Optimisation conjointe de l'émetteur et du récepteur par utilisation des a priori du canal dans un contexte MIMO." Marne-la-Vallée, 2006. http://www.theses.fr/2006MARN0310.

Full text
Abstract:
Dans cette thèse, nous avons abordé différents aspects de l’utilisation d’informations sur le milieu de propagation, dans un contexte MIMO, afin d’optimiser l’émetteur et le(s) récepteur(s). En effet, la situation idéale dans laquelle le canal serait connu parfaitement et instantanément de l’émetteur, et les stratégies mises en oeuvre définies de façon immédiate, est une hypothèse extrêmement forte qui conduit à la recherche de méthodes utilisant des éléments dont l’évaluation serait plus simple et/ou plus robuste, et sur des durées abordables. Nous avons ici précisément cherché à décrire ou à
APA, Harvard, Vancouver, ISO, and other styles
45

Dhayni, Achraf. "Test intégré pseudo aléatoire pour les composants microsystèmes." Grenoble INPG, 2006. https://tel.archives-ouvertes.fr/tel-00135916.

Full text
Abstract:
L'utilisation croissante de MEMS dans des applications dont le mauvais fonctionnement aurait un impact important sur la sécurité ou la vie des personnes a accéléré le besoin de méthodes robustes de test. Les mécanismes de défaillance et les dynamiques de MEMS sont complexes et plus souvent mal compris. C'est dû à leur nature multi-physique qui les rend complexes pour la conception et le test. La fabrication en outre est compliquée par le besoin de nouvelles étapes de fabrication en particulier quand des techniques de System-in-Package (SiP) sont employées. Ces techniques d'encapsulation posent
APA, Harvard, Vancouver, ISO, and other styles
46

Bouvet, Pierre-Jean. "Récepteurs itératifs pour systèmes multi-antennes." Rennes, INSA, 2005. http://www.theses.fr/2005ISAR0021.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Letessier, Jonathan. "Performances théoriques de systèmes MIMO pré-égalisés et applications avec un simulateur de propagation 3D." Brest, 2005. http://www.theses.fr/2005BRES2028.

Full text
Abstract:
Les systèmes multi-antennaires (MIMO multiple- input multiple-output) suscitent un grand intérêt aurprès des concepteurs des futurs systèmes sans fil. En effet, ces systèmes ont été développés afin d'augmenter le débit théorique et/ou la robustesse des chaînes classiques mono-antenne en tirant parti de la diversité spatiale. Le cadre de cette thèse se situe autour des systèmes MIMO pré-égalisés ayant la connaissance du canal au niveau de l'émetteur par un retour d'information. Nous avons exprimé littéralement les probabilités d'erreur binaire (PEB) moyennes dans un canal de Rayleigh non-corrél
APA, Harvard, Vancouver, ISO, and other styles
48

Tirki, Moncef. "Synthèse d’observateurs pour des classes de systèmes non linéaires." Caen, 2011. http://www.theses.fr/2011CAEN2003.

Full text
Abstract:
Le travail présenté dans ce mémoire de thèse porte sur la synthèse d'observateurs pour des classes de systèmes non linéaires à savoir les observateurs classiques utilisés pour l'estimation de l'état, les observateurs à entrées inconnues ou encore les observateurs adaptatifs. Nous proposons, dans une partie, une forme canonique d'observabilité non triangulaire caractérisant une large classe de systèmes multi-sorties observables pour toute entrée. Un observateur de type grand gain est proposé. La convergence exponentielle de l'observateur proposé est détaillée et la validation en simulation est
APA, Harvard, Vancouver, ISO, and other styles
49

Stoicescu, Miruna. "Conception et implémentation de systèmes résilients par une approche à composants." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2013. http://tel.archives-ouvertes.fr/tel-01018621.

Full text
Abstract:
L'évolution des systèmes pendant leur vie opérationnelle est incontournable. Les systèmes sûrs de fonctionnement doivent évoluer pour s'adapter à des changements comme la confrontation à de nouveaux types de fautes ou la perte de ressources. L'ajout de cette dimension évolutive à la fiabilité conduit à la notion de résilience informatique. Parmi les différents aspects de la résilience, nous nous concentrons sur l'adaptativité. La sûreté de fonctionnement informatique est basée sur plusieurs moyens, dont la tolérance aux fautes à l'exécution, où l'on attache des mécanismes spécifiques (Fault To
APA, Harvard, Vancouver, ISO, and other styles
50

Morel, Hervé. "Modélisation et simulation des composants et des systèmes électroniques de puissance." Habilitation à diriger des recherches, INSA de Lyon, 1994. http://tel.archives-ouvertes.fr/tel-00731059.

Full text
Abstract:
La modélisation des composants à semiconducteur est un grand classique. Dans ce travail, outre un rappel de l'état de l'art, la modélisation des composants à semiconducteur de puissance est abordée par l'approche des graphes de liens. Les graphes de liens fournissent une représentation unifiée de la dynamique des systèmes. Cette approche multiphysique impose une représentation explicite des transferts d'énergie qui confère à cette méthode une grande généricité. De plus l'analyse de causalité associée, permet de retrouver par exemple les règles d'association des composants de puissance, bien co
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Systèmes à composants multiples' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography