.png){kind=icon}
返回
A General Framework for Secrecy Performance Analysis via Quantifier Elimination
.png){kind=icon}
PRE
AI
DOI：10.1109/LCOMM.2022.3166970.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The problems of finding accurate limits of integration in symbolic form are non-trivial when analyzing the secrecy outage probability (SOP) over complicated communication schemes. To identify these limits, we formulate an existential quantifier elimination (QE) problem based on the description of the secrecy outage events. After that, the resulting QE problem can be solved using QE algorithms such as cylindrical algebraic decomposition (CAD) via existing solvers. Since CAD is an exact algorithm, our approach does not require Monte-Carlo simulations to verify the correctness of the SOP integration limits. Finally, two complex SOP analysis scenarios for cognitive radio systems are presented to demonstrate the generality of the proposed method.
Keyword:
Receivers
Interference
Solid modeling
Signal to noise ratio
Cognitive radio
Channel estimation
Radio transmitters
Secrecy outage probability
cylindrical algebraic decomposition
cognitive radio
quantifier elimination
期刊
IF:
4.4
论文数:
1.3W
被引数:
2.2W
机构
引用论文
Analytical and Triangular Solutions to Operational Flexibility Analysis Using Quantifier Elimination
.png){kind=icon}
PREAI
分享收藏The Influence of Commercial-Grade Carpet on Postural Sway and Balance Strategy Among Older Adults
OAAI
OAAI分享收藏分享收藏
查看更多内容