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

Definição do Problema

As plataformas de alta altitude (HAPs) estão surgindo como um componente crítico para redes não terrestres (NTNs), oferecendo ampla cobertura e condições de linha de visada com menor latência do que os satélites. No entanto, os atuais modelos de geometria estocástica (SG) para análise de redes falham em capturar simultaneamente três características definidoras de implantações realistas de HAPs:

1. Regiões de serviço geograficamente ancoradas: As HAPs pairam sobre áreas específicas (ex: cidades, corredores marítimos) em vez de percorrerem órbitas globais como os satélites.
2. Trajetórias de patrulha delimitadas: As plataformas executam trajetórias de patrulha cíclicas e locais (pequenos círculos) em vez de posicionamentos estáticos ou órbitas de círculo máximo.
3. Geometria esférica da Terra: Nas altitudes estratosféricas (20–50 km), a curvatura da Terra e os efeitos do horizonte são não negligenciáveis, tornando as aproximações planas imprecisas.

Os modelos atuais ou simplificam a rede para processos de pontos estáticos (ignorando a dinâmica de patrulha), focam na física de um único nó (ignorando a interferência da rede) ou aplicam modelos de órbita específicos para satélites (ignorando o ancoramento local). Há uma carência de um framework tratável em escala de rede que integre a geometria esférica com o movimento de patrulha cíclica baseada em âncoras.

Metodologia

Os autores propõem um framework de Geometria Estocástica Esférica baseado em dois novos modelos de Processo de Cox de Anel de Pequeno Círculo (Small-Circle Ring Cox Process) definidos em uma casca esférica de raio $R_H = R_\oplus + H$ (raio da Terra mais altitude).

1. Modelo de Sistema:

• Âncoras: As regiões de serviço são modeladas como um Processo de Pontos de Poisson (PPP) homogêneo $\Phi_u$ na casca esférica.
• Anéis de Patrulha: Cada âncora $u$ gera um anel de patrulha determinístico $C(u, \gamma)$ em seu plano tangente local com raio $a = R_H \tan \gamma$.
• Dois Regimes de Implantação:
  • SCR-PCP (Processo de Cox de Poisson): As plataformas em cada anel formam um PPP 1D com intensidade linear $\nu$. Isso modela frotas dinâmicas impulsionadas pela intensidade, onde o número de plataformas ativas flutua.
  • SCR-BCP (Processo de Cox Binomial): Cada anel contém um número fixo de $n_H$ plataformas distribuídas uniformemente ao longo da trajetória. Isso modela frotas finitas e dimensionadas com redundância ou planejamento de capacidade explícitos.

2. Derivações Analíticas:

• Estatísticas Espaciais: Os autores provam a isotropia de ambos os modelos e derivam distribuições exatas para:
  • Distância até a âncora mais próxima ($D_u$).
  • Distância até o anel de patrulha mais próximo ($D_R$).
  • Distância até a HAP mais próxima ($d_0$).
  • Para o SCR-BCP, é derivada uma distribuição conjunta da distância de serviço e do ângulo central da âncora de serviço para lidar com dependências de população finita.
• Probabilidade de Cobertura: Sob uma regra de associação à HAP mais próxima, a Relação Sinal-Interferência (SIR) é analisada. A interferência agregada é decomposta em componentes de mesmo anel e de outros anéis. Os autores derivam transformadas de Laplace condicionais para esses termos de interferência, contabilizando as distintas estruturas intra-anel (Poisson vs. Binomial).
• Eficiência Energética: Um modelo de propulsão de voo circular constante (SCF) é integrado. A métrica de Eficiência Energética de Cobertura (CEE) é definida como a razão entre a probabilidade de cobertura e a potência de propulsão necessária para o voo circular. Isso permite a derivação de um raio de patrulha energeticamente otimizado.

Principais Contribuições

