12 research outputs found

    Improving fault coverage and minimising the cost of fault identification when testing from finite state machines

    Get PDF
    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.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

    Characterising fitness landscapes with fitness-probability cloud and its applications to algorithm configuration

    Get PDF
    Metaheuristics are approximation optimisation techniques widely applied to solve complex optimisation problems. Despite a large number of developed metaheuristic algorithms, a limited amount of work has been done to understand on which kinds of problems the proposed algorithm will perform well or poorly and why. A useful solution to this dilemma is to use fitness landscape analysis to gain an in-depth understanding of which algorithms, or algorithm variants are best suited for solving which kinds of problem instances, even to dynamically determine the best algorithm configuration during different stages of a search algorithm. This thesis for the first time bridges the gap between fitness landscape analysis and algorithm configuration, i.e., finding the best suited configuration of a given algorithm for solving a particular problem instance. Studies in this thesis contribute to the following: a. Developing a novel and effective approach to characterise fitness landscapes and measure problem difficulty with respect to algorithms. b. Incorporating fitness landscape analysis in building a generic (problem-independent) approach, which can perform automatic algorithm configuration on a per-instance base, and in designing novel and effective algorithm configurations. c. Incorporating fitness landscape analysis in establishing a generic framework for designing adaptive heuristic algorithms

    Smart chemical sensing microsystem : towards a nose-on-a-chip

    Get PDF
    The electronic nose is a rudimentary replica of the human olfactory system. However there has been considerable commercial interest in the use of electronic nose systems in application areas such as environmental, medical, security and food industry. In many ways the existing electronic nose systems are considerable inferior when compared to their biological counterparts, lacking in terms of discrimination capability, processing time and environmental adaptation. Here, the aim is to extract biological principles from the mammalian olfactory systems to create a new architecture in order to aid the implementation of a nose-on-a-chip system. The primary feature identified in this study was the nasal chromatography phenomena which may provide significant improvement by producing discriminatory spatio-temporal signals for electronic nose systems. In this project, two different but complimentary groups of systems have been designed and fabricated to investigate the feasibility of generating spatio-temporal signals. The first group of systems include the fast-nose (channel 10 cm x 500 μm2), proto-nose I (channel 1.2 m x 500 μm2) and II (channel 2.4 m x 500 μm2) systems that were build using discrete components. The fast-nose system was used to characterise the discrete sensors prior to use. The proto-nose systems, in many ways, resembles gas chromatography systems. Each proto-nose system consists of two microchannels (with and without coating) and 40 polymer-composite sensors of 10 different materials placed along it. The second group of systems include the hybrid-nose and the aVLSI-nose microsensor arrays assembled with microchannel packages of various lengths (5 cm, 32 cm, 7lcm, 240 cm) to form nose-on-a-chip systems. The hybrid-nose sensor array consists of 80 microsensors built on a 10 mm x 10 mm silicon substrate while the aVLSI-nose sensor array consists of 70 microsensors built on a 10 mm x 5 mm silicon substrate using standard CMOS process with smart integrated circuitries. The microchannel packages were fabricated using the Perfactory microstereolithography system. The most advanced microchannel package contains a 2.4 m x 500 J.lm2 microchannel with an external size of only 36 mm x 27 mm x 7 mm. The nose-on-a-chip system achieved miniaturisation and eliminates the need for any external processing circuitries while achieving the same capability of producing spatio-temporal signals. Using a custom-designed vapour test station and data acquisition electronics, these systems were evaluated with simple analytes and complex odours. The experimental results were in-line with the simulation results. On the coated proto-nose II system, a 25 s temporal delay was observed on the toluene vapour pulse compared to ethanol vapour pulse; this is significant compared to the uncoated system where no delay difference was obtained. Further testing with 8 analyte mixtures substantiated that spatio-temporal signals can be extracted from both the coated proto-nose and nose-on-a-chip (hybrid-nose sensor array with 2.4 m long microchannel) systems. This clearly demonstrates that these systems were capable of imitating certain characteristics of the biological olfactory system. Using only the temporal data, classification was performed with principal components analysis. The results reinforced that these additional temporal signals were useful to improve discrimination analysis which is not possible with any existing sensor-based electronic nose system. In addition, fast responding polymer-composite sensors were achieved exhibiting response times of less than 100 ms. Other biological characteristics relating to stereolfaction (two nostrils sniffing at different rates), sniffing rate (flow velocity) and duration (pulse width) were also investigated. The results converge with the biological observations that stereolfaction and sniffing at higher rate and duration improve discrimination. Last but not least, the characterisation of the smart circuitries on the aVLSI-nose show that it is possible to achieve better performance through the use of smart processing circuitries incorporating a novel DC-offset cancellation technique to amplify small sensor response with large baseline voltage. The results and theories presented in this study should provide useful contribution for designing a higher-performance electronic nose incorporating biological principles

    Wireless Network Communications Overview for Space Mission Operations

    Get PDF
    The mission of the On-Board Wireless Working Group (WWG) is to serve as a general CCSDS focus group for intra-vehicle wireless technologies. The WWG investigates and makes recommendations pursuant to standardization of applicable wireless network protocols, ensuring the interoperability of independently developed wireless communication assets. This document presents technical background information concerning uses and applicability of wireless networking technologies for space missions. Agency-relevant driving scenarios, for which wireless network communications will provide a significant return-on-investment benefiting the participating international agencies, are used to focus the scope of the enclosed technical information

    University Catalog 1994-1996

    Get PDF
    This catalog is published for students and other persons who want to know more about the University of Northern Iowa. Its purpose is to communicate as objectively and completely as possible what the university is and what it does. The catalog is presented in sections to give a general view of the university as well as the detailed information required for informed decision making.https://scholarworks.uni.edu/uni_catalogs/1014/thumbnail.jp
    corecore