1 |
Géométrie de l'Interaction et Réseaux DifférentielsDe Falco, Marc 28 May 2009 (has links) (PDF)
La Géométrie de l'Interaction (GdI) de Girard est une sémantique des langage de programmations tenant compte de leur dynamique de réduction.<br />Dans un premier temps, on présente les réseaux d'interaction de Lafont comme une instance particulière de GdI. Puis, on définis un cadre général d'étude de la GdI à partir d'un ensemble de symboles et de règles d'interaction.<br />Dans un second temps, on introduit une notion de concision associée à la GdI et on montre dans quelle mesure cette notion fait du sens à l'aide d'une famille d'exemple basée sur les entiers de Church.<br />Dans un dernier temps, on présente les réseaux d'interaction différentiels d'Ehrhard et Regnier et on définit leur GdI. On montre que la théorie usuelle de Danos-Regnier est entièrement récupérée.
|
2 |
Programmer, calculer et raisonner avec les réseaux de la Logique LinéaireGimenez, Stéphane 16 December 2009 (has links) (PDF)
La première partie propose divers systèmes de réseaux d'interaction (calcul par réécriture muni d'une réduction atomique, locale et parallèle) qui simulent l'exécution des preuves de la logique linéaire (considérées comme des programmes). Les différents fragments de cette logique sont abordés, on y ajoute aussi une récursion pour atteindre l'expressivité des langages de programmation usuels. Ce procédé de simulation permet d'exécuter certains langages à l'aide d'une petite machine d'exécution multi-processeurs. Il s'appuie sur des représentations localisées de boîtes issues des réseaux de preuve ; certaines utilisent avantageusement un canal de contrôle pour ne rien perdre de la structure des preuves représentées. La deuxième partie s'articule autour de la logique linéaire différentielle et de ses ressources à usage unique. On la munit d'une super-promotion, qui se distingue notamment d'une promotion ordinaire parce qu'elle préserve la symétrie originelle de ce formalisme. C'est la pendante côté logique de la réplication qu'on trouve parfois dans les algèbres de processus. On arrive à isoler l'un de ses composants plus primitifs, le co-enfouissement, responsable de leur dynamique incontrôlée (pour l'instant). Cette construction peut être exprimée dans la syntaxe du λ-calcul avec ressources ou dans un système de réseaux. La séquentialisation de ces derniers requiert une présentation originale de la logique, fondée sur un calcul de structures, et qui a potentiellement d'autres intérêts. Il est aussi question de réalisabilité pour les systèmes différentiels et de sémantique relationnelle pour les divers réseaux présentés.
|
3 |
Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels.Sinot, François-Régis 19 September 2006 (has links) (PDF)
Dans les langages fonctionnels, l'efficacité dépend crucialement du choix de la stratégie d'évaluation et d'un modèle d'implantation adapté. Nous développons d'abord un λ-calcul avec substitutions explicites qui évite les problèmes habituels liés à la substitution et à l'α-conversion, dans lequel on peut définir les stratégies usuelles, mais aussi des stratégies avec un meilleur partage de calcul. Ensuite, nous développons un modèle d'implantation efficace pour ce calcul. Pour cela, nous proposons une représentation innnovante des variables libres, d'abord dans le cadre très général de la récriture d'ordre supérieur, puis avec plus de détails dans notre cas particulier. Nous obtenons ainsi un λ-calcul avec substitutions explicites sans noms ni indices, dans lequel les te! rmes sont annotés avec de l'information qui indique comment les substitutions doivent être propagées, et qui constitue un modèle d'implantation efficace pour nos stratégies. Des machines abstraites sont alors définies, implantées et comparées expérimentalement aux meilleurs évaluateurs connus. Finalement, nous étudions les relations entre machines abstraites traditionnelles et réseaux d'interaction, deux modèles d'implantation courants mais très différents. Plus précisément, nous montrons comment certaines stratégies peuvent être implantées dans les réseaux d'interaction d'une façon très naturelle, rapprochant ainsi deux modèles utilisés pour l'implantation de stratégies efficaces.
|
4 |
Modèles déformables pour l'animation : modélisation, animation et contrôleGascuel, Marie-Paule 25 March 1995 (has links) (PDF)
.
|
5 |
Investigations classiques, complexes et concurrentes à l'aide de la logique linéaireLaurent, Olivier 05 February 2010 (has links) (PDF)
La logique linéaire fait désormais partie des outils standards en théorie de la démonstration et, de manière plus générale, dans l'étude de la correspondance de Curry-Howard. Nous présentons ici trois directions importantes d'application de méthodes issues de la logique linéaire : - la théorie de la démonstration de la logique classique et ses aspects calculatoires via notamment la sémantique des jeux ; - la complexité implicite à travers les modèles dénotationnels des logiques linéaires à complexité bornée ; - la théorie de la concurrence et ses fondements logiques grâce aux ingrédients apportés par la logique linéaire différentielle. Les approches linéaires offrent ainsi un cadre commun pour l'étude de différents aspects logiques du calcul.
|
6 |
Le site CjEd-8 : l'Archaïque supérieur au TémiscouataBrunet, Julie 02 1900 (has links)
Occupé depuis près de 10 000 ans, le Témiscouata est un lieu clé pour mieux comprendre la préhistoire du Québec, en raison de son emplacement stratégique entre l’Atlantique et la vallée du Saint-Laurent et de la cinquantaine de sites archéologiques connus dans la région. Le site CjEd-8 est le seul site associé à l’Archaïque supérieur (6 000 à 4 000 ans avant aujourd’hui) connu dans la région. Cette recherche palethnographique porte sur l’analyse de la collection lithique du site archéologique CjEd-8.
Nos questions de recherche sont les suivantes : quel était le mode de vie et les activités des occupants du site CjEd-8? Quel était leur environnement et comment s’y sont-ils adapté? Comment l’espace était-il utilisé sur le site? Comment ce site se compare-t-il aux autres sites de l’Archaïque supérieur au Québec et dans le nord-est américain? Est-il possible de relier l’occupation du site CjEd-8 à un plus vaste cadre régional ou culturel, comme un réseau d’interaction, par exemple?
Nous avons effectué une analyse techno-morphologique individuelle de tous les outils et du débitage de la collection. Nous avons pu constater que tous les stades de réduction lithique (initial, intermédiaire et final) sont présents sur le site CjEd-8. Les matières premières locales sont représentées dans tous ces stades de réduction, bien que les matières premières exotiques soient surtout présentes au sein du stade initial de réduction, davantage que les matières premières locales. Ceci laisse croire que le dégrossissement initial des blocs et galets de matière première locale se faisait ailleurs que sur le site, fort probablement sur les carrières de chert de la région, et que des matières exotiques ont aussi été travaillées sur le site. Des activités de taille ont eu lieu sur les deux zones du site, probablement autour de deux foyers distincts. Les quelques individus présents y sont demeurés très brièvement, semblent avoir effectué un nombre limité d’activités et sont peut-être repassés quelques temps après.
L’Archaïque supérieur est caractérisé par une augmentation de la population et par l’intensification des interactions et de l’appartenance régionale. Or, il semblerait que ce soit l’inverse que l’on observe archéologiquement au Témiscouata. L’assemblage de CjEd-8 ne présente aucune ressemblance particulière avec les sites associés à l’Archaïque supérieur au Québec, bien que pour presque tous ces sites, on constate une exploitation importante des matières premières locales (même si ces dernières sont de qualité moyenne), combinée à l’exploitation de matières premières exotiques de sources très éloignées. L’industrie du quartz, importante dans la plupart des sites de l’Archaïque supérieur, se reflète très peu sur CjEd-8.
Bien qu’il nous soit impossible d’associer l’occupation du site CjEd-8 à une tradition culturelle précise, cela ne signifie pas que ses occupants n’étaient pas en interaction avec l’une ou l’autre des entités culturelles de la fin de l’Archaïque, que ce soit avec les groupes de la région de Quoddy, de la Gaspésie, de la Vallée du Saint-Laurent, de l’Outaouais, de la Haute Côte nord, du Vermont, de l’État de New York et de l’intérieur du Maine.
La question des modes de subsistance des occupants de CjEd-8 n’a pas été soulevée lors de nos analyses. Nous savons toutefois que les occupants du Témiscouata avaient alors accès à une faune riche et diversifiée. / Continuously occupied for 10,000 years, and due to its strategic location between the Atlantic Ocean and the St. Lawrence Valley, the Temiscouata region is key to understand the prehistory of Quebec. Moreover, some fifty archaeological sites are known in the region. Of those, the site labelled CjEd-8 is the only one that has a Late Archaic occupation (6,000 to 4,000 BP). The present research consists in the analysis of the lithic assemblage recovered from CjEd-8.
Our research questions are the following: What were the activities and lifeways of the site's inhabitants? What were the environmental characteristics and what cultural adaptations did they trigger? How was space used at the site? How does the site compare with other Late Archaic settlements in Quebec and the Northeast? Can we position the site's occupation within a broader cultural or regional framework, within an interaction sphere, for instance?
We have performed an individual techno-morphological analysis of all tools and debitage from the collection. These demonstrate that all stages of lithic reduction (initial, intermediary, and final) are present at CjEd-8. All these reduction stages include local raw materials, but exotic raw materials are principally represented among the initial reduction stages, more so than local materials. This suggests that the initial reduction of local raw material blocks and cobbles was performed elsewhere than on the site, most likely directly in the vicinity of the region's chert quarries. It also indicates that exotic materials were worked at the site. Stone knapping activities have taken place on both the site's zones, probably around two distinct hearths. It appears that the few individuals present at the site remained there for a short period of time, performing a limited number of activities before leaving, and that they returned some time thereafter.
The Late Archaic is characterized by population growth, intensification of inter-group interaction, and a rise in regional identity. However, we are witnessing the opposite to be happening in Temiscouata. The assemblage from CjEd-8 presents no obvious similarity with other Late Archaic sites in Quebec, although all these sites exhibit a preferred exploitation of local raw materials (even when they are of mediocre quality), combined with the use of exotic raw materials from very distant sources. The use of quartz, very common on most Late Archaic sites, is not well represented at CjEd-8.
Although it is at present impossible to link the occupation of CjEd-8 with any specific cultural tradition, it does not immediately follow that its inhabitants were not interacting with one or more Late Archaic cultural entities, such as groups from the Quoddy region, Gaspesie, the St. Lawrence Valley, the Ottawa Valley, the Upper North Coast of the St. Lawrence River, Vermont, New York State, or inland Maine.
The matter of subsistence patterns was not addressed as part of our analyses. We nonetheless know that the inhabitants of Temiscouata had access to a rich and diversified fauna.
|
7 |
Le site CjEd-8 : l'Archaïque supérieur au TémiscouataBrunet, Julie 02 1900 (has links)
Occupé depuis près de 10 000 ans, le Témiscouata est un lieu clé pour mieux comprendre la préhistoire du Québec, en raison de son emplacement stratégique entre l’Atlantique et la vallée du Saint-Laurent et de la cinquantaine de sites archéologiques connus dans la région. Le site CjEd-8 est le seul site associé à l’Archaïque supérieur (6 000 à 4 000 ans avant aujourd’hui) connu dans la région. Cette recherche palethnographique porte sur l’analyse de la collection lithique du site archéologique CjEd-8.
Nos questions de recherche sont les suivantes : quel était le mode de vie et les activités des occupants du site CjEd-8? Quel était leur environnement et comment s’y sont-ils adapté? Comment l’espace était-il utilisé sur le site? Comment ce site se compare-t-il aux autres sites de l’Archaïque supérieur au Québec et dans le nord-est américain? Est-il possible de relier l’occupation du site CjEd-8 à un plus vaste cadre régional ou culturel, comme un réseau d’interaction, par exemple?
Nous avons effectué une analyse techno-morphologique individuelle de tous les outils et du débitage de la collection. Nous avons pu constater que tous les stades de réduction lithique (initial, intermédiaire et final) sont présents sur le site CjEd-8. Les matières premières locales sont représentées dans tous ces stades de réduction, bien que les matières premières exotiques soient surtout présentes au sein du stade initial de réduction, davantage que les matières premières locales. Ceci laisse croire que le dégrossissement initial des blocs et galets de matière première locale se faisait ailleurs que sur le site, fort probablement sur les carrières de chert de la région, et que des matières exotiques ont aussi été travaillées sur le site. Des activités de taille ont eu lieu sur les deux zones du site, probablement autour de deux foyers distincts. Les quelques individus présents y sont demeurés très brièvement, semblent avoir effectué un nombre limité d’activités et sont peut-être repassés quelques temps après.
L’Archaïque supérieur est caractérisé par une augmentation de la population et par l’intensification des interactions et de l’appartenance régionale. Or, il semblerait que ce soit l’inverse que l’on observe archéologiquement au Témiscouata. L’assemblage de CjEd-8 ne présente aucune ressemblance particulière avec les sites associés à l’Archaïque supérieur au Québec, bien que pour presque tous ces sites, on constate une exploitation importante des matières premières locales (même si ces dernières sont de qualité moyenne), combinée à l’exploitation de matières premières exotiques de sources très éloignées. L’industrie du quartz, importante dans la plupart des sites de l’Archaïque supérieur, se reflète très peu sur CjEd-8.
Bien qu’il nous soit impossible d’associer l’occupation du site CjEd-8 à une tradition culturelle précise, cela ne signifie pas que ses occupants n’étaient pas en interaction avec l’une ou l’autre des entités culturelles de la fin de l’Archaïque, que ce soit avec les groupes de la région de Quoddy, de la Gaspésie, de la Vallée du Saint-Laurent, de l’Outaouais, de la Haute Côte nord, du Vermont, de l’État de New York et de l’intérieur du Maine.
La question des modes de subsistance des occupants de CjEd-8 n’a pas été soulevée lors de nos analyses. Nous savons toutefois que les occupants du Témiscouata avaient alors accès à une faune riche et diversifiée. / Continuously occupied for 10,000 years, and due to its strategic location between the Atlantic Ocean and the St. Lawrence Valley, the Temiscouata region is key to understand the prehistory of Quebec. Moreover, some fifty archaeological sites are known in the region. Of those, the site labelled CjEd-8 is the only one that has a Late Archaic occupation (6,000 to 4,000 BP). The present research consists in the analysis of the lithic assemblage recovered from CjEd-8.
Our research questions are the following: What were the activities and lifeways of the site's inhabitants? What were the environmental characteristics and what cultural adaptations did they trigger? How was space used at the site? How does the site compare with other Late Archaic settlements in Quebec and the Northeast? Can we position the site's occupation within a broader cultural or regional framework, within an interaction sphere, for instance?
We have performed an individual techno-morphological analysis of all tools and debitage from the collection. These demonstrate that all stages of lithic reduction (initial, intermediary, and final) are present at CjEd-8. All these reduction stages include local raw materials, but exotic raw materials are principally represented among the initial reduction stages, more so than local materials. This suggests that the initial reduction of local raw material blocks and cobbles was performed elsewhere than on the site, most likely directly in the vicinity of the region's chert quarries. It also indicates that exotic materials were worked at the site. Stone knapping activities have taken place on both the site's zones, probably around two distinct hearths. It appears that the few individuals present at the site remained there for a short period of time, performing a limited number of activities before leaving, and that they returned some time thereafter.
The Late Archaic is characterized by population growth, intensification of inter-group interaction, and a rise in regional identity. However, we are witnessing the opposite to be happening in Temiscouata. The assemblage from CjEd-8 presents no obvious similarity with other Late Archaic sites in Quebec, although all these sites exhibit a preferred exploitation of local raw materials (even when they are of mediocre quality), combined with the use of exotic raw materials from very distant sources. The use of quartz, very common on most Late Archaic sites, is not well represented at CjEd-8.
Although it is at present impossible to link the occupation of CjEd-8 with any specific cultural tradition, it does not immediately follow that its inhabitants were not interacting with one or more Late Archaic cultural entities, such as groups from the Quoddy region, Gaspesie, the St. Lawrence Valley, the Ottawa Valley, the Upper North Coast of the St. Lawrence River, Vermont, New York State, or inland Maine.
The matter of subsistence patterns was not addressed as part of our analyses. We nonetheless know that the inhabitants of Temiscouata had access to a rich and diversified fauna.
|
Page generated in 0.147 seconds