🔢 mathematics

A Spherical Stochastic Geometry Framework for Patrol-Based HAPs Network: Coverage and Energy Efficiency Analysis

Dit artikel stelt een sferisch stochastisch geometrisch kader voor met behulp van twee Cox-procesmodellen om de dekkingswaarschijnlijkheid en energie-efficiëntie van hooggelegen platformstationnetwerken met cyclische patrouillebanen te analyseren, waarbij uiteindelijk een analytische voorwaarde wordt afgeleid voor de energie-optimale patrouilleradius die de communicatieprestaties afweegt tegen de voortstuwingskosten.

Oorspronkelijke auteurs: Mohammad Taha Shah, Mohamed-Slim Alouini

Gepubliceerd 2026-06-05

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Mohammad Taha Shah, Mohamed-Slim Alouini

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat de lucht boven onze steden en oceanen binnenkort erg druk wordt. In plaats van alleen satellieten die hoog boven ons doorvliegen of zendmasten die vaststaan op de grond, introduceren we High-Altitude Platform Stations (HAPS). Denk aan deze als gigantische, door zonenergie aangedreven "vliegende zendmasten" die boven de stratosfeer (ongeveer 12 tot 30 mijl hoog) zweven.

In tegen Druat van satellieten die in vaste, lange lussen rond de aarde vliegen, of zendmasten die nooit bewegen, hebben deze HAP's een unieke taak: ze patrouilleren. Ze vliegen in kleine, cirkelvormige patronen boven specifieke buurten of eilanden, waarbij ze constant rondjes vliegen om internet- en communicatiediensten te leveren.

Dit artikel is een wiskundige gids voor het ontwerpen van een netwerk van deze patrouillerende stations. De auteurs, Mohammad Taha Shah en Mohamed-Slim Alouini, hebben een nieuwe manier ontwikkeld om te voorspellen hoe goed dit netwerk zal werken en hoeveel energie het zal verbruiken.

Hier is de uitleg van hun werk met behulp van eenvoudige analogieën:

1. De twee manieren om de patrouilles te organiseren

Het artikel stelt twee verschillende "regels" voor voor hoe deze vliegende stations zijn gerangschikt. Stel je voor dat je een beveiligingsteam organiseert dat een park patrouilleert.

Model A: De "Menigte"-benadering (SCR-PCP)
Stel je een park voor waar beveiligers worden toegewezen aan looproutes, maar het aantal beveiligers op elke route verandert willekeurig. Soms zijn er 2 beveiligers, soms 5, soms 0, afhankelijk van wie beschikbaar is of hoe druk het in het park is.
- In het artikel: Dit is de Poisson Cox Process. Het aantal HAP's op een gegeven patrouillering is willekeurig en fluctueert. Dit modelleert een flexibel, dynamisch netwerk waarbij de omvang van de vloot verandert op basis van de vraag of onderhoud.
Model B: De "Vaste Ploeg"-benadering (SCR-BCP)
Stel je nu een ander park voor waar een strikte regel geldt voor elke patrouilleroute: er moeten precies 3 beveiligers op die route zijn, niet meer en niet minder. Ze zijn gelijkmatig verspreid.
- In het artikel: Dit is de Binomial Cox Process. Elke patrouillering heeft een vast aantal HAP's ( $n_H$ ). Dit modelleert een zorgvuldig gepland, "technisch ontworpen" vloot waarbij je precies weet hoeveel vliegtuigen er op elk moment in de lucht zijn.

2. De uitdaging: De aarde is rond

De meeste wiskundige modellen voor netwerken gaan ervan uit dat de wereld plat is (zoals een vel papier). Maar de aarde is een bol.

De analogie: Als je een cirkel op een platte tafel tekent, is dat eenvoudig. Als je een cirkel op een basketbal tekent, wordt de geometrie ingewikkeld. Het artikel houdt erop aan om de wiskunde op een bol uit te voeren, omdat bij grote hoogtes de kromming van de aarde ertoe doet. Het negeren hiervan zou zijn alsof je een schip navigeert met een platte kaart van een ronde oceaan — dat leidt tot fouten.

