Academic literature on the topic 'Protocole des Applications à contraintes'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Protocole des Applications à contraintes.'

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

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

Journal articles on the topic "Protocole des Applications à contraintes"

1

LEONCE, C. "Aux frontières du réel : le patient dans tous ses états. Une typologie des différents modèles utilisés pour la simulation en santé aux États-Unis." Médecine et Armées Vol. 42 No. 2, Volume 42, Numéro 2 (April 1, 2014): 99–112. http://dx.doi.org/10.17184/eac.6982.

Full text
Abstract:
Le volume des connaissances scientifiques et les contraintes croissantes pesant sur l’ensemble des disciplines de santé ont considérablement transformé l’approche didactique et la pratique professionnelle durant ces dernières années. Le statut même du patient moderne, replacé au coeur du système de santé, implique un rapport complexe et délicat avec la communauté médicale. La simulation en santé s’est adaptée à ces bouleversements et apporte, par l’innovation et la technologie, une contribution significative à l’amélioration des prestations de soins. Ses applications ne se cantonnent plus uniquement à la pédagogie, la formation ou à la recherche mais abordent également d’autres domaines médicaux comme le diagnostic, la thérapeutique ou le management. L’ensemble de ces actions croisées ambitionne, par l’utilisation de modèles et programmes spécifiques, d’améliorer autant l’efficience systémique que la sûreté du parcours de soins de chaque usager. Cet article passe en revue les modalités existantes de simulation en santé aux États-Unis, centrées sur le patient et impliquant la prise en charge de situations et le suivi de protocoles les plus complexes. La plupart des disciplines médico-chirurgicales bénéficient déjà des diverses techniques abordées avec une mention particulière pour la médecine de guerre.
APA, Harvard, Vancouver, ISO, and other styles
2

Loire, Rémi, Hervé Piégay, Jean-René Malavoi, G. Mathias Kondolf, and Gabriel Melun. "Les lâchers morphogènes depuis un barrage justification opérationnelle et protocole d'intervention." La Houille Blanche, no. 3 (June 2020): 66–75. http://dx.doi.org/10.1051/lhb/2020030.

Full text
Abstract:
Nous proposons une nouvelle approche méthodologique pour évaluer la pertinence et mettre en œuvre des ≪ lâchers morphogènes » en aval de barrages hydroélectriques. Ces lâchers correspondent à des débits relativement élevés lâchés par les barrages afin de générer des changements dans les caractéristiques physiques des lits fluviaux (par exemple, décolmatage, désensablement, élargissement des bandes actives alluviales, augmentation de la charge sédimentaire grossière, gestion de la végétation riveraine…) et de créer ou d'améliorer les habitats aquatiques et riverains. La méthodologie proposée repose sur une analyse de la littérature scientifique et sur nos propres expériences. Nous introduisons quelques méthodes de dimensionnement de ces lâchers (intensité, durée, forme de l'hydrogramme, variation saisonnière et récurrence), et évaluons les conflits potentiels avec divers enjeux environnementaux, socioéconomiques et opérationnels associés aux barrages. Nous proposons également des solutions alternatives lorsque ces lâchers ne peuvent être mis en œuvre, du fait notamment de contraintes trop lourdes. La procédure d'évaluation et de mise en œuvre des lâchers morphogènes se veut rigoureuse, itérative et basée sur plusieurs étapes, dont la plupart doivent être validées par les diverses parties prenantes : un diagnostic préliminaire quantifiable, la définition d'objectifs clairs, la prise en compte des contraintes présentes sur les sites, le dimensionnement du lâcher et sa mise en œuvre. Une phase d'évaluation est également proposée pour tirer des leçons des expériences et améliorer les actions.
APA, Harvard, Vancouver, ISO, and other styles
3

Fontagnol, Carolyn, and Catherine Mathon. "Une proposition de caractérisation de l’émotion sportive : perception des indices émotionnels dans le commentaire sportif en direct." SHS Web of Conferences 78 (2020): 09002. http://dx.doi.org/10.1051/shsconf/20207809002.

Full text
Abstract:
Le commentaire sportif télévisé en direct (CSTD) est un genre contraint (contraintes de médium, de contenu, de genre) qui présente des spécificités linguistiques (dialogue voix/images, grande proportion de phrases averbales, patrons prosodiques spécifiques). Souhaitant nous intéresser aux manifestations linguistiques de l’émotion dans le CSTD, nous présentons dans cette étude un protocole de recherche basé sur la question de l’émotion, adapté à la nature de notre corpus. A partir de matchs de rugby de la coupe du monde 2007 et 2015, nous présentons les résultats des deux tests de perception qui nous ont permis, d’une part, d’identifier et caractériser l’émotion dans le commentaire sportif télévisé en direct, d’autre part, de déterminer l’importance du matériel prosodique dans la caractérisation de l’émotion dans ce type de corpus.
APA, Harvard, Vancouver, ISO, and other styles
4

