78,015 research outputs found

    AutoBayes: A System for Generating Data Analysis Programs from Statistical Models

    No full text
    Data analysis is an important scientific task which is required whenever information needs to be extracted from raw data. Statistical approaches to data analysis, which use methods from probability theory and numerical analysis, are well-founded but difficult to implement: the development of a statistical data analysis program for any given application is time-consuming and requires substantial knowledge and experience in several areas. In this paper, we describe AutoBayes, a program synthesis system for the generation of data analysis programs from statistical models. A statistical model specifies the properties for each problem variable (i.e., observation or parameter) and its dependencies in the form of a probability distribution. It is a fully declarative problem description, similar in spirit to a set of differential equations. From such a model, AutoBayes generates optimized and fully commented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Code is produced by a schema-guided deductive synthesis process. A schema consists of a code template and applicability constraints which are checked against the model during synthesis using theorem proving technology. AutoBayes augments schema-guided synthesis by symbolic-algebraic computation and can thus derive closed-form solutions for many problems. It is well-suited for tasks like estimating best-fitting model parameters for the given data. Here, we describe AutoBayes's system architecture, in particular the schema-guided synthesis kernel. Its capabilities are illustrated by a number of advanced textbook examples and benchmarks

    Advances in Learning Bayesian Networks of Bounded Treewidth

    Full text link
    This work presents novel algorithms for learning Bayesian network structures with bounded treewidth. Both exact and approximate methods are developed. The exact method combines mixed-integer linear programming formulations for structure learning and treewidth computation. The approximate method consists in uniformly sampling kk-trees (maximal graphs of treewidth kk), and subsequently selecting, exactly or approximately, the best structure whose moral graph is a subgraph of that kk-tree. Some properties of these methods are discussed and proven. The approaches are empirically compared to each other and to a state-of-the-art method for learning bounded treewidth structures on a collection of public data sets with up to 100 variables. The experiments show that our exact algorithm outperforms the state of the art, and that the approximate approach is fairly accurate.Comment: 23 pages, 2 figures, 3 table

    Diagnostics and prognostics utilising dynamic Bayesian networks applied to a wind turbine gearbox

    Get PDF
    The UK has the largest installed capacity of offshore wind and this is set to increase significantly in future years. The difficulty in conducting maintenance offshore leads to increased operation and maintenance costs compared to onshore but with better condition monitoring and preventative maintenance strategies these costs could be reduced. In this paper an on-line condition monitoring system is created that is capable of diagnosing machine component conditions based on an array of sensor readings. It then informs the operator of actions required. This simplifies the role of the operator and the actions required can be optimised within the program to minimise costs. The program has been applied to a gearbox oil testbed to demonstrate its operational suitability. In addition a method for determining the most cost effective maintenance strategy is examined. This method uses a Dynamic Bayesian Network to simulate the degradation of wind turbine components, effectively acting as a prognostics tool, and calculates the cost of various preventative maintenance strategies compared to purely corrective maintenance actions. These methods are shown to reduce the cost of operating wind turbines in the offshore environment
    • …
    corecore