We introduce a novel abstract domain for the safe approximation of continuous functions in the context of abstract interpretationbased static analysis. The key-idea is to represent C + functions by a finite sequence of trapezoids. In this way, we get a strictly more precise approximation of the actual values with respect to existing approaches in the literature. Experimental results underline t...

In this paper, a new modeling technique is proposed for extracting small-signal lumped-element equivalent-circuit models microwave transistors. The procedure based on using an optimization approach that improved by targeting quasi-static behavior as additional objective function rather than only minimizing the error between simulated and measured scattering parameters. validity of developed met...

Abstract A fast approximation method to three dimensional equations in quasi-static uncoupled thermoelasticity is proposed. We approximate the density via Gaussian approximating functions introduced approximations. In this way action of integral operators on such presented a simple analytical form. If has separated representation, problem reduced computation one-dimensional integrals which admi...

The aim of this paper is to investigate geometrically nonlinear static analysis of axially functionally graded cantilever beam subjected to transversal non follower load. The considered problem is solved by finite element method with total Lagrangian kinematic approach. The material properties of the beam vary along the longitudinal direction according to the power law function. The finite elem...

We build a new, implicitly relational abstract domain which gives accurate under-approximations of the set of real values that program variables can take. This statement is demonstrated both on a theoretical basis and on non-trivial numerical examples. It is, we believe, the first non-trivial under-approximating numerical domain in the static analysis literature.