Сглаживание показаний скорости

Моя реализация фильтра Калмана, кроме сглаженных координат, дает еще вектор скорости, который мне удалось перевести из угловых величин в метры за секунду. Теперь, если даже передвигаться по Wi-Fi точкам, от которых локейшен-менеджер не может получить скорость, в моем компоненте скорость будет доступна и довольно достоверна.

Скоро напишу подробнее о ФК и его реализации на Objective-C.

06.06.2013 • Метки: , , , • Рубрики: Разработка ПО • Комментариев: 1

Последний звонок 2013

Фото с последнего звонка, который я снимал в мае.
IMG_3306.jpg
Читать полностью »

03.06.2013 • Метки:  • Рубрики: Дневник, Сыночек Инокеша • Комментариев: 1

Фильтр Калмана: видео

Я тут нашел, как сымитировать движение по собственному треку на симуляторе и хочу показать вам Фильтр Калмана в действии.

Я подписал там характерные моменты и добавил музыку, чтобы не скучно было смотреть. Видео немного поможет вам почувствовать это волшебство, когда приемник передает позицию то там, то здесь, а булавочка все равно идет вместе с тобой.

01.06.2013 • Метки: , , • Рубрики: Разработка ПО • Комментировать

Полевые испытания фильтра Калмана

Я переписал фильтр Калмана для матриц размером 4x4, чтобы его можно было использовать для уточнения долготы и широты. Кроме того, в таком виде он сможет вычислять и скорость движения более точно. После отладки фильтра на Питоне, я переписал его на Objective-C++, выбрав матричную библиотеку GLM.

Матричный Калман показал себя очень хорошо. Вечером с Кеней ходили вокруг квартала 85% по вайфаю — все равно показывает фактически, как идешь, но с отставанием метров на 30-40. При этом измеряемый локейшен прыгает вокруг тебя чудовищно, от здания к зданию, а трек все равно выглядит, как по точному GPS-сигналу.

Я шел и не верил своим глазам. Такое впечатление, что это какая-то магия. Когда приемник переходит на спутниковый точный сигнал, отставание фильтрованной позиции от измеренной уходит и идешь, как обычно.

31.05.2013 • Метки: , , , , • Рубрики: Разработка ПО • Комментариев: 2

Фильтр Калмана

Вот и настал момент, когда пришлось с ним познакомиться поближе. Вкратце, это математический аппарат, который позволяет сглаживать данные на лету, не накапливая их для анализа. Используется для обработки показаний датчиков и любых приборов. Как правило, такие показания подвержены шумам и отклонениям, их нужно отсекать. Фильтра Калмана (ФК) позволяет отбрасывать пики и видеть усредненную, более вероятную картину процесса.

Рудольф Калман. Что бы мы без него делали. А ведь когда он придумал свой фильтр в 1960 году, то встретился с таким скептицизмом, что был вынужден опубликовать первые работы о нем в журнале, связанном с механикой, хотя сам занимался электротехникой.

Применений множество. Представьте датчик топлива в баке автомобиля. Он же болтается там внутри, если просто записать его показания, а потом попытаться проанализировать, получится, что в какой-то момент в баке было 30 л, через секунду 50, а потом 27. А это просто волны внутри гуляют. Сколько же в этот момент было в баке? ФК может дать более вероятный ответ.

Я сейчас делаю навигационные компоненты для iOS и столкнулся с проблемой биения сигнала и резкими скачками позиции при включении приемника. Переключение со спутникового сигнала на вайфай тоже дает неприятные перепады. Кроме того, моментальную и среднюю скорость тоже неплохо бы фильтровать. И начал разбираться.

Материалов по ФК много, мне показались лучшими эти документы: раз и два. Но ими лучше пользоваться потом, когда суть работы фильтра уже станет понятной.

Если очень кратко, то суть в том, что большинство явлений подчиняются Гауссовскому распределению вероятностей.


Например, мы думаем, что находимся в точке x. Но мы ведь можем ошибаться, потому, например, что отмеряли расстояние до x каким-нибудь прибором, а он, конечно, врет. Поэтому мы считаем, что находимся в точке x с какой-то вероятностью p. А может, мы сейчас в точке x', но вероятность этого меньше — p'. Ну такое вот распределение вероятностей.

Наиболее вероятный x посредине — это μ, математическое ожидание. Ширина этой "шляпы" зависит от σ2 — это дисперсия, квадрат стандартного отклонения. Чем больше отклонение, тем шляпа шире и неопределенность больше.

У этой кривой такое уравнение:

p = 1 σ 2 π e - x - μ 2 2 σ 2 (1)

