of (extensive and intensive) magnitudes which make up one preliminary stage on the road to the formal ontology of the Logical Investigations. (See [8], pp. 83f, 95, 413; [l], "Prolegomena", § § 22 and 70.) In what follows we shall outline the basic concepts of formal ontology as Husserl conceived it

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and sharing with colleagues. Other uses, including reproduction and distribution

Messaging is a basic service in sensornets. Yet the unique system and application prop-erties of sensornets pose substantial challenges for the messaging design: Firstly, dynamic wireless links, constrained resources, and application diversity challenge the architecture and protocol design of sensornet messaging; Secondly, complex faults and large system scale introduce new challenges to the design of fault-tolerant protocols. The objective of this dissertation is to address the aforementioned challenges of sensornet messaging. Despite the extensive effort in studying sensornet messaging, the lack of a basic un-derstanding of its essential components has been an obstacle for reliable, efcient, and reusable messaging services in sensornets. To address this problem, one task of this dis-sertation is to identify the basic components of sensornet messaging and to study the re-lated algorithmic design issues. More specically, we propose the messaging architecture SMA that consists of three components: trafc-adaptive link estimation and routing (TLR), application-adaptive structuring (AST), and application-adaptive scheduling (ASC). TLR deals with dynamic wireless links as well as the impact of application trafc patterns on

Fluorine gas is produced industrially by electrolysing hydrogen fluoride in a potassium acid fluoride electrolyte. Fluorine is produced at the carbon anode, while hydrogen is produced at the mild-steel cathode. The fluorine produced has a wide range of uses, most notably in the nuclear industry where it is used to separate 235U and 238U. The South African Nuclear Energy Corporation (Necsa) is a producer of fluorine and requested an investigation into the hydrodynamics of their electrolysis cells as part of a larger national initiative to beneficiate more of South Africa’s large fluorspar deposits. Due to the extremely corrosive and toxic environment inside a typical fluorine electrolysis reactor, the fluid dynamics in the reactor are not understood well enough. The harsh conditions make detailed experimental investigation of the reactors extremely dangerous. The objective of this project is to construct a model that can accurately predict the physical processes involved in the production of fluorine gas. The results of the simulation will be compared to experimental results from tests done on a lab-scale reactor. A good correlation

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

and backchase

Abstract—By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safetycritical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredictable realworld dynamics. However, common CPS hardware—comprising battery-powered and severely resource-constrained devices interconnected via low-power wireless—greatly complicates attaining the required communication guarantees. VIRTUS fills this gap by providing atomic multicast and view management atop resourceconstrained devices, which together provide virtually synchronous executions that developers can leverage to apply established concepts from the dependable distributed systems literature. We build VIRTUS upon an existing best-effort communication layer, and formally prove the functional correctness of our mechanisms. We further show, through extensive real-world experiments, that VIRTUS incurs a limited performance penalty compared with best-effort communication. To the best of our knowledge, VIRTUS is the first system to provide virtual synchrony guarantees atop resource-constrained CPS hardware. I.

Abstract not found

2010 to my wife, Joyce, and my family...- Résumé-

Abstract not found