Solid and physical modeling with chain complexes

Proceedings - SPM 2007: ACM Symposium on Solid and Physical Modeling

Volumn , Issue , 2007, Pages 73-84

  Dicarlo, Antonio ^a   Milicchio, Franco ^a   Paoluzzi, Alberto ^a   Shapiro, Vadim ^b  

^a ROMA TRE UNIVERSITY   (Italy)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Computational mesh; Finite methods; Hasse matrix; Split algorithm; Topology representation

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER GRAPHICS; COMPUTER SIMULATION; DATA STRUCTURES; LINEAR ALGEBRA; MESH GENERATION;

COMPUTATIONAL MESH; FINITE METHODS; SPLIT ALGORITHM; TOPOLOGY REPRESENTATION;

COMPUTER SCIENCE;

EID: 35348909589     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1236246.1236259     Document Type: Conference Paper

References (42)

1. ALEXANDROFF, P. S. 1998. Combinatorial Topology. Dover, New York.
2. ARNOLD, D., FALK, R., AND WINTHER, R. 2006. Finite element exterior calculus, homological techniques, and applications. Acta Numerica 15, 1-155.
3. BAEZ, J. 2003. Euler characteristic versus homotopy cardinality. Lecture at the Program on Applied Homotopy Theory, Fields Institute, Toronto, September.
4. BAJAJ, C L., AND PASCUCCI, V. 1996. Splitting a complex of convex polytopes in any dimension. In SCG '96: Proceedings of the twelfth annual symposium on Computational geometry, ACM Press, Philadelphia, PA, 88-97.
5. BAUMGART, B. G. 1972. Winged-Edge Polyhedron Representation. Tech. Rep. Stan-CS-320, Artificial Intelligence Laboratory, Stanford University, CA.
6. BAUMGART, B. G. 1975. Winged-edge polyhedron representation for computer vision. In National Computer Conference.
7. BOSSAVIT, A. 1988. Whitney forms: a class of finite elements for three-dimensionalcomputations in electromagnetism. Science, Measurement and Technology, IEE Proceedings A 135, 8, 493-500.
8. BOTT, R., AND TU, L. 1995. Differential Forms in Algebraic Topology. Springer.
9. BRANIN, F. H. 1966. The algebraic-topological basis for network analogies and the vector calculus. In Proceeding of the Symposium on Generalized Networks, vol. 16, Polytechnic Institute of Brooklyn, 453-491.
10. BRISSON, E. 1993. Representing geometric structures ind dimensions: Topology and order. Discrete and Computational Geometry 9, 1, 387-426.
11. CHARD, J. A., AND SHAPIRO, V. 2000. A multivector data structure for differential forms and equations. IMACS Transactions Journal, Mathematics and Computer in Simulation 54,1, 33-64.
12. DAVIS, T. A. 2006. Direct methods for sparse linear systems. In Fundamentals of Algorithms. Siam.
13. EASTMAN, C., AND WEILER, K. 1979. Geometric Modeling Using the Elder Operators. Institute of Physical Planning, Carnegie-Mellon University.
14. GUIBAS, L., AND STOLFI, J. 1985. Primitives for the manipulation of general subdivisions and the computation of Voronoi. ACM Transactions on Graphics (TOG) 4, 2, 74-123.
15. HATCHER, A. 2002. Algebraic topology. Cambridge University Press.
16. HOFFMANN, C 1989. Geometric and solid modeling: an introduction. Morgan Kaufmann Publishers Inc. San Francisco, CA, USA.
17. HYMAN, J., AND SHASHKOV, M. 1997. Natural discretizations for the divergence, gradient and curl on logically rectangular grids. International Journal of Computers and Mathematics with Applications 33, 4, 81-104.
18. MÄNTYLÄ, M. 1988. Introduction to Solid Modeling. WH Freeman & Co. New York, NY, USA.
19. MASUDA, H. 1993. Topological operators and Boolean operations for complex-based nonmanifold geometric models. Computer Aided Design 25, 2, 119-29.
20. MATTIUSSI, C. 1997. An analysis of finite volume, finite element, and finite difference methods using some concepts from algebraic topology. Journal of Computational Physics 133, 289-309.
21. MILICCHIO, F., DICARLO, A., PAOLUZZI, A., AND SHAPIRO, V. 2006. A codimension-zero approach to discretizing and solving field problems. Advanced Engineering Informatics. Submitted for publication.
22. MILICCHIO, F. 2007. Towards topological unification of finite computational methods. PhD thesis, Dept. "Informatica e Automazione", University "Roma Tre". In preparation.
23. MUNKRES, J. R. 1984. Elements Of Algebraic Topology. Addison Wesley, Reading MA.
24. NAKAHARA, M. 1990. Geometry, topology and physics. Institute of Physics Publishing.
25. O'CONNOR, M. A., AND ROSSIGNAC, J. R. 1990. SGC: A dimension independent model for pointsets with internal structures and incomplete boundaries. In IFIP/NSF Workshop on Geometric Modeling, Rensselaerville, NY, 1988, North-Holland.
26. PALMER, R., AND SHAPIRO, V. 1993. Chain models of physical behavior for engineering analysis and design. Research in Engineering Design 5, 3, 161-184.
27. PAOLUZZI, A., PASCUCCI, V, AND VICENTINO, M. 1995. Geometric programming: a programming approach to geometric design. ACM Trans. Graph. 14, 3, 266-306.
28. PAOLUZZI, A., PASCUCCI, V, AND SCORZELLI, G. 2004. Progressive dimension-independent boolean operations. In Proceedings of the 9th ACM Symposium on Solid Modeling and Applications, G. Elber, N. Patrikalakis, and P. Brunet, Eds., ACM, 203-212.
29. PAOLUZZI, A., PASCUCCI, V., AND SCORZELLI, G. 2004. Progressive dimension-independent Boolean operations. In ACM Symposium on Solid Modeling and Applications, Eurographics, Proc. of Int. Convention on Shapes and Solids, Genova.
30. RAMASWAMY, V., AND SHAPIRO, V. 2004. Combinatorial laws for physically meaningful design. Journal of Computing and Information Science in Engineering 4, 3, 3-10.
31. REQUICHA, A. 1977. Mathematical models of rigid solid objects. Technical Memo 28, Production Automation Project, University of Rochester, Rochester, NY, November.
32. REQUICHA, A. 1980. Representations for rigid solids: Theory, methods, and systems. Computing Surveys 12, 4, 437-464.
33. ROTH, J. P. 1955. An application of algebraic topology to numerical analysis: On the existence of a solution to the network problem. Proc. Nat. Acad. Sci 41, 518-521.
34. SCORZELLI, G., PAOLUZZI, A., AND PASCUCCI, V. 2006. Parallel solid modeling using BSP dataflow. Journal of Computational Geometry and Applications 16. Accepted for publication.
35. SILVA, C. 1981. Alternative definitions of faces in boundary representatives of solid objects. Tech. rep., Production Automation Project, University of Rochester.
36. SKIENA, S. 1990. Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Addison-Wesley, Reading, MA.
37. STRANG, G. 1988. A framework for equilibrium equations. SIAM Review, 30, 283-297.
38. TONTI, E. 1975. On the formal structure of physical theories. Tech. rep., Istituto di Matematica del Politecnico di Milano.
39. TONTI, E. 2001. A direct discrete formulation of field laws: The cell method. Computer Modeling in Engineering & Sciences 2, 2, 237-258.
40. WHITNEY, H. 1957. Geometric integration theory. Princeton University Press Princeton.
41. WOO, T. 1985. Combinatorial analysis of boundary data structure schemata. IEEE Computer Graphics and Applications 5, 3, 19-27.
42. YAMAGUCHI, Y., AND KIMURA, F. 1995. Nonmanifold topology based on coupling entities. Computer Graphics and Applications, IEEE 15, 1, 42-50.