Thesis--Universität Leipzig.

Texte remanié de : Diss. : Literaturwissenschaft : Wien: 1975, soutenue sous le titre--"Das Prinzip der Verfremdung in der Entwicklung des russischen Formalismus--Versuch einer methodologischen Rekonstruktion" / Bibliogr. p. 587-609. Index.

Nous définissons et étudions dans cette thèse un formalisme permettant de traiter de questions tannakiennes pour des groupes définis sur des anneaux différentiels généralisés, qui généralisent à la fois les anneaux différentiels et les anneaux de différence. Nous définissons une notion de catégorie tannakienne différentielle de manière similaire au formalisme tannakien usuel, en ajoutant une structure supplémentaire permettant de décrire la structure induite par la différentielle généralisée. Nous étudions ensuite les propriétés modèle-théoriques des catégories qui en résultent, réalisant le groupe tannakien associé à la catégorie comme un groupe de liaison modèle-théorique. Dans le dernier chapitre, nous étudions la notion d'univers d'une structure du premier ordre, et introduisons une topologie dans ce contexte qui est réminiscente de la topologie des espaces de types en Théorie des Modèles du premier ordre. Nous étudions également la notion de groupoïde de liaison du point de vue des univers / In this thesis, we define and study a formalism which allows one to work on Tannakian questions for groups defined over generalized differential rings, which generalize both differential rings and difference rings. We define a notion of differential Tanakian category which is similar to the usual Tannakian formalism, adding a structure which permits to describe the differential structure induced by the generalized differential. We then study the model-theoretical properties of the resulting categories, realizing the Tannakian group associated to a category as a model-theoretical binding group. In the last chapter, we study the notion of universe associated to a first-order structure, and we introduce a topology in this context, which is reminiscent of the topology on the spaces of types in first-order Model Theory. We also study the notion of binding groupoid from the point of view of universes

Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1981. / Titre provenant de l'écran-titre. Bibliogr. p. 311-318.

Le rétablissement d’un couple constant dans une machine polyphasée synchrone à aimants est décrit quand son alimentation statorique est dégradée par l’ouverture d’une ou plusieurs phases. Le chapitre un dresse un état de l’art des modélisations et des commandes des machines polyphasées dans un entraînement électromécanique, en mode normal et dégradé. Les outils de modélisation polyphasés du L2EP permettent une décomposition en machines fictives qui aboutit à une commande pour les deux modes de fonctionnement utilisant la Représentation Énergétique Macroscopique (REM). Il est enfin établi que ces méthodes de correction du couple sont inadaptées pour un grand nombre de phases. Le chapitre deux établit une modélisation causale de l’entraînement utilisable en fonctionnement normal et dégradé. La dégradation engendre des perturbations fréquentielles des courants dans les machines fictives. La correction du couple consiste alors à adapter les nombres de degrés de liberté de la commande et de l’entraînement dégradé, puis d’éliminer ces perturbations. À basse vitesse, les correcteurs PI réglés pour le fonctionnement normal sont suffisants, mais de meilleures performances à vitesse élevée utilisent des correcteurs résonants supplémentaires. Les courants perturbés non corrigés sont rejetés dans une machine fictive qui ne produit aucun couple grâce à un profil de f.e.m. approprié. La validation du modèle de la dégradation et de la méthode sur une machine heptaphasée répondant aux hypothèses sont satisfaisantes. Le bilan de la méthode de rétablissement du couple est enfin dressé pour une machine conçue pour un fonctionnement en dégradé et évoque le cas de machines moins spécifiques. / This work describes a constant torque control method in a multiphase permanent magnet synchronous machine under open-circuited fault supply conditions. The chapter one draws up a state of the art of the modellings and the controls of the multiphase machines used in electromechanical drive, in normal mode as degraded supply mode. The multiphase modelling methodologies of the L2EP laboratory applied to multiphase machines reveals the decomposition in several fictitious machines and their control are deduced from the Energetic Macroscopic Representation (EMR) for the two supply modes. It is finally established that these methods of torque correction are unsuited for a large number of phases. The chapter two establishes a causal modelling of the drive usable in normal and fault mode. Degradation generates frequency disturbances of the currents in the fictitious machines. The torque correction then consists in adapting the numbers of degrees of freedom of the command and the degraded drive, then to eliminate these disturbances. At low speed, pi-controllers tuned for the normal operating are sufficient, but better performances at high speed use additional resonant controllers. The not corrected disturbed currents are rejected into a fictitious machine that does not produce any torque thanks to a suitable emf profile. The validation of the degradation model and the methodology on a seven-phase machine answering the assumptions are satisfactory. The method assessment of torque re-establishment is finally drawn up for a machine designed for fault-mode operating and evokes the less specific case of machines.