Dadda, Abdelali, Fabrice Emeriault, Christian Geindreau, Annette Esnault-Filet, and Aurélie Garandet. "Amélioration des propriétés mécaniques des sols par biocimentation : étude mécanique et microstructurale." Revue Française de Géotechnique, no. 160 (2019): 4. http://dx.doi.org/10.1051/geotech/2020008.

Full text
Abstract:
Le procédé de bio-cimentation est une technique prometteuse pour renforcer les sols lâches et de faible résistance mécanique. Cette technique a montré une très bonne efficacité pour plusieurs types de sols lors d’essais en laboratoire, dans des modèles physiques ou lors d’essais sur site. Dans le présent article, un protocole de biocimentation de sol par injection a été élaboré en laboratoire pour préparer des éprouvettes de sable de Fontainebleau à différents niveaux de cimentation. Des mesures de perméabilité et des essais triaxiaux drainés à différentes contraintes de confinement ont été réalisés sur ces éprouvettes. Ces essais ont été suivis par des observations microscopiques et aux rayons-X afin de comprendre l’impact microstructural de la précipitation de calcite. Dans l’ensemble, les résultats montrent une bonne répétabilité de la biocimentation par le protocole suivi, ainsi qu’une faible hétérogénéité dans le profil des éprouvettes biocimentées. Ces résultats ont montré aussi une augmentation importante de la résistance mécanique des éprouvettes de sable biocimenté. Par ailleurs, du point de vue microstructural, la précipitation de calcite est quasi-localisée au niveau des contacts entre grains, ce qui donne une très bonne efficacité mécanique (forte augmentation de cohésion), avec une faible diminution de perméabilité surtout pour les faibles niveaux de calcification.
APA, Harvard, Vancouver, ISO, and other styles
5

-ZARADER, Cyril. "Le protocole sans-fil ZigBee/802.15.4 et ses applications." Revue de l'Electricité et de l'Electronique -, no. 09 (2004): 78. http://dx.doi.org/10.3845/ree.2004.095.

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

BLIN, Capucine, Marcos OLIVEIRA, Christel CAUSSERAND, Yannick FAYOLLE, and Vincent ROCHER. "Validation d’un protocole de vieillissement accéléré de membranes fibres creuses à l’échelle semi-industrielle." TSM 12 2023, TSM 12 2023 (December 20, 2023): 179–98. http://dx.doi.org/10.36904/tsm/202312179.

Full text
Abstract:
Les membranes d’ultrafiltration se dégradent au cours de leurs années de fonctionnement, notamment à cause du colmatage et des nettoyages qu’elles subissent. Ce vieillissement provoque sur le long terme des problèmes d’exploitation sur les sites de traitement des eaux usées utilisant des bioréacteurs à membranes qui peuvent se traduire par des arrêts fréquents pour nettoyage et une diminution de la capacité filtrante pouvant aboutir à un remplacement des membranes. À ce jour, les mécanismes de vieillissement en bioréacteurs à membranes et leurs impacts sur les propriétés des membranes sont partiellement identifiés. L’objectif de ce travail est de proposer et valider une méthode de vieillissement accéléré de membranes fibres creuses à l’échelle d’un pilote semi-industriel (volume utile de 2 m³) dans des conditions représentatives de celles mises en œuvre sur les sites industriels (longueur des fibres, contraintes hydrodynamiques, séquençage de l’aération). Pour cela, un pilote de filtration membranaire a été exploité pendant deux ans dans des conditions similaires des cuves membranaires de la station de traitement des eaux de Seine Aval (Siaap, Yvelines, 6,5 millions d’eq-habitant). Afin d’accélérer le vieillissement, les membranes sont soumises à de plus fortes doses d’exposition au chlore : des nettoyages par trempage dans une solution de Javel à 1 000 ppm puis d’acide citrique à 2 000 ppm ont été réalisés tous les deux mois (vs un tous les six mois sur site). Afin de valider cette méthode de vieillissement, les résultats des caractérisations des fibres prélevées sur le pilote sont comparés à ceux retrouvés pour les fibres prélevées des bioréacteurs à membranes du Siaap. Les analyses des mesures de physico-chimie de surface, de perméabilité, de propriétés mécaniques et morphologiques ont permis de conclure à la pertinence de l’approche développée pour le suivi du vieillissement accéléré en conditions d’usage à l’échelle pilote, au regard des évolutions observées à l’échelle industrielle.
APA, Harvard, Vancouver, ISO, and other styles
7

Guidez, Joël. "Nucléaire spatial : besoins, contraintes et acceptation sociétale." Revue Générale Nucléaire, no. 1 (January 2020): 22–25. http://dx.doi.org/10.1051/rgn/20201022.

