In this work we construct a multiderivative implicit-explicit (IMEX) scheme for class of stiff ordinary differential equations (ODEs). Our solver is high-order accurate and has an asymptotic preserving (AP) property large singularly perturbed ODEs. context, the AP means that singular limit discretely preserved when parameter ? goes to zero. The proposed method based upon two-derivative backward...

Abstract— This paper describes the use of GC quadratic trigonometric spline interpolant for preserving the shape of monotonic data. Simple data dependent constraints are derived for shape parameters to preserve the monotonicity through monotonic data. The necessary and sufficient conditions for the monotonicity of the trigonometric quadratic interpolant have been derived. The scheme is computat...

En este artículo proponemos una estimación de distancia simple soportada en un sistema radar pulso. El método consiste enviar señales periódicas formadas a partir familia wavelet ortogonal y la medida del atraso eco producido por el albo e dominio diferente al temporal. Los resultados las simulaciones muestran precisión aceptable determinación distancia, evitando los métodos complejos sincroniz...

Rational functions have deep system-theoretic significance. They represent the natural way of modeling linear dynamical systems in frequency (Laplace) domain. Using rational functions, goal this paper to compute models that match (interpolate) given data sets measurements. In paper, authors show using special orthonormal systems, Malmquist-Takenaka it is possible write interpolant $r_{(n, m)}$,...

Recently, different forgetting approaches for knowledge bases expressed in different logics were proposed. For EL terminologies containing each atomic concept at most once on the left-hand side, an approach has been proposed based on sufficient, but not necessary acyclicity conditions. In this paper, we propose an approach for computing a uniform interpolant for general EL terminologies. We fir...

Let a sufficiently smooth function f on [−1, 1] be sampled at n + 1 equispaced points, and let k ≥ 0 be given. An Euler–Maclaurin interpolant to the data is defined, consisting of a sum of a degree k algebraic polynomial and a degree n trigonometric polynomial, which deviates from f by O(n−k) and whose integral is equal to the order k Euler–Maclaurin approximation of the integral of f . This in...

The linear arithmetic solver in Yices was specifically designed for SMT provers, providing fast support for operations like adding and deleting constraints. We give a procedure for developing interpolants based on the results of the Yices arithmetic solver. For inequalities over real numbers, the interpolant is computed directly from the one contradictory equation and associated bounds. For int...

The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the utilization of interpolants in UMC and proposes two techniques for improving the original interpolant-based UMC algorithm. These techniques in...