Dissertations / Theses: 'Modélisation de protocole'

1

Jalpa, Villanueva César. "Modélisation et optimisation du web." Nice, 2000. http://www.theses.fr/2000NICE5487.

Abstract:

Cette thèse porte sur l'évaluation de performances des serveurs Web et sur la caractérisation du trafic Web. Un modèle de haut niveau du processus de génération de trafic HTTP est proposé. Sur la base de ce modèle, qui prend en compte les éléments clé dans la génération de trafic HTTP, nous avons développé un outil -WAGON-qui offre plusieurs fonctionnalités dont la principale est la génération de trafic HTTP avec des caractéristiques très semblables à celles du trafic réel. Des paramètres réalistes du modèle peuvent être déterminés à partir de l'analyse statistique de fichiers de traces des serveurs Web. Afin de faciliter cette tâche, WAGON comporte un module d'analyse statistique avec estimation de paramètres pour mélanges de distributions, au moyen de l'algorithme EM, ainsi que des tests d'ajustement. Des résultats des expérimentations qui ont été conduits à l'aide de cette outil sont présentés. Nous comparons les performances des différentes versions du protocole HTTP sous différentes conditions du réseaux et configurations des clients. Nous avons validé l'utilité de la politique de gestion de connexions persistantes du côté des clients, connue comme È̀arly Close'', pour l'amélioration de la performance des serveurs Web. Nous proposons aussi une mesure pour avoir une notion de la performance du Web telle qu'il est perçue par les utilisateurs. Nous avons comparé avec cette mesure la performance subjective des protocoles HTTP. Une autre partie de ce travail a été l'analyse statistique de fichiers de traces de plusieurs serveurs Web. Nous avons trouvé les distributions de probabilité de plusieurs variables du trafic Web. Afin d'étendre l'éventail de possibilités nous avons modélisé, à l'aide de l'algorithme EM, la distribution de ces variables comme un mélange de distributions et non comme une distribution simple. Nous avons montré comment cette nouvelle approche améliore notablement la qualité de l'ajustement de la distribution hypothétique avec la distribution empirique des données
The main subjects of this thesis are the performance evaluation of Web servers and the characterisation of the Web traffic. A high level model of the HTTP traffic generation process is proposed. On the basis of this model, which takes into account the key elements involved in the generation of HTTP traffic , we have developed a tool -WAGON-. This tool offers several functionalities, the principal one of which is the generation of HTTP traffic with characteristics very similar to those of real traffic. Realistic parameters of the model can be obtained from the statistical analysis of Web server l̀̀ogfiles''. In order to facilitate this task, WAGON includes a statistical analysis module implementing the EM algorithm for the estimation of mixed distributions parameters and several goodness of fit tests. Results of experiments carried out by using this tool are presented. We compare the performances of the various versions of the HTTP protocol under various network conditions and customer configurations. We have validated the utility of the management policy of persistent connections used on the customer side, known as È̀arly Close' ', in the improvement of the performance of Web servers. We propose a measure enabling us to have a notion of the Web performance as perceived by the users. We have used this measure to compare the subjective performance of HTTP protocols. Another part of this work has been the statistical analysis of l̀̀ogfiles'' from several Web servers. We have found the probability distributions of several variables of the Web traffic. In order to extend the range of possibilities, we have modelled the distribution of these variables as a mixture of distributions, and not as a simple distribution, using the algorithm EM. We have showed how this new approach notably improves the quality of fit of the hypothetical distributions with the empirical distributions of the data

APA, Harvard, Vancouver, ISO, and other styles

2

Busson, Anthony Claude. "Modélisation spatiale des réseaux." Paris, ENST, 2002. http://www.theses.fr/2002ENST0036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lambolais, Thomas. "Modélisation du développement de spécifications LOTOS." Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL106N.

Full text

Abstract:

Notre travail s'inscrit dans les premières étapes du développement de logiciels concernant le passage d'un cahier des charges à une spécification formelle, dans le domaine des réseaux de télécommunications. Notre sujet consiste à étudier la modélisation des étapes de développement de spécifications en langage LOTOS. Le modèle utilisé, PROPLANE, a été préalablement établi pour d'autres domaines. Par le biais d'un nouveau domaine d'application, l'objectif à long terme de notre étude est d'évaluer le modèle PROPLANE et de proposer des améliorations si nécessaire. LOTOS est constitué d'une algèbre de processus et d'une algèbre de données. Nous nous sommes concentrés sur la construction des expressions de comportement, c'est-à-dire des processus, en ayant éventuellement recours aux données. Sous le modèle PROPLANE, toute évolution d'un développement est gérée par des operateurs de développement. Notre modélisation correspond ainsi à des définitions d'operateurs pouvant s'enchainer les uns aux autres. Nous distinguons les constructions architecturale et, comportementale, pour lesquelles les mécanismes utilisés en LOTOS diffèrent. L’architecture fait une large utilisation des operateurs de composition parallèle, avec lesquels il faut veiller à conserver des processus effectifs, voire réguliers. Nous définissons pour cela des notions telles que la rigidité. La construction comportementale demande de définir des opérateurs permettant de gérer le développement d'arbres de transitions, ainsi que le détail de ces transitions. La nouveauté de notre approche consiste à chercher à profiter des propriétés sémantiques des processus en cours de développement. Afin de supporter des lignes de construction incrémentale par réduction de l'indéterminisme, nous donnons une définition opérationnelle des relations d'extension et de réduction de processus. Il apparait que PROPLANE doit être étendu pour manipuler des propriétés temporelles sur les états de développement.

APA, Harvard, Vancouver, ISO, and other styles

4

Almodovar, Stéphane. "Elaboration d'une méthode originale de caractérisation des aides auditives : mise au point d'un protocole expérimental." Toulouse 3, 2002. http://www.theses.fr/2002TOU30136.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Afilal, Foad. "Évaluation et modélisation des performances temporelles de messageries industrielles." Nancy 1, 1989. http://www.theses.fr/1989NAN10095.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Bernard, Guy. "Performances et systèmes répartis : de la modélisation à la réalisation." Paris 11, 1989. http://www.theses.fr/1989PA112087.

Full text

Abstract:

On présente trois exemples de mise en œuvre des techniques de modélisation : optimisation de l'interconnexion de réseaux locaux, variante du protocole csma, problème de régulation d'accès. Travail effectué dans le cadre du projet Epsilon: spécifications du système, implémentation des primitives, mesures. Réalisation de la répartition dans une configuration serveur-postes de travail.

APA, Harvard, Vancouver, ISO, and other styles

7

Le, Gallo Olivier. "Contribution à la mécanique des milieux poreux saturés : modélisation poroélastique, évolutions quasistatiques, protocole de caractérisation." Paris 12, 1993. http://www.theses.fr/1993PA120002.

Full text

Abstract:

Les milieux poreux satures presentent des proprietes de filtration qui, couplees aux deformations solides, induisent un comportement macroscopique global complexe. C'est ce comportement qui fait l'objet de l'etude presentee, dans le cas d'une matrice solide elastique saturee d'un fluide visqueux. Apres un rappel des notions physiques de porosite et de permeabilite, illustrees sur une mousse de latex, diverses voies de modelisation sont envisagees et rapidement presentees. Le modele retenu est le modele poroelastique, qui fait l'objet d'un expose complet. Les equations aux derivees partielles obtenues sont resolues analytiquement pour divers cas de figures originaux, en faisant varier la geometrie du domaine, aussi bien que la nature des sollicitations, dans le cas simple ou les deux phases sont incompressibles. La geometrie cylindrique de revolution, soumise a un essai de compression en rampe puis de relaxation, est alors choisie pour des tests rheologiques. Un protocole de caracterisation en est deduit, et valide sur des echantillons de mousse de latex

APA, Harvard, Vancouver, ISO, and other styles

8

Garnier, Gérard. "Modélisation de protocoles : application à la couche liaison de données de F.I.P." Nancy 1, 1992. http://www.theses.fr/1992NAN10308.

Full text

Abstract:

Les architectures multicouches de protocoles et de services, basées sur le modèle de référence de l'O. S. I. (open systems interconnection) font appel à de nombreux et complexes mécanismes dont il est absolument nécessaire de spécifier le comportement de manière complète et non ambigüe. Seule une approche fondée sur une technique de description formelle permet de satisfaire à cet objectif. L'utilisation d'une telle approche permet en outre d'effectuer une majorité des vérifications et validations, au cours de l'élaboration même d'un cahier des charges ou de la conception d'un système. En conséquence, le premier chapitre de ce mémoire, après un bref rappel de la terminologie définie dans le modèle O. S. I. , expose une synthèse des techniques de description formelle, applicables aux protocoles et services I. S. O. (international standard organization). Le deuxième chapitre est consacré à la définition d'un outil de spécification, pour la modélisation des protocoles, à partir du grafcet et de concepts et possibilités d'expression provenant des langages informatiques. L'objectif du troisième chapitre est d'illustrer l'utilisation de l'outil proposé dans le chapitre précédent, de manière à montrer son applicabilité à la description formelle de protocoles. L'exemple choisi est la couche liaison de données du bus de terrain F. I. P. (flux information processus). La conclusion de ce mémoire porte sur l'avenir de l'outil proposé ainsi que sur les extensions dont il doit bénéficier

APA, Harvard, Vancouver, ISO, and other styles

9

Godart, Claude. "Contribution à la modélisation des procédés de fabrication de logiciel : support au travail coopératif." Nancy 1, 1993. http://www.theses.fr/1993NAN10012.

Full text

Abstract:

Le développement d'un logiciel est un procédé multi-agents et il est nécessaire de régler les problèmes de concurrence d'accès ne sont pas directement réutilisables: ils conduisent les agents d'un développement à travailler de façon isolée alors que, par nature, nos procédés sont interactifs. Nous montrons néanmoins qu'un modèle de transaction classique, étendu pour exploiter d'une part la connaissance du procédé en cours d'exécution décrite dans les termes d'un modèle de description de procédés de fabrication de logiciel, et d'autre part les capacités d'initiative des agents humains, permet l'exécution interactive des différentes activités des agents. Cette thèse propose un protocole de gestion de la concurrence d'accès basé sur un modèle de description de procédés orienté objectifs permettant d'exprimer et de maitriser le travail coopératif entre plusieurs agents

APA, Harvard, Vancouver, ISO, and other styles

10

Du, Wan. "Modélisation et simulation de réseaux de capteurs sans fil." Phd thesis, Ecole Centrale de Lyon, 2011. http://tel.archives-ouvertes.fr/tel-00690466.

Full text

Abstract:

Cette thèse traite de la modélisation et la simulation de réseaux de capteurs sans fil afin de fournir des estimations précises de consommations d'énergie. Un cadre de conception et de simulation base sur SystemC au niveau système est proposé, nommé IDEA1. Elle permet l'exploration de l'espace de conception de réseaux de capteurs à un stade amont. Les résultats de simulation comprennent le taux de livraison de paquets, la latence de transmission et les consommations d'énergie. Sur un banc d'essai comportant 9 nœuds, la différence moyen entre les IDEA1 simulations et les mesures expérimentales est 4.6 %. Les performances d'IDEA1 sont comparées avec un autre simulateur largement utilisé, NS-2. Avec la co-simulation matérielle et logicielle, IDEA1 peut apporter des modèles plus détaillés de nœuds de capteurs. Pour fournir les résultats de la simulation au même niveau d'abstraction, IDEA1 réalise les simulations deux fois plus vite que NS-2.Enfin, deux études de cas sont accomplies pour valider le flot de conception d'IDEA1. La performance de l'IEEE 802.15.4 est globalement évaluée pour diverses charges de trafic et configurations de paramètres de protocole. Une application de contrôle actif des vibrations est également étudiée. Les simulations d'IDEA1 trouvent le meilleur choix de protocoles de communication.

APA, Harvard, Vancouver, ISO, and other styles

11

Legendre, Franck. "Réseaux auto-organisables : composition et modélisation de la mobilité." Paris 6, 2006. http://www.theses.fr/2006PA066378.

Full text

Abstract:

Les réseaux auto-organisables sont composés par des utilisateurs équipés d'appareils communicants qui se forment spontanément pour répondre a un besoin particulier. De par leur mobilité, différents réseaux sont amenés à se rencontrer et sont confrontés au problème de la coopération lorsqu'ils se chevauchent. Ils peuvent s'associer pour former un nouveau réseau, c'est la composition. Nous proposons une solution d'interopérabilité dont les membres utilisent un protocole de routage géographique basé sur un hachage distribué des informations de localisation ainsi que des solutions pour l'interopérabilité de protocoles de routage ad hoc plats. Notre travail sur la composition de réseaux a soulevé le besoin de modèles de mobilité. Nous proposons Ghost, un méta-modèle dédié a la modélisation de la mobilité. Ghost s'articule autour (i) d'unités atomiques qui gouvernent la mobilité, des règles de comportements, (ii) d'une approche activité-tâche et (iii) d'une approche fluide
This thesis focuses on self-organizing networks (SONs), networks composed of individuals equipped with communicating devices, which form spontaneously in an ad hoc fashion to respond to a given need. Due to mobility, different SONs will meet and face the issue of cooperating when they overlap. In many situations, overlapping networks may combine to form a new single network; this is called network composition. In this context, we first propose an interoperability scheme for composing networks using a geographical forwarding scheme based on a distributed-hash table for localization. We also propose a solution for the interoperation of existing flat ad hoc routing protocols. Our work on the composition of SONs leveraged the need for more realistic mobility models. We propose Ghost, a meta-modeling approach to design mobility models. The core of Ghost is composed of (i) atomic units governing mobility namely behavioral rules, (ii) an activity-task formalism, and (iii) a fluid approach

APA, Harvard, Vancouver, ISO, and other styles

12

Coupier, Jérôme. "Contribution à la modélisation des doigts longs et développement d’un protocole clinique d’évaluation de la mobilité de la main." Doctoral thesis, Universite Libre de Bruxelles, 2016. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/229442.