Full text
Abstract:
Le nucléaire spatial intervient dans de multiples domaines, allant des missions d’exploration scientifique dans ou au-delà du système solaire, à des programmes de plus grande envergure visant des vols habités vers la Lune ou vers Mars. Cette large palette d’interventions va conduire à des applications extrêmement variées de la technologie nucléaire : fusées de transport, alimentation des stations orbitales, des systèmes d’exploration, des bases lunaires et/ou martiennes et des véhicules de circulation sur ces planètes.
APA, Harvard, Vancouver, ISO, and other styles
8

Ebanga, Nicanore Uriel. "Le régime juridique de l’emprunt communautaire de la Communauté économique et monétaire de l’Afrique centrale (CEMAC)." Gestion & Finances Publiques, no. 3 (May 2023): 45–51. http://dx.doi.org/10.3166/gfp.2023.3.007.

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

Millet, Pierre-Alain. "Une modélisation objet des processus industriels." Revue Française de Gestion Industrielle 14, no. 3-4 (December 1, 1995): 27–37. http://dx.doi.org/10.53102/1995.14.03-4.242.

Full text
Abstract:
Les techniques de la production au plus juste (juste à temps,réduction des temps de cycle, production unitaire, à la commande,configurateur, gestion par activité...) conduisent à rechercher des systèmes d'informations capables de réactivité, flexibilité, communication, intégration...pour s'adapter aux mutations accélérées des technologies et des produits, aux contraintes toujours plus fortes de coûts, délais, qualité. Or, les applications existantes de gestion industrielle s'appuient en général sur le modèle M.R.P et sur la modélisation classique des processus industriels en nomenclatures et gammes linéaires issue de l'entreprise taylorisée. Elles ne peuvent alors prendre en compte la diversité et la complexité des produits et ressources industrielles. Les approches nouvelles de "gestion hiérarchisée" proposent un cadre pour une décentralisation maîtrisée des outils de pilotage de systèmes industriels. Les approches objets constituent un cadre nouveau de modélisation, conception et développement de systèmes informatisés. Cet article propose donc une modélisation orientée objet des processus industriels à partir d'une expérience de terrain dans l'industrie et les services. Cette modélisation hiérarchisée permet de prendre en compte les notions de coproduit, sous-produit, multi-produits, variantes, ressources usables, différenciation retardée, découpe, tri sélectif, bains ou fours avec contraintes de configurations, modélisation à base de règles... Une telle modélisation va dans le sens d'une reconception des applications industrielles autour d'un serveur dynamique d'objets avec contraintes dialoguant avec des serveurs d'optimisation et résolution de problèmes, de communication et messagerie dans une architecture distribuée.
APA, Harvard, Vancouver, ISO, and other styles
10

Guédon-Gracia, A., H. Debéda, and J. Tomas. "Les cartes d’extension PCBmod : conception et applications pédagogiques VHDL et micro-assemblage." J3eA 18 (2019): 1011. http://dx.doi.org/10.1051/j3ea/20191011.

Full text
Abstract:
Nous avons développé et fabriqué des cartes d’extension compatibles avec les connecteurs Pmod des cartes de développement FPGA de la société Digilent. Ces cartes sont appelées PCBmod et sont au nombre de quatre actuellement. Elles intègrent respectivement des convertisseurs, des capteurs de température et de pression ainsi qu’un circuit date-calendrier ; tous ces composants possèdent un protocole de communication SPI. Ces PCBmod sont utilisés au niveau Master en tant qu’exemple d’application lors du stage micro-assemblage, et en tant que périphériques divers et variés lors de TP et projet VHDL.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Protocole des Applications à contraintes"

1

Tfaily, Souayed Rima. "Les applications des environnements virtuels distribués à retour d'effort : contraintes et solutions sur un réseau IP." Troyes, 2005. http://www.theses.fr/2005TROY0002.

