The current device-centric protection model against security threats has serious limitations from the final user perspective, among the other the necessity to keep each device updated with the latest security updates and the necessity to replicate all the security polices across all devices. In our model, the protection is decoupled from the users terminals and it is provided through a Trusted ...

This paper investigates some properties of entropy solutions of hyperbolic conservation laws on a Riemannian manifold. First, we generalize the Total Variation Diminishing (TVD) property to manifolds, by deriving conditions on the flux of the conservation law and a given vector field ensuring that the total variation of the solution along the integral curves of the vector field is non-increasin...

In this article we propose and validate new remeshing schemes for the simulation of transport equations by particle methods. Particle remeshing is a common way to control the regularity of the particle distribution which is necessary to guarantee the accuracy of particle methods in presence of strong strain in a flow. Using a grid-based analysis, we derive remeshing schemes that can be used in ...

We discuss an extension of the Jiang–Tadmor and Kurganov–Tadmor fully-discrete non-oscillatory central schemes for hyperbolic systems of conservation laws to unstructured triangular meshes. In doing so, we propose a new, ‘‘genuinely multidimensional,” non-oscillatory reconstruction—the minimum-angle plane reconstruction (MAPR). The MAPR is based on the selection of an interpolation stencil yiel...

Much attention has been paid in the literature to total-variation-diminishing (TVD) numerical processes in the solution of nonlinear hyperbolic differential equations. For special Runge– Kutta methods, conditions on the stepsize were derived that are sufficient for the TVD property; see, e.g., Shu and Osher [J. Comput. Phys., 77 (1988), pp. 439–471] and Gottlieb and Shu [Math. Comp., 67 (1998),...

With serious situation of data leakage in many enterprises, sensitive dataflow protection based on Trusted Virtual Domains (TVD) has been gradually paid much attention to. Remote attestation among two or more entities across trusted virtual domains is an important means to ensure sensitive dataflow. According to behavior compliance, this paper proposes a behavior-based attestation of policy enf...

In this paper we investigate the performance of the weighted essential non-oscillatory (WENO) methods based on different numerical fluxes, with the objective of obtaining better performance for the shallow water equations by choosing suitable numerical fluxes. We consider six numerical fluxes, i.e., Lax-Friedrichs, local Lax-Friedrichs, Engquist-Osher, Harten-Lax-van Leer, HLLC and the first-or...

Several flux-splitting methods for the inviscid terms of the compressible-flow equations are derived for gases that are not in chemical equilibrium. Formulas are presented for the extension to chemical nonequilibrium of the Steger-Warming and Van Leer flux-vector splittings, and the Roe flux-difference splitting. The splittings are incorporated in a TVD algorithm and applied to one-dimensional ...

Numerical solutions of the generalized Burgers-Huxley equation are obtained using a polynomial differential quadrature method with minimal computational effort. To achieve this, a combination of a polynomial-based differential quadrature method in space and a low-storage third-order total variation diminishing Runge-Kutta scheme in time has been used. The computed results with the use of this t...

In this paper we present the exact solution of the Riemann Problem for the non-linear shallow water equations with a step-like bottom. The solution has been obtained by solving an enlarged system obtained by adding an additional equation for the bottom geometry and then using the principles of conservation of mass and momentum across the step. The resulting solution is unique and satis es the p...