Software needs to be adequately tested in order to increase the confidence that the system being developed is reliable. However, testing is a complicated and expensive process. Formal specification based models such as finite state machines have been widely used in system modelling and testing. In this PhD thesis, we primarily investigate fault detection and identification when testing from finite state machines. The research in this thesis is mainly comprised of three topics - construction of multiple Unique Input/Output (UIO) sequences using Metaheuristic Optimisation Techniques (MOTs), the improved fault coverage by using robust Unique Input/Output Circuit (UIOC) sequences, and fault diagnosis when testing from finite state machines. In the studies of the construction of UIOs, a model is proposed where a fitness function is defined to guide the search for input sequences that are potentially UIOs. In the studies of the improved fault coverage, a new type of UIOCs is defined. Based upon the Rural Chinese Postman Algorithm (RCPA), a new approach is proposed for the construction of more robust test sequences. In the studies of fault diagnosis, heuristics are defined that attempt to lead to failures being observed in some shorter test sequences, which helps to reduce the cost of fault isolation and identification. The proposed approaches and techniques were evaluated with regard to a set of case studies, which provides experimental evidence for their efficacy.

No description available.

No description available.

In this thesis, the effect of pitch based optimisation was explored for a 80 turbine wind farm. Using a modified Jensen wake model and the Particle Swarm Optimisation (PSO) model, a pitch optimisation strategy was created for the dominant turbulence and atmospheric condition for the wind farm. As the wake model was based on the FLORIS model developed by P.M.O Gebraad et. al., the wake and power model was compared with the FLORIS model and a -0.090% difference was found. To determine the dynamic predictive capability of the wake model, measurement values across a 10 minute period for a 19 wind turbine array were used and the wake model under predicted the power production by 17.55%. Despite its poor dynamic predictive capability, the wake model was shown to accurately match the AEP production of the wind farm when compared to a CFD simulation done in FarmFlow and only gave a 3.10% over-prediction. When the optimisation model was applied with 150 iterations and particles, the AEP production of the wind farm increased by 0.1052%, proving that the pitch optimisation method works for the examined wind farm. When the iterations and particles used for the optimisation was increased to 250, the power improvement between optimised results improved by 0.1144% at a 222.5% increase in computational time, suggesting that the solution has yet to fully converge. While the solutions did not fully converge, they converged sufficiently and an increase in iterations gave diminishing results. From the results, the pitch optimisation model was found to give a significant increase in power production, especially in wake intensive wind directions. However, the dynamic predictive capabilities will have be improved upon before the control strategy can be applied to an operational wind farm.

In this thesis, the effect of pitch based optimisation was explored for a 80 turbine wind farm. Using a modified Jensen wake model and the Particle Swarm Optimisation (PSO) model, a pitch optimisation strategy was created for the dominant turbulence and atmospheric condition for the wind farm. As the wake model was based on the FLORIS model developed by P.M.O Gebraad et. al., the wake and power model was compared with the FLORIS model and a -0.090% difference was found. To determine the dynamic predictive capability of the wake model, measurement values across a 10 minute period for a 19 wind turbine array were used and the wake model under predicted the power production by 17.55%. Despite its poor dynamic predictive capability, the wake model was shown to accurately match the AEP production of the wind farm when compared to a CFD simulation done in FarmFlow and only gave a 3.10% over-prediction. When the optimisation model was applied with 150 iterations and particles, the AEP production of the wind farm increased by 0.1052%, proving that the pitch optimisation method works for the examined wind farm. When the iterations and particles used for the optimisation was increased to 250, the power improvement between optimised results improved by 0.1144% at a 222.5% increase in computational time, suggesting that the solution has yet to fully converge. While the solutions did not fully converge, they converged sufficiently and an increase in iterations gave diminishing results. From the results, the pitch optimisation model was found to give a significant increase in power production, especially in wake intensive wind directions. However, the dynamic predictive capabilities will have be improved upon before the control strategy can be applied to an operational wind farm.