The immersed boundary method is an algorithm for simulating the interaction of immersed elastic bodies or boundaries with a viscous incompressible fluid. The immersed elastic material is represented in the fluid equations by a system or field of applied forces. The particular case of Stokes flow with applied forces on a periodic domain involves two related mathematical complications. One of the...

Automatic Generation Control (AGC); Boiler dynamics; Generation Rate Constraint (GRC); Governor dead band; Proportional Integral Derivative (PID) controller; Differential Evolution (DE) algorithm Abstract This paper presents the design and performance analysis of Differential Evolution (DE) algorithm based Proportional–Integral (PI) and Proportional–Integral–Derivative (PID) controllers for Aut...

‎in this paper, using the idea of convexificators, we study boundedness and nonemptiness of lagrange multipliers satisfying the first order necessary conditions. we consider a class of nons- mooth fractional programming problems with equality, inequality constraints and an arbitrary set constraint. within this context, define generalized mangasarian-fromovitz constraint qualification and show t...

The paper proposes a modified IMC-based Smith predictor (SP) control method for unstable time-delay processes. A novel design to tune the parameters of fractional-order tilt integral derivative controller has been developed using IMC filter and process model parameters. tuning are calculated from new robustness index desired performance constraint. expected constraint satisfies good setpoint tr...

Coal-mining subsidence causes ground fissures and destroys surface structures, which may lead to severe casualties economic losses. Time series interferometric synthetic aperture radar (TS-InSAR) plays an important role in deformation detection monitoring without the restriction of weather sunlight conditions. In addition, probability integral method (PIM) is a movement model that widely used f...

In the field of Global Navigation Satellite System (GNSS) attitude determination, the constraints usually play a critical role in resolving the unknown ambiguities quickly and correctly. Many constraints such as the baseline length, the geometry of multi-baselines and the horizontal attitude angles have been used extensively to improve the performance of ambiguity resolution. In the GNSS/Inerti...

Many existing algorithms for model checking of infinite-state systems operate on constraints which are used to represent (potentially infinite) sets of states. A general powerful technique which can be employed for proving termination of these algorithms is that of well quasi-orderings. Several methodologies have been proposed for derivation of new well quasi-ordered constraint systems. However...

Programming languages and techniques based on logic and constraints, such as the Constraint Handling Rules (CHR), can support many common programming tasks that can be expressed in the form of a search for feasible or optimal solutions. Developing new constraint solvers using CHR is especially interesting in configuration management for large scale, distributed and dynamic cloud applications, w...

We show that in a knapsack feasibility problem an integral vector p, which is short, and near parallel to the constraint vector gives a branching direction with small integer width. We use this result to analyze two computationally efficient reformulation techniques on low density knapsack problems. Both reformulations have a constraint matrix with columns reduced in the sense of Lenstra, Lenst...

This paper introduces a novel fuzzy logic controller design methodology based on the theory of fuzzy constraint network. Despite the successes of rule-based fuzzy logic controller design techniques, this approach represents only a very special case of the expressive power of the rst order predicate calculus (FOPC). The notion of "constraint" has an extremely tie to the concept of the mathematic...