Full text
Abstract:
Actuellement, la disponibilité croissante des dispositifs haptiques dans le commerce fait que les systèmes distribués de réalités virtuelles sont de plus en plus intégrés avec des interfaces haptiques (à retour d’effort). Cependant, cela entraîne des difficultés techniques à cause de l'interaction haptique disponible en temps réel dans les environnements virtuels distribués. Lorsque les environnements virtuels communiquent à travers le réseau, le délai imprévisible, la variation du délai (la gigue), la perte de paquet, etc. Affecterons la performance de l'interaction haptique. Malgré plusieurs recherches menées pour trouver une manière d'établir l'interaction multimodale sur les réseaux, les études sur la performance des systèmes Distributed Haptic Virtual Environments (DHVEs) dans les réseaux IP n’ont pas été entièrement étudiées et les travaux sur ce sujet sont rares. Aussi, les exigences de la qualité de service (QoS) des données haptiques ne sont pas clairement déterminées et les solutions pour traiter les effets du réseau sur ces environnements sont rares. Notre travail se concentre sur la détermination des exigences de QoS du sens de retour d’effort dans les réseaux IP et sur la détermination des seuils supérieurs de QoS que ces données haptiques devraient demander. Pour faire ainsi, des évaluations subjectives et objectives ont été menées sur deux plates-formes expérimentales: Fast Ethernet Network et Network Impairment Emulation platforms, installées à Queen’s Univerity of Belfast. Nos expériences sur ces plates-formes ont montré que les exigences de QoS pour les applications DHVE ne peuvent pas être satisfaites à travers le service best effort. Par conséquent, nous avons appliqué des services différenciés (DiffServ) sur les noeuds de réseau et nous avons également déterminé les politiques appropriées pour améliorer la performance des applications DHVE. Cependant, DiffServ est insuffisant pour adapter les exigences des systèmes DHVEs aux conditions dynamiques du réseau. Pour résoudre ce problème, no us avons adopté des stratégies de contrôle adaptatives dans le système de communication haptique. Les stratégies de contrôle ont pour rôle d'adapter la communication haptique selon les conditions de réseau. Ces techniques de contrôle ont été simulées sur MatLab
Recently, as an increasing number of haptic devices became commercially available, more and more distributed virtual reality systems are integrated with haptic interfaces. However, there are technical difficulties in providing real-time haptic interaction in distributed virtual environments and these problems persist. Whenever virtual environments communicate via the network, unpredictable time delay and delay variation, packet loss, etc. Affects the performance of haptic interaction. Despite that many research works have been conducted to find a way of establishing multimodal interaction over networks, studies on the performance of DHVEs on IP networks have not been fully investigated and the literature on this topic is limited. In addition, Quality of Service (QoS) requirements of force feedback have not been clearly determined and solutions to deal with the network impairments are scarce. In this dissertation, I focus on determining the QoS requirements for conveying the force feedback over IP networks and for determining the upper thresholds that the haptic data should request. To do so, subjective and objective assessments have been conducted on two experimental platforms: Fast Ethernet Network and Network Impairment Emulation platforms, installed at Queen’s University of Belfast. The QoS requirements for DHVE applications cannot be satisfied in best effort service as the experiments report. Therefore, I applied differentiated Services (DiffServ) on network nodes and I determined which policies are appropriate to improve the DHVE application performance. However, DiffServ is insufficient to adapt the DHVE requirements to the dynamic network conditions; Thus, I incorporated adaptive control strategies into the haptic communication system. Control strategies are to adapt the haptic communication according to the network conditions. These techniques have been simulated on MatLab
APA, Harvard, Vancouver, ISO, and other styles
2

Bouzefrane, Samia. "Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité." Poitiers, 1998. http://www.theses.fr/1998POIT2254.

Full text
Abstract:
Ce travail presente une methodologie de modelisation et de validation d'applications temps reel reparties. Ces applications composees de taches reparties sur differents sites communiquent par echange de messages a travers un reseau de communication a delai d'acces borne suppose fiable. La methodologie developpee est basee sur une analyse d'ordonnancabilite des taches et des messages. L'objectif est d'une part de verifier le respect des contraintes temporelles globales d'une application temps reel repartie c'est a dire le respect, a la fois, des contraintes temporelles des taches et de celles des messages echangees entre ces taches et d'autre part d'utiliser les sequences d'execution obtenues pour faire une analyse de performance. Cette methodologie comprend trois etapes : la modelisation de l'application basee sur un modele temporel des taches, la prise en compte de la communication par derivation des parametres temporels des taches et l'ordonnancement des taches sur les sites et des messages sur le medium de communication. Un outil, appele mosarts, qui integre un calcul des criteres de performance implemente cette methodologie d'analyse.
APA, Harvard, Vancouver, ISO, and other styles
3

Bursuc, Sergiu. "Contraintes de déductibilité dans une algèbre quotient : réduction de modèles et applications à la sécurité." Cachan, Ecole normale supérieure, 2009. http://www.theses.fr/2009DENS0055.

Full text
Abstract:
Dans cette thèse, nous nous intéressons à la vérification des protocoles de sécurité. Ce sont des programmes dont le but est d'établir une communication sûre entre plusieurs agents. Quasiment toutes les applications modernes ont besoin des protocoles de sécurité pour assurer leur bon fonctionnement, ce qui rend d'autant plus importante la question de leur correction et demande une réponse basée sur des arguments rigoureux. Les méthodes formelles, où les messages et les opérations sont abstraits par une algèbre de termes, se sont avérées cruciales dans cette démarche. Cependant, pour avoir une modélisation fidèle de la réalité, l'algèbrene peut être libre, mais doit incorporer des propriétés des algorithmes utilisées pour construire les messages. Dans ce contexte, motivés à la fois par des besoins pratiques et des intérêts théoriques, nous étudions les techniques générales pour la vérification des propriétés de sécurité de protocoles modulo une théorie équationnelle, à travers la résolution de contraintes de déductibilité
To enable formal and automated analysis of security protocols, one has to abstract implementations of cryptographic primitives by terms in a given algebra. However, the algebra can not be free, as cryptographic primitives have algebraic properties that are either relevant to their specification or else they can be simply observed in implementations at hand. These properties are sometimes essential for the execution of the protocol, but they also open the possibility for an attack, as they give to an intruder the means to deduce new information from the messages that he intercepts over the network. In consequence, there was much work over the last few years towards enriching the Dolev-Yao model, originally based on a free algebra, with algebraic properties, modelled by equational theories. In this thesis, driven by both practical and theoretical interests, we propose general decision procedures for the insecurity of protocols, that can be applied to several classes of equational theories
APA, Harvard, Vancouver, ISO, and other styles
4

