Увійти

Готові списки джерел за темами / Calcul en réseau

Добірка наукової літератури з теми "Calcul en réseau"

Автор: Grafiati

Опубліковано: 23 вересня 2022

Оновлено: 28 січня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Calcul en réseau".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій

Статті в журналах з теми "Calcul en réseau":

1

Postadjian, Tristan, Arnaud Le Bris, Hichem Sahbi, and Clément Mallet. "Classification à très large échelle d'images satellites à très haute résolution spatiale par réseaux de neurones convolutifs." Revue Française de Photogrammétrie et de Télédétection, no. 217-218 (September 21, 2018): 73–86. http://dx.doi.org/10.52638/rfpt.2018.418.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Les algorithmes de classification constituent un outil essentiel pour le calcul de cartes d'occupation des sols. Les récents progrès en apprentissage automatique ont montré les très grandes performances des réseaux de neurones convolutifs pour de nombreuses applications, y compris la classification d'images aériennes et satellites. Ce travail établit une stratégie quant à l'utilisation d'un réseau de neurone convolutif pour la classification d'images satellites à très haute résolution spatiale, couvrant de très larges régions géographiques, avec pour perspective future le calcul de cartes d'occupation des sols à l'échelle d'un pays.

2

Boyer, Marc, Laurent Jouhet, and Anne Bouillard. "Notations pour le calcul réseau." Journal Européen des Systèmes Automatisés 43, no. 7-9 (November 10, 2009): 921–35. http://dx.doi.org/10.3166/jesa.43.921-935.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Servais, P., P. Laurent, G. Billen, and D. Gatel. "Développement d'un modèle décrivant les variations de CODB et de biomasse bactérienne dans les réseaux de distribution." Revue des sciences de l'eau 8, no. 4 (April 12, 2005): 427–62. http://dx.doi.org/10.7202/705232ar.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Sur la base d'études microbiologiques expérimentales réalisées sur différents réseaux de distribution d'eau potable en France, un modèle de la dynamique des bactéries et du carbone organique biodégradable (CODB) a été développé ( le modèle SANCHO). Les processus suivants ont été pris en compte : - l'hydrolyse bactérienne exoenzymatique de la matière organique et la croissance des bactéries libres et fixées, à partir des produits des hydrolyses ; - la mortalité des bactéries, source de relargage de matière organique ; - les interactions entre les surfaces internes des canalisations et les bactéries avec un processus d'adsorption réversible ; - la consommation de chlore par réaction avec la matière organique et l'effet du chlore libre sur l'activité des bactéries en suspension et fixées qui a été déterminé expérimentalement. Le modèle calcule, en considérant les cinétiques présentées ci-dessus, les variations spatiales à l'état stationnaire du CODB, du résiduel de chlore libre, de la biomasse bactérienne libre et fixée. Ce calcul s'effectue pour une masse d'eau circulant durant des temps connus dans des canalisations de diamètres décroissants. Afin de valider ce modèle, des comparaisons entre les résultats expérimentaux et calculés par le modéle ont été effectuées pour deux réseaux de distribution différents. Un bon accord est observé entre les résultats expérimentaux et ceux calculés pour les situations présentées qui sont caractérisées par des teneurs très différentes en chlore et en CODB dans l'eau alimentant les réseaux. Une fois validé, ce modèle peut être utilisé afin de prédire l'effet de certaines modifications de la qualité de l'eau alimentant un réseau sur la dynamique bactérienne au sein de ce réseau. Il permet de définir la qualité de l'eau requise en sortie de filière afin de respecter une qualité souhaitée dans tout le réseau de distribution.

4

