A software framework for abstract expression of coordinate-free linear algebra and optimization algorithms

ACM Transactions on Mathematical Software

Volumn 36, Issue 2, 2009, Pages

  Padula, Anthony D ^a,b   Scott, Shannon D ^a,c   Symes, William W ^a,d  

^a RICE UNIVERSITY   (United States)

^b NORTHROP GRUMMAN CORPORATION   (United States)

^c 3M Imtec   (United States)

^d Rice University   (United States)

Author keywords

Abstract numerical algorithms; Complex simulation; Numerical optimization

Indexed keywords

ABSTRACT NUMERICAL ALGORITHMS; COMPLEX SIMULATION; DATA CONTAINER; ESTIMATION APPLICATIONS; FUNCTION OBJECTS; KRYLOV SUBSPACE METHOD; NEWTON'S METHODS; NUMERICAL OPTIMIZATION; OPTIMIZATION ALGORITHMS; PARALLEL-COMPUTING ENVIRONMENT; SOFTWARE FRAMEWORKS; STANDARDIZED INTERFACES; UNCONSTRAINED OPTIMIZATION;

ABSTRACTING; ALGEBRA; ALGORITHMS; LARGE SCALE SYSTEMS; NEWTON-RAPHSON METHOD; NONLINEAR EQUATIONS; PARALLEL ARCHITECTURES; PARALLEL PROCESSING SYSTEMS; PARAMETER ESTIMATION;

CONSTRAINED OPTIMIZATION;

EID: 65849391522     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/1499096.1499097     Document Type: Article

References (39)

