Masters Degrees (High Performance Computing)

Browse

Recent Submissions

Now showing 1 - 2 of 2
  • Item
    Distributed binary decision diagrams
    (Stellenbosch : University of Stellenbosch, 2010-12) Fasan, Mary Oluwasola; Geldenhuys, Jaco; University of Stellenbosch. Faculty of Science. Dept. of Mathematical Sciences. Computer Sciience.
    ENGLISH ABSTRACT: Binary Decision Diagrams (BDDs) are data structures that have been used to solve various problems in different aspects of computer aided design and formal verification. The large memory and time requirements of BDD applications are the major constraints that usually prevent the use of BDDs since there is a limited amount of memory available on a machine. One way of overcoming this resource limitation problem is to utilize the memory available on a network of workstations (NOW). This requires the distribution of the computation and memory requirements involved in the manipulation of BDDs over a NOW. In this thesis, an algorithm for manipulating BDDs on a NOW is presented. The algorithm makes use of the breadth-first technique to manipulate BDDs so that various BDD operations can be started concurrently on the different workstations on the NOW. The design and implementation details of the distributed BDD package are described. The various approaches considered in order to optimize the performance of the algorithm are also discussed. Experimental results demonstrating the performance and capabilities of the distributed package and the benefits of the different optimization approaches are given.
  • Item
    A MEMS based valveless micropump for biomedical applications
    (Stellenbosch : University of Stellenbosch, 2010-03) Van der Merwe, Schalk Willem; Groenwold, A. A.; Thiart, G. D.; Loveday, P. W.; University of Stellenbosch. Faculty of Engineering. Dept. of Mechanical and Mechatronic Engineering.
    ENGLISH ABSTRACT: The valveless micropump holds great potential for the biomedical community in applications such as drug delivery systems, blood glucose monitoring and many others. It is also a critical component in many a lab-on-a-chip device, which in turn promises to improve our treatment and diagnosis capabilities for diseases such as diabetes, tuberculosis, and HIV/AIDS. The valveless micropump has attracted attention from researchers on the grounds of its simple design, easy manufacturability and sensitive fluid handling characteristics, which are all important in biomedical applications. The pump consists of a pump chamber with a diffuser and nozzle on opposing sides of the pump chamber. The flow into the diffuser and nozzle is induced by an oscillating piezoelectric disc located on top of the pump chamber. The nozzle and diffuser rectify the flow in one direction, due to different pressure loss coefficients. The design process however is complex. In this study, we investigate the characteristics of a diffuser / nozzle based micropump using detailed computational fluid dynamic (CFD) analyses. Significant parameters are derived using the Buckingham-Pi theorem. In part based on this, the respective shapes of the diffuser and of the nozzle of the micropump are selected for numerical investigation. Hence the influence of the selected parameters on the flow rate of the micropump is studied using three-dimensional transient CFD analyses. Velocity profiles from the CFD simulations are also compared to the Jeffery-Hamel solution for flow in a wedge shaped channel. Significant similarities exist between the data and the predicted Jeffery-Hamel velocity profiles near the exit of the diffuser. Three different diffuser geometries were simulated at three frequencies. The flow rate and direction of flow are shown to be highly sensitive to inlet and outlet diffuser shapes, with the absolute flow rate varying by as much as 200% for the geometrical perturbations studied. Entrance losses at both the diffuser inlet and nozzle inlet appear to dominate the flow resistance at extremely laminar flow conditions with the average Reynolds number of Reave ≈ 500.