Paquier, A., J. M. Tanguy, S. Haider, and B. Zhang. "Estimation des niveaux d'inondation pour une crue éclair en milieu urbain : comparaison de deux modèles hydrodynamiques sur la crue de Nîmes d'octobre 1988." Revue des sciences de l'eau 16, no. 1 (April 12, 2005): 79–102. http://dx.doi.org/10.7202/705499ar.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Lors des crues extrêmes en ville, une forte part des écoulements reste en surface. Pour simuler ces inondations, deux modèles sont présentés : le logiciel REM2 U unidimensionnel a pour objectif de simuler la propagation des débits de crue dans l'ensemble d'un réseau de rues alors que le logiciel Rubar 20 bidimensionnel vise à fournir plus d'information sur ces écoulements. Des calculs avec ces deux logiciels ont été menés sur la crue d'octobre 1988 dans un quartier de Nîmes. Lors de cet événement, les hauteurs d'eau maximales ont dépassé deux mètres en certains points et les vitesses 2 m/s ce qui entraînait des passages en régime torrentiel. A partir des données rassemblées sur les sections en travers des rues, des maillages de calcul limités au réseau de rues ont été construits pour les deux logiciels afin de permettre un calcul détaillé. La comparaison des résultats avec les laisses de crue montre des situations très contrastées d'un point à un autre pour une hauteur d'eau maximale moyenne sur l'ensemble de la zone inondée correctement simulée. L'écart sur cette hauteur est, en moyenne, de 1 m ce qui provient des incertitudes sur les observations, sur la topographie et sur les conditions aux limites, des approximations lors de la modélisation et de particularités locales non décrites. Entre les deux logiciels, l'évolution des hauteurs et des vitesses est généralement très proche bien que, comme pour la comparaison avec les laisses de crue, des différences locales importantes sont observées.

5

Volk, C., and J. C. C. Joret. "Paramètres prédictifs de l'apparition des coliformes dans les réseaux de distribution d'eau d'alimentation." Revue des sciences de l'eau 7, no. 2 (April 12, 2005): 131–52. http://dx.doi.org/10.7202/705193ar.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

L'isolement sporadique de coliformes sur certains réseaux de distribution en période chaude et en absnce de tout épisode décelable de contamination (défaut de traitement, post-contamination) laisse supposer que la présence de ces germes dans l'eau pourrait être associée à la présence d'un biofilm important à la surface des canalisations. Cette hypothèse a pu être vérifiée lors de cette étude, réalisée sur différents réseaux de la banlieue parisienne. Ce travail a mis en évidence une relation entre la fréquence d'observation des coliformes sur les sites du réseau et le dépassement de seuils critiques pour quatre paramètres: - le niveau de salissure bactériologique de l'eau évalué par le dénombrement de la flore bactérienne planctonique totale par microscopie en épifluorescence - la température - la consommation de matière organique biodégradable (CODB) - la concentration en chlore libre résiduel. Le degré d'exposition des sites d'un réseau de distribution a pu être estimé par comptabilisation des dépassements des seuils critiques pour ces quatre paramètres. Trois niveaux de risques croissants (sans risque, faiblement exposé et exposé) ont été établis correspondant à des fréquences de plus en plus importantes d'apparition des coliformes sur les sites du réseau de distribution. Pour une semaine donnée, le calcul de la moyenne des dépassements simultanés des seuils critiques enregistrés sur l'ensemble des sites a permis de définir quatre niveaux de risques moyens d'apparition des coliformes sur l'ensemble des sites (minimum, non négligeable, critique et maximum) en relation avec des observations de coliformes de plus en plus fréquentes sur le réseau. Il a aussi été possible de définir un taux de chlore à appliquer sur un site afin de diminuer le niveau de contamination bactérienne de l'eau et par conséquent réduire le risque d'apparition des coliformes sur ce site.

6

Vazquez, J., M. François, and D. Gilbert. "Gestion en temps réel d'un réseau d'assainissement : vérification de l'optimalité et de l'applicabilité de la théorie des graphes par rapport à la programmation linéaire mixte." Revue des sciences de l'eau 16, no. 4 (April 12, 2005): 425–42. http://dx.doi.org/10.7202/705516ar.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Dans le cas de la gestion en temps réel des réseaux d'assainissement, la première étape peut, par exemple, consister à vérifier qu'une manipulation des organes de contrôle tels que les vannes et pompes est capable de minimiser les déversements vers le milieu naturel. Cette gestion, que l'on appellera " gestion de référence ", permet de déterminer les stratégies de commande sur toute la durée de l'événement pluvieux connu à l'avance. Ce calcul se fait donc à la fin de l'événement pluvieux et permet de dire ce qui aurait pu être fait avec les organes de régulation en terme de minimisation des volumes déversés. La programmation linéaire par les graphes et la programmation linéaire mixte permettent de déterminer une solution optimale. Cet article s'intéresse à la vérification de l'optimalité et à l'applicabilité de la programmation linéaire par les graphes comparée à la programmation linéaire mixte dans le cas de la " gestion de référence " sur le réseau d'assainissement de Saverne (France). En comparant les volumes déversés par ces deux techniques d'optimisation sur 34 événements pluvieux, nous pouvons confirmer que l'approche par les graphes ne donne pas toujours le minimum global. Les résultats ont montré que la programmation linéaire mixte fournit des temps de calcul qui peuvent atteindre plus de 24 heures. Par contre, l'approche par les graphes permet un temps de calcul de l'ordre de 5 minutes en moyenne avec un minimum global en terme de volume déversé atteint qui n'excède pas 5% par rapport à la solution fournie par la programmation linéaire mixte.

