176,314 research outputs found
Recommended from our members
Overcoming non-determinism in testing smart devices: how to build models of device behaviour
Justification of smart instruments has become an important topic in the nuclear industry. In practice, however, the publicly available artefacts are often the only source of information about the device. Therefore, in many cases independent black-box testing may be the only way to increase the confidence in the device. In this paper we provide a set of recommendations, which we consider to be the best practices for performing black-box assessments. We present our method of testing smart instruments, in which we use the publicly available artefacts only. We present a test harness and describe a method of test automation. We focus on the analysis of test results, which is made particularly complex by the inherent non determinism in the testing of analogue devices. In the paper we analyse the sources of non-determinism, which for instance may arise from inaccuracy in an analogue measurement made by the device when two alternative actions are possible. We propose three alternative ideas on how to build models of device behaviour, which can cope with this kind of non-determinism. We compare and contrast these three solutions, and express our recommendations. Finally, we use a case study, in which a black box assessment of two similar smart instruments is performed to illustrate the differences between the solutions
JuliBootS: a hands-on guide to the conformal bootstrap
We introduce {\tt JuliBootS}, a package for numerical conformal bootstrap
computations coded in {\tt Julia}. The centre-piece of {\tt JuliBootS} is an
implementation of Dantzig's simplex method capable of handling arbitrary
precision linear programming problems with continuous search spaces. Current
supported features include conformal dimension bounds, OPE bounds, and
bootstrap with or without global symmetries. The code is trivially
parallelizable on one or multiple machines. We exemplify usage extensively with
several real-world applications. In passing we give a pedagogical introduction
to the numerical bootstrap methods.Comment: 29 page
On the Reification of Global Constraints
We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on
the observation that most global constraints can be reformulated as a conjunction of pure functional dependency
constraints together with a constraint that can be easily reified. We first show how the core constraints of the
Global Constraint Catalogue can be reified and we then identify several reification categories that apply to at
least 82% of the constraints in the Global Constraint Catalogue
Project SPACE: Solar Panel Automated Cleaning Environment
The goal of Project SPACE is to create an automated solar panel cleaner that will address the adverse impact of soiling on commercial photovoltaic cells. Specifically, we hoped to create a device that increases the maximum power output of a soiled panel by 10% (recovering the amount of power lost) while still costing under 700 with a payback period of less than 3.5 years.
To date, we have created a device that improves the efficiency of soiled solar panels by 3.5% after two runs over the solar panel. We hope that our final design will continue to expand the growth of solar energy globally
Runtime Scheduling, Allocation, and Execution of Real-Time Hardware Tasks onto Xilinx FPGAs Subject to Fault Occurrence
This paper describes a novel way to exploit the computation capabilities delivered by modern Field-Programmable Gate Arrays (FPGAs), not only towards a higher performance, but also towards an improved reliability. Computation-specific pieces of circuitry are dynamically scheduled and allocated to different resources on the chip based on a set of novel algorithms which are described in detail in this article. These algorithms consider most of the technological constraints existing in modern partially reconfigurable FPGAs as well as spontaneously occurring faults and emerging permanent damage in the silicon substrate of the chip. In addition, the algorithms target other important aspects such as communications and synchronization among the different computations that are carried out, either concurrently or at different times. The effectiveness of the proposed algorithms is tested by means of a wide range of synthetic simulations, and, notably, a proof-of-concept implementation of them using real FPGA hardware is outlined
Automated metamorphic testing on the analyses of feature models
Copyright © 2010 Elsevier B.V. All rights reserved.Context: A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged to be time-consuming, error-prone and in most cases infeasible due to the combinatorial complexity of the analyses, this is known as the oracle problem.Objective: In this paper, we propose using metamorphic testing to automate the generation of test data for feature model analysis tools overcoming the oracle problem. An automated test data generator is presented and evaluated to show the feasibility of our approach.Method: We present a set of relations (so-called metamorphic relations) between input FMs and the set of products they represent. Based on these relations and given a FM and its known set of products, a set of neighbouring FMs together with their corresponding set of products are automatically generated and used for testing multiple analyses. Complex FMs representing millions of products can be efficiently created by applying this process iteratively.Results: Our evaluation results using mutation testing and real faults reveal that most faults can be automatically detected within a few seconds. Two defects were found in FaMa and another two in SPLOT, two real tools for the automated analysis of feature models. Also, we show how our generator outperforms a related manual suite for the automated analysis of feature models and how this suite can be used to guide the automated generation of test cases obtaining important gains in efficiency.Conclusion: Our results show that the application of metamorphic testing in the domain of automated analysis of feature models is efficient and effective in detecting most faults in a few seconds without the need for a human oracle.This work has been partially supported by the European Commission(FEDER)and Spanish Government under CICYT project SETI(TIN2009-07366)and the Andalusian Government project ISABEL(TIC-2533)
Dynamic sampling schemes for optimal noise learning under multiple nonsmooth constraints
We consider the bilevel optimisation approach proposed by De Los Reyes,
Sch\"onlieb (2013) for learning the optimal parameters in a Total Variation
(TV) denoising model featuring for multiple noise distributions. In
applications, the use of databases (dictionaries) allows an accurate estimation
of the parameters, but reflects in high computational costs due to the size of
the databases and to the nonsmooth nature of the PDE constraints. To overcome
this computational barrier we propose an optimisation algorithm that by
sampling dynamically from the set of constraints and using a quasi-Newton
method, solves the problem accurately and in an efficient way
- …