Academic literature on the topic 'Calcul généralisé'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Calcul généralisé.'
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 "Calcul généralisé"
1
Diaz-Toca, Gema M., and Henri Lombardi. "Calcul matriciel généralisé sur les domaines de Prüfer." Bulletin des Sciences Mathématiques 159 (March 2020): 102808. http://dx.doi.org/10.1016/j.bulsci.2019.102808.
Full text
2
Didierjean, G., and A. Legrand. "Equivalences D'Homotopie et Crochet de Whitehead." Canadian Journal of Mathematics 46, no. 2 (April 1, 1994): 253–73. http://dx.doi.org/10.4153/cjm-1994-011-4.
Full textAbstract:
RésuméL'homotopie de l'espace des équivalences homotopie fibrées, est limite d'une suite spectrale dont on calcule ici la première différentielle. On montre, sous des hypothèses assez générales et dans le cas où le fibré admet une section, que cette différentielle est la somme des trois opérations suivantes:une opération produit tensoriel d'une opération cohomologique type carré de Steenrod avec une opération homotopique de Hopfune opération définie par le "Brace-product" du fibréune opération définie par les crochets de Whitehead de la fibreLa différentielle de la suite spectrale associée à l'homotopie de l'espace des équivalences d'homotopie d'un espace s'obtient en prenant la base réduite à un point. Ce calcul prolonge certains résultats de [KA 69], [CO-HA].
3
Bolduc, Denis, and Mustapha Kaci. "Estimation des modèles probit polytomiques : un survol des techniques." Articles 69, no. 3 (March 23, 2009): 161–91. http://dx.doi.org/10.7202/602113ar.
Full textAbstract:
RÉSUMÉ Parce qu’il admet des structures très générales d’interdépendance entre les modalités, le probit polytomique (MNP) fournit une des formes les plus intéressantes pour modéliser les choix discrets qui découlent d’une maximisation d’utilité aléatoire. L’obstacle majeur et bien connu dans l’estimation de ce type de modèle tient à la complexité que prennent les calculs lorsque le nombre de modalités considérées est élevé. Cette situation est due essentiellement à la présence d’intégrales normales multidimensionnelles qui définissent les probabilités de sélection. Au cours des deux dernières décennies, de nombreux efforts ont été effectués visant à produire des méthodes qui permettent de contourner les difficultés de calcul liées à l’estimation des modèles probit polytomiques. L’objectif de ce texte consiste à produire un survol critique des principales méthodes mises de l’avant jusqu’à maintenant pour rendre opérationnel le cadre MNP. Nous espérons qu’il éclairera les praticiens de ces modèles quant au choix de technique d’estimation à favoriser au cours des prochaines années.
4
Cardaliaguet, Pierre, and Rabah Tahraoui. "Inégalité de Hardy—Little wood généralisée et applications au calcul des variations." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 329, no. 6 (September 1999): 479–84. http://dx.doi.org/10.1016/s0764-4442(00)80045-2.
Full text
5
Lavaud, M., J. Grolier, M. Hucher, J. M. Pouliquen, and J. Riss. "Le calcul des conductivités (thermique, électrique,etc. ) des roches, selon la théorie d'Ondracek généralisée." Revue de l'Institut Français du Pétrole 44, no. 1 (January 1989): 43–59. http://dx.doi.org/10.2516/ogst:1989003.
Full text
6
Sayn, Isabelle. "Compenser les inégalités économiques des époux après divorce? Des critères légaux aux outils d’aide à la décision." Canadian Journal of Law and Society / Revue Canadienne Droit et Société 31, no. 02 (August 2016): 219–41. http://dx.doi.org/10.1017/cls.2016.20.
Full textAbstract:
Résumé La compensation des inégalités économiques des époux au moment du divorce est réalisée notamment par l’attribution d’une somme d’argent, versée mensuellement pendant une période plus ou moins longue ou versée sous forme de capital. Dans l’ensemble des pays européens analysés, les critères d’attribution de cette prestation sont comparables. Leur généralité aboutit à ce que le principe et le montant de cette prestation reposent en grande partie sur le pouvoir d’appréciation du juge. Face aux incertitudes que ce pourvoir d’appréciation engendre, il n’existe pas nécessairement de barèmes ou de lignes directrices élaborés à l’initiative des autorités publiques dont l’objectif serait d’aider les magistrats et les parties dans cette évaluation. Cependant, des méthodes de calcul aux origines et aux logiques les plus variées ont vu le jour. L’article se propose de produire une revue de ces différentes méthodes et de s’interroger, pour la France, sur les logiques qu’elles défendent.
7
Roy, Laurent. "L’enfant et la rupture d’union." Articles 8, no. 2 (January 6, 2009): 83–97. http://dx.doi.org/10.7202/600792ar.
Full textAbstract:
RÉSUMÉ Cet article a pour but de présenter quelques données sommaires et générales sur le nombre d’enfants et de couples impliqués dans les ruptures d’union. Nous considérons les trois phénomènes, veuvage, divorce et séparation légale. Pour des raisons de disponibilité de données, nos calculs ne portent que sur la seule année 1975. Notre principale conclusion, c’est que le veuvage est le phénomène qui touche le plus grand nombre d’enfants, suivi d’assez près du divorce et de loin de la séparation légale. Au total, les ruptures d’union ont impliqué en 1975 approximativement 56 000 adultes et 46 000 enfants.
8
Sergent, Philippe, Jean-Michel Tanguy, and Hassan Smaoui. "Calcul analytique et numérique des seiches et des oscillations portuaires pour des bassins de forme rectangulaire et de profondeur constante avec des digues semi-infinies parfaitement réfléchissantes." La Houille Blanche, no. 3-4 (October 2019): 117–29. http://dx.doi.org/10.1051/lhb/2019049.
Full textAbstract:
À l'aide de l'équation intégrale de Kirchhoff–Helmholtz appliquée aux ondes de gravité et en prenant en compte les modes évanescents à l'intérieur du résonateur, nous établissons une nouvelle approximation de la période fondamentale de seiche et d'oscillation portuaire des bassins de forme rectangulaire et de profondeur constante en présence d'ouvrages extérieurs semi-infinis parfaitement réfléchissants. Cette approximation généralise la formule analytique utilisée par Rabinovich. La formule présentée par Rabinovich corrige elle-même la période classiquement utilisée pour les résonateurs quart d'onde. Nous comparons ensuite cette approximation avec les résultats de l'équation de pente douce de Berkhoff résolue par la méthode des éléments finis. Il est observé que la formule analytique présentée par Rabinovich sous-estime la période de résonance. Pour le calcul par éléments finis, une densité du maillage d'environ 10 nœuds par longueur d'onde suffit pour atteindre une bonne précision mais il est nécessaire de respecter aussi un critère sur le nombre de nœuds par unité de largeur. En ce qui concerne le facteur d'amplification, nous retrouvons comme Rabinovich que ce dernier est proportionnel au rapport longueur sur largeur et qu'il ne dépend pas de la profondeur. Nous montrons également que la composition des ouvrages extérieurs peut être déterminante pour le facteur d'amplification. Un test expérimental dans une cuve à houle montre cependant que, dans certains cas, une dissipation importante se produit qui a pour conséquence d'une part de réduire la période de seiche et d'autre part de réduire sensiblement le facteur d'amplification.
9
Morel-Seytoux, H. J. "Gestion optimale d'un réservoir en avenir déterminé." Revue des sciences de l'eau 11, no. 4 (April 12, 2005): 569–98. http://dx.doi.org/10.7202/705322ar.
Full textAbstract:
Massé, dans ses deux volumes (1946), discute le problème de la gestion optimale des lâchures dans le cas d'un seul réservoir quand le bénéfice est dérivé de la production d'énergie hydroélectrique. Massé obtint ses résultats à la fois par un raisonnement économique et par une généralisation du Calcul des Variations. Sa méthode lui permit de fournir la preuve rigoureuse de la méthode graphique de Varlet (1923), dite du "fil tendu". Dans cet article on généralise la procédure de Massé au cas où (1) le bénéfice est réalisé bien en aval du point de lâchure, et (2) il y a plusieurs "point-cibles" (points où un certain objectif doit être assuré). Massé avait trouvé que la gestion optimale est celle qui maintient la valeur marginale du bénéfice constante dans le temps, pourvu que la gestion soit en régime libre, c' est à dire tant que le réservoir ne fonctionne ni à plein ni à vide. Par contre si le réservoir fonctionne par exemple à plein, Massé montra que la stratégie qui consiste à garder le réservoir plein ne peut être optimale que si la valeur marginale du bénéfice croît constamment avec le temps durant la période où le réservoir reste plein. On montre de manière rigoureuse dans le cas général que pour une gestion optimale ce qui doit rester constant c' est la valeur marginale future du bénéfice. Dans un article ultérieur on fournira la généralisation pour plusieurs réservoirs.
10
Pietraru, V. "Méthode analytique généralisée pour le calcul du coning. Nouvelle solution pour calculer le coning de gaz, d'eau et double coning dans les puits verticaux et horizontaux." Revue de l'Institut Français du Pétrole 51, no. 4 (July 1996): 527–58. http://dx.doi.org/10.2516/ogst:1996036.
Full textDissertations / Theses on the topic "Calcul généralisé"
1
Ferreira, Paul. "Introduction du calcul mécanique généralisé dans la simulation bidimensionnelle de procédés technologiques silicium." Lille 1, 1999. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1999/50376-1999-399.pdf.
Full textAbstract:
Les travaux de recherche rapportés dans ce document s'axent autour de la modélisation et de la simulation de procédés technologiques silicium. Historiquement, cette activité avait pour objectif de prédire la géométrie ainsi que les profils de dopage des micro-structures sur silicium. Cependant, avec la diminution des dimensions des composants intégrés à des valeurs submicroniques (technologie CMOS 0. 25 µm et 0. 18 µm) et l'essor actuel de la micromécanique, le niveau des contraintes mécaniques résiduelles après fabrication est devenu un paramètre important qu'il faut prendre en compte dans la conception des micro-structures afin d'éviter des dysfonctionnements. L'objectif de ce travail est donc d'introduire le calcul de structure dans la simulation de procédés technologiques. Après avoir analysé les mécanismes générateurs de contraintes mécaniques liés aux étapes de dépôts/gravures de couches minces et de recuits thermiques, une modélisation de ces mécanismes a été conçue. Les propriétés rhéologiques des matériaux ont été également finement modélisées afin de pouvoir calculer avec précision la distribution des champs de contraintes mécaniques au cours de la fabrication des composants microélectroniques intégrés. Les algorithmes permettant ces calculs ont été établis et inclus dans un simulateur bidimensionnel de procédés technologiques, IMPACT-4, utilisant une discrétisation spatiale de type éléments finis. Afin d'assurer le caractère prédictif de cet outil, des méthodes de calibration des paramètres mécaniques ont été étudiées et validées. Enfin, ces nouvelles fonctionnalités du simulateur IMPACT-4 sont mis en oeuvres pour réaliser l'étude et l'optimisation d'étapes de procédés industriels BICMOS et CMOS dans le but de réduire le niveau général des contraintes mécaniques dans le substrat de silicium.
2
Lafitte, Grégory. "Calculs et infinis." Lyon, École normale supérieure (sciences), 2002. http://www.theses.fr/2002ENSL0239.
Full textAbstract:
"Nous introduisons une hiérarchie de notions de calcul généralisé. L'idée est de regrouper en une notion tout ce que l'on pourrait qualifier de "calculabilité", de pouvoir étudier ces notions et en fin de compte d'établir des théorèmes de transfert entre elles. Ces notions correspondent certaines fois aussi à des modèles de calcul obtenues par le biais de machines concrètes. Nous avons ainsi un nouveau modèle de calcul avec les " automates cellulaires à temps infini " qui ont l'avantage sur les machines de Turing d'être plus homogènes (absence de tête). La notion de complexité de calcul (selon une certaine notion de calcul) est également généralisée et étudiée. Enfin, nous obtenons des notions de réels aléatoires plus fines que la notion classique de Martin-Löf (ou Kolmogorov) que l'on peut affiner de plus en plus. Tout ceci mène à la notion de complexité de Kolmogorov généralisée qui ouvre des perspectives intéressantes. "We introduce a hierarchy of notions of generalized computation. The idea is to almagamate in one concept all that we could qualify of "computability", to study those notions and ultimately to have transfer theorems between those notions. Those notions correspond also in some cases to computation models obtained by means of concrete machines. We obtain in this way a new computation model, "infinite time cellular automata", which are more homogeneous than Turing machines (lack of head). The notion of computational complexity (according to a certain notion of computation) is also generalized and studied. Finally, we obtain notions of random reals that are finer than the classical notion of Martin-Löf (or Kolmogorov) and yet more and more refinable. All of this leads to a notion of generalized Kolmogorov complexity which opens up interesting prospects.
3
Nourdin, Ivan. "Calcul stochastique généralisé et applications au mouvement brownien fractionnaire : Estimation non paramétrique de la volatilité et test d'adéquation." Phd thesis, Université Henri Poincaré - Nancy I, 2004. http://tel.archives-ouvertes.fr/tel-00008600.
Full textAbstract:
Dans la première partie de cette thèse, nous introduisons des intégrales d'ordre m et leur associons des formules d'Ito. Nous nous intéressons plus particulièrement au cas du mouvement brownien fractionnaire. Dans la seconde partie, nous étudions les approximations aux premier et second ordres des intégrales d'ordre m. Nous donnons des résultats de convergences presque-sure et en loi. Dans la troisième partie, nous nous intéressons aux équations différentielles dirigées par une fonction holdérienne. Nous donnons un résultat d'existence et d'unicité et étudions deux approximations de la solution. Dans la quatrième partie, nous étudions l'absolue continuité de la loi de la solution d'une équation différentielle stochastique dirigée par un mouvement brownien fractionnaire. Nous proposons un critère simple assurant que la solution au temps t admet une densité. Enfin, la dernière partie s'intéresse à l'estimation du coefficient de volatilité de la solution d'une équation différentielle stochastique classique. Nous construisons également un test d'adéquation.
4
Bassomo, Pierre. "Contribution à la parallélisation de méthodes numériques à matrices creuses skyline. Application à un module de calcul de modes et fréquences propres de Systus." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 1999. http://tel.archives-ouvertes.fr/tel-00822654.
Full textAbstract:
L'augmentation continue de la puissance des ordinateurs personnels (stations de travail ou PCs) et l'émergence de réseaux à haut débits fournissent de nouvelle opportunités de réalisation de machines parallèle à faible coût, en comparaison des machines parallèles traditionnelles. On peut aujourd 'hui construire de véritables machines parallèles en interconnectant des processeurs standards. Le fonctionnement de cet ensemble de processeurs en tant que machines parallèle est alors assuré par des logiciels tels que PVM et MPI. Quelle que soit la machine parallèle considérée, concevoir des applications parallèles impose, soit des outils de parallélisation automatique, soit un effort du programmeur suivant des méthodologies de programmation. Dans cette thèse, nous proposons une méthodologie de parallélisation des méthodes numériques. En général les méthodes numériques sont une chaîne d'algorithmes s'appelant les uns après les autres tout au long de leur exécution. A moins d'aborder leur parallélisation à partir du problème physique qu'elles traitent, par exemple par des techniques de décomposition de domaines, l'approche de parallélisation la plus réaliste est celle de type client/serveur.
5
Goldsztejn, Alexandre. "Définition et applications des extensions des fonctions réelles aux intervalles généralisés : révision de la théorie des intervalles aux intervalles généralisés." Nice, 2005. http://www.theses.fr/2005NICE4056.
Full textAbstract:
La théorie des intervalles permet de construire des sur-ensemble du domaine de variation d’une fonction réelle. Ainsi, de manière très naturelle, elle permet de construire une approximation extérieure de l’ensemble des solutions d’un système d’équations. Couplée aux théorèmes usuels d’existence (par exemple les théorèmes de Brouwer ou de Miranda) la théorie des intervalles permet aussi de prouver rigoureusement l’existence de solutions pour un système d’équations. La théorie des intervalles modaux permet de prouver directement l’existence de solution d’un système d’équations (sans faire intervenir explicitement les théorèmes d’existence). Malgré les récents développements qui ont montré le potentiel applicatif de la théorie des intervalles modaux, l’utilisation de cette théorie reste fort limitée. D’une part, une nouvelle formulation des principaux résultats de la théorie des intervalles modaux est proposée. Cette nouvelle formulation est faite dans le cadre des intervalles généralisés (intervalles dont les bornes ne sont pas contraintes à être ordonnées) et reprend la construction de la théorie des intervalles classiques, ce qui permettra une utilisation plus aisée de la théorie des intervalles modaux. D’autre part, un protocole de préconditionnement et un protocole de linéarisation compatibles avec les interprétations des nouvelles extensions aux intervalles généralisés sont proposés. Le protocole de linéarisation proposé aura la forme d’une nouvelle extension de la valeur moyenne aux intervalles généralisésThe intervals theory allows constructing supersets of the range of real functions. Therefore, in a very natural way it allows constructing some outer approximation of the solution set of systems of real equations. When it is used in conjunction to some usual existence theorems (e. G. Brouwer or Miranda theorems), the intervals theory also allows to rigorously prove the existence of solutions to such systems of equations. The modal intervals theory proposed some richer interpretations. In particular, the construction of both subjects and supersets of the range of real functions are in the scope of extensions to modal intervals. As a consequence, the extensions of real functions to modal intervals have the intrinsic power of proving the existence of solutions to systems of equations. In spite of some recent developments that have shown the promising potential applications of these richer interpretations, the modal intervals theory remains unused by most of the interval community. On one hand, a new formulation of the modal intervals theory is proposed. This new formulation uses only generalized intervals (intervals whose bounds are not constrained to be ordered) and follows the construction of the classical intervals theory. This will allow using the modal intervals theory in an easier way. On the other hand, some new preconditioning and linearization processes are proposed which are compatible with the richer interpretations provided by the modal interval theory. The new linearization process which is proposed will have the form of a new mean-value extension to generalized intervals
6
Balaa, Antonia. "Fonctions récursives générales dans le calcul des constructions." Nice, 2002. http://www.theses.fr/2002NICE5777.
Full textAbstract:
Notre objectif est la définition des fonctions récursives générales en théorie des types, où la méthodologie consiste à montrer que les arguments des appels récursifs sont décroissants pour un ordre bien fondé. Basées sur le théorème du point fixe nos recherches ont été menées suivant deux directions. La première, complexe, repose fortement sur la notion de type dépendant et mélange le problème de terminaison de la fonction avec celui de son adéquation à sa spécification. La deuxième, vise à réduire la complexité des données à fournir par le programmeur:la construction de la fonction récursive s'effectue par itération. Notre contribution est intéressante en ce qu'elle sépare les problématiques:définir la fonction et prouver sa terminaison. Ces travaux ont permis le développement de deux outils automatiques pour la programmation en Coq de fonctions récursives générales. Ces techniques s'appliqueront avec des variations mineures dans tout système de démonstration basé sur la théorie des typesInductive type theories provide a systematic approach to program and reason about recursive functions. Intuitively, these functions are described such that recursive calls are performed only on terms that are smaller than the initial argument for some well-founded order. Using the fix-point theorem, we show two approaches to formalise recursive functions. The first one, quite complex, is based on the notion of dependent types. Specification of the recursive function and its termination proof are treated simultaneously. In the second, recursive functions are constructed by iteration. Our contribution is interesting as we could separate the main difficulties: function definition and its termination proof. As a result we considerably reduce the programmer's effort. For each approach, a tool is generated which allows us to program general recursive functions in Coq, as naturally as in functional programming languages. We believe that our techniques can be adapted for any type theory based system
7
ZIMMER, Pascal. "Récursion généralisée et inférence de types avec intersection." Phd thesis, Université de Nice Sophia-Antipolis, 2004. http://tel.archives-ouvertes.fr/tel-00006314.
Full textAbstract:
Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, permettant ainsi de mêler totalement les paradigmes fonctionnels et objets. Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul. Après avoir prouvé sa correction, nous étudions sa généralisation aux références et à la récursion, nous le comparons aux algorithmes d'inférence déjà existants, notamment à celui de Système I, et nous montrons qu'il devient décidable à rang fini.
8
Rodier, Lise. "Existence et calcul distribué d'équilibres dans des jeux de congestion généralisés." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLV049/document.
Full textAbstract:
Cette thèse se focalise sur les jeux de potentiel et une généralisation d'un jeu d'ordonnancement dans un graphe que nous avons appelé jeu de placement.Dans ce jeu, le coût d'un joueur est impacté par son voisinage.Nous pouvons illustrer cela avec un exemple : le placement de joueurs dans un train, pour lesquels la présence de voisins directs influe sur le bien-être.Les résultats de cette thèse se divisent en deux parties.Tout d'abord, nous étudions ces jeux en considérant l'existence et les propriétés de structure des équilibres.Nous nous posons la question fondamentale de savoir s'il existe des équilibres de Nash dans le jeu de placement.Si tel est le cas, nous tachons de déterminer si ces équilibres sont facilement calculables.Dans le cas où il n'existe pas d'équilibre nous prouvons la NP-complétude du problème.Dans un second temps nous nous intéressons à la notion de calcul distribué d'équilibre de Nash dans des jeux de placement.En particulier nous considérons un jeu basé sur le problème de Max-Cut, qui a été plus étudié en théorie des graphes.Cela nous a permis d'étendre nos travaux à une application aux réseaux mobiles pour la gestion d'interférences dans les réseaux sans fils.Nous avons pu, pour les différents jeux, mettre en place des algorithmes distribués de calcul d'équilibres et étudier leur convergence.Parallèlement, nous avons étendu les travaux de Max-Cut à un problème de sélection d'offre de qualité de service parmi divers fournisseurs d'accès.Nous comparons les performances d'algorithmes de calcul distribué d'équilibres et de minimisation de regretThis thesis focuses on potential games and a generalized load balancing game in a graph we called placement game.In this game, the cost of a player is affected by its neighbors.We can illustrate this with an example: the placement of players on a train, where the presence of direct neighbors affects their well-being.The results of this thesis are divided into two parts.First, we study these games considering the existence and structural properties of equilibria.We ask ourselves the fundamental question of whether there are Nash equilibria in the placement game.If this is the case we aim to determine if they are easily calculable, if there is no such equilibria we prove the NP-completeness of the problem.Secondly we focus on the concept of distributed algorithms to compute Nash equilibria in placement games.In particular we consider a game based on the Max-Cut problem, which has been more frequently studied.This allowed us to expand our work to a mobile network application for managing interference in wireless networks.We were able, for those different games, to implement distributed algorithms to compute equilibria and study their convergence.Meanwhile, we have expanded the Max-Cut works with a selection of QoS offers problem from various network providers.We compare the performance of distributed algorithms and regret minimization
9
Nguyen, Xuan Hai. "Existence des solutions des problèmes d'équilibre et des problèmes généralisés." Pau, 2007. http://www.theses.fr/2007PAUU3006.
Full textAbstract:
Blum et Oettli (1994) ont introduit les problèmes d'équilibre comme des généralisations directes des inéquations variationnelles et des problèmes d'optimisation. Ce problème général contient plusieurs problèmes liés au problème d'optimisation, par exemple, le problème de complémentarité, le problème de point fixe, le problème de point de coúncidence, le problème de minimax, etc. Pour les problèmes mentionnés ci-dessus, bien des efforts ont été consacrés à l'étude de l'existence de solutions. Le but de cette thèse est de développer des conditions suffisantes pour l'existence de solutions exactes et de solutions approchées des problèmes de quasi-équilibre et des problèmes d'inclusion quasi-variationnelles. La thèse est divisée en deux parties. La première partie est constituée des trois chapitres 1-3 sur les problèmes de quasi-équilibre et la deuxième partie est constituée des chapitres restants sur les problèmes d'inclusions quasivariationnelles. Dans le Chapitre 1, nous établissons quelques conditions pour l'existence de solutions de problèmes de quasi-équilibre. Dans le Chapitre 2, nous abordons la question de l'existence pour des systèmes de problèmes de quasiéquilibre. Les solutions approchées sont étudiées au Chapitre 3. Ensuite, dans le Chapitre 4, nous proposons un problème général d'inclusion quasi-variationelle qui contient tous les problèmes connus de ce type, ainsi que tous les problèmes de quasi-équilibre. Nous obtenons des conditions suffisantes pour l'existence de solutions de ces problèmes. Dans le dernier chapitre, nous traitons un système de problèmes d'inclusions quasi-variationnelles dans un espace produitBlum and Oettli (1994) introduced the equilibrium problem as a direct generalization of the variational inequality and the optimization problem. This new general problem setting proved to contain also many other optimizationrelated problems such as the complementarity problem, the fixed-point and coincidence-point problems, the minimax problem, the Nash equilibrium, the traffic network problem. As in many research field in mathematics, for the mentioned problems most of efforts have been devoted to the solution existence, The purpose of our thesis is to develop sufficient conditions for the existence of solutions to quasiequilibrium problems and systems of such problems and to propose more general definitions of quasivariational inclusion problems and of systems of these problems. We also consider the existence of approximate solutions. So the thesis includes two parts. Part 1, which includes three chapters, is devoted to quasiequilibrium problems and Part 2, with two chapters, considers quasivariational inclusion problems. In Chapter 1 we obtain some existence conditions for quasiequilibrium problems and show that they not only contain recent results but also sharpen some recent existence conditions even for particular cases. Chapter 2 is devoted to developing existence results for systems of quasiequilibrium problems in product spaces. Approximate solutions to quasiequilibrium problems is provided in Chapter 3. In Chapter 4, we propose general quasivariational inclusion problems to include all the previously existing problems of this kind and then all quasiequilibrium problems. We investigate sufficient conditions for the existence of solutions to these problems. In the final Chapter 5 we introduce systems of quasivariational inclusion problems in product spaces which contain most of the above-encountered problems
10
Rossi, Fabrice. "Calcul de différentielles dans les réseaux de neurones généralisés : algorithmes, complexité, implantation logicielle et applications." Paris 9, 1996. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1996PA090043.
Full textAbstract:
Les réseaux de neurones sont des outils de régression non linéaire asymptotiquement plus parcimonieux que les b-splines ou les polynômes. Certains types de réseaux comme les perceptrons multicouches et réseaux de radial basis functions ont été étudiés de façon assez complète. D'autres types, comme les réseaux d'ondelettes ou les neurones d'ordre supérieur, restent plus délicats à mettre en œuvre. Nous développons un cadre mathématique général permettant une unification de tous les types de réseaux de neurones dans une unique définition. Nous montrons que les réseaux classiques sont tous des cas particuliers de la définition proposée. Ce cadre mathématique permet d'analyser les réseaux de neurones sans se préoccuper de la fonction implantée par chaque neurone, mais en préservant la structure du réseau étudié. Nous introduisons ainsi des algorithmes de calcul des différentielles du premier et second ordre portant sur les fonctions calculables par ce modèle. Nous étudions les complexités exactes de ces algorithmes et montrons que la rétropropagation (étendue au cas général) n'est pas nécessairement la méthode la plus efficace. Nous décrivons enfin une implantation orientée objet des réseaux généralisés proposés. Nous illustrons ainsi l'utilisation pratique du cadre mathématique proposé. Il permet une unification des algorithmes d'apprentissage sous la forme de méthodes de minimisation de fonctions. Il permet aussi d'obtenir un logiciel très facilement extensible et résout ainsi un des problèmes liés à la simulation neuronale dans un environnement de recherche : l'implantation dans un simulateur d'un nouveau type de réseau de neuronesNeural networks are non linear régression tools. They are asymptotically more efficient than B-spline or polynomial régression. Classical types of neural network hâve been studied rather completely. This is the case for instance for Multi-Layer Perceptron and Radial Basis Function based networks. Less common neural network types such as wavelet network or high order neurons hâve not been studied as completely as classical ones. VVe introduce a general mathematical framework that allows to uniformly describe every neural network type. We show that classic neural networks are particular cases of our general model. The proposed mathematical framework allows the analysis of neural networks without précisé knowledge of functions implemented by each neuron while keeping the architecture of the network build into the mathematical définition. We introduce this way algorithms that allow to compute first and second dérivatives of different functions computed with this model. We study the time complexities of these algorithms and show that the back-propagation algorithm (extended to our general définition) is not always the fastest algorithm. We finally describe an object-oriented implémentation of our generalized neural networks. We thus illustrate a practical use of our framework. It allows to unify neural network training methods, which are considered as function minimization algorithms. It allows also to obtain an easy to extend neural network simulator which solves one of the important problems of neural network simulation in a research framework : the implémentation of a new neural network type in an already existing simulator
Books on the topic "Calcul généralisé"
1
Eurocode 5, Calcul des structures en bois, partie 1-1 : Règles générales et règles pour les bâtiments. Eyrolles, 1996.
Find full text
2
Lebesgue, Henri Léon. Leçons sur l'intégration et la recherche des fonctions primitives. J. Gabay, 1989.
Find full text
3
Poisson, Siméon-Denis. Recherches sur la probabilité des jugements en matière criminelle et en matière civile: Précédées des règles générales du calcul des probabilités. Adamant Media Corporation, 2001.
Find full textBook chapters on the topic "Calcul généralisé"
1
Boreux, Jean-Jacques, Éric Parent, and Jacques Bernier. "Le modèle linéaire généralisé." In Pratique du calcul bayésien, 169–84. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99667-2_9.
Full text
2
"Chapitre 5 États intriqués : définition et propriétés générales." In Physique quantique, information et calcul, 167–202. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7-009.
Full text
3
"Chapitre 5 États intriqués : définition et propriétés générales." In Physique quantique, information et calcul, 167–202. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7.c009.
Full text