7

Quantin, M., C. Morio, G. Guibu Pereira, J. Vazquez, J. Wertel, S. Isel, S. Galuola, and J. Buche. "Calibration numérique 3D de vannes basculantes pour la mesure du débit déversé." Techniques Sciences Méthodes, no. 5 (May 2019): 89–100. http://dx.doi.org/10.1051/tsm/201905089.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Un des objectifs principaux de l’arrêté du 21 juillet 2015 est de limiter les déversements non contrôlés du réseau d’assainissement vers le milieu naturel. Certaines collectivités, telles qu’Orléans Métropole, ont mis en place des vannes à basculement sur les conduites exutoires de leurs déversoirs afin de maximiser le stockage en réseau et de retarder ainsi les déversements d’eau vers le milieu naturel. Le présent travail consiste à concilier l’usage de ce type de vanne avec l’obligation d’autosurveillance, induite par le même arrêté, en élaborant une loi de calibration. Après une caractérisation du fonctionnement hydraulique de ce type de vanne, notamment en écartant l’influence du poids de la vanne et du clapet antiretour, une approche 1D, basée sur le couplage d’une loi d’orifice et d’un calcul de courbe de remous à charge spécifique constante, est proposée avant d’être validée par modélisation 3D avec un logiciel de mécanique des fluides numérique. Enfin, l’article conclut sur la proposition d’un dispositif de mesure adapté à ce type de vanne, composé d’une sonde à ultrasons en amont et d’un détecteur de basculement sur la vanne, et à un calcul de l’incertitude assortie à l’évaluation du débit, environ 20%.

8

Le Bescond, Chloé, Fabien Thollet, Gaëlle Poulier, Stéphanie Gairoard, Hugo Lepage, Flora Branger, Luc Jamet, et al. "Des flux d'eau aux flux de matières en suspension et de contaminants associés : gestion d'un réseau de stations hydro-sédimentaires sur le Rhône." La Houille Blanche, no. 3 (June 2018): 63–70. http://dx.doi.org/10.1051/lhb/2018033.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

La Base de Données pour les Observatoires en Hydrologie (BDOH) est un outil de bancarisation qui permet de combiner les mesures de débit, de matières en suspension (MES) et de contaminants particulaires issues d'un même réseau de stations pour calculer des chroniques de flux instantanés et cumulés. Cette application est utilisée dans le cadre de l'Observatoire des Sédiments du Rhône (OSR) pour estimer les flux de MES et de contaminants associés (Hg, PCB,...) en transit dans le Rhône et ses principaux affluents. Cependant, avant le calcul de ces chroniques, les données mères lacunaires doivent être reconstituées. Un test de sensibilité a été mené afin d'évaluer l'impact de différentes méthodes d'estimation des chroniques de concentrations en MES et en Hg particulaire sur les calculs de flux instantanés et cumulés dans le Rhône aux deux stations principales de l'OSR (Jons et Arles). Les résultats montrent que, quelle que soit la méthode d'estimation utilisée, les flux annuels de MES et de Hg particulaire ne diffèrent pas plus de 5 %. A l'échelle mensuelle, en revanche, les différentes méthodes génèrent des variabilités plus élevées (26-51 %). En perspective, ces premiers résultats seront complétés par l'évaluation des incertitudes quantitatives sur les calculs de flux particulaires.

9

