scholarly journals A non-local method for robustness analysis of floating point programs

2012 ◽  
Vol 85 ◽  
pp. 63-76 ◽  
Author(s):  
Ivan Gazeau ◽  
Dale Miller ◽  
Catuscia Palamidessi
Keyword(s):  
Robustness Analysis ◽  
Floating Point ◽  
Local Method ◽  
Non Local

scholarly journals Review of Peridynamics: Theory, Applications, and Future Perspectives

2021 ◽  
Vol 67 (12) ◽  
pp. 666-681
Author(s):  
Gábor Ladányi ◽  
Viktor Gonda
Keyword(s):  
Time Scales ◽  
Large Deformations ◽  
High Efficiency ◽  
Research Work ◽  
Modelling And Simulation ◽  
Future Perspectives ◽  
Local Method ◽  
Key Concepts ◽  
Non Local ◽  
Number Of Publications

The modelling and simulation of material degradations, particularly fractures in solids of different lengths and time scales, remains challenging despite the numerous approaches that have been developed. In this review, the focus is set on research work concerned with a very promising non-local method: peridynamic modelling. With this approach, continuous phenomena may be described, and the complete evolution (i.e., initiation, propagation, branching, or coalescence) of cracks and other discontinuities can be followed in solids in an integrated framework. Evaluating the large number of publications on this topic, the authors chose to present concisely the key concepts, applications, and results in identifying possible future paths: the incorporation of mechanics of large deformations and material nonlinearities, and the development of high-efficiency peridynamic solvers. This review does not intersect with recent relevant reviews, which reflects its significance to readers.

Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation

2021 ◽  
Author(s):  
Arnab Das ◽  
Tanmay Tirpankar ◽  
Ganesh Gopalakrishnan ◽  
Sriram Krishnamoorthy
Keyword(s):  
Automatic Differentiation ◽  
Robustness Analysis ◽  
Floating Point

scholarly journals Robustness Analysis of Floating-Point Programs by Self-Composition

2014 ◽  
Vol 2014 ◽  
pp. 1-12
Author(s):  
Liqian Chen ◽  
Jiahong Jiang ◽  
Banghu Yin ◽  
Wei Dong ◽  
Ji Wang
Keyword(s):  
Symbolic Execution ◽  
Robustness Analysis ◽  
Floating Point ◽  
Maximum Output ◽  
Critical Systems ◽  
Uncertain Environments ◽  
Software Model ◽  
Output Change ◽  
Interval Linear ◽  
Interval Coefficients

Robustness is a key property for critical systems that run in uncertain environments, to ensure that small input perturbations can cause only small output changes. Current critical systems often involve lots of floating-point computations which are inexact. Robustness analysis of floating-point programs needs to consider both the uncertain inputs and the inexact computation. In this paper, we propose to leverage the idea of self-composition to transform the robustness analysis problem into a reachability problem, which enables the use of standard reachability analysis techniques such as software model checking and symbolic execution for robustness analysis. To handle floating-point arithmetic, we employ an abstraction that encompasses the effect of rounding and that can encompass all rounding modes. It converts floating-point expressions into linear expressions with interval coefficients in exact real arithmetic. On this basis, we employ interval linear programming to compute the maximum output change or maximum allowed input perturbation for the abstracted programs. Preliminary experimental results of our prototype implementation are encouraging.

scholarly journals An adaptive nonlocal filtering for low-dose CT in both image and projection domains

2015 ◽  
Vol 2 (2) ◽  
pp. 113-118 ◽  
Author(s):  
Yingmei Wang ◽  
Shujun Fu ◽  
Wanlong Li ◽  
Caiming Zhang
Keyword(s):  
Noise Reduction ◽  
Low Dose ◽  
Filtered Backprojection ◽  
Self Similarity ◽  
Simulation Experiments ◽  
Image Domain ◽  
Local Method ◽  
Low Dose Ct ◽  
Non Local ◽  
Sinogram Restoration

Abstract An important problem in low-dose CT is the image quality degradation caused by photon starvation. There are a lot of algorithms in sinogram domain or image domain to solve this problem. In view of strong self-similarity contained in the special sinusoid-like strip data in the sinogram space, we propose a novel non-local filtering, whose average weights are related to both the image FBP (filtered backprojection) reconstructed from restored sinogram data and the image directly FBP reconstructed from noisy sinogram data. In the process of sinogram restoration, we apply a non-local method with smoothness parameters adjusted adaptively to the variance of noisy sinogram data, which makes the method much effective for noise reduction in sinogram domain. Simulation experiments show that our proposed method by filtering in both image and projection domains has a better performance in noise reduction and details preservation in reconstructed images.

scholarly journals Non-local Robustness Analysis via Rewriting Techniques

2012 ◽  
Vol 103 ◽  
pp. 65-65
Author(s):  
Ivan Gazeau ◽  
Dale Miller ◽  
Catuscia Palamidessi
Keyword(s):  
Robustness Analysis ◽  
Non Local ◽  
Local Robustness

scholarly journals NLH: A Blind Pixel-Level Non-Local Method for Real-World Image Denoising

2020 ◽  
Vol 29 ◽  
pp. 5121-5135 ◽  
Author(s):  
Yingkun Hou ◽  
Jun Xu ◽  
Mingxia Liu ◽  
Guanghai Liu ◽  
Li Liu ◽  
...  
Keyword(s):  
Image Denoising ◽  
Real World ◽  
Local Method ◽  
Non Local ◽  
World Image

scholarly journals Interferometric SAR Phase Filtering With SURE-Based Non-Local Method

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 66722-66730
Author(s):  
Rui Guo ◽  
Bo Zang ◽  
Shuang-Xi Zhang ◽  
Meng-Dao Xing
Keyword(s):  
Local Method ◽  
Non Local ◽  
Interferometric Sar

A non-local method in peridynamic theory for simulating elastic wave propagation in solids

2021 ◽  
Author(s):  
Xiaochuan Ma ◽  
Qingsong Feng ◽  
Linya Liu ◽  
Jinhui Xu ◽  
Pengfei Zhang ◽  
...  
Keyword(s):  
Wave Propagation ◽  
Elastic Wave ◽  
Elastic Wave Propagation ◽  
Local Method ◽  
Peridynamic Theory ◽  
Non Local

A Non-local Method for Robust Noisy Image Completion

2014 ◽  
pp. 61-74 ◽  
Author(s):  
Wei Li ◽  
Lei Zhao ◽  
Duanqing Xu ◽  
Dongming Lu
Keyword(s):  
Noisy Image ◽  
Image Completion ◽  
Local Method ◽  
Non Local
Sign in / Sign up

Export Citation Format

Share Document