A General Formal Method for Manifold Coverage Analysis of Satellite Constellations

This article studies the problem of analyzing the coverage capacity of satellite constellations with respect to ground regions. The coverage characteristics and formulations are first investigated, and a corresponding symbol system is established. On this basis, the coverage state function and the c...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on aerospace and electronic systems Ročník 58; číslo 2; s. 1462 - 1479
Hlavní autoři: Chen, Xiaoyu, Song, Zhiming, Dai, Guangming, Wang, Maocai, Ortore, Emiliano, Circi, Christian
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.04.2022
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
Algorithms
Boundary coverage function
coverage analysis
Earth
Earth observation
Formal method
Interpolation
Mathematical analysis
Orbits
parameter wildcard character (PWC)
satellite
Satellite constellations
Satellites
Strips
Upper bound
ISSN:0018-9251, 1557-9603
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This article studies the problem of analyzing the coverage capacity of satellite constellations with respect to ground regions. The coverage characteristics and formulations are first investigated, and a corresponding symbol system is established. On this basis, the coverage state function and the corresponding extension and intermediate modes for basic coverage analysis problems are defined. By introducing the parameter wildcard characters, the properties of three basic spatial and temporal factors are described. An integrated coverage theory system is constructed accordingly to formalize the general coverage analysis problems in a uniform way, which is versatile and works on representing any type of coverage analysis problems. Additionally, in accordance with the properties of the coverage theory, a boundary function is proposed. The corresponding algorithm framework is also constructed for the calculation of complicated practical coverage analysis problems. Experiments simulating different types of coverage analysis problems are carried out, and results reveal the correctness and the effectiveness of the proposed coverage theory system and algorithm framework.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0018-9251
1557-9603
DOI:10.1109/TAES.2021.3123236