Но его бояться не надо, т.к. нам надо искать середину, самый вероятный x. А в середине он равен μ, в числителе степени разница между x и μ дает 0, это многое потом упрощает.

Что же делает фильтр? Он помнит только одно значение x1 и его дисперсию σ2. Когда поступает новое значение x2 со своим отклонением r2, он умножает их (по правилам распределения, см. формулу 2) друг на друга и в результате будет новое значение x3 с погрешностью меньшей, чем у двух предыдущих!

Например, текущее значение фильтра — синее распределение. Поступает новое значение, со своим отклонением (красное). Фильтр перемножает их по правилам распределения (см. формулу 2) и получает новое распределение (зеленое). Оно гораздо точнее двух изначальных, т.к. его дисперсия меньше (см. формулу 3) и становится текущим значением фильтра.

Умножение распределений делается так:

x 3 = r 2 x 1 + σ 2 x 2 r 2 + σ 2 (2)

Дисперсия тоже уточняется:

σ 2 ’ = 1 1 r 2 + 1 σ 2 (3)

И тоже становится текущей. Поступает еще значение, состояние еще больше уточняется и так далее.

Я разобрался с принципом работы фильтра, пройдя этот онлайн-курс. Там дядечка рассказывает все довольно понятно, на каком-то этапе видео останавливается и ты должен ответить на вопросы или дописать кусок функции (на питоне), чтобы подтвердить, что ты усвоил материал.

В процессе прохождения этого курса я написал скалярную и матричную версию фильтра, выкладываю их здесь.

Матричная версия, классический фильтр Калмана:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
# Multi-dimensional Kalman Filter from online course
# https://www.udacity.com/course/viewer#!/c-cs373/l-48723604/m-48670988
# written by Pavel Malinnikov, May 2013


from math import *
from random import *
import matplotlib.pyplot as plt


class matrix:

    # implements basic operations of a matrix class

    def __init__(self, value):
        self.value = value
        self.dimx = len(value)
        self.dimy = len(value[0])
        if value == [[]]:
            self.dimx = 0

    def zero(self, dimx, dimy):
        # check if valid dimensions
        if dimx < 1 or dimy < 1:
            raise ValueError, "Invalid size of matrix"
        else:
            self.dimx = dimx
            self.dimy = dimy
            self.value = [[0 for row in range(dimy)] for col in range(dimx)]

    def identity(self, dim):
        # check if valid dimension
        if dim < 1:
            raise ValueError, "Invalid size of matrix"
        else:
            self.dimx = dim
            self.dimy = dim
            self.value = [[0 for row in range(dim)] for col in range(dim)]
            for i in range(dim):
                self.value[i][i] = 1

    def show(self):
        for i in range(self.dimx):
            print self.value[i]
        print ' '

    def __add__(self, other):
        # check if correct dimensions
        if self.dimx != other.dimx or self.dimy != other.dimy:
            raise ValueError, "Matrices must be of equal dimensions to add"
        else:
            # add if correct dimensions
            res = matrix([[]])
            res.zero(self.dimx, self.dimy)
            for i in range(self.dimx):
                for j in range(self.dimy):
                    res.value[i][j] = self.value[i][j] + other.value[i][j]
            return res

    def __sub__(self, other):
        # check if correct dimensions
        if self.dimx != other.dimx or self.dimy != other.dimy:
            raise ValueError, "Matrices must be of equal dimensions to subtract"
        else:
            # subtract if correct dimensions
            res = matrix([[]])
            res.zero(self.dimx, self.dimy)
            for i in range(self.dimx):
                for j in range(self.dimy):
                    res.value[i][j] = self.value[i][j] - other.value[i][j]
            return res

    def __mul__(self, other):
        # check if correct dimensions
        if self.dimy != other.dimx:
            raise ValueError, "Matrices must be m*n and n*p to multiply"
        else:
            # subtract if correct dimensions
            res = matrix([[]])
            res.zero(self.dimx, other.dimy)
            for i in range(self.dimx):
                for j in range(other.dimy):
                    for k in range(self.dimy):
                        res.value[i][j] += self.value[i][k] * other.value[k][j]
            return res

    def transpose(self):
        # compute transpose
        res = matrix([[]])
        res.zero(self.dimy, self.dimx)
        for i in range(self.dimx):
            for j in range(self.dimy):
                res.value[j][i] = self.value[i][j]
        return res

    # Thanks to Ernesto P. Adorio for use of Cholesky and CholeskyInverse functions

    def Cholesky(self, ztol = 1.0e-5):
        # Computes the upper triangular Cholesky factorization of
        # a positive definite matrix.
        res = matrix([[]])
        res.zero(self.dimx, self.dimx)

        for i in range(self.dimx):
            S = sum([(res.value[k][i]) ** 2 for k in range(i)])
            d = self.value[i][i] - S
            if abs(d) < ztol:
                res.value[i][i] = 0.0
            else:
                if d < 0.0:
                    raise ValueError, "Matrix not positive-definite"
                res.value[i][i] = sqrt(d)
            for j in range(i + 1, self.dimx):
                S = sum([res.value[k][i] * res.value[k][j] for k in range(self.dimx)])
                if abs(S) < ztol:
                    S = 0.0
                res.value[i][j] = (self.value[i][j] - S) / res.value[i][i]
        return res

    def CholeskyInverse(self):
        # Computes inverse of matrix given its Cholesky upper Triangular
        # decomposition of matrix.
        res = matrix([[]])
        res.zero(self.dimx, self.dimx)

        # Backward step for inverse.
        for j in reversed(range(self.dimx)):
            tjj = self.value[j][j]
            S = sum([self.value[j][k] * res.value[j][k] for k in range(j + 1, self.dimx)])
            res.value[j][j] = 1.0 / tjj ** 2 - S / tjj
            for i in reversed(range(j)):
                res.value[j][i] = res.value[i][j] = -sum([self.value[i][k] * res.value[k][j] for k in range(i + 1, self.dimx)]) / self.value[i][i]
        return res

    def inverse(self):
        aux = self.Cholesky()
        res = aux.CholeskyInverse()
        return res

    def __repr__(self):
        return repr(self.value)