Full text

Abstract:

Ce travail de thèse investigue la cinématique des doigts longs par deux approches différentes et complémentaires ainsi que la faisabilité de la fusion entre celles-ci. La première approche comporte le développement complet d’un protocole d’évaluation fonctionnelle tridimensionnelle des doigts. Des mouvements continus sont étudiés de manière in vivo et la cinématique des cinq doigts est visualisée simultanément. La seconde approche consiste en l’application d’une méthodologie in vitro de modélisation des doigts afin de créer un modèle anatomiquement fidèle permettant d’apprécier la cinématique tridimensionnelle ainsi que différents paramètres biomécaniques des muscles mobilisant les doigts longs. Les deux approches sont finalement comparées et la faisabilité de leur couplage étudiée en vue d’une fusion des données issues de ces deux méthodologies. Les méthodes développées dans ce travail sont également considérées dans le cadre d’une utilisation clinique. La première partie de ce travail présente la méthodologie complète d’un protocole novateur d’évaluation de la cinématique des doigts in vivo. Plusieurs mouvements analytiques et fonctionnels des doigts ont été analysés sur un échantillon de vingt sujets sains. Les mouvements analytiques ont tout d’abord permis d’étudier le comportement physiologique des doigts mais également de constater des spécificités fonctionnelles de chacun. Les mouvements fonctionnels ont ensuite permis d’analyser la biomécanique des doigts lors de mouvements plus complexes. Les synergies intra- et inter-doigts ont été étudiées et les spécificités des muscles mobilisant les doigts sont discutées. Enfin, une base de données de sujets sains a été créée pour permettre de futures études incluant des sujets souffrant de pathologies de l’appareil neuro-musculo-squelettique de la main. Les limites mises en évidence ainsi que le rôle des muscles décrit dans cette première partie justifient l’emploi de la modélisation dans la suite de ce travail.La deuxième partie de ce travail apporte une contribution à la modélisation musculo-squelettique des doigts longs. Une nouvelle méthodologie de création de référentiels pour les segments des doigts longs est présentée et confrontée à une méthodologie faisant standard (recommandations de l’International Society of Biomechanics). Par ailleurs, le modèle développé sur base de données tomodensitométriques a permis d’étudier plusieurs paramètres de la cinématique par positions discrètes des doigts longs. Le modèle est apparu satisfaisant concernant la cinématique articulaire. Une méthodologie originale de modélisation des muscles extrinsèques des doigts est également présentée. Les résultats de l’étude des excursions tendineuses et des bras de levier musculaires ont permis de conclure que le modèle est pertinent pour l’étude de la cinématique articulaire des doigts longs et des paramètres musculaires présentés dans certaines limites. Le modèle musculo-squelettique décrit constitue une base pour de multiples améliorations futures dont certaines sont abordées dans ce travail. Afin de rendre le modèle le plus proche de la réalité, les données des deux premières parties du travail sont envisagées dans le cadre d’une fusion de données. La dernière partie de ce travail s’intéresse à la faisabilité de la fusion entre la méthodologie d’évaluation fonctionnelle de la cinématique des doigts in vivo et la modélisation musculo-squelettique des doigts longs. De nombreux paramètres cinématiques ont été comparés et les limitations identifiées ont été investiguées, dont notamment les artéfacts liés aux déplacements des tissus mous sur les segments osseux. Par ailleurs, les perspectives d’utilisation de ces deux méthodologies dans un environnement clinique sont également abordées. Dans sa globalité, ce travail apporte une contribution à la connaissance de la cinématique des doigts longs par deux approches différentes ainsi que par l’étude de la faisabilité de la fusion entre celles-ci. Les méthodologies présentées offrent de multiples possibilités. Les limitations inhérentes aux méthodologies employées dans ce travail sont étudiées et discutées. De multiples pistes de réflexion et d’études futures sont également présentées sur base des travaux décrits. La fusion des données abordée pourra dans les travaux futurs permettre de développer des outils pour l’analyse fonctionnelle des doigts dans des applications en recherche fondamentale ou en routine clinique.
Doctorat en Sciences biomédicales et pharmaceutiques (Médecine)
info:eu-repo/semantics/nonPublished

APA, Harvard, Vancouver, ISO, and other styles

13

Convard, Thierry. "Mise au point et validation d'un protocole général de modélisation moléculaire : application aux antagonistes du récepteur du thromboxane A2." Bordeaux 2, 1998. http://www.theses.fr/1998BOR2B003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Zouinkhi, Ahmed. "Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10010/document.

Full text

Abstract:

La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en oeuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une approche distribuée de sécurité active. Celui-ci permet d'aboutir à un protocole de communication de niveau applicatif à embarquer dans les produits actifs. Ce protocole est évalué de façon formelle en utilisant les Réseaux de Petri colorés hiérarchiques. Finalement, ce protocole est implémenté dans le simulateur Castalia/Omnet++ pour l'analyser dans plusieurs scénarii et aussi pour l'éprouver lors du passage à l'échelle. Les résultats montrent l'intérêt et la faisabilité du concept de produit actif
Monitoring of chemical product storage is a delicate operation in the sense that it requires knowledge of the nature of each stored product, their location, their interaction and possible actions to be implemented in case of emergency. To facilitate the storage management, this thesis proposes to use the concept of ambient where the product has its own information system and wireless communication so as to make it intelligent and autonomous. This thesis proposes and develops a model of internal behavior of active product that allows a distributed approach of active security. This can lead to a communication protocol of application level to embed the active products. This protocol is formally assessed using hierarchical colored Petri nets. Finally, this protocol is implemented in the simulator Castalia/Omnet++ to analyze it in several scenarios and also for the experience when going to scale. The results show the usefulness and feasibility of the concept of active product

APA, Harvard, Vancouver, ISO, and other styles

15

Zouinkhi, Ahmed. "Contribution à la modélisation de produit actif communicant, Spécification et Evaluation d'un protocole de communication orienté sécurité des produits." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00594402.

Full text

Abstract:

La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en œuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une approche distribuée de sécurité active. Celui-ci permet d'aboutir à un protocole de communication de niveau applicatif à embarquer dans les produits actifs. Ce protocole est évalué de façon formelle en utilisant les Réseaux de Petri colorés hiérarchiques. Finalement, ce protocole est implémenté dans le simulateur Castalia/Omnet++ pour l'analyser dans plusieurs scénarii et aussi pour l'éprouver lors du passage à l'échelle. Les résultats montrent l'intérêt et la faisabilité du concept de produit actif.

APA, Harvard, Vancouver, ISO, and other styles

16

Zouinkhi, Ahmed. "Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10010.

Full text

Abstract:

La surveillance d'entrepôts de produits chimiques est une opération délicate dans le sens où elle passe par une connaissance de la nature de chaque produit stocké, sur leur localisation, sur leur possible interaction et sur les actions à mettre en oeuvre en cas d'alerte. Pour faciliter cette gestion de stockage, cette thèse propose d'utiliser le concept de l'ambiant où le produit possède son propre système d'information et de communication sans fil de façon à le rendre intelligent et autonome. Cette thèse propose et développe un modèle de comportement interne de produit actif permettant une approche distribuée de sécurité active. Celui-ci permet d'aboutir à un protocole de communication de niveau applicatif à embarquer dans les produits actifs. Ce protocole est évalué de façon formelle en utilisant les Réseaux de Petri colorés hiérarchiques. Finalement, ce protocole est implémenté dans le simulateur Castalia/Omnet++ pour l'analyser dans plusieurs scénarii et aussi pour l'éprouver lors du passage à l'échelle. Les résultats montrent l'intérêt et la faisabilité du concept de produit actif
Monitoring of chemical product storage is a delicate operation in the sense that it requires knowledge of the nature of each stored product, their location, their interaction and possible actions to be implemented in case of emergency. To facilitate the storage management, this thesis proposes to use the concept of ambient where the product has its own information system and wireless communication so as to make it intelligent and autonomous. This thesis proposes and develops a model of internal behavior of active product that allows a distributed approach of active security. This can lead to a communication protocol of application level to embed the active products. This protocol is formally assessed using hierarchical colored Petri nets. Finally, this protocol is implemented in the simulator Castalia/Omnet++ to analyze it in several scenarios and also for the experience when going to scale. The results show the usefulness and feasibility of the concept of active product

APA, Harvard, Vancouver, ISO, and other styles

17

Falconi, Andrea. "Modélisation électrochimique du comportement d’une cellule Li-ion pour application au véhicule électrique." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAI043/document.

Full text

Abstract:

Le développement futur des véhicules électriques est lié à l’amélioration des performances des batteries qu’ils contiennent. Parallèlement aux recherches sur les nouveaux matériaux ayant des performances supérieures en termes d'énergie, de puissance, de durabilité et de coût, il est nécessaire développer des outils de modélisation pour : (i) simuler l'intégration de la batterie dans la chaine de traction et (ii) pour le système de gestion de la batterie, afin d'améliorer la sécurité et la durabilité. Soit de façon directe (par exemple, la prévention de surcharge ou de l’emballement thermique) soit de façon indirecte (par exemple, les indicateurs de l’état de charge). Les modèles de batterie pourraient aussi être utilisés pour comprendre les phénomènes physiques et les réactions chimiques afin d'améliorer la conception des batteries en fonction des besoins de l’utilisateur et de réduire la durée des phases de test. Dans ce manuscrit, un des modèles les plus communs décrivant les électrodes poreuses des batteries au lithium-ion est revisité. De nombreuses variantes dans la littérature s’inspirent directement du travail mené par le professeur J. Newman et son équipe de chercheurs à l’UC Berkeley. Pourtant relativement peu d’études analysent en détail les capacités prédictives de ce modèle. Dans ce travail, pour étudier ce modèle, toutes les grandeurs physiques sont définies sous une forme adimensionnelle, comme on l'utilise couramment dans la mécanique des fluides : les paramètres qui agissent de manière identique ou opposée sont regroupés et le nombre total de paramètres du modèle est considérablement réduit. Cette étude contient une description critique de la littérature incluant le référencement des paramètres du modèle développé par le groupe de Newman et les techniques utilisées pour les mesurer, ainsi que l’écriture du modèle dans un format adimensionnel pour réduire le nombre de paramètres. Une partie expérimentale décrit les modifications de protocoles mis en œuvre pour améliorer la reproductibilité des essais. Les études effectuées sur le modèle concernent d’une part l’identification des états de lithiation dans la cellule avec un attention particulière sur la précision obtenue, et enfin une prospection numérique pour examiner l’influence de chaque paramètre sur les réponses de la batterie en décharge galvanostatique puis en mode impulsion et relaxation
The future development of electric vehicles is mostly dependent of improvements in battery performances. In support of the actual research of new materials having higher performances in terms of energy, power, durability and cost, it is necessary to develop modeling tools. The models are helpful to simulate integration of the battery in the powertrain and crucial for the battery management system, to improve either direct (e.g. preventing overcharges and thermal runaway) and indirect (e.g. state of charge indicators) safety. However, the battery models could be used to understand its physical phenomena and chemical reactions to improve the battery design according with vehicles requirements and reduce the testing phases. One of the most common model describing the porous electrodes of lithium-ion batteries is revisited. Many variants available in the literature are inspired by the works of prof. J Newman and his research group from UC Berkeley. Yet, relatively few works, to the best of our knowledge, analyze in detail its predictive capability. In the present work, to investigate this model, all the physical quantities are set in a dimensionless form, as commonly used in fluid mechanics: the parameters that act in the same or the opposite ways are regrouped and the total number of simulation parameter is greatly reduced. In a second phase, the influence of the parameter is discussed, and interpreted with the support of the limit cases. The analysis of the discharge voltage and concentration gradients is based on galvanostatic and pulse/relaxation current profiles and compared with tested commercial LGC cells. The simulations are performed with the software Comsol® and the post-processing with Matlab®. Moreover, in this research, the parameters from the literatures are discussed to understand how accurate are the techniques used to parametrize and feed the inputs of the model. Then, our work shows that the electrode isotherms shapes have a significant influence on the accuracy of the evaluation of the states of charges in a complete cell. Finally, the protocols to characterizes the performance of commercial cells at different C-rates are improved to guarantee the reproducibility

APA, Harvard, Vancouver, ISO, and other styles

18

Lepers, Stéphane. "Modélisation des écoulements de l'air dans les bâtiments a l'aide des codes CFD : contribution à l'élaboration d'un protocole de validation." Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0017.

Full text

Abstract:

Les travaux de recherche développés jusqu'ici dans le domaine de la ventilation visent l'amélioration des modèles permettant une bonne prédiction des écoulements d'air dans les bâtiments. Parmi les différents problèmes liés à cette modélisation, on relève notamment celui de la validation. Ce travail contient une proposition de méthodologie de validation orienté vers la phase de confrontation simulation/expérimentation incluant les domaines d'incertitude. La première étape présente les modèles disponibles permettant de prédire les écoulements de l'air dans les bâtiments. Cette présentation distingue les modèles zonaux dont l'utilisation est limitée à l'aéraulique interne des bâtiments, et les modèles détaillés de type CFD, issus de la recherche en mécanique des fluides. La comparaison des résultats de simulation avec les mesures expérimentales constitue une phase essentielle du processus de validation d'un code. La deuxième étape de ce travail consiste à présenter les méthodes d'analyse d'incertitudes et de sensibilités disponibles et retenir celles qui sont adaptées à nos contraintes. La troisième phase étudie l'applicabilité des méthodes retenues au code Fluent, la confrontation avec l'expérience est réalisée pour différents modèles de turbulence en incluant les incertitudes propagées par les codes. Deux méthodes sont testées pour effectuer une analyse d'incertitude et de sensibilité des modèles. Nous comparons ensuite les résultats obtenus avec les deux types d'outils disponibles, CFD et zonaux, dans le même contexte de comparaison avec l'expérience. En fin d'étude, nous concluons sur la qualité de représentation des modèles, ainsi que sur la pertinence des méthodes d'analyse d'incertitude appliquées à ceux-ci
Considerable research has been performed to better predict airflows within buildings. Validation is a key issue that needs to be addressed in this frame work ; however, to date, it has received little attention among ventilation researchers. The work presented here includes a validation methodology proposal to compare numerical results with experimental data by taking account uncertainty domains. The first step presents the different models for predicting airflows within buildings: a) Zonal models whose application is mostly limited airflow predictions in buildings b) Detailed models, such as CFD due to fluid mechanics research Comparison of simulation results with experimentally obtained data represents a main phase of a code validation process The second step of our work consists in a presentation of uncertainty and sensitivity analysis methods’ to select the methods that are most suited to our work. The third step looks at the applicability of the selected methods to the code Fluent. The comparison with experiments is performed for several turbulence models including the uncertainties propagated by the code. Two methods are tested for both uncertainty and sensitivity analyze. We have compared the results obtained with zonal and CFD models in the same comparison context with experimental measurements by including uncertainty domains. We conclude on the accuracy of the predictions of the models as well as on the relevance of using uncertainty analysis methods in our work

