arXiv Science⌕ Search

arXiv subjects

Min Wu

Publications and source records attributed to Min Wu.

245 records · Page 14Linked to original sources
arXiv2013

In-situ EXAFS study on the thermal decomposition of TiH2

Thermal decomposition behaviors of TiH2 powder under a flowing helium atmosphere and in a low vacuum condition have been studied by using in-situ EXAFS technique. By an EXAFS analysis containing the multiple scattering paths including H atoms, the changes of hydrogen stoichiometric ratio and the phase transformation sequence are obtained. The results demonstrate that the initial decomposition temperature is dependent on experimental conditions, which occurs, respectively, at about 300 and 400 degree in a low vacuum condition and under a flowing helium atmosphere. During the decomposition process of TiH2 in a low vacuum condition, the sample experiences a phase change process: δ(TiH2) - δ(TiHx) - δ(TiHx)+β(TiHx) - δ(TiHx)+β(TiHx)+α(Ti) - β(TiHx)+α(Ti) - α(Ti)+β(Ti). This study offers a way to detect the structural information of hydrogen. A detailed discussion about the decomposition process of TiH2 is given in this paper.

cond-mat.mtrl-sci↗
arXiv2013

Sparse Norm Filtering

Optimization-based filtering smoothes an image by minimizing a fidelity function and simultaneously preserves edges by exploiting a sparse norm penalty over gradients. It has obtained promising performance in practical problems, such as detail manipulation, HDR compression and deblurring, and thus has received increasing attentions in fields of graphics, computer vision and image processing. This paper derives a new type of image filter called sparse norm filter (SNF) from optimization-based filtering. SNF has a very simple form, introduces a general class of filtering techniques, and explains several classic filters as special implementations of SNF, e.g. the averaging filter and the median filter. It has advantages of being halo free, easy to implement, and low time and memory costs (comparable to those of the bilateral filter). Thus, it is more generic than a smoothing operator and can better adapt to different tasks. We validate the proposed SNF by a wide variety of applications including edge-preserving smoothing, outlier tolerant filtering, detail manipulation, HDR compression, non-blind deconvolution, image segmentation, and colorization.

cs.GR↗
arXiv2013

Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems

In this paper, we consider the problem of computing estimates of the domain-of-attraction for non-polynomial systems. A polynomial approximation technique, based on multivariate polynomial interpolation and error analysis for remaining functions, is applied to compute an uncertain polynomial system, whose set of trajectories contains that of the original non-polynomial system. Experiments on the benchmark non-polynomial systems show that our approach gives better estimates of the domain-of-attraction.

cs.SC↗
arXiv2013

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid systems. As an application, an approach is provided to verify safety properties of non-polynomial hybrid systems. Experiments on the benchmark hybrid systems are given to illustrate the efficiency of our method.

cs.SC↗
arXiv2012

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation

In this paper, we address the problem of safety verification of nonlinear hybrid systems. A hybrid symbolic-numeric method is presented to compute exact inequality invariants of hybrid systems efficiently. Some numerical invariants of a hybrid system can be obtained by solving a bilinear SOS programming via PENBMI solver or iterative method, then the modified Newton refinement and rational vector recovery techniques are applied to obtain exact polynomial invariants with rational coefficients, which {\it exactly} satisfy the conditions of invariants. Experiments on some benchmarks are given to illustrate the efficiency of our algorithm.

cs.SE↗
arXiv2011

Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation

In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inductive invariants of the given systems. A numerical invariant of the given system can be obtained by solving a parameterized polynomial optimization problem via sum-of-squares (SOS) relaxation. And a method based on Gauss-Newton refinement and rational vector recovery is deployed to obtain the invariants with rational coefficients, which exactly satisfy the conditions of invariants. Several examples are given to illustrate our algorithm.

cs.SE↗
arXiv2011

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We present a new approach, for generating polynomial equation invariants of polynomial loop programs through computing vanishing ideals of sample points. We apply rational function interpolation, based on early termination technique, to generate invariants of loop programs with symbolic initial values. Our approach avoids first-order quantifier elimination and cylindrical algebraic decomposition(CAD). An algorithm for generating polynomial invariants is proposed and some examples are given to illustrate the algorithm. Furthermore, we demonstrate on a set of loop programs with symbolic initial values that our algorithm can yield polynomial invariants with degrees high up to 15.

cs.SC↗
arXiv2008

Liouvillian Solutions of Difference-Differential Equations

For a field k$with an automorphism σand a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y) = AY, δ(Y) = BY} over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x,t), σ(x) = x+1, δ= d/dt$ and the size of the system is a prime.

cs.SC↗
arXiv2006

A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules

We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have constant coefficients with respect to the operators that have been considered.

cs.SC↗