Refine
Document Type
- Doctoral Thesis (8) (remove)
Language
- English (8) (remove)
Has Fulltext
- no (8)
Is part of the Bibliography
- no (8)
Keywords
- Computertomografie (1)
- Computertomographie (1)
- Geometrie (1)
- Hochschulschrift (1)
- Lendenwirbelsäule (1)
- Lendenwirbelsäulenkrankheit (1)
- Modell (1)
- Optimale Rekonstruktion (1)
- Regularisierungsverfahren (1)
- development process reconstruction (1)
Institute
- Fakultät Informatik und Mathematik (4)
- Fakultät Maschinenbau (3)
- Fakultät Angewandte Natur- und Kulturwissenschaften (1)
- Fakultät Betriebswirtschaft (1)
- Labor Faserverbundtechnik (LFT) (1)
- Labor Innovation & Regulatory Affairs (IRA) (1)
- Labor für Digitalisierung (LFD) (1)
- Regensburg Center of Biomedical Engineering - RCBE (1)
- Regensburg Medical Image Computing (ReMIC) (1)
- Technologie-Campus Neustadt an der Donau (1)
Computer-based automation in industrial appliances led to a growing number of logically dependent, but physically separated embedded control units per appliance. Many of those components are safety-critical systems, and require adherence to safety standards, which is inconsonant with the relentless demand for features in those appliances. Features lead to a growing amount of control units per appliance, and to a increasing complexity of the overall software stack, being unfavourable for safety certifications. Modern CPUs provide means to revise traditional separation of concerns design primitives: the consolidation of systems, which yields new engineering challenges that concern the entire software and system stack.
Multi-core CPUs favour economic consolidation of formerly separated systems with one efficient single hardware unit. Nonetheless, the system architecture must provide means to guarantee the freedom from interference between domains of different criticality. System consolidation demands for architectural and engineering strategies to fulfil requirements (e.g., real-time or certifiability criteria) in safety-critical environments.
In parallel, there is an ongoing trend to substitute ordinary proprietary base platform software components by mature OSS variants for economic and engineering reasons. There are fundamental differences of processual properties in development processes of OSS and proprietary software. OSS in safety-critical systems requires development process assessment techniques to build an evidence-based fundament for certification efforts that is based upon empirical software engineering methods.
In this thesis, I will approach from both sides: the software and system engineering perspective. In the first part of this thesis, I focus on the assessment of OSS components: I develop software engineering techniques that allow to quantify characteristics of distributed OSS development processes. I show that ex-post analyses of software development processes can be used to serve as a foundation for certification efforts, as it is required for safety-critical systems.
In the second part of this thesis, I present a system architecture based on OSS components that allows for consolidation of mixed-criticality systems on a single platform. Therefore, I exploit virtualisation extensions of modern CPUs to strictly isolate domains of different criticality. The proposed architecture shall eradicate any remaining hypervisor activity in order to preserve realtime capabilities of the hardware by design, while guaranteeing strict isolation across domains.
This thesis is devoted to the problem of tomographic reconstruction at limited angular range. In the first part, we prove a characterization of filtered backprojection reconstructions from limited angle data. Moreover, we develop a strategy for artifact reduction and stabilization. In the second part, we introduce a new edge-preserving reconstruction algorithm for limited angle tomography and analyze this algorithm mathematically. Some numerical experiments are also presented.
The work reported in this thesis focuses on the development of indirect methods for the experimental determination of important source parameters for structure-borne sound source characterization. In the first part of the thesis, matrix inversion methods for the determination of blocked forces are investigated. A simplified measurement procedure is proposed which offers a solution to the two major challenges to these methods, namely the acquisition of the FRF matrix and the problems associated with matrix inversion. The proposed procedure involves a free, low-mobility receiver plate which is modelled numerically. Calculated FRFs are used together with measured velocity responses to inversely determine the blocked forces. It is found that while the method has great potential in principle, in practice the accurate modelling of the receiver plate is of critical importance. In the second part of the thesis, three formulations are considered for the indirect determination of source mobility. Instead of performing measurements on the source in the free state, the source mobility is obtained from measurements made in-situ. This approach is beneficial if the source is difficult to suspend, or if it contains non-linear structural elements. The three formulations are validated numerically and experimentally. It is found that the methods can quantify source mobilities of single-contact and multi-contact sources from in-situ measurements. However, typical measurement errors, such as background noise or inaccuracies in sensor positioning, can significantly reduce the accuracy and reliability of the methods. In the final part of the thesis, the reception plate method for the determination of the power injected by a high-mobility source into a low-mobility receiver is reviewed, and a source substitution method proposed as a development. The substitution method circumvents problems that may arise when the reception plate method is applied to coupled walls and floors. A special focus of investigation is on the calibration of the receiver structure. It is found that the calibration can be performed with shaker or hammer, and that an average calibration factor may be used. The source substitution method thus offers a potential alternative to the reception plate method, for application with coupled plates.
Anatomical differences between individuals are often neglected in musculoskeletal models, but they are necessary in case of subject-specific questions regarding the lumbar spine. A modification of models to each subject is complex and the effects on lumbar loading are difficult to assess. One objective of this work is to create a validated musculoskeletal human model, which facilitates a subject-specific modification of the lumbar geometry. In a second step, important parameters are identified in sensitivity studies and at last, a case study regarding multifidus muscle atrophy after a disc herniation is conducted.
The results of the studies indicate that lumbar motion and loading is dependent on lumbar ligament stiffness. Furthermore, subject-specific modelling of the lumbar spine should include at least the vertebral height, disc height and lumbar lordosis. The results of the case study suggest that an overloading of the multifidus muscle could follow disc herniation. Additionally, a subsequent atrophy of the muscles could expose adjacent levels to an increased loading, but these findings are highly dependent on the individual.
Anatomical differences between individuals are often neglected in musculoskeletal models, but they are necessary in case of subject-specific questions regarding the lumbar spine. A modification of models to each subject is complex and the effects on lumbar loading are difficult to assess. The objective of this thesis is to create a validated musculoskeletal model of the human body, which facilitates a subject-specific modification of the geometry of the lumbar spine. Furthermore, important parameters are identified in sensitivity studies and a case study regarding multifidus muscle atrophy after a disc herniation is conducted. Therefore, a generic model is heavily modified and a semi-automatic process is implemented. This procedure remodels the geometry of the lumbar spine to a subject-specific one on basis of segmented medical images. The resulting five models are validated with regard to the lumbar loading at the L4/L5 level. The influence of lumbar ligament stiffness is determined by changing the stiffness values of all lumbar ligaments in eleven steps during a flexion motion. Sensitivities of lumbar loading to an altered geometry of the lumbar spine are identified by varying ten lumbar parameters in simulations with each model in four postures. The case study includes an analysis of the loading of the multifidus muscle and of the lumbar discs throughout various stages of disc herniation. This time each model performs four motions with two different motion rhythms. The results indicate that lumbar motion and loading is dependent on lumbar ligament stiffness. Furthermore, subject-specific modelling of the lumbar spine should include at least the vertebral height, disc height and lumbar lordosis. The results of the case study suggest that an overloading of the multifidus muscle could follow disc herniation. Additionally, a subsequent atrophy of the muscles could expose adjacent levels to an increased loading, but these findings are highly dependent on the individual.