APA, Harvard, Vancouver, ISO, and other styles

19

Canton, Anne-Florence. "Modélisation et analyse des performances de l'UTRAN : Universal Terrestrial Radio Access Network." Paris, ENST, 2002. http://www.theses.fr/2002ENST0045.

Full text

Abstract:

Les futurs systèmes UMTS devront être capables d'offrir des services bas et haut débit, permettant de transmettre voix, images et video, ainsi que d'effectuer des connexions Internet. Plusieurs niveaux de qualité de service devront donc être gérés. Pour ce faire, une architecture de qualité de service est en cours de normalisation au 3GPP. Cette thèse se propose d'étudier la réalisation de la qualité de service dans les systèmes UMTS. La réalisation de la qualité de service repose notamment sur les performances réalisables sur l'interface air, et l'impact de ces performances sur la qualité de service de bout-en-bout. Nos efforts se sont axés autour de deux points essentiels : d'une part, l'étude de l'impact de la qualité sur l'interface air sur la fiabilité de bout-en-bout, lorsque l'utilisateur UMTS est connecté avec un réseau IP externe ; d'autre part, la réalisation de la qualité de service sur l'interface air, via les fonctions radio avancées spécifiques à l'UMTS et mises en oeuvre au niveau du réseau d'accès. Dans un premier temps, nous étudions les performances de bout-en-bout du protocole TCP, sur une connexion non temps réel comportant une portion UMTS. Dans un deuxième temps, nous étudions la réalisation des performances sur l'interface air W-CDMA, via la mise en oeuvre de fonctions radio avancées. Nous étudions en particulier le design et le dimensionnement de l'UTRAN, afin de permettre la mise en oeuvre de ces fonctions radio. Dans cette étude, nous envisageons à la fois le trafic temps réel et le trafic non temps réel
Trends in UMTS systems are towards delivering voice, data and video, as well as Web trafic with appropriate end-to-end QoS guarantees as illustrated by the intensive standardization work on a QoS architecture in 3GPP. Key to its implementation is the air interface and its limiting performance to the end-to-end system. In this work, we consider an end-to-end architecture, where in a UMTS system interworks with a wired IP network and focus on two major topics. First, we consider the impact of the air interface on the end-to-end Qos, mainly in terms of reliability. Second, we investigate the feasibility of the implementation of advanced radio functions within the UTRAN. Typically, in wired networks, reliability for data traffic is guaranteed by the use of TCP at the transport layer. The wireless, mobile component adds error and delay to the end-to-end performance. In our work, we quantify the performance of TCP over ARQ, an error detection / retransmission mechanism present at the RLC layer. As of the UTRAN, the challenge is to guarantee low transport delay toboth real-time and non-real-time traffic, as dictated by the advanced radio functions. We particularly study the design and dimensionning of the UTRAN for both voice and data traffic in isolation as well as service differenciation in the case where both co-exist

APA, Harvard, Vancouver, ISO, and other styles

20

Charest, Gabriel. "Élaboration d'un protocole informatique simple et versatile permettant la modélisation exacte et précise de super-hélices[alpha] à brins et orientations multiples et à structure primaire variable." Mémoire, Université de Sherbrooke, 2005. http://savoirs.usherbrooke.ca/handle/11143/3840.

Full text

Abstract:

Les études de protéomique fonctionnelle nous indiquent que probablement aucune protéine n'accomplit une activité biologique ou acquiert sa conformation active de façon complètement autonome. La fonctionnalité des protéines est donc acquise via les interactions protéine-protéine. Pensons par exemples aux interactions protéine-protéine impliquées dans les cascades de signalisation cellulaire, aux complexes de transcription, de traduction etc. Vu la réelle importance des interactions protéine-protéine, la recherche en biologie est présentement en mouvance vers un nouveau courant, soit l'étude des interactions protéiniques ou l'interactomique. Les interactions inter protéine impliquant des super-hélices ont été étudiées chez la levure et il a été avancé qu'une protéine sur 11 interagirait avec d'autres protéines en utilisant un domaine structuré en super-hélice. Plus de 5% des cadres de lecture ouvert (ORFs) du génome de la levure détiendrait l'information modulant des motifs en super-hélice. La connaissance des structures en super-hélice est importante pour le développement, selon le cas, de diverses molécules d'importance pharmacologique pouvant moduler la dynamique d'assemblage, la protection ou le maintien de ces super-hélices. Pour étudier comment les protéines interagissent entre elles via les super-hélices, nous devons étudier les caractéristiques inhérentes de ces structures. Considérant la quantité impressionnante de super-hélices dans l'interactome et la quantité non négligeable de temps nécessaire pour élucider ces structures par une approche expérimentale il est évident que nous avons besoin de méthodes efficaces, rapides, faciles d'utilisation et facilement implémentables pour obtenir les modèles structuraux de toutes les catégories de super-hélices impliquées dans l'interactome en son entier. En se basant sur des postulats analogues à ceux que H.F.C. Crick avait émis en 1953, nous avons posé comme hypothèse que de maintenir chaque brin formant la super-hélice à une distance respectant celle retrouvée dans la structure de super-hélices préalablement déterminées expérimentalement serait suffisant pour générer ces mêmes super-hélices. Afin d'évaluer notre hypothèse, nous avons créé un protocole informatique utilisant un minimum de paramètres et nous l'avons testé en générant les domaines en super-hélices de huit protéines dont les structures furent déterminées par des méthodes expérimentales. Nos modèles générés sont très similaires aux structures expérimentales correspondantes (RMSD majoritairement<1) et nous avons trouvé une excellente similitude des conformations des chaînes latérales composant l'interface. De plus, nos modèles nous permettent d'identifier une certaine dynamique spécifique aux multimères et même à des résidus précis ayant une activité biologique démontrée crucial dans l'interactomique de ces super-hélices.

APA, Harvard, Vancouver, ISO, and other styles

21

Dutreuil, Julien. "Modélisation 3D et robotique médicale pour la chirurgie : développement d'un protocole d'implantologie dentaire assistée par ordinateur et étude d'un cas clinique." Paris, ENMP, 2001. http://www.theses.fr/2001ENMP1026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Barry, Ugo. "Comportement du procédé R3F en nitrification : suivi, modélisation dynamique et limites du procédé." Phd thesis, AgroParisTech, 2013. http://pastel.archives-ouvertes.fr/pastel-00925421.

Full text

Abstract:

Le procédé à biofilm R3F / MBBR est une technologie récente en France qui vient s'ajouter à la gamme des procédés biologiques de traitement de la matière organique et azotée des eaux usées. Sa valeur ajoutée repose sur sa compacité grâce au développement d'une quantité importante de biomasse bactérienne dans un ouvrage à emprise au sol faible. Ainsi, le procédé R3F / MBBR s'avère être une solution intéressante pour le traitement de l'azote dans un contexte de contrainte foncière importante. Le principe de la technologie est l'emploi de biomédias, supports plastiques de quelques centimètres, sur lesquels un biofilm bactérien se développe. Ces biomédias sont mis en suspension dans le réacteur par insufflation d'air ou par brassage mécanique. Aujourd'hui, la modélisation est devenue un outil précieux d'aide au dimensionnement. S'il existe beaucoup de modèles de biofilm aujourd'hui, peu de travaux de recherche ont abouti à l'élaboration d'un modèle dynamique R3F / MBBR à destination de l'ingénierie et capable de simuler le procédé en conditions réelles. Ainsi, l'objectif principal de cette thèse est la construction d'un modèle dynamique utilisable en ingénierie. La validation d'un tel modèle avec des données de terrain n'ayant pas encore été faite, ce point constituera une originalité. Pour ce faire, le fonctionnement d'une unité pilote R3F alimentée par des eaux résiduaires urbaines a été étudié. Le suivi du pilote pendant près de 2 ans en régime pseudo-permanent a d'abord permis d'évaluer les performances de 3 biomédias, travail là encore jamais réalisé. Ensuite, le régime dynamique, par l'application d'à-coups de charge hydraulique à une charge surfacique appliquée donnée, a été étudié. Une campagne de mesure intensive pendant une période de 4 jours en régime dynamique a servi de base pour le calage du modèle. Une période de 30 jours en régime pseudo-permanent a servi de base pour la validation du modèle.Ce travail de modélisation a abouti à l'élaboration d'un protocole de calage qui informe des paramètres à mesurer, et à modifier pour obtenir un modèle dynamique du procédé R3F / MBBR capable de simuler son fonctionnement en conditions réelles. Des protocoles de mesure ont également été élaborés pour estimer la valeur des paramètres à mesurer. Des simulations prédictives réalisées avec le modèle nouvellement calé ont ensuite permis d'évaluer le procédé dans de nouvelles conditions de fonctionnement. Une étude critique du modèle a abouti à la détermination de faiblesses qui limitent la qualité des simulations. Pour ces faiblesses, des propositions d'amélioration ont été apportées.

APA, Harvard, Vancouver, ISO, and other styles

23

Deverdun, Jérémy. "A la recherche de biomarqueurs vasculaires issus de l’IRM multimodale : mise en place d’un protocole expérimental et d’outils de modélisation associés." Thesis, Montpellier, 2015. http://www.theses.fr/2015MONTS175.

Full text

Abstract:

L'imagerie par résonance magnétique (IRM) permet maintenant d'observer différents types de tissus avec des résolutions de plus en plus fines. L'arbre vasculaire artériel et veineux est explorable et les flux peuvent y être caractérisés de façon non invasive. Le versant artériel de l'arbre vasculaire peut être obtenu par une imagerie dite par « temps de vol » et le versant veineux par une imagerie en contraste de phase. Le développement de reconstructions de cartographies de susceptibilité magnétique (QSM) permet d'améliorer le niveau de détails atteignable sur les veines en fournissant en plus la possibilité de quantifier des paramètres physiologiques comme la saturation veineuse en oxygène. La mise en place d'algorithmes et outils dédiés permet la reconstruction in-silico d'une architecture cohérente sujet-spécifique. Par ailleurs grâce à l'emploi de séquences de la dynamique telles que le contraste de phase dynamique et l'imagerie par marquage des protons artériels du sang, les débits artériels, veineux, et perfusionnels sont mesurables. L'intégralité de ces acquisitions est non invasive, donc applicable à l'intégralité des sujets passant des IRM. Sur la base de ces données anatomiques et dynamiques, un modèle complet et sujet-spécifique de l'hydrodynamique intracrânienne est proposé. Le flux sanguin et cérébro-spinal est décrit dans ce modèle par les équations bilans fondamentales de l'hydrodynamique : conservation de la masse, conservation de la quantité de mouvement. Pour tenir compte de l'adaptation du diamètre des vaisseaux aux pressions on introduit pour chaque compartiment un paramètre d'élasticité de la paroi et une équation correspondante. Grâce aux données d'imagerie IRM, les compartiments sanguins des artères aux veines, le parenchyme cérébral et le système ventriculaire sont inclus. Le modèle permet de simuler la répartition des flux et des pressions dans les différents compartiments de la vascularisation du patient ainsi que d'évaluer les effets d'occlusions localisées sur l'ensemble de l'architecture
The magnetic resonance imaging (MRI) allows the observation of various kind of tissues with always increasing resolution. The arterial and venous vascular trees can be explored, and the flows can be characterized in a noninvasive way. As an example, the arterial part of the tree can be obtained using so-called “Time Of Flight” MRI, and the venous part with phase contrast techniques. The development of quantitative susceptibility maps (QSM) improves the level of details achievable regarding veins; furthermore, it provides a new way to estimate physiological parameters such as venous saturation in oxygen. Eventually the implementation of dedicated algorithms and tools allows the in-silico reconstruction of a subject-specific coherent architecture. Moreover, due to the use of dynamic imaging sequences such as the dynamic phase contrast imaging and the arterial spin labeling, the arterial, venous and cerebral blood flow are measurable. All of these sequences are noninvasive and so usable on every subjects. Based on these anatomical and dynamics data, a full subject-specific model of the brain hydrodynamics is proposed here. The blood and cerebrospinal flow are described using basic balance equations of the hydrodynamics: continuity and momentum. To take into account of the adaptation of vessel diameter to the pressure, a wall elasticity parameter is added for each compartment together with the corresponding equation. Thanks to the MRI data, all the blood compartments, from arteries to vein, the cerebral parenchyma and the ventricular system are included. The model is able to simulate the flow and pressure repartition in all compartments of the subjects as well as show the impact of a located occlusion on the whole architecture

APA, Harvard, Vancouver, ISO, and other styles

24

Masmoudi, Wahid. "Contribution à l'étude fondamentale du séchage des matériaux capillaro-poreux : critique de la modélisation macroscopique et du protocole expérimental de validation." Toulouse, INPT, 1990. http://www.theses.fr/1990INPT016H.

Full text

Abstract:

