Generalizing interval matrix operations for design

Journal of Mechanical Design, Transactions of the ASME

Volumn 119, Issue 1, 1997, Pages 65-72

  Chen, R ^a   Ward, A C ^b  

^a NATIONAL TSING HUA UNIVERSITY   (Taiwan)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CONSTRAINT THEORY; INVERSE PROBLEMS; MATHEMATICAL TECHNIQUES; MATRIX ALGEBRA; VECTORS;

DOMAIN OPERATION; INTERVAL MATRIX ARITHMETIC; LABELED INTERVAL CALCULUS; MATRIX CONSTRAINT EQUATION; RANGE OPERATION;

MACHINE DESIGN;

EID: 0031098319     PISSN: 10500472     EISSN: None     Source Type: Journal    
DOI: 10.1115/1.2828790     Document Type: Article

References (26)

1. Alefeld, G., and Herzberger, J., 1983, “Introduction to Interval Computation.” Academic Press.
2. Alefeld, G., 1989, “Interval Arithmetic Tools and the Precise. Scalar Products in Numerical Analysis,” Trans, of the Society for Computer Simulation, Vol. 6, No. 3, pp. 189-209.
3. Bains, N. S., Boetmer, D., and Ward, A., 1991, “End Point Non-monotonicity in Labeled Interval Calculus Operations,” Proceedings of the ASME Design Theory and Methodology Conference, pp. 265-270.
4. Chen, R., 1992, “Generalizing Interval Matrix Operations for Design: Fusing The Labeled Interval Calculus and Interval Matrix Arithmetic,” Ph.D., Thesis, the University of Michigan.
5. Chen, R., and Ward, A. C, 1992. “Introduction to Interval Matrices in Design,” Proceedings of ¡he ASME Design Theory and Methodology Conference, pp. 221-227.
6. Davis, E., 1987, “Constraint Propagation with Interval Labels,” Artificial Intelligence, 32, pp. 281-331.
7. Deif, A., 1986, Sensitivity Analysis in Unear System, Springer-Verlag.
8. Habib, W., and A. C. Ward, 1990, “Proving the Labeled Interval Calculus for Inferences on Catalogs,” Proceedings of the 1990 ASME Design Theory and Methodology Conference, pp. 63-68.
9. Habib, W., and Ward, A.C., 1991, “In pursuit of a Design Mathematics: Generalizing the Labeled Interval Calculus,” Proceedings of the 1991 ASME Design Theory and Methodology Conference, pp. 279-284.
10. Hansen, E., 1965, “Interval Arithmetic in Matrix Computations, Part I,” SIAM J. on Numerical Analysis, Vol. 2, No. 2, pp. 308-320.
11. Hansen, E., 1969, “On the Solution of Linear Algebraic Equations with Interval Coefficients,” Linear Algebra Appl. 2, 153-165.
12. Herzberger, J., 1989, “On the Convergence of an Interval Method for Bounding the Inverses of a Interval Matrix,” Computing, 41, pp. 153-162.
13. Lin, B.T., and Ward, A. C., 1992, “Introduction to Design Inferences over Sets of Intervals,” Proceedings of the ASME Design Theory and Methodology Conference, pp. 187-192.
14. Ly, TEA., and E. F. Girczyc, 1988, “Constraint Propagation in an Object-Oriented IC Design Environment,” 25th ACM/IEEE Design Automation Conference, pp. 628-633.
15. Moore, R. E., 1966. Interval Analysis, Prentice-Hall.
16. Neumaier, A., 1985, “Linear Interval Equations,” Interval Mathematics, Proceedings of the International Symposium, Freiburg i., Br., Germany, Sept. 1985, pp. 107-120.
17. Neumaier, A., 1990, Internal Methods for Systems of Equations, Cambridge University Press.
18. Oettli, W., 1965, “On the Solution Set of A Linear Systems with Inaccurate Coefficients,” SIAM J. on Numerical Analysis, Vol. 2, No. 1, pp. 115-118.
19. Oettli, W., and Prager, W., 1964, “Compatibility of Approximate Solution of Linear Equations with Given Error Bounds for Coefficients and Right-Hand Sides,” Math., 6, pp. 405-409.
20. Rinderle, J. R., and Krishnan, V., 1990, “Constraint Reasoning in Concurrent Design,” Proceedings of the 1990 ASME Design Theory and Methodology Conference, pp. 53-62.
21. Rohn, J., 1985, “Inner Solutions of Linear Interval System,” Interval Mathematics, Proceedings of the International Symposium, Freiburg i., Br., Germany, Sept., pp. 157-158.
22. Rohn, J., 1989, Systems of Linear Interval Equations, Linear Algebra Appl. 126:39-78.
23. Sarnia, E. Sanjay, and Rinderle, J. R., 1991, “Quiescence in Internal Propagation.” Proceedings of the ASME Design Theory and Methodology Conference, pp. 257-263.
24. Ward, A. C., and Seering, W., 1989, “Quantitative Inference in a Mechanical Design Compiler,” Proceedings of the First International ASME Conference on Design Theory and Methodology, Montreal, Canada, pp. 89-97.
25. Ward, A. C., Lozano-Perze, T., and Seering, W., 1990a, “Extending the Constraint Propagation to Interval,” AI EDAM, Vol. 4, No. I, pp. 47-54.
26. Ward, A. C., 1992, “Language-based Approaches to Product/Process Design at the University of Michigan,” the International Journal of System Automation.