Sheaf Theory Approach to Distributed Applications: Analysing Heterogeneous Data in Air Traffic Monitoring
International Journal of Data Science and Analysis
Volume 3, Issue 5, October 2017, Pages: 34-39
Received: Sep. 6, 2017;
Accepted: Sep. 23, 2017;
Published: Oct. 23, 2017
Views 1507 Downloads 64
Seyed Mansourbeigi, Department of Computer Science, College of Engineering, Utah State University, Logan, USA
The goal of the present article is to demonstrate a mathematical modeling for distributed applications. The present paper applies tools from topology and sheaf theory as an appropriate mathematical modeling to reflect interactions among elements of distributed applications resources. Sensors are characterized from their topological representations in distributed network system. This modeling is applied for the study of the air traffic monitoring system and discuss the model in detail.
Sheaf Theory Approach to Distributed Applications: Analysing Heterogeneous Data in Air Traffic Monitoring, International Journal of Data Science and Analysis.
Vol. 3, No. 5,
2017, pp. 34-39.
Copyright © 2017 Authors retain the copyright of this article.
This article is an open access article distributed under the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/
) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
M. Robinson, C. Joslyn, E. Hogan, and C. Capraro, “Conglomeration of Heterogeneous Content using Local Topology,” American University, Mar. 2015.
M. Robinson, “Sheaves are the canonical data structure for sensor integration,” Inf. Fusion, vol. 36, pp. 208–224, Jul. 2017.
L. Monteiro and F. Pereira, “A sheaf-theoretic model of concurrency,” in Proceeding of Logic in Computer Science, 1986, pp. 66–76.
Ehrich H. D., Goguen J. A., Sernadas A., “A categorial theory of objects as observed processes | SpringerLink.” [Online]. Available: https://link.springer.com/chapter/10.1007/BFb0019445. [Accessed: 03-Sep-2017].
J. A. Goguen, “Sheaf Semantics for Concurrent Interacting Objects,” in Mathematical Structures in Computer Science, 1992, pp. 159–191.
G. L. Cattani and G. Winskel, “Presheaf models for concurrency,” in Computer Science Logic, 1996, pp. 58–75.
Cırstea, C, “A distributed semantics for FOOPS,” University of Oxford, Technical Report PRG-TR-20-95, 1995.
G. Malcolm, “Component-Based Specification of Distributed Systems,” Electron. Notes Theor. Comput. Sci., vol. 160, pp. 211–224, Aug. 2006.
G. Malcolm, “Sheaves, Objects, and Distributed Systems,” Electron. Notes Theor. Comput. Sci., vol. 225, pp. 3–19, Jan. 2009.
Nicholas A. Scoville and Karthik Yegnesh, “Cosheaf Theoretical Constructions in Networks and Persistent Homology,” International Mathematics Research Notices, 2009.
J. M. Curry, “Dualities between cellular sheaves and cosheaves,” J. Pure Appl. Algebra, Jun. 2017.