The problem of computing the range y of a given function f(x1, . . . , xn) over given intervals xi – often called the main problem of interval computations – is, in general, NP-hard. This means that unless P = NP, it is not possible to have a feasible (= polynomial time) algorithm that always computes the desired range. Instead, interval computations algorithms compute an enclosure Y ⊇ y for th...

This paper presents a control methodology that enables nonlinear model-based control of pulse width modulated (PWM) pneumatic servo actuators. An averaging approach is developed to describe the equivalent continuous-time dynamics of a PWM controlled nonlinear system, which renders the system, originally discontinuous and possibly nonaffine in the input, into an equivalent system that is both co...

Resolution refinements called weak resolution trees with lemmas (WRTL) and with input lemmas (WRTI) are introduced. Dag-like resolution is equivalent to both WRTL and WRTI when there is no regularity condition. For regular proofs, an exponential separation between regular dag-like resolution and both regular WRTL and regular WRTI is given. It is proved that DLL proof search algorithms that use ...

In this paper, we report a generalised form for the range parameter governing the pair interaction between soft ellipsoidal particles. For non-equivalent uniaxial particles, we extend the Berne-Pechukas gaussian overlap formalism to obtain an explicit expression for this range parameter. We confirm that this result is identical to that given by an approach that is not widely recognised, based o...

This paper presents a control methodology that enables nonlinear model based control of pulse width modulated (PWM) pneumatic servo actuators. An averaging approach is developed to describe the equivalent continuous-time dynamics of a PWM controlled nonlinear system, which renders the system, originally discontinuous and possibly non-affine in the input, into an equivalent system that is both c...

Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers for imperative programming languages. In this paper we show how a program expressed in static single information form can be transformed into an equivalent program in functional notation. We also examine the implications ...

─ This paper presents an equivalent circuit derived directly from Maxwell's equations in a manner to show the amalgamation of field models and the circuit theory. A micro-T equivalent circuit is obtained from the solution of Maxwell’s equations for a cylindrical representation of a squirrel cage induction motor. First, a general form of the field solution is obtained using transfer matrices. A ...