3. Het "Verkeersopstopping"-probleem (Interferentie)

Wanneer er veel HAP's vliegen, zenden ze allemaal radiosignalen uit. Als twee HAP's te dicht bij elkaar zijn of te luid zijn, botsen hun signalen op elkaar, wat "ruis" (interferentie) creëert die de internetverbinding verstoort.

Inzicht uit het artikel:
- In het "Menigte"-model is de interferentie onvoorspelbaar. Je hebt misschien geluk met geen buren, of pech met een verkeersopstopping.
- In het "Vaste Ploeg"-model is de interferentie voorspelbaar maar constant. Als je 10 vliegtuigen op een ring hebt, heb je altijd 9 buren die interfereren met je signaal. Het artikel stelde vast dat in dit vaste model het toevoegen van meer vliegtuigen aan dezelfde ring de prestaties aanzienlijk verslechtert, omdat ze allemaal in dezelfde kleine cirkel vastzitten.

4. De "Brandstof vs. Snelheid"-afweging (Energie-efficiëntie)

Dit is het meest praktische deel van het artikel. Vliegen in een cirkel is hard werk voor een vliegtuig.

De analogie: Denk aan een auto die een scherpe bocht neemt. Hoe scherper de bocht, hoe meer je moet hellen (banken) en hoe meer brandstof je verbruikt om op het pad te blijven.
- Kleine patrouillering-ring: De HAP moet scherp draaien. Hij verbruikt veel energie (hoge voortstuwingskosten), maar blijft dicht bij de mensen die hij bedient (goed signaal).
- Grote patrouillering-ring: De HAP draait geleidelijk. Hij bespaart energie, maar hij kan verder weg vliegen van de mensen die hij bedient (zwakker signaal).

De auteurs creëerden een metriek genaamd Coverage Energy Efficiency (CEE). Ze vroegen zich af: "Wat is de perfecte grootte voor de patrouilleringscirkel?"

Het antwoord: Dat hangt af van hoe snel het vliegtuig vliegt en hoeveel andere vliegtuigen er rond zijn.
- Als het vliegtuig snel vliegt, heeft het een bredere cirkel nodig om te voorkomen dat er te veel brandstof wordt verbruikt bij het scherp draaien.
- Als er veel vliegtuigen zijn (hoge dichtheid), moet de cirkel kleiner zijn om het signaal sterk te houden, zelfs als dat meer brandstof kost.

Samenvatting van de bevindingen

Geometrie doet ertoe: Je kunt deze vliegende netwerken niet behandelen als grondgebonden zendmasten. Je moet rekening houden met de ronde aarde en de cirkelvormige patrouilleringsbanen.
Planning versus Chaos: Als je een vast aantal vliegtuigen hebt (Vaste Ploeg), maakt het toevoegen van meer vliegtuigen aan dezelfde ring de internetverbinding slechter door interferentie. Als je een willekeurige menigte hebt (Menigte-model), is het netwerk flexibeler.
Het ideale punt: Er is een "Goldilocks" patrouilleradius. Het is niet te klein (bespaart brandstof maar verzwakt het signaal) en niet te groot (sterk signaal maar verspilt brandstof). De perfecte grootte verandert op basis van hoe snel de vliegtuigen vliegen en hoeveel van hen in de lucht zijn.

Kortom: Het artikel biedt het wiskundige "recept" om een netwerk van vliegende internetstations te bouien dat een balans vindt tussen het verkrijgen van een sterk signaal en het besparen van brandstof, zodat deze toekomstige lucht-zendmasten zowel effectief als energie-efficiënt zijn.

Probleemstelling

High-altitude platform stations (HAPs) zijn een cruciaal onderdeel aan het worden van non-terrestriale netwerken (NTNs), omdat ze brede dekking en line-of-sight condities bieden met een lagere latentie dan satellieten. Bestaande stochastic geometry (SG) kaders voor netwerkanalyse schieten echter tekort in het gelijktijdig vastleggen van drie kenmerkende eigenschappen van realistische HAP-deployments:

Geografisch verankerde servicegebieden: HAPs cirkelen boven specifieke gebieden (bijv. steden, maritieme corridors) in plaats van globale banen te volgen zoals satellieten.
Begrensde patrouille-trajecten: Platformen voeren cyclische, lokale patrouillepaden uit (kleine cirkels) in plaats van statische puntplaatsingen of grote cirkelbanen.
Sferische aardgeometrie: Bij stratosferische hoogtes (20–50 km) zijn de kromming van de aarde en horizon-effecten niet verwaarloosbaar, waardoor planaire benaderingen onnauwkeurig worden.

Huidige modellen vereenvoudigen het netwerk ofwel tot statische puntprocessen (negeren de patrouille-dynamiek), richten zich op single-node fysica (negeren netwerkinterferentie), of passen satelliet-specifieke baanmodellen toe (negeren lokale verankering). Er is een gebrek aan een behapbaar, netwerkbreed kader dat sferische geometrie integreert met anker-gebaseerde cyclische patrouillebeweging.

Methodologie

De auteurs stellen een Spherical Stochastic Geometry kader voor, gebaseerd op twee nieuwe Small-Circle Ring Cox Process modellen, gedefinieerd op een sferische schil met straal $R_H = R_\oplus + H$ (aardstraal plus hoogte).

1. Systeemmodel:

Anchors (Ankers): Servicegebieden worden gemodelleerd als een homogene Poisson Point Process (PPP) $\Phi_u$ op de sferische schil.
Patrol Rings (Patrouilleringen): Elk anker $u$ genereert een deterministische patrouillering $C(u, \gamma)$ in zijn lokale tangentiële vlak met straal $a = R_H \tan \gamma$ .
Twee Deployment Regimes:
- SCR-PCP (Poisson Cox Process): Platformen op elke ring vormen een 1D PPP met lineaire intensiteit $\nu$ . Dit modelleert intensiteit-gestuurde, dynamische vloten waarbij het aantal actieve platformen fluctueert.
- SCR-BCP (Binomial Cox Process): Elke ring bevat een vast aantal $n_H$ platformen die uniform verdeeld zijn langs het traject. Dit modelleert gedimensioneerde, eindige vloten met expliciete redundantie of capaciteitsplanning.

2. Analytische Afleidingen:

Ruimtelijke Statistiek: De auteurs bewijzen de isotropie van beide modellen en leiden exacte distributies af voor:
- Afstand tot het dichtstbijzijnde anker ( $D_u$ ).
- Afstand tot de dichtstbijzijnde patrouillering ( $D_R$ ).
- Afstand tot de dichtstbijzijnde HAP ( $d_0$ ).
- Voor SCR-BCP wordt een gezamenlijke distributie van de bedieningsafstand en de centrale hoek van het bedienende anker afgeleid om afhankelijkheden bij eindige populaties te behandelen.
Dekkingswaarschijnlijkheid: Onder een nearest-HAP associatieregel wordt de Signal-to-Interference Ratio (SIR) geanalyseerd. Geaggregeerde interferentie wordt ontleed in same-ring (binnen dezelfde ring) en other-ring (andere ringen) componenten. De auteurs leiden voorwaardelijke Laplace-transformaten af voor deze interferentietermen, waarbij rekening wordt gehouden met de onderscheidende intra-ring structuren (Poisson vs. Binomial).
Energie-efficiëntie: Een steady-circular-flight (SCF) voortstuwingsmodel wordt geïntegreerd. De Coverage Energy Efficiency (CEE) metriek wordt gedefinieerd als de ratio tussen de dekkingswaarschijnlijkheid en het voortstuwingsvermogen dat nodig is voor circulaire vlucht. Dit maakt de afleiding van een energie-optimale patrouilleradius mogelijk.

Belangrijkste Bijdragen

