We prove that the ENO reconstruction and ENO interpolation procedures are stable in the sense that the jump of the reconstructed ENO point values at each cell interface has the same sign as the jump of the underlying cell averages across that interface. Moreover, we prove that the size of these jumps after reconstruction relative to the jump of the underlying cell averages is bounded. Similar s...

and Applied Analysis 3 exist and are bounded for a self-adjoint positive operator A. Here B 1 2 ( τA √ A 4 τ2A ) , K ( I 2τA 5 4 τA 2 )−1 . 2.2 Theorem 2.1. For any gk, 1 ≤ k ≤ N − 1, and fk,−N 1 ≤ k ≤ 0, the solution of problem 1.2 exists and the following formula holds: uk ( I − R2N )−1{[ R − R2N−k ] u0 [ RN−k − R k ][ Pu0 − τ 0 ∑ s −N 1 P N−1Gfs μ ] − [ RN−k − R k ] I τB 2I τB −1B−1 N−1 ∑ s ...

The initial-value problem for hyperbolic equation d2u(t)/dt2 +A(t)u(t) = f (t) (0 ≤ t ≤ T), u(0) = φ,u(0) = ψ in a Hilbert space H with the self-adjoint positive definite operators A(t) is considered. The second order of accuracy difference scheme for the approximately solving this initial-value problem is presented. The stability estimates for the solution of this difference scheme are establi...

the aim of this study was to investigate the role of coach-oriented organization and team performance in the mental health staff general directorate of youth and sport of ardabil. descriptive and correlational methodology has been applied to the target and the field was done in this study population all staff general directorate of youth and sport was ardabil province in the number of them 85 p...

Many geophysical flows are merely perturbations of some fundamental equilibrium state. If a numerical scheme shall capture such flows efficiently, it should be able to preserve the unperturbed equilibrium state at the discrete level. Here we present a class of schemes of any desired order of accuracy which preserve the lake at rest perfectly. These schemes should have an impact for studying imp...

Two new formulations of a symmetric WENO method for the direct numerical simulation of compressible turbulence are presented. The schemes are designed to maximize order of accuracy and bandwidth, while minimizing dissipation. The formulations and the corresponding coefficients are introduced. Numerical solutions to canonical flow problems are used to determine the dissipation and bandwidth prop...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

there are many evident that people are more interested in walking in attractive urban spaces and inappropriate physical and psychological condition can reduce their presence in a remarkable amount. the current research investigates the influence of physical design and psychological elements and their criteria on selective physical activity and specifically walking in urban public spaces. howeve...