########################################
result = []

def kalman(x, P):
    for n in range(len(positions)):

        # measurement update
        z = matrix([[positions[n]]])
        y = z - H * x
        S = H * P * H.transpose() + R
        K = P * H.transpose() * S.inverse()
        x = x + (K * y)
        P = (I - K * H) * P

        # prediction
        x = F * x + u
        P = F * P * F.transpose()

        result.append(x.value[0][0])
        speed.append(x.value[1][0])

########################################

seed()

data = [5. + x * .3 for x in range(50)]

positions = [x + random() * randint(-1, 1) * 5 for x in data]

x = matrix([[0.], [0.]]) # initial state (location and velocity)
P = matrix([[1000., 0.], [0., 1000.]]) # initial uncertainty
u = matrix([[0.], [0.]]) # external motion
F = matrix([[1., 1.], [0, 1.]]) # next state function
H = matrix([[1., 0.]]) # measurement function
R = matrix([[4.]]) # measurement uncertainty
I = matrix([[1., 0.], [0., 1.]]) # identity matrix

speed = []

kalman(x, P)

plt.plot(data, 'b')
plt.plot(positions, 'r')
plt.plot(result, 'g')
plt.plot(speed, 'y')

plt.show()

А это скалярная, упрощенная реализация. Я сразу попробовал ее на раздельном сглаживании широты и долготы. Тренировался на треках, которые люди загружают на OpenStreetMap. Вот она:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
# One-dimensional Kalman Filter testing for geo-track data smoothing
# Tracks were taken from http://www.openstreetmap.org/traces
# Pavel Malinnikov, May 2013


import matplotlib.pyplot as plt
import xml.etree.ElementTree as ET

tree = ET.parse('/Users/pavelmalinnikov/Downloads/1464857.gpx')
root = tree.getroot()

namespaces = {'ns':"http://www.topografix.com/GPX/1/1"}
# namespaces = {'ns':"http://www.topografix.com/GPX/1/0"}
points = root.findall(".//ns:trkpt", namespaces = namespaces)

if len(points) == 0:
    print 'Track loading failed'
    exit()

resultLng = []
resultLat = []

def update(mean1, var1, mean2, var2):
    new_mean = (var2 * mean1 + var1 * mean2) / (var1 + var2)
    new_var = 1 / (1 / var1 + 1 / var2)
    return [new_mean, new_var]

def predict(mean1, var1, mean2, var2):
    new_mean = mean1 + mean2
    new_var = var1 + var2
    return [new_mean, new_var]


positions = [[float(p.get('lon')), float(p.get('lat'))] for p in points]


longitudes = [position[0] for position in positions]
latitudes = [position[1] for position in positions]

motion_sig = 1.
measurement_sig = 10.

lng = longitudes[0]
lat = latitudes[0]
sigLng = 1.
sigLat = 1.


