51 |
Architecture et gestion d'un réseau continu maillé haute-tension pour l'aéronautique / Architecture and Management of a meshed HVDC electrical network for aeronautic applicationBaumann, Cédric 20 March 2009 (has links)
L'objectif de réduction de la consommation en kérosène des avions passant par une plus grande efficacité des systèmes, la distribution électrique devient un moyen privilégié pour satisfaire les besoins. Dans ce cadre, la notion d'avion « plus électrique » implique de revoir les systèmes de distribution et d'étudier, notamment, le passage en haute tension continue (HVDC). Une description générale des systèmes embarqués sur les avions civils est donnée dans ce manuscrit ainsi qu'une description des avantages et inconvénients des différents vecteurs énergétiques permettant de mieux situer les gains envisageables lors du passage à l'électrification des systèmes. Cependant, la mise en place de la distribution HVDC peut entraîner de nouveaux problèmes, notamment de qualité et/ou d'instabilité. Afin de palier ces problèmes, une architecture est proposée dans laquelle les équipements sont reliés entre eux par des coeurs de distribution eux-mêmes liés par des organes de transferts de puissances pouvant maîtriser ces transferts : on parle alors de réseau maillé. Pour pouvoir réaliser ces transferts, deux types d'équipements électroniques de puissance sont proposés : le DCPFC (Direct Current Power Flow Controler) et le MAPFC (Mixed function for Actuation and Power Flow Control). Ces équipements imposent une gestion énergétique spécifique : il faut déterminer les modes de fonctionnement des équipements ainsi que les références des puissances à transférer. Pour cela, une modélisation du réseau sous forme de graphe est effectuée, ceci se traduisant par un algorithme générique permettant de déterminer les équations structurelles du réseau ainsi que deux algorithmes servant à contrôler des grandeurs distinctes : Les grandeurs discrètes sont contrôlées par un système expert détenant un ensemble de règles de fonctionnement ; Les grandeurs continues sont gérées par un algorithme de recherche de flot dans un graphe. Après la mise en place en simulation de l'ensemble du réseau maillé, un banc d'essai expérimental valide les principes décrits théoriquement et permet l'étude de différentes gestions énergétiques (tout autant qu'il permet de tester un équipement seul ou le réseau dans une configuration non-maillée). Finalement, une exploitation des concepts sur un réseau répondant aux normes aéronautiques est développée. Ceci posant notamment des problèmes aux niveaux de la conception des équipements mais également sur l'architecture actuelle des réseaux électriques (connexion du neutre des générateurs, protection des personnes, compatibilité électromagnétique, etc.). / As the aircraft fuel consumption needs more efficient systems, electrical distribution becomes a favoured way in satisfying those needs. In this context, the “more electrical aircraft” notion implies to deeply refund distribution means. High Voltage Direct Current - HVDC - distribution helps in going this way. A general description of civil aircraft embedded systems is given in this document. Advantages and drawbacks of energetic vectors are described too, allowing a better comprehension of possible improvements due to system electrification. Therefore, the HVDC deployment can lead to new problems, particularly in quality and stability domains. In order to take into account these problems, we propose a new distribution architecture in which equipments are interconnected through power distribution centres, which ones are interconnected through power flow controller equipments. This new architecture is described as a meshed distribution network. Two kinds of equipment are proposed to control the electrical power flow: DCPFC - for Direct Current Power Flow Controller - and MAPFC - Mixed function for Actuation Power Flow Control. As a result, a specific power management is needed. Equipment operating modes and power to transfer references have to be determined. In a first step, a graph based modelling of the electrical network is done, resulting in a generic algorithm which permits to determine network structural equations. In a second step, two algorithms control the network: - Discrete quantities are regulated by an expert system based on a rule set; - Continuous quantities are managed through a flow research algorithm based on the graph modelling; The validation of these concepts is realised through electrical simulations of the whole meshed network. Then, an experimental test bench validates the theoretical principles and allows the operation of equipments and meshed network in multiple configurations. Finally, concepts are extrapolated in an electrical network respecting aeronautic constraints. Those constraints are highlighted at equipment level and network level.
|
52 |
À la rencontre du temps institutionnel de l’enseignement supérieur algérien. Entre autonomie et dépendance, une histoire de l’« entre-deux » : Entre le tout et le rien, peut-on habiter « le milieu » ? / Institutional time of algerian higher education. Between autonomy and dependence,a history of between : Between everything and nothing, can we live 'the middle'?Ahmed Bacha, Zohra 14 June 2019 (has links)
En dehors des sentiers battus, sous la perspective singulière de l’« entre-deux », la présente thèse cherche précisément à comprendre le développement de la politique éducative et de l’enseignement supérieur algérien, entre autonomie et dépendance (entre-deux) relatives aux injonctions extérieures. Il est question de discuter de la manière dont l’enseignement supérieur s’est fabriqué au travers de son histoire, de discuter le poids du passé sur le présent en identifiant les influences provenant des régimes, événements et composantes venus de pays du Moyen-Orient, de la France et de la Russie, ayant, in fine, marqué la politique éducative algérienne. Une politique qui n’a pas réussi à trouver son point d’ancrage et qui est de ce fait toujours à la recherche de repères au détriment de la qualité globale de la formation en Algérie.Alors que la période coloniale est derrière nous, il existe toujours dans la société algérienne un sentiment de dépendance à l’égard de la métropole et de ses nombreuses pratiques, réminiscence d’un passé difficile à oublier. La pratique du français sur le territoire et dans le milieu enseignant (en particulier) joue en partie un rôle clé dans cet état des faits. Le passé est donc fortement ancré dans les esprits, bien qu’il existe une volonté émancipatriceforte des individus qui sont à la recherche de leurs racines et d’une modernité algérienne. Et, on constate aussi que la société algérienne est plurielle à bien des égards.Les références au passé dans le milieu de l’éducation possèdent une grande influence sur les actions menées, parfois au détriment des vérités du terrain très complexes dans le cas algérien. Cet enseignement supérieur, dans une Algérie plurielle, souffre ainsi d’un « entredeux » à la fois à l’échelle politique, institutionnelle et individuelle (ceux qui font les lois, ceux qui les mettent en place et ceux qui doivent les vivre au quotidien). Autrement dit, cestrois niveaux semblent figés entre une volonté et un besoin important d’autonomie et une dépendance qui peut être perçue comme légitime. Il y a pourtant des évolutions qui s’opèrent sur le terrain. Positives, elles marquent un tournant attendu dans le paysage éducatif algérien.Les enseignants sont effectivement en attente de formations pour à la fois améliorer la qualité globale des pratiques et garantir sur le long terme un plus grand professionnalisme. In Fine, c’est l’ensemble de la société qui bénéficierait d’un système éducatif moderne et propre aux besoins et attentes des Algériens. Sous le prisme de la formation continue et de la validation des acquis de l’expérience (VAE), deux objets de débats actuels dans la société algérienne, j’aborderai les difficultés rencontrées dans le déploiement, la gestion et l’organisation de dispositifs de formation dansle pays. Toutefois, il ne s’agit pas de traiter simplement de la formation continue des enseignants, à partir de leur témoignage (recueillis au fil de ma recherche), mais de s’en servir tels des agents sociaux et marqueurs d’une histoire exprimant le rapport entre le politique, l’institutionnel et l’individuel. Il est également question de mettre en évidence la façon dont les influences venues d’ailleurs sont mises en œuvre par ces trois niveaux.Pour ce faire, une enquête qualitativeréalisée sur la base d’entretiens semi-directifs approfondis, une approche originale utilisant le courant biographique, m’a permis de récolter des témoignages essentiels à notre compréhension du phénomène traité dans la thèse. Sans oublier l’approche quantitative, utile à la préparation de ma recherche en amont, cette enquête a été menée auprès de plus de 63 personnes issues d’horizons différents et apportant ainsi ànotre étude la profondeur nécessaire.« Entre-deux », Enseignement supérieur, politique éducative, Algérie, France, Formation continue, VAE, Temporalité. / Off the beaten track, under the singular perspective of the "in-between", the present thesis seeks precisely to understand the development of Algerian educational policy and higher education, between autonomy and dependence (in-between) relative to external injunctions. It discusses how higher education has been built through its history, discussing the weight of the past over the present by identifying influences from regimes, events and components from Middle Eastern countries, France and Russia, having, ultimately, marked the Algerian educational policy that has failed to find its anchor and is therefore always looking for benchmarks to the detriment of the overall quality of education in Algeria.While the colonial period is behind us, there is still in Algerian society a feeling of dependence on the metropolis and its many practices, reminiscent of a past difficult to forget. The practice of French on the territory and in the teaching environment (in particular) plays a key role in this state of affairs. The past is therefore firmly rooted in people's minds, although there is a strong emancipatory will of individuals who are searching for their roots and an Algerian modernity. And, we should also note that the Algerian society is plural in many ways. At the social, cultural, but also political levels, it is characterized by multiple influences, the most prominent of which are Maghrebi, Oriental and French. This plurality has made it difficult for successive regimes to position themselves singularly in many sectors of activity, often promoting inadequate projects.References to the past in the field of education have a great influence on the actions taken, sometimes to the detriment of very complex truths of the Algerian case. This higher education, in a plural Algeria, thus also suffers from an "in-between" at the political, institutional and individual levels (those who make the laws, those who put them in place and those who work with them on a daily basis). In other words, these three levels seem to be frozen between a will and an important need for autonomy and a dependence that can be perceived as legitimate.Under the prism of the continuous training and the validation of acquired experience (VAE), two objects of current debates in the Algerian society, I will tackle the difficulties met in the deployment, the management and the organization of training devices in the country. However, it is not a matter of simply dealing with the continuous training of teachers, based on their testimony (collected during my research), but using it as social agents and markers of a history expressing relationship between the political, the institutional and the individual. It is also a question of highlighting how the influences coming from elsewhere are implemented by these three levels.To do this, a qualitative survey conducted on the basis of in-depth semi-structured interviews, an original approach using the biographical current, allowed me to collect testimonies essential to our understanding of the phenomenon treated in my thesis. Not to mention the quantitative approach, useful for the preparation of my research upstream, this survey was conducted with 63 people from different backgrounds and thus bringing to our study the necessary depth."In-Between", Higher Education, Educational Policy, Algeria, France, Continuing Education, VAE, Temporality.
|
53 |
La basse continue dans l'oeuvre poétique de Jean-Michel Maulpoix / The "Basse continuo" in the poems by Jean-Michel MaulpoixGrossi, Gabriel 15 January 2015 (has links)
Auteur de nombreux recueils poétiques depuis 1978, Jean-Michel Maulpoix apparaît comme l’un des poètes majeurs de sa génération, dont il est également un défenseur et un théoricien. Si sa poésie se veut pleinement de son temps, dont elle partage les doutes, les inquiétudes et les malaises, elle tente cependant, sans pour autant effacer toute marque personnelle, de porter ceux-ci à une dimension universelle, tout en se montrant tendue vers un idéal d’apaisement. Cette étude, qui conjugue une analyse thématique à des commentaires stylistiques parfois appuyés sur des décomptes statistiques, tente ainsi de montrer que cette tension entre dissonance et apaisement travaille profondément l’écriture des différents recueils, dans leurs thèmes comme dans leur forme, leur énonciation et leur rythme. Elle emprunte à la musique les notions de « basse obstinée » et de « basse continue », non pour suggérer que la poésie soit analysable en termes musicaux, mais en tant que métaphores d’une écriture elle-même obstinée, qui privilégie la continuité plutôt que les ruptures, et une continuité qui n’exclut pas la variation, jusque dans le rythme des phrases et des poèmes. / Author of many collections of poems since 1978, Jean-Michel Maulpoix is one of the most important poets of his generation. He is also known as a theoretician. His poetry is influenced by our times, and it shares its doubts and uneasiness. But the poet also gives an universal dimension to his poems, even if all marks of subjectivity are not erased. The poems often seem to search an ideal of appeasement. This dissertation analyses both themes and style : it aims at showing that this tension between uneasiness and appeasement is very important in many collections of poems by Jean-Michel Maulpoix, in their themes, form, enunciation, and rhythm. It uses the musical concepts of “basso ostinato” and “basso continuo”, not to suggest a confusion between poetry and music, but as metaphors of the obstinacy of the writing itself. The poems by Jean-Michel Maulpoix prefer continuity to ruptures, a kind of continuity that does not exclude variation, even into the rhythm of sentences and poems.
|
54 |
De l'expérience à l'appétence : un modèle d'analyse des pratiques de formation en entrepriseMachado, Julien 02 July 2008 (has links) (PDF)
Une approche de la formation continue par les pratiques des individus.
|
55 |
Contribution méthodologique à la maîtrise conjointe de la qualité d'un produit et de ses processus de production par une modélisation des concepts qualitéDeeb, Salah 06 March 2008 (has links) (PDF)
Depuis plusieurs années, le contexte de mondialisation et l'accroissement de la concurrence ont définis un nouvel ordre économique et industriel pour les entreprises de production de biens. En effet, ces entreprises sont quotidiennement confrontées à la maîtrise et à l'amélioration des performances de l'ensemble de leurs processus afin de garantir leur pérennité et leur compétitivité [Meunier 2003]. Dans cet environnement chaque entreprise se doit ainsi d'optimiser la satisfaction de sa clientèle par une amélioration du triptyque Qualité - Coût - Délai des produits. La qualité a été toujours un objectif important depuis que les hommes fabriquent les objets [Pillet 1993]. Elle est matérialisée par des enchaînements logiques d'activités qui concerne le processus, le produit, le client, ... L'organisation de certaines activités permet ainsi de représenter différents points de vue de la qualité : le management de la qualité, l'amélioration de la qualité, la maîtrise de la qualité, ... <br />La norme ISO 9000 :2000 [Afnor 2000] définit la qualité comme une « aptitude d'un ensemble des caractéristiques intrinsèques à satisfaire des exigences ». Cette qualité est considérée par [Dessinoz 2000] comme un processus d'entreprise intégré avec les autres processus tels que la production et la maintenance. Dans l'ingénierie système, la norme ISO/IEC 15288 classifie le processus de management de la qualité comme un des processus d'entreprise cohabitant avec les processus du projet, les processus contractuels et les processus techniques. L'objectif de ce processus dans l'ingénierie est donc d'assurer que les produits, services et processus du cycle de vie d'un système satisfont à la fois les objectifs qualité de l'entreprise et du client [ISO/IEC15288 2002].<br />Ainsi, au sens de l'Ingénierie Système (IS), le processus qualité est en lien avec plusieurs processus de différents types et n'est donc pas limité à une fonction particulière en entreprise [Lopez 2006] ou n'est pas sous la responsabilité d'un seul département [Gogue 2000]. En ce sens, la qualité se décline ainsi sur les niveaux stratégique, tactique et opérationnel de l'entreprise.<br />D'un point de vue stratégique, la qualité est considérée comme une démarche globale dans l'entreprise devant assurer la satisfaction de l'ensemble de ses partenaires. Ce niveau intègre toutes les activités qualité relatives à l'amélioration de la performance globale, à la certification selon la norme ISO 9000 ainsi qu'au management de la qualité en tant que démarche.<br />Du point de vue tactique, le processus qualité opère à ce niveau plus spécifiquement sur les processus de type techniques tels que la production et la maintenance. Il contient des activités relatives à la maîtrise de la qualité des produits et la qualité de processus de production au sens large. Cette activité doit être coordonnée avec les activités du niveau stratégique. <br />Enfin, le point de vue opérationnel a pour objectif de mettre en place les moyens et les actions pour vérifier que les résultats des processus techniques sont conformes aux exigences spécifiées en terme de qualité, réaliser les contrôles et traiter les non-conformités. Cette activité doit être coordonnée avec les activités du niveau tactique. <br />La collaboration versus intégration entre les niveaux soulève encore de nombreuses problématiques à la fois industrielles et scientifiques à ce jour pour faire du processus qualité, un véritable processus au sens système couvrant l'ensemble du cycle de vie du produit/processus. Par exemple des entreprises comme ALSTOM-Moteurs qui est à l'initiative de ces travaux, ont besoin de méthodologie (de guide) qui formalise et intègre la qualité principalement au niveau tactique (i.e. capacité décisionnelle confiée à des équipes autonomes) en relation avec les deux autres niveaux pour améliorer sa performance globale. L'objectif de cette méthodologie est de maîtriser conjointement la qualité du produit et la qualité de leurs processus de production dans une approche cycle de vie du processus de maîtrise de la qualité (de la conception jusqu'à l'exploitation). Relativement à ces besoins de formalisation et d'intégration, des méthodes, des méthodologies et des approches qualité existent à ce jour qui supportent tout ou partie du processus qualité inhérent à un niveau ou à l'interconnexion entre niveaux. Les méthodes, et les approches les plus couramment utilisées sont QFD, Six Sigma, AMDEC, ... <br />Une des approches significatives par rapport à la problématique d'intégration est le TQM (Total Quality Management) qui se positionne dans les différents niveaux structurels en entreprise [Rodney 2006]. Un des objectifs de cette approche qualité est d'améliorer et de maîtriser la qualité du processus de production pour maîtriser la qualité du produit. [Hellsten 2000] a défini le TQM comme un système de management constitué de trois composants qui sont mutuellement dépendants : « core values », méthodologies et outils/méthodes. Cette approche présente un intérêt particulier puisqu'elle permet d'intégrer, au sein des composantes, différentes méthodes et méthodologies qualité telles que QFD, AMDEC, SPC, ... Cependant, ces méthodes et méthodologies sont souvent « informelles » car décrites sous une base textuelle ou graphique [Dale 1990] [Juan 2004]. Elles ne contiennent donc pas une phase de formalisation des concepts qualité dans leur phase de conceptualisation indispensable pour la maîtrise et l'amélioration de la qualité [Marcotte 1995]. Aussi, les méthodologies applicables au niveau tactique permettent difficilement d'améliorer (maîtriser) simultanément la qualité du produit et la qualité de ses processus de production [Ettlie 1994]. De plus, la plupart de ces méthodologies sont applicables dans la phase de d'exploitation mais peu d'entre elles autre que le QFD [Govers 1996], le sont en conception [McClusky, 2000]. <br />Pour répondre simultanément aux besoins industriels genèse de cette thèse et au manque de formalisation préalablement mentionné, notre contribution porte sur la proposition d'une approche qualité générique permettant de formaliser le processus qualité au niveau tactique en intégration avec les autres niveaux opérationnel et stratégique en entreprise. Notre approche se positionne en cohérence avec une approche TQM dans l'objectif de maîtriser et d'améliorer conjointement la qualité du produit et la qualité de ses processus de production. Cette première formalisation (car ne couvrant pas tous les points de vue de la qualité) doit permettre de modéliser de façon générique le processus qualité de niveau tactique et ses interactions nécessaires pour en réaliser l'intégration à la fois avec les autres niveaux stratégiques et opérationnels mais aussi avec les autres processus tel que le processus maintenance pour assurer la performance globale en entreprise. Cette approche de formalisation s'intègre dans le cadre de modélisation Zachman [Zachman 1987] offrant une cohérence relativement aux différents modèles à réaliser. <br />Par rapport à cette formalisation, l'originalité de notre contribution réside dans une première unification, sous la forme de méta-modèles, des concepts qualité sur la base:<br />• de l'approche processus définit dans la norme ISO 9000 :2000 de « niveau tactique ». L'édition de la nouvelle version ISO 9000 :2005 n'impacte pas notre proposition dans le sens où les changements apportés à l'ancienne version ne concernent pas les concepts qualité modélisés dans notre approche qualité.<br />• de la fonction « management de qualité » telle que prôné par la norme IEC/ISO62264 «niveau management », <br />• de méthodes qualité telle que l'AMDEC, la MSP, l'APR, le Poka-yoké,<br />• de la modélisation d'indicateurs qualité.<br />Cette approche se veut donc exploitable de la conception à l'exploitation du processus de maîtrise de la qualité. Dans la phase de conception, notre contribution doit offrir un guide qui aide l'ingénieur qualité, d'abord pour, développer un modèle spécifique par une phase d'instanciation du méta-modèle support de la méthodologie (en cohérence avec le TQM), ensuite d'exécuter la méthode qualité adéquate au moment opportun, et finalement de calculer des indicateurs qualité (phase d'évaluation). Dans la phase d'exploitation, la connaissance formalisée et structurée dans le modèle spécifique (l'ensemble des instances) est directement transposable dans un formalisme compréhensible par l'opérateur sur site (i.e. pages Web) pour mieux suivre et anticiper les dérives qualité du produit/processus principalement sur les axes surveillance, diagnostic et action. Pour faciliter l'utilisation de notre approche qualité, nous avons proposé une automatisation de cette approche à l'aide l'outil MEGA. <br />Notre contribution est ainsi exposée dans ce manuscrit sous la forme de 4 chapitres complémentaires. Le premier chapitre introduit, dans un premier temps, une définition d'un processus qualité au sein de l'entreprise et des points de vue à ce processus. Certains points de vue sont repris pour introduire la problématique industrielle qui est la genèse de ces travaux de thèse. Ceci nous amène à positionner le processus qualité sur les différents niveaux structurels de l'entreprise en mettant en évidence un certain nombre de verrous scientifiques comme la modélisation et l'intégration du processus qualité dans l'entreprise afin de maîtriser et d'améliorer la qualité du produit/processus. Sur la base de ce positionnement, le deuxième chapitre nous permet de présenter un état de l'art recensant les travaux principaux sur les aspects « modèles, méthodes et méthodologies » liés à la formalisation et à l'intégration du processus qualité pour répondre à l'objectif d'une plus grande maîtrise et amélioration de la qualité conjointe produit/processus. Ce recensement met en évidence de réelles problématiques scientifiques non totalement résolues à ce jour pour satisfaire au besoin de formalisation et d'intégration. Ces manques justifient le contenu du chapitre 3 dédié à la définition de la méthodologie proposée (le guide) et qui se base sur un principe de méta-modélisation de concepts qualité garant de la généricité attendue. La méthodologie, construite sur 3 étapes, se positionne en cohérence avec le TQM et permet de formaliser l'interdépendance entre les trois composantes du TQM. Enfin le chapitre 4 décrit, d'une part, l'automatisation de cette méthodologie à l'aide de l'outil MEGA afin de la rendre accessible à tous ingénieurs qualité, et d'autre part, une faisabilité de cette méthodologie sur un cas d'application manufacturier de type tournage couvrant la phase de conception et d'exploitation. Le passage du méta-modèle au modèle spécifique (phase de conception) du processus de tournage est réalisé par une procédure d'instanciation supportée par l'outil.
|
56 |
Attitude proactive, participation et collaboration à des activités d'encadrement médiatisées par ordinateurBernatchez, Paul-Armand 23 May 2001 (has links) (PDF)
Les services d'encadrement, quoique peu fréquentés, sont identifiés comme des moyens de diminuer le sentiment d'isolement que ressentent les apprenants à distance et d'augmenter par le fait même le taux de rétention dans les programmes de formation. La recherche de facteurs pouvant stimuler la participation et la collaboration des apprenants à des activités d'encadrement médiatisées par ordinateur est à l'origine de cette recherche descriptive. Des résultats de recherche ayant établi un lien entre l'attitude proactive des tuteurs et l'utilisation des outils d'aide à l'apprentissage dans des dispositifs de formation à distance, nous avons présumé que cette relation serait observable dans des téléconférences d'encadrement médiatisées par ordinateur. Plus précisément, nous avons voulu retrouver des traces d'une part, de l'influence de l'attitude proactive des tuteurs sur la participation et la collaboration des apprenants et d'autre part, de l'influence de l'attitude proactive des apprenants entre eux sur leur collaboration.
|
57 |
Polynômes orthogonaux simultanés et systèmes dynamiques infinisBourreau, Emmanuel 10 May 2002 (has links) (PDF)
Je définis tout d'abord les polynômes vectoriels orthogonaux relativement à une matrice r x s de mesures ou de poids et je rappelle les propriétés habituelles : la récurrence à r+s+1 termes, le théorème de Shohat-Favard ou l'égalité de Christoffel-Darboux. Ces polynômes permettent, par l'utilisation d'approximants de Padé, de caractériser l'ensemble résolvant de l'opérateur aux différences associé aux récurrences. Cette caractérisation a déjà été donnée par Duren mais la démonstration utilisée ici est novatrice. Je définis ensuite des fonctions homographiques sur l'ensemble des matrices $r\times s$. J'uniformise ainsi tous les cas connus de fractions continues: scalaire, vectoriel ou matriciel. Elles permettent aussi de démontrer un théorème d'accélération de convergence de fractions continues matricielles, généralisation d'un théorème similaire pour les fractions généralisées donné par de Bruin et Jacobsen. J'utilise alors les polynômes vectoriels pour calculer les coefficients de récurrence d'autres polynômes par l'algorithme de Chebyshev modifié vectoriel, généralisation du cas scalaire pour lequel nous démontrons des critères de stabilité. Finalement, l'algorithme de Chebyshev modifié est utilisé pour étudier l'évolution temporelle du système dynamique semi-infini de Toda-Langmuir. Dans ce système, les particules sont sur le semi-axe réel et elles interagissent suivant une loi exponentielle décroissante. L'approche utilisée pour résoudre le problème est, encore une fois, innovante. En effet, j'étudie seulement les n premières particules et je m'intéresse à l'erreur commise sur l'évolution lorsque l'on tronque le système à N>>n quantités c'est-à-dire que l'on travaille avec un système fini. Je présente l'étude théorique de l'erreur, où je réutilise nos résultats sur la stabilité de l'algorithme de Chebyshev modifié, ainsi que des exemples numériques.
|
58 |
Map Theory et AntifondationVallée, Thierry 21 December 2001 (has links) (PDF)
Map Theory est une extension équationnelle du lambda-calcul non-typé conçue par Klaus Grue pour être une fondation commune de l'informatique et des mathématiques. Elle permet en particulier une interprétation complète du calcul des prédicats et de ZFC+FA, où ZFC est la théorie de Zermelo-Fraenkel, et FA est l'axiome de bonne fondation usuel. Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes. De plus, Map Theory permet de représenter les types de données inductifs et de donner un sens calculatoire immédiat à tous les constructeurs ensemblistes usuels. La version initiale de Map Theory par K. Grue ne considère cependant que les ensembles (ou classes) bien-fondée relativement à la relation d'appartenance. Dans le cadre du renouveau d'intérêt pour l'antifondation induit par les developpements récents de l'informatique théorique, nous montrons dans notre thèse qu'il est possible d'élaborer une version antifondée de Map Theory qui prenne en compte l'existence des objets non-bien-fondés, et qui permette de raisonner sur ces objets par co-induction. Ce nouveau système ouvre la possibilité d'une représentation directe des types de données co-inductifs, et de la modèlisation des phènoménes et processus circulaires. Dans une première partie, nous présenterons l'axiomatisation MTA de ce nouveau système, et nous montrerons que ZFC+AFA, où AFA est l'axiome d'Antifondation de Aczel-Forti-Honsell, y est interprétable syntaxiquement. Dans la deuxième partie, nous montrerons la consistance de MTA relativement à ZFC+SI, où SI est l'axiome exprimant l'existence d'un cardinal fortement inaccessible.
|
59 |
Méthodes exploratoires d'analyse de données temporellesSaporta, Gilbert 10 June 1981 (has links) (PDF)
L'analyse en composantes principales et l'analyse des correspondances sont généralisées pour étudier des ensembles de trajectoires de processus numériques ou qualitatifs. On étudie également certains problèmes de régression avec une infinité non dénombrable de variables: régression sur un processus, régression d'un processus sur un autre.
|
60 |
RÉALISATION D'UN OSCILLATEUR PARAMÉTRIQUE OPTIQUE STABILISÉ EN FRÉQUENCE ET ACCORDABLE CONTINÛMENT SUR 500 GHz POUR LA SPECTROSCOPIE INFRAROUGEAndrieux, Emeline 16 December 2011 (has links) (PDF)
Nous avons développé un oscillateur paramétrique optique simplement résonant (SRO) basé sur un cristal non linéaire de niobate de lithium dopé 5%-MgO et périodiquement polarisé (ppMgCLN). Il est pompé à 1064 nm par une diode laser en cavité étendue balayable continûment de 1050 à 1070 nm injectant un ampli cateur Yb-fi bré de puissance 10 W. Il génère une onde idler comprise entre 3 et 4 m et une onde signal entre 1450 et 1650 nm. Son seuil varie entre 2 et 3 W. La puissance idler maximale obtenue est de 1.8 W à 3 m pour une puissance de pompe de 9 W. Le balayage en fréquence continu de l'onde idler s'eff ectue en balayant la longueur d'onde pompe. Du fait des propriétés de dispersion du matériau ppMgCLN pompé à une longueur d'onde proche de 1064 nm, le désaccord de phase ne varie pas signi- cativement durant le balayage en fréquence de la pompe permettant une excursion en fréquence sans saut de mode de l'onde idler importante. Sans asservissement, un balayage continu de l'onde idler sur 175 GHz a été obtenu, limité principalement par les uctuations acoustiques basses fréquences de longueur de la cavité SRO induisant un ou plusieurs sauts de mode durant le balayage. Pour réduire ces fluctuations et augmenter la plage de balayage sans saut de mode, la cavité SRO est asservie sur le pic de transmission d'une cavité Fabry-Perot de grande fi nesse. Nous avons alors pu démontrer un balayage mono-fréquence sans saut de mode de l'onde idler sur 500 GHz. Cette large accordabilité continue pourrait être utilisée pour la spectroscopie haute résolution multi-espèces dans le moyen infrarouge. Par ailleurs, nous avons revisité la théorie ondes planes du SRO en utilisant une méthode perturbative très puissante qui tient compte de la déplétion de la pompe. Nous avons pu ainsi déterminer les relations d'entrée-sortie du SRO sous la forme de relations explicites très simples, montrant que les puissances de sortie sont proportionnelles à la racine cubique de la puissance pompe.
|
Page generated in 0.156 seconds