1. Novos Modelos Estocásticos: Introdução dos modelos SCR-PCP e SCR-BCP, que são os primeiros modelos de processo de Cox a acoplar rigorosamente a topologia esférica global com estruturas de patrulha cíclica local baseada em âncoras.
2. Estatísticas Espaciais Exatas: Derivação de distribuições de distância geometricamente exatas e estatísticas conjuntas sem recorrer a aproximações planas ou de pequenos ângulos.
3. Análise de Cobertura: Expressões de forma fechada para a probabilidade de cobertura que lidam explicitamente com a decomposição da interferência em componentes de mesmo anel e de inter-anel, revelando diferenças fundamentais entre implantações impulsionadas por intensidade e frotas finitas.
4. Otimização Consciente de Energia: Integração da mecânica de voo aerodinâmico com o desempenho de comunicação para estabelecer condições analíticas para o raio de patrulha energeticamente ótimo, equilibrando ganhos de cobertura com custos de propulsão.

Principais Resultados

• Distinção de Modelos:
  • SCR-PCP: O desempenho é altamente sensível ao raio de patrulha e à densidade de plataformas. Em implantações esparsas, existe um raio de patrulha ideal não nulo para equilibrar a probabilidade de encontrar uma HAP de serviço versus a interferência. Em implantações densas, raios menores são preferidos para minimizar a interferência.
  • SCR-BCP: O desempenho é governado principalmente pela população fixa por anel ($n_H$). O aumento de $n_H$ degrada significativamente a cobertura devido à forte interferência do mesmo anel. A probabilidade de cobertura é relativamente insensível ao raio de patrulha comparada ao SCR-PCP.
• Eficiência Energética:
  • O raio de patrulha ideal é uma função da velocidade de cruzeiro, densidade de plataforma e tamanho da frota.
  • Velocidades de cruzeiro mais altas aumentam a penalidade de propulsão para curvas fechadas, deslocando o raio de patrulha ideal para valores maiores.
  • No SCR-BCP, para frotas pequenas, o raio ideal é grande (para minimizar o custo de propulsão); para frotas grandes, o raio ideal diminui para mitigar a interferência do mesmo anel.
• Validação: Os resultados analíticos para distribuições de distância e probabilidades de cobertura foram validados contra simulações de Monte Carlo 3D, mostrando curvas indistinguíveis através de vários regimes.

Significância e Alegações

O artigo afirma preencher uma lacuna crítica na análise de NTN ao fornecer o primeiro framework tratável que respeita simultaneamente a geometria esférica, a topologia baseada em âncoras e a dinâmica de patrulha cíclica.

• Impacto Teórico: O trabalho estabelece que a geometria de patrulha desempenha um papel fundamentalmente diferente dependendo do regime de implantação. Para frotas impulsionadas por intensidade (SCR-PCP), o raio de patrulha é uma variável de otimização chave tanto para cobertura quanto para energia. Para frotas dimensionadas (SCR-BCP), a restrição de população finita domina o desempenho, tornando o sistema menos sensível a variações geométricas uma vez que o tamanho da frota é fixado.
• Implicação Prática: As condições analíticas derivadas para o raio de patrulha energeticamente ótimo fornecem uma diretriz de design para operadores. O artigo afirma que a geometria de patrulha, a densidade de plataforma e a velocidade de cruzeiro devem ser otimizadas conjuntamente para alcançar operações de HAP energeticamente eficientes, em vez de otimizar comunicação e propulsão de forma independente.
• Direção Futura: Os autores sugerem que este framework pode servir como base para integrar HAPs de patrulha em arquiteturas multicamadas terrestre-aérea-satélite (SAGIN), permitindo a otimização conjunta de mobilidade e coexistência de espectro.

O artigo mantém um tom modesto, observando que, embora ofereça um framework geometricamente exato, assume condições idealizadas (ex: voo circular constante, desvanecimento Rayleigh) e não considera propagação atmosférica complexa ou protocolos de handover dinâmicos, que permanecem como áreas para trabalhos futuros.