In [6], the second author proved general metatheorems for the extraction of effective uniform bounds from ineffective existence proofs in functional analysis, more precisely from proofs in classical analysis A(:= weakly extensional Peano arithmetic WE-PA in all finite types + quantitifer-free choice + the axiom schema of dependent choice DC) extended with (variants of) abstract bounded metric s...

We prove several decidability and undecidability results for ν-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of reachability, by reducing reachability in nets with inhibitor arcs to it. Thus, the expressive power of ν-PN strictly surpasses that of P/T nets. We encode ν-PN into Petri Data Nets, so that coverability, termination...

The prediction of aerodynamic characteristics and smart flap of airfoil under the ground effect are carried out by the integration of computational fluid dynamics. Considering different types of beams, a parametric bending profile of a smart flap is designed. Cantilever beam with uniformly varying load with roller support at the free end is considered in here. A pressure-based implicit procedur...

A building block for many field theories in continuum physics are second-order elliptic operators divergence form, as given through a coefficient which may be assimilated to metric tensor on $$\mathbb {R}^d$$ . The mapping properties of these linear crucial ingredient analysis. In this paper, we focus Calderón–Zygmund estimates, that is, the boundedness corresponding Helmholtz projection $$\mat...

It is shown that for a parabolic problem with maximal Lp-regularity (for 1 < p < ∞), the time discretization by a linear multistep method or Runge–Kutta method has maximal `p-regularity uniformly in the stepsize if the method is A-stable (and satisfies minor additional conditions). In particular, the implicit Euler method, the Crank–Nicolson method, the second-order backward difference formula ...

This paper presents a novel disturbance observer-based adaptive neural network control for hydraulic knee exoskeleton with valve deadband and output constraint. Adaptive networks are employed to approximate the unknown nonlinearities of actuator, i.e., unmodeled dynamics caused by leakage. A observer is designed integrated into controller compensate external equivalent interactive force acted o...

Article history: Received 2 April 2014 Available online 2 July 2014 Submitted by P. Nevai

We study the weighted boundedness of the Cauchy singular integral operator SΓ in Morrey spaces L(Γ) on curves satisfying the arc-chord condition, for a class of ”radial type” almost monotonic weights. The non-weighted boundedness is shown to hold on an arbitrary Carleson curve. We show that the weighted boundedness is reduced to the boundedness of weighted Hardy operators in Morrey spaces L(0, ...

• Banach-Alaoglu: compactness of polars • Variant Banach-Steinhaus/uniform boundedness • Second polars • Weak boundedness implies boundedness • Weak-to-strong differentiability The comparison of weak and strong differentiability is due to Grothendieck, although the original sources are not widely available.

Finite-time boundedness and H∞ finite-time boundedness of switched linear systems with time-varying delay and exogenous disturbances are addressed. Based on average dwell time (ADT) and free-weight matrix technologies, sufficient conditions which can ensure finite-time boundedness and H∞ finite-time boundedness are given. And then in virtue of the results on finite-time boundedness, the state m...