Helary, Jean-Michel, Aomar Maddi, and Michel Raynal. "Calcul réparti d'un extrémum et du routage associé dans un réseau quelconque." RAIRO - Theoretical Informatics and Applications 21, no. 3 (1987): 223–44. http://dx.doi.org/10.1051/ita/1987210302231.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Zug, M., and L. Phan. "Horus, un modèle conceptuel de simulation de la pollution en réseau d'assainissement - structure et validation." Revue des sciences de l'eau 12, no. 4 (April 12, 2005): 643–60. http://dx.doi.org/10.7202/705370ar.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Les rejets urbains par temps de pluie constituent à l'heure actuelle une des causes majeures de la pollution du milieu naturel. Dans ce contexte, la modélisation est un des moyens pour comprendre, caractériser et finalement anticiper cette pollution. L'objet de cet article est la présentation générale du modèle de simulation HORUS et les principaux résultats obtenus en phase de validation. HORUS est un modèle de recherche événementiel de type conceptuel et a pour objectif de reproduire le fonctionnement d'un réseau d'assainissement par temps de pluie, au point de vue de l'hydraulique et de la pollution pour des réseaux pluviaux ou unitaires pouvant contenir des ouvrages particuliers. HORUS simule les différents phénomènes d'accumulation et d'érosion des solides sur les surfaces imperméables ainsi que les phénomènes de sédimentation ou d'érosion en collecteurs, en respectant un niveau de complexité homogène pour l'ensemble des étapes de calcul. Les polluants simulés sont les Matières En Suspension (MES), Demande Chimique en oxygène (DCO) et Demande Biochimique en oxygène à 5 jours (DBO5). HORUS a été calé, validé et transposé sur dix réseaux réels de caractéristiques et de localisations variées, avec une centaine d'événements pluvieux de caractéristiques très différentes. Les différents sites et mesures ont permis une large validation et l'obtention de résultats tout à fait satisfaisants pour les pollutogrammes en concentration et flux. Les résultats de validation qualitative et quantitative sur différents bassins versants sont proposés au sein de cet article.

Більше джерел

Дисертації з теми "Calcul en réseau":

1

Mangoua, sofack William. "Amélioration des délais de traversée pire cas des réseaux embarqués à l’aide du calcul réseau." Thesis, Toulouse, ISAE, 2014. http://www.theses.fr/2014ESAE0024/document.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Le calcul réseau (network calculus) est une théorie basée sur l’algèbre min-plus. Il offre un cadre formel de modélisation des réseaux de communication. Il a été utilisé pour certifier le réseau AFDX embarqué dans l’A380 de Airbus. Seulement, les bornes sur le délai annoncés par ces travaux de certification souffrent d’une sur-approximation dans le cas précis de l’agrégation dans un contexte de priorité statique non préemptive.L’objectif de nos travaux est de réduire cette sur-approximation. Dans cette thèse, nous proposons un service résiduel permettant d’obtenir de meilleurs bornes sur le délai dans le cas de la politique à priorité statique non préemptive et de la politique DRR. Nous montrons aussi comment ces deux politiques peuvent être combinées dans une politique hiérarchique à deux niveaux
The thesis addresses performance analysis of embedded real time network using network calculus. Network calculus is a theory based on min-plus algebra. We use network calculus to assess the quality of service of a residual flow in two context : aggregation with non-preemptive priority policy and DRR policy. The main contribution concerns the evaluation of residual service, given to each flow. We also present how to handle DRR and non-preemptive priority policy hierrachically

2

Vienne, Jérôme. "Prédiction de performances d'applications de calcul haute performance sur réseau Infiniband." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00728156.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Afin de pouvoir répondre au mieux aux différents appels d'offres, les constructeurs de grappe de calcul ont besoin d'outils et de méthodes permettant d'aider au mieux la prise de décisions en terme de design architectural. Nos travaux se sont donc intéressés à l'estimation des temps de calcul et à l'étude de la congestion sur le réseau InfiniBand. Ces deux problèmes sont souvent abordés de manière globale. Néanmoins, une approche globale ne permet pas de comprendre les raisons des pertes de performance liées aux choix architecturaux. Notre approche s'est donc orientée vers une étude plus fine. Pour évaluer les temps de calcul, la démarche proposée s'appuie sur une analyse statique ou semistatique du code source afin de le découper en blocs, avant d'effectuer un micro-benchmarking de ces blocs sur l'architecture cible. Pour l'estimation des temps de communication, un modèle de répartition de bande passante pour le réseau InfiniBand a été développé, permettant ainsi de prédire l'impact lié aux communications concurrentes. Ce modèle a ensuite été intégré dans un simulateur pour être validé sur un ensemble de graphes de communication synthétiques et sur l'application Socorro.

3

