Rethinking the Patch Test for Phase Measuring Bathymetric Sonars

While conducting hydrographic survey operations in the Florida Keys, NOAA Ship Thomas Jefferson served as a test platform for the initial operational implementation of an L-3 Klein HydroChart 5000 Swath Bathymetry Sonar System1 , a hull-mounted phase measuring bathymetric sonar (PMBS). During the project it became apparent that the traditional patch test typically utilized for multibeam echosounder (MBES) systems was poorly suited to the HydroChart – and perhaps other PMBS systems as well. These systems have several inherent characteristics that make it difficult to isolate and subsequently solve for biases under the traditional patch test paradigm: presence of a nadir gap, wide swaths (typically greater than 6 times water depth), and relatively poor object-detection capability in the outer swath. After “rethinking” the patch test to account for these characteristics, the authors propose a new patch test paradigm that is better suited to the HydroChart and other PMBS systems

A higher order control volume based finite element method to prodict the deformation of heterogeneous materials

Materials with obvious internal structure can exhibit behaviour, under loading, that cannot be described by classical elasticity. It is therefore important to develop computational tools incorporating appropriate constitutive theories that can capture their unconventional behaviour. One such theory is micropolar elasticity. This paper presents a linear strain control volume finite element formulation incorporating micropolar elasticity. Verification results from a micropolar element patch test as well as convergence results for a stress concentration problem are included. The element will be shown to pass the patch test and also exhibit accuracy that is at least equivalent to its finite element counterpart

Identifying Patch Correctness in Test-Based Program Repair

Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches. To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and patched programs are likely to behave differently. Also, if two tests exhibit similar runtime behavior, the two tests are likely to have the same test results. Based on these observations, we generate new test inputs to enhance the test suites and use their behavior similarity to determine patch correctness. Our approach is evaluated on a dataset consisting of 139 patches generated from existing program repair systems including jGenProg, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3\% of the incorrect patches to be generated, without blocking any correct patches.Comment: ICSE 201

Investigation of a CTS solar cell test patch under simulated geomagnetic substorm charging conditions

The CTS solar array technology experiment which consists of a solar cell test patch on the Kapton-substrate solar array and the appertaining electronics unit has been operating in geostationary orbit for nearly 1 year without any malfunction although it is expected to be strongly influenced by charging effects on the array surface. The results of a post-launch test program show that the experiment would not survive a discharge due to electrostatic charging in the test patch area. In a simulated substorm, environment discharges were obtained only below a temperature threshold of about 30 C. With solar illumination, this threshold is reduced below 0 C

Fast Predictive Image Registration

We present a method to predict image deformations based on patch-wise image appearance. Specifically, we design a patch-based deep encoder-decoder network which learns the pixel/voxel-wise mapping between image appearance and registration parameters. Our approach can predict general deformation parameterizations, however, we focus on the large deformation diffeomorphic metric mapping (LDDMM) registration model. By predicting the LDDMM momentum-parameterization we retain the desirable theoretical properties of LDDMM, while reducing computation time by orders of magnitude: combined with patch pruning, we achieve a 1500x/66x speed up compared to GPU-based optimization for 2D/3D image registration. Our approach has better prediction accuracy than predicting deformation or velocity fields and results in diffeomorphic transformations. Additionally, we create a Bayesian probabilistic version of our network, which allows evaluation of deformation field uncertainty through Monte Carlo sampling using dropout at test time. We show that deformation uncertainty highlights areas of ambiguous deformations. We test our method on the OASIS brain image dataset in 2D and 3D

Construction and test of a dual patch multi-element radiant cooler

Design, construction, and test of dual patch multi-element radiant coole

Addressing Integration Error for Polygonal Finite Elements Through Polynomial Projections: A Patch Test Connection

Polygonal finite elements generally do not pass the patch test as a result of quadrature error in the evaluation of weak form integrals. In this work, we examine the consequences of lack of polynomial consistency and show that it can lead to a deterioration of convergence of the finite element solutions. We propose a general remedy, inspired by techniques in the recent literature of mimetic finite differences, for restoring consistency and thereby ensuring the satisfaction of the patch test and recovering optimal rates of convergence. The proposed approach, based on polynomial projections of the basis functions, allows for the use of moderate number of integration points and brings the computational cost of polygonal finite elements closer to that of the commonly used linear triangles and bilinear quadrilaterals. Numerical studies of a two-dimensional scalar diffusion problem accompany the theoretical considerations