To see the other types of publications on this topic, follow the link: Autosur.
Dissertations / Theses on the topic 'Autosur'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Autosur.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Cirillo, Andrea. "Ripensare l'infrastruttura: Un edificio polifunzionale per la rigenerazione degli spazi pubblici a Bogota." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8674/.
Full textAbstract:
Una megalopoli come Bogotà ha vissuto negli anni un processo di espansione che ha portato ad una scarsa pianificazione urbanistica con edilizia autocostruita, soprattutto nell'area sud della città, quella più povera e in via di espansione dell’intera Bogotà. Per sopperire alla forte mancanza di spazi pubblici, il progetto intende affrontare quattro tematiche: il rapporto con una infrastruttura pesante, la valorizzazione di un vuoto urbano e la creazione di un parco lineare e di una piazza come luoghi di incontro per la comunità. Il nuovo edificio individua i suoi fondamenti nel ripensamento di un grande nodo stradale all'incrocio con l’Autosur e assume una configurazione circolare in seguito all'applicazione del modello proposto da Luis Kahn per il piano di Philadelphia: sono infatti i flussi e il movimento a disegnare il nuovo nodo stradale e l’edificio.
2
Dakermandji, Jan. "An Autosar diagnostic platform." Thesis, KTH, Maskinkonstruktion (Inst.), 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-100203.
Full textAbstract:
The goal with the master thesis was to find a modular diagnostic platform to reuse in future Stoneridge Electronics projects. The master thesis started with Autosar as a consideration and the more we investigated about Autosar, the more drawn we were to it. This has led to the master thesis being devoted to Autosar. Autosar (AUTomotive Open System ARchitecture) is a standardized automotive software architecture, developed by vehicle manufacturers, third-party suppliers and tool developers. Autosar seems to be a very strong approach for many vehicle manufacturers. All major vehicle manufacturers are today members of Autosar. This thesis presents several ideas on how to migrate an existing architecture to Autosar. It is important to migrate to Autosar in a step by step matter because of numerous reasons. Two reasons are cost to migrate to Autosar and reliability issues. One of the goals of this master thesis was to develop one of many Autosar software components also called basic software modules in C. The basic software module written is the Can Transport Protocol, which is a part of the diagnostic platform. Programming the whole Can Transport Protocol is a large assignment and beyond the scope of a master thesis for one person. The programming part was split into two parts. According to Autosar, the Can TP used in the Autosar architecture is ISO 15765-2 USDT. This standard is used in many projects at Stoneridge Electronics. This master thesis also presents advantages and disadvantages of Autosar for Stoneridge Electronics. The conclusion is to be prepared for Autosar for numerous reasons. The major reason is the car manufacturer’s strong Autosar approach. Autosar is today well accepted by the major car manufacturers. There are however a few disadvantages with Autosar for Stoneridge Electronics and they are: • Cost to migrate to Autosar • Autosar requires more resources • Autosar has not yet considered the truck and bus industry.Målet med detta examensarbete var att finna en modulär diagnostikplattform för smidig återanvändning i framtida Stoneridge Electronics projekt. Examensarbetet startade med Autosar som en alternativ lösning men blev snabbt lösningen på examensarbetet. Ju mer vi undersökte Autosar desto mer dragna till det blev vi. Detta har lett till att examensarbetet har blivit helt tillägnat åt Autosar. Autosar (AUTomotive Open System ARchitecture) är en standardiserad automobil mjukvaruarkitektur, utvecklad av biltillverkare, underleverantörer och verktygsutvecklare. Autosar verkar ha en väldigt stark frammarsch bland biltillverkare samt underleverantörer. Alla större biltillverkare är idag, i någon form, medlemmar i Autosar. Flera idéer presenteras hur man bör, på ett smidigt sätt, övergå till Autosar. Det är viktigt att man övergår till Autosar i en steg för steg process. Två anledningar är kostnaden att övergå till Autosar samt säkerhets frågor. Ett av många mål med examensarbetet var dessutom att utveckla en av många Autosar mjukvarukomponenter, så kallade ”basic software modules” i programmeringsspråk C. Mjukvarukomponenten som utvecklades var ”Can Transport Protocol” som är en del av diagnostikplattformen. Att programmera hela komponenten krävde att examensarbetet delades upp i två delar. Enligt Autosar är Autosars ”Can TP” baserad på ISO 15765-2 (USDT). Denna standard (USDT) är idag mycket väl accepterad hos Stoneridge Electronics och återanvänds flitigt i många Stoneridge Electronics projekt. Detta examensarbete presenterar fördelar och nackdelar med Autosar för Stoneridge Electronics. Slutsatsen är att vara förberedd med Autosar p.g.a. ett flertal anledningar. Den största anledningen är Autosars starka frammarsch bland biltillverkare och leverantörer. Autosar är idag väldigt accepterad bland de större biltillverkarna. Det finns dessvärre ett flertal negativa aspekter med Autosar för Stoneridge Electronics och dessa är: • Kostnaden att övergå till Autosar. • Autosar kräver mer resurser. • Autosar har ännu inte funderat på buss- och lastbilsindustrin.
3
Lacave, Christophe. "Fluides autour d'obstacles minces." Phd thesis, Université Claude Bernard - Lyon I, 2008. http://tel.archives-ouvertes.fr/tel-00345665.
Full textAbstract:
Nous étudions dans cette thèse le comportement asymptotique des fluides incompressibles dans les domaines extérieurs, quand l'obstacle devient de plus en plus fin, tendant vers une courbe. Nous étendons les travaux d'Iftimie, Lopes Filho, Nussenzveig Lopes et Kelliher dans lesquels les auteurs considèrent des obstacles se contractant vers un point. Nous travaillons tout d'abord en dimension deux. En utilisant des outils de l'analyse complexe, nous traitons le cas des fluides idéaux et visqueux à l'extérieur d'une courbe. Nous regardons ensuite en dimension trois les fluides visqueux à l'extérieur d'une surface. Nous finissons enfin par montrer l'unicité du problème mixte Euler point-vortex avec un seul point vortex introduit par Marchioro et Pulvirenti, dans le cas où le tourbillon initial est constant près du point vortex.
4
Bouchard, Hervé. "Autour de Laparesse : roman /." Thèse, Chicoutimi : Université du Québec à Chicoutimi, 1992. http://theses.uqac.ca.
Full textAbstract:
Mémoire (M.A.F.F.)-- Université du Québec à Chicoutimi, 1992.Ce mémoire a été réalisé à l'UQAC dans le cadre du programme de maîtrise en études littéraires de l'UQTR extensionné à l'UQAC. CaQCU Document électronique également accessible en format PDF. CaQCU
5
Bouchard, Hervé. "Autour de Laparesse : roman." Thèse, Université du Québec à Trois-Rivières, 1992. http://constellation.uqac.ca/1429/1/1475017.pdf.
Full textAbstract:
Je me souviens des marelles que nous faisions, moi et mes amis, lorsque j'étais enfant- La figure était toujours la même, et, à l'aide d'un bout de craie blanc (parfois jaune), d'un morceau de plâtre, ou d'un caillou (crayeux, mais dont le trait pâle ne se distinguait, sur l'asphalte vieille, qu'avec difficulté), je me retrouvais le plus souvent avec le privilège de la tracer:
(Voir le dessin de la marelle dans le texte intégral)
Les cases, toutes numérotées, ne portaient pas de nom, sauf la neuvième: "le ciel", où nous pouvions poser les deux pieds et nous retourner. Le jeu est connu: on jette sa pierre, on saute, on est parfois tenu d'accomplir certaines acrobaties; le but est de se rendre jusqu'au ciel, sans jamais poser le pied sur une ligne ou dans une case occupée par une pierre, puis de sortir du jeu en repassant par la première case; on s'amuse, le temps passe, et la pluie, les jours, les roues et les frottements des semelles effacent la figure; qu'on refait si on veut rejouer car on ne joue pas sans les cases et leurs chiffres.
(Me remémorant ainsi ce jeu, je me fais penser à Georges Perec dans le préambule de La Vie, mode d'emploi, où il décrit divers types de puzzles.)
Parfois, je traçais les cases à peine plus grandes que la taille de nos chaussures: cela rendait faciles les sauts, mais extrêmement difficiles les jets de pierres. Mes amis étaient vite ennuyés par cette variante. Alors, d'autres fois, je traçais d'énormes cases: chacun arrivait sans peine à loger sa pierre dans l'une d'elles, mais les sauts exigés pour franchir deux ou trois cases alignées devenaient des actes d'une témérité qu'alors, étant donnée notre taille, nous croyions tout à fait exceptionnelle. Nous avions un dangereux penchant pour les marelles plus grandes que nous; beaucoup plus grandes. C'était nos mères, bien entendu, qui séchaient nos larmes et pansaient nos paumes, nos genoux. Mais ça, c'est une autre histoire.
La marelle est une écriture, c'est-à-dire une série de règles, qui rend périlleux l'espace qu'elle détermine. Une erreur, à la marelle, est une chute dans le vide, une condamnation au suspens, un risque de ne pas finir le jeu, un danger de mort. La marelle est une pratique du saut. La lecture est aussi comme cela.
Maintenant, si vous croyez que le texte qui suit ressemble en quelque façon à une marelle, à vous de jeter la première pierre.
6
Darné, Jacques. "Autour du problème d’Andreadakis." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I009/document.
Full textAbstract:
Soit $F_n$ le groupe libre de rang $n$. On considère le groupe $IA_n$ des automorphismes de $F_n$ qui agissent trivialement sur son abélianisé. Deux filtrations canoniques de $IA_n$ sont définies : la première est sa suite centrale descendante $\Gamma_*$ ; la seconde est la filtration d’Andreadakis $\mathcal A_*$, définie à partir de l’action sur $F_n$. Le problème d’Andreadakis est l’étude de la différence entre ces deux filtrations. Après avoir mis en place un cadre général pour l’étude de telles filtrations et des filtrations sur les algèbres de groupes qui leur sont associées, nous étudions différentes versions de ce problème. En particulier, nous examinons sa restriction à certains sous-groupes de $IA_n$ : nous montrons que les deux filtrations coïncident si on les restreint aux groupes triangulaires et aux groupes de tresses. Nous examinons aussi le problème stable : nous montrons que le morphisme canonique entre les algèbres de Lie associées aux filtrations est surjectif si $n$ est assez grand devant le degré considéré. Nous étudions également une version $p$-restreinte du problème, calculant au passage l’algèbre de Lie du groupe de congruence. Les méthodes employées sont essentiellement d’ordre algébrique. Elles proviennent de la théorie combinatoire des groupes ainsi que d’outils développés pour l’étude des groupes de difféotopie, et sont souvent reformulées avec un langage catégorique appropriéLet $F_n$ be the free group on $n$ generators. Consider the group $IA_n$ of automorpisms of $F_n$ acting trivially on its abelianization. There are two canonical filtrations on $IA_n$: the first one is its lower central series $\Gamma_*$; the second one is the Andreadakis filtration $\mathcal A_*$, defined from the action on $F_n$. Andreadakis asked if and how these filtrations were different. We begin by describing a framework adapted to the study of such filtrations and their counterparts on group algebras. We then study several versions of the problem. In particular, we look at its restriction to some subgroups of $IA_n$ : we show that the two filtration coïncide when restricted to the triangular subroups and to braid groups. We also consider a stable version of the problem : we establish that the canonical morphism between the associated graded Lie rings is surjective when $n$ is big enough compared to a fixed degree. We also investigate a $p$-restricted version of the Andreadakis problem, and provide a calculation of the Lie algebra of the classical congruence group. Our methods are algebraic in nature. The tools come from combinatorial group theory and the study of mapping class groups; we often introduce some categorical langage to reformulate them
7
Venken, Jacques. "Autour du théorème chinois." Lille 1, 1989. http://www.theses.fr/1989LIL10012.
Full text
8
Blanchard, Hugues. "Autour des nilvariétés isospectrales." Université Joseph Fourier (Grenoble), 1998. http://www.theses.fr/1998GRE10133.
Full textAbstract:
Dans le premier chapitre de cette these, on etudie les varietes de wallach (quotients de su(3) par un sous-groupe de dimension 1). En utilisant les resultats de h. Urakawa, on montre que les varietes de wallach isospectrales sont isometriques et que, pour tout n entier, il existe deux varietes de wallach non isospectrales partageant les memes n premieres valeurs du spectre du laplacien. Dans le second chapitre, nous construisons une famille a trois parametres de varietes resolubles isospectrales. Pour montrer l'isospectralite de ces varietes nous utilisons une formule de trace due a c. Gordon et d. Deturk tres legerement adaptee. Pour prouver la non isometrie, nous montrons que les distances entre certaines sous-varietes caracterisees geometriquement ne sont pas constantes. Dans le troisieme chapitre nous etablissons une formule de trace reliant le spectre du laplacien des nilvarietes de type heisenberg (a noyau de dimension impaire) a un spectre des longueurs particulier. Pour cela nous utilisons une methode basee sur la transformation de fourier et le calcul des residus. Cette formule de trace nous donne une correspondance entre le spectre d'une telle nilvariete et les spectres des tores de la base et de la fibre.
9
Bergeron, Jean-François. "Méditations autour de Socrate." Doctoral thesis, Université Laval, 2017. http://hdl.handle.net/20.500.11794/28222.
Full textAbstract:
Socrate, aujourd'hui. Quelle pertinence ? Quelle utilité ? Que nous enseignerait-il ? De quoi nous libérerait-il ? Où nous mènerait-il ? Répondre à ces questions, indubitablement, c'est refaire le procès de Socrate, donner notre jugement sur ce dernier. Remarquons que, jour après jour, notre monde serait très près de condamner, comme les Athéniens de l'époque, le philosophe. Alors que nous nous imaginerions une distance infinie entre les contempteurs de Socrate et nous, notre parenté en est presque immédiatement démontrée par cette seule opinion. D'ailleurs, notre préoccupation centrale est de bien déterminer ce qui, dans notre monde, encouragerait la mise à mort de Socrate et ce qu'il incarne parfaitement, la philosophie. Notre thèse est là, qu'est-ce qui tue Socrate ? Y répondre éclairera aussi les questions se résumant au bien supposé qu'il peut faire à notre civilisation. Bref, tentons de ne point répéter les mêmes bourdes que certains Athéniens. Il nous faut, impérativement, devenir meilleurs, nous tourner vers le Bien. Nos vies en dépendent. Nous dépendons de Socrate.Socrates today. What relevance? What use? What would he teach us? What would he free us from? Where would he lead us? To answer these questions, no doubt, is to do over again the trial of Socrates, and to judge the latter ourselves. It is noteworthy that, day after day, our world remains very near condemning the philosopher, as did the Athenians of that time. While we might imagine there may lie an infinite distance between those despisers of Socrates and ourselves, our actual kinship with them is almost immediately brought to the fore by this opinion alone. Our central concern here is, in point of fact, precisely to determine what, in our present world, would indeed encourage the killing of Socrates as well as of what he perfectly embodies, philosophy. There lies our thesis: what is it that kills Socrates? To try to answer this should also help clarify all questions related to what good a Socrates may bring to a civilization such as ours; in a word, then, how not to repeat such blunders as those committed by the Athenians against him. We must imperatively become better, turn to the Good. Our lives depend on it. We depend on Socrates.
10
Markert, Daniel. "Entwicklung einer generischen Testumgebung für Automotive Software Systems." Master's thesis, Universitätsbibliothek Chemnitz, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-218589.
Full textAbstract:
Kurz nach der Jahrtausendwende führte die steigende Innovation und Komplexität von entwickelten Automotive-Systemen zum Anstieg der Anzahl von installierten elektronischen Systemen in Fahrzeugen. Dies wurde und wird noch immer durch die stetig wachsende Anzahl von rechtlichen und sicherheitstechnischen Vorgaben verstärkt. Da ein signifikanter Teil der Entwicklungskosten neuer Systeme in der Softwareentwicklung auf den im Automotive-Bereich verwendeten Steuergeräten (Electronic Control Unit, oder ECU) entsteht, wurde 2003 der AUTOSAR Developement Partnership ins Leben gerufen. Das Ziel dieser Arbeit ist, ein einheitliches System zu realisieren, in welchem eine vom Anbieter unabhängige Testbasis für AUTOSAR-konforme Tests ermöglicht werden soll, so dass ein Begleiten des Entwicklungsprozesses möglich ist. Es sollen sich Testmodule verschiedener Art am System anmelden und schließlich einem Arbeitsfluss zur Absicherung von AUTOSAR-Steuergeräten zur Entwicklungszeit hinzugefügt werden.
11
Krishnadas, Sreenath. "Concept and Implementation of AUTOSAR compliant Automotive Ethernet stack on Infineon Aurix Tricore board." Master's thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-212626.
Full textAbstract:
Automotive Ethernet is a newly introduced in-vehicle bus that allows unicast communication between ECUs. It is based on the OSI model of Ethernet, with a few modifications on the physical layer and newly introduced application protocols. AUTOSAR, a consortium of automotive OEMs, Tier-1 suppliers and tool vendors has defined a standard software architecture that simplifies the ECU software development with its well defined software specifications and APIs. The Automotive Ethernet stack is now an integral part of the latest AUTOSAR specification release 4.2. Infineon Aurix TriCore TC27x microcontroller is a popular board used in ADAS applications. The board has support for Fast Ethernet. This thesis investigates the setting up of an Ethernet communication on the TriCore board running under AUTOSAR software architecture. The various modules of the AUTOSAR Ethernet stack are familiarized and configured. This is followed up by validating the implementation on the Ethernet physical layer. The validation is based on a real Ethernet communication between the TriCore board and the Vector VN5610 network interface card. TCP and UDP based connections between the AUTOSAR compliant board and the VN5610 are tested and validated. A test suite for evaluating the protocol conformance of the AUTOSAR Ethernet stack exists at Bertrandt. The final step of this thesis involved the execution strategies for this test suite.
12
Leib, Markus. "Konzeption und Implementierung eines Werkzeugs für den Test von AUTOSAR Applikationen mit Intra-ECU Kommunikation." Master's thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-206251.
Full textAbstract:
Die Möglichkeit, komplexe Applikationen für Steuergeräte zu entwerfen und zu implementieren wird durch die Systemarchitektur AUTOSAR stark vereinfacht. Ein Applikations-Entwickler implementiert nur noch die reine Funktionalität, während der Teil, der die Interaktion mit der Hardware ermöglicht, von entsprechenden Werkzeugen automatisch generiert wird. Viele Hersteller bieten hierfür Produkte, die vom grafischen Entwurf der Software bis zu finalen Tests des fertigen Steuergeräte-Codes alles abdecken. Zentrales Element ist hierbei immer die AUTOSAR-XML, welche alle Informationen zur Anwendung aufnimmt. Dadurch können verschiedene Zulieferer einzelne Module zu einer Anwendung beisteuern. Durch den technologischen Fortschritt und die Integrierbarkeit von verfügbaren Teilsystemen oder einzelnen Komponenten werden eingebettete Systeme immer komplexer ([Har02]). Daher müssen neue Spezifikationen erstellt und demzufolge neue AUTOSAR-Versionen publiziert werden. Die Hersteller müssen sich an diese neuen Vorgaben halten, um so konkurrenzfähig auf dem Markt zu bleiben ([ZS14]).
13
Sacerdotti, Franco. "Surface topography characterisation of autobody panels." Thesis, Brunel University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.326923.
Full text
14
Djelloul, Khalil. "théories complètes autour des arbres." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2006. http://tel.archives-ouvertes.fr/tel-00474384.
Full textAbstract:
The goal of this thesis is the study of a harmonious way to combine any first order theory with the theory of finite or infinite trees. For that: First of all, we introduce two classes of theories that we call \emph{infinite-decomposable} and \emph{zero-infinite-decomposable}. We show that these theories are complete and accept a decision procedure which for every proposition gives either $\vrai$ or $\faux$. We show also that these classes of theories contain a large number of fundamental theories used in computer science, we can cite for example: the theory of additive rational or real numbers, the theory of the linear dense order without endpoints, the theory of finite or infinite trees, the construction of trees on an ordered set, and a combination of trees and ordered additive rational or real numbers. We give then an automatic way to combine any first order theory $T$ with the theory of finite or infinite trees. A such hybrid theory is called \emph{extension into trees} of the theory $T$ and is denoted by $T^*$. After having defined the axiomatization of $T^*$ using those of $T$, we define a new class of theories that we call \emph{flexible} and show that if $T$ is flexible then $T^*$ is zero-infinite-decomposable and thus complete. The flexible theories are first order theories having elegant properties which enable us to handle easily first order formulas. We show among other theories that the theory $\add$ of ordered additive rational numbers is flexible and thus that the extension into trees $\addd$ of $\add$ is complete. Finally, we end this thesis by a general algorithm for solving efficiently first order constraints in $\addd$. The algorithm is given in the form of 28 rewriting rules which transform every formula $\varphi$, which can possibly contain free variables, into a disjunction $\phi$ of solved formulas equivalent to $\varphi$ in $\addd$ and such that $\phi$ is either the formula $\vrai$, or the formula $\faux$, or a formula having at least one free variable and being equivalent neither to $\vrai$ nor to $\faux$ in $\addd$. Moreover, the solutions of the free variables of $\phi$ are expressed in a clear and explicit way in $\phi$.
15
Laurent, Arthur. "Autour des nombres de Tamagawa." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00858435.
Full textAbstract:
Les nombres de Tamagawa des courbes elliptiques apparaissent dans la formulation de la conjecture de Birch et Swinnerton-Dyer comme certains facteurs locaux. Bloch et Kato (1990) ont trouvé une vaste généralisation de cette définition classique en termes de la théorie de Hodge p-adique. Ils ont associé un nombre de Tamagawa Tam(T) à tout réseau T de représentations p-adiques de de Rham au sens de J.-M. Fontaine. Ces nombres interviennent dans les conjectures de Bloch et Kato sur les valeurs spéciales des fonctions L des motifs.J.-M. Fontaine et B.Perrin-Riou ont formulé une conjecture reliant Tam(T) et le nombre de Tamagawa Tam(T*}(1)) de la représentation duale. Cette conjecture est connue pour les représentations cristallines ce qui permet de calculer explicitement les nombres de Tamagawa des représentations cristallines dont les poids de Hodge-Tate sont tous positifs. En revanche, dans la plupart des autres cas, nous n'avons pas de méthode de calcul explicite. Cette thèse a pour but de donner un encadrement des nombres de Tamagawa des représentations absolument cristallines le long de la tour cyclotomique sans hypothèses supplémentaires sur les poids de Hodge-Tate. Le premier chapitre de cette thèse est dédié à des rappels sur la théorie de Hodge p-adique, la classification de Fontaine des représentations p-adique de corps locaux via la théorie des (phi, Gamma)-modules, sur la cohomologie galoisienne, sur les modules de Wach ou sur la cohomologie d'Iwasawa. Le second chapitre est dédié à l'exponentielle de Bloch and Kato. Seront rappelées sa définition et sa construction de l'exponentielle de Bloch and Kato en termes de (phi, Gamma)-modules faite par D.Benois. Cette dernière construction permet de généraliser deux résultats de D.Benois et L.Berger qui relient l'exponentielle aux modules de Wach et qui permet de décrire des objets qui apparaissent naturellement dans l'étude des nombres de Tamagawa. Le dernier chapitre est le cœur de cette thèse. Nous commencerons en définissant les nombres de Tamagawa Tam(T) et en donnant certaines propriétés et résultats déjà connus. Nous énonçons ensuite le théorème final qui donne un encadrement des nombres de Tamagawa d'une représentation absolument cristalline V. Y sont également donnés certains cas d'égalité qui permettent de retrouver des formules connues --- lorsque V est positive ou lorsqu'elle provient d'une courbe elliptique et plus généralement d'un groupe formel de dimension 1 et de hauteur 2. Pour prouver ces résultats, nous écrivons les nombres de Tamagawa sous forme d'un indice généralisé dans lequel apparaissent les objets étudiés dans le chapitre précédent. La thèse se termine avec l'étude de plusieurs cas particuliers qui permettent de retrouver des résultats déjà connus.
16
Aval, Jean-Christophe. "Combinatoire autour du groupe symétrique." Habilitation à diriger des recherches, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00978093.
Full textAbstract:
Cette HDR présente mes travaux récents en combinatoire (énumérative et algébrique) autour du groupe symétrique, et répartis sur trois axes principaux : les co-quasi-invariants polynomiaux, les matrices à signes alternants et les tableaux boisés.
17
Sguerra, Fabien. "Variation autour de la porphyrine." Phd thesis, Université de Strasbourg, 2012. http://tel.archives-ouvertes.fr/tel-00840225.
Full textAbstract:
Ces travaux de thèse traitent de l'exploitation des nombreuses propriétés chimiques, physiques et structurales qu'offre le macrocycle porphyrinique.Le premier chapitre présente la sensibilisation de lanthanides émettant dans le proche-infrarouge par un chromophore porphyrinique. La synthèse d'une porphyrine substituée par deux 8-hydroxyquinoléines, sa métallation avec des lanthanides (La, Nd, Yb et Gd) ainsi que les propriétés photophysiques de ces complexes sont présentées. La synthèse de porphyrines fonctionnalisées par des oxamates orientés de façon convergente dans le but de diminuer les désactivations non radiatives du lanthanide par vibrations des liaisons est également étudiée. Le second chapitre décrit la synthèse de porphyrines substituées par deux groupements pyridyl et éthynylpyridyl en position méso-trans. La métallation du macrocyclique porphyrinique par du Zn(II) conduit à la formation de réseaux de coordination mono- ou bi-dimensionnels dont la topologie est dépendante de la nature de la porphyrine. Le troisième chapitre présente la fonctionnalisation de surface par chimi- ou par physi-sorption d'un réseau de coordination directionnel. Dans un premier temps la synthèse de porphyrines substituées par des pyridines et des terpyridines est présentée. Puis l'adsorption de ces tectons sur une surface de graphite est décrite. Enfin une dernière partie traite de la synthèse de porphyrines fonctionnalisées par deux ou quatre bras possédant des substituants soufrés, qui après chimisorption sur une surface d'or, pourraient servir de point d'ancrage à la construction d'un réseau de coordination directionnel perpendiculaire à la surface.
18
Megahed, Néfertiti. "Autour des algèbres de Malcev." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37616131k.
Full text
19
Rouanet, Patrick. "Autour de singularités de fonctions." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37618154q.
Full text
20
Sangnier, Marc. "Essais autour du capital social." Paris, EHESS, 2012. http://www.theses.fr/2012EHES0125.
Full textAbstract:
Le capital social est constitué des valeurs qui poussent les individus à coopérer et à agir avec réciprocité et empathie en l'absence de tout mécanisme de contrôle formel. Le capital social se manifeste au travers de la confiance, mais aussi via les opinions favorables à la responsabilité collective plutôt qu'individuelle en ce qui concerne la sécurité économique. Cette thèse amène de nouvelles réponses aux deux questions fondamentales que se pose la littérature. Quelles sont les conséquences des différences en matière de valeurs sur l'activité économique ? Qu'est-ce qui détermine l'existence de telles valeurs ? Les deux premiers chapitres s'intéressent à la relation entre la confiance d'une part, et la volatilité macroéconomique et le développement financier d'autre part. L'analyse montre que la confiance réduit la volatilité économique et favorise le développement financier tant dans l'espace que dans le temps. Le troisième documente une relation non-monotone entre normes de coopération et générosité de l'état-providence. Des états-providences généreux peuvent exister à la fois dans des pays dotés d'un fort niveau de confiance et dans ceux où elle est plus faible si les citoyens sont nombreux à profiter indûment du système d'assurance sociale. La question de l'origine des valeurs est abordée dans les deux derniers chapitres. Le quatrième s'intéresse à la persistance des valeurs liées au mythe des débuts de l'industrie minière aux États-Unis : la responsabilité individuelle et l'opposition à l'intervention publique. Le dernier se penche sur les changements de la confiance envers les dirigeants et les institutions en Afrique à la suite d'émeutes ou de manifestationsSocial capital is made from all values that push individuals to cooperate, to act with reciprocity or empathy in the absence of any formal control mechanism. Social capital manifests itself through trust, but also through opinions toward collective rather than individual responsability in economic activity. This thesis contributes to the economic literature interested in the role of norms by giving additional answers to its two fundamental questions. First, what are the consequences of differences in values on economic performance ? Second, where do these values come from ? The first two chapters document the relationship between trust on the one hand, and macroeconomic volatility and financial development on the other hand. It is shown that higher trust reduces macroeconomic volatility and fosters financial development across space and time. The third chapter rationalizes and documents a non-monotonic relationship between norms of cooperation and the generosity of the welfare state. It is shown that large and generous welfare states can be sustained both with high and low levels of trust, provided that a low level of trust is compensated with a large share of uncivic individuals who unduly use the social system. The question of the formation of values is tackled in the two last chapters. The fourth one documents the long-term persistence of values associated with the funding myths of mining activity in the United States : individual self-responsability and opposition to public intervention in the economy. The last chapter focuses on short term changes of trust in leaders and institution among Africans in the aftermath of riots and protests
21
Juin, Gérard. "Autour de la fonction [omega]/." Limoges, 1996. http://www.theses.fr/1996LIMO0053.
Full textAbstract:
Le premier chapitre de cette these donne une presentation de la fonction arithmetique ainsi que certaines de ses proprietes. On donne ensuite les principaux resultats connus sur la fonction n (x, k, p#0) qui compte le nombre d'entiers naturels inferieurs au reel x, ayant k facteurs premiers (comptes avec multiplicite), tous superieurs au nombre premier p#0. Le cas p#0 = 2 est distingue des autres. Le deuxieme chapitre fournit la demonstration d'un nouveau resultat sur la fonction n (x, k, p#0), uniforme en k, pour p#0 assez grand et inferieur a la quantite (log log log x/k(39p#0) #1#-# ou est un reel quelconque compris entre 0 et 1 et fixe a l'avance. Ce resultat generalise le resultat de m. Balazard de 1987: sur la repartition des valeurs de certaines fonctions arithmetiques additives. Le troisieme chapitre donne d'autres resultats sur cette meme fonction. Ces resultats uniformes en k et p#0 sont obtenus a partir de ceux de k. Alladi dans un article de 1982 intitule the distribution of (n) in the sieve of eratostenes
22
Fuser, Alain. "Autour de la conjecture d'Alexandru." Nancy 1, 1997. http://www.theses.fr/1997NAN10289.
Full textAbstract:
La preuve des conjectures de Vogan - dites de Kazhdan-Lusztig - procède par induction sur un certain ordre appelé ordre de Bruhat. Dans ce mémoire nous énonçons une conjecture, que nous appelons conjecture d'Alexandru, essayant de relier ce principe d'induction à certaines propriétés élémentaires des catégories sous-jacentes - que ce soit la catégorie O de BCG ou la catégorie H des modules de Harish-Chandra. [. . . ]
23
Even, Christian. "Autour du lambda-calcul partiel." Lille 1, 1993. http://www.theses.fr/1993LIL10045.
Full textAbstract:
Cette thèse a pour objet l'étude des aspects syntaxiques, algébriques et catégoriques du lambda-calcul partiel, qui est un outil théorique pour étudier l'équivalence de programmes exécutées selon un mécanisme d'appel par valeur. En appliquant des techniques éprouvées dans le lambda-calcul pur et en les adaptant à ce calcul on a ainsi obtenu: 1) une preuve de la confluence pour un lambda-calcul partiel simplifie; 2) la caractérisation d'une classe de termes fortement normalisables par un système de types simples; 3) la caractérisation des termes égalisables à une valeur dans le lambda-calcul partiel comme conséquence de celle obtenue par un système de types dans le lambda-calcul par valeur, calcul antérieur et de même vocation que le précédent, mais moins expressif; 4) l'élaboration d'une notion d'algèbre combinatoire répondant à celle de modèle du lambda-calcul partiel et de la relation de cette notion avec la donnée d'une catégorie cartesienne fermée partielle munie d'un objet réflexif
24
Messaoudi, Ali. "Autour du fractal de Rauzy." Aix-Marseille 2, 1996. http://www.theses.fr/1996AIX22079.
Full textAbstract:
L'objet de cette these est l'etude des proprietes arithmetiques, geometriques et dynamiques engendrees par une classe de compacts de r#n, associee a des systemes dynamiques symboliques provenant de substitutions. Les compacts que nous etudions ont la particularite d'etre connexes, a l'interieur simplement connexe, a frontiere fractale et ils induisent un pavage periodique de r#n. Ces ensembles sont appeles fractals. Pour ne pas avoir une terminologie lourde, nous traitons le cas du fractal de rauzy. Dans le deuxieme chapitre, nous etudions les proprietes du fractal de rauzy et faisons une synthese de toutes les methodes de sa construction. Ensuite, nous nous interessons a sa frontiere. Le probleme de la frontiere du fractal de rauzy est equivalent au probleme des developpements impropres des complexes dans une base complexe ( entier algebrique) avec des chiffres dans un ensemble fini. Nous construisons un automate fini reconnaissant ces developpements, ce qui nous permet de parametriser la frontiere du fractal de rauzy, de calculer sa dimension de hausdorff et de montrer que c'est un quasi-cercle. Dans le troisieme chapitre, nous donnons une methode de construction des points strictement extremaux du fractal de rauzy. Cette construction permet de determiner l'enveloppe convexe du fractal de rauzy. Dans le quatrieme chapitre, nous etudions la dynamique du fractal de rauzy. Nous explicitons son lien avec un systeme dynamique symbolique substitutif, un systeme adique stationnaire et avec le codage d'un automorphisme hyperbolique du tore t#3. Dans le cinquieme chapitre, nous presentons une methode geometrique liee au fractal de rauzy pour calculer la fonction de recurrence du point fixe de la substitution de rauzy. Dans le dernier chapitre, nous etudions l'associativite de la multiplication de fibonacci (loi de composition interne sur n definie par d. Knuth) associee a une classe de suites recurrentes d'ordre deux et a la suite de tribonacci (t#n) (t#n#+#2 + t#n#+#1 + t#n)
25
Jelecevic, Edin, and Thong Nguyen Minh. "VISUALIZE REAL-TIME DATA USING AUTOSAR." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-76618.
Full textAbstract:
Today there are more cars on the road than ever before, the automotive industry is continually expanding and adapting to meet the need of new technologies. To improve complexity management and reduce engineering time and cost Automotive Open System Architecture, better known as AUTOSAR, has been introduced which aims to standardize Electronic Control Units (ECUs) . Today the AUTOSAR standardization is used for the automotive industry, the purpose of the thesis is to investigate whether the standard can be used for something which has no direct connection to the automotive industry. The work done in the report is giving background information about AUTOSAR and the project is using AUTOSAR to visualize real-time data from the web on a LED-sheet. In this project a physical visualization board has been created and the code was written within the integrated software development environment Arctic Studio and its tools, the visualization board will be used at the ARCCORE office in Linköping.Idag finns det fler bilar på vägarna än någonsin tidigare, fordonsindustrin expanderar ständigt och anpassar sig efter behovet av ny teknik. För att förbättra komplexitets hanteringen och minska tillverkningstider och kostnader så har Automotive Open System Architecture, närmare känt som AUTOSAR, införts som har målet att standardisera elektroniska styrenheter (ECUn). Idag används AUTOSAR-standardiseringen för fordonsindustrin, vad projektet kommer att utforska är att se om man kan använda standarden för något som inte har någon direkt koppling till fordonsindustrin. Rapporten ger en förklaring om AUTOSAR, i projektet så används AUTOSAR för att visualisera realtidsdata från webben på en LED-karta. I detta projekt har en fysisk visualiseringstavla skapats där kod skrevs inom den integrerade mjukvaruutvecklingsmiljön Arctic Studio, visualiseringstavlan kommer att användas på ARCCOREs egna kontor i Linköping.
26
Mittag, Roland. "Entwicklung Statischer Analysen für AUTOSAR Steuergerätesoftware." Master's thesis, Universitätsbibliothek Chemnitz, 2018. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-232241.
Full textAbstract:
Durch die Einführung der Systemarchitektur AUTOSAR im automobilen Umfeld, können Applikationen unabhängig von der verwendeten Hardware oder der genutzten Kommunikationssysteme entwickelt werden. Dadurch können Funktionen wieder verwendet werden, was Zeit und Ressourcen einsparen kann. So können Funktionen, die sich etabliert haben, in späteren Entwicklungen durch Anpassung in der Konfiguration genutzt werden ohne dabei den Quellcode zu ändern. Jedoch stellt die große Zahl an Parametern in der AUTOSAR Architektur große Herausforderungen an die Absicherung eines Steuergerätes. Dieser Aspekt wird durch eine meist heterogene Toollandschaft verstärkt. Umso wichtiger ist es, dass während der Entwicklung von AUTOSAR Steuergeräten statische Analysen die Software und die Konfiguration überprüfen, um so die Softwarequalität sicherstellen zu können. In der Masterarbeit werden eine Menge von AUTOSAR spezifischen statischen Analysen für die einzelnen Schichten eines AUTOSAR Steuergerätes entwickelt. Für die Analyse werden Einstellungsdateien (nach Standard und Firmenspezifische) und der Quellcode an sich genutzt. Die Analysen geben optional Korrekturvorschläge an den Entwickler. Die Umsetzung erfolgt in einem C# Prototyp und wird an der Lichtsteuerung des Automotive Demonstrator YellowCar angewendet werden.
27
Ravi, Divya. "Generation of AUTOSAR Diagnostic Communication Manager." Master's thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-203846.
Full textAbstract:
AUTOSAR was created as a standard software infrastructure to be able to fulfill a very large amount of requirements. These days, more and more OEMs are trying to introduce AUTOSAR in their products. Since there are a large amount of diagnostic IDs needed in the Engine control unit and also a huge effort is necessary to configure the ECU, it is very much important to have a tool to generate some parts of the Engine Control Unit software, most importantly the diagnostics software. Diagnostic Communication manager is one such AUTOSAR module which deals with a huge amount of diagnostic data identifiers. Also at BEG, In the actual Non-AUTOSAR Bosch Automotive software, there are a number of different features that are needed and expected in the future AUTOSAR software. The aim of this thesis is to develop a tool that successfully introduces AUTOSAR in the BEG projects with all the necessary features and that is best in terms of Usability, Maintainability, and Improvability. This tool has to generate the complete AUTOSAR Diagnostic communication manager software with all the necessary features. The work can be divided into two parts. The first part includes a complete analysis of the existing tools that are used to generate configuration files and code. Then, List out all the possibilities of each tool, find their advantages and disadvantages and compare each of the tools, either individually or as a combination of tools. This is followed by documenting the choice of best way to generate AUTOSAR DCM with all the necessary features. In the second part, the implementation is carried out. After the best tool is chosen, the implementation of the features for that particular tool is planned accordingly so that it generates the DCM software. Implementation is made and then it is tested with the existing test bench.
28
Alexandersson, Johan, and Olle Nordin. "Implementation of CAN Communication Stack in AUTOSAR." Thesis, Linköpings universitet, Datorteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-119405.
Full textAbstract:
In the automotive industry today, embedded systems have reached a level of complexity which is not maintainable with the traditional approach of design- ing automotive embedded systems. For this purpose, many of the worlds leading automotive manufacturers have formed an alliance to apprehend this problem. This has resulted in AUTOSAR, an open standardized architecture for automotive embedded systems, which strives for increased flexibility and safety regulations. This thesis will explore the possibilities of implementing a CAN Communication stack using the AUTOSAR architecture and its corresponding methodology. As a result of this thesis, a complete AUTOSAR CAN communication stack has been implemented, as well has a simulator application with the purpose of testing its functionality.
29
Layal, Vibhu. "Analysis and Specification of an AUTOSAR based ECU in compliance with ISO 26262 Functional Safety Standard." Master's thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-212572.
Full textAbstract:
Safety has been always been an important part, irrespective of the field of work that it accounts for. The functional safety standard that is currently being used in the automotive domain is the ISO 26262. This is an adaptation of the IEC 61508 safety standard. It is directed as a basic functional safety standard for a variety of industries. The version of ISO 26262 that is used in this thesis is the final draft released in January, 2011.
In this thesis, various parts of the ISO 26262 functional safety standard are considered in order to understand the differences and interdependencies between them. The parts of ISO 26262 that are treated are as follows; Part 1: Vocabulary, Part 3: Concept phase, Part 4: Product development at the system level, Part 6: Product development at the software level and Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safety-oriented analysis. During the entire course of this thesis the ISO 26262 standard is evaluated and the experience gained from it is jotted down.
The understanding gained during this thesis about the ISO 26262 can be applied to ongoing or new development processes. As safety can never be overlooked, the wisdom that belongs to the ISO 26262 can be generously used into embedded systems that demand certain levels of safety.
30
De, La Rochefoucauld Thomas. "Autour de la conjecture de parité." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2012. http://tel.archives-ouvertes.fr/tel-00747423.
Full textAbstract:
Cette thèse porte sur des questions liées à la conjecture de parité. On démontre la conjecture de p-parité pour un certain twist d'une courbe elliptique sur un corps local. On en déduit des résultats globaux d'invariance de la conjecture de p-parité (pour une courbe elliptique) par certaines extensions. Avec l'objectif de généraliser les résultats précédents, on démontre une formule pour les signes locaux des représentations essentiellement symplectiques et modérément ramifiées du groupe de Weil. Cette formule généralise celle, déjà connue, pour les courbes elliptiques ayant potentiellement bonne réduction. Finalement, on fait un premier pas vers la généralisation escomptée en comparant les nombres de Tamagawa et les constantes de régulation pour certains prémotifs.
31
Rousseau, Erwan. "Autour de l'hyperbolicité en géométrie complexe." Habilitation à diriger des recherches, Université de Strasbourg, 2010. http://tel.archives-ouvertes.fr/tel-00533575.
Full textAbstract:
L'étude des courbes entières dans les variétés complexes a déjà une longue histoire que l'on peut faire remonter au petit théorème de Picard. Les variétés complexes hyperboliques sont actuellement très étudiées notamment par les liens fascinants que l'hyperbolicité a avec la géométrie arithmétique. A la suite de Lang et Vojta, on dispose de conjectures sur les liens entre hyperbolicité analytique et arithmétique e.g. la densité des courbes entières et celle des points rationnels.On décrit dans ce texte de synthèse différentes approches possibles du problème de l'hyperbolicité: équations différentielles algébriques, structures orbifoldes et courants d'Ahlfors.
32
Yao, Yi-Jun. "Autour des déformations de Rankin-Cohen." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00002414.
Full textAbstract:
Dans cette thèse on s'attache à étudier les crochets de Rankin-Cohen et les déformations correspondantes selon de différents points de vue. On présente d'un côté une nouvelle interprétation des déformations de Rankin-Cohen via la théorie de "Quantification par Deformations de Fedosov(en collaboration avec P. Bieliavsky et X. Tang). On parvient notamment à redémontrer un théorème de Connes-Moscovici sur la déformation formelle des algèbres sous l'action d'une algèbre de Hopf H1 munie d'une structure projective. De l'autre cote on donne dans Chapitre III une interprétation détaillée des crochets de Rankin-Cohen via la théorie de représentations unitaires de SL2(R) et en utilisant cette interprétation on étudie certaines propriétés des produits déformés, notamment l'unicité des produits construits par Cohen-Manin-Zagier et une propriété de séparation du produit d'Eholzer. Dans le dernier chapitre on donne une démonstration élémentaire de l'identité combinatoire qui est cruciale pour démontrer l'associativité dans l'approche de la question de déformations par Cohen-Manin-Zagier, Eholzer, et Connes-Moscovici.
33
Viennot, Laurent. "Autour des graphes et du routage." Habilitation à diriger des recherches, Université Paris-Diderot - Paris VII, 2005. http://tel.archives-ouvertes.fr/tel-00471731.
Full textAbstract:
Le chapitre~2 retrace rapidement la problématique du routage, notamment dans l'Internet (qui servira d'exemple introductif dans la plupart des chapitres), les réseaux ad hoc, le graphe du web et les réseaux de pair à pair. Le chapitre~3 est consacré au routage «~de l'un vers tous~», c'est à dire au problème de diffusion d'un message à tous les membres d'un réseau. Le chapitre~4 traite du routage dans son sens le plus classique, c'est-à-dire quand il s'agit d'envoyer un message «~d'un n{\oe}ud vers tel autre~». Nous considérerons ensuite le problème plus pratique qui consiste à envoyer un message vers un n{\oe}ud défini de manière indirecte, ce que j'ai appelé «~de l'un vers celui qui~». Les deux derniers chapitres s'intéressent enfin à la dynamique des réseaux concernant l'algorithmique distribuée entre les n{\oe}uds ou le réseau lui-même. Le chapitre~6 décrit ainsi une classe très générale d'algorithmes de réseau à base d'itérations asynchrones qui fonctionne dès que des messages envoyés régulièrement sont reçus «~de temps à autre~». Le chapitre~7 développe ensuite quelques points liés à l'aspect dynamique de certains réseaux~: «~quand ça bouge~» tant du point de vue des connexions entre n{\oe}uds que de la présence des n{\oe}uds.
34
Desort, Morgan. "Recherche de planètes autour d'étoiles chaudes." Phd thesis, Grenoble 1, 2009. http://tel.archives-ouvertes.fr/tel-00528996.
Full textAbstract:
Parmi les 400 exoplanètes découvertes, seulement une petite fraction sont en orbites autour d'étoiles plus massives que les étoiles de type solaire. Afin de contraindre les scénarios de formation et d'évolution des systèmes planétaires dans leur globalité il est cependant nécessaire de s'intéresser à la détection de planètes autour de telles étoiles. Dans le cadre de cette thèse je me suis focalisé sur les étoiles A et F de la séquence principale. La mesure de vitesses radiales (VR) précises est délicate pour ces étoiles (peu de raies, rotation élevée), de plus la présence de pulsations ou d'activité magnétique perturbent les mesures et peuvent faire croire à la présence de planètes. D'une part, des relevés systématiques ont permis la détection de plusieurs candidats et la détermination des premières statistiques sur la présence de planètes autour des étoiles A-F. D'autre part, des simulations numériques nous ont permis de simuler l'effet des taches, plages et pulsations sur les variations de VR, photométrie et astrométrie. Grâce à cela, nous avons effectué une étude quantitative complète de l'effet d'une tache à la surface d'étoiles de types spectraux variés et pour différentes configurations (position, taille, vsini). Nous avons aussi simulé l'effet des taches et plages (extraites des observations) sur les VR du Soleil telles qu'elles auraient pu être mesurées sur plus d'un cycle d'activité. A l'aide de ces simulations, nous avons étudié la détectabilité de planètes de masse terrestre dans la zone habitable d'étoiles de type solaire.
35
Hergoualch, Jessica. "Autour du problème de la couronne." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2004. http://tel.archives-ouvertes.fr/tel-00007935.
Full textAbstract:
On s'intéresse dans un premier temps à un problème de division dans les espaces de Hardy de la boule B de C^n. Il s'agit, étant données m fonctions g_1,...,g_m holomorphes et bornées dans B, et une fonction f holomorphe dans B, de donner une condition suffisante, plus faible que l'hypothèse classique de la couronne, pour qu'il existe m fonctions f_1,...,f_m dans un espace de Hardy de B vérifiant f_1g_1+...+f_mg_m=f. La démonstration repose sur l'utilisation du complexe de Koszul, et la résolution du d" avec de bonnes estimations. La principale nouvelle difficulté, par rapports aux travaux antérieurs, provient du fait que les fonctions g_1,...,g_m peuvent s'annuler simultanément. Dans un deuxième temps on s'intéresse au problème de la couronne dans les espaces de Hardy du bidisque muni de son bord topologique. On donne un résultat de résolution du d" dans le bidisque avec estimations dans Lp du bord de celui-ci, quand les donnnées vérifient des hypothèses de type Carleson. Enfin on termine avec un résultat permettant de déduire d'un théorème de la couronne dans un espace de Hardy d'un domaine de C^n, un théorème de la couronne à valeurs dans des espaces vectoriels de dimension finie. Ceci nous permet d'obtenir un théorème de la couronne opérateur dans les espaces de Hardy de la boule et du polydisque muni de son bord distingué.
36
Dollet, Benjamin. "ÉCOULEMENTS BIDIMENSIONNELS DE MOUSSE AUTOUR D'OBSTACLES." Phd thesis, Université Joseph Fourier (Grenoble), 2005. http://tel.archives-ouvertes.fr/tel-00119699.
Full textAbstract:
Cette thèse étudie les écoulements bidimensionnels de mousse autour d'obstacles. Après un rappel du contexte de recherche en rhéologie des mousses, le dispositif expérimental employé est présenté : il s'agit de créer l'écoulement d'une mousse, constituée d'une monocouche de bulles confinée entre une solution savonneuse et une plaque de verre, autour d'un obstacle, et de simultanément mesurer la force exercée par la mousse sur l'obstacle, et les différents champs décrivant l'écoulement à l'échelle locale. Une étude systématique de la traînée sur différents obstacles, ainsi que de la dissipation, en fonction de nombreux paramètres de contrôle (débit, taille des bulles, viscosité de la solution, épaisseur de la monocouche), est ensuite décrite. La traînée se décompose en une traînée seuil, à vitesse tendant verz zéro, et en une partie dynamique, révélant que la mousse se comporte comme un fluide à seuil. Ensuite, les champs suivants : vitesse, contraintes, déformations, réarrangements topologiques, sont étudiés. Les résultats contraignent fortement les modèles rhéologiques, en mettant notamment en évidence une asymétrie amont/aval au niveau de l'obstacle, d'origine élastique. La thèse se termine par une discussion de l'ensemble des résultats ainsi que par des pistes de modélisation théorique des phénomènes décrits.
37
Widmer, Steven. "Autour de la Complexité des mots." Phd thesis, Université Claude Bernard - Lyon I, 2010. http://tel.archives-ouvertes.fr/tel-00812583.
Full textAbstract:
Les principaux sujets d'intérêt de cette thèse concerneront deux notions de la complexité d'un mot infini : la complexité abélienne et la complexité de permutation. La complexité abélienne a été étudiée durant les dernières décennies. La complexité de permutation est, elle, une forme de complexité des mots relativement nouvelle qui associe à chaque mot apériodique de manière naturelle une permutation infinie. Nous nous pencherons sur deux sujets dans le domaine de la complexité abélienne. Dans un premier temps, nous nous intéresserons à une notion abélienne de la maximal pattern complexity définie par T. Kamae. Deuxièmement, nous analyserons une limite supérieure de cette complexité pour les mots C-équilibré. Dans le domaine de la complexité de permutation des mots apériodiques binaires, nous établissons une formule pour la complexité de permutation du mot de Thue-Morse, conjecturée par Makarov, en étudiant la combinatoire des sous-permutations sous l'action du morphisme de Thue-Morse. Par la suite, nous donnons une méthode générale pour calculer la complexité de permutation de l'image de certains mots sous l'application du morphisme du doublement des lettres. Finalement, nous déterminons la complexité de permutation de l'image du mot de Thue-Morse et d'un mot Sturmien sous l'application du morphisme du doublement des lettres.
38
Teyssier, Jean-Baptiste. "Autour de l'irrégularité des connexions méromorphes." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00879175.
Full textAbstract:
Les deux premières parties de cette thèse s'inscrivent dans le contexte des analogies entre l'irrégularité pour les connexions méromorphes et la ramification sauvage des faisceaux l-adiques. On y développe l'analogue pour les connexions méromorphes de la construction d'Abbes et Saito, tout d'abord dans le cas d'un trait, puis en dimension supérieure. En première partie, on prouve une formule explicite reliant les invariants produits par la construction d'Abbes et Saito appliquée à un module différentiel M aux parties les plus polaires des formes différentielles intervenant dans la décomposition de Levelt-Turrittin de M. Dans la seconde, on généralise en dimension supérieure l'observation issue de la première partie que sur un corps algébriquement clos, les modules produits par la construction d'Abbes et Saito sont des sommes finies de modules exponentiels associés à des formes linéaires. Dans la dernière partie de cette thèse, on montre que le lieu des points stables d'une connexion méromorphe M le long d'un diviseur lisse est un sous-ensemble de l'intersection des lieux où les faisceaux d'irrégularité de M et End M sont des systèmes locaux. Enfin, on discute d'une stratégie d'attaque de l'inclusion réciproque, et on démontre à l'aide d'un critère d'André pour les points stables que si elle est vraie en dimension 2, alors elle est vraie en toute dimension.
39
Petit, Barbara. "Autour du lambda-calcul avec constructeurs." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2011. http://tel.archives-ouvertes.fr/tel-00662500.
Full textAbstract:
Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage. Le filtrage à la ML y est décomposé en deux étapes: une analyse de cas sur des constantes (telle l'instruction "case" de Pascal), et une commutation de l'application avec la construction de filtrage. Cette règle de commutation entre deux constructions de natures différentes induit une géométrie de calcul surprenante, a priori incompatible avec les intuitions habituelles de typage. Cependant il a été montré que ce calcul est confluent, et vérifie la propriété de séparation (à la Böhm). Cette thèse propose un système de types du polymorphique pour ce calcul, et décrit ensuite un modèle de réalisabilité, qui adapte les candidats de réductibilité de Girard au lambda calcul avec constructeurs. La normalisation forte du calcul typé et l'absence d'erreur de filtrage lors de l'évaluation en découlent immédiatement. Nous nous intéressons ensuite à la sémantique du lambda calcul avec constructeurs non typé. Une notion générique de modèle catégorique pour ce calcul est définie, puis un modèle particulier (le modèle syntaxique dans la catégorie des PERs) est construit. Nous en déduisons un résultat de complétude. Enfin, nous proposons une traduction CPS du lambda calcul avec constructeurs dans le lambda calcul simplement typé avec paires. Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs. Une équation catégorique caractéristique de ces modèles apparait alors, qui permet de construire des modèles non syntaxiques (dans les domaines) de Scott du lambda calcul avec constructeurs.
40
Simoncini, Fabio. "Autour de quelques invariants d'homotopie rationnelle /." [S.l.] : [s.n.], 1998. http://library.epfl.ch/theses/?nr=1893.
Full text
41
Teisseire, Maguelonne. "Autour et alentours des motifs séquentiels." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2007. http://tel.archives-ouvertes.fr/tel-00203628.
Full textAbstract:
Parmi les techniques utilisées en fouille de données, la recherche de motifs séquentiels permet d'extraire des connaissances sur le comportement des données. Les principaux travaux de recherche autour des motifs s'intéressent à la définition d'algorithmes efficaces pour « passer à l'échelle » et manipuler un espace de recherche volumineux. Même si ces dernières années nous nous sommes également intéressés au facteur temps pour l'extraction de motifs, les travaux présentés dans ce mémoire se focalisent plus particulièrement sur de nouvelles extensions proposées aux motifs afin d'offrir des connaissances correspondant aux attentes du décideur. Tout d'abord nous proposons une représentation des données « classiques » (i.e. booléennes) en développant les définitions de motifs séquentiels que nous avons choisis comme format de description des comportements extraits. Nous répondons ensuite, au travers de l'approche ISE, à la question suivante : comment utiliser une connaissance extraite au préalable pour optimiser la phase d'extraction lorsque de nouvelles données arrivent ? Nous proposons également une représentation moins stricte des comportements et définissons les méthodes d'extraction associées (approche approximative) : SpeedyFuzzy, MiniFuzzy et TotallyFuzzy. Via une composante floue, nous montrons que de nouveaux motifs plus informatifs peuvent être extraits. Nous poursuivons l'utilisation de l'approche approximative pour prendre en compte des contraintes temporelles dans des motifs : GETC. Cette approche complète nos précédents travaux consistant à intégrer très tôt les contraintes dans le processus d'extraction et ainsi optimiser leur prise en compte : GTC.Lorsque les données manipulées deviennent plus complexes, nous montrons que les motifs s'avèrent être également une représentation adaptée. Nous nous attachons à décrire certaines de nos propositions sur deux types de données complexes : (1) pour les documents textuels, nous proposons une approche de classification supervisée SPAC et (2) pour les données multidimensionnelles, nous présentons deux nouvelles techniques permettant de prendre en compte différentes dimensions d'analyse, M2SP, et la hiérarchie disponible sur les dimensions : HYPE.
42
Ben, Nahia Khaled. "Autour de la biconvéxité en optimisation." Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb375959284.
Full text
43
Gonon, Emmanuel Foucher Michel. "Autour des Himalayas géopolitique d'une marche /." [S.l.] : [s.n.], 1997. http://demeter.univ-lyon2.fr:8080/sdx/theses/lyon2/1997/egonon.
Full text
44
Nagele, Fabienne. "Autour de quelques équations fonctionnelles analytiques." Grenoble INPG, 1995. http://tel.archives-ouvertes.fr/tel-00005056.
Full textAbstract:
Cette thèse a pour objet l'étude d'équations fonctionnelles analytiques. Elle se divise en deux partiesLa première, purement mathématique, concerne l'étude des équations aux q-différences et des équations voisines. Plus précisement, nous établissons des théorèmes d'indices et de croissance des solutions entières pour les équations mixtes différentielles-q-différences, généralisant les résultats connus dans le cadre des équations différentielles d'une part, des équations aux q-différences d'autre part. Par ailleurs, nous obtenons des théorèmes d'indices pour les développements en séries de q-factorielles, q-analogues des séries de factorielles
La seconde partie de cette thèse concerne la multisommation des séries formelles solutions d'équations différentielles linéaires algébriques. La théorie et la méthode des transformées de Laplace itérées nous donne une méthode effective permettant de sommer ces séries formelles. Le travail consiste à réaliser les algorithmes formels et numériques en créant les primitives informatiques nécessaires, en coordination avec le travail méné par d'autres équipes du groupe de travail CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations, projet européen Esprit)
45
Saint-Marc, Michel. "Autour des bataillons scolaires en Gironde." Bordeaux 2, 2002. http://www.theses.fr/2002BOR20879.
Full textAbstract:
Quand la IIIème République naît, les Français viennent de subir la défaite de Sedan (1870). L'armée est en phase de réorganisation. Au même moment, l'enseignement gratuit, obligatoire et laïc se met en place. Dans ce contexte général, à travers la gymnastique et les exercices militaires devenus obligatoires dans les écoles primaires, instituteurs et militaires travaillent de concert. L'enseignement militaire dispensé à tous les niveaux de la scolarité se prolonge hors temps scolaire sous la forme de bataillons scolaires. Bordeaux et la Gironde font preuve de zèle dans ce domaine. Mais bientôt il y a un désengagement de l'école et la création de sociétés de gymnastique, tir et instruction militaire permet d'établir un lien entre école et armée. La création de la "Ligue girondine de l'éducation physique" et ses "Lendits" met fin à l'enseignement militaire dans les établissem̀ents scolaires. Seul le tir organisé par les enseignants subsisteWhen the Third Republic was born, the French had just suffered defeat in Sedan (1870). The army was in a state of reorganisation. At the same time is established free, obligatory and secular education. In the general context, through the gymnastics and military exercises that had become obligatory in primary schools, the teachers and the army worked together. The military education given at all levels of schooling went on outside school in the form of school battalions. Bordeaux and Gironde showed enthusiasm in this domain. But soon, there was a withdrawal from the school, and the creation of gymnastics, shooting and military training associations allowed a link to be established between school and the army. The creation of the "Ligue girondine de l'éducation physique" and its "Lendits" put an end to the military teaching in schools. Only shooting, which is organised by the teachers remained
46
Gonon, Emmanuel. "Autour des Himalayas : géopolitique d'une marche." Lyon 2, 1997. http://theses.univ-lyon2.fr/documents/lyon2/1997/egonon.
Full textAbstract:
Les Himalayas sont perçus comme une barrière, depuis l'Inde, dont il importe de cerner les traits spécifiques, au regard du reste des territoires nationaux. C'est un espace de faible pression démographique en raison des fortes contraintes du milieu, notamment d'altitude, qui s'inscrit de plus en creux dans la dynamique économique des Etats englobants. Il autorise pourtant l'existence d'un phénomène tranfrontalier et l'interaction sino-indienne est enrichie d'une composante tibétaine, exogène aux Etats en présence, même si elle constitue, politiquement, un objet de revendication intégré aux logiques frontalières nationales et physiquement, une marche. L'Inde et la Chine se considèrent comme légataires du passé historique des territoires qu'elles contrôlent aujourd'hui et l'héritage d'empires antérieurs est aussi pour elles celui de leur rayonnement régional actuel. Mais la naissance partagée" de l'Inde a impliqué une réduction territoriale du dispositif impérial anglais, même s'il est préservé dans la pensée stratégique indienne : disparition de la marche tibétaine et partition du piemond sud-himalayen entre l'Inde et le Pakistan. A l'inverse, le versant nord des Himalayas connut une dynamique contraire d'expansion territoriale par l'intégration formelle du Tibet dans le nouvel Etat chinois. Le postulat de départ est la primauté d'action de la Chine face à l'Inde. La colonisation Han du Tibet bénéficie de la forte croissance économique qui contribue à fixer durablement les colons et complète le dispositif de contrôle du territoire et de protection des frontières, dans un contexte d'affirmation de la Chine comme puissance régionale. L'action indienne vise à intégrer le dispositif frontalier hérité dans une structure d'Etat national, en créant des entités régionales "himalyennes", mais l'octroi de statuts spécifiques accroît la marginalisation sociale des populations d'altitude, d'autant que l'intégration soio-économique se fait surtout par le tourisme. A l'extérieur, le gouvernement indien semble vouloir achever l'intégration des Etats himalayens, selon un mode désormais économique. Mais le co1/4t social est élevé et fragilise paradoxalement l'accès du pays à ses territoires himalayens, par l'émergence de revendications locales sur base ethnique ou religieusesAs seen from india, the himalayas are a wall. It is a low human density area, because of the hard environmental conditions (altitude), and also an economic periphery. But the himalayan highlands are also the core of tibetan life ans territory, that is a disputed area between india and china, and geographically a non-symetrical frontier. The purpose of that research is to study that mountain range as a geographical, a historical and a geopolitical march between two giant states. India and china are considering themselves as inheritors of the history of the territories they actually control and the legacy of former empires is that of their present foreign regional policy. But for india the birth of a modern state has meant a territorial loss from the british frontier system - thow it is preserved in indian strategists mind : disappearance of tibetan frontier and partition of himalayan southern side between india and pakistan. To the opposite, the north side of the range has been the spot of china's expansion by formal integration of tibet into the prc. The basic fact is china's primacy on india's action. Han colonisation of tibet benefits by the chinese economic growth that contribute to settle chinese on long term basis and allow it to reinforce the military framework of exterior china, in an assertion of the country as a regional power. Indian political action is to integrate the british frontier system in the nation-state structure, by creating + himalayan ; administratives entities, but the granting of specific administrative statuses is marginalising upland peoples, since tourism is the only way of economic integration to the rest of the country. Outside, indian government seems to achieve integrating himalayan states, first by political force and now by economic means. But the social cost of that is the growing difficulties of the government to acces their himalayan territoiries on account of an arising ethnical instability
47
Picot, Jérémy. "Variations autour du critère de Pareto." Caen, 2008. http://www.theses.fr/2008CAEN0654.
Full textAbstract:
Le critère de Pareto est sans aucun doute l'un des axiomes centraux de la théorie du choix social. Cette thèse se propose dans un premier temps de calculer la fréquence avec laquelle quatre fonctions de choix social ne respectent pas ce principe. Il s'agit de la procédure de vote par amendements, la procédure de vote par éliminations successives (qui sont deux règles de vote en usage dans les Parlements), le vote par élimination parallèle et la procédure par découpage. En d'autres termes, on détermine la probabilité avec laquelle une option va être choisie alors qu'il en existe une autre qui lui est unanimement préférée. Contrairement à ce qui est habituellement sous-entendu dans la littérature, la conclusion de cette étude ne remet pas en cause la légitimité de ces règles de vote. On s'intéresse ensuite à des fonctions qui ne mènent pas directement à un choix certain, mais indiquent pour chaque option (ou pour chaque ordre de préférence possible) la probabilité pour que celle-ci (ou celui-ci) devienne le choix de la société : les fonctions de choix social (ou de décision sociale) aléatoires. S'appuyant sur les travaux de Barberà et Sonnenschein (Journal of Economic Theory, 1978), et dans l'esprit de la contribution de Wilson (Journal of Economic Theory, 1972), on montre que dans ces modèles probabilistes, les fonctions insensibles à la manipulation stratégique individuelle (qui empêchent les individus de mentir sur leurs préférences dans le but d'améliorer leur position) sont associées à des fonctions soumises à un pouvoir coalitionnel qui se rapproche de la définition d'une dictature aléatoire
48
Lanlignel, Jean-Marc. "Autour de la décomposition en coupes." Montpellier 2, 2001. http://www.theses.fr/2001MON20047.
Full text
49
Michel, Philippe. "Autour des conjectures de sato-tate." Paris 11, 1995. http://www.theses.fr/1995PA112016.
Full textAbstract:
Dans ce travail, on s'interesse a diverses applications des lois d'equidistribution de sato-tate (qui decrivent la repartition de quantites arithmetico-geometriques interpretees comme des frobenius). La premiere partie traite des sommes d'exponentielles et plus particulierement des sommes de kloosterman kl(l,m ;n). Combinant des techniques de crible avec celles de la cohomologie l-adique, nous montrons que la minoration |kl(1,1,pq)|/2(pq)#1#/#2 0. 16 est verifiee pour une proportion positive de couples de nombres premiers (p,q). Ce resultat est etendu a d'autres familles de sommes d'exponentielles. On etudie egalement le comportement en moyenne des quantites kl(1,m ;p) et kl(1,m ;n)#k, en employant des methodes modulaires (formule de kuznetzov) ou l-adiques. Nous prouvons egalement deux nouveaux theoremes de type bombiei-vinogradov uniformes. La deuxieme partie est consacree a l'etude du rang en moyenne dans diverses familles de varietes abeliennes definies sur q. On montre, en admettant des conjectures standard (qui permettent l'application les formules explicites de weil), que quand la monodromie de la famille est irreductible, le rang de ses varietes est borne en moyenne. Dans le cas d'une famille de courbes elliptiques non isotriviale, ou d'une famille de jacobiennes issues d'un pinceau de lefschetz sur une surface, les lois de sato-tate s'appliquent et permettent d'ameliorer substantiellement la majoration generale
50
Zafindratafa, Georges. "Autour des sous-variétés conformément plates." Lyon 1, 1992. http://www.theses.fr/1992LYO10093.
Full textAbstract:
Apres avoir fait des rappels aux chapitres 1 et 2, nous donnons une condition necessaire et suffisante pour qu'une variete a courbure scalaire nulle et de dimension quatre soit conformement plate; et nous etudions la caracteristique d'euler de cette variete. Au chapitre 4, nous montrons qu'une sous-variete conformement plate de petite codimension est generiquement fortement feuilletee par des spheres. Le chapitre 5 est consacre a l'etude des deux champs associes a une sous-variete quasi ombilicale. Au chapitre 6, nous obtenons une nouvelle definition (en termes de points focaux) de la quasi-ombilicalite, qui n'utilise aucun repere particulier du fibre normal. Nous construisons au chapitre 7 un exemple de sous-variete de codimension 6 dans r#1#0 qui, en un point particulier, est plate mais non quasi ombilicale. Et nous montrons que, si une sous-variete est a connexion normale plate, elle est plate si seulement si elle est cylindrique. Au chapitre 8, nous construisons des exemples de sous-varietes conformement plates de dimension quatre qui ne sont quasi ombilicales. Les chapitres 9 a 12 traitent des sous-varietes einsteiniennes, ou pseudo-einsteiniennes, ou semi-symetriques; nous etudions aussi les sous-varietes telles que r. W=0 ou w. R=0, ce qui generalise les sous-varietes conformement plates