Daigmorte, Hugo. "Analyse des interactions entre flux synchrones et flux asynchrones dans les réseaux temps réel." Thesis, Toulouse, ISAE, 2019. http://www.theses.fr/2019ESAE0003/document.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Les systèmes embarqués complexes (avions, satellites, drones...) contiennent de plus en plus de calculateurs. Désormais ce sont des dizaines voire des centaines de calculateurs qui communiquent à travers un réseau partagé. Une fonction est réalisée par la collaboration d'un ensemble de calculateurs qui s'échangent un nombre croissant d'informations. Dans un contexte de temps réel embarqué, il faut non seulement garantir que ces informations échangées sont correctes mais il faut aussi garantir qu'elles vérifient leurs contraintes temporelles. Du point de vue du réseau cela signifie qu'une information doit être échangée en respectant les délais qui lui sont imposés. Ceci implique de pouvoir borner le temps de traversée du réseau de chaque message afin de vérifier qu'il arrive dans les temps. Or les systèmes embarqués étant de plus en plus complexes et le nombre d'informations échangées étant en constante augmentation, cette borne est de plus en plus difficile à calculer. De plus il est important que cette borne soit le moins pessimiste possible afin d'éviter que le système soit surdimensionné. L'objectif de ce travail est de mettre en place un modèle capable de calculer ces bornes.Afin d'y parvenir nous nous sommes basés sur la méthode d'analyse du Calcul Réseau.Ce travail s'est en particulier attardé sur la modélisation des interactions qui existent entre les messages synchrones et les messages asynchrones. Les modèles présentés dans ce manuscrit prennent en compte les dates d'émission sur le réseau des messages synchrones lors du calcul des bornes supérieures de temps de traversée des messages asynchrones.Les principales contributions apportées par ce manuscrit sont :1. la présentation d'une nouvelle façon d'envisager l'utilisation des dates d'émission sur le bus CAN : la synchronisation faible.Ainsi que la modélisation complète d'un tel système et enfin l'évaluation du gain apporté par cette solution.2. une modélisation complète du réseau TTEthernet permettant d'évaluer finement l'impact des flux synchrones sur le tempsde traversée des flux asynchrones.3. une présentation de l'utilisation de la synchronisation dans le réseau TSN ainsi qu'un modèlecomplet permettant d'analyser cette nouvelle technologie
Complex embedded systems (planes, satellites, drones ...) contain more and more calculators. From now on, these are tens or even hundreds of calculators that communicate through a shared network. A function is achieved by the collaboration of a set of devices that exchange a growing number of information. In an embedded real-time context, it must be ensured that these informations exchanged are correct but it must also be ensured that they verify their temporal constraints. From the network point of view, this means that informations must be exchanged respecting their deadlines. This implies being able to upper bound the traversal time of the network of each message in order to verify that it arrives in time. However, as embedded systems are more and more complex and as the amount of information exchanged is constantly increasing, this bound is increasingly difficult to compute. Furthermore, it is important that this upper bound to be the least pessimistic possible to avoid an oversized system.The goal of this work is to develop new methods of analysis in order to be able to compute these bounds.In order to achieve this, we used the Network Calculus method of analysis.This work focuses on the modeling of interactions between synchronous messages and asynchronous messages.The models presented in this work take into account the transmission dates on the network of synchronous messageswhen calculating the upper bounds of traversal time of the asynchronous messages.The main contributions are:1. the presentation of a new way of considering the use of the dates of emission on the CAN bus: the weak synchronization.As well as the complete modeling of such a system and finally the evaluation of the gain provided by this solution.2. a complete modeling of the TTEthernet network allowing to evaluate the impact of the synchronous flows on the traversal time of the asynchronous flows.3. a presentation of the use of synchronization in the TSN network and a complete model for analyzing this new technology

4

Pekergin, Mehmet Ferhan. "Optimisation combinatoire par le calcul neuronal et parallelisme optimal." Paris 5, 1992. http://www.theses.fr/1992PA05S017.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Cette these constituee de deux parties aborde l'efficacite du parallelisme suivant deux approches complementaires. Dans la premiere partie l'architecture neuronale est consideree comme une architecture massivement parallele sans contrainte de communication et deux methodes fondees sur le calcul neuronal appliquees a l'optimisation combinatoire sont etudiees. La methodologie de l'optimisation par les reseaux de neurones aleatoires est developpee et une methode deterministe utilisant des reseaux dynamiques est proposee pour le probleme du stable maximum. Dans le second travail l'approche de la machine de boltzmann est utilisee pour resoudre les problemes de partitionnement et de couverture. Dans la seconde partie l'efficacite du parallelisme est etudiee relativement au cout de la communication. Pour les applications executees dans les reseaux de stations de travail le niveau optimal du parallelisme est calcule en fonction des parametres du systeme et des besoins de communication des taches constituant l'application. Dans le dernier travail les probabilites de perte des paquets dans les reseaux atm sont calculees par l'approximation de diffusion stationnaire et transitoire sous la condition de charge hautement variable.

