Modèles minimaux résolubles

Journal of Pure and Applied Algebra, 1994

Roig, A., Modeles minimaux et foncteurs derives, Journal of Pure and Applied Algebra 91 (1994) 231-254. Minimal models are often used to calculate derived functors. For instance, the tor functor, homotopy groups of augmented dgc algebras or the differential tor functor. In this paper we prove that this is an intrinsic property of minimal objects, not depending on the particular categories or functors involved. This is done by proposing an axiomatic definition of these minimal objects which includes the known examples and turns out to be a sufficient condition for the calculation of derived functors.

2005

Pour faciliter la création d'applications flexibles de grande taille, nous avons conçu une architecture capable d'intégrer, adapter et réutiliser différents artefacts logiciels, sans les modifier. L'idée est de construire des domaines autonomes et exécutables, dans lesquels les concepts du domaine (son méta modèle) sont clairement séparés de l'implémentation, de façon à permettre le choix des outils ou des composants, en fonction des préférences du client. Ces domaines peuvent être composés en établissant des relations entre leurs métamodèles, pour constituer des fédérations. Pour réaliser de telles fédérations, nous avons développé un environnement, une méthode et des outils, qui ont été expérimentés pendant plusieurs années dans des applications industrielles. Le papier présente brièvement les similarités et les différences entre notre approche et d'autres approches IDM (Ingénierie Dirigée par Models).

HAL (Le Centre pour la Communication Scientifique Directe), 2006

François MOLINO Modèles, jouets, et bonnes histoires du soir 1 Faut-il être sérieux à propos des modèles ? 2 La science est une « belle histoire » 3 La musique ne fait apparemment plus partie de notre « belle histoire » moderne 4 La réintégration de la musique dans la « belle histoire » moderne : Fourier, Helmholtz 5 Quelques critiques de cette « belle histoire » 6 Une fondation pour l'harmonie classique 7 Les instruments de musiques sont les élèves modèles de la théorie 8 Les plus belles histoires finissent par lasser 9 Pansimuloscope et son digital 10 Les automates cellulaires : des modèles sans histoires 11 Pour finir 12 Bibliographie Guillaume PINSON Le Führer reçoit. Hitler mondain dans Homes & Gardens de novembre 1938 1 Le modèle médiatique de « At Home with Hitler » 2 Identifications et réception 3 Propagande mondaine 4 Bibliographie Sommaire Marcelino CHAUQUE Pour la construction d'une démarche analytico-descriptive de la variation comportementale induite par les modèles sociaux et culturels dans l'interaction en face-à-face 1 Introduction 2 En guise de conclusion 3 Annexe 4 Bibliographie Delphine GUEDJ Un modèle pour rééduquer le langage ? 1 Qui a construit ce modèle ? 2 Un modèle qui évolue... quelques temps 3 Comment un modèle devient inopérant : le désir d'universalité... 4 Bibliographie Lionel JOLY Plurilinguismes : situations de contact ou de conflit. Le modèle théorique à l'épreuve des représentations 1 Modèle, modélisation et normes : un contrat linguistique consacré 2 Casser le moule, une déviance affichée : la blague 3 Contre-norme ou création d'un nouveau modèle à part entière ? 4 Conclusion : ce qui compte, c'est la chute... 5 Bibliographie 6 Sommaire Mouhamed A. LY Le modèle entre universalité et spécificité 1 Préambule 2 Entre particularités et universalité : le modèle 3 Quel modèle d'approche du sacré dans le cadre de la sociolinguistique en domaine africain ? 4 Conclusion 5 Bibliographie Jana OČKOVA Comment constitue-ton une langue nationale ? Les modèles et la codification de langue : le cas du tchèque et du slovaque 1 Nécessités de la lecture intertextuelle 2 À l'épreuve de la typologie de Palimpsestes Sommaire 3 En guise de conclusion 4 Bibliographie Isabelle BARBÉRIS Le théâtre de Copi entre privé et public Le modèle comme objet de négociation 1 Bibliographie Thibaut GARCIA Cinéma/jeux vidéo : réciprocité de modèles esthétiques et théoriques 1 Introduction 2 Conclusion 3 Bibliographie Rémi GARNIER Michel Chion, une théorie sonore au cinéma : la question du modèle et de son dépassement 1 De la perspective sonore au cinéma 2 De la bande-son au cinéma 3 Du paysage sonore au cinéma 4 Bibliographie Sabrinelle BEDRANE Le modèle du genre 1 Les genres, des modèles modelables 2 Du refus des modèles génériques 3 Un retour aux genres 4 Bibliographie Violeta DAICIU Lire à travers le temps. L'applicabilité d'un modèle d'analyse littéraire moderne à un texte médiéval 1 Bibliographie Marie-Élaine MINEAU Le problème de la médiation entre le texte littéraire et son contexte : modèle sémiotique et modèle institutionnel 1 Un objet double 2 Le modèle sémiotique : l'approche sociocritique 8 Sommaire 3 Le modèle institutionnel : l'approche sociologique de la littérature 232 4 Une possible jonction ? 235 5 Bibliographie 236 François MOLINO Modèles-jouets et bonnes histoires du soir 239 Résumés des interventions 243

Textyles, 2019

