搜索结果: 1-9 共查到“计算机科学技术基础学科 Flows”相关记录9条 . 查询时间(0.077 秒)
Interactively Verifying Absence of Explicit Information Flows in Android Apps
interactive verification abductive inference specifications from tests
2016/5/24
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play),desktop apps (Mac App Store and Ubuntu Software Center),computer games (the Steam Sto...
Combined Feature-Driven Richardson-Based Adaptive Mesh Refinement for Unsteady Vortical Flows
Combined Feature-Driven Richardson-Based Adaptive Mesh Unsteady Vortical Flows
2015/7/3
An adaptive mesh refinement strategy that couples feature detection with local error estimation is presented. The strategyfirst selects vortical regions for refinement using feature ...
Computation Of Flows with Shocks Using Spectral Difference Scheme with Arti
Computation Flows Shocks Spectral Difference Scheme
2015/7/3
The current work focuses on applying an arti cial viscosity approach to the Spectral Di erence (SD) method to enable high-order computation of compressible uid ows with discontinuities. The study modi...
Unstructured Algorithms for Inviscid and Viscous Flows Embedded in a Unified Solver Architecture: Flo3xx
Unstructured Algorithms Inviscid Viscous Flows Embedded Unifi ed Solver Architecture
2015/7/2
This paper reports recent progress towards a new platform for computational aero dynamics on arbitrary meshes, tentatively designated Flo3xx. This tool is designed for maximum flixibility to ser...
DEVELOPMENT OF COMPUTATIONAL TECHNIQUES FOR TRANSONIC FLOWS:AN HISTORICAL PERSPECTIVE
COMPUTATIONAL TECHNIQUES RANSONIC FLOWS HISTORICAL PERSPECTIVE
2015/7/2
The history of computational fluid dynamics (CFD), especially as driven by the requirements of transonic flow prediction, has been largely coincident with the history of these Symposia. Th...
An Implicit-Explicit Hybrid Scheme for Calculating Complex Unsteady Flows
Implicit-Explicit Hybrid Scheme Calculating Complex Unsteady Flows
2015/7/2
In current practice, unsteady flow simulations for turbomachinery are performed using a dual-time-stepping scheme. This work is motivated by the need to solve the time accurate Navier-Stokes equ...
TWO-DIMENSIONAL IMPLICIT TIME DEPENDENT CALCULATIONS FOR INCOMPRESSIBLE FLOWS ON ADAPTIVE UNSTRUCTURED MESHES
TWO-DIMENSIONAL IMPLICIT DEPENDENT CALCULATIONS INCOMPRESSIBLE FLOWS ADAPTIVE UNSTRUCTURED MESHES
2015/7/2
An implicit muItigrid-driven algorithm for two-dimensional incompres ible laminar viscous flows is coupled with a mesh adaptation method to better capture the important features of the flow for time d...
A Multigrid Method for High Speed Reactive Flows
Multigrid Method High Speed Reactive Flows
2015/7/1
This paper presents a multigrid method for computing inviscid and viscous high speed steady-state hydrogen/oxygen and hydrogen/air reactive flows.
Three-Dimensional Computations of Time-Dependent Incompressible Flows with an Implicit Multigrid-Driven Algorithm on Parallel Computers
Three-Dimensional Computations Time-Dependent Incompressible Flows Implicit Multigrid-Driven Algorithm Parallel Computers
2015/7/1
The present work is aimed at the development of a robust, computationally efficient algorithm for the simulation of unsteady incompressible flows of interest in engineering. In particular, we focus on...