Makarem, Nabil. "Performance evaluation and improvement of congestion control of the constrained application protocol for the Internet-of-things." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS289.

Full text
Abstract:
Dans ce travail de recherche, nous proposons de nouveaux modèles mathématiques exacts pour analyser les performances de CoAP dans les réseaux IoT avec perte. Cette étude présente les différentes approches pour améliorer le contrôle de la congestion CoAP et met en évidence les propriétés - y compris les limites - de CoAP. En outre, nous montrons que le mécanisme de contrôle simple réduit considérablement les performances de CoAP, notamment en termes d'utilisation de la bande passante, car il empêche le protocole d'agir efficacement pendant les périodes de congestion. Nous proposons ensuite de nouvelles améliorations qui considèrent un compromis entre fiabilité et bon débit tout en gardant les algorithmes raisonnablement simples pour les dispositifs contraints. Premièrement, nous optimisons davantage la procédure d'estimation du délai de retransmission afin d'améliorer la détection de congestion. Deuxièmement, nous remplaçons l'algorithme de backoff par des algorithmes de contrôle de congestion "réels" inspirés de la technique bien connue sous le nom de Additive Augmentation Multiplicative Decrease (Augmentation Additive et Diminution Multiplicative) et d'un contrôle de congestion récent basé sur la mesure appelé BBR (Bottleneck Bandwidth and Round-trip propagation time). Notre analyse utilisant à la fois notre simulateur et l'environnement Contiki/Cooja montre que l'approche basée sur le taux surpasse l'approche basée sur le backoff. De plus, tous les résultats montrent que nos algorithmes réalisent un bien meilleur compromis entre bon débit, fiabilité et surcoût
The Constrained Application Protocol (CoAP) is a lightweight core protocol designed by the Internet Engineering Task Force (IETF) used for communication between devices in the Internet of Things (IoT). In this research work, we propose new exact mathematical models to analyze the performance of CoAP in lossy IoT networks. This study provides insights about improving CoAP congestion control in such networks and highlights the properties -- including the limitations -- of CoAP. Besides, we show that the simple control mechanism reduces significantly CoAP performance especially in terms of bandwidth utilization since it prevents the protocol from acting efficiently during congestion periods. We then propose new improvements in order to enhance the trade-off between reliability and goodput while keeping the algorithms reasonably simple for constrained devices. First, we optimize further the estimation procedure of the retransmission timeout in order to enhance congestion detection. Timeouts are the only indicator used in CoAP to detect losses, and losses are used as a strong indicator to detect congestion. Second, we replace the backoff algorithm by "real" congestion control algorithms inspired from the well-known Additive Increase Multiplicative Decrease technique and a recent measurement-based congestion control called BBR. Our analysis using both our simulator and Contiki/Cooja environment show that the rate-based approach outperforms the backoff-based approach. Moreover, all the results show that our algorithms achieve a much better tradeoff between goodput, reliability and overhead
APA, Harvard, Vancouver, ISO, and other styles
5

Avanesov, Tigran. "Résolution de contraintes de déductibilité : application à la composition de services Web sécurisés." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00641237.

Full text
Abstract:
Les contraintes de déductibilité ont été introduites pour vérifier les protocoles cryptographiques. Cette thèse présente une procédure de décision pour le problème de satisfaisabilité des systèmes généraux de contraintes de déductibilité. Deux cas sont envisagés: la théorie de Dolev-Yao standard et son extension par un opérateur associatif, commutatif, idempotent. Le résultat est utilisé pour résoudre le problème de l'orchestration automatique et distribué de services Web sécurisés. Comme seconde application nous proposons une procédure pour décider la sécurité d'un nombre fini de sessions de protocole en présence de plusieurs intrus qui ne communiquent pas. Nous montrons également comment il est possible de détecter certaines attaques par réécriture qui exploitent le format des messages en XML.
APA, Harvard, Vancouver, ISO, and other styles
6

Olarte, Carlos. "Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité." Phd thesis, Ecole Polytechnique X, 2009. http://tel.archives-ouvertes.fr/tel-00430446.