Cette etude s'inscrit dans la continuite des recherches concernant l'etude fondamentale des transferts de chaleur et de masse entre un milieu poreux capillaire et l'air environnant. Elle vise en particulier a: approfondir notre comprehension des mecanismes elementaires de transport a partir d'une etude experimentale sur un milieu modele, critiquer la modelisation macroscopique et le protocole experimental de validation. Nos resultats montrent: qu'une simulation experimentale monodimensionnelle du sechage n'est jamais realisable en toute rigueur (interactions avec la couche limite entrainant inevitablement la bidimensionnalite), si bien que le protocole de comparaison experience-calcul fonde sur cette hypothese est a exploiter avec discernement et precaution; que compte tenu de la stabilite des digitations (ou heterogeneites macroscopiques) observees, la modelisation macroscopique n'est pas necessairement mise en cause en sechage si le v. E. R. Est selectionne de maniere a prendre en compte la taille de ces digitations et reste de dimension compatible avec l'echelle du milieu poreux. Ce resultat illustre notamment le role de la structure pore-se et du rapport des forces mis en jeu sur l'evolution de la taille du v. E. R. Comme le montrent nos resultats, negliger la gravite dans les equations macroscopiques se traduit ainsi par une modification du v. E. R. Et donc des variables macroscopiques

APA, Harvard, Vancouver, ISO, and other styles

25

Degrenne, Benoît. "Production d'hydrogène par Chlamydomonas reinhardtii en photobioréacteur : analyse des conditions de culture et mise en place d'un protocole autotrophe." Nantes, 2009. http://www.theses.fr/2009NANT2031.

Full text

Abstract:

La production d'hydrogène par des microalgues apparaît comme intéressante dans l'optique de la production d'un vecteur énergétique sans émissions de gaz à effet de serre. En effet, la microalgue verte Chlamydomonas reinhardtii est capable de traduire cet hydrogène à partir d'eau. La production d'hydrogène, due à la présence d'une enzyme [Fe] – Hydrogénase est inhibée en présence d'oxygène. Le protocole de carence en soufre a ainsi été developpé par Melis et al. (2000), la production d'oxygène lors de la croissance des algues et la production d'hydrogène en conditions anaérobiques et en présence de lumière étant séparées dans le temps. Le but de cette thèse est de mieux comprendre les différents processus menant à la production d'hydrogène afin de les optimiser voire de proposer des protocoles de production alternatifs grâce au contrôle poussé des conditions de culture permis par la culture en photobioréacteur. L'étude de la croissance de Chlamydomonas reinhardtii montre que les conditions anaérobiques interviennent lorsqu'une phase sombre, caractérisée par la fraction  est présente dans le réacteur. Cette valeur a été déterminée pour les conditions mixotrophes ( γ-1) et autotrophes (γ=0. 18). L'optimisation des conditions opératoires par modification du protocole de carence en soufre a permis d'appliquer ce protocole sur milieu autotrophe. Les résultats montrent que la productivité maximale en hydrogène est très semblable (1,9ml h2 /g. 1) quelles que soient les conditions initiales appliquées. Finalement des essais de découplage de voies de production d'hydrogène ont été entrepris. Le mode de culture chemostat, avec ou sans limitation minérale, permet de réguler la teneur en amidon ainsi que la concentration en biomasse. Les résultats montrent que le protocole de carence en soufre reste à ce jour le plus efficace par rapport à un protocole basé sur une autre carence minérale (azote notamment)
Hydrogen production by microalgae seems to be interesting in the context of clean hydrogen production. The unicellular green algae Chlamydomonas reinhardtii is indeed able to produce photo synthetically hydrogen gas from water. Hydrogen production, due to the presence of an enzyme [Fe]-hydrogenase, is inhibited in the presence of oxygen. The protocol of sulphur deprivation developped by Melis et al. (2000), allows to time separate the production of oxygen during the algae growth and the production of hydrogen in anaerobic conditions in the presence of light. The aim was here to better understand the role of culture conditions on H2 production process, and to develop new protocols using high control allowed in photobioreactor. The study of the growth of Chlamydomonas reinhardtii shows that anaerobic conditions occur when a dark area, characterized by the illuminated fraction  appears in the reactor. This value has been estimated in mixotrophic condition (γ -1) and in autotrophic conditions (γ= 0. 18). Thus has allowed to develop a protocol that permit to reach anoxia and hydrogen production under light conditions without mineral starvation, based on the control of radiative light transfer inside the photobioreactor. The optimization of standard sulphur deprived protocol by using modelling tool allowed to develop this protocol in autotrophic conditions. The maximal hydrogen productivity is similar (1,9 ml H2/gl) even if different initial conditions are applied. Finally, the photobioreactor was used to decouple metabolic pathways leading to hydrogen production. A methodology based on culture chemostat mode, with or without limitation mineral, allows regulating starch content and the concentration of biomass all in a reversible manner. The result shows that the protocol of sulphur deprivation is still the most effective compared to other protocols based on other mineral limitations

APA, Harvard, Vancouver, ISO, and other styles

26

Carpon, El Harrassi Souâd. "Modélisation du document e-learning selon une approche info-communicationnelle : application au domaine du sport." Thesis, Valenciennes, 2014. http://www.theses.fr/2014VALE0012/document.

Full text

Abstract:

La conception et l’usage des documents e-learning font l’objet de nombreux travaux de recherche en matière d’e-learning en Sciences de l’Information et de la Communication (SIC). Presque la quasi-totalité de ces travaux s’intéresse à la structuration de documents, la normalisation, la mutualisation, la personnalisation... En revanche, peu nombreux, voire très peu nombreux sont ceux qui se posent la question sur les besoins et les attentes de l’utilisateur final. La thématique de la conception du document e-learning de qualité, apparaît en filigrane, mais ne constitue presque jamais l’objet central des réflexions. Nous nous demandons si la pensée dans cette voie mérite d’être poursuivie, car il nous semble qu’une telle modélisation de contenus faciliterait incontestablement leurs compréhensions et leurs réutilisations. Partant des travaux antérieurs, et afin d’apporter une nouvelle contribution au domaine de l’ingénierie pédagogique, nous nous situons à la frontière que forme l’utilisation cognitive et pédagogique avec la conception des séquences pédagogiques, de la médiation et de la nécessité d’une relation empathique avec l’apprenant et l’enseignant, ce qui fait l’originalité de cette recherche. Une telle problématique nous conduit à formuler l’hypothèse qu’à partir d’une analyse des besoins et attentes de l’apprenant, nous pouvons dégager des critères qui peuvent contribuer à l’élaboration d’un document e-learning répondant à sa satisfaction. Pour atteindre notre objectif, un protocole de collecte de données sur terrain a été mis en place dans le but est de dégager les critères de qualité du document e-learning selon les points de vue de l’« Apprenant », du « Concepteur » et du « Décideur ». Nous nous appuyons sur les résultats des entretiens réalisés auprès des pédagogues et des décideurs du CNS My Rachid-IRFC. Ainsi, nous abordons la méthodologie adoptée en appliquant la méthode EBAHIE. A l’expérience, le protocole -baptisé A.Co.D- se révèle une méthode robuste qui permet de croiser plusieurs sources d’information en mettant en synergie plusieurs démarches et outils pour parvenir à des résultats pertinents et exhaustifs sur la problématique posée : 1- dans un 1èr temps, la démarche « Apprenant » nous permet de comprendre leur perception pour proposer des recommandations aux concepteurs de document. 2- dans un second temps, une démarche « Concepteur » fait l’objet d’un retour d’expériences des concepteurs sur la façon dont les apprenants ont perçu et utilisé le document. 3- la troisième démarche consiste à croiser des critères dégagés dans la démarche« Apprenant » avec ceux dégagés lors de la démarche « Concepteur ». 4- dans un 4éme temps, la démarche « Décideur » permet d’identifier finalement les besoins d’aide dans les prises de décision.Nous aboutissons ainsi, à la formalisation de notre modèle de conception du document e-learning en Sport, mettant à la disposition des concepteurs pédagogiques tous les paramètres pour élaborer un document de qualité
The e-learning documents design and use are the subject of some many research regarding e-learning into Information Science and Communication (SIC) discipline. Almost nearly all of this work is interested on the documents structure, standardization, mutualization, customizing ... In contrast, few or very few are those who ask the question about the end user needs and expectations. We ask if thinking in this direction should be continued, because it seems us that such modeling content undoubtedly facilitate their understanding and reuse. Based on the previous work, and to make a new contribution to the teaching engineering field, we stand at the border formed by the cognitive and educational use with the sequences teaching design, mediation and the empathetic relationship need with the learner and the teacher, which makes the originality of this research. This problem led us to hypothesize that from an analysis of the learner needs and expectations, we can identify factors which can contribute to the e -learning document development answering to his satisfaction. To achieve our goal, a protocol for data collecting has been set up for the purpose is to identify criteria quality e-learning document according to the “Learner”, the “Designer” and the “Maker” views. We rely on the interviews results with the CNS My Rachid-IRFC teachers and makers. Thus, we discuss the methodology adopted by applying the EBAHIE method. In the experiment, the protocol - called A.Co.D - reveals a robust method to cross several information sources creating synergies several approaches and tools to achieve the comprehensive results on the asked problem: 1- In a first time, the “Learner” approach allows us to understand their perception to propose recommendations to designers. document. 2- In a second time, a “Designer” approach is subject to exchange experiences designers how learners perceived and used the document . 3- The third approach involves crossing the established criteria in the “Learner” process with those released during the “Designer” process. 4- In a fourth time, the “Maker” approach allows finally identifying needs help in decision making.Thus, we arrive at the formalization of our e-learning document design model in Sport field, by providing designers all parameters to develop a quality document

APA, Harvard, Vancouver, ISO, and other styles

27

Sirois, Suzanne. "Applications de la théorie de la fonctionnelle de la densité aux systèmes (bio)organiques et inorganiques, vers un protocole pour la modélisation moléculaire quantique." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1996. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21514.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Schwartz, Marlène. "Conception d'un réseau local à intégration de services : modélisation et évaluation de performances." Paris 6, 1986. http://www.theses.fr/1986PA066142.

Full text

Abstract:

Le travail présenté à deux objectifs: - l'un est de mettre en évidence les problèmes auxquels se heurtent les concepteurs de réseaux locaux à intégration de services, et de tenter d'identifier les paramètres à prendre en compte lors de la conception d'un réseau local; - l'autre concerne plus particulièrement la recherche de modèles simples dans le but d'évaluer les performances d'une certaine catégorie de protocoles d'accès. On propose en effet un modèle simple permettant d'analyser les performances d'un réseau en anneau utilisant une méthode d'accès de type jeton. Dans la terminologie des files d'attente ce type de système se traduit par un ensemble de files servies cycliquement par un unique serveur.

APA, Harvard, Vancouver, ISO, and other styles

29

Oumina, Hanane Ez-Zahra. "La taxation des applications complexes dans le nouvel environnement de réseaux de télécommunications 3GPPP IP multimedia subsystem (IMS)." Thesis, Evry, Institut national des télécommunications, 2009. http://www.theses.fr/2009TELE0017.

Full text

Abstract:

La taxation est l'une des activités principales de la livraison des services de télécommunications. C'est la machine de génération de revenus pour l'opérateur. Le concept de taxation a connu des évolutions pour s'adapter aux évolutions des réseaux, des services et applications, des médias et comportements des utilisateurs. Les réseaux convergent vers le tout-IP concrétisé par le paradigme de l'IMS, mettant ainsi la qualité de service au coeur des préoccupations des opérateurs. Les applications peuvent intégrer plusieurs services en même temps et sont livrées dans un contexte de session permettant de véhiculer plusieurs flux, contenus et médias en même temps. Les médias sont devenus de plus en plus riches avec la combinaison de la voix, du texte, de l'image et de la vidéo dans un même contenu livré à l'utilisateur. Le comportement des utilisateurs par rapport au produit de télécommunications a changé d'un moyen de communication de base à un outil d'information et de divertissement. Ceci rend la qualité d'expérience des applications un facteur de réussite des opérateurs et une taxation équitable est l'un des premiers paramètres à considérer afin d'améliorer l'expérience client.Ce travail consiste à adresser la complexité de la taxation des services de télécommunication d'une manière équitable, sans pénalisation pour l'utilisateur ni perte de revenu pour l'opérateur. Pour ce faire nous proposons une modélisation des applications multimédia complexes. Puis nous construisons la fonction de tarification qui est la fonction principale du module de taxation. Cette fonction permettra d'adresser la problématique de la taxation équitable dans le contexte du tout-IP
Charging of services is one of the most important activities of service delivery in telecommunications. It is the revenue generator engine for operators. The concept of charging has evolved with the evolution of networks, applications, media types and end-user behaviors. Telecommunications networks have converged to All-IP with the introduction of IP Multimedia Subsystem. Hence, the Quality of Service has become a core concern of operators. Applications have become richer, including many services, contents and media types in a single session. A variety of content could be used by end-user, voice, data, text, image, and video. New content could be created with the combination of two or more basic content types. The behavior of end users in front of telecommunications services has evolved from a basic communication tool to information and entertainment tool. Consequently, the Quality of Experience is standing in the first stage to scale the success of one application. In this new context, a clear and fair charging is one of the first parameters to consider in Quality of Experience building. In our work, we will address the complexity of charging of new generation of telecommunications services. First, we propose a modeling of these new complex multimedia applications. Then, we construct the Rating Function which is the main module of charging. This function will address accurately the question of fair charging in All-IP context

APA, Harvard, Vancouver, ISO, and other styles

30

Moretti, Paul. "Performances, modélisation et limites d'un procédé à lit fluidisé associant culture libre et fixée (IFAS) pour le traitement du carbone et de l'azote des eaux résiduaires." Thesis, Lyon 1, 2015. http://www.theses.fr/2015LYO10214/document.

Full text

Abstract:

Motivées par des normes de rejets en azote toujours plus sévères et par les besoins d'extension de certaines stations d'épuration, les agglomérations sont à la recherche de nouvelles technologies de traitement plus compactes et plus performantes. Dans ce sens, le procédé hybride, à lit fluidisé placé dans un réacteur de type boues activées (IFAS), est une nouvelle technologie de traitement du carbone et de l'azote très attractive. L'objectif de cette thèse est d'optimiser le dimensionnement du procédé IFAS en configuration trois bassins (anoxie/aérobie BA/aérobie IFAS) et d'apporter des recommandations sur la conduite du procédé (charge massique appliquée, température.). Pour cela, une double démarche expérimentale et numérique a été mise en place. Un pilote de 3 m3 alimenté en eau usée brute a été conçu, instrumenté et étudié pendant 2 ans au cours de 7 périodes stabilisées (entre 0,15 et 0,30 kgDBO5/kgMVSLM/j, température entre 10 et 22°C, et le séquençage de l'aération dans les bassins). La concentration en MES dans la liqueur mixte a été maintenue à 2,3 gMES/L et la concentration en oxygène entre 2 à 6 mgO2/L. Les capacités de nitrification du biofilm et de la liqueur mixte (NPRmax) ont été mesurées tous les 15 jours. Les performances d'élimination de l'azote (nitrification et dénitrification) et du carbone observées sont restées supérieur à 90% d'élimination pour une charge massique maximale de 0,30 kgDBO5/kgMVSLM/j entre 16 à 24°C. Le biofilm dispose d'une capacité de nitrification maximale de 0,90 gN/m2/j et tributaire des concentrations en oxygène dans la liqueur mixte (contraintes diffusionnelle). Le biofilm contribue en moyenne à hauteur de 60% du flux total nitrifié dans le réacteur IFAS pour des âges de boues < 5 jours à 16°C. La diminution du MLSRT en dessous de 4 jours a permis de limiter le développement des bactéries autotrophes dans la liqueur mixte (minimum 10% du flux total nitrifié par la liqueur mixte) mais pas de les supprimer totalement (apport de nitrifiante par détachement de biofilm)
Motivated by the increasingly demanding discharge consents and by the need to improve overall treatment capacity, water authorities are uninterruptedly examining better performing and more compact wastewater treatment technologies. Thanks to its compactness and to its capacity to treat both organic matter and nitrogen at an affordable cost, the IFAS process represents an attractive addition to improve retrofitting-activated sludge plants performance. The main objective of this thesis is to optimize IFAS process with regards to key operation parameters such as dimensioning, F/M ratio by combining experimental and mathematical modelling approaches. A 3 m3 pilot IFAS fed with raw wastewater was operated at the experimental hall of La Feyssine wastewater treatment plant, Villeurbanne, for a period of 2 years. The IFAS process was separated in 3 tanks to treat organic matter and total nitrogen separately (anoxic/aerobic, suspended/aerobic IFAS). The experimental study was divided in 7 periods with different steady state operation conditions each. The feasibility of nitrification at steady F/M ratios (between 0,1S to 0,30 kgBODS/kgMLVSS/d), at constant temperatures (between 10 - 22°C) and at different oxygen supply rates was investigated. TSS in mixed liquor were maintained at 2,3 gMLTSS/L and oxygen concentration between 2 to 6 mgO2/L. Biofilm mass and combined nitrification capacity of biofilm and mixed liquor (NPRmax) were measured on a weekly basis. The removal performance was up to 90% for nitrogen and carbon treatment with a maximal F/M ratio of 0,30 kgBODS/kgMLVSS/d between 16°C to 24 °C. The biofilm was able to nitrify 0,90 gN/m2/d (NPRmax) depending on the oxygen concentration in the mixed liquor (diffusional limitation). Under the operating conditions tested in this study, biofilm was responsible for 40 to 70% of NOx-N production in IFAS reactor during nitrification. Decreasing the MLSRT to less than 4 days limits the growth of autotrophic bacteria in the mixed liquor but does not halt it completely

APA, Harvard, Vancouver, ISO, and other styles

31

Viard, Tiphaine. "Flots de liens pour la modélisation d'interactions temporelles et application à l'analyse de trafic IP." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066730.

Full text

Abstract:

Les interactions sont partout : il peut s'agir de contacts entre individus, d'emails, d'appels téléphoniques, de trafic IP, d'achats en ligne, d'exécution de code, etc. Les interactions peuvent être dirigées, pondérées, enrichies d'informations supplémentaires, cependant, dans tous les cas, une interaction signifie que deux entités u et v ont interagi du temps b au temps e : par exemple, deux individus u et v se rencontrent du temps b au temps e, deux machines sur un réseau démarrent une session IP du temps b au temps e, deux personnes u et v se téléphonent du temps b au temps e, etc.Dans cette thèse, nous explorons une nouvelle approche visant à modéliser les interactions directement comme des flots de liens, c'est-à-dire des séquences de quadruplets (b,e,u,v) signifiant que u et v ont interagi du temps b au temps e. Nous posons les fondations du formalisme correspondant. Afin de valider notre travail théorique, nous nous concentrons sur l'analyse de trafic IP. Il est en effet crucial pour nous d'effectuer des aller-retours constants entre théorie et pratique : les cas pratiques doivent nourrir notre réflexion théorique, et, en retour, les outils formels doivent être conçus de façon à être appliqués de la manière la plus générale.Nous appliquons notre formalisme à l'analyse de trafic IP, dans le but de valider la pertinence de notre formalisme for l'analyse de trafic IP, ainsi que comme méthodologie de détection d'événements. Nous élaborons une méthode permettant d'identifier des événements recouvrant plusieurs échelles de temps, et l'appliquons à une trace de trafic issue du jeu de données MAWI
Interactions are everywhere: in the contexts of face-to-face contacts, emails, phone calls, IP traffic, online purchases, running code, and many others. Interactions may be directed, weighted, enriched with supplementary information, yet the baseline remains: in all cases, an interaction means that two entities u and v interact together from time b to time e: for instance, two individuals u and v meet from time b to time e, two machines on a network start an IP session from time b to time e, two persons u and v phone each other from time b to time e, and so on.In this thesis, we explore a new approach consisting in modelling interactions directly as link streams, i.e. series of quadruplets ( b, e, u, v ) meaning that u and v interacted from time b to time e, and we develop the basis of the corresponding formalism. In order to guide and assess this fundamental work, we focus on the analysis of IP traffic. It is particularly important to us that we make both fundamental and applied progress: application cases should feed our theoretical thoughts, and formal tools are designed to have meaning on application cases in the most general way.We apply our framework to the analysis of IP traffic, with the aim of assessing the relevance of link streams for describing IP traffic as well as finding events inside the traffic. We devise a method to identify events at different scales, and apply it to a trace of traffic from the MAWI dataset

APA, Harvard, Vancouver, ISO, and other styles

32

Seng, Sorithy. "Sonde de détection d'intrusion réseau avec suivi d'état de protocole et détection d'anomalie, de la modélisation à la combinaison entre des méthodes de spécification et de fouille de données (data mining)." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAS023.

Full text

Abstract:

Cette thèse se positionne dans le contexte des sondes de détection d'intrusion réseaux (NIDS). Elle part du constat que la grande majorité des NIDS disposent d'une vision statique des échanges réseaux : ils analysent les paquets réseaux sans tenir compte des échanges de paquets précédents. Cette vision statique limite leurs capacités à détecter des attaques se déroulant dans le temps et mettant en œuvre plusieurs paquets réseaux. Il existe bien évidemment des NIDS capables de détecter des attaques s'étalant sur plusieurs paquets, mais cela est en général réalisé à l'aide d'artifices non triviaux qui, s'ils ne sont pas correctement utilisés, peuvent pénaliser les performances globales du NIDS. Cette thèse vise alors à pallier en partie cette limitation en ajoutant aux NIDS des capacités de suivi d'état des protocoles de communication. Un tel suivi d'état permettrait d'offrir un contexte à chaque paquet, grâce à une historisation des échanges réseaux sous la forme d'états cohérents au sein de sessions d'un protocole de communication. En plus du contexte d'un paquet, un tel suivi d'état des protocoles permettrait d'identifier toute déviation au modèle du protocole et ainsi de détecter des anomalies. Pour explorer cette piste, cette thèse propose d'étudier les deux objectifs suivants:- Réaliser un état de l'art sur les NIDS et la modélisation de protocole: les travaux similaires, identifier les langages, vérifier que le suivi d'état est pertinent. Expérimenter cette piste de suivi d'état des protocoles à l'aide d'un prototype.- Définir une méthode d'inférence d'un modèle de protocole à partir d'un jeu de données. Enfin, l'état de l'art montre que, par rapport aux systèmes d'information tertiaires, les systèmes d'information industriels disposent d'un besoin accru en surveillance et que le suivi d'état et plus globalement les méthodes de détection par comportement sont plus efficaces. Un focus sera donc fait sur les cas d'usage industriels. L'état de l'art sur les NIDS en général et sur la modélisation de protocole met en évidence la pertinence d'un suivi d'état et de positionner notre proposition de suivi d'état au sein d'un NIDS parmi les moteurs de détection d'anomalie par spécification de protocole (behavior-specification-based). Il a aussi permis d'identifier plusieurs langages de modélisation tels que les ASTD (Algebraic State Transition Diagrams), les Statecharts de Harel ou LOTOS. Une nouvelle méthode d'inférence d'un modèle de protocole est proposée. Elle consiste à dériver un modèle de protocole existant en le confrontant à un cas d'usage représenté par un jeu de données, afin de définir un nouveau modèle, spécialisé sur un cas d'usage. Un prototype a été développé et une expérimentation a été réalisée à l'aide du protocole POP3.Enfin, un paradoxe a été constaté lors de l'état de l'art: depuis près de 20 ans, la littérature scientifique sur les IDS s'est essentiellement concentrée sur les méthodes basées sur les anomalies et démontre des résultats bien meilleurs que les méthodes basées sur les signatures. Or actuellement sur le marché, il n'y a que très peu de solutions s'appuyant sur des méthodes basées sur les anomalies. Ainsi, de façon connexe aux objectifs principaux de la thèse, une étude complémentaire a été réalisée et propose trois nouveaux critères de comparaison des IDS qui pourraient expliquer la faible adoption des méthodes basées sur les anomalies : la qualité d'explication des moteurs de détection, la qualité et la richesse des bases de connaissances, la facilité d'utilisation
This thesis is positioned in the context of network intrusion detection systems (NIDS). It starts from the observation that the vast majority of NIDS have a static view of network exchanges: they analyze network packets without taking into account previous packet exchanges. This static view limits their ability to detect attacks that occur over time and involve multiple network packets. There are obviously NIDS capable of detecting attacks spread over several packets, but this is generally achieved using non-trivial tricks which, if not used correctly, can penalize the overall performance of the NIDS.This thesis then aims to partially overcome this limitation by adding state tracking capabilities of communication protocols to NIDS. Such state tracking would provide a context for each packet, thanks to a history of network exchanges in the form of coherent states within sessions of a communication protocol. In addition to the context of a packet, such state tracking of protocols would identify any deviation from the protocol model and thus detect anomalies.To explore this path, this thesis proposes to study the following two objectives:- Carry out a state of the art on NIDS and protocol modeling: similar works, identify languages, verify that state tracking is relevant. Experiment this path of protocol state tracking using a prototype.- Define a method of inferring a protocol model from a dataset.Finally, the state of the art shows that, compared to tertiary information systems, industrial information systems have an increased need for surveillance and that state tracking and more generally behavior detection methods are more effective. A focus will therefore be made on industrial use cases.The state of the art highlights the relevance of state monitoring and positions our state monitoring proposal within a NIDS among the anomaly detection engines by protocol specification (behavior-specification-based). It also identified several modeling languages such as ASTD (Algebraic State Transition Diagrams), Harel's Statecharts or LOTOS.A functional prototype of protocol state monitoring has been developed. It consists of an extension plugin for the open source NIDS Zeek. The industrial communication protocols ModbusTCP and ISO 60870-5-104 have been modeled. The modeling language used relies on Harel's Statecharts, notably using the standard SCXML format. Experimentations validated the proper functioning of state monitoring confirmed that any deviation from the model does indeed generate an anomaly and proposed additional context to the packet for the detection engine.A new method of inferring a protocol model is proposed. It consists of deriving an existing protocol model by confronting it with a use case represented by a dataset, in order to define a new model, specialized on a use case. A prototype was developed and an experiment was carried out using the POP3 protocol.Finally, a paradox was observed during the state of the art: for nearly 20 years, scientific literature on IDS has mainly focused on anomaly-based methods and demonstrates much better results than signature-based methods. But currently on the market, there are very few solutions based on anomaly-based methods. Thus, in connection with the main objectives of the thesis, a complementary study has been done and proposes three new IDS comparison criteria that could explain the low adoption of anomaly-based methods: the quality of explanation of detection engines, the quality and richness of knowledge bases and ease of use

APA, Harvard, Vancouver, ISO, and other styles

33

Derradji, Amira. "Intégration automatisée de l'expertise du patient dans le suivi à distance de sa pathologie chronique." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM060/document.

Full text

Abstract:

Depuis de nombreuses années, le déploiement des TIC dans la prise en charge médicale de pathologies chroniques joue un rôle majeur notamment dans l’évolution des pratiques de santé et l’amélioration du bien-être du patient. Les pathologies chroniques sont de nature longue et évolutive et nécessitent un suivi régulier effectué par une équipe pluridisciplinaire où différents acteurs interviennent auprès du patient. Le patient à son tour, est amené à respecter à domicile, un protocole de soins déﬁni et personnalisé par cette équipe. Cependant, la forme dans la quelle le contenu du protocole est représenté n’est pas forcément complète ni facile à comprendre par les patients. De plus, chaque patient est unique, et la déﬁnition du protocole de soins doit être personnalisée et appropriée à ses soins et traitements individuels, parfois même à ses souhaits et contraintes personnelles. L’expertise du patient sur sa maladie chronique est une information précieuse que nous souhaitons intégrer dans un protocole de soins personnalisé aﬁn d’améliorer la prise en charge médicale, le suivi à distance de la maladie chronique et à terme améliorer la connaissance de la pathologie chronique. Pour ce faire,nous avons proposé (i) un langage de représentation informatisée de protocole de soins personnalisé, destiné aux professionnels de santé et aux patients,sufﬁsamment simple,intuitif et facile à comprendre.(ii) une ontologie de l’expertise patient (tirée de son vécu avec la pathologie) permettant de signaler des imprévus dans le déroulement du protocole (actions non prévus ou évènements non prévus)
For several years, the deployment of information and communication technologyintothemanagementofchronicalpathologiesistakingaconsiderableplace, more particularly in the evolution of health’s practices and in the improvement of the well-being of the patient Chronical pathologies are of long duration and they need to be under a regular monitoring of the healthcare professional, composed of multidisciplinary or different actors in charge with the patients. On the other side the patients are alsochargedoffollowingahealthcareprotocolathomepreviouslydeﬁnedbythe health care team. Nevertheless, the different forms of representing the contests of this protocol, it is not always complete and comprehensible for the patients. Furthermore, each one of the patients is unique and a proper deﬁnition of the health care protocol must be personalised and conform to his individual treatment and even to his personal wishes or constraints. But this is not the case of information guides or medical references that are supplied in general. With the intent to improve the interaction between the patient and the healthcareprofessionalsrelatedtothehealthcareprotocol,wepropose(i)alanguagefor the computerised representation of the healthcare protocol, sibling the healthcare professionals and the patients, enough simple, intuitive and easy to understand, (ii) an ontology for the patient expertise (based on his experience on the disease) allowingsotheinteractionofthepatientwithhishealthcareprotocolbyreporting all the unexpected behaviours. These behaviours are events that are not deﬁned in the initial health care protocol

APA, Harvard, Vancouver, ISO, and other styles

34

Bayol, Catherine. "Une approche structurelle et comportementale de modélisation pour la vérification de composants VLSI." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00005027.

Full text

Abstract:

Le mémoire décrit une méthode de modélisation et de validation de composants micro-programmes pour l'implantation de protocole de communication de réseaux. Cette mèthode a été développée dans le cadre de la conception du composant FICOMP qui met en oeuvre la norme de bus de terrain FIELDBUS. Le premier chapitre décrit le contexte industriel du projet FICOMP, les différents niveaux de spécification du composant et les outils de simulation et de vérification utilisés. Le chapitre deux présente le langage VOVHDL, une extension de VHDL pour la spécification des communications et des synchronisations entre processus concurrents, et en donne une sémantique synchrone en termes de systèmes à transitions étiquetées. Le chapitre trois présente une approche de modélisation pour les descriptions VOVHDL hiérarchiques, et en illustre l'application au composant FICOMP : les modules internes sont reliés à un module de communication pour former un module de niveau supérieur ; ce module est alors traduisible dans le format d'entrée de l'outil de vérification ASA+. Le chapitre quatre rappelle les primitives essentielles du langage VHDL, et formalise la sémantique de simulation de ce langage en termes de systèmes à transitions étiquetées. Les annexes détaillent l'application de la méthode, par la spécification et la traduction dans le modèle propose de deux modules du projet FICOMP

APA, Harvard, Vancouver, ISO, and other styles

35

Sandu-Loisel, Rodica. "Politiques énergétiques et options économiques des stratégies climatiques en Roumanie : une approche par la modélisation en équilibre général calculable." Rouen, 2007. http://www.theses.fr/2007ROUED005.

Full text

Abstract:

L'objectif consiste dans l'identification des approches de la modélisation en équilibre général, par la simulation des instruments créés par le protocole de Kyoto et le Schéma Européen d'Echanges de quotas à l'aide d'une application à la Roumanie. Deux problématiques sont étudiées : la pratique des subventions énergétiques et l'évaluation des politiques d'abattement des émissions de CO2. L'outil méthodologique est approfondi lors de la formalisation des instruments de marché (taxes et permis émission), par la description dynamique du développement économique, avec une croissance exogène de type Ramsey-Cass-Koopmans, et alternativement, endogène par l'étude des mécanismes à la Romer de conception et diffusion du progrès technique
This research aims to identify new tools of the general equilibrium approach applied to Romania for simulating the environmental policies created by the Kyoto Protocol and the European Trade Scheme. Two main topics are analysed : energy subsidies and CO2 abattement policies options. THe memethodology is further explored while modelling market environmental instruments, as taxes and tradable permits, by incorporating dynamic mecanisms for describing the economic development in Romania. Exogenous growth in the sens of Ramsey-Cass-Koopmans is tested ; alternatively endogenous growth in the sens of Romer allows to simulate the creation and diffusion of the technological progres

APA, Harvard, Vancouver, ISO, and other styles

36

Oumina, Hanane Ez-Zahra. "La taxation des applications complexes dans le nouvel environnement de réseaux de télécommunications 3GPPP IP multimedia subsystem (IMS)." Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2009. http://www.theses.fr/2009TELE0017.

Full text

Abstract:

La taxation est l'une des activités principales de la livraison des services de télécommunications. C'est la machine de génération de revenus pour l'opérateur. Le concept de taxation a connu des évolutions pour s'adapter aux évolutions des réseaux, des services et applications, des médias et comportements des utilisateurs. Les réseaux convergent vers le tout-IP concrétisé par le paradigme de l'IMS, mettant ainsi la qualité de service au coeur des préoccupations des opérateurs. Les applications peuvent intégrer plusieurs services en même temps et sont livrées dans un contexte de session permettant de véhiculer plusieurs flux, contenus et médias en même temps. Les médias sont devenus de plus en plus riches avec la combinaison de la voix, du texte, de l'image et de la vidéo dans un même contenu livré à l'utilisateur. Le comportement des utilisateurs par rapport au produit de télécommunications a changé d'un moyen de communication de base à un outil d'information et de divertissement. Ceci rend la qualité d'expérience des applications un facteur de réussite des opérateurs et une taxation équitable est l'un des premiers paramètres à considérer afin d'améliorer l'expérience client.Ce travail consiste à adresser la complexité de la taxation des services de télécommunication d'une manière équitable, sans pénalisation pour l'utilisateur ni perte de revenu pour l'opérateur. Pour ce faire nous proposons une modélisation des applications multimédia complexes. Puis nous construisons la fonction de tarification qui est la fonction principale du module de taxation. Cette fonction permettra d'adresser la problématique de la taxation équitable dans le contexte du tout-IP
Charging of services is one of the most important activities of service delivery in telecommunications. It is the revenue generator engine for operators. The concept of charging has evolved with the evolution of networks, applications, media types and end-user behaviors. Telecommunications networks have converged to All-IP with the introduction of IP Multimedia Subsystem. Hence, the Quality of Service has become a core concern of operators. Applications have become richer, including many services, contents and media types in a single session. A variety of content could be used by end-user, voice, data, text, image, and video. New content could be created with the combination of two or more basic content types. The behavior of end users in front of telecommunications services has evolved from a basic communication tool to information and entertainment tool. Consequently, the Quality of Experience is standing in the first stage to scale the success of one application. In this new context, a clear and fair charging is one of the first parameters to consider in Quality of Experience building. In our work, we will address the complexity of charging of new generation of telecommunications services. First, we propose a modeling of these new complex multimedia applications. Then, we construct the Rating Function which is the main module of charging. This function will address accurately the question of fair charging in All-IP context

APA, Harvard, Vancouver, ISO, and other styles

37

Al-Chama, Mhd Feras. "Modélisation des effets des réseaux IP sur la transmission des médias haptiques et l'adaptation du téléapprentissage haptique à l'état du réseau." Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS0005.

Full text

Abstract:

Latence, gigue, perte de paquets sont les problèmes du réseau qui influent sur la transmission haptique, et par conséquent sur le télé-transfert d’expertise haptique ou motrice (télémentorat). Comme application, nous avons utilisé le télémentorat dans un environnement virtuel de simulation chirurgicale. Le choix du simulateur a été fait à partir de l’étude de plusieurs projets dans le domaine chirurgical desquels nous nous sommes inspirés pour construire une Plateforme de simulation chirurgicale pour qu’elle soit une base de notre système de téléapprentissage haptique. Notre étude a été basée sur deux parties : étude de l’effet des différents paramètres du réseau sur le télémentorat haptique pour déterminer la zone de travail optimal pour ces paramètres. .
Latency, jitter, packet loss are some of the network characteristics which affect haptic transmission, and consequently affect motor or haptic skill tele-transfer (telementoring). As an application, we studied haptic telementoring in virtual surgical environment. The choice of simulator was made from our study of several projects in the surgical field from which we built a platform for surgical simulation, as a basis of our haptic e-learning system. Our study had two main objectives:To determine the optimal network parameters operational zones in haptic telementoring. To model the effect of network lag on the motor skill tele-transfer quality. This model was incorporated in our haptic e-learning platform making it adaptive to network status and ensuring a robust and stable e-learning environment

APA, Harvard, Vancouver, ISO, and other styles

38

Lu, Juan. "Modélisation, simulation et implémentation d'un protocole de communication adaptatif dans un réseau de capteurs sans fil basé sur IEEE 802.15.4 et adapté à la surveillance de personnes à domicile." Phd thesis, INSA de Toulouse, 2013. http://tel.archives-ouvertes.fr/tel-00862824.

Full text

Abstract:

Le maintien à domicile des personnes fragiles vivant seules est devenu une préoccupation majeure de santé publique dans nos sociétés modernes. Parmi les différents aspects scientifiques traités dans le domaine de la surveillance à domicile, nous nous intéressons à l'étude et à la proposition d'une solution permettant à des capteurs répartis de communiquer entre eux de façon optimale et adaptée aux contraintes spécifiques de l'application. Plus précisément, nous souhaitons construire un réseau sans fil courte portée constitué de plusieurs noeuds capteurs échangeant entre eux des données selon un protocole de communication de niveau MAC (contrôle d'accès au médium) qui optimise à la fois l'énergie, le délai de transmission et la perte d'informations. Pour cela, nous avons finement analysé les avantages et les limites des technologies WPAN (réseau local personnel sans fil) et des protocoles de communication actuellement utilisés en rapport aux exigences de notre application. Nous avons ensuite proposé une méthode d'accès au médium déterministe, adaptative et économe en énergie basée sur la couche physique IEEE 802.15.4 et une topologie maillée. Elle permet de garantir le délai d'acheminement des messages avec un risque de collisions très fortement limité, grâce à une réutilisation spatiale du médium dans un voisinage à deux sauts. Cette proposition a été caractérisée par modélisation et simulation à l'aide du simulateur de réseau OPNET. Nous avons alors implémenté les mécanismes proposés sur des dispositifs matériels et déployé un réseau de capteurs en situation réelle afin de vérifier la pertinence du modèle et évaluer la proposition selon différentes configurations de test.