Sur la base de recherches à caractère expérimental, nous revisitons et approfondissons le paradigme de la consistance cognitive. Contrairement à ce que prévoient les théories de la consistance, nous montrons que, non seulement les gens ne présentent pas systématiquement des structures cognitives consistantes, mais aussi qu’ils se défendent fort peu face à des « agressions » idéologiques induisant de l’inconsistance. Nous expliquons ces observations, par le fait que la consistance n’est une valeur cognitive que dans des univers de croyances dotés d’une pertinence minimale. Par ailleurs, l’étude de la consistance cognitive donne lieu à la comparaison du formalisme classique des graphes et d’un formalisme nouveau : le graphe des parentés. Ces deux derniers convergent sur les indices de consistance. Le graphe des parentés met en évidence deux nouveaux indices : l’assimilation et la disjonction. Leur analyse donne lieu à une interprétation psychologique. / Based on experimental research we reviewed and thoroughly examined the paradigm of cognitive consistency. In contrast with various consistence theory predictions, we showed that people are not systematically endowed with consistent cognitive structures and do not defend themselves very carefully against ideological “aggressions” inducing inconsistency. We explained these findings by the fact that consistency has a cognitive value only in self relevant fields. On the other hand, studies on cognitive consistency gave rise to comparisons between classical formalism of graphs and a new formalism one: the graph of relationships. Both graphs converge on consistency factors. The graph of relationships underlies two new factors: assimilation and disjunction. Their analysis gave rise to psychological interpretations.

Dans le cadre de ce projet de recherche, nous nous intéressons à ces quatrièmes cours obligatoires de mathématiques que plusieurs cégeps ont inclus dans leur programme de formation pré-universitaire Sciences de la nature 200. BO. Plus précisément, nous allons nous intéresser à la préparation en matière de démonstration et de formalisme offerte par ces cours pour affronter les exigences des mathématiques post-secondaires. Ces cours ont en effet pour objectif de préparer les étudiants aux mathématiques avancées des cours Calcul intégral NYB et Algèbre linéaire et géométrie vectorielle NYC, mais aussi des cours de mathématiques à l'université, notamment au regard du formalisme accru et de la démonstration. Pour évaluer cette préparation, nous allons, dans un premier temps, étudier ces attentes telles qu'elles se manifestent à travers le cours Calcul intégral NYB, deuxième cours de mathématiques obligatoire de la formation standard en sciences de la nature. Une fois ces attentes identifiées, les tâches proposées dans un de ces quatrièmes cours de mathématiques, soit le cours Mathématiques pour les sciences dispensé par le cégep Ahuntsic à la session hiver 2008, seront analysées. L'analyse des tâches proposées par Mathématiques pour les sciences nous permet de mettre en lumière les éléments de difficultés auxquels il confronte les étudiants. En conclusion, les analyses des deux cours sont comparées pour évaluer si les éléments travaillés par Mathématiques pour les sciences correspondent à ceux sollicités en Calcul intégral NYB. Cette comparaison permet d'évaluer la préparation qui est effectivement offerte par le cours du cégep Ahuntsic pour affronter le cours collégial NYB. Notre étude va cependant plus loin puisque nous évaluons également la préparation que ces deux cours de niveau collégial offrent pour affronter les mathématiques universitaires. Plus précisément, nous tentons de voir, compte tenu de ce que la recherche nous dit des mathématiques avancées et de l'apprentissage de la preuve, si Calcul intégral NYB, appuyé par Mathématiques pour les sciences, constituent à eux deux une bonne transition vers les mathématiques universitaires, notamment les cours d'introduction à l'analyse réelle. Des pistes de réflexion et des améliorations possibles seront également présentées. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : didactique des mathématiques, transition, démonstration, formalisme, calcul intégral

Diss.--Halle--Universität, 1998. / Bibliogr. p. 239-248.

Reproduction de : Thèse de doctorat : Histoire : Lyon 2 : 2004. / Titre provenant de l'écran-titre. Bibliogr. f. 610-698. Index.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.