National Institute of Standards and Technology, Gaithersburg, MD 20899-0001 The limits to the error due to truncation of the numeric integration of the one-sided Laplace transform of a relaxation function in the time domain into its equivalent frequency domain are established. Separate results are given for large and small v . These results show that, for a given v , only a restricted range of ...

Scientific repositories found in institutions and organizations consist of data and programs. Data consists principally of numeric data, images, and text documents. Programs consist principally of software methods for visualizing and processing data and simulators of natural processes. Data represents both measured physical behavior and the results of simulations. The integration and visualizat...

Recent works on constraint relaxation [Jussien, 1997; Jussien and Boizumault, 1997b] provided the decorum system (Deduction-based Constraint Relaxation Management). That system can be seen as an integration of arc-consistency within the dynamic backtracking algorithm [Ginsberg, 1993]. Dynamic backtracking replaces the backtracking process by a much less blind behavior that consists in local mod...

The integration of computation into the introductory calculus-based physics course can potentially provide significant support for the development of conceptual understanding. Computation can support three-dimensional visualizations of abstract quantities, offer opportunities to construct symbolic rather than numeric solutions to problems, and provide experience with the use of vectors as coord...

This paper proposes a new plant/controller design integration framework that seeks the optimal pair of the plant and the controller achieving the best possible closed-loop performance in H2 control. The framework is further equipped with a symbolic-numeric hybrid optimization approach to effectively search the optimum. The first step of the suggested approach relies on an algebraic approach to ...

This paper presents a new method for solving di erential algebraic equation systems using a mixed symbolic and numeric approach Discretization formu lae representing the numerical integration algorithm are symbolically inserted into the di erential algebraic equation model The symbolic formulae manipulation algorithm of the model translator treats these additio nal equations in the same way as ...