321 research outputs found

    Correct energy evolution of stabilized formulations: The relation between VMS, SUPG and GLS via dynamic orthogonal small-scales and isogeometric analysis. II: The incompressible Navier-Stokes equations

    Full text link
    This paper presents the construction of a correct-energy stabilized finite element method for the incompressible Navier-Stokes equations. The framework of the methodology and the correct-energy concept have been developed in the convective--diffusive context in the preceding paper [M.F.P. ten Eikelder, I. Akkerman, Correct energy evolution of stabilized formulations: The relation between VMS, SUPG and GLS via dynamic orthogonal small-scales and isogeometric analysis. I: The convective--diffusive context, Comput. Methods Appl. Mech. Engrg. 331 (2018) 259--280]. The current work extends ideas of the preceding paper to build a stabilized method within the variational multiscale (VMS) setting which displays correct-energy behavior. Similar to the convection--diffusion case, a key ingredient is the proper dynamic and orthogonal behavior of the small-scales. This is demanded for correct energy behavior and links the VMS framework to the streamline-upwind Petrov-Galerkin (SUPG) and the Galerkin/least-squares method (GLS). The presented method is a Galerkin/least-squares formulation with dynamic divergence-free small-scales (GLSDD). It is locally mass-conservative for both the large- and small-scales separately. In addition, it locally conserves linear and angular momentum. The computations require and employ NURBS-based isogeometric analysis for the spatial discretization. The resulting formulation numerically shows improved energy behavior for turbulent flows comparing with the original VMS method.Comment: Update to postprint versio

    Some algorithms to decide the equivalence of recursive types

    Get PDF

    Biologically-based radiation therapy planning and adjustable robust optimization

    Get PDF
    Radiation therapy is one of the main treatment modalities for various different cancer types. One of the core components of personalized treatment planning is the inclusion of patient-specific biological information in the treatment planning process. Using biological response models, treatment parameters such as the treatment length and dose distribution can be tailored, and mid treatment biomarker information can be used to adapt the treatment during its course. These additional degrees of freedom in treatment planning lead to new mathematical optimization problems. This thesis studies various optimization aspects of biologically-based treatment planning, and focuses on the influence of uncertainty. Adjustable robust optimization is the main technique used to study these problems, and is also studied independently of radiation therapy applications

    Language theory of lambda-calculus with recursive types

    Get PDF

    Non-Hamiltonian symmetries of a Boussinesq equation

    Get PDF
    For a class of Hamiltonian systems there exist infinite series of non-Hamiltonian symmetries. Some properties of these series are illustrated using a Boussinesq equation. It is shown that the recursion operators generated by these non-Hamiltonian symmetries are powers of the original recursion operator. A class of recursion formulas for the constants of the motion (not for the corresponding symmetries!) is given

    Language theory of lambda-calculus with recursive types

    Get PDF
    • …
    corecore