409 research outputs found
Barry Smith an sich
Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński
Digital 3D Technologies for Humanities Research and Education: An Overview
Digital 3D modelling and visualization technologies have been widely applied to support research in the humanities since the 1980s. Since technological backgrounds, project opportunities, and methodological considerations for application are widely discussed in the literature, one of the next tasks is to validate these techniques within a wider scientific community and establish them in the culture of academic disciplines. This article resulted from a postdoctoral thesis and is intended to provide a comprehensive overview on the use of digital 3D technologies in the humanities with regards to (1) scenarios, user communities, and epistemic challenges; (2) technologies, UX design, and workflows; and (3) framework conditions as legislation, infrastructures, and teaching programs. Although the results are of relevance for 3D modelling in all humanities disciplines, the focus of our studies is on modelling of past architectural and cultural landscape objects via interpretative 3D reconstruction methods
Dynamic operation, efficient calibration, and advanced data analysis of gas sensors : from modelling to real-world operation
This thesis demonstrates the use of dynamic operation, efficient calibration and advanced data analysis using metal oxide semiconductor (MOS) gas sensors as an example – from modeling to real-world operation. The necessary steps for an applicationspecific, selective indoor volatile organic compound (VOC) measurement system are addressed, analyzed and improved. Factors such as sensors, operation, electronics and calibration are considered. The developed methods and tools are universally transferable to other gas sensors and applications. The basis for selective measurement is temperature cyclic operation (TCO). The model-based understanding of a semiconductor gas sensor in TCO for the optimized development of operating modes and data evaluation is addressed and, for example, the tailored and stable detection of short gas pulses is developed. Two successful interlaboratory tests for the measurement of VOCs in independent laboratories are described. Selective measurements of VOCs in the laboratory and in the field are successfully demonstrated. Calibrations using the proposed techniques of randomized design of experiment (DoE), model-based data evaluation and calibration with machine learning methods are employed. The calibrated models are compared with analytical measurements using release tests. The high agreement of the results is unique in current research.Diese Thesis zeigt den Einsatz von dynamischem Betrieb, effizienter Kalibrierung, und fortschrittlicher Datenanalyse am Beispiel von Metalloxid Halbleiter (MOS) Gassensoren – von der Modellierung bis zum realen Betrieb. Die notwendigen Schritte für ein anwendungsspezifisches, selektives Messystem für flüchtige organische Verbindungen (VOC) im Innenraum werden adressiert, analysiert und verbessert. Faktoren wie z.B. Sensoren, Funktionsweise, Elektronik und Kalibrierung werden berücksichtigt. Die entwickelten Methoden und Tools sind universell auf andere Gassensoren und Anwendungen übertragbar. Grundlage für die selektive Messung ist der temperaturzyklische Betrieb (TCO). Auf das modellbasierte Verständnis eines Halbleitergassensors im TCO für die optimierte Entwicklung von Betriebsmodi und Datenauswertung wird eingegangen und z.B. die maßgeschneiderte und stabile Detektion von kurzen Gaspulsen entwickelt. Zwei erfolgreiche Ringversuche zur Messung von VOCs in unabhängigen Laboren werden beschrieben. Selektive Messungen verschiedener VOCs im Labor und im Feld werden erfolgreich demonstriert. Dabei kommen Kalibrierungen mit den vorgeschlagenen Techniken des randomisierten Design of Experiment (DoE), der modellbasierten Datenauswertung und Kalibrierung mit Methoden des maschinellen Lernens zum Einsatz. Die kalibrierten Modelle werden anhand von Freisetzungstests mit analytischen Messungen verglichen. Die hohe Übereinstimmung der Ergebnisse ist einzigartig in der aktuellen Forschung
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Computer systems can be found everywhere: in space, in our homes, in our
cars, in our pockets, and sometimes even in our own bodies. For concerns of
safety, economy, and convenience, it is important that such systems work
correctly. However, it is a notoriously difficult task to ensure that the
software running on computers behaves correctly.
One approach to ease this task is that of model checking, where a model of
the system is made using some mathematical formalism. Requirements expressed in
a formal language can then be verified against the model in order to give
guarantees that the model satisfies the requirements.
For many computer systems, time is an important factor. As such, we need our
formalisms and requirement languages to be able to incorporate real time.
We therefore develop formalisms and algorithms that allow us to compare and
express properties about real-time systems. We first introduce a logical
formalism for reasoning about upper and lower bounds on time, and study the
properties of this formalism, including axiomatisation and algorithms for
checking when a formula is satisfied.
We then consider the question of when a system is faster than another system.
We show that this is a difficult question which can not be answered in general,
but we identify special cases where this question can be answered. We also show
that under this notion of faster-than, a local increase in speed may lead to a
global decrease in speed, and we take step towards avoiding this.
Finally, we consider how to compare the real-time behaviour of systems not
just qualitatively, but also quantitatively. Thus, we are interested in knowing
how much one system is faster or slower than another system. This is done by
introducing a distance between systems. We show how to compute this distance
and that it behaves well with respect to certain properties.Comment: PhD dissertation from Aalborg Universit
LIPIcs, Volume 258, SoCG 2023, Complete Volume
LIPIcs, Volume 258, SoCG 2023, Complete Volum
Improved micro-contact resistance model that considers material deformation, electron transport and thin film characteristics
This paper reports on an improved analytic model forpredicting micro-contact resistance needed for designing microelectro-mechanical systems (MEMS) switches. The originalmodel had two primary considerations: 1) contact materialdeformation (i.e. elastic, plastic, or elastic-plastic) and 2) effectivecontact area radius. The model also assumed that individual aspotswere close together and that their interactions weredependent on each other which led to using the single effective aspotcontact area model. This single effective area model wasused to determine specific electron transport regions (i.e. ballistic,quasi-ballistic, or diffusive) by comparing the effective radius andthe mean free path of an electron. Using this model required thatmicro-switch contact materials be deposited, during devicefabrication, with processes ensuring low surface roughness values(i.e. sputtered films). Sputtered thin film electric contacts,however, do not behave like bulk materials and the effects of thinfilm contacts and spreading resistance must be considered. Theimproved micro-contact resistance model accounts for the twoprimary considerations above, as well as, using thin film,sputtered, electric contact
- …