Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
Then a fixed point parallel FIR filter is designed, which has optimum canonical signed digits (CSD) coefficients.
By using a well-known fixed point index theorem, we obtain the existence, multiplicity and nonexistence of positive periodic solution(s) to this equation.
By employing the fixed point index of condensing mapping, the existence results of positive solution are obtained under two cases, the conclusions extend the results recently achieved in this field.
Iterative approximation of fixed points of strictly pseudocontractive mappings;
Gallium triple point as a new fixed point has been researched widely in recent years.
If you need to represent fixed point Numbers, such as dollars and cents, use BigDecimal instead.
Some efficient tools such as topological degree theory, fixed point theory and lower and upper method have been applied.
In section 2, asymptotically stable sets of tree maps are studied, and two necessary and sufficient conditions for a fixed point to be asymptotically stable are obtained.
We have studied the KS entropy of a 2-dimensional measure-preserving mapping with an elliptic or hyperbolic fixed point respectively, as well as that of its 3-dimensional extension.
Using cone fixed point theorem we get the existence of one and two positive solutions.
A system of coordinates in which a point is located by its distance and direction (angle) from a fixed point on a reference line (called the polar axis).
These transformations are made up of renormalization group. Then the fixed point of transformation can be found, among which those unstable ones are critical points of phase transition.
This class of problems usually describes the deformations of elastic beams with both fixed points.
Where can leverage around a fixed point and rotating Yingbang, may be regarded as "leverage."
Moreover, the effect of the equivariant homotopy pullback and pushout are investigated while their passing to their H-fixed point Spaces.
There are data sets in iteration that converge to single points, called attractive fixed points.
By using the Sadovskii fixed point theorem, we study the existence of solutions for the second-order multi-point boundary value problem inBanach space.
To make it work, a camera in Monument Mode is pointed at a landmark, even in a busy street, for a short period of time to record several seconds of footage from a fixed point.
Under certain condition, these systems are proved by fixed point method and mean value method to have almost-automorphic solution.
Random fixed point theorems are of fundamental importance in probabilistic functional analysis.
Given a function and an input, find the fixed point.
In this paper, we extend an important fixed point theorem for set-valued. A random fixed-point theorem for random set-valued semi-closed 1-set contraction mapping is obtained.
By using fixed point index theory in a cone, we study the existence of positive solutions of boundary value problems for systems of nonlinear second order singular differential equations.
Being a fan became a fixed point, wherever I lived; it was-it is-one of the two or three things that I think of as making me, well, me.
國文精選館