for i in range(len(positions)):
    lng, sigLng = update(lng, sigLng, longitudes[i], measurement_sig)
    lng, sigLng = predict(lng, sigLng, 0, motion_sig)
    resultLng.append(lng)

    lat, sigLat = update(lat, sigLat, latitudes[i], measurement_sig)
    lat, sigLat = predict(lat, sigLat, 0, motion_sig)
    resultLat.append(lat)


kalman = [[resultLng[i], resultLat[i]] for i in range(len(positions))]

plt.plot(*zip(*positions), color = 'r')
plt.plot(*zip(*kalman), color = 'g')

plt.show()

Вообще для таких целей как раз должна использоваться матричная версия, но для этого ее нужно переписать для матриц размером 4*4.

Скалярный вариант тоже справляется неплохо. Вот сглаженный трек (он специально упрощен больше чем надо, для наглядности):

Неплохо обрабатывает путь, убирает шум (красная линия — данные gps, зеленая — сглаженный путь):

Я думаю, ФК еще пригодится мне не раз. Он нужен везде. Так что выходные были потрачены не зря.

28.05.2013 • Метки: , , , • Рубрики: Разработка ПО • Комментариев: 11

Яндекс-острова

Яндекс придумал хорошую вещь — возможность для сайтов вставлять виджеты с частью функциональности в результат поиска:

Мне нравится эта идея, в первую очередь тем, что она должна заставить сайты при разработке подобных виджетов привести свою основную функциональность в порядок.

Магазинам актуализировать данные об ассортименте и остатках, таксопаркам о количестве свободных машин и т.д.

Боюсь только, что виджеты будут делать только те сайты, у которых и так все в порядке. А остальное большинство охламонов никакими островами не проймешь.

18.05.2013 • Метки: , , • Рубрики: Мысли вслух, Разработка ПО • Комментировать

О программировании

Меня тут часто стали спрашивать, чем я занимаюсь сейчас и вообще. Я вам сделаю небольшой обзорчик некоторых последних проектов.

Вот, например, одна фирма, разрабатывающая софт для Европы, заказывает у нас компоненты для iOS-приложений. Проекты небольшие, на 2 — 3 недели, но заковыристые. Нужно делать не совсем тривиальные вещи, требующие много исследований.

Чтобы дать представление об этих компонентах, покажу пару пояснительных записочек к некоторым из них.

Вот компоненты для создания навигационных программ:

А вот листалка страниц с предварительным кешированием:

Видео демки:

Пусть люди делают клевые приложения, мне будет приятно знать, что в них есть мои компоненты. Они тоже клевые, за них мне не стыдно, вот тебе и источник хорошего настроения.

У меня тоже есть программа в эппловском Аппсторе. "The Tracker" называется. Показывает друзей на карте.

Их можно не только в телефоне видеть, кстати, но и на сайте GPSov.net. Пользователей около 5000 человек уже, но активно пользуются около 10%:

Как-то для английской фирмы  Calibr8 Ltd я делал софтину для работы с их оборудованием через ком-порт. Несмотря на то, что программа под Виндовс, делал я ее в макоси. Англичанам была нужна поддержка от Виндовс 98 до Виндовс 7. Сделал на С++ (MFC) — красота. Англичане довольны: "We are very pleased with the software", говорят. Ну а чего же не быть pleased, если там все четко, асинхронно, безопасно, как я люблю. Тоже есть видео разработки, кстати.

Недавно обнаружил, что они на Ebay ее продают по 55 фунтов. Надо было с них больше денег брать :-)

Ну в общем, все в таком духе. Но это проекты, которые мы делаем для внешних заказчиков.

А вообще основная работа происходит по решению задач предприятия. Автоматизация, документооборот, в торговой компании много всего. Оракл, Flex, яваскрипт, php, C++,  всего не перечислишь. Вот сейчас синхронизацию с ToodleDo делаю, завтра еще что-то будет.

Основные следы есть в резюме, у меня есть еще и английский вариант.

Хотя... резюме — это одна страница, а за 14 лет столько всего было. А будет еще больше, каждый день что-то новенькое. Ну и отлично.

Вот этим я и занимаюсь.

P. S. А еще раньше я делал OpenGL-игрушки с физикой, когда никаких огров и физдвижков в помине не было. Но это другая история.

14.05.2013 • Рубрики: Разработка ПО • Комментариев: 3

Война, отец и деды

Был у родителей, смотрел альбом со старыми фотографиями. Надо бы его оцифровать полностью, но пока сделал на телефон только несколько снимков деда и отца.

О моем деде по отцу, я знаю мало. По рассказам отца, он был из донских казаков, 1903 года рождения.