APA, Harvard, Vancouver, ISO, and other styles

39

Mathieu, Romain. "Modélisation de l'influence de la rapidité de recharge totale ou partielle sur les performances électro-thermiques et la durée de vie des batteries pour applications automobiles." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0026.

Full text

Abstract:

La charge rapide des batteries est un enjeu majeur pour le développement de l’automobile électrique. Côté infrastructure, un déploiement de chargeurs de haute voire très haute puissance est en cours. Ces hautes puissances motivent une recherche sur les batteries, dans l’objectif de réduire significativement leurs durées de charge.Pour une cellule de batterie de caractéristiques données, la puissance de charge est limitée par des considérations électriques, thermiques et de durée de vie. Cette thèse souhaite alors apporter une contribution à la réduction du temps de charge, par une approche numérique de modélisation, simulation et optimisation. Elle compare également 4 références de cellules de différents matériaux et différentes densités d’énergie.Tout d’abord, des modèles du comportement électrique, thermique et de vieillissement d’une cellule sont développés séparément, puis couplés. De manière systématique, les modèles sont présentés, leurs procédures de calibration sont décrites, et ils sont comparés à des résultats expérimentaux. Une attention particulière est portée à l’effet des forts régimes de courant dans différentes conditions thermiques. Ceci a permis d’étendre leurs domaines de validité respectifs.Ensuite, une campagne de vieillissement accéléré est réalisée sur 3 références de cellules. Elle compare l’effet du courant de charge, de la tension de fin de charge et de différentes conditions thermiques sur la dégradation, dans le cadre d’un protocole de charge référence. Les résultats ont permis d’identifier plusieurs stratégies pour la réduction du temps de charge, au niveau du choix d’une référence de cellule, de la gestion thermique, et de l’optimisation du protocole de charge.Enfin, cette dernière stratégie est étudiée. Une méthode de définition par optimisation numérique d’un protocole de charge à plusieurs niveaux de courant constant est développée. Elle se base sur le modèle électro-thermique mis en place. La méthode est utilisée pour définir 5 protocoles de charge optimisés qui sont soumis à des essais de vieillissement accéléré. La dégradation est ensuite comparée à celle observée pour le protocole de charge référence. Dans des conditions comparables au protocole référence, les protocoles optimisés permettent de réduire le temps de charge et/ou la dégradation
Fast charging of batteries is a major challenge for the development of electric vehicles. A deployment of high power chargers is underway. These high power levels motivate research on batteries, with the aim of significantly reducing their charging times.For a battery cell of given characteristics, the charging power is limited by electrical, thermal and lifetime considerations. This thesis then wishes to make a contribution to the reduction of the charging time, by taking a numerical approach including modeling, simulation and optimization. It also compares 4 cell references of different materials and different energy densities.First, models of the electrical, thermal and aging behavior of a cell are developed separately, then coupled. In a systematic way, the models are presented, their calibration procedures are described, and they are compared with experimental data. Particular attention is paid to the effect of high current regimes under different thermal conditions. This made it possible to extend their respective domains of validity.Then, an accelerated aging campaign is carried out on 3 cell references. It compares the effect of the charging current, the end-of-charge voltage and different thermal conditions on the degradation, within the framework of a reference charging protocol. The results made it possible to identify several strategies for reducing the charging time, regarding the choice of a cell reference, thermal management, and the optimization of the charging protocol.This last strategy is finally studied. A method of definition of a charge protocol, containing several stages of constant current, is developed based on numerical optimization. The method makes uses the electro-thermal model implemented. It is then used to define 5 optimized charging protocols which are subjected to accelerated aging tests. The degradation is compared to that observed for the reference charging protocol. Under comparable conditions with the reference protocol, the optimized protocols make it possible to reduce the charging time and/or the degradation

