We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. Formal systems based on this notion can be used to generalize Horn-logic and naturally allow and suggest extensions which differ in interesting ways from generalizations based on first order predicate calculus. E.g. the notion of completion generated by a calculus of PID and the resulting notion of negation is completely natural and does not require externally motivated procedures such as "negation as failure". For this reason, computational issues arising in these calculi deserve closer inspection. This work discuss a number of finitary theories of PID and analyzethe algorithmic and semantical issues that arise in each of them. There has been significant work on implementing logic programming languages in this setting and we briefly present the programming language and knowledge modelling tool GCLA II in which many of the computational prob-lems discussed arise naturally in practice. / <p>Also published as SICS Dissertation no. SICS-D-19</p>

Text in English / Telehealth makes healthcare services accessible by underserved and resource-constrained rural communities of developing countries such as Ethiopia. However, the limitation of frameworks on telemedicine-based healthcare inequality reduction is a challenge for developing countries. In Ethiopia there are four telemedicine projects; however, there is no evidence that any of these projects have been evaluated by considering contextual issues. This academic research explored telehealth practices in Ethiopia with the aim of developing a comprehensive telehealth evaluation framework for developing countries. Such a conceptual framework could be used to inform health institutes and governmental policy makers and in so doing create a vehicle for the implementation of improved health practices in Ethiopia. A grounded theory approach is used to qualitatively explore the usefulness of telemedicine practices in Ethiopia, in mitigating healthcare inequality. Grounded theory makes use of emerging insights in order to contribute to new knowledge. From the inductive analysis of the study, themes such as barrier removal, service quality, synergetic effect, localization, technical setup, resource utilization and managerial readiness emerged to formulate a framework for evaluating telemedicine-based healthcare inequality reduction in the context of developing countries like Ethiopia. This study contributes to the understanding of the question of how telemedicine practices can be evaluated, to support the healthcare service and reduce the healthcare inequalities in resource constrained communities in Ethiopia. Moreover, the framework could be used during evaluation of telemedicine-based healthcare inequality reduction in the context of developing countries like Ethiopia. / School of Computing / Ph.D. (Information Systems)

This master thesis deals with design and realization of multistage electromagnetic accelerating device (gun) and possibilities to increase its effectivity. This work contains a simulation of a magnetic circuit and designs of each components, inclusive of control circuits. Reached effectivity will be measured by appropriate methods.

This thesis deals with the design and realization of wireless power charging circuit for embedded systems. The research section focuses on the various ways and technologies used in applications of wireless power transfer. The theoretical part also briefly characterizes resonant inductive coupling and critical parameters of the transfer. This is followed by realization of various variants of transfer coils and electromagnetic oscillators. Wireless power charging prototype system is created and used for testing purposes to find optimal configuration of resonator. The hardware unit presented in the final part of the thesis exploits microcontroller and implemented software is extended by foreign object detection algorithm along with method to monitor battery charging state.

The purpose of this thesis is to introduce readers with design of a surge arresters in four different categories. In the first part of this thesis is described theory of overvoltage, surge arresters and testing. The second part of this thesis is focused on design of surge arresters to protect from overvoltage due switching capacitive loads. The thesis continued with design of surge arresters in medium voltage network. The next part is design of surge arresters to protect from overvoltage due switching inductive loads. The next point is protective distance of surge arresters in different lighting overvoltages. In the conclusion of this thesis is the appreciation of whole problems about surge arresters.

The master’s thesis is devoted to exploiting of gas-discharge lamps and their dependence on frequency of the supply current. The first part describes the theory of discharge, its types and properties, terms of its origin, and ways of its exploitation. The second part concerns electrical ballast systems of gas discharge light sources, inductive (reactive) and electronic ballasts, principles of their functioning, advantages and disadvantages, and the comparison of their properties. The following chapters deal with low-pressure and high-pressure gas-discharged lamps, compare their properties and describe exploitation of fluorescent lamps. Before conducting laboratory experiments the influence of frequency of the supply current on different properties of gas-discharge lamps was described. Besides, simulation of basic electric parameters of high-pressure gas-discharged lamps was implemented in the program SIMULINK/MATLAB. As a result, the received graphs show the dependence of current, voltage and electric power on time. Another simulation included building of dynamic current-voltage characteristics at various frequencies of the supply current. Preparations for the laboratory experiment and the experiment itself were implemented. Compact and tube low-pressure fluorescent lamps were measured. The received graphs show the influence of change in frequency of the current on the operational parameters of the discharge light sources.

