Abstract
Formal description is an abstract mathematical description based on the mathematical model, and it is a theory foundation of three-dimensional (3D) modeling and system development. The semi-tunnel is component which constructs 3D tunnel model as research object, using Object-oriented approach and the collection operation for specific ways, by analyzing the construction elements of semi-tunnel, all modeling elements of semi-tunnel are strictly defined and made formal description by utilizing the theory of topology. Then, based on the formal description of modeling elements, the formal description of semi-tunnel is expressed, it is easier to design and program the semi-tunnel. According to the formal description of semi-tunnel, it also simplifies the construction of 3D tunnel network model, and facilitates the spatial analysis and query.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wang, L.P., Pan, Y.H., Qiu, F.Y.: Formal Description of the Topological Spatial Relationship in GIS. J. of Zhejiang Univ. of Tech. 27, 168–172 (1999)
Deng, N.D., Hou, E.K., Zhang, Z.H.: Formal description and the3-D modeling topological relationships. J·Xi’an Univ. of Arch. & Tech(Natural Science Edition) 39, 873–877 (2007)
Zhang, S.J., Li, Y.S.: Formal Model Describing Topological Relations Between Spatial Linear Objects in GIS. J. of Geomatics Science and Technology 26, 292–295 (2009)
Deng, M., Liu, W.B., Feng, X.Z.: A Generic Model Describing Topological Relations among Area Objects in GIS. Acta Geodaetica et Cartographica Sinica 34, 85–90 (2005)
Yan, H.W., Guo, R.Z.: On Fundamental Problems of Directional Relationships. Acta Geodaetica et Cartographica Sinica 32, 42–46 (2003)
Yan, H.W., Guo, R.Z.: Research on Formal Description of Directional Relation Based on Voronoi Diagram (I). Science of Surveying and Mapping 27, 24–27 (2002)
Yan, H.W., Guo, R.Z.: Research on Formal Description of Directional Relation Based on Voronoi Diagram (II). Science of Surveying and Mapping 27, 4–7 (2002)
Egenhofer, M., Franzosa, R.: Point-set topological spatial relations. International Journal of Geographical Information Systems 5, 161–174 (1991)
Egenhofer, M.: Reasoning about Binary Topological Relations. In: Proceedings of the 2nd International Symposium on Advances in Spatial Databases, pp. 143–160. Zurich, Swiss (1991)
Egenhofer, M., Franzosa, R.: On the Equivalence of Topological Relations. International Journal of Geographic Information Systems 9, 133–152 (1995)
Deng, N.D., Hou, E.K.: Rectification and Formal Description of 3D OO-solid Model. Geomatics and Information Science of Wuhan University 34, 52–56 (2009)
Zhang, Z.H.: Research on Method of 3D Tunnel Network Modeling and Path Analysis. Ph.D, Xian University of Science and Technology, Xi’an (2010)
Shi, W.Z., Wu, L.X., Li, Q.Q., et al.: Model and Algorism of Three-dimensional Spatial Information System. Electronics Industry Press, Beijing (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hou, E., Zhang, Z., Luo, X. (2011). Formal Description of 3D Semi-tunnel Component. In: Lee, G. (eds) Advances in Automation and Robotics, Vol.1. Lecture Notes in Electrical Engineering, vol 122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25553-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-25553-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25552-6
Online ISBN: 978-3-642-25553-3
eBook Packages: EngineeringEngineering (R0)