APA, Harvard, Vancouver, ISO, and other styles

40

Spathis, Prométhée. "Diffusion fiable : l'approche à soutien des routeurs." Paris 6, 2003. http://www.theses.fr/2003PA066592.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Viard, Tiphaine. "Flots de liens pour la modélisation d'interactions temporelles et application à l'analyse de trafic IP." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066730.

Full text

Abstract:

Les interactions sont partout : il peut s'agir de contacts entre individus, d'emails, d'appels téléphoniques, de trafic IP, d'achats en ligne, d'exécution de code, etc. Les interactions peuvent être dirigées, pondérées, enrichies d'informations supplémentaires, cependant, dans tous les cas, une interaction signifie que deux entités u et v ont interagi du temps b au temps e : par exemple, deux individus u et v se rencontrent du temps b au temps e, deux machines sur un réseau démarrent une session IP du temps b au temps e, deux personnes u et v se téléphonent du temps b au temps e, etc.Dans cette thèse, nous explorons une nouvelle approche visant à modéliser les interactions directement comme des flots de liens, c'est-à-dire des séquences de quadruplets (b,e,u,v) signifiant que u et v ont interagi du temps b au temps e. Nous posons les fondations du formalisme correspondant. Afin de valider notre travail théorique, nous nous concentrons sur l'analyse de trafic IP. Il est en effet crucial pour nous d'effectuer des aller-retours constants entre théorie et pratique : les cas pratiques doivent nourrir notre réflexion théorique, et, en retour, les outils formels doivent être conçus de façon à être appliqués de la manière la plus générale.Nous appliquons notre formalisme à l'analyse de trafic IP, dans le but de valider la pertinence de notre formalisme for l'analyse de trafic IP, ainsi que comme méthodologie de détection d'événements. Nous élaborons une méthode permettant d'identifier des événements recouvrant plusieurs échelles de temps, et l'appliquons à une trace de trafic issue du jeu de données MAWI
Interactions are everywhere: in the contexts of face-to-face contacts, emails, phone calls, IP traffic, online purchases, running code, and many others. Interactions may be directed, weighted, enriched with supplementary information, yet the baseline remains: in all cases, an interaction means that two entities u and v interact together from time b to time e: for instance, two individuals u and v meet from time b to time e, two machines on a network start an IP session from time b to time e, two persons u and v phone each other from time b to time e, and so on.In this thesis, we explore a new approach consisting in modelling interactions directly as link streams, i.e. series of quadruplets ( b, e, u, v ) meaning that u and v interacted from time b to time e, and we develop the basis of the corresponding formalism. In order to guide and assess this fundamental work, we focus on the analysis of IP traffic. It is particularly important to us that we make both fundamental and applied progress: application cases should feed our theoretical thoughts, and formal tools are designed to have meaning on application cases in the most general way.We apply our framework to the analysis of IP traffic, with the aim of assessing the relevance of link streams for describing IP traffic as well as finding events inside the traffic. We devise a method to identify events at different scales, and apply it to a trace of traffic from the MAWI dataset

APA, Harvard, Vancouver, ISO, and other styles

42

Fontaine, Arnaud. "Une Architecture pour les Services Télécom." Phd thesis, Télécom ParisTech, 2004. http://pastel.archives-ouvertes.fr/pastel-00001427.

Full text

Abstract:

Ce manuscrit se propose de mettre en exergue les mécanismes intervenant dans les problématiques de composition et de personnalisation de services télécoms, pour être en mesure de proposer une solution générique de création de ces services, en investigant les différentes solutions existantes (Réseau Intelligent, TINA, H323, CCM, WebServices...). Aussi nous proposons un processus novateur de création de service basé sur l'utilisation successive de modèles de composants logiciels, de la phase de conception jusqu'au développement et assemblage des composants constitutifs des services. Le fil conducteur de notre travail a été d'identifier, formaliser et expérimenter des solutions techniques applicables aux composants, pour faciliter leur utilisation dans un environnement d'exploitation ouvert. Les modèles de composants permettent de raffiner progressivement les traitements interne du service, et ses communications avec son environnement. Les notations utilisées sont basées sur UML, en profitant de ses possibilités d'extensions par le biais de stéréotypes, ou d'une nouvelle notation dans le cadre du comportement interne des composants, car aucune notation existante ne convenait totalement à cet usage. Enfin, pour adapter l'exécution de nos services aux états et besoins de l'utilisateur, nous avons complété notre architecture avec l'utilisation d'un service de présence, accompagné d'agents. Le premier d'entre eux, déployé sur le terminal de l'utilisateur, les autres étant déployés au sein de prestataires de services, capables de maintenir les données des services exclusives à l'utilisateur, la communication entre agents étant assurée grâce à l'utilisation du protocole SIP (Session Initiation Protocol).

APA, Harvard, Vancouver, ISO, and other styles

43

Hassan, Hassan. "Modélisation et analyse de performances du trafic multimédia dans les réseaux hétérogènes." Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00130060.

Full text

Abstract:

Ces travaux concernent la modélisation et l'analyse de performances du trafic et des applications multimédia dans les réseaux hétérogènes. Le trafic IP agrégé et les applications audio, vidéo et données sont étudiés. Cette étude nous conduit à proposer un modèle générique et hiérarchique pour la représentation des sources de trafics multimédia qui permet de décrire les applications multimédia d'une façon simple, précise et générique. Le modèle générique est implémenté et constitue le noyau d'un outil de modélisation et simulation des sources de trafics. Une caractérisation du trafic IP issu d'applications multimédia est conduite en utilisant les modèles développés avec cet outil. Particulièrement, la problématique de la modélisation des sources de trafics agrégées est adressée, et des modèles agrégés simples sont déduites pour la superposition des sources de trafics audio, vidéo et données. Le trafic agrégé de type TCP présente des propriétés statistiques variables en fonction du taux de pertes de paquets sur le réseau à cause du contrôle en boucle fermée imposé par TCP. Un nouveau modèle analytique du protocole TCP basé sur la théorie différentielle du trafic est ensuite proposé. Ce modèle permet une représentation fiable du trafic TCP tout en étant très performant sur les réseaux à grande échelle. Finalement, une extension de l'architecture du protocole SIP est présentée afin de permettre une gestion de la qualité d service au niveau session. Les mécanismes proposés reposent sur l'ordonnancement stochastique des sessions et l'allocation de la bande passante par des approches d'évaluation de bande passante équivalente. Cette dernière technique rend possible l'utilisation des formules d'Erlang dans les réseaux à commutation de paquets

APA, Harvard, Vancouver, ISO, and other styles

44

Leveuf, Louis. "Caractérisation et modélisation du comportement mécanique et de la tenue en fatigue d'un composite thermoplastique à fibres de carbone courtes pour applications aéronautiques." Thesis, Brest, 2017. http://www.theses.fr/2017BRES0123.

Full text

Abstract:

Cette étude présente la caractérisation du comportement mécanique et la tenue en fatigue d’un composite thermoplastique à matrice PEEK renforcée en fibres de carbone courtes pour des applications aéronautiques. La première partie présente la description des matériaux étudiés ainsi que la mise en place d’un protocole de caractérisation de la microstructure. Il est alors mis en avant la nécessité de générer des éprouvettes de caractérisation simples en introduisant le concept d’éprouvettes amincies. Dans un second temps, la méthode d’auto-échauffement en régime transitoire est appliquée en concluant sur l’influence de différents paramètres sur le bilan énergétique tels que la microstructure ou le grade du matériau étudié. La troisième partie présente l’établissement d’une loi de comportement phénoménologique avec une prise en compte locale de l’anisotropie par des approches micromécaniques classiques. Les simulations mécanique et énergétique donnent des résultats corrélant très bien avec l’expérimentale pour une distribution d’orientation proche de 0° et des résultats moins convaincants pour une distribution d’orientation proche de 90°. La dernière partie présente l’utilisation d’un protocole de caractérisation rapide basé sur les essais d’auto-échauffement. Cette approche, validée pour les différents matériaux étudiés, permet de prédire la courbe d’endurance en fatigue déterministe avec une seule éprouvette et en une demi-journée d’essais. Il est également mis en évidence qu’un critère énergétique à deux paramètres est indépendant de la distribution d’orientation, et qu’il est possible de discriminer rapidement en fatigue les différents matériaux étudiés
This study deals with characterization of the mechanical behavior and the fatigue lifetime of a short carbon fibers reinforced PEEKmatrix thermoplastic composite. The first part presents the description of the materials studied and the implementation of the characterization of the microstructure. It’s then emphasized the need to generate simple characterization samples by introducing the concept of thin specimens. In a second step, the heat build-up protocol is applied on the studied materials. It is then highligthed the influence on the energetic assessment of various parameters as the microstructure or the choice of material. The third part presents the etablishment of a phenomenological law of behavior with a local consideration of anisotropy using conventional micromechanical approaches. The mechanical and energetic simulations give resultats correlating very well with the experimental ones for a distribution of orientation close to 0°. The last part presents the use of the heat build-up technique to predict the fatigue lifetime. This approach uses an energetic criterion with two parameters and is able to predict the deterministic fatigue curve with one sample, in half a day. It is then shown the capability to catch the influence of the variations of matrix grade and fibers content on the fatigue properties and validates the use of the technique for fastmaterials screening

APA, Harvard, Vancouver, ISO, and other styles

45

Madaoui, Said. "Prise en compte des connexions électriques dans la gestion thermique d'un pack batterie lithium-ion." Electronic Thesis or Diss., Bordeaux, 2024. http://www.theses.fr/2024BORD0145.

Full text

Abstract:

Le temps de charge est devenu l'une des principales préoccupations limitant le développement des véhicules électriques. Pour contrer ce problème, il est impératif de concevoir des systèmes de gestion thermique adaptés pour préserver la santé des batteries et également raccourcir leur temps de charge.Pour une cellule de batterie présentant des caractéristiques spécifiques, la puissance de charge se trouve contrainte par des aspects électriques et thermiques. Cette thèse se concentre sur l'évaluation et l'optimisation de la gestion thermique d'un module batterie en exploitant le refroidissement à travers la connectique. L'approche basée sur la modélisation est utilisée comme méthode pour examiner cette solution, étayée par des simulations numériques et des tests expérimentaux visant à confirmer la justesse du modèle proposé.Tout d’abord, des modèles du comportement électrique puis thermique d’une cellule sont développés séparément, puis couplés. De manière systématique, les modèles sont présentés, leurs procédures de calibration sont décrites et ils sont comparés à des résultats expérimentaux. Une attention particulière est portée à la modélisation électrothermique de l’enroulement électrodes-séparateur dans l’électrolyte (Jelly roll) présent au cœur de la cellule en proposant un maillage adapté. Ensuite, une campagne d’essais expérimentaux est réalisée pour calibrer le modèle électrothermique d’un module batterie de 12 cellules. Ce modèle est validé grâce à une seconde vague d’essais. Une nouvelle approche de gestion thermique est proposée, où le module de cellules est refroidi non seulement par la plaque de refroidissement inférieure, mais aussi par une deuxième plaque de refroidissement posée sur la connectique de puissance (busbars). À travers des simulations et des tests expérimentaux, cette nouvelle configuration présente des améliorations significatives. La constante de temps thermique est réduite permettant un refroidissement plus rapide du module. De plus, la température maximale atteinte par la batterie lors de la charge avec ce double système de refroidissement est abaissée de quelques degrés Celsius par rapport à l'approche conventionnelle. L'un des avantages clés de cette configuration est que la plaque de refroidissement supérieure agit comme un pont thermique, favorisant l'homogénéisation de la température à l'intérieur du module de cellules. En conséquence, elle devrait conduire à un vieillissement uniforme des batteries, garantissant leurs longévités et leurs performances optimales.Enfin, un profil de charge rapide a été optimisé en suivant le protocole multiniveau (mult-step). Les travaux sur le profil de charge ont pour but de pouvoir simuler une charge rapide et réaliser une comparaison en termes de temps de charge et du gradient thermique entre l'architecture conventionnelle avec refroidissement par plaque en partie inférieure et une nouvelle configuration intégrant une source de refroidissement additionnelle via la connectique
Charging time has become one of the main concerns limiting the development of electric vehicles. To counter this problem, it is necessary to design suitable thermal management systems to both preserve the health of batteries longer and to be able to shorten their charging time. For a battery cell with specific characteristics, the charging power is constrained by electrical and thermal considerations. This thesis focuses on evaluating and optimizing the thermal management of a battery module by utilizing cooling through the connectors. The model-based design approach is employed as a method to investigate this solution, supported by numerical simulations and experimental tests to validate the accuracy of the proposed model.First, models of the electrical and thermal behaviors of a cell are developed separately and then coupled. The models are systematically presented, their calibration procedures are described, and they are compared with experimental results. Particular attention is paid to the electrothermal modeling of the Jelly roll present at the heart of the cell by proposing a suitable mesh. Then, an experimental test campaign is carried out to calibrate the electrothermal model of a 12-cell battery module. This model is validated through a second wave of tests. A new thermal management approach is proposed, where the battery module is cooled not only by the bottom cooling plate, but also by a second cooling plate located on the busbars. Through simulations and experimental tests, this new configuration presents significant improvements. The thermal time constant is reduced allowing for a faster cooling of the module. In addition, the maximum temperature reached by the battery when charging with this dual cooling system is lowered compared to the conventional approach. One of the key advantages of this configuration is that the upper cooling plate acts as a thermal bridge, promoting temperature homogenization inside the battery module. As a result, it supports a uniform aging process of batteries, ensuring their longevity and optimal performance.Finally, a fast-charging profile has been optimized for two different protocols. The first protocol is the multi-step, and the second involves transforming the discontinuous profile of the multi-step protocol into a smoother profile using splines. The work on the charging profile aims to simulate fast charging and make a comparison in terms of charging time between the conventional architecture based on bottom cooling and a new configuration integrating an additional cooling source via the connectors

