In this work we introduce PRIN-3D(PRoto-code for Internal flows modeled by Navier-Stokes equations in 3-Dimensions),a new high level algebraic language(Matlab^(■))based code,by discussing some fundamental aspects reg...In this work we introduce PRIN-3D(PRoto-code for Internal flows modeled by Navier-Stokes equations in 3-Dimensions),a new high level algebraic language(Matlab^(■))based code,by discussing some fundamental aspects regarding its basic solving kernel and by describing the design of an innovative advection scheme.The main focus was on designing a memory and computationally efficient code that,due to the typical conciseness of the Matlab coding language,could allow for fast and effective implementation of new models or algorithms.Innovative numerical methods are discussed in the paper.The pressure equation is derived with a quasi-segregation technique leading to an iterative scheme obtained within the framework of a global preconditioning procedure.Different levels of parallelization are obtainable by exploiting special pressure variable ordering patterns that lead to a block-structured Poisson-like matrix.Moreover,the new advection scheme has the potential of a controllable artificial diffusivity.Preliminary results are shown including a fully three-dimensional internal laminar flow evolving in a relatively complex geometry and a 3D methane-air flame simulated with the aid of libraries based on the Flamelet model.展开更多
The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performe...The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically.展开更多
文摘In this work we introduce PRIN-3D(PRoto-code for Internal flows modeled by Navier-Stokes equations in 3-Dimensions),a new high level algebraic language(Matlab^(■))based code,by discussing some fundamental aspects regarding its basic solving kernel and by describing the design of an innovative advection scheme.The main focus was on designing a memory and computationally efficient code that,due to the typical conciseness of the Matlab coding language,could allow for fast and effective implementation of new models or algorithms.Innovative numerical methods are discussed in the paper.The pressure equation is derived with a quasi-segregation technique leading to an iterative scheme obtained within the framework of a global preconditioning procedure.Different levels of parallelization are obtainable by exploiting special pressure variable ordering patterns that lead to a block-structured Poisson-like matrix.Moreover,the new advection scheme has the potential of a controllable artificial diffusivity.Preliminary results are shown including a fully three-dimensional internal laminar flow evolving in a relatively complex geometry and a 3D methane-air flame simulated with the aid of libraries based on the Flamelet model.
基金This work has been supported by the 2017 PAMI Travel Grantthe 2019 AUST/AfDB Special Grant.
文摘The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically.
