Upload
others
View
3
Download
0
Embed Size (px)
Citation preview
Devising High-Performing Pseudo-Random Spreading Codes Using Genetic Algorithms
Tara Yasmin Mina and Grace Xingxin Gao
ION GNSS+ 2019
β’ Interest by Air Force to develop the future generation of GPSβͺ 2016 RFI (NTS): Reinvigorate Navig. Tech. Satellite from 1970s initiative [1]
βͺ 2019 SS (HoPS): Leverage multi-orbit commercial sats., reprogrammable payload [2]
β’ NTS-3 β objectives include exploring new techniques to: βͺ Enhance PNT resiliency / performance
βͺ Increase number of signals broadcast on L1 frequency band
βͺ Explore modifications to all signal layers (carrier, data, spreading codes)
β’ New era of satellite navigation β time to revisit design of GPS PRN codes
Air Force Initiatives to Modernize GPS
1
[1] AFRL, FBO, 2016 (SN: RFI-RVKVE-NTS-3)
[2] Air Force SMC, FBO, 2019(SN: FA881414D0001)
[3] Lutz, AFRL SV Directorat [3]
NTS-1(1974)
NTS-2(1977)
NTS-3(Launch in 2022)
β’ Current GPS spreading codes algorithmically generableβͺ i.e. Legacy GPS L1 C/A uses Gold codes [4] β utilizes two 10-bit LSFRs
βͺ i.e. L1C uses Weil codes, with 7-bit pad [5]
β’ 1970s design considerationsβͺ Hardware memory limitations
βͺ Limited to LFSR-based codes
β’ Advantages of memory codes:1. Greater range of possible families
2. Opportunity to find superior codes
3. Any desired seq. length possible
β’ Large space: complicates code design method
Use of Memory Codes for GNSS
2
[6]
[4] Gold, ION GNSS, 1967 [5] Rushanan, IEEE ISIT, 2006[6] ICD-GPS-200C, DoD, 1993
β’ Genetic algorithms (GAs) β optimization / learning technique:βͺ Population-based, candidate solutions represented as binary sequences
βͺ Iteratively improve solution: choose / combine highly fit individuals
β’ Prior work utilizing GAs for Galileo applicationβͺ Develop codes with ASZ property (0 auto-correlation at Β±1 chip delays) [7]
βͺ Parameters for selecting high-quality codes for GNSS applications [8] [9]
Genetic Algorithms for Random Codes
3
[7]
[7] Wallner, Avila-Rodriguez & Hein, ION GNSS, 2007 [8] Soualle, et al, European GNSS, 2005[9] Winkel, US Patent No. 8.035.555, 2011
1. Utilizing a cumulative, combined cost functionβͺ 1-dimensional cost function to minimize [8]
βͺ Ex: summation of costs to minimize for spreading codes [9]
βͺ Must define relative priorities between objectives
βͺ Cannot explore across complete multi-dimensional cost function space
2. Multi-dimensional costβͺ Progress non-dominated front
βͺ Population-based methods useful
βͺ Continuously improve local front
βͺ Must maintain solution diversity:
o Avoid crowding of solutions
o Spread of Pareto-optimal points
Multi-Objective Techniques
4
[8] Soualle, et al, European GNSS, 2005[9] Winkel, US Patent No. 8.035.555, 2011
β’ Develop a multi-objective optimization platform to construct high-quality families of spreading code sequences
β’ GA architecture β key features:
βͺ Perform scattered crossover: increase recombination between parent chromosomes
βͺ Incorporate Pareto-optimal elitism: ensure strong solutions maintained in population
βͺ Ranking via non-dominated sorting for selecting high-performing individuals
βͺ Utilize fitness sharing via niching: maintain well-spread range of Pareto-optimal points
β’ Demonstrate ability of our genetic algorithm to devise a set of memory code sequences which can:
βͺ Achieve low auto- and cross-correlation side peaks
βͺ Perform better than well-chosen families of equal-length Gold and Weil codes
Key Contributions
5
β’ High-level Overview of GAs
β’ Design of GA Architecture
βͺ Key Objectives for High-Quality Codes
βͺ Fitness Ranking via Non-Dominated Sorting
βͺ Increase Solution Diversity using Niching
βͺ Multi-Objective Genetic Algorithm Architecture
β’ Experimental Validation
β’ Summary
Outline
6
β’ Initially proposed by John Holland; currently many variations
β’ Inspired by Darwinian theory of evolutionβͺ Evolve population of solutions, improving each subsequent generation
βͺ Utilizes notions of crossover to βbreedβ between highly fit individuals
Genetic Algorithms [10]
7
[11]
[10] Holland, Univ. of Michigan Press, 1975[11] Khan, Genetic Linkage & Mapping, 2019
Biological crossover of chromosomes:
Key Steps:
1. Create initial population
2. Evaluate individual fitness
3. Select high-performing individuals
4. Form offspring solutions:
β’ Crossover / Recombination
β’ Mutation
5. Propagate next generation (return to step 2)
Basic / Standard Genetic Algorithm
8
β’ High-level Approach using GAs
β’ Design of GA Architecture
βͺ Key Objectives for High-Quality Codes
βͺ Evaluate Unbiased Fitness via Non-Dominated Sorting
βͺ Increase Solution Diversity using Fitness Sharing
βͺ Multi-Objective Genetic Algorithm Architecture
β’ Experimental Validation
β’ Summary
Outline
9
1. Mean, normalized absolute auto-correlation side peak
2. Mean, normalized absolute cross-correlation peak
Key Objectives Utilized
10
Auto-Correlation Side Peaks Cross-Correlation Peaks
Peak correlation
β’ Ranking utilizing Non-Dominated Sorting, or Pareto rankingβͺ Pareto ranking β ranking via layers of dominating points [12]
βͺ Define layers of non-dominated fronts to provide scalar fitness score
βͺ Probability of selection: proportional to final fitness score
β’ Fitness score evaluation:1. Compute multi-dimensional cost
2. Find layers of non-dominated fronts:
π1 , π2 , π3 , β¦
3. Assign Indiv. rank ππ via layer order:
π β ππ β ππ = π
4. Compute unbiased fitness score:
ππ =1
ππ
Ranking to Evaluate Fitness of Points
11
[12] Goldberg, Addison-Wesley, 1989
β’ Fitness sharing β maintains diversity of Pareto-optimal pointsβͺ Via computing niche count π β degree of crowding in neighboring area [13]
βͺ Parameter π chosen for defining neighboring area of consideration
β’ Key steps for fitness sharing:1. Compute multi-dimensional cost
2. Normalize cost (0 to 1)
3. Compute pairwise distances πππ4. For each candidate π,
sum scaled distances within π:
ππ =
β π
max 1 βπππ
π, 0
5. Bias fitness score by niche count:
ππβ² =
ππ
ππ
Use of Fitness Sharing via Niching
12
[13] Fonseca & Fleming, ICGA, 1993
β’ Recombination step: scattered crossoverβͺ Uniformly, randomly select multiple crossover points b/w 2 individuals
βͺ Initial observations: improved speed and performance of algorithm
Incorporate Scattered Crossover / Pareto-Optimal Elitism
13
β’ Pareto-optimal elitism: βͺ Directly pass high-performing individuals to next generation of solutions
βͺ Elite points: set of dominating, Pareto-optimal points
βͺ Ensures continuous improvement, preserves best solutions
Multi-Objective GA Architecture
14
Initialize Population
Evaluate Raw Cost Function Vector
Determine Pareto-Optimal Points
Create Next Generation
Randomly Select High-Performing Candidates
Perform Scattered Crossover
Mutation
Evaluate Niche Counts
Max Generation Reached?
No
Yes
Terminate Process
Perform Non-Dominated Sorting
Bias / Re-Scale Fitness
β’ High-level Approach using GAs
β’ Design of GA Architecture
βͺ Key Objectives for High-Quality Codes
βͺ Evaluate Unbiased Fitness via Non-Dominated Sorting
βͺ Increase Solution Diversity using Fitness Sharing
βͺ Multi-Objective Genetic Algorithm Architecture
β’ Experimental Validation
β’ Summary
Outline
15
Objective: validate results with equal-length Gold / Weil codes
βͺ Validation of GA: comparing with 31-length Gold codes [4] and Weil codes [5]
βͺ Trade-off between computation requirements and sequence length
βͺ Total (3 codes, length-31): 2(3 β 31) βΌ 1027 possible solutions
βͺ Gold char. polynomials: ππ = π + ππ + ππ ; ππ = π + ππ + ππ + ππ + ππ [14]
βͺ Various family sizes tested, compare with best set of Gold / Weil codes
Experimental Validation
16
[4] Gold, IEEE TIT, 1967[5] Rushanan, IEEE ISIT, 2006[14] Misra & Enge, Ganga-Jamuna Press, 2011
Optimization Params. Values
Mutation rate 10β5
Population size 300
Max Elite Members 150
Max generation 10,000
Niche radius (π) 0.1
Families of 3 and 5 Sequences
17
Better Performing Sequences than Gold / Weil Codes Achieved with GA
Families of 7 and 10 Sequences
18
Better Performing Sequences than Gold / Weil Codes Achieved with GA
Families of 20 Sequences
19
Better Performing Sequences than Gold / Weil Codes Achieved with GA
β’ Developed multi-objective GA architecture to devise family of high-performing code sequences
βͺ Achieves low mean, circular auto- and cross-correlations
βͺ Produces range of Pareto-optimal points
βͺ Incorporates the following key features and multi-objective techniques:
o Scattered crossover for recombination / Pareto-optimal elitism
o Ranking via non-dominated sorting
o Fitness sharing via niching
β’ Demonstrated algorithm constructs higher quality code families, compared to best combinations of current, equal-length codes
βͺ Range of code solutions dominate Pareto-optimal Gold / Weil codes
βͺ Next Steps: Expand architecture for GPS-length code sequences
Summary
20
21
Thank You!
This material is based upon work supported by Kirtland Air Force Research Lab (AFRL).