5

Le, Potier Serge. "Optimisation stochastique distribuée : le problème de l'affectation dynamique de canal sur un réseau radio cellulaire." Rennes 1, 1999. http://www.theses.fr/1999REN1S151.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Bennouas, Toufik. "Modélisation de parcours du Web et calcul de communautés par émergence." Montpellier 2, 2005. http://www.theses.fr/2005MON20203.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Frison, Julien. "Calcul Ab-initio de propriétés de résonances hadroniques légères." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4082.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Il est établi depuis maintenant 40 ans que l'interaction nucléaire forte peut être décrite par la Chromodynamique Quantique (QCD). Le confinement des quarks dans cette théorie masque cependant ses degrés de liberté élémentaires dans les processus de basse énergie, qui doivent être calculés non-perturbativement. La QCD sur réseau est à ce jour la seule méthode permettant de mener à bien de tels calculs, et arrive dorénavant à maturité. Cependant, et alors que le spectre des hadrons stables est calculée avec précision, l'étude des désintégrations reste délicate. Nous présentons ici l'application du formalisme de Lüscher au calcul des propriétés de résonances se désintégrant sous l'interaction forte, ainsi qu'un calcul avec précision de la largeur de désintégration dans le cas particulier du meson rho
It has been established for now 40 years that the strong nuclear interaction can be described by Quantum Chromodynamics (QCD). However, the confinement of quarks in this theory hides its elementary degrees of freedom in low-energy processes, which have to be computed non-pertubatively. Lattice QCD is, to date, the only method allowing to go through such a computation, and is now reaching maturity. However, although the spectrum of stable hadrons is computed with precision, the study of decays is still delicate. We hereby present the application of Lüscher's formalism to the study of strong-decaying resonance properties, along with a precise computation of the decay width in the particular case of the rho meson

8

Hajjar, Mansour. "Construction d'un calculateur spécialisé pour le calcul de la conductivité électrique d'un réseau de résistances aléatoires." Paris 11, 1987. http://www.theses.fr/1987PA112409.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Réalisation d'un calculateur spécialisé pour le calcul de la conductivité électrique d'un réseau de résistances aléatoires Le calculateur spécialisé PERCOLA est conçu pour effectuer de longues simulations numériques sur un problème de Mécanique Statistique des systèmes désordonnés de type percolation. L'objectif est d'améliorer d'un ordre de grandeur les valeurs actuelles des exposants critiques qui caractérisent le comportement au seuil de percolation de la conductivité électrique d'un réseau de résistances aléatoires. Le calculateur spécialisé met en œuvre un algorithme itératif très performant pour calculer la conductivité d'un tel réseau. Bien qu'optimisée pour un algorithme particulier, cette machine présente les caractéristiques générales d'un calculateur 64 bits flottant microprogrammable permettant des possibilités d'utilisations futures pour d'autres problèmes. Son architecture est du type pipeline avec un parallélisme interne résultant de l'indépendance entre ses diverses composantes : mémoires, ALUs et multiplicateurs (composants WEITEK), contrôle des chemins des données, séquenceur (composant ANALOG DEVICES), générateurs d'adresses et générateur de nombres aléatoires. La vitesse maximale de calcul en mode pipeline est de 25 Mégaflops. Pour le problème de percolation, la vitesse de calcul est 10% plus élevée que celle d'un supercalculateur Cray XMP
A special purpose computer for the calculation of the electric conductivity of a random resistor network. The special purpose computer PERCOLA is designed for long numerical simulations on a percolation problem in Statistical Mechanics of disordered media. Our aim is to improve the actual values of the critical exponents characterizing the behavior of random resistance networks at percolation threshold. The architecture of PERCOLA is based on an efficient iterative algorithm used to compute the electric conductivity of such networks. The calculator has the characteristics of a general purpose 64- bit floating point microprogrammable computer that can run programs for various types of problems with a peak performance of 25 Mflops. This high computing speed is a result of the pipeline architecture based on internal parallelism and separately microcode controlled units such as: data memories, a microcode memory, ALUs and multipliers (both WEITEK components), various data paths, a sequencer (ANALOG DEVICES component), address generators and a random number generator. Thus, the special purpose computer runs percolation problem program 10 percent faster than the supercomputer CRAY XMP

