333 lines
10 KiB
Python
Executable File
333 lines
10 KiB
Python
Executable File
#!/usr/bin/env python
|
|
#
|
|
# Copyright 2010, 2012 Nick Foster
|
|
#
|
|
# This file is part of gr-air-modes
|
|
#
|
|
# gr-air-modes is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 3, or (at your option)
|
|
# any later version.
|
|
#
|
|
# gr-air-modes is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with gr-air-modes; see the file COPYING. If not, write to
|
|
# the Free Software Foundation, Inc., 51 Franklin Street,
|
|
# Boston, MA 02110-1301, USA.
|
|
#
|
|
|
|
import math, time
|
|
from air_modes.exceptions import *
|
|
#this implements CPR position decoding and encoding.
|
|
#the decoder is implemented as a class, cpr_decoder, which keeps state for local decoding.
|
|
#the encoder is cpr_encode([lat, lon], type (even=0, odd=1), and surface (0 for surface, 1 for airborne))
|
|
|
|
#TODO: remove range/bearing calc from CPR decoder class. you can do this outside of the decoder.
|
|
|
|
latz = 15
|
|
|
|
def nz(ctype):
|
|
return 4 * latz - ctype
|
|
|
|
def dlat(ctype, surface):
|
|
if surface == 1:
|
|
tmp = 90.0
|
|
else:
|
|
tmp = 360.0
|
|
|
|
nzcalc = nz(ctype)
|
|
if nzcalc == 0:
|
|
return tmp
|
|
else:
|
|
return tmp / nzcalc
|
|
|
|
def nl(declat_in):
|
|
if abs(declat_in) >= 87.0:
|
|
return 1.0
|
|
return math.floor( (2.0*math.pi) * math.acos(1.0- (1.0-math.cos(math.pi/(2.0*latz))) / math.cos( (math.pi/180.0)*abs(declat_in) )**2 )**-1)
|
|
|
|
def dlon(declat_in, ctype, surface):
|
|
if surface:
|
|
tmp = 90.0
|
|
else:
|
|
tmp = 360.0
|
|
nlcalc = max(nl(declat_in)-ctype, 1)
|
|
return tmp / nlcalc
|
|
|
|
def decode_lat(enclat, ctype, my_lat, surface):
|
|
tmp1 = dlat(ctype, surface)
|
|
tmp2 = float(enclat) / (2**17)
|
|
j = math.floor(my_lat/tmp1) + math.floor(0.5 + ((my_lat % tmp1) / tmp1) - tmp2)
|
|
|
|
return tmp1 * (j + tmp2)
|
|
|
|
def decode_lon(declat, enclon, ctype, my_lon, surface):
|
|
tmp1 = dlon(declat, ctype, surface)
|
|
tmp2 = float(enclon) / (2**17)
|
|
m = math.floor(my_lon / tmp1) + math.floor(0.5 + ((my_lon % tmp1) / tmp1) - tmp2)
|
|
|
|
return tmp1 * (m + tmp2)
|
|
|
|
def cpr_resolve_local(my_location, encoded_location, ctype, surface):
|
|
[my_lat, my_lon] = my_location
|
|
[enclat, enclon] = encoded_location
|
|
|
|
decoded_lat = decode_lat(enclat, ctype, my_lat, surface)
|
|
decoded_lon = decode_lon(decoded_lat, enclon, ctype, my_lon, surface)
|
|
|
|
return [decoded_lat, decoded_lon]
|
|
|
|
def cpr_resolve_global(evenpos, oddpos, mypos, mostrecent, surface):
|
|
#cannot resolve surface positions unambiguously without knowing receiver position
|
|
if surface and mypos is None:
|
|
raise CPRNoPositionError
|
|
|
|
dlateven = dlat(0, surface)
|
|
dlatodd = dlat(1, surface)
|
|
|
|
evenpos = [float(evenpos[0]), float(evenpos[1])]
|
|
oddpos = [float(oddpos[0]), float(oddpos[1])]
|
|
|
|
j = math.floor(((nz(1)*evenpos[0] - nz(0)*oddpos[0])/2**17) + 0.5) #latitude index
|
|
|
|
rlateven = dlateven * ((j % nz(0))+evenpos[0]/2**17)
|
|
rlatodd = dlatodd * ((j % nz(1))+ oddpos[0]/2**17)
|
|
|
|
#limit to -90, 90
|
|
if rlateven > 270.0:
|
|
rlateven -= 360.0
|
|
if rlatodd > 270.0:
|
|
rlatodd -= 360.0
|
|
|
|
#This checks to see if the latitudes of the reports straddle a transition boundary
|
|
#If so, you can't get a globally-resolvable location.
|
|
if nl(rlateven) != nl(rlatodd):
|
|
raise CPRBoundaryStraddleError
|
|
|
|
if mostrecent == 0:
|
|
rlat = rlateven
|
|
else:
|
|
rlat = rlatodd
|
|
|
|
#disambiguate latitude
|
|
if surface:
|
|
if mypos[0] < 0:
|
|
rlat -= 90
|
|
|
|
dl = dlon(rlat, mostrecent, surface)
|
|
nl_rlat = nl(rlat)
|
|
|
|
m = math.floor(((evenpos[1]*(nl_rlat-1)-oddpos[1]*nl_rlat)/2**17)+0.5) #longitude index
|
|
|
|
#when surface positions straddle a disambiguation boundary (90 degrees),
|
|
#surface decoding will fail. this might never be a problem in real life, but it'll fail in the
|
|
#test case. the documentation doesn't mention it.
|
|
|
|
if mostrecent == 0:
|
|
enclon = evenpos[1]
|
|
else:
|
|
enclon = oddpos[1]
|
|
|
|
rlon = dl * ((m % max(nl_rlat-mostrecent,1)) + enclon/2.**17)
|
|
|
|
#print "DL: %f nl: %f m: %f rlon: %f" % (dl, nl_rlat, m, rlon)
|
|
#print "evenpos: %x, oddpos: %x, mostrecent: %i" % (evenpos[1], oddpos[1], mostrecent)
|
|
|
|
if surface:
|
|
#longitudes need to be resolved to the nearest 90 degree segment to the receiver.
|
|
wat = mypos[1]
|
|
if wat < 0:
|
|
wat += 360
|
|
zone = lambda lon: 90 * (int(lon) / 90)
|
|
rlon += (zone(wat) - zone(rlon))
|
|
|
|
#limit to (-180, 180)
|
|
if rlon > 180:
|
|
rlon -= 360.0
|
|
|
|
return [rlat, rlon]
|
|
|
|
|
|
#calculate range and bearing between two lat/lon points
|
|
#should probably throw this in the mlat py somewhere or make another lib
|
|
def range_bearing(loc_a, loc_b):
|
|
[a_lat, a_lon] = loc_a
|
|
[b_lat, b_lon] = loc_b
|
|
|
|
esquared = (1/298.257223563)*(2-(1/298.257223563))
|
|
earth_radius_mi = 3963.19059 * (math.pi / 180)
|
|
|
|
delta_lat = b_lat - a_lat
|
|
delta_lon = b_lon - a_lon
|
|
|
|
avg_lat = ((a_lat + b_lat) / 2.0) * math.pi / 180
|
|
|
|
R1 = earth_radius_mi*(1.0-esquared)/pow((1.0-esquared*pow(math.sin(avg_lat),2)),1.5)
|
|
|
|
R2 = earth_radius_mi/math.sqrt(1.0-esquared*pow(math.sin(avg_lat),2))
|
|
|
|
distance_North = R1*delta_lat
|
|
distance_East = R2*math.cos(avg_lat)*delta_lon
|
|
|
|
bearing = math.atan2(distance_East,distance_North) * (180.0 / math.pi)
|
|
if bearing < 0.0:
|
|
bearing += 360.0
|
|
|
|
rnge = math.hypot(distance_East,distance_North)
|
|
return [rnge, bearing]
|
|
|
|
class cpr_decoder:
|
|
def __init__(self, my_location):
|
|
self.my_location = my_location
|
|
self.evenlist = {}
|
|
self.oddlist = {}
|
|
self.evenlist_sfc = {}
|
|
self.oddlist_sfc = {}
|
|
|
|
def set_location(new_location):
|
|
self.my_location = new_location
|
|
|
|
def weed_poslists(self):
|
|
for poslist in [self.evenlist, self.oddlist]:
|
|
for key, item in poslist.items():
|
|
if time.time() - item[2] > 10:
|
|
del poslist[key]
|
|
for poslist in [self.evenlist_sfc, self.oddlist_sfc]:
|
|
for key, item in poslist.items():
|
|
if time.time() - item[2] > 25:
|
|
del poslist[key]
|
|
|
|
def decode(self, icao24, encoded_lat, encoded_lon, cpr_format, surface):
|
|
if surface:
|
|
oddlist = self.oddlist_sfc
|
|
evenlist = self.evenlist_sfc
|
|
else:
|
|
oddlist = self.oddlist
|
|
evenlist = self.evenlist
|
|
|
|
#add the info to the position reports list for global decoding
|
|
if cpr_format==1:
|
|
oddlist[icao24] = [encoded_lat, encoded_lon, time.time()]
|
|
else:
|
|
evenlist[icao24] = [encoded_lat, encoded_lon, time.time()]
|
|
|
|
[decoded_lat, decoded_lon] = [None, None]
|
|
|
|
#okay, let's traverse the lists and weed out those entries that are older than 10 seconds
|
|
self.weed_poslists()
|
|
|
|
if (icao24 in evenlist) \
|
|
and (icao24 in oddlist):
|
|
newer = (oddlist[icao24][2] - evenlist[icao24][2]) > 0 #figure out which report is newer
|
|
[decoded_lat, decoded_lon] = cpr_resolve_global(evenlist[icao24][0:2], oddlist[icao24][0:2], self.my_location, newer, surface) #do a global decode
|
|
else:
|
|
raise CPRNoPositionError
|
|
|
|
if self.my_location is not None:
|
|
[rnge, bearing] = range_bearing(self.my_location, [decoded_lat, decoded_lon])
|
|
else:
|
|
rnge = None
|
|
bearing = None
|
|
|
|
return [decoded_lat, decoded_lon, rnge, bearing]
|
|
|
|
#encode CPR position
|
|
def cpr_encode(lat, lon, ctype, surface):
|
|
if surface is True:
|
|
scalar = 2.**19
|
|
else:
|
|
scalar = 2.**17
|
|
|
|
#encode using 360 constant for segment size.
|
|
dlati = dlat(ctype, False)
|
|
yz = math.floor(scalar * ((lat % dlati)/dlati) + 0.5)
|
|
rlat = dlati * ((yz / scalar) + math.floor(lat / dlati))
|
|
|
|
#encode using 360 constant for segment size.
|
|
dloni = dlon(lat, ctype, False)
|
|
xz = math.floor(scalar * ((lon % dloni)/dloni) + 0.5)
|
|
|
|
yz = int(yz) & (2**17-1)
|
|
xz = int(xz) & (2**17-1)
|
|
|
|
return (yz, xz) #lat, lon
|
|
|
|
if __name__ == '__main__':
|
|
import sys, random
|
|
|
|
rounds = 10001
|
|
threshold = 1e-3 #0.001 deg lat/lon
|
|
#this accuracy is highly dependent on latitude, since at high
|
|
#latitudes the corresponding error in longitude is greater
|
|
|
|
bs = 0
|
|
surface = False
|
|
|
|
lats = [i/(rounds/170.)-85 for i in range(0,rounds)]
|
|
lons = [i/(rounds/360.)-180 for i in range(0,rounds)]
|
|
|
|
for i in range(0, rounds):
|
|
even_lat = lats[i]
|
|
#even_lat = random.uniform(-85, 85)
|
|
even_lon = lons[i]
|
|
#even_lon = random.uniform(-180, 180)
|
|
odd_lat = even_lat + 1e-3
|
|
odd_lon = min(even_lon + 1e-3, 180)
|
|
decoder = cpr_decoder([odd_lat, odd_lon])
|
|
|
|
#encode that position
|
|
(evenenclat, evenenclon) = cpr_encode(even_lat, even_lon, False, surface)
|
|
(oddenclat, oddenclon) = cpr_encode(odd_lat, odd_lon, True, surface)
|
|
|
|
#try to perform a global decode -- this should fail since the decoder
|
|
#only has heard one position. need two for global decoding.
|
|
icao = random.randint(0, 0xffffff)
|
|
try:
|
|
evenpos = decoder.decode(icao, evenenclat, evenenclon, False, surface)
|
|
raise Exception("CPR test failure: global decode with only one report")
|
|
except CPRNoPositionError:
|
|
pass
|
|
|
|
#now try to do a real decode with the last packet's odd complement
|
|
#watch for a boundary straddle -- this isn't fatal, it just indicates
|
|
#that the even and odd reports lie on either side of a longitudinal boundary
|
|
#and so you can't get a position
|
|
try:
|
|
(odddeclat, odddeclon, rng, brg) = decoder.decode(icao, oddenclat, oddenclon, True, surface)
|
|
except CPRBoundaryStraddleError:
|
|
bs += 1
|
|
continue
|
|
except CPRNoPositionError:
|
|
raise Exception("CPR test failure: no decode after even/odd inputs")
|
|
|
|
if abs(odddeclat - odd_lat) > threshold or abs(odddeclon - odd_lon) > threshold:
|
|
print "F odddeclat: %f odd_lat: %f" % (odddeclat, odd_lat)
|
|
print "F odddeclon: %f odd_lon: %f" % (odddeclon, odd_lon)
|
|
raise Exception("CPR test failure: global decode error greater than threshold")
|
|
# else:
|
|
# print "S odddeclat: %f odd_lat: %f" % (odddeclat, odd_lat)
|
|
# print "S odddeclon: %f odd_lon: %f" % (odddeclon, odd_lon)
|
|
|
|
nexteven_lat = odd_lat + 1e-3
|
|
nexteven_lon = min(odd_lon + 1e-3, 180)
|
|
|
|
(nexteven_enclat, nexteven_enclon) = cpr_encode(nexteven_lat, nexteven_lon, False, surface)
|
|
|
|
#try a locally-referenced decode
|
|
try:
|
|
(evendeclat, evendeclon) = cpr_resolve_local([even_lat, even_lon], [nexteven_enclat, nexteven_enclon], False, surface)
|
|
except CPRNoPositionError:
|
|
raise Exception("CPR test failure: local decode failure to resolve")
|
|
|
|
#check to see if the positions were valid
|
|
if abs(evendeclat - nexteven_lat) > threshold or abs(evendeclon - nexteven_lon) > threshold:
|
|
print "F evendeclat: %f nexteven_lat: %f evenlat: %f" % (evendeclat, nexteven_lat, even_lat)
|
|
print "F evendeclon: %f nexteven_lon: %f evenlon: %f" % (evendeclon, nexteven_lon, even_lon)
|
|
raise Exception("CPR test failure: local decode error greater than threshold")
|
|
|
|
print "CPR test successful. There were %i boundary straddles over %i rounds." % (bs, rounds)
|