Quelques propriétés des modèles de réalisabilité de ZF

Journal of Pure and Applied Algebra, 1993

G6mez Tato, A.. Modtles minimaux rtsolubles, Journal of Pure and Applied Algebra 85 (1993) 43-56.

Annales De L Institut Henri Poincare-probabilites Et Statistiques, 1980

© Gauthier-Villars, 1980, tous droits réservés. L’accès aux archives de la revue « Annales de l’I. H. P., section B » (http://www.elsevier.com/locate/anihpb) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

2018

Dans ce travail doctoral, mené entre 2014 et 2018, nous avons tenté de reconsidérer les arguments de Zénon d'Élée, en particulier les arguments dits de l'« Achille » et de la « Dichotomie », en réunissant les perspectives de plusieurs disciplines, dont l'histoire de la philosophie ancienne, l'histoire et la philosophie des mathématiques, et la philosophie du temps. Nous soutenons que les réponses ordinairement données à ces arguments au XX e siècle, d'après lesquelles la mathématique moderne nous donne les moyens de dissoudre l'aporie, sont erronées et s'accompagnent d'une vue faussée sur le problème originel, notamment sur le concept d'infini qu'il implique. Dans une première partie, nous étudions les sources sur Zénon et sur son contexte de réception, pour établir que l'infini est chez lui second par rapport à l'idée d'inachevabilité, qui découle d'un mode de raisonnement nouveau qu'on peut nommer « itératif indéfini ». Nous examinons comment Zénon a utilisé ce raisonnement dans l'élaboration d'apories dialectiques, et comment l'ensemble des systèmes antiques étaient susceptibles de résoudre ces dernières. Dans une seconde partie, nous défendons l'aporie zénonienne du mouvement. Nous montrons qu'elle repose sur un principe que nous nommons « principe d'achevabilité », lui-même ancré dans notre intuition temporelle du passage. À travers la considération de la littérature sur les "supertasks", des problèmes concernant la réalité et la nature du temps, des différents concepts d'infini, et de la réflexion métamathématique, nous montrons à la fois pourquoi les théories de l'infini mathématique sont, de fait, la seule raison conduisant à rejeter le principe d'achevabilité, et pourquoi elles ne sont pas, de droit, en mesure de justifier ce rejet.

L'école d'aujourd'hui, n°17, 2011

Les innovations portent toujours en elles la promesse de transformations positives. C'est vrai à l'école avec les technologies « classiques » -l'accrochage d'un tableau noir a bien constitué un jour une innovation -comme avec les technologies numériques. Il y a cependant loin des promesses à leur réalisation : les équilibres que le maître réalise dans la salle de classe sont complexes, et toute innovation suppose une intégration délicate, à penser dans le temps.

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

2002

This thesis is concerned with the modelling of real-time systems using Petri nets. We investigate both the problem of time representation, and of preemption (i.e., interruption of the processes of a system) which is often needed for real-time applications. We consider Petri nets without explicit temporal information. The key idea of our approach consists in introducing time through specific sub-nets representing clocks present in the system being modelled. This results in what we refer to as causal time since causality is the only means by which the precedence relationship between event occurrences is specified. For a succinct formulation of the causal time model, we use M-nets which are a class of coloured Petri nets endowed with compositional operators similar to those used by the standard process algebras. We extend the M-nets model in order to allow an efficient representation of asynchronous interprocess communication, and establish a number of theoretical results concerning su...

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).

La performance du système d'information dépend de l'efficacité opérationnelle des processus métier implémentés, mais aussi de leur capacité à répondre aux besoins non-fonctionnels, en particulier, celui de performabilité (performance et fiabilité). En effet, la phase de modélisation des processus métier est une phase primordiale du cycle BPM (Business Process Management). Néanmoins, la notation BPMN (Business Process Model and Notation) qui est le standard de facto de la modélisation des processus métier, se limite à la modélisation contemplative de leur comportement, permettant aux développeurs de capturer leurs besoins fonctionnels. Dans le cadre d'une approche de modélisation productive, l'intégration des besoins de performabilité dès la conception des processus métier est primordiale pour permettre leur analyse automatique et prédire leur qualité de service. Cet article classe et compare des contributions parmi les plus référencées ou récentes dans ce domaine. L&...

Cahiers de linguistique - Asie orientale, 1994

This paper gives a tentative interpretation of the double value (perfective and potential) of two forms, de and liao, in some Northern Mandarin dialects. The potential suffix liao has not been discussed up to now, and we claim that the link we can see between its potential and perfective values can also be seen for de. The hypothesis of a haplology to account for potential V-de or V-liao forms is also discussed.