На плечах гигантов

Строим серьёзно

Собственный центр обработки данных. Сеть между серверами — до 200 Гбит/с. Такая инфраструктура есть у немногих. Мы — в их числе.

На чьих плечах

• Жозеф Фурье — спектральный анализ. Двести лет оставался чистой теорией, пока не появились вычислительные машины.
• Уильям Гамильтон — векторная алгебра. Математический аппарат, на котором стоит вся современная физика и обработка сигналов.
• Герман Гельмгольц — акустические резонаторы. Физический аналоговый фильтр, работающий без единого транзистора.
• Алан Тьюринг — теория вычислений. Основа любой современной системы обработки данных.
• Огюстен Коши — матричная алгебра, определители, собственные значения. Математический аппарат, на котором стоит обработка сигналов.

Технологии

Языки: C#, C++, Go, PHP, Python, Fortran, ассемблер.

Базы данных: MySQL, PostgreSQL, ClickHouse, MongoDB, Redis.

Фронтенд: React, JavaScript, TypeScript.

Инфраструктура: Linux, Docker, Kubernetes, Azure, MikroTik.

Обработка сигналов: FFT, SFT, SIMD, GPU Vectorization.

Сети: 100 Гбит/с.

Не музей

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

Сегодня эти формулы превратились в FFT — Fast Fourier Transform, быстрое преобразование Фурье. Алгоритм, без которого не было бы ни Shazam, ни MP3, ни JPEG, ни 5G, ни Wi-Fi. И не было бы SkyEar.

Математика та же. Скорость другая. Именно вычислительная техника сдула пыль с трудов Фурье.

Фурье не пылится на полке. Он работает.

Мы не просто используем формулы — мы знаем и любим математику. Наши специалисты с удовольствием обсудят с вами любые темы: от таблицы умножения до тонкостей применения интегралов Лебега. А если захотите — расскажут про бесконечные миры Георга Кантора. Там живут бесконечные бесконечности. Некоторые очень мощные — их даже вообразить нельзя. А некоторые — совсем слабаки: их даже посчитать можно.

Осторожно: это затягивает.

Следим за наукой

Наши специалисты постоянно следят за новыми веяниями в науке. Например — за развитием Sparse Fourier Transform, направления, которое Haitham Al Hassanieh заложил в своей докторской диссертации (MIT, 2016). SFT работает быстрее классического FFT для разреженных сигналов — а именно такие сигналы дают дроны, катера и техника.

И за работами доктора физико-математических наук Михаила Хлебникова по робастным системам управления. Его книга «Управление линейными системами при внешних возмущениях» (2014) — настольная для одного из наших специалистов.

По сравнению с Фурье, который пролежал на полке двести лет, это совсем новые веяния. Мы работаем и с тем, и с другим.

Современная вычислительная база

Те, у кого мы учились

Левон Сергеевич Атанасян — математик, автор школьного учебника геометрии (его знают миллионы) и научных работ по многомерной геометрии (их понимают единицы). Профессор МПГУ, работал в ЮНЕСКО. Один из нас сдавал ему зачёт.

Борис Николаевич Кукушкин — математик, автор учебных пособий по матанализу и научной работы об интегралах, связанных с функцией Кантора (St. Petersburg Mathematical Journal, 2004). Был научным руководителем одного из нашей команды.

Феликс Александрович Кабаков — математик, специалист по математической логике и теории алгоритмов. Ученик Петра Сергеевича Новикова, работал в Математическом институте им. В. А. Стеклова АН СССР. Его работы по интуиционистской логике публиковались в «Докладах Академии наук СССР» — в частности, статья «Об интуиционистской выводимости некоторых реализуемых формул логики высказываний» (том 192, № 2, 1970) и работа «О моделировании псевдобулевых алгебр по реализуемости» (том 192, 1970). Более ранняя работа вышла в «Zeitschrift für mathematische Logik und Grundlagen der Mathematik» (1963). Его результаты цитируются в научной литературе — в частности, в работах Д. П. Скворцова по финитной общезначимости пропозициональных формул. Один из нас учился у него.