9

Bonté, Eric. "Calcul des extensions dans les théories de défauts en réseau : Application au raisonnement à profondeur variable." Paris 13, 1992. http://www.theses.fr/1992PA132015.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Nous étudions dans cette thèse le problème du calcul des extensions dans un sous-ensemble de la logique des défauts qui permet d'interpréter les réseaux d'héritage avec exceptions. Nous proposons une procédure correcte et complète qui calcule toutes les extensions d'une théorie réseau. Notre procédure ne se limite pas aux théories ordonnées et fonctionne même en présence de circularités dans le réseau. L'originalité de notre procédure est de s'appuyer sur un système de maintenance de la vérité. Nous présentons une adaptation de cette procédure dans le cadre d'un système hybride de raisonnement à profondeur variable, c'est-à-dire dans un système qui travaille sur plusieurs niveaux de représentations définis dynamiquement en fonction des besoins du raisonnement

10

Lhoussaine, Cédric. "Réceptivité, mobilité et π-Calcul". Aix-Marseille 1, 2002. http://www.theses.fr/2002AIX11046.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Cette thèse est une contribution au développement de modèles formels décrivant la migration de code. Plus particulièrement, nous y développons un calcul distribué fondé sur un fragment du π-calcul asynchrone dont la syntaxe est enrichie d'une distribution explicite des processus dans des localités et d'un opérateur de migration de processus entre différentes localités. Dans ce modèle, nous prouvons qu'une forme d'absence d'interblocage peut être garantie grâce à un système d'analyse statique simple combiné avec un système de types. Les canaux de communication ont une propriété dite de "réceptivité", et plus généralement nous démontrons la "livrabilité des messages" qui établit que tous les messages émis auront la possibilité d'être reçus, même éventuellement après migration. Une série d'exemples illustrant le "style de programmation réceptif", nous porte à croire que ce calcul distribué reste suffisamment expressif. La réceptivité peut également être exprimée dans le π-calcul asynchrone sans répartition. On démontre dans ce cas que la réceptivité n'est pas obtenue au détriment de son expressivité par un codage "fully-abstract" du π-calcul à récepteurs uniques dans le π-calcul réceptif. Pour cela, nous sommes amenés à développer des techniques de preuves de bisimulations asynchrones "up-to". Enfin, dans la dernière partie de cette thèse nous nous intéressons au problème de l'inférence de types pour le π-calcul réparti. Nous montrons que la présence de types dépendants complique ce problème et nécessite le développement de nouvelles techniques. Nous donnons un algorithme, qui, étant donné un terme du langage retourne les types les plus généraux. Nous montrons que cet algorithme est correct et complet.

Більше джерел

Книги з теми "Calcul en réseau":

1

Alliot, Jean-Marc. Intelligence artificielle et informatique théorique. Toulouse: Cépaduès-éd., 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Milner, R. Communicating and mobile systems: The [symbol for pi]-calculus. New York: Cambridge University Press, 1999.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Ontario. Esquisse de cours 12e année: Fonctions avancées et introduction au calcul différentiel mcb4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Judd, J. Stephen. Neural network design and the complexity of learning. Cambridge, Mass: MIT Press, 1990.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Ontario. Esquisse de cours 12e année: Danse atc4m cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Ontario. Esquisse de cours 12e année: Histoire de l'Occident et du monde chy4c cours précollégial. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Ontario. Esquisse de cours 12e année: English eae4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Ontario. Esquisse de cours 12e année: Comptabilité de la petite entreprise ban4e. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Ontario. Esquisse de cours 12e année: Mathématiques de la vie courante mel4e cours préemploi. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Ontario. Esquisse de cours 12e année: English eae4c cours précollégial. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Частини книг з теми "Calcul en réseau":

1

"Chapitre 11 Du calcul de réseau au calcul de coeur." In Du noyau atomique au réacteur nucléaire, 93–102. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1038-3-012.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

"Chapitre 11 Du calcul de réseau au calcul de coeur." In Du noyau atomique au réacteur nucléaire, 93–102. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1038-3.c012.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