Перед войной работал на Ростовском заводе Октябрьской революции по выпуску красок. Потом на РостСельМаше в литейном цехе. Во время войны попал в плен и был в Освенциме, но ему удалось выжить. После войны работал на на заводе ДонСода в Лисичанске. Умер в 1975 году, за несколько месяцев до моего рождения.

Вот мой дед, Арсентий Иванович Малинников, в молодости:

Дед с маминой стороны, Макуха Петр Васильевич, тоже воевал, был танкистом, командиром отделения. По документам пропал без вести, но скорее всего, погиб на Курской дуге. В последнем письме он упоминал, что их направляют туда. Я нашел запись о нем в ОБД "Мемориал" (кликабельно): 

Есть там записи и о его брате, Виталии.

Сейчас многие архивы выкладывают материалы в интернет, вот, например, я нашел наградной лист дедова племянника, он тоже Арсентий Иванович Малинников. "Красная Звезда":

Мой папа, Арсентий Арсентьевич Малинников, тоже участник войны, но не боевых действий. Несмотря на то, что ему было только 11 лет в 1941 году, он уже работал в колхозе, проработал всю войну. А потом был призван на балтийский флот, был старшиной 2-й статьи на малом охотнике:

У папы есть свой сайт, где публикуются его стихи и песни. Его песни используются для праздников, спектаклей, а недавно его стихи о Ростове выбрали для печати большого календаря с видами города.

По мере сил я собираю сведения об истории семьи. Когда-нибудь Кеня заинтересуется этим и они пригодятся. И вообще, мне кажется это правильным, знать свою историю, думать о людях, продолжением жизни которых  являешься ты сам.

09.05.2013 • Метки: , , , • Рубрики: Дневник • Комментировать

Драйверы МТС-модемов

Недавно пришлось попытаться воспользоваться модемом AnyData, который МТС дает для пользования своим 3G-интернетом. Драйвера для макоси на сайте МТС есть, но последняя версия — 10.6.

У меня 10.8.3, самая свежая на этот момент, но решил поставить дрова для 10.6. Как выяснилось, зря. После установки драйверов настройки сети перестали открываться, любые действия с сетью замораживали Safari, Mail и другие приложения навсегда.

Вот такой подарочек нам устроила МТС без объявления войны в очень ответственный момент. Хорошо еще, что был другой бук под рукой. Пострадавший MBP пришлось восстанавливать из тайм-машины полностью, 4 часа. При загрузке надо держать Cmd+R и откроется консоль восстановления.

Радует все-таки макось своей машиной времени. Потому что она работает. На виндовсе мне ни разу не удалось восстановить систему тогда, когда это было нужно. Все время находились какие-то причины, с бекапами что-то случилось или они не создавались, в общем, сам дурак.

А в макоси все рраз — и работает, прямо возвращается вера в человечество. Люблю макось.

02.05.2013 • Метки: , , , , • Рубрики: Дневник • Комментировать

Про еду

Недавно посмотрел фильм "Food Inc." (Корпорация "Еда"). Он уже довольно старый, но я раньше не видел. Вкратце, там показано, что почти все продукты содержат вещества, синтезированные из сои и кукурузы. Синтезировать можно все, что угодно, даже в батарейках что-то там используется. В общем, грубо говоря, все делается из этого.

Этот фильм немного изменил мои представления насчет генно-модифицированных продуктов. Я не считал, что ГМО вредны, но после просмотра понял, что вредна не генная модификация сама по себе, а то, что измененные таким образом продукты можно обрабатывать такими ядами, после которых не остаются в живих ни сорняки, ни насекомые-вредители. А модифицированная культура (например, соя) не погибает и без помех дает зверские урожаи.

Еще одной неожиданностью для меня стало, что некоторые сорта этой модифицированной сои запатентованы и защищаются законом об авторском праве, поэтому фермеры, покупая семена, не могут оставлять их себе для дальнейшей селекции. Есть детективные службы, следящие за фермерами, черные списки и т.д.

Если фермер не хочет выращивать эту патентованную сою, у него на участке по-честному берут пробы и находят проросшие "авторские" семена. Попробуй, защити свой участок от соседского опыления. А дальше фермер судится с огромной корпорацией, результат понятен.

Итого, синтезированные вещества, владельцами которых являются 4 корпорации, входят в состав 95% всех продуктов на Земле. По-моему, это называется "приехали". Ну и дополнительными бонусами идут законы об уголовной ответственности за критику технологии производства гамбургеров в некоторых штатах и проч.

В общем, кто не видел, посмотрите, будет интересно.

10.03.2013 • Метки: , , , • Рубрики: Книги и кино • Комментировать