Subject of the thesis is experimental verification of load capacity of construction for storage coal by using load test. In the first part, the analysis of sorts of load tests is made and its execution in causality with standard regulations. Further possible options of bringing test load are described and also the method of evaluation of static load test. Second part looks into the analysis of means of measurement which can be used to determine required quantity. Final part is dedicated to realization and evaluation of the load test on material construction followed by comparison of experimental values with values established on a model of construction created by using computing program.

Work tackles the general design systems of automatic control of engine power and braking effects so that avoid any unnecessary dangerous situations and to improve the driving characteristics and suppression causes of accident due to bad decisions of driver. Is required to propose a general system based on the draft sensors and control circuits, their relationships, design control processor, which will be without the knowledge of the driver intervene in driving motorcycle.

This diploma thesis consist of basic overview of contact and non-contact measuring methods used at present days across industrial Applications. On the base of given specification for designing of measuring station for measuring chamfer of rotary components The choice and evaluation of theoretical applicability for our application is performed. In the practical part of this diploma thesis The applicability is verified. Performance of these a few exemplary measuring shows possible way of design of constructional solution. All this in a close cooperation with company MESING.

Die vorliegende Dissertationsschrift widmet sich zwei Zielen: Mittels Induktionsschleifen-Detektoren einerseits die Verkehrsregelung an Knotenpunkten durch die Minimierung von Fahrzeughalten zu verbessern, und andererseits eine Veränderung der Verkehrsqualität durch die Schätzung von Kfz-Wartezeiten automatisiert zu erheben. Im ersten Teil wird ein modellbasiertes Steuerverfahren entwickelt, das Grünzeiten verkehrsabhängig und lokal anpasst. Es kann sehr gut in eine übergeordnete Steuerung zur Koordinierung in Verkehrsnetzen eingebunden werden und überlässt dieser die Optimierung von Phasenfolgen, Umlauf- und Versatzzeiten. Um auch bei hohen Auslastungen Kapazitäten bestmöglich zu nutzen, priorisiert es zunächst die Leerung von Warteschlangen. Anschließend erfolgt die Anpassung der Grünzeiten zwischen einer minimalen und maximalen Dauer so, dass Fahrzeughalte minimiert werden. Dafür werden Detektoren in ausreichender Entfernung im Zufluss einer Kreuzung verwendet, um Fahrzeugankünfte an der Haltelinie für die aktuelle und die nächste Phase zu prognostizieren. Bei der sich anschließenden Bilanzierung potenzieller Fahrzeughalte und der Wahl des günstigsten Umschaltzeitpunktes kann auf zusätzliche Modellannahmen verzichtet werden. Die Simulationsergebnisse zeigen, dass bei einer Minimierung der Fahrzeughalte gleichzeitig eine Reduktion von Wartezeiten möglich ist. Im zweiten Teil werden Kfz-Wartezeiten auf Basis der meist bereits vorhandenen Induktionsschleifen-Detektoren im Zufluss und im Abfluss einer Kreuzung geschätzt. Dafür werden die Zeitpunkte der Fahrzeugüberfahrten an einem Zufluss- und einem Abflussquerschnitt getrennt gemessen werden. Aus ihnen wird jeweils ein mittlerer Überfahrzeitpunkt ermittelt und nach Berücksichtigung der freien Fahrzeit eine mittlere Wartezeit geschätzt. Messintervalle an beiden Querschnitten, die um die mittlere freie Fahrzeit versetzt sind, sowie eine unbedingte Warteschlangenleerung am Ende einer Messung sollen sicherstellen, dass potenziell dieselben Fahrzeuge erfasst werden. Auf eine Fahrzeugwiedererkennung und damit auf eine Ausrüstung mit zusätzlicher Technik kann dadurch verzichtet werden. Damit sich das Verfahren für den Praxiseinsatz eignet, muss es möglichst robust gegenüber zufälligen Detektorfehlern sein. Dafür wird ein Fehlermodell entwickelt und mögliche Abweichungen gegenüber einer korrekten Messung untersucht. Aufgrund der unabhängigen Berechnung von mittleren Überfahrzeiten aus der getrennten Messung im Zufluss und im Abfluss zeigt sich, dass zufällige Fehler nicht zu systematischen Abweichungen in der Wartezeitschätzung führen.