Results 1  10
of
444,262
An Approximate Solver for Symbolic Equations
"... This paper describes a program, called NEW TON, that finds approximate symbolic solutions to parameterized equations in one variable. NEWTON derives an initial approximation by solving for the dominant term in the equation, or if this fails, by bisection. It refines this approximation by a symbolic ..."
Abstract
 Add to MetaCart
This paper describes a program, called NEW TON, that finds approximate symbolic solutions to parameterized equations in one variable. NEWTON derives an initial approximation by solving for the dominant term in the equation, or if this fails, by bisection. It refines this approximation by a symbolic
Approximate Riemann Solvers, Parameter Vectors, and Difference Schemes
 J. COMP. PHYS
, 1981
"... Several numerical schemes for the solution of hyperbolic conservation laws are based on exploiting the information obtained by considering a sequence of Riemann problems. It is argued that in existing schemes much of this information is degraded, and that only certain features of the exact solution ..."
Abstract

Cited by 962 (2 self)
 Add to MetaCart
are worth striving for. It is shown that these features can be obtained by constructing a matrix with a certain “Property U.” Matrices having this property are exhibited for the equations of steady and unsteady gasdynamics. In order to construct them, it is found helpful to introduce “parameter vectors
Control of Systems Integrating Logic, Dynamics, and Constraints
 Automatica
, 1998
"... This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as Mixed Logical Dynamical (MLD) systems. These are described by linear dynamic equations subject to linear inequalities involving real and ..."
Abstract

Cited by 403 (48 self)
 Add to MetaCart
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as Mixed Logical Dynamical (MLD) systems. These are described by linear dynamic equations subject to linear inequalities involving real
EXE: Automatically generating inputs of death
 In Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS
, 2006
"... This article presents EXE, an effective bugfinding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbolic input initially allowed to be anything. As checked code runs, EXE tracks the constraints on ea ..."
Abstract

Cited by 337 (21 self)
 Add to MetaCart
constraints allow any value that causes a bug. When a path terminates or hits a bug, EXE automatically generates a test case by solving the current path constraints to find concrete values using its own codesigned constraint solver, STP. Because EXE’s constraints have no approximations, feeding this concrete
Symbols
"... Computational aeroelasticity has become an active area of research in the past decade. Effort has been put into coupling between Computational Fluid Dynamic and Finite Element solvers, and model reduction to make the resulting simulations more useful for practical analysis. This paper is the latest ..."
Abstract
 Add to MetaCart
Computational aeroelasticity has become an active area of research in the past decade. Effort has been put into coupling between Computational Fluid Dynamic and Finite Element solvers, and model reduction to make the resulting simulations more useful for practical analysis. This paper
An Approximate Riemann Solver for Magnetohydrodynamics
, 1994
"... An approximate Riemann solver is developed for the governing equations of ideal magnetohydrodynamics (MHD). The Riemann solver has an eightwave structure, where seven of the waves are those used in previous work on upwind schemes for MHD, and the eighth wave is related to the divergence of the magn ..."
Abstract

Cited by 64 (9 self)
 Add to MetaCart
An approximate Riemann solver is developed for the governing equations of ideal magnetohydrodynamics (MHD). The Riemann solver has an eightwave structure, where seven of the waves are those used in previous work on upwind schemes for MHD, and the eighth wave is related to the divergence
Symbols
"... Microgravity conditions pose unique challenges for fluid handling and heat transfer applications. By controlling (curtailing or augmenting) the buoyant and thermocapillary convection, the latter being the dominant convective flow in a microgravity environment, significant advantages can be achieved ..."
Abstract
 Add to MetaCart
temperature gradient. To capture the deformable interface, a numerical method to solve the NavierSokes equations, Heat equations and Maxwell’s equations was developed using a hybrid Level Set / VolumeofFluid technique. The convective velocities and heat fluxes were studied under various regimes
Linking a Symbolic Solver to AMPL
"... symopt, a package of the computer algebra system reduce, is a symbolic solver for parametric mathematical programming. In order to make symopt applicable for interested people not familiar with reduce we implemented an interface to ampl  an algebraic modeling language for mathematical programm ..."
Abstract
 Add to MetaCart
symopt, a package of the computer algebra system reduce, is a symbolic solver for parametric mathematical programming. In order to make symopt applicable for interested people not familiar with reduce we implemented an interface to ampl  an algebraic modeling language for mathematical
Symbols
, 1996
"... Printed copies available from the following: The use of trademarks or names of manufacturers in this report is for accurate reporting and does not constitute an official endorsement, either expressed or implied, of such products or manufacturers by the ..."
Abstract
 Add to MetaCart
Printed copies available from the following: The use of trademarks or names of manufacturers in this report is for accurate reporting and does not constitute an official endorsement, either expressed or implied, of such products or manufacturers by the
The Relaxation Schemes for Systems of Conservation Laws in Arbitrary Space Dimensions
 Comm. Pure Appl. Math
, 1995
"... We present a class of numerical schemes (called the relaxation schemes) for systems of conservation laws in several space dimensions. The idea is to use a local relaxation approximation. We construct a linear hyperbolic system with a stiff lower order term that approximates the original system with ..."
Abstract

Cited by 250 (21 self)
 Add to MetaCart
with a small dissipative correction. The new system can be solved by underresolved stable numerical discretizations without using either Riemann solvers spatially or a nonlinear system of algebraic equations solver temporally. Numerical results for 1D and 2D problems are presented. The second order
Results 1  10
of
444,262