Full text
Abstract:
La Programmation Concurrente par Contraintes (CCP) est un modèle mathématique pour la spécification de systèmes concurrents où les agents (processus) ajoutent de l'information ou interrogent si certains faits peuvent être déduits. Dans ce modèle, l'information est représentée par un ensemble de contraintes. La Programmation Temporelle Concourante par Contraintes (tcc) est un extension de CCP où l'exécution des processus a lieu dans des intervalles de temps. Ce mémoire étudie tcc en tant que modèle concurrent pour les systèmes mobiles et développe le calcul de processus utcc, Universal Temporal CCP. La thèse proposée est qu'utcc est un modèle concurrent où les techniques comportementales et déclaratives peuvent être utilisées pour la spécification et la vérification des systèmes concurrents. La calcul utcc généralise tcc en permettant la possibilité de spécifier la mobilité. Ici le terme mobilité est compris comme la possibilité de communiquer des variables ou des canaux locaux comme dans le cas du pi-calcul. Utcc introduit un opérateur "ask" paramétrique que nous appelons "abstraction". Cet opérateur est persistent pendant un intervalle de temps et il disparaît au moment de passer à l'intervalle de temps suivant. Nous présentons l'utilisation d'utcc dans plusieurs domaines: Nous prouvons l'incomplétude de la logique temporelle de Pnueli, nous modélisons et vérifions des protocoles de sécurité et des systèmes dynamique d'interaction multimédia et nous donnons une sémantique déclarative à un langage pour le web-services.
APA, Harvard, Vancouver, ISO, and other styles
7

Siafa, Amine. "Protocole multipoint fiable et ordonné pour applications coopératives asynchrones." Chambéry, 1998. http://www.theses.fr/1998CHAMS024.

Full text
Abstract:
Un nombre important de protocoles de communication multipoint ont été développés pour supporter les besoins très variés des applications de groupe en termes de fiabilité, d'extensibilité, d'ordre, de débit, etc. Etant donnée la variété des besoins, la conception d'un protocole multipoint satisfaisant un large ensemble d'applications parait impossible sans l'introduction de la notion de qualité de service. L'introduction de la qualité de service confère au protocole la proprete de flexibilité qui permet de répondre aux besoins subtils de certaines applications, sans pour autant pénaliser les applications dont les besoins en services sont plus modestes. De plus, les services fournis peuvent co-exister au sein d'une même application. Cela peut être rendu possible en appliquant la qualité de service requise sur chaque paquet diffusé. C'est dans cet esprit que nous avons proposé FMP (flexible multicast protocol), un protocole qui repose, d'une part, sur le principe d'un support d'accueil minimal et fiable (application level framing), et d'autre part, sur le principe d'un support offrant divers services multipoints sélectionnables sur la base de chaque paquet diffusé. FMP repose sur une architecture en couches qui permet des groupes ayant des besoins différents de coexister dans un même système. Le modèle de communication repose sur une collection de services de fiabilité et d'ordre au-dessus d'un service de livraison de type best-effort). Nous proposons deux modules d'ordonnancement total et causal. L'ordre total fournit un modèle d'exécution virtuellement synchrone utilisable notamment par les protocoles de gestion de groupe, alors que l'ordre causal est un ordre partiel qui n'induit pas le degré de synchronisme élevé inhérent aux protocoles atomiques. Pour réaliser FMP, nous avons utilisé" un langage de spécification formelle (estelle). Ce langage fournit une modularité et une encapsulation des données et des comportements, permettant la construction de protocoles par la combinaison des descriptions d'objets hiérarchisés et réutilisables. Le comportement de chaque objet est décrit de manière rigoureuse par des automates à états finis
APA, Harvard, Vancouver, ISO, and other styles
8

Peng, Shen. "Optimisation stochastique avec contraintes en probabilités et applications." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS153/document.

