Proposition d'une méthode dite de positionnement pour la conception d'algorithmes parallèles pour réseaux symboliques composés de cellules programmables. Simulation d'algorithmes symboliques dans le langage Occam, caractérisé par un mécanisme de synchronisation locale. Quelques résultats partiels sur une conjecture a propos du plus long cycle que peut générer séquentiellement un réseau booléen monotone sont présentés

Concurrency is generally considered to be difficult due to a lack of appropriate abstraction, rather than inherent complexity. Lock-based approaches to mutual exclusion are pervasive, despite the presence of models that are easier to understand, such as the message-passing model present in CSP (Communicating Sequential Processes). CSP provides a rich framework for building and reasoning about concurrent systems, but has historically required a change of programming language or paradigm in order to work with it. The Go programming language is a modern, imperative programming language that includes native support for processes and channels. The popularity of this language has grown and more and more people are being exposed to the fundamental ideas of CSP. There is a gap in the understanding of how a restrictive formal model can interact with and support the development of concurrent programs in a language such as Go. Through a series of case studies and analysis, we show how the CSP concurrency model can be used as the basis for the design of a concurrent system architecture without requiring the program to be written entirely as the composition of processes. It is also possible to use the CSP process algebra to build abstract models and use model-checking tools to verify properties of a concurrent system. These models can then be used to guide the decomposition of a system into a more fine-grained concurrent system. This thesis bridges the gap between the development of CSP-style concurrent software and the formal model of CSP. In particular, it shows how it is not necessary for a program or programming language to conform to rigid structure in order for CSP to be a useful tool for the development of reliable and easy to understand concurrent systems.

L’intégration de l’environnement et des systèmes d’information progresse très vite depuis 10 ans. Cette intégration permet de suivre des évolutions naturelles, physiques, sociétales ; de les mesurer, de les comprendre ; quelquefois de les contrôler. On peut assimiler cette intégration à des besoins, tels que les changements climatiques ou les économies de ressources ; mais aussi à des progrès technologiques dans les domaines des systèmes miniatures, des communications sans fil et des capteurs.Dans ce contexte, nous avons d’abord effectué un apprentissage technologique, en réalisant plusieurs petits systèmes et des logiciels applicatifs de bas et de haut niveau. Nous nous sommes attaqués à la partie frontale des chaînes logicielles, celle qui permet de passer des bases de données pour Systèmes d’Information Géographique à l’implantation et l’exploitation de systèmes distribués de capteurs. QuickMap est ainsi un logiciel de navigation multi-services, incluant OpenStreetMap, construit pour le placement des capteurs et la spécification de systèmes de cellules physiques.Sur la plateforme NetGen, nous avons réalisé un simulateur concurrent associant un ou plusieurs mobiles à un ou plusieurs champs de capteurs. Une application est l’étude des interactions entre satellite en orbites basses, réseaux de capteurs lointains et stations de contrôle.Le séquencement par le temps permet d’associer plusieurs activités aériennes et au sol, en bénéficiant de hautes performances.Enfin, les questionnements méthodologiques ont amené à considérer la possibilité de virtualisation, à la fois du capteur, en le recouvrant d’une machine virtuelle, et à la fois du système d’observation distribué, en utilisant la plateforme NetGen.Nous avons maquetté un capteur et son interface radio en termes de processus communicants, en cherchant à réduire la complexité et la diversité de la programmation des petits systèmes matériels.Plusieurs de nos réalisations sont effectives et servent à des projets de recherche actifs.Cette thèse a été réalisée à l’Université de Brest, laboratoire Lab-STICC, grâce à une allocation de la communauté brestoise BMO. / The integration of environment and information systems is progressing quickly since 10 years. This allows to monitor natural, physical or societal evolutions; to capture their logic and sometimes to control their effects. This integration is feasible thanks to many technical and scientific progresses: sensors, wireless communications, system on chips, batteries, distributed systems and geo-localization. The benefits are important for climate change monitoring and resource savings.In this context, we have firstly achieved a learning of technologies and several practical system realizations. We have produced a navigation software (QuickMap) allowing to interface gis databases and tile servers similar to OpenStreetMap, taking care of sensor locations and outputs. QuickMap is also a nice frontend to produce cellular systems oriented to physical simulations.Using the NetGen platform, we have produced a simulation framework allowing to schedule mobile moves with sensor field activities. A case study was leo satellites visiting remote sensor systems, with investigations on two algorithms suitable for data collection and control.Finally we have addressed the question of observation system virtualization by using an high level, process oriented virtual machine (tvm) to control the wireless link, a step forward to make the distributed and local behaviours homogeneous in terms of programming and simulation.Many of our developments are currently involved in active projects.This thesis was funded by a grant of Brest Metropole Oceane (BMO) and was achieved in a wireless research group at University of Brest, Lab-STICC laboratory.

Navorsing oor veranderende konsepte van God toon aan dat die oorsprong van ateïsme na die skolastici van die laat-middeleeue teruggevoer kan word. Hierdie ondersoek poog om die verhouding tussen Johannes Duns Scotus se eenduidige konseptualisering van God en die verwerping van God deur moderne ateïste aan te toon. Die verandering van Thomas Aquinas se analogiese teologie na Johannes Duns Scotus se eenduidige ontologiese konseptualisering van God het `n groot invloed op nominalistiese teologie en die moderne realiteitsverstaan gehad. Nominaliste soos William van Occam het hierdie eenduidige konsep van God later kombineer en verder ontwikkel met die gevolg dat God later nie meer ontologiese voorkeur geniet het nie. Waar Aquinas die klem op God se transendensie gelê het, was daar ‘n toenemende neiging om God al hoe meer immanent te verstaan. ʼn God wat op dieselfde wyse as die mens bestaan, word dus ʼn “wese”, ʼn “getemde God”. Scotus en latere nominaliste het God se kwantitatiewe andersheid bo sy kwalitatiewe andersheid beklemtoon. Binne `n akademiese ruimte waarin die waarheid van die Christelike geloof en die outoriteit van die Rooms Katolieke Kerk nie bevraagteken is nie, was die invloed van hierdie teologiese veranderinge klein. Die Reformasie het dit egter verander, en alhoewel dit nie die bedoeling was nie, was die gevolg dat hierdie eenduidige konseptualisering van God deel van moderne teïsme geword het. Duns Scotus se invloed was so groot dat daar ook na hom as die stigter van moderniteit verwys kan word. Na die Reformasie het Descartes se cogito ergo sum daartoe gelei dat die rede alleen as bron van betekenis gegeld het. Hierdie ontwikkeling het voorkeur aan epistemologie bo ontologie gegee. Binne hierdie moderne realiteitsverstaan is daar nie plek vir ʼn eenduidige konseptualisering van God nie. Omdat ateïste juis hierdie konsep van God verwerp, is daar waarde in die bestudering van ateïsme. Sleutelwoorde: ateïsme, Thomas Aquinas, Johannes Duns Scotus, William van Occam, analogie van syn, eenduidige syn, Descartes, die Reformasie, Amos Funkenstein, Gavin Hyman, Brad Gregory, epistemologie, ontologie, skolastici, nominalisme, moderniteit, moderne teïsme. / Dissertation (MTh)--University of Pretoria, 2017. / Dogmatics and Christian Ethics / MTh / Unrestricted