APA, Harvard, Vancouver, ISO, and other styles

46

Baup, Stéphane. "Elimination de pesticides sur lit de charbon actif en grain en présence de matière organique naturelle : Elaboration d'un protocole couplant expériences et calculs numériques afin de simuler les équilibres et les cinétiques compétitifs d'adsorption." Phd thesis, Université de Poitiers, 2000. http://tel.archives-ouvertes.fr/tel-00983252.

Full text

Abstract:

Face à la pollution persistante des eaux naturelles par les pesticides, le charbon actif en grain (CAG) représente une réelle possibilité de traitement, de plus en plus souvent mis en œuvre en potabilisation. L'efficacité de ce traitement dépend des équilibres et des cinétiques d'adsorption, de l'hydrodynamique du réacteur et de la compétition avec la matière organique naturelle contenue dans les eaux brutes destinées à la potabilisation. Dans ce cadre, l'objectif de cette recherche est double : élaborer un protocole d'acquisition des paramètres d'équilibre et de cinétique d'adsorption compétitive et concevoir un logiciel de simulation de l'adsorption sur lit de CAG. L'approche théorique s'appuie sur : (1) le modèle de la diffusion de surface homogène (HSDM) qui prend en compte le coefficient de transfert de masse externe (kf) et le coefficient de diffusion superficielle (Ds) pour modéliser la cinétique d'adsorption, (2) la théorie de la solution adsorbée idéale (IAST) pour modéliser la compétition et (3) l'introduction d'un composé fictif (EBC) qui représente la matière organique naturelle. Le travail expérimental consiste d'une part à réaliser des isothermes d'adsorption sur l'eau ultra pure, l'eau réelle et l'eau réelle diluée par de l'eau ultra pure afin d'obtenir les paramètres d'équilibre. D'autre part, des cinétiques d'adsorption, effectuées sur colonne différentielle d'adsorption (DCBR), permettent d'acquérir les coefficients de diffusion superficielle. Les programmes de simulation ont été conçus, écrits et validés sur plusieurs résultats issus de la littérature. Ces programmes ont ensuite été impliqués dans le protocole global de simulation du filtre de charbon actif en grain réel. Pour une eau naturelle, ce protocole a été mis en œuvre sur trois pesticides et deux charbons actifs en grain.

APA, Harvard, Vancouver, ISO, and other styles

47

Lu, Juan. "Modeling, simulation and implementation of an 802.15.4 based adaptive communication protocol in wireless sensor network : application to monitoring the elderly at home." Thesis, Toulouse, INSA, 2013. http://www.theses.fr/2013ISAT0016/document.

Full text

Abstract:

Le maintien à domicile des personnes fragiles vivant seules est devenu une préoccupation majeure de santé publique dans nos sociétés modernes. Parmi les différents aspects scientifiques traités dans le domaine de la surveillance à domicile, nous nous intéressons à l’étude et à la proposition d’une solution permettant à des capteurs répartis de communiquer entre eux de façon optimale et adaptée aux contraintes spécifiques de l'application. Plus précisément, nous souhaitons construire un réseau sans fil courte portée constitué de plusieurs nœuds capteurs échangeant entre eux des données selon un protocole de communication de niveau MAC (contrôle d’accès au médium) qui optimise à la fois l’énergie, le délai de transmission et la perte d’informations. Pour cela, nous avons finement analysé les avantages et les limites des technologies WPAN (réseau local personnel sans fil) et des protocoles de communication actuellement utilisés en rapport aux exigences de notre application. Nous avons ensuite proposé une méthode d’accès au médium déterministe, adaptative et économe en énergie basée sur la couche physique IEEE 802.15.4 et une topologie maillée. Elle permet de garantir le délai d'acheminement des messages avec un risque de collisions très fortement limité, grâce à une réutilisation spatiale du médium dans un voisinage à deux sauts. Cette proposition a été caractérisée par modélisation et simulation à l'aide du simulateur de réseau OPNET. Nous avons alors implémenté les mécanismes proposés sur des dispositifs matériels et déployé un réseau de capteurs en situation réelle afin de vérifier la pertinence du modèle et évaluer la proposition selon différentes configurations de test
Monitoring behavior of the elderly and the disabled living alone has become a major public health problem in our modern societies. Among the various scientific aspects involved in the home monitoring field, we are interested in the study and the proposal of a solution allowing distributed sensor nodes to communicate with each other in an optimal way adapted to the specific application constraints. More precisely, we want to build a wireless network which consists of several short range sensor nodes exchanging data between them according to a communication protocol at MAC (medium access control) level that optimizes energy consumption, transmission time and loss of information. To achieve this objective, we have analyzed the advantages and the limitations of WPAN (wireless personal area network) technology and communication protocols currently used in relation to the requirements of our application. We then proposed a deterministic, adaptive and energy saving medium access method based on the IEEE 802.15.4 physical layer and a mesh topology. It ensures the message delivery time with strongly limited collision risk due to the spatial reuse of medium in the two-hop neighborhood. This proposal was characterized by modeling and simulation using the OPNET network simulator. We then implemented the proposed mechanisms on hardware devices and deployed a sensors network in real situation to verify the accuracy of the model and evaluate the proposal according to different test configurations

APA, Harvard, Vancouver, ISO, and other styles

48

Hajjine, Bouchta. "Conception, réalisation et intégration technologique d'un patch électronique : application à la surveillance des personnes âgées." Thesis, Toulouse, INSA, 2016. http://www.theses.fr/2016ISAT0002/document.

Full text

Abstract:

30% de la population Française dépassant l’âge des 60 ans en 2035, la notion d’accompagnement de la dépendance des personnes âgées est un enjeu sociétal avec l’impératif de prévention des risques à domicile. C’est dans ce contexte, avec l’arrivée des technologies d’intégration et de l’IoT que nous avons entrepris de concevoir et réaliser un patch électronique miniature capable de géolocalisation pour déclencher des alarmes en cas de fugue, de chute ou de déambulation. Un enjeu est la réalisation d‘antennes sur substrats souples comme éléments clés des fonctions de géolocalisation et de recharge par induction. Un travail de modélisation a permis l’optimisation d’antennes imprimées présentant un bon compromis intégration/performance. Un procédé technologique en salle blanche a été développé pour réaliser des antennes bicouches sur substrat polyimide souple. Plusieurs prototypes de patch complet ont été testés et validés en centre d’EHPAD
30 % of the French population being over the age of 60 years in 2035, the notion of accompaniment of the elderly dependence is a societal challenge with the imperative of risks prevention at home. It is in this context, with the arrival of the technologies of integration and the IoT that we undertook to conceive and realize a miniature electronic patch capable of geolocalization to trigger alarms in the case of fugue, fall or wandering. A challenge is the design of antennas on flexible substrates as key elements of the functions of geolocalization and charging by induction. A modeling work allowed the optimization of printed antennas presenting a good compromise integration / performance. A technological process in the cleanroom was developed to carry out bilayers antennas on flexible substrate (polyimide). Several prototypes of complete patch were tested and validated in the EHPAD center

APA, Harvard, Vancouver, ISO, and other styles

49

El, Fatni Abdelaziz. "Modélisation, analyse et conception de protocoles MAC multi-canaux dans les réseaux sans fil." Thesis, Toulouse 2, 2013. http://www.theses.fr/2013TOU20033.

Full text

Abstract:

L’utilisation des communications multi-canaux au niveau des protocoles MAC (MAC multi-canaux) dans les réseaux sans fil peut améliorer significativement le débit du réseau par rapport aux protocoles MAC mono-canal en permettant à plusieurs transmissions concurrentes d’avoir lieu simultanément sans interférence sur différents canaux non recouverts. Cependant, l’environnement multicanaux ajoute une nouvelle dimension aux protocoles MAC qui nécessite un nouveau mécanisme appelé "le mécanisme d’allocation des canaux" pour coordonner l’utilisation des canaux. Le rôle de ce mécanisme est de permettre aux nœuds de s’accorder sur le canal qui doit être utilisé et à quel moment pour la transmission de données dans un contexte distribué. L’absence de ce mécanisme ou une mauvaise coordination de l’utilisation des canaux peut produire l’effet inverse de celui recherché. Ainsi, l’efficacité d’un protocole MAC multi-canaux dépend strictement de l’efficacité du mécanisme d’allocation des canaux, qui par ailleurs, doit offrir les garanties nécessaires au fonctionnement de la communication multi-canaux. Dans cette thèse, nous nous intéressons à la modélisation, l’analyse et la conception de nouveaux protocoles MAC multi-canaux dans les réseaux sans fil. Dans un premier temps, nous nous focalisons sur la spécification formelle et la vérification des propriétés fondamentales inhérentes aux activités de l’allocation des canaux et son impact sur le transfert de données des principales approches MAC multi-canaux proposées dans la littérature. Dans un second temps, nous visons à proposer, modéliser et à analyser formellement deux nouveaux protocoles MAC multicanaux résultants de l’analyse qualitative réalisée. Enfin, une étude quantitative et comparative est menée afin d’analyser les performances des protocoles proposés en terme de débit et d’impact du temps de commutation entre les canaux
The use of multi-channel communications in MAC protocols (multi-channel MAC) for wireless networks can significantly improve the network throughput compared with single channel MAC protocols since concurrent transmissions can take place simultaneously on distinct non-overlapping channels without interfering. However, due to the multi-channel environment, a novel issue must be addressed in MAC protocols, which is called "the channel assignment mechanism" in order to coordinate the channels access. The role of this mechanism is to enable nodes to agree on which channel should be used and when for data transmission in a distributed way. The absence of this mechanism or a bad coordination of the channel usage can incur the opposite effect to that intended. Thus, the efficiency of a multi-channel MAC protocol depends strictly on the efficiency of the channel assignment mechanism, which also must provide the guarantees necessary to the good behavior of the multi-channel communications. In this thesis, we focus on the modeling, analysis, and design of new multi-channel MAC protocols in wireless networks. Firstly, we focus on the formal specification and verification of fundamental properties inherent to the activities of the channel assignment and its impact on the data transfer for the main multi-channel MAC approaches proposed in the literature. Secondly, we aim to propose, model and analyze formally two new multichannel MAC protocols, resulting from the qualitative analysis conducted. Finally, a quantitative and comparative study is conducted to analyze the performance of the proposed protocols in terms of the throughput and the impact of the switching time between channels

APA, Harvard, Vancouver, ISO, and other styles

50

Coisel, Iwen. "Authentification et Anonymat à Bas-coût : Modélisations et Protocoles." Caen, 2009. http://www.theses.fr/2009CAEN2041.

Full text

Abstract:

Dans la vie de tous les jours, la sécurité de nombreuses applications est assurée par des mécanismes cryptographiques. Dans certains cas, le respect de la vie privée revêt une importance majeure. Par exemple, sur internet, un utilisateur attend du fournisseur de services que celui-ci ne divulgue pas son identité. Dans ce mémoire, je donne tout d'abord une définition formelle des preuves de connaissance à divulgation nulle de connaissance (ZKPK), très utiles pour concevoir des signatures numériques. Je prouve la sécurité d'une construction générique fournissant des preuves de connaissance d'un ensemble de relations de logarithmes discrets. Puis je présente l'état de l'art des différents schémas de signature assurant l'anonymat de l'utilisateur. J'en donne ensuite une version coopérative, dans laquelle un intermédiaire aide l'utilisateur à réaliser certains calculs au cours du protocole. Je définis également un modèle formel de sécurité tenant compte de la potentielle corruption de l'intermédiaire tout en améliorant l'efficacité du protocole. Dans la deuxième partie de ce mémoire, je présente les propriétés de sécurité requises d'un schéma d'authentification d'étiquettes RFID. Comme ces dispositifs sont susceptibles d'être intégrés dans différents produits, il faut qu'ils soient intraçables afin d'empêcher leur porteur d'être pisté. Cette propriété n'est pas assurée par l'anonymat seul et doit donc apparaître dans le modèle de sécurité. Enfin, je décris deux protocoles d'authentification. Le premier utilise une infrastructure à clé secrète et un mécanisme de mise à jour de clé. Le second utilise une infrastructure à clé publique et un algorithme de chiffrement
In our daily life, security of many applications are based on cryptographic mechanisms. In some of them, privacy issues are a major concern. For example in internet context, a user expects the service provider not to divulgate his identity. In this thesis, I first give a formal definition of zero-knowledge proofs of knowledge (ZKPK), very useful for designing digital signatures. I prove the security of a generic construction of proofs of knowledge of discrete logarithm relations set. Then, I present state of the art of different signature schemes ensuring users' anonymity. Afterwards I adapt these protocols to the cooperative set-up, in which an intermediary helps the user perform some computations during the protocol. I also define a formal security model which is robust against corruption of the intermediary, while improving protocol efficiency. In the second part of this thesis, I present the security requirements for RFID tags authentication protocols. As these small embedded devices are potentially integrated into many various products, they must be intraceable so that nobody can trace their holder. As anonymity does not provide this property on its own, it must be included in the security model. Finally, I describe two authentication protocols which provide this security level. The first one uses a secret key infrastructure and a key update mechanism. The other one uses a public key infrastructure and an encryption algorithm

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Modélisation de protocole'

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