Full text
Abstract:
L'incertitude est une propriété naturelle des systèmes complexes. Les paramètres de certains modèles peuvent être imprécis; la présence de perturbations aléatoires est une source majeure d'incertitude pouvant avoir un impact important sur les performances du système. Dans cette thèse, nous étudierons les problèmes d’optimisation avec contraintes en probabilités dans les cas suivants : Tout d’abord, nous passons en revue les principaux résultats relatifs aux contraintes en probabilités selon trois perspectives: les problèmes liés à la convexité, les reformulations et les approximations de ces contraintes, et le cas de l’optimisation distributionnellement robuste. Pour les problèmes d’optimisation géométriques, nous étudions les programmes avec contraintes en probabilités jointes. A l’aide d’hypothèses d’indépendance des variables aléatoires elliptiquement distribuées, nous déduisons une reformulation des programmes avec contraintes géométriques rectangulaires jointes. Comme la reformulation n’est pas convexe, nous proposons de nouvelles approximations convexes basées sur la transformation des variables ainsi que des méthodes d’approximation linéaire par morceaux. Nos résultats numériques montrent que nos approximations sont asymptotiquement serrées. Lorsque les distributions de probabilité ne sont pas connues à l’avance, le calcul des bornes peut être très utile. Par conséquent, nous développons quatre bornes supérieures pour les contraintes probabilistes individuelles, et jointes dont les vecteur-lignes de la matrice des contraintes sont indépendantes. Sur la base des inégalités de Chebyshev, Chernoff, Bernstein et de Hoeffding, nous proposons des approximations déterministes. Des conditions suffisantes de convexité. Pour réduire la complexité des calculs, nous reformulons les approximations sous forme de problèmes d'optimisation convexes solvables basés sur des approximations linéaires et tangentielles par morceaux. Enfin, des expériences numériques sont menées afin de montrer la qualité des approximations étudiées sur des données aléatoires. Dans certains systèmes complexes, la distribution des paramètres aléatoires n’est que partiellement connue. Pour traiter les incertitudes dans ces cas, nous proposons un ensemble d'incertitude basé sur des données obtenues à partir de distributions mixtes. L'ensemble d'incertitude est construit dans la perspective d'estimer simultanément des moments d'ordre supérieur. Ensuite, nous proposons une reformulation du problème robuste avec contraintes en probabilités en utilisant des données issues d’échantillonnage. Comme la reformulation n’est pas convexe, nous proposons des approximations convexes serrées basées sur la méthode d’approximation linéaire par morceaux sous certaines conditions. Pour le cas général, nous proposons une approximation DC pour dériver une borne supérieure et une approximation convexe relaxée pour dériver une borne inférieure pour la valeur de la solution optimale du problème initial. Enfin, des expériences numériques sont effectuées pour montrer que les approximations proposées sont efficaces. Nous considérons enfin un jeu stochastique à n joueurs non-coopératif. Lorsque l'ensemble de stratégies de chaque joueur contient un ensemble de contraintes linéaires stochastiques, nous modélisons ces contraintes sous la forme de contraintes en probabilité jointes. Pour chaque joueur, nous formulons les contraintes en probabilité dont les variables aléatoires sont soit normalement distribuées, soit elliptiquement distribuées, soit encore définies dans le cadre de l’optimisation distributionnellement robuste. Sous certaines conditions, nous montrons l’existence d’un équilibre de Nash pour ces jeux stochastiques
Chance constrained optimization is a natural and widely used approaches to provide profitable and reliable decisions under uncertainty. And the topics around the theory and applications of chance constrained problems are interesting and attractive. However, there are still some important issues requiring non-trivial efforts to solve. In view of this, we will systematically investigate chance constrained problems from the following perspectives. As the basis for chance constrained problems, we first review some main research results about chance constraints in three perspectives: convexity of chance constraints, reformulations and approximations for chance constraints and distributionally robust chance constraints. For stochastic geometric programs, we formulate consider a joint rectangular geometric chance constrained program. With elliptically distributed and pairwise independent assumptions for stochastic parameters, we derive a reformulation of the joint rectangular geometric chance constrained programs. As the reformulation is not convex, we propose new convex approximations based on the variable transformation together with piecewise linear approximation methods. Our numerical results show that our approximations are asymptotically tight. When the probability distributions are not known in advance or the reformulation for chance constraints is hard to obtain, bounds on chance constraints can be very useful. Therefore, we develop four upper bounds for individual and joint chance constraints with independent matrix vector rows. Based on the one-side Chebyshev inequality, Chernoff inequality, Bernstein inequality and Hoeffding inequality, we propose deterministic approximations for chance constraints. In addition, various sufficient conditions under which the aforementioned approximations are convex and tractable are derived. To reduce further computational complexity, we reformulate the approximations as tractable convex optimization problems based on piecewise linear and tangent approximations. Finally, based on randomly generated data, numerical experiments are discussed in order to identify the tight deterministic approximations. In some complex systems, the distribution of the random parameters is only known partially. To deal with the complex uncertainties in terms of the distribution and sample data, we propose a data-driven mixture distribution based uncertainty set. The data-driven mixture distribution based uncertainty set is constructed from the perspective of simultaneously estimating higher order moments. Then, with the mixture distribution based uncertainty set, we derive a reformulation of the data-driven robust chance constrained problem. As the reformulation is not a convex program, we propose new and tight convex approximations based on the piecewise linear approximation method under certain conditions. For the general case, we propose a DC approximation to derive an upper bound and a relaxed convex approximation to derive a lower bound for the optimal value of the original problem, respectively. We also establish the theoretical foundation for these approximations. Finally, simulation experiments are carried out to show that the proposed approximations are practical and efficient. We consider a stochastic n-player non-cooperative game. When the strategy set of each player contains a set of stochastic linear constraints, we model the stochastic linear constraints of each player as a joint chance constraint. For each player, we assume that the row vectors of the matrix defining the stochastic constraints are pairwise independent. Then, we formulate the chance constraints with the viewpoints of normal distribution, elliptical distribution and distributionally robustness, respectively. Under certain conditions, we show the existence of a Nash equilibrium for the stochastic game
APA, Harvard, Vancouver, ISO, and other styles
9

