Setting of this paper is Bishop's constructive mathematics. For a relation σ on a set with apartness is called quasi-antiorder if it is consistent and cotransitive. The quasi-antiorder σ is complete if holds . 0 1 / = σ σ − ∩ In this paper the following assertion ‘A quasi-antiorder is the intersection of a collection of quasi-antiorders.’ is given.

Background. Gas turbines are highly nonlinear systems, where the widely applied linear controllers based on locally linearized models are of limited use. Method of approach. A simple nonlinear dynamic model is developed that is in a quasi-polynomial form. Nonlinear stability and zero dynamics analysis is applied to find a controller structure for input-output linearization. Results. The estimat...

This paper concentrates on the solution of state feedback exact linearization zero steady-state error optimal control problem for nonlinear systems affected by external disturbances. Firstly, the nonlinear system model with external disturbances is converted to quasi-linear system model by differential homeomorphism. Using Internal Model Optional Control (IMOC), the disturbances compensator is ...

Minimization methods for training feed-forward networks with Backpropagation are compared. Feedforward network training is a special case of functional minimization, where no explicit model of the data is assumed. Therefore due to the high dimensionality of the data, linearization of the training problem through use of orthogonal basis functions is not desirable. The focus is functional minimiz...

We investigate entropy generation in unsteady three-dimensional axisymmetric MHD nanofluid flow over a non-linearly stretching sheet. The flow is subject to thermal radiation and a chemical reaction. The conservation equations were solved using the spectral quasi-linearization method. The novelty of the work is in the study of entropy generation in three-dimensional axisymmetric MHD nanofluid a...

We prove that quasi-static pushing with a sticking contact and ellipsoid approximation of the limit surface is differentially flat. Both graphical and algebraic derivations are given. A major conclusion is the pusher-slider system is reducible to the Dubins car problem where the sticking contact constraints translate to bounded curvature. Planning is as easy as computing Dubins curves with the ...

A self-similar solution of unsteady mixed convection flow on a rotating cone embedded in a porous medium saturated with a rotating fluid in the presence of the first and second orders resistances has been obtained. It has been shown that a self-similar solution is possible when the free stream angular velocity and the angular velocity of the cone vary inversely as a linear function of time. The...

This paper studies the properties of solutions to a log–linearized version of the neoclassical growth model with quasi-geometric discounting. We show that after the log–linearization, the model has indeterminacy and multiplicity of equilibria even though the original non-linear model has a unique interior solution. Specifically, in both the deterministic and stochastic cases, the log–linearized...

In the present analysis an unsteady laminar forced convection water boundary layer flow is considered. The fluid properties such as viscosity and Prandtl number are taken as variables such that those are inversely proportional to temperature. By using quasi-linearization technique the nonlinear coupled partial differential equations are linearized and the numerical solutions are obtained by usi...

This paper deals with the problem of determining the leading coefficient k 1⁄4 kððu0ÞÞ of the nonlinear (monotone potential) Sturm–Liouville operator Au1⁄4 ðkððu0ÞÞu0ðxÞÞþ qðxÞuðxÞ, x2 ða;bÞ. As an additional condition only two measured data at the boundary (x1⁄4 a, x1⁄4 b) are used. Solvability and linearization of the corresponding nonlinear direct problem are given. An existence of a quasi-s...