Literatura científica selecionada sobre o tema "Modélisation de protocole"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Modélisation de protocole".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Modélisation de protocole"
1
Gillot, Sylvie, Günter Langergraber, Takayuki Ohtsuki, Andrew Shaw, Imre Takacs, Stefan Winkler e Leiv Rieger. "Un protocole pour la modélisation du fonctionnement des stations d'épuration à boues activées". Sciences Eaux & Territoires Numéro 9, n.º 4 (2012): 66. http://dx.doi.org/10.3917/set.009.0066.
Texto completo da fonte
2
Seijas, Leonor. "Modélisation du repérage des indicateurs de l’altération de la transmission père enfant aux épreuves projectives (Rorschach et TAT)". Perspectives Psy 62, n.º 2 (abril de 2023): 109–17. http://dx.doi.org/10.1051/ppsy/2023622109.
Texto completo da fonteResumo:
Cet article, issu d’une thèse de doctorat, se propose d’étudier les répercussions psychiques de la migration du père sur la fonction paternelle et sur les processus de transmission à l’enfant en âge de latence. Dans cet article, l’auteure présentera la modélisation d’indicateurs aux épreuves projectives, permettant de repérer l’altération des processus de transmission père-enfant et les perspectives d’application en clinique projective de l’enfant. À partir d’un protocole de recherche construit avec un entretien semi-directif avec les pères articulé aux différentes épreuves qui composent un bilan psychologique de l’enfant et en appui sur la clinique du traumatisme, sont alors modélisés des indicateurs de repérage de l’altération de la transmission père-enfant aux épreuves projectives (Rorschach et TAT). Les illustrations cliniques montreront comment, dans les protocoles des descendants, sont présents ces indicateurs, nommés « contenus énigmatiques », renvoyant à l’histoire paternelle. Ils sont une découverte féconde en ce qui concerne le repérage des répercussions psychiques de la migration du père sur la fonction paternelle et sur les processus de transmission à l’enfant.
3
Fassier, Jean-Baptiste, Sabrina Rouat, Laure Guittard, Guillaume Broc, Julien Carretier, Julien Peron, Philippe Sarnin et al. "Faciliter et soutenir le retour au travail après un cancer du sein : partenariat chercheurs-acteurs dans un processus de modélisation d’une intervention". Global Health Promotion 28, n.º 1_suppl (março de 2021): 15–23. http://dx.doi.org/10.1177/1757975921993358.
Texto completo da fonteResumo:
Introduction : La reprise du travail après un cancer favorise le rétablissement de la participation sociale mais se heurte à différents obstacles. Le projet FASTRACS vise à développer, implanter et évaluer une intervention pour faciliter le maintien en emploi après un cancer du sein. Le développement de l’intervention repose sur le protocole de l’Intervention Mapping. L’objectif de cet article est de décrire les contributions du partenariat chercheurs-acteurs dans le processus de modélisation de l’intervention durant les étapes du protocole de l’Intervention Mapping. Méthodes : Le processus de développement de l’intervention est reconstitué de façon chronologique en décrivant les méthodes mobilisées et les résultats obtenus à chaque étape du protocole grâce au partenariat chercheurs-acteurs. Résultats : Les membres du Comité stratégique (COS) ont été choisis par échantillonnage théorique parmi quatre catégories d’acteurs concernées. Une charte a été coécrite pour structurer durablement le partenariat. Les membres du COS ont contribué à l’échantillonnage des participants à l’enquête qualitative d’évaluation des besoins et à l’interprétation des résultats. Les objectifs de l’intervention ont été hiérarchisés selon leur importance et leur faisabilité perçues. Les chercheurs et membres du COS ont évalué les outils de l’intervention et débattu sur le modèle logique de l’intervention. Les professionnels de santé participant au COS ont facilité l’adhésion des équipes d’oncologie participant à l’intervention. Discussion : La construction du partenariat a permis de modifier les représentations des chercheurs. L’établissement de relations de confiance a nécessité du temps et de partager ses limites. Il a été difficile d’intégrer des patientes socialement défavorisées. Le recours accru à des patientes-expertes devrait être encouragé. Conclusion : La construction d’un partenariat de recherche collaborative entre chercheurs et acteurs nécessite du temps, des méthodes, et des financements dédiés. Cet investissement est de nature à améliorer la pertinence, l’acceptabilité, la légitimité et la pérennité des interventions développées.
4
de Sauvage, Jean, Fatima Tfayli, Thierry Dubreucq e Jean-Pierre Rajot. "Modélisation sous macrogravité d’une paroi clouée respectant le phasage de construction". Revue Française de Géotechnique, n.º 166 (2021): 5. http://dx.doi.org/10.1051/geotech/2021006.
Texto completo da fonteResumo:
Développé en France dans les années 1970, le clouage des sols est une technique de stabilisation des talus réalisés par déblai. Des inclusions subhorizontales assurent la stabilité de l’ouvrage par frottement avec le sol. Les réflexions engagées à l’occasion de la révision en cours de la norme NF P 94-270, sur le dimensionnement des massifs en sol renforcé, ont souligné le manque de connaissances quant aux efforts au parement, notamment sur l’influence du phasage de construction sur ces efforts. Afin de mener une étude paramétrique pour répondre à ces questions, des modèles réduits de paroi clouée ont été réalisés et instrumentés, puis centrifugés à l’Université Gustave Eiffel, campus de Nantes. Un protocole expérimental spécifique a été utilisé pour réaliser l’excavation en vol. Les évolutions des efforts le long des clous ont été mesurées à l’aide de fibres optiques équipées de réseaux de Bragg. Enfin, les déplacements du massif ont été observés à l’aide d’une technique d’imagerie appelée GeoPIV, les modèles centrifugés étant réalisés dans un caisson à face latérale transparente. L’élancement du massif cloué, (rapport entre hauteur du mur et longueur des clous) a une forte influence sur le comportement de l’ouvrage et en particulier sur la répartition des efforts au parement. La technique de GeoPIV a permis en outre de décrire les mécanismes de rupture des différents soutènements par clouage testés dans cette étude.
5
Olinga, Barthélémy, e Robert Bikoah. "Qualité et satisfaction de la clientèle : une analyse empirique du secteur des biens industriels au Cameroun." Revue Congolaise de Gestion Numéro 37, n.º 1 (24 de setembro de 2024): 87–135. http://dx.doi.org/10.3917/rcg.037.0087.
Texto completo da fonteResumo:
L’objectif de cet article consiste à évaluer le niveau de la satisfaction des clients industriels en retenant deux modèles de formation de la satisfaction à savoir la qualité des produits et la qualité des services offerts dans ce secteur. Les données de terrain sont collectées par questionnaire sur la période mars-juin 2023. Ainsi, en retenant un protocole de modélisation par équations structurelles sur ces informations recueillies auprès de 230 clients industriels camerounais à divers niveaux fonctionnels, il ressort des principaux résultats que la qualité des produits et la qualité des services influencent positivement et significativement le niveau de satisfaction des clients. Toutefois, des deux modèles de formation de la satisfaction retenue, la qualité des produits se révèle plus que déterminante. Ce dernier résultat incite cependant à ne pas considérer la qualité des services comme jouant un rôle de seconde zone. Bien plus, il est recommandé aux fournisseurs des biens industriels de tenir compte en suffisance par exemple des réclamations de leurs clients afin d’améliorer les prestations offertes (respect des promesses et des délais de livraison, qualité de gestion des commandes, délais de réaction et temps de réparation…), gage d’une meilleure satisfaction.
6
Galéa, G., P. Ramez, M. J. Adler e E. Rotaru. "Modélisation statistique des apports de MES associés au régime des crues d’un sous- bassin du Timis-Béga (Roumanie)". Revue des sciences de l'eau 17, n.º 4 (12 de abril de 2005): 471–88. http://dx.doi.org/10.7202/705544ar.
Texto completo da fonteResumo:
Dans cette thématique concernant le transport solide des cours d’eau, il nous semble opportun de résumer le cadre général et d’y situer notre approche. Les formules classiques du transport solide évaluent le débit en matériaux du lit (charriage et suspension) à partir de ses déformations. Elles ne permettent pas d’estimer le débit des matériaux provenant directement du lessivage des versants et qui transite sans interaction avec le lit. Dans cet article, nous considérons uniquement la phase en suspension "MES" mesurée sans distinction à priori de l’origine des grains qui la constitue : provenance directe du bassin versant (phase directe) et (ou) reprise des stocks disponibles dans le lit (phase différée). Le bassin hydrographique du Timis-Béga (Roumanie) est particulièrement bien équipé pour le suivi des débits de 28 sous bassins et le contrôle des flux de MES de douze d’entre eux. De plus, son contexte physiographique nous permet de penser que la phase directe est prépondérante. Le protocole de mesure des flux de MES prévoit, entre autres, une densification variable des observations selon l’intensité des crues liquides. Ces considérations précédentes nous permettent d’envisager une modélisation statistique des apports solides en MES des sous-bassins du Timis-Béga. Celle-ci est directement inspirée des connaissances acquises sur la modélisation statistique "QdF" des régimes hydrologiques des bassins versants. Sur l’exemple du sous-bassin du Béga à Balint, qui draine une superficie de 1064 km2, nous retiendrons deux principaux résultats issus de la transposition du concept QdF aux débits solides QMESdF : Les analyses statistiques des régimes liquide et solide montrent que les débits solides de MES ne sont pas simplement proportionnels aux débits liquides mais croissent plus rapidement. Les deux lois de distributions privilégiées, Pareto généralisée pour les MES et exponentielle pour les débits, permettent de le justifier. Le temps de montée des hydrogrammes de projet liquide ou solide est quasiment identique, autrement dit nous vérifions la quasi concomitance de leurs débits de pointe. Ce résultat n’est possible que si le débit solide de MES provient essentiellement du lessivage des versants, ce qui était supposé à priori.
7
Bowen, Maximilien, Christophe Hourdé, Anne-Cécile Durieux, Damien Freyssenet, Pierre Samozino e Baptiste Morel. "Modèle Force-Vitesse-Endurance (FoVE)". médecine/sciences 40 (novembro de 2024): 69–73. http://dx.doi.org/10.1051/medsci/2024137.
Texto completo da fonteResumo:
Le modèle Force-Vitesse-Endurance (FoVE) est un nouveau cadre théorique couplé à une modélisation innovante pour évaluer les muscles striés squelettiques. Il se base sur les relations fondamentales « force-vitesse » et « force-temps » qui décrivent les capacités de production de force du muscle en fonction respectivement de la vitesse de contraction et de la durée d’exercice. En les combinant, le modèle FoVE offre une vue complète des capacités fonctionnelles du muscle à différentes vitesses, avec et sans fatigue. Un protocole expérimental unique et rapide a été développé sur un système de mesure de force isocinétique afin d’obtenir les paramètres FoVE du modèle. Il permet de mesurer la force musculaire à différentes vitesses de contraction pendant une durée totale de 3 minutes. Appliqués au modèle murin, les résultats obtenus montrent ainsi des différences significatives de la fonction du muscle tibialis anterior. Les femelles présentent une force maximale normalisée plus élevée. À l’inverse, les mâles présentent une capacité de vitesse maximale initiale en condition de fatigue plus importante. Cette approche fournit une cartographie complète de la fonction musculaire, dépassant les évaluations traditionnelles de la force isométrique. Elle peut ainsi être appliquée à la recherche fondamentale dans les modèles précliniques et à la recherche translationnelle chez l’Homme.
8
Doyen, J., J. Thariat, R. Trimaud, L. Bolle, G. Angellier e P. Y. Bondiau. "Modélisation des mouvements des tumeurs mammaires au cours de l’irradiation par Cyberknife® dans le cadre d’un protocole de préservation mammaire avec boost néoadjuvant". Cancer/Radiothérapie 12, n.º 6-7 (novembro de 2008): 719. http://dx.doi.org/10.1016/j.canrad.2008.08.018.
Texto completo da fonte
9
Hamadou, O., A. Amadou Oumani, H. Yahou, B. Morou e A. Mahamane. "Modélisation de la distribution spatiale de la girafe (Giraffa camelopardalis peralta, Linnaeus 1758) de l’Afrique de l’Ouest pour sa conservation au Niger". International Journal of Biological and Chemical Sciences 15, n.º 6 (22 de fevereiro de 2022): 2486–99. http://dx.doi.org/10.4314/ijbcs.v15i6.19.
Texto completo da fonteResumo:
La conservation de la girafe (Giraffa camelopardalis peralta, Linnaeus 1758), nécessite la connaissance de son aire de répartition potentielle et des facteurs environnementaux conditionnant cette répartition. Cette étude visait à identifier les facteurs écologiques régissant la répartition géographique de la girafe et la cartographie de son aire de distribution sous les conditions climatiques actuelles pour une meilleure planification de sa gestion durable. La modélisation a été utilisée pour cartographier l’habitat de la girafe suivant les modèles climatiques (CCMA et CSIRO), à l’aide de l’outil Maxent, Diva-Gis et ArcGi 10.3. Cinq variables bioclimatiques (BIO1, BIO 12, BIO 13, BIO3 et BIO 5) ont été sélectionnées sur les 19 variables existantes, elles ont ensuite été utilisées avec les points d’occurence de la girafe dans l’outil Maxent. Les variables les plus significatives conditionnant la distribution de la girafe étaient les précipitations et les températures annuelles. Les distributions futures (2020 et 2050) ont montré des habitats très favorables, avec une augmentation de 21,22 à 59,95% par rapport à la distribution actuelle. Des mesures d’atténuer la dégradation continue de de l’habitat de la girafe s’imposent en vue de maintenir sa dynamique actuelle et permettre sa conservation. Aussi, il serait intéressant de mettre en place un protocole du suivi permanent des comportements de la girafe, y compris ses mouvements saisonniers afin d’anticiper les sorties vers des zones hostiles pour la conservation.
English title: Modelling the spatial distribution of the West African giraffe (Giraffa camelopardalis peralta, Linnaeus 1758) for its conservation in Niger
The conservation of the giraffe (Giraffa camelopardalis peralta, Linnaeus 1758) requires knowledge of its potential range and the environmental factors conditioning this distribution. This study aimed to identify the ecological factors governing the geographic distribution of the giraffe and to map its range under current climatic conditions for better planning of its sustainable management. Modeling was used to map giraffe habitat under climate models (CCMA and CSIRO), using Maxent, Diva-Gis and ArcGi 10.3. Five bioclimatic variables (BIO1, BIO 12, BIO 13, BIO3 and BIO 5) were selected from the 19 existing variables and used with giraffe occurrence points in Maxent. The most significant variables conditioning the giraffe distribution were annual precipitation and temperature. Future distributions (2020 and 2050) showed very favorable habitats, with an increase of 21.22 to 59.95% over the current distribution. Measures to mitigate the continued degradation of the giraffe's habitat are needed to maintain its current dynamics and allow its conservation. Also, it would be interesting to set up a protocol for the permanent monitoring of the giraffe's behaviors, including its seasonal movements in order to anticipate the exits towards hostile areas for the conservation.
10
Richard, M., I. Charlet, X. Aimé e M. O. Krebs. "Enrichir les classifications en psychiatrie par les données textuelles : création d’une ontologie de la psychiatrie". European Psychiatry 29, S3 (novembro de 2014): 542–43. http://dx.doi.org/10.1016/j.eurpsy.2014.09.323.
Texto completo da fonteResumo:
Le projet Covalmo s’est développé en partenariat entre le centre hospitalier Sainte-Anne et le Laboratoire d’Ingénierie des Connaissances en e-Santé. L’objectif premier de Covalmo, situé à mi-chemin entre l’Informatique et la Médecine, est d’expliciter l’ensemble des déterminants possibles de maladies psychiatriques dans le but de contribuer au développement d’un consensus sur les catégories descriptives des troubles psychiatriques, au travers d’outils et méthodes de l’Ingénierie des Connaissances. Covalmo vise ainsi au développement d’outils répondants à deux problématiques : (1) mieux décrire les diagnostics posés et les actes pratiqués, et ainsi (2) mieux indexer les dossiers patient. L’Ingénierie des Connaissances traite de la modélisation des connaissances et des problématiques qui y sont liées. Pour cela, elle développe des ontologies informatiques, qui sont des modèles permettant de recenser, organiser et lier des concepts entre eux grâce aux relations qui les unissent. Les concepts sont des entités ayant un sens dans le domaine représenté, et les relations sont les liens sémantiques entretenus entre ces concepts. Le développement de l’ontologie du domaine de la psychiatrie, OntoPsychia, est réalisé à partir des informations contenues dans un corpus textuel composé de 8000 CRH préalablement anonymisés selon un protocole strict. L’hypothèse de base de ce travail étant que les mots et les différentes verbalisations présentes dans les textes sont des traces de la conceptualisation du domaine et peuvent être utilisés pour construire l’ontologie. Les différentes nomenclatures utilisées depuis dix ans pour annoter les dossiers patients (CIM-10, DSM, ATC) sont aussi utilisées pour enrichir l’ontologie.La validation de l’ontologie sera effectuée par les experts du domaine, ainsi que par sa mise en opérationnalisation au sein d’applications dédiées, par exemple : indexation de comptes rendus et de dossiers patients ou découverte de profils de patients résistants aux traitements médicamenteux. Ci-dessous, un extrait du module d’OntoPsychia modélisant la vie sociale (Fig. 1).
Teses / dissertações sobre o assunto "Modélisation de protocole"
1
Jalpa, Villanueva César. "Modélisation et optimisation du web". Nice, 2000. http://www.theses.fr/2000NICE5487.
Texto completo da fonteResumo:
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éesThe 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
2
Busson, Anthony Claude. "Modélisation spatiale des réseaux". Paris, ENST, 2002. http://www.theses.fr/2002ENST0036.
Texto completo da fonte
3
Lambolais, Thomas. "Modélisation du développement de spécifications LOTOS". Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL106N.
Texto completo da fonteResumo:
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.
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.
Texto completo da fonte
5
Afilal, Foad. "Évaluation et modélisation des performances temporelles de messageries industrielles". Nancy 1, 1989. http://www.theses.fr/1989NAN10095.
Texto completo da fonte
6
Bernard, Guy. "Performances et systèmes répartis : de la modélisation à la réalisation". Paris 11, 1989. http://www.theses.fr/1989PA112087.
Texto completo da fonteResumo:
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.
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.
Texto completo da fonteResumo:
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
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.
Texto completo da fonteResumo:
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
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.
Texto completo da fonteResumo:
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
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.
Texto completo da fonteResumo:
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.
Capítulos de livros sobre o assunto "Modélisation de protocole"
1
WAHL, Martine, e Patrick SONDI. "Modèle formel pour l’analyse de propriétés du protocole". In Conception et évaluation de protocole de routage ad hoc, 213–47. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9112.ch5.
Texto completo da fonteResumo:
Ce chapitre propose une alternative basée sur la modélisation formelle pour concevoir et évaluer le protocole en ne focalisant plus sur sa performance, mais plutôt sur ses propriétés intrinsèques, notamment afin de montrer les garanties qu'il apporte sous des hypothèses identifiées. Le protocole de l'étude de cas est analysé avec la méthode Event-B, ainsi que chaque étape de sa vérification.
2
BELMONTE, Romain, Pierre TIRILLY, Ioan Marius BILASCO, Nacim IHADDADENE e Chaabane DJERABA. "Détection de points de repères faciaux par modélisation spatio-temporelle". In Analyse faciale en conditions non contrôlées, 105–49. ISTE Group, 2024. http://dx.doi.org/10.51926/iste.9111.ch3.
Texto completo da fonteResumo:
Ce chapitre décrit les solutions actuelles en matière de modélisation spatio-temporelle. Il passe en revue les caractéristiques artisanales et les approches reposant sur l'apprentissage profond. Il décrit également les architectures développées pour étendre la connectivité des détecteurs de points de repère basés sur les réseaux neuronaux convolutionnels afin d'inclure le mouvement local par le biais d'une connectivité précoce. Il analyse les performances de chaque modèle en termes de vitesse, de taille et de nombre de paramètres. La complémentarité entre le mouvement local et le mouvement global a également fait l'objet d’expérimentations. Le protocole expérimental, les détails d'implémentation et les résultats sont présentés avec leur analyse. Des expérimentations sur deux ensembles de données, 300VW et SNaP-2DFe sont fournies afin d'évaluer les résultats obtenus et de les comparer avec les approches de l'état de l'art.
3
USTIMENKO, Vasyl. "Algorithmes multivariés de signatures numériques en mode sécurisé de type El Gamal". In Méthodes de calcul et modélisation mathématique en cyberphysique et applications techniques 1, 207–33. ISTE Group, 2024. https://doi.org/10.51926/iste.9164.ch8.
Texto completo da fonteResumo:
L’intersection de la cryptographie non commutative et multivariée contient des études sur les applications cryptographiques des sous-mi-groupes et des sous-groupes des semi-groupes affines de Crémone définis sur l’anneau commutatif fini K avec l’unité. Nous considérerons des sous-mi-groupes spéciaux (plateformes) dans un semi-groupe de tous les endomorphismes de K[x1, x2, …, xn]. Les homomorphismes calculés efficacement entre ces plateformes peuvent être utilisés dans les protocoles d’échange de clés post-quantiques lorsque les correspondants élaborent une transformation commune de (K*)n. La sécurité de ces systèmes est basée sur un problème de complexité de décomposition d’un élément d’un semi-groupe en un produit de générateurs donnés. Ce chapitre prpopose trois protocoles de ce type (avec un groupe et avec deux semi-groupes comme plateformes) pour leur utilisation avec des systèmes de signature numérique multivariés. L’utilisation de protocoles nous permet de convertir les cartes publiques de ces systèmes en modes privés, c’est-à-dire qu’un correspondant utilise la carte de collision pour transférer en toute sécurité la règle multivariée sélectionnée à son partenaire.
Trabalhos de conferências sobre o assunto "Modélisation de protocole"
1
Hadj SaÏd, M., L. Thollon, Y. Godio-Raboutet, J. H. Catherine, C. M. Chossegros e D. Tardivo. "Modélisation 3D de l’os maxillaire dans l’analyse par éléments finis en implantologie orale : une nouvelle approche utilisant CBCT et anthropométrie". In 66ème Congrès de la SFCO. Les Ulis, France: EDP Sciences, 2020. http://dx.doi.org/10.1051/sfco/20206603022.
Texto completo da fonteResumo:
Objectif : Caractériser l’os maxillaire postérieur chez l’adulte d’un point de vue géométrique pour obtenir des modèles numériques standards par éléments finis. Matériel et méthodes : Les images CBCT maxillaires des patients qui ont visité le service de Chirurgie Orale du CHU de La Timone à Marseille, France ont été recueillies au cours de l’année 2016. Les sujets inclus devaient être âgés de plus de 21 ans et être édentés au moins à partir de la première prémolaire maxillaire. Les patients atteints d’une pathologie osseuse ou d’un traitement influençant le remodelage osseux n’ont pas été inclus. La zone maxillaire postérieure a été définie pour chaque CBCT et 6 mesures de hauteur et de largeur de la crête alvéolaire ont été réalisées à l’aide d’une méthode anthropométrique. Une étude Gauge Anova R&R avec analyse de la répétabilité et de la reproductibilité de la variance des mesures, ainsi qu’une analyse en composantes principales (ACP) pour isoler des modèles standards, ont été menées. Les modèles 3D ont été réalisés à partir d’images au format DICOM. Résultats : Le CBCT de 100 hommes et 100 femmes ont été retenus dans notre étude. 1200 mesures de crête alvéolaire ont été réalisée et les valeurs moyennes de hauteur et de largeur des différentes parties de la zone maxillaire postérieure étaient très disparates. L’analyse statistique de variance a validé la répétabilité et la reproductibilité de notre protocole de mesures. L’ACP n’a pas permis d’identifier les modèles standards et ceux- ci ont été modélisés à partir de notre base de données. Conclusion : Notre travail est le premier à considérer des paramètres anthropométriques sur un large échantillon de sujets dans la méthode des éléments finis. Nous mettons ainsi en évidence la perspective de réaliser des modèles anatomiques complexes et réalistes à partir de l’anatomie humaine pour réaliser des tests biomécaniques en implantologie orale.