Анатолий Павлович Повадин — автор патентов РФ по судовой навигации и ориентированию. Разработал оптическую систему ориентирования судов с точностью ±3–5 метров. Один из его патентов — «Способ проводки морских и речных судов по заданному курсу» — зарегистрирован на его имя единолично. Соавтор учебных пособий по физике и аттестации рабочих мест на водном транспорте. Его ученики — в нашей команде.

Василий Ильич Нечаев — математик, доктор физико-математических наук, профессор, заведующий кафедрой теории чисел МПГУ (1978–1999). Ведущий научный сотрудник Математического института им. В. А. Стеклова РАН. Специалист по аналитической теории чисел, линейно-рекуррентным последовательностям над конечными полями и дискретному логарифму — областям, лежащим в основе современной криптографии. Автор классического учебника «Числовые системы» и первого в отечественной педагогике учебника по криптографии. Ученик академика И. М. Виноградова. Один из наших специалистов — его ученик.

Руководитель

До SkyEar — начальник отдела и заместитель руководителя департамента корпоративной безопасности федеральной розничной сети (более 2 000 торговых точек, десятки складов по всей России).

Чем занимался:

• Внедрял системы контроля и управления доступом (СКУД), видеонаблюдения (СВН) и охранно-пожарную сигнализацию (ОПС).
• Разворачивал антифрод-системы в рознице — автоматический аудит кассовых операций, выявление махинаций с бонусными картами, подозрительных отмен чеков.
• Строил регламенты контроля цепочек поставок дорогостоящей техники — от распределительных центров до полок магазинов.
• Разрабатывал KPI для директоров магазинов и региональных менеджеров, увязанных с уровнем недостачи.
• Переформатировал работу с ЧОП на объектах компании.

Сертификаты: Cisco, Microsoft, Paradox, «Семь печатей», «Аккорд СБ».

Сегодня — независимый эксперт в инженерно-технической экспертизе сложных СКУД и охранных комплексов.

Этот опыт — на стыке ИТ, физической безопасности и инженерии — лежит в основе SkyEar.

Начальник отдела программирования

8 лет в Microsoft — старший архитектор Microsoft Consulting Services. Работа с крупнейшими заказчиками в России: Сбербанк, Билайн, МТС, Газпром, Лукойл, Роснефть, МГТС. Разработка систем миграции данных в облачную инфраструктуру Azure, методологическая поддержка заказчиков в миграции на новые технологии .Net, разработка архитектуры микросервисных приложений.

4 года в Dell — руководитель отдела поддержки онлайн-приложений. Координация действий между отделами глобальной поддержки Dell. Планирование и оптимизация инфраструктуры онлайн приложений для региона Dell EMEA.

Более 11 лет в VIAcode — руководитель департамента разработки распределённых систем мониторинга и автоматизации. Outsource для Microsoft. Системы мониторинга для SQL Azure, миграция приложений .Net на микросервисную архитектуру, полный цикл облачных приложений с использованием .Net Core и Azure.

Сертификаты Microsoft: MCP, MCSA, MCSE, MCTS — семь штук. Выпускник МПГУ, математик, специалист по алгебре. Английский — C2, в совершенстве.

Загрузчики для российских процессоров в рамках проектов импортозамещения. Ассемблер, отладка через JTAG, документация от вендора. Уровень, на котором ошибка означает, что плата не стартует.

И — да — освоил Go за две недели. Написал рабочий код при всей команде.

Команда

Звукорежиссёр с 35-летним стажем — знает про микрофоны и звукозапись всё.

Программист, освоивший Go за две недели и написавший рабочий код при всей команде.

Члены команды работали на СМ-1420 и ЕС-1045. Сейчас это штучный товар.

Мы не музей. Мы лаборатория, которая знает историю и строит будущее.

Мы продолжаем то, что было начато до нас. Те, кто перевернул современную математику — такие как Георг Кантор — конечно же, смотрят на всё это как на мышиную возню.