Effects of constraint curvature on structural instability: tensile buckling and multiple bifurcations

Bifurcation of an elastic structure crucially depends on the curvature of the constraints against which the ends of the structure are prescribed to move, an effect which deserves more attention than it has received so far. In fact, we show theoretically and we provide definitive experimental verification that an appropriate curvature of the constraint over which the end of a structure has to slide strongly affects buckling loads and can induce: (i.) tensile buckling; (ii.) decreasing- (softening), increasing- (hardening), or constant-load (null stiffness) postcritical behaviour; (iii.) multiple bifurcations, determining for instance two bifurcation loads (one tensile and one compressive) in a single-degree-of-freedom elastic system. We show how to design a constraint profile to obtain a desired postcritical behaviour and we provide the solution for the elastica constrained to slide along a circle on one end, representing the first example of an inflexional elastica developed from a buckling in tension. These results have important practical implications in the design of compliant mechanisms and may find applications in devices operating in quasi-static or dynamic conditions.

Optimal constraint tightening policies for robust variable horizon model predictive control

This paper develops a technique for improving the region of attraction of a robust variable horizon model predictive controller. It considers a constrained discrete-time linear system acted upon by a bounded, but unknown time-varying state disturbance. Using constraint tightening for robustness, it is shown how the tightening policy, parameterised as direct feedback on the disturbance, can be optimised to increase the volume of an inner approximation to the controller's true region of attraction. Numerical examples demonstrate the benefits of the policy in increasing region of attraction volume and decreasing the maximum prediction horizon length. © 2012 IEEE.

Nutritional homeostasis in carnivorous southern catfish (Silurus meridionalis): is there a mechanism for increased energy expenditure during carbohydrate overfeeding?

In previous growth experiments with carnivorous southern catfish (Silurus meridionalis), the non-fecal energy lose was positively related to dietary. carbohydrate level. To test whether metabolic energy expenditure accounts for such energy loss, an experiment was performed with southern catfish juveniles (33.2-71.9 g) to study the effect of dietary carbohydrate level on fasting metabolic rate and specific dynamic action (SDA) at 27.5 degreesC. The fasting metabolic rate in this catfish was increased with dietary carbohydrate level, and the specific dynamic action (SDA) coefficient (energy expended on SDA as percent of assimilated energy) was not affected by dietary carbohydrate level. The results suggest that in southern catfish, carbohydrate overfeeding increases metabolic rate to oxidize unwanted assimilated carbohydrate. A discussion on the poor capacity of intermediate metabolism for adapting dietary carbohydrate in carnivorous fish and its possible relationship with facultative component of SDA was also documented in this paper. (C) 2004 Elsevier Inc. All rights reserved.

a constraint solver and its application to path feasibility analysis

Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.

etl workflow analysis and verification using backwards constraint propagation

University of Twente; Centre for Telematics and Information Technology; Netherlands Organisation for Scientific Research; Jacquard; Capgemini