1. ANDERSON, E., BAI, Z., BISCHOF, C., DEMMEL, J., DONGARRA, J., CROZ, J. D., GREENBAUM, A., HAMMARLING, S., MCKENNEY, A., OSTROUCHOV, S., AND SORENSEN, D. 1992. LAPACK Users' Guide. Society for Industrial and Applied Mathematics, Philadelphia, PA.
2. BARRY, K., CAVERS, D., AND KNEALE, C. 1980. SEG-Y-recommended standards for digital tape formats. In Digital Tape Standards. Society of Exploration Geophysicists, Tulsa, OK.
3. BARTLETT, R. A. 2003. MOOCHO: Multifunctional object-oriented architecture for optimization, user's guide. Tech. rep. Sandia National Laboratory, Albuquerque, NM.
4. BARTLETT, R. A., VAN BLOEMEN WAANDERS, B. G., AND HEROUX, M. A. 2004. Vector reduction/transformation operators. ACM Trans. Math. Softw. 30, 1 (Mar.), 62-85.
5. BENSON, S., MCINNES, L. C., AND MORÉ, J. 2000. TAO: Toolkit for advanced optimization. Tech. rep. Argonne National Laboratory, Argonne, IL. www-fp.mcs.anl.gov/tao/.
6. COHEN, J. K. AND STOCKWELL, J. J. W. 2004. CWP/SU: Seismic Unix release no.37: A free Package for Seismic Research and Processing. Center for Wave Phenomena, Colorado School of Mines, Golden, CO.
7. DENG, L., GOUVEIA, W., AND SCALES, J. 1996. The CWP object-oriented optimization library. Lead. Edge 15, 5, 365-369. (Pubitemid 126653807)
8. DONGARRA, J., LUMSDAINE, R., POZO, R., AND REMINGTON, K. 2004. IML++ home page. math.nist. gov/iml++.
9. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.
10. GOCKENBACH, M. S., PETRO, M. J., AND SYMES, W. W. 1999. C++ classes for linking optimization with complex simulations. ACM Trans. Math. Softw. 25, 191-212. (Pubitemid 129533737)
11. HEROUX, M. A. 2003. Epetra home page. http://software.sandia.gov/ trilinos/packages/epetra/.
12. HEROUX, M. A. 2004. AztecOO User Guide. Sandia National Laboratories, Albuquerque, NM.
13. HEROUX, M. A., BARTH, T., DAY, D., HOEKSTRA, R., LEHOUCQ, R., LONG, K., PAWLOWSKI, R., TUMINARO, R., ANDWILLIAMS, A. 2003. Trilinos: Object-oriented, high-performance parallel solver ligraries for the solution of large-scale complex multi-physics engineering and scientific applications. Tech. rep. Sandia National Laboratories, Albuquerque, NM.
14. HOFFMAN, K. AND KUNZE, R. 1961. Linear Algebra. Prentice-Hall, Englewood Cliffs, NJ.
15. ISIS DEVELOPMENT TEAM. 1997. ISIS++: Iterative scalable implicit solver (in C++). Tech. rep. Sandia National Laboratories, Albuquerque, NM. z.ca.sandia.gov/isis/.
16. KARMESIN, S. 2000. POOMA: Parallel object oriented methods and applications. Tech. rep., Los Alamos National Laboratory, Los Alamitos, NM. www.acl.lanl.gov/pooma/.
17. KNABNER, P. AND ANGERMANN, L. 2003. Numerical Methods for Partial Differential Equations. Texts in Applied Mathematics, Vol. 44. Springer-Verlag, Berlin, Heidelberg, Germany/New York, NY.
18. KOLDA, T. AND PAWLOWSKI, R. 2003. NOX: An object-oriented, nonlinear solver package. Tech. rep. Sandia National Laboratories, Livermore, CA.
19. LANGTANGEN, H. P. 1999. Computational Partial Differential Equations: Numerical Methods and Diffpack Programming. Springer-Velag, New York, NY, Berlin, Heidelberg, Germany.
20. LI, J. AND SYMES, W. 2007. Interval velocity estimation via NMO-based differential semblance. Geophys. 72, U75-U88. (Pubitemid 350104343)
21. MARTIN, R. C. 2002. Agile Software Development, Principles, Patterns, and Practices. Prentice Hall, Englewood Cliffs, NJ.
22. MARTIN, R. C., RIEHLE, D., AND BUSCHMANN, F. 1998. Pattern Languages of Program Design 3. Addison-Wesley, Reading, MA.
23. MEZA, J. 1994. OPT++: An object-oriented class library for nonlinear optimization. Technical rep. 94-8225. Sandia National Laboratories, Livermore, CA.
24. MYERS, N. C. 1995. Traits: A new and useful template technique. C++ report. http://www. cantrip.org/traits.html.
25. NICHOLS, D., DUNBAR, G., AND CLAERBOUT, J. 1992. The C++ language in physical science. Tech. rep. SEP-75. Stanford Exploration Project, Department of Geophysics, Stanford University, Stanford, CA.
26. NOCEDAL, J. AND WRIGHT, S. 1999. Numerical Optimization. Springer Verlag, New York, NY.
27. PADULA, A. D. 2005. Software design for simulation-driven optimization. Tech. rep. 05-11. Department of Computational and Applied Mathematics, Rice University, Houston, TX.
28. POZO, R. 2004. Template numerical toolkit: Home page. math.nist.gov/tnt.
29. QUATERONI, A. AND VALLI, A. 1994. Numerical Approximation of Partial Differential Equations. Springer, Berlin, Heidelberg, New York.
30. RIDZAL, D. 2006. Trust region SQP methods with inexact linear system solves for large-scale optimization. Ph.D. dissertation. Rice University, Houston, TX.
31. SYMES, W. 1986. Stability and instability results for inverse problems in several-dimensional wave propagation. In Proceedings of the 7th International Conference on Computing Methods in Applied Science and Engineering, R. Glowinski and J. Lions, Eds. North-Holland, New York, NY.
32. SYMES, W. W. 1998. High frequency asymptotics, differential semblance, and velocity analysis. In Expanded Abstracts. Society of Exploration Geophysicists, Tulsa, OK, 1616-1619.
33. SYMES, W. W. AND PADULA, A. D. 2005. Rice vector library home page. http://www.trip.caam. rice.edu/txt/tripinfo/rvl.html.
34. SYMES, W. W., PADULA, A. D., AND SCOTT, S. D. 2005. A software framework for the abstract expression of coordinate-free linear algebra and optimization algorithms. Tech. rep. 05-12. Department of Computational and Applied Mathematics, Rice University, Houston, TX.
35. TECH-X. 2001. OptSolve++. Tech. rep. Tech-X Corporation, Boulder, CO. www.techxhome.com/products/optsolve/index.html.
36. TISDALE, E. R. 1999. The C++ scalar, vector, matrix, and tensor class library standard page. www.netwood.net/edwin/svmt/.
37. TUMINARO, R., HEROUX, M., HUTCHINSON, S. A., AND SHADID, J. 1999. Official Aztec User's Guide: Version 2.1. Sandia National Laboratories, Albuquerque, NM.
38. VELDHUIZEN, T. L. 1999. Blitz++ home page. www.oonumerics.org/blitz.
39. YILMAZ, O. 2001. Seismic data processing. In Investigations in Geophysics No. 10. Society of xploration Geophysicists, Tulsa, OK.