Tous les critiques qui se sont penchés sur l'oeuvre de l'écrivain et mineur belge Constant Malva 1 reconnaissent de manière unanime l'originalité de son écriture. Comme Paul Aron l'a démontré, Malva se démarque de la plupart des autres écrivains de la mine, beaucoup plus conventionnels, grâce à la forme inédite qu'il donne à ses écrits 2 . En effet, bien que fidèle à l'impératif testimonial de toute littérature prolétarienne, il trouve des solutions textuelles qui lui permettent de conjurer la monotonie du récit et d'éviter les clichés liés au genre. C'est ainsi qu'il donne à Ma nuit au jour le jour la forme d'un journal largement fictif, qui ne couvre qu'une année, qui présente un incipit et un explicit tout à fait littéraires et dont la segmentation rend compte du quotidien dans sa singularité. Jean-Luc Martinet a par contre récemment affirmé que l'unité de la production de l'écrivain belge n'est pas à chercher dans une forme ou dans un genre, mais plutôt dans la construction d'une « figure auctoriale » dotée d'un « ton original », d'une sorte de « signature vocale » qui lui permettrait d'associer les fonctions testimoniale et littéraire de l'écriture, unifiant de la sorte les codes génériques 3 . Je voudrais, pour ma part, essayer de situer Constant Malva dans un contexte littéraire plus vaste que celui de la littérature prolétarienne ou de l'écriture de la mine, pour proposer une autre piste de lecture de ses oeuvres et en particulier de Borins (1937) 4 . Je donnerai d'abord un aperçu des modèles dont l'auteur dispose

Comptes Rendus Mecanique, 2002

Note présentée par Évariste Sanchez-Palencia.

2009

2011

Dans le cadre d'un développement dirigé par les modèles, les applications logicielles se définissent par utilisation de transformations. Certaines transformations visent à répondre à des "problèmes récurrents" et leurs applications garantissent le respect de contraintes dans le modèle résultant. Elles sont identifiées sous le terme de Politiques. L'intérêt d'une conception par applications de politiques est à la fois de faciliter la tâche du concepteur et de garantir par construction la cohérence du modèle construit. Nous étudions dans cette article la relation qui unit politiques et évolution de modèles en nous penchant sur la cohérence du modèle construit. Nous proposons pour cela une démarche de modélisation des politiques qui vise à assurer la cohérence du modèle construit relativement à chaque politique appliquée et à réparer automatiquement ces modèles dans le cas contraire. La réparation est alors basée sur la réapplications des politiques. ABSTRACT. Several model transformations automatically addressed some "recurrent problems". They guarantee the contract verification of the resulting model. We name these transformations Policies. Using policies enables a quick construction of the models and guarantees the conformity to the resulting model. In this article we study the overlap between the policies introduced and its impact on the model evolution regarding its conformity. We defend an approach to guarantee and restablish the conformity of the resulting model by re-introduction of policies.

2009

Il existe une nécessité de prise en compte des problèmes environnementaux dans les phases amonts des processus de conception des bâtiments. Mais la plupart des méthodes actuelles évaluent le bâtiment en tant que « construit » plutôt que le bâtiment en tant que « conçu ». Cet article définit une méthode fondée sur une approche par les « modèles » au sens définit par Christopher Alexander. Dans ce travail, à partir de l'analyse de nombreux bâtiments, nous proposons d'identifier et de modéliser le concept d'éco-modèle. L'objectif à terme de cette recherche est d'instrumenter cette approche par un « pattern tank » ou « réservoir de modèles » dans lequel les différents acteurs de la conception pourront déposer et puiser à partir d'une navigation orientée les informations utiles pour leurs projets.

Nous nous intéressons au problème de l'extraction de noyaux insatisfiables minimaux (MUCs) de réseaux de contraintes. Ce problème a un intérêt pratique dans de nombreux domaines d'application tels que la configuration, la planification, le diagnostique, etc. En effet, identifier un ou plusieurs MUCs indépendants, i.e. des MUCs qui ne partagent aucune contrainte, permet d'isoler différentes sources d'inconsistance et de corriger un système incohérent. Dans cet article, nous proposons une approche originale pour extraire un MUC d'un réseau de contraintes. Cette approche comporte deux étapes. La première consiste à exécuter plusieurs fois un algorithme de recherche complète, en utilisant la pondération de contraintes, de manière à circonscrire une partie inconsistante du réseau. La seconde consiste à identifier, en utilisant un processus dichotomique, les contraintes de transition appartenant à un MUC. Nous montrons l'intérêt de cette approche en avançant des arguments théoriques et pratiques.

Ingénierie des systèmes d'information, 2011

Dans le cadre d'un développement dirigé par les modèles, les applications logicielles se définissent par utilisation de transformations. Certaines transformations visent à répondre à des "problèmes récurrents" et leurs applications garantissent le respect de contraintes dans le modèle résultant. Elles sont identifiées sous le terme de Politiques. L'intérêt d'une conception par applications de politiques est à la fois de faciliter la tâche du concepteur et de garantir par construction la cohérence du modèle construit. Nous étudions dans cette article la relation qui unit politiques et évolution de modèles en nous penchant sur la cohérence du modèle construit. Nous proposons pour cela une démarche de modélisation des politiques qui vise à assurer la cohérence du modèle construit relativement à chaque politique appliquée et à réparer automatiquement ces modèles dans le cas contraire. La réparation est alors basée sur la réapplications des politiques. ABSTRACT. Several model transformations automatically addressed some "recurrent problems". They guarantee the contract verification of the resulting model. We name these transformations Policies. Using policies enables a quick construction of the models and guarantees the conformity to the resulting model. In this article we study the overlap between the policies introduced and its impact on the model evolution regarding its conformity. We defend an approach to guarantee and restablish the conformity of the resulting model by re-introduction of policies.