Formal verification of automotive embedded UML designs by Bahig, Ghada

“…As risk of the system increases, ASIL level increases and the standard mandates more stringent methods to ensure safety. ISO-26262 mandates that ASILs C and D classified systems utilize walkthrough, semi-formal verification, inspection, control flow analysis, data flow analysis, static code analysis and semantic code analysis techniques to verify software unit design and implementation. …”
Get full text
Get full text

Robust sampling-based conflict resolution for commercial aircraft in airport environments by Van den Aardweg, William

Get full text

Empirical Bayes estimation of the extreme value index in an ANOVA setting by Jordaan, Aletta Gertruida

Get full text

Reinforcement learning for the control of traffic flow on highways by Schmidt-Dumont, Thorsten

Get full text

Measuring the installed performance of the 24 ft diameter minwatercsp fan by Thiry, Cesar Cameron

Get full text

A study on the effect of lateral interactions on methanation over Fe(100) by Abrahams, Robin Kyle

“…Both methods showed a build-up of oxygen on the surface towards the end of the simulation. …”
Get full text

Automation of ultrasonic-based product tracking & traceability in supply chains by Mkombwe, Anorld

“…The research investigates the unique attributes of ultrasonic signals for product identification, focusing on frequency modulation, signal processing techniques, and integration with existing digital frameworks. The study utilizes simulation models and field testing to examine the reliability, accuracy, and cost-effectiveness of ultrasonic-based tracking across various supply chain stages. …”
Get full text

’n Dinamiese assesseringstegniek van invraging by projeksieplate in mono- en kruiskulturele assesseringsituasies (Afrikaans)

Get full text
Get full text

Braking based integrated rollover prevention and yaw control for an off-road vehicle

Get full text

Double volumetric navigators for real-time simultaneous shim and motion measurement and correction in Glycogen Chemical Exchange Saturation Transfer (GlycoCEST) MRI by Simegn, Gizeaddis Lamesgin

“…The purpose of this thesis was to optimize the CEST MRI sequence for glycogen detection and implement a real-time simultaneous motion and shim correction and measurement method. …”
Get full text

Inactivation of polyphenol oxidase in Camellia sinensis for the production of high quality instant green tea

Get full text
Get full text

Generalized time-frequency representations and their application to quantum control by Smit, Andre Marius

Get full text

ATM cash management for a South African retail bank by Du Toit, Delyno Johannes

Get full text

Degradation behaviour of the mechanical properties of bovine cortical bone by Daras, Nicholas

“…Simulations utilizing dynamic compression and cross-section data exhibit encouraging correlations with experimental observations. …”
Get full text

Mathematical optimisation of the suspension system of an off-road vehicle for ride comfort and handling

Get full text
Get full text

Development of a map-matching algorithm for dynamic sampling rate GPS signals to determine vehicle routes on a MATSim network

Get full text

Using ad hoc wireless networks to enable intelligent transport systems: the design and analysis of the TH(O)RP routing protocol by Morrison, Daniel Weich

Get full text

High performance non-symmetric multi-h CPFSK modulator and demodulator design by Cuthbert, James

“…The implementation of the first method was seen to function through simulations performed by using the TESLA simulation package. …”
Get full text

Deep Calibration of Option Pricing Models by Dadah, Sahil

“…The neural networks are trained using simulated data and an optimum set of hyperparameters is obtained via the Bayesian optimization. …”
Get full text

Developing an industry solution to service bottom-end markets in South Africa by Prinsloo, Riandre

Get full text