"Annexe 6 - Exemple de calcul du temps de relaxation spin-réseau T1 : le processus direct." In La spectroscopie de résonance paramagnétique électronique, 329–32. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0914-1-017.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

"Annexe 6 - Exemple de calcul du temps de relaxation spin-réseau T1 : le processus direct." In La spectroscopie de résonance paramagnétique électronique, 329–32. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0914-1.c017.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

"Calcul du résidu et applications." In Introduction à la résolution des systèmes polynomiaux, 255–81. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71647-1_10.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

BONNAFFOUX, Arnaud. "Inférence de réseaux de régulation de gènes à partir de données dynamiques multi-échelles." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, 7–50. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

L’inférence des réseaux de régulation de gènes reste un challenge majeur en biologie des systèmes malgré de nombreux efforts. Aujourd’hui, grâce aux données multi-omiques en cellules uniques, aux modèles dynamiques et stochastiques de la régulation génétique, et à la puissance de calcul disponible, de nouvelles approches telles que WASABI permettront de surmonter toutes les difficultés de ce défi.

7

MOVAHEDI, Zeinab. "Le déchargement intelligent des calculs dans le contexte du Mobile Cloud Computing." In Gestion et contrôle intelligents des réseaux, 153–78. ISTE Group, 2020. http://dx.doi.org/10.51926/iste.9008.ch6.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

Dans le contexte du Mobile Cloud Computing (MCC), le mécanisme de décision de déchargement devrait déterminer le fournisseur de Cloud approprié en considérant la qualité de service (QoS) offerte et le coût des ressources de calcul et de stockage dédiées à une requête d’utilisateur. Ce contexte dynamique multiréseau d’accès et multiCloud nécessite d’enrichir les mécanismes de décision de déchargement par des outils d’intelligence artificielle (IA), permettant une décision multicritère répondant au mieux à des besoins des utilisateurs mobiles en monde réel. Dans un tel contexte, ce chapitre traite des différentes applications d’IA pour optimiser l’efficacité de déchargement de point de vue d’utilisateurs mobiles, fournisseurs du Cloud et fournisseurs des réseaux d’accès.

8

FAGES, François, and Franck MOLINA. "La cellule, un calculateur analogique chimique." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, 255–74. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch7.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

La thèse de Church-Turing énonce qu’il n’y a qu’une seule notion universelle de calcul mécaniste, qui donc, d’une façon ou d’une autre, doit permettre de réconcilier le traitement de l’information en informatique et en biologie cellulaire. La preuve récente de Turing-complétude des réseaux de réactions chimiques continus sur un nombre fini d’espèces moléculaires, fournit les bases d’une telle réconciliation, sans construction artificielle, avec des capacités à la fois d’analyse des programmes chimiques naturels dans les cellules vivantes, et de synthèse de programmes chimiques artificiels dans des vésicules non vivantes. Ces résultats ouvrent un vaste champ de recherche fondamentale sur l’informatique analogique chimique de la cellule et des applications nouvelles en santé et environnement.

9

MORA, Angel. "Modélisation numérique de réseaux de nanocharges en carbone dans les composites de polymères." In Nanocomposites, 199–227. ISTE Group, 2021. http://dx.doi.org/10.51926/iste.9031.ch7.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Анотація:

L'utilisation de modèles informatiques comme outil de conception pour les nanocomposites polymères est discutée. En particulier, un modèle de calcul 3D est utilisé pour étudier la conductivité électrique de polymères chargés de nanotubes de carbone (CNT), de nanoplaquettes de graphène (GNP) et de particules hybrides CNT-GNP. Des lignes directrices qui aident à améliorer la conductivité électrique des composites polymères sont présentées sur la base des résultats de simulation.

Тези доповідей конференцій з теми "Calcul en réseau":

1

Okhrimenko, Viacheslav, Iryna Shcherbak, and Yevhenii Prykhodko. "APPROCHE SYSTÉMIQUE DE L'ANALYSE DES MÉTHODES DE CALCUL DES RÉSEAUX ÉLECTRIQUES." In RICERCHE SCIENTIFICHE E METODI DELLA LORO REALIZZAZIONE: ESPERIENZA MONDIALE E REALTÀ DOMESTICHE. European Scientific Platform, 2021. http://dx.doi.org/10.36074/logos-26.11.2021.v2.09.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.