Numerical simulation of non-Newtonian fluid flow in mixing geometries

In this thesis, a theoretical investigation is undertaken into fluid and mixing flows generated by various geometries for Newtonian and non-Newtonian fluids, on both sequential and parallel computer systems. The thesis begins by giving the necessary background to the mixing process and a summary of the fundamental characteristics of parallel architecture machines. This is followed by a literature review which covers accomplished work in mixing flows, numerical methods employed to simulate fluid mechanics problems and also a review of relevant parallel algorithms. Next, an overview is given of the numerical methods that have been reviewed, discussing the advantages and disadvantages of the different methods. In the first section of the work the implementation of the primitive variable finite element method to solve a simple two dimensional fluid flow problem is studied. For the same geometry colour band mixing is also investigated. Further investigational work is undertaken into the flows generated by various rotors for both Newtonian and non-Newtonian fluids. An extended version of the primitive variable formulation is employed, colour band mixing is also carried out on two of these geometries. The latter work is carried out on a parallel architecture machine. The design specifications of a parallel algorithm for a MIMD system are discussed, with particular emphasis placed on frontal and multifrontal methods. This is followed by an explanation of the implementation of the proposed parallel algorithm, applied to the same fluid flow problems as considered earlier and a discussion of the efficiency of the system is given. Finally, a discussion of the conclusions of the entire accomplished work is presented. A number of suggestions for future work are also given. Three published papers relating to the work carried out on the transputer networks are included in the appendices

Programming Model to Develop Supercomputer Combinatorial Solvers

© 2017 IEEE. Novel architectures for massively parallel machines offer better scalability and the prospect of achieving linear speedup for sizable problems in many domains. The development of suitable programming models and accompanying software tools for these architectures remains one of the biggest challenges towards exploiting their full potential. We present a multi-layer software abstraction model to develop combinatorial solvers on massively-parallel machines with regular topologies. The model enables different challenges in the design and optimization of combinatorial solvers to be tackled independently (separation of concerns) while permitting problem-specific tuning and cross-layer optimization. In specific, the model decouples the issues of inter-node communication, n ode-level scheduling, problem mapping, mesh-level load balancing and expressing problem logic. We present an implementation of the model and use it to profile a Boolean satisfiability solver on simulated massively-parallel machines with different scales and topologies

Integrated Design Tools for Embedded Control Systems

Currently, computer-based control systems are still being implemented using the same techniques as 10 years ago. The purpose of this project is the development of a design framework, consisting of tools and libraries, which allows the designer to build high reliable heterogeneous real-time embedded systems in a very short time at a fraction of the present day costs. The ultimate focus of current research is on transformation control laws to efficient concurrent algorithms, with concerns about important non-functional real-time control systems demands, such as fault-tolerance, safety,\ud reliability, etc.\ud The approach is based on software implementation of CSP process algebra, in a modern way (pure objectoriented design in Java). Furthermore, it is intended that the tool will support the desirable system-engineering stepwise refinement design approach, relying on past research achievements ¿ the mechatronics design trajectory based on the building-blocks approach, covering all complex (mechatronics) engineering phases: physical system modeling, control law design, embedded control system implementation and real-life realization. Therefore, we expect that this project will result in an\ud adequate tool, with results applicable in a wide range of target hardware platforms, based on common (off-theshelf) distributed heterogeneous (cheap) processing units

Autonomous aircraft initiative study

The results of a consulting effort to aid NASA Ames-Dryden in defining a new initiative in aircraft automation are described. The initiative described is a multi-year, multi-center technology development and flight demonstration program. The initiative features the further development of technologies in aircraft automation already being pursued at multiple NASA centers and Department of Defense (DoD) research and Development (R and D) facilities. The proposed initiative involves the development of technologies in intelligent systems, guidance, control, software development, airborne computing, navigation, communications, sensors, unmanned vehicles, and air traffic control. It involves the integration and implementation of these technologies to the extent necessary to conduct selected and incremental flight demonstrations

Parallel simulation techniques for telecommunication network modelling

In this thesis, we consider the application of parallel simulation to the performance modelling of telecommunication networks. A largely automated approach was first explored using a parallelizing compiler to speed up the simulation of simple models of circuit-switched networks. This yielded reasonable results for relatively little effort compared with other approaches. However, more complex simulation models of packet- and cell-based telecommunication networks, requiring the use of discrete event techniques, need an alternative approach. A critical review of parallel discrete event simulation indicated that a distributed model components approach using conservative or optimistic synchronization would be worth exploring. Experiments were therefore conducted using simulation models of queuing networks and Asynchronous Transfer Mode (ATM) networks to explore the potential speed-up possible using this approach. Specifically, it is shown that these techniques can be used successfully to speed-up the execution of useful telecommunication network simulations. A detailed investigation has demonstrated that conservative synchronization performs very well for applications with good look ahead properties and sufficient message traffic density and, given such properties, will significantly outperform optimistic synchronization. Optimistic synchronization, however, gives reasonable speed-up for models with a wider range of such properties and can be optimized for speed-up and memory usage at run time. Thus, it is confirmed as being more generally applicable particularly as model development is somewhat easier than for conservative synchronization. This has to be balanced against the more difficult task of developing and debugging an optimistic synchronization kernel and the application models

A methodology for developing resilient distributed control systems.

Manufacturing industries rely on automated manufacturing systems to improve the efficiency, quality and flexibility of production. Such systems typically consist of a variety of manufacturing machinery and control hardware, e.g. CNC machine tools, robots, PCs, Programmable Logic Controllers (PLCs) etc., which operate concurrently. The cost of developing and implementing an automated manufacturing system is high, and is particularly so if the control system is found to be unreliable or unsafe during operation. Distributed Control Systems are generally used to control complex concurrent systems,At present the methods used to develop DCSs tend to follow a sequence of steps, viz. a statement of the requirements of the DCS, a functional specification of the DCS, the design of the DCS, generation of the software code for the DCS, implementation of the software. This step approach is inadequate because of the dissimilarity of techniques used to represent each step, which leads to difficulties in ensuring equivalence between the final implementation of the DCS and the initial requirements, which in turn leads to errors in the final software. To overcome this, work has been conducted to unify the specification, design, and software coding phases of the DCS development procedure by ensuring formal equivalencies between them. One particular outcome of such previous work is a tool named Petri Net - Occam Methodology, developed by Dr. P. Gray, which produces dependable Occam code for DCSs. Gray's methodology produces readable designs, directly from the specification of systems, in a graphical but formal way, and results in a Petri Net graph which is equivalent to the final Occam code. However, his methodology is not for a complete DCS but only for one containing Transputers.The PLC is widely used in industry and an integral part of DCSs for Automated Manufacture. This research has developed a methodology, named PNPLC, which produces dependable PLC control programs, in a graphical but formal way, directly from a system's specification. It uses the same tool, Petri Nets, for both designing and simulating the control system, and specifies rules which ensure the correct design, simulation and encoding of PLC programs. The PN designs are a one-to-one equivalent to PLC code and can be directly translated into Ladder Diagrams. Therefore if the simulation shows the design to be correct, the final software will be correct.PNPLC works as a stand alone tool for developing dependable PLC control programs, and also unifies with Gray's methodology to produce a complete tool for developing a resilient DCS containing Transputers and PLCs. The unification of the two methodologies is also reported in this thesis.The research work presented in this thesis contributes to knowledge in the field of DCS development. Recommendations for further work regarding the applicability of the unified methodology on a wide scale industrial basis are also given