搜索结果: 1-15 共查到“计算机科学技术 flow”相关记录31条 . 查询时间(0.312 秒)
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
2016/5/24
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.
Flow-Sensitive Type Qualifiers
Types type qualifiers alias analysis effect inference flowsensitivity
2016/5/24
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. ...
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation.Barthe, D’Argenio, and Rezk coined the term “self-composition...
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Dynamic analysis specification mining information flow
2016/5/24
We present a technique to mine explicit information flow specifications from concrete executions. These specifications can be consumed by a static taint analysis, enabling static analysis to work even...
Flow-Insensitive Type Qualifiers
Type qualifiers types security constraints const taint static analysis
2016/5/24
We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding new,...
Wayfinding from multiple sources of information in retinal flow
Wayfinding multiple sources information retinal flow
2015/8/13
Although they concluded differently, N.G. Kim, R. Growney, and M.T. Turvey (1996)provided data that supports previous empirical (J. E. Cutting, K. Springer, P. A. Braren, & S. H. Johnson, 1992) and me...
Security constrained optimal power flow via proximal message passing
Trend network equipment dynamic constraints reliability constraint fault network
2015/8/7
In this paper, we propose a distributed algorithm to solve the Security Constrained Optimal Power Flow (SC-OPF) Problem. We consider a network of devices, each with its own dynamic constraints and obj...
KNOWLEDGE-BASED NEURAL NETWORK FOR LINE FLOW CONTINGENCY SELECTION AND RANKING
MW security assessment Energy Management Centers Fuzzy rules Domain Knowledge IEEE 14-bus system
2015/7/31
The Line flow Contingency Selection and Ranking (CS & R) is performed to rank the critical contingencies in order of their severity. An Artificial Neural Network based method for MW security assessmen...
An Assessment of Dual-Time Stepping, Time Spectral and Artificial Compressibility based Numerical Algorithms for Unsteady Flow with Applications to Flapping Wings
Assessment Dual-Time Stepping Time Spectral Compressibility based Numerical Algorithms Unsteady Flow Flapping Wings
2015/7/3
The objective of this study is to compare and contrast three numerical algorithms that can be used to estimate the forces and pressure distribution on wings in flapping motion. All algorithms ar...
High-Order Spectral Difference Simulation of Laminar Compressible Flow Over Two Counter-Rotating Cylinders
High-Order Spectral Diff erence Simulation Laminar Compressible Counter-Rotating Cylinders
2015/7/3
Flow past a single rotating cylinder has been studied, both numerically and experimen tally, by many authors. In contrast is the flow past rotating cylinders in a side-by-side arrangement, which...
Direct Numerical Simulations of a Two-dimensional Viscous Flow in a Shocktube using a Kinetic Energy Preserving Scheme
Direct Numerical Simulations Two-dimensional Viscous Flow Shocktube Kinetic Energy Preserving Scheme
2015/7/3
This paper presents the results of °ow computations done using Jameson's ˉnite volume kinetic energy preserving scheme. Direct numerical simulations were performed in a two dimensional viscous shocktu...
Time Spectral Method for Rotorcraft Flow with Vorticity Confinement
Time Spectral Method Rotorcraft Flow Vorticity Confi nement
2015/7/2
This paper follows up on the authors’ recent paper.1It is shown here that it is possible to obtain reasonable improvement in the results utilizing Vorticity Confinement method. The previous pape...
How Many Steps are Required to Solve the Euler Equations of Steady,Compressible Flow:In Search of a Fast Solution Algorithm
Euler Equations Compressible Flow:Search Fast Solution Algorithm
2015/7/2
New versions of implicit algorithms are proposed for the efficient solution of the Euler equations of com pressible flow. The methods are based on a pre conditioned, Lower-Upper (LU) implem...
Three-dimensional unsteady incompressible flow computations using multigrid
Three-dimensional unsteady incompressible flow computations multigrid
2015/7/1
We apply a robust and computationally efficient multigrid-driven algorithm for the simulation of time-dependent three-dimensional incompressible bluff body wakes at low Reynolds numbers (Re less than ...
Cascade Flow Calculations by a Multigrid Euler Method
Cascade Flow Calculations Multigrid Euler Method
2015/7/1
An explicit finite-volume method for the Euler equations with multigrid is presented for calculating cascade flows. The method is validated against theoretical test cases of the Hobson shock-free impu...