Nieuwe Stochastische Modellen: Introductie van SCR-PCP en SCR-BCP, de eerste Cox-processen modellen die rigoureus globale sferische topologie koppelen aan lokale, anker-gebaseerde cyclische patrouillestructuren.
Exacte Ruimtelijke Statistiek: Afleiding van geometrie-exacte afstandverdelingen en gezamenlijke statistieken zonder terug te vallen op planaire of kleine-hoek benaderingen.
Dekking Analyse: Closed-form expressies voor de dekkingswaarschijnlijkheid die expliciet de decompositie van interferentie behandelen in same-ring en inter-ring componenten, wat de fundamentele verschillen tussen intensiteit-gestuurde en eindige-vloot deployments onthult.
Energie-bewuste Optimalisatie: Integratie van aerodynamische vluchtmechanica met communicatieprestaties om analytische condities voor de energie-optimale patrouilleradius vast te stellen, waarbij de balans wordt gezocht tussen dekkingswinsten versus voortstuwingskosten.

Belangrijkste Resultaten

Modelonderscheid:
- SCR-PCP: Prestaties zijn zeer gevoelig voor de patrouilleradius en platformdichtheid. In schaarse deployments bestaat er een niet-nul optimale patrouilleradius om een balans te vinden tussen de waarschijnlijkheid van het vinden van een bedienende HAP en de interferentie. In dichte deployments worden kleinere radii verkozen om interferentie te minimaliseren.
- SCR-BCP: Prestaties worden primair bepaald door de vaste populatie per ring ( $n_H$ ). Het verhogen van $n_H$ verslechtert de dekking aanzienlijk door sterke same-ring interferentie. De dekkingswaarschijnlijkheid is relatief ongevoelig voor de patrouilleradius vergeleken met SCR-PCP.
Energie-efficiëntie:
- De optimale patrouilleradius is een functie van kruissnelheid, platformdichtheid en vlootgrootte.
- Hogere kruissnelheden verhogen de voortstuwingsstraf voor krappe bochten, wat de optimale patrouilleradius naar grotere waarden verschuift.
- In SCR-BCP is de optimale radius voor kleine vloten groot (om voortstuwingskosten te minimaliseren); voor grote vloten krimpt de optimale radius om same-ring interferentie te beperken.
Validatie: Analytische resultaten voor afstandverdelingen en dekkingswaarschijnlijkheden werden gevalideerd tegenover 3D Monte Carlo simulaties, waarbij ononderscheidbare curves over diverse regimes werden getoond.

Betekenis en Claims

Het artikel beweert een kritieke leemte in de NTN-analyse te vullen door het eerste behapbare kader te bieden dat simultaan respect heeft voor sferische geometrie, anker-gebaseerde topologie en cyclische patrouilledynamiek.

Theoretische Impact: Het werk stelt vast dat de patrouillegeometrie een fundamenteel andere rol speelt afhankelijk van het deployment regime. Voor intensiteit-gestuurde vloten (SCR-PCP) is de patrouilleradius een cruciale optimalisatievariabele voor zowel dekking als energie. Voor gedimensioneerde vloten (SCR-BCP) domineert de eindige populatiebeperking de prestaties, waardoor het systeem minder gevoelig is voor geometrische variaties zodra de vlootgrootte is vastgesteld.
Praktische Implicatie: De afgeleide analytische condities voor de energie-optimale patrouilleradius dienen als ontwerprichtlijn voor operators. Het artikel stelt dat patrouillegeometrie, platformdichtheid en kruissnelheid gezamenlijk geoptimaliseerd moeten worden om energie-efficiënte HAP-operaties te bereiken, in plaats van communicatie en voortstuwing onafhankelijk van elkaar te optimaliseren.
Toekomstige Richting: De auteurs suggereren dat dit kader als fundament kan dienen voor het integreren van patrouillerende HAPs in multi-layer terrestrische-aërische-satelliet architecturen (SAGIN), wat gezamenlijke optimalisatie van mobiliteit en spectrumcoexistentie mogelijk maakt.

Het artikel hanteert een bescheiden toon, waarbij wordt opgemerkt dat hoewel het een geometrie-exact kader biedt, het uitgaat van geïdealiseerde condities (bijv. constante circulaire vlucht, Rayleigh fading) en geen rekening houdt met complexe atmosferische propagatie of dynamische handover-protocollen, wat gebieden blijven voor toekomstig werk.