LAUNAY-ILIADIS, MARIE-CAMILLE. "Elaboration d'un protocole optimal en pharmacocinetique clinique : applications a des anticancereux." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX22980.

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

Ducasse, Jean-Marie. "Randonnée pédestre et en raquettes (en moyenne montagne) : proposition d'un protocole d'étude des contraintes cardio-respiratoires en situation." Bordeaux 2, 1999. http://www.theses.fr/1999BOR2M153.

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

Books on the topic "Protocole des Applications à contraintes"

1

Hetnarski, Richard B. Thermal stresses: Advanced theory and applications. [Dordrecht?]: Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jean-Alain, Hernandez, Joachim Bruno, and Joly René (1948 ), eds. TCP/IP: Architecture, protocoles, applications. 3rd ed. Paris: InterEditions, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

The theory of constraints: Applications in quality and manufacturing. 2nd ed. New York: Marcel Dekker, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Practical WAP: Developing applications for the wireless web. Cambridge: Cambridge University Press, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Additional Protocol to the European Agreement on the Transmission of Applications for Legal Aid =: Protocole additionnel à l'accord européen sur la transmission des demandes d'assistance judiciaire. Strasbourg: Council of Europe, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Protocole relatif a la Commission Internationale de l'Etat Civil: Protocole additionnel au Protocole relatif a la Commission Internationale de l'Etat Civil, Berne, 25 September 1950 and Luxembourg,, 25 September 1952 : [The United Kingdom applied to accede to the Protocol on 11 March 1996. The applications was accented on 11 September 1996 and the Protocol entered into force for the United Kingdom on 11 October 1996]. London: The Stationery Office, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

ERP: Tools, Techniques, and Applications for Integrating the Supply Chain, Second Edition (The St. Lucie Press Series on Resource Management). 2nd ed. CRC, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Comer, Douglas E., David L. Stevens, and Michael Evangelista. Internetworking with TCP/IP, Vol. III: Client-Server Programming and Applications, Linux/Posix Sockets Version. Prentice Hall, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Comer, Douglas E., David L. Stevens, and Michael Evangelista. Internetworking with TCP/IP, Vol. III: Client-Server Programming and Applications, Linux/Posix Sockets Version. Prentice Hall, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Comer, Douglas E., and David L. Stevens. Internetworking with TCP/IP, Vol. III: Client-Server Programming and Applications--BSD Socket Version (2nd Edition). 2nd ed. Prentice Hall, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Protocole des Applications à contraintes"

1

WAHL, Martine, and Patrick SONDI. "Évaluation des performances du protocole pour des applications coopératives." In Conception et évaluation de protocole de routage ad hoc, 155–211. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9112.ch4.

Full text
Abstract:
Ce chapitre propose des évaluations du protocole d’une étude de cas sur ses performances intrinsèques, puis par comparaison avec d'autres protocoles représentant les principales approches dans les réseaux ad hoc. Le lecteur y trouvera une analyse de performances des protocoles pour des applications coopératives et la description des étapes de leur implémentation dans les simulateurs ainsi que les résultats des comparaisons.
APA, Harvard, Vancouver, ISO, and other styles
2

"Principe du maximum de Pontriaguine, principe du maximum avec contraintes sur l’état et synthèses optimales." In Mathématiques & Applications, 153–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/3-540-37640-2_7.

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

WAHL, Martine, and Patrick SONDI. "Enjeux autour des communications ad hoc sur la route." In Conception et évaluation de protocole de routage ad hoc, 5–15. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9112.ch1.

Full text
Abstract:
Ce chapitre constitue une introduction générale au livre. Il retrace l'évolution des technologies de communications ainsi que les enjeux autour de leur application aux systèmes de transport intelligents, et dans le contexte routier en particulier. Tous les aspects impliqués dans la conception des protocoles de communications sont abordés, notamment le trafic, les technologies de communications, les applications et la sécurité.
APA, Harvard, Vancouver, ISO, and other styles
4

SBAI, Ines, and Saoussen KRICHEN. "Tournées de véhicules avec contraintes de chargement : des méthodes de résolution." In Optimisation et apprentissage, 7–27. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9071.ch1.

Full text
Abstract:
Ce chapitre combine deux des problèmes d'optimisation combinatoire les plus étudiés, le problème d'acheminement de véhicules capacitaires (CVRP) et le problème d'emballage de bacs en deux/trois dimensions (2/3D-BPP). Nous fournissons une revue actualisée des variantes du L-CVRP et analysons certaines des méthodes d'optimisation les plus populaires présentées dans la littérature existante. Parallèlement, nous discutons de leurs applications pour résoudre des problèmes concrets.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography