Mi ants cam приложение. Обзор камеры Xiaomi Ants Smart. Демократичный клон Dropcam. Умная система распознавания движений

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п. Журнал предназначен для исследователей, практиков и студентов. Периодичность выпуска – 6 номеров в год. Журнал внесен в список ВАК.

Архив научных статейиз журнала «Программирование»

• АВТОМАТИЗАЦИЯ СОЗДАНИЯ ТАБЛИЦЫ КОНФИГУРАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ В АВИОНИКЕ

  БАТОВА С.В., БЛАГОНРАВОВ С.А., ЖАРИНОВ И.О., КОНОВАЛОВ П.В., УТКИН С.Б. - 2015 г.

  Рассматривается задача автоматизации процесса создания таблиц конфигурации операционных систем реального времени. Вводится классификация конфигурационной информации программного обеспечения систем реального времени: зависимая от целевой функции системы; зависимая от используемой операционной системы; зависимая от аппаратуры системы. Вводятся информационные связи компонентов специализированной системы автоматизации проектирования конфигурации для операционных систем с другими функциональными элементами инструментального программного обеспечения в составе рабочего места программиста. Описывается разработанная авторами автоматизированная среда конфигурирования программного обеспечения. Приводятся примеры рабочих окон программы автоматизации проектирования для конфигурирования компонентов программного обеспечения систем авионики, в основе которых лежит операционная система реального времени, соответствующая стандарту ARINC 653.

• АВТОРСКИЙ УКАЗАТЕЛЬ СТАТЕЙ, ОПУБЛИКОВАННЫХ В 2014 ГОДУ
• АЛГОРИТМ ПРОВЕРКИ ТРИВИАЛЬНОСТИ «СМЕШАННЫХ» ИДЕАЛОВ В КОЛЬЦЕ ДИФФЕРЕНЦИАЛЬНЫХ МНОГОЧЛЕНОВ

  ЗОБНИН А.И., ЛИМОНОВ М.А. - 2015 г.

  В статье предлагается алгоритм проверки тривиальности идеала [f] + (h 1,...., h t) в обыкновенном кольце дифференциальных многочленов при некотором дополнительном условии на многочлен f. Эта задача тесно связана, с одной стороны, с задачей Колчина об экспонентах дифференциальных идеалов, а с другой - с вопросами конечности дифференциальных стандартных базисов.

• АЛГОРИТМИЧЕСКИЕ ВОПРОСЫ КОНЪЮНКТИВНОЙ ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФОРМУЛ

  ЕМЕЛЬЯНОВ П.Г., ПОНОМАРЕВ Д.К. - 2015 г.

  Под конъюнктивной декомпозицией понимают отыскание двух или более формул, компонент декомпозиции, конъюнкция которых эквивалентна исходной формуле. Декомпозиция называется дизъюнктной, если множества переменных у компонент не пересекаются. В статье показано, что проблема существования дизъюнктной конъюнктивной декомпозиции является трудной для булевых формул, заданных в КНФ/ДНФ. Для позитивных ДНФ, СДНФ и АНФ показано существование полиномиального алгоритма для нахождения компонент дизъюнктной декомпозиции. Данный результат следует из эффективной факторизации полилинейных полиномов над конечным полем порядка 2, для которой в статье предложен алгоритм, основанный на тестировании равенства нулю частных производных полилинейных полиномов.

• АССОЦИИРОВАННЫЕ ТИПЫ И РАСПРОСТРАНЕНИЕ ОГРАНИЧЕНИЙ НА ПАРАМЕТРЫ-ТИПЫ ДЛЯ ОБОБЩЁННОГО ПРОГРАММИРОВАНИЯ НА SCALA

  ПЕЛЕНИЦЫН А.М. - 2015 г.

  Обобщённое программирование представляет собой принцип создания программных компонент, характеризующихся высокой степенью повторной используемости за счёт отделения реализации алгоритмов от конкретных определений типов данных, с которыми работают эти алгоритмы. В последние годы проведён ряд исследований, направленных на выявление имеющихся и разработку новых механизмов поддержки обобщённого программирования в различных языках программирования. В данной работе анализируются и развиваются подходы к реализации обобщённого программирования с использованием различных элементов языка программирования Scala, разработанного в Федеральной политехнической школе Лозанны специалистом в теории и реализации языков программирования Мартином Одерски.

• ВЫСОКОУРОВНЕВАЯ МОДЕЛЬ ПАМЯТИ ПРОМЕЖУТОЧНОГО ЯЗЫКА JESSIE С ПОДДЕРЖКОЙ ПРОИЗВОЛЬНОГО ПРИВЕДЕНИЯ ТИПОВ УКАЗАТЕЛЕЙ

  МАНДРЫКИН М.У., ХОРОШИЛОВ А.В. - 2015 г.

  В статье представлен промежуточный язык, предназначенный для использования в качестве целевого анализируемого языка при верификации промышленного кода на языке GNU С (в частности, модулей ядра Linux). Язык представляет собой расширение существующего промежуточного языка, используемого подключаемым модулем JESSIE в системе статического анализа Frama-C. Он имеет семантику, совместимую с семантикой языка Си (в частности, для массивов), изначально поддерживает различаемые объединения и префиксные (иерархические) приведения типов указателей на структуры, и расширен ограниченной поддержкой низкоуровневого приведения типов указателей. Подходы к трансляции исходного Си-кода в промежуточный язык, а также трансляции промежуточного языка во входной язык платформы дедуктивной верификации Why3 рассматриваются на примерах. Эти примеры иллюстрируют выразительность расширенного промежуточного языка и эффективность получаемых аксиоматических спецификаций.

• ДОКАЗАТЕЛЬСТВО СВОЙСТВ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ МЕТОДОМ НАСЫЩЕНИЯ РАВЕНСТВАМИ

  ГРЕЧАНИК С.А. - 2015 г.

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

• ИССЛЕДОВАНИЕ ОДНОЙ ВЕЩЕСТВЕННОЙ АЛГЕБРАИЧЕСКОЙ ПОВЕРХНОСТИ

  БАХТИН А.Б., БРЮНО А.Д. - 2015 г.

  Дается описание некоторого вещественного алгебраического многообразия в R 3. Это многообразие играет важную роль в исследовании нормализованного потока Риччи на обобщенных пространствах Уоллаха. Для понимания структуры многообразия дается описание всех его особых точек. В силу наличия внутренней симметрии изучаемого объекта, часть исследования проводится с использованием элементарных симметрических многочленов. Все вычисления в препринте выполнены с использованием алгоритмов компьютерной алгебры, в частности, с использованием базисов Грёбнера и алгоритмов работы с полиномиальными идеалами. В качестве сопутствующего результата сформулировано и доказано утверждение о структуре дискриминантной поверхности кубического многочлена.

• КАЧЕСТВЕННОЕ ИССЛЕДОВАНИЕ МОДЕЛИ ГЕНА С ИСПОЛЬЗОВАНИЕМ АЛГОРИТМОВ КОМПЬЮТЕРНОЙ АЛГЕБРЫ

  БУЛЬЕ ФРАНСУА, ЛЁМЭР ФРАНСУА, РОМАНОВСКИЙ ВАЛЕРИЙ, ХАН МАОАН - 2015 г.

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

• КОМПАКТНОЕ ПРЕДСТАВЛЕНИЕ ПОЛИНОМОВ ДЛЯ АЛГОРИТМОВ ВЫЧИСЛЕНИЯ БАЗИСОВ ГРЁБНЕРА И ИНВОЛЮТИВНЫХ БАЗИСОВ

  ЯНОВИЧ Д.А. - 2015 г.

  При вычислении базисов Грёбнера и инволютивных базисов с рациональными коэффициентами львиную долю памяти занимают числа произвольной точности, но в случае модулярных вычислений, а особенно при нахождении булевых базисов на первое место выходит проблема компактного представления мономов в составе полиномов системы. Для этого используют, к примеру, ZDD диаграммы и прочие структуры, которые осложняют выполнение типичных операций алгоритмов - умножения на моном и редукции полиномов. В данной работе сделана попытка создания удобного (в смысле вычисления базисов) и компактного представления полиномов на основе хэш-таблиц, приведены результаты тестовых прогонов.

• КОМПАРАТИВНАЯ ТРАССОВАЯ СЕМАНТИКА ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ

  БУШИН Д.И., ВИРБИЦКАЙТЕ И.Б. - 2015 г.

  В данной работе определяется и исследуется семейство трассовых эквивалентностей в иптерлbвинговой, шаговой, частично-упорядоченной и недетерминированной семантиках в контексте временных безопасных сетей Петри. Изучаемые эквивалентности основываются как на классическом понятии последовательностей срабатываний переходов, так и на временных процессах, т.е. временных расширениях сетей-процессов за счет сопоставления глобальных моментов времени срабатываниям переходов. Устанавливаются взаимосвязи эквивалентностей и строится иерархия классов эквивалентных временных сетей Петри.

• КОНФИГУРИРУЕМАЯ СИСТЕМА СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ ЯДРА ОПЕРАЦИОННЫХ СИСТЕМ

  ЗАХАРОВ И.С., МАНДРЫКИН М.У., МУТИЛИН В.С., НОВИКОВ Е.М., ПЕТРЕНКО А.К., ХОРОШИЛОВ А.В. - 2015 г.

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

• МОДЕЛИРОВАНИЕ КВАНТОВОГО АЛГОРИТМА ОПРЕДЕЛЕНИЯ ФАЗЫ

  ПРОКОПЕНЯ А.Н. - 2015 г.

  В статье обсуждается квантовый алгоритм оценки фазы, которая определяет собственное значение унитарного оператора. Предполагается, что собственный вектор оператора и соответствующая ему квантовая схема заданы. Регистр памяти, в который записывается приближеное значение фазы, содержит n кубитов, что позволяет определить фазу с точностью до 2 - n с вероятностью большей, чем 8/π 2. В качестве примера выполнены вычисления в случае квантового оператора сдвига фазы. Моделирование квантового алгоритма и вычисление собственного значения производится с помощью пакета “QuantumCircuit”, написанного на языке системы компьютерной алгебры Wolfram Mathematica, которая также используется для выполнения всех расчетов и визуализации полученных результатов.

• МОДЕЛИРОВАНИЕ ОКРУЖЕНИЯ С ИСПОЛЬЗОВАНИЕМ ШАБЛОНОВ ДЛЯ СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ ЯДРА LINUX

  ЗАХАРОВ И.С., МУТИЛИН В.С., ХОРОШИЛОВ А.В. - 2015 г.

  Модули ядра Linux функционируют в окружении, управляемом событиями. При статической верификации таких модулей необходимо учитывать все возможные сценарии взаимодействия между модулями и их окружением. Данная работа предлагает новый метод моделирования окружения, позволяющий автоматически генерировать модели окружения для заданного модуля ядра на основе анализа исходного кода модуля и набора спецификаций, описывающих шаблоны сценариев взаимодействий между модулями и их окружением. В спецификациях могут быть заданы как шаблоны сценариев для всего ядра Linux, так и детальные, которые характерны для определенной подсистемы. Это позволяет значительно сократить размер спецификации и позволяет верифицировать больше модулей с меньшими усилиями. Предложенный метод реализован в компоненте инструментария LDV Tools, который применяется для статической верификации модулей практически всех подсистем ядра Linux.

• ОБРАТИМЫЕ ПРЕОБРАЗОВАНИЯ ДАРБУ ТИПА I

  ШЕМЯКОВА Е.С. - 2015 г.

  В работе предложен общий категорпый подход к обратимым преобразованиям Дарбу. Для операторов произвольной размерности и произвольного порядка предлагается рассматривать преобразования Дарбу определенного вида - преобразования типа I. Получены явные красивые формулы. В частности, любые обратимые преобразования Дарбу первого порядка и, например, преобразования Лапласа являются преобразованиями типа. Для операторов третьего порядка на плоскости получены аналоги цепочек преобразований Дарбу.

• ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ НА ГРАФЕ

  БУРДОНОВ И.Б., КОСАЧЕВ А.С., КУЛЯМИН В.В. - 2015 г.

  Рассматривается задача параллельного вычисления значения функции от мультимножества значений, записанных в вершинах ориентированного графа. Вычисление выполняется автоматами, находящимися в вершинах графа и обменивающихся между собой сообщениями, передаваемыми по дугам графа (в направлении их ориентации). Предполагается, что ёмкость дуги, то есть число одновременно передаваемых по ней сообщений, ограничена. Вычисление инициируется сообщением, приходящим извне в автомат выделенной начальной вершины графа. Этот же автомат в конце работы посылает вовне вычисленное значение функции. Для решения этой задачи предлагаются два алгоритма. Первый алгоритм выполняет исследование графа, основанное на его обходе. Его цель - разметить граф с помощью изменения состояний автоматов в вершинах. Строятся прямой и обратный остовы графа. Прямой остов ориентирован от корня, которым является начальная вершина графа. Обратный остов ориентирован к тому же корню. Кроме того, в каждой вершине устанавливается значение счётчика входящих дуг обратного остова. Такая разметка используется вторым алгоритмом, который и производит вычисление значения той или иной функции. Это вычисление основано на алгоритме пульсации: сначала от автомата начальной вершины по всему графу распространяются сообщения-вопросы, которые должны достигнуть каждой вершины, а затем от каждой вершины “в обратную сторону” к начальной вершине двигаются сообщения-ответы. Алгоритм пульсации, по сути, вычисляет агрегатные функции, для которых значение функции от объединения мультимножеств вычисляется по значениям функции от этих мультимножеств. Однако показано, что любая функция f (x) имеет агрегатное расширение, то есть может быть вычислена как h(f0(x)), где f" - агрегатная функция. Заметим, что разметка графа не зависит от той функции, которая будет вычисляться. Это означает, что разметка графа выполняется один раз, после чего может многократно использоваться для вычисления различных функций.

• ПОИСК РАЦИОНАЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ И РАЗНОСТНЫХ СИСТЕМ С ПОМОЩЬЮ ФОРМАЛЬНЫХ РЯДОВ

  АБРАМОВ С.А. - 2015 г.

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

• ПОПОЛНЕНИЕ ОНТОЛОГИЙ НА ОСНОВЕ АЛГЕБРАИЧЕСКОГО ФОРМАЛИЗМА ИНФОРМАЦИОННЫХ СИСТЕМ И МУЛЬТИАГЕНТНЫХ АЛГОРИТМОВ АНАЛИЗА ТЕКСТА

  ГАРАНИНА Н.О., СИДОРОВА Е.А. - 2015 г.

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

• ПРИМЕНЕНИЕ МЕТОДОВ ИНТЕЛЛЕКТУАЛЬНОГО АНАЛИЗА ТЕКСТОВОЙ ИНФОРМАЦИИ ДЛЯ ПРЕДОТВРАЩЕНИЯ УТЕЧЕК ДАННЫХ

  МАШЕЧКИН И.В., ПЕТРОВСКИЙ М.И., ЦАРЕВ Д.В. - 2015 г.

  В настоящее время наибольшие риски для информационной безопасности организаций представляют не внешние, а внутренние угрозы. Для минимизации рисков, связанных с внутренними угрозами, используются DLP-системы. Основной функционал DLP-систем направлен на предотвращение утечки конфиденциальных данных, однако, в современных реалиях при сравнении DLP-систем на первое место начинают выходить их возможности по анализу перехваченной информации и удобстве проведения ретроспективных расследований. В статье представлен новый подход ретроспективного анализа работы корпоративного пользователя с текстовой информацией. Идея предлагаемого подхода состоит в тематическом анализе сложившихся в прошлом тенденций работы пользователя с текстовым контентом различных категорий, в том числе конфиденциальных, и прогнозировании его дальнейшего поведения. Тематический анализ работы пользователя предполагает определение основных тематик его текстового контента и соответствующие им веса в заданные интервалы времени. На основе отклонений поведения в работе пользователя с контентом от прогнозируемого можно выявить интервалы времени, когда работа с документами той или иной категории отличается от обычной (исторической) и когда велась работа с документами несвойственных категорий. Экспериментальные исследования предложенного подхода были проведены на примере реальной корпоративной переписки пользователей, сформированной из тестового набора данных Enron.

• РОГОВЫЕ СИСТЕМЫ ГОМОМОРФНОГО ШИФРОВАНИЯ И ЗАЩИТА ИНФОРМАЦИИ В ОБЛАЧНЫХ ВЫЧИСЛЕНИЯХ

  ВАРНОВСКИЙ Н.П., МАРТИШИН С.А., ХРАПЧЕНКО М.В., ШОКУРОВ А.В. - 2015 г.

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

Широко распространенный бренд Xiaomi (Сяоми) — сегодня хорошо известен потребителям на территории стран СНГ.

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

Улучшился и ассортимент продуктов. Сегодня в прайсах найдется не только надежный телефон, но и Xiaomi, видеорегистраторы, роутеры и многое другое.

Особенности продукции Xiaomi

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

1. Количество органов управления и регулировки — минимально. Однако кнопки и другие элементы позволяют легко получить доступ к нужному функционалу. При этом расположение каждого переключателя — тщательно продумано и удобно.
2. Устройства Xiaomi — подчеркнуто технологичны, в корпусах несколько минималистичного дизайна. Типичная WiFi камера видеонаблюдения для дома Xiaomi - это простой объектив, без избыточных регулировок, гладкий корпус с минимальными скруглениями, из пластика.
3. В аппаратных решениях наблюдается четкий баланс между стоимостью и уровнем технологии узлов и ключевых элементов. К примеру, используются сенсоры, позволяющие добиться идеальной картинки, отличающиеся надежностью и безотказностью. Но модельный ряд таких элементов конструкции — относится к сегменту давно применяемых, известных, не относящихся к последнему технолгическому поколению продуктов.
4. В разрезе применяемых программных оболочек также наблюдается стремление использовать недорогие и надежные решения. WiFi камера Xiaomi не предложит никаких изюминок. ПО для ее управления и настройки основано на стандартизированных оболочках, операционных системах. Оно надежно, предсказуемо, интуитивно понятно.

Изделия Xiaomi имеют еще одну отличительную черту: производитель стремится предложить, как можно больше полезного функционала.

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

Кроме этого, бренд следует по пути оптимальной совместимости всех своих устройств.

Это значит, что WiFi камера видеонаблюдения Xiaomi предусматривает доступ со смартфона этого производителя, управление и настройку с помощью фирменного ПО.

Именно из-за таких особенностей, продукция Xiaomi пользуется заслуженной популярностью у потребителей. Сегодня бренд не может похвастаться самыми привлекательными ценами.

Однако по общему балансу стоимости, удобства, простоты и функциональной наполненности — Xiaomi камера видеонаблюдения может уверенно выиграть соревнование у любого конкурента из своего ценового сегмента.

Обзор модельного ряда IP камер Xiaomi

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

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

Small Square Smart Camera

Небольшая, похожая на кубик на опоре — камера от Xiaomi предложит владельцу не только качественное изображение, но и широкие возможности доступа к данным.

К изюминкам технического решения относятся:

• полноценный оптический восьмикратный зум;
• разрешение изображения в 1920х1080 пикселей;
• режим ночной съемки и соответствующую инфракрасную подсветку;
• встроенный микрофон и динамик;
• датчик дыма и угарного газа.

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

Качественное изображение гарантируется 1/2.7″ CMOS сенсором. Камера работает при температуре от 0 до 40 градусов, потребляет всего 0,5 Ватта, имеет угол обзора в 110 градусов, может сохранять данные на карту емкостью до 64 Гб.

MiJia 360° Home Camera

Удобная, технологично выглядящая MiJia 360° Home Camera — построена на производительной процессорной платформе, имеет множество автоматических режимов регулировки, может изменять направление объектива на 75 градусов по вертикали.

К особенностям модели относятся:

1. многодиодная подсветка ночного режима, с дальностью до 10 метров;
2. подключение по WiFi, microUSB, возможность хранения данных на карте памяти до 32 Гб;
3. рабочий температурный диапазон — от -10 до +55 градусов. Если есть потребность и позволяют климатические условия, MiJia 360° Home Camera может использоваться как купольная уличная камера видеонаблюдения xiaomi, при установке в местах, где на устройство не попадет вода;
4. встроенный динамик и микрофон;
5. возможность подключения по Bluetooth 4.0;
6. датчик движения с собственной системой отсылки служебных сообщений.

Свое название данная камера получила благодаря еще одной особенности: блок с оптическим сенсором свободно вращается на 360 градусов. Устройство формирует видеопоток 1080р, сжатие Н.264, изображения до 1920х1080. В камере установлен сенсор 1\8″, разрешением в 4 Мп.

Yi Home International Edition

Если нужна камера для дома с универсальными возможностями, в том числе — в разрезе поддержки протоколов доступа, Yi Home International Edition станет приемлемым вариантом.

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

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

Хотя Yi Home International Edition не может похвастаться FullHD видео — она будет крайне удобна в роли видеоняни, устройства безопасности, детектора движения. Угол обзора камеры — 111 градусов, что позволяет охватить большую площадь наблюдения.

Dafang 1080P

Камера, которая называется фаворитом по мнению множества пользователей.

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

К ключевым изюминкам модели относятся:

1. наличие собственного WiFi трансмиттера, камера может выступать как отдельная точка доступа для прямого подключения;
2. длина волны инфракрасной подсветки с 6 диодами — 940нм, что позволяет выделять мельчайшие детали изображения в ночном режиме;
3. камера охватывает большую площадь благодаря углу обзора в 120 градусов;
4. возможности регулировки положения 93 градуса в вертикали и 360 по горизонтали.

Устройство может работать при температуре от 0 до 40 градусов, влажности до 90%, предусматривает подключение по WiFi, предлагается сохранение данных на карту памяти.

Интересно реализована и схема присоединения кабеля питания: в стационарную подставку на нескользящей присоске, на которой свободно вращается корпус камеры. Устройство формирует видеопоток FullHD 1080p, с разрешением изображения 1920х1080 пикселей.

YI Dome Camera 360°

Устройство, способное заменить сразу несколько камер - это YI Dome Camera 360°. К особенностям модели относится сервоприводный механизм.

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

К другим особенностям устройства относятся:

• настройка положения в двух степенях свободы, с полным поворотом на 360 градусов по горизонтали и 115 по вертикали;
• угол обзора в 120 градусов;
• встроенный датчик движения и система отсылки сообщений владельцу;
• встроенный микрофон и динамик, два типа голосовых вызовов;
• инфракрасная подсветка и ночная съемка;
• поддержка карт памяти.

Доступ к камере может осуществляться как через WiFi роутер, так и посредством прямого соединения со смартфоном.

Преимущества и недостатки камер Xiaomi

Камеры Xiaomi предлагают множество полезных возможностей за приемлемую цену.

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

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

Если используется оболочка от Xiaomi — соединение с камерой можно произвести буквально двумя касаниями сенсора. Не менее легко делается и настройка.

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

Заключение

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

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

Видео: Xiaomi MiJia 1080P обзор и настройка камеры видеонаблюдения

Xiaomi Yi или Xiaomi Ants (кому как удобней) — это не просто HD камера с широким углом обзор 111 градусов, но и камера видеонаблюдения или видеоняня! Установив камеру в детской комнате вы сможете в два клика не только увидеть и услышать на вашем смартфоне или планшете, что происходит в комнате, но также сможете передать голосовое сообщение где бы вы не находились!

Ведь Xiaomi Ants имеет прямой доступ к интернету через Wi-Fi.

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

Кроме того, Xiaomi Ants является одним из элементов «умного» дома от Xiaomi ().

Перейдем к характеристикам камеры:

Модель:	Xiaomi Yi (Ants или YHS-113)
Сенсор:	1\4" CMOS 720P (20 кадров в секунду)
Линза:	F2.0mm, 111 угол обзора
Wi-Fi модуль:	802.11bgn, wps
Память:	MicroSD слот
Микрофон\динамик:	Да.
Протокол:	IPV4, UDP,TCP, HTTP,RTP/RTSP,DHCP,P2P wep/wap/wppa2
Формат видео:	H.264 ,AAC
Совместимость:	Android, iOS
Кабель:	MicroUSB - 2.5м
Питание:	5В/1А

Немного информации:
Официальный сайт устройства —
Цена в Китае, на данный момент, 149 юаней с ожиданием или около 169, если с быстрой отправкой.

Собственно несколько элементов из умного дома: слева Xiaomi Ants, а справа Yeelight (умная лампочка).

Упаковка

Упаковка камеры отличается от привычной упаковки Xiaomi. Вместо привычной желтой плотной бумаги используется гладкая белая.
По прежнему лидирует минималистичный стиль. Сама упаковка выполнена добротно. Внутри присутствуют защитные бумажные бортики, которые надежно защищают товар.

Внешний вид

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

Сяоми Антс может менять наклон в пределах 180 градусов. Изменения угла возможно только по одной оси. Для изменения угла наклона нужно приложить небольшое усилие. Это хорошо потому, что в таком случае крепление не «разболтается» со временем и камера не будет «съезжать» под своим весом вверх и вниз.
Думал, что камера сможет еще и поворачиваться...А нет...не судьба.


База крепления имеет прорезиненное кольцо, которое обеспечивает устойчивость и стабильность камеры.
Странно,что нет крепления на стену. Вроде бы в каком-то ролике видел, что камеру крепили на стену...Странно...


Мини инструкция на китайском.
Комплектация

Помимо зарядки, которая, к слову, надежно спрятана в коробке, присутствует USB->>microUSB кабель (длинна 2.5м).

Зарядка, естественно, не европейского стандарта и нужен переходник. Характеристики: 5В/1А.

Xiaomi Yi обладает отличительной особенностью. Сам глазок камеры можно без проблем вынуть с конструкции.

На самой камере расположены: две заглушки, микроУСБ вход, слот для TF карточек, а также динамик и микрофон (Да-да-да...вы можете удаленно передавать информацию через камеру.) и кнопка Reset для сброса настроек камеры!

На фото показал расположение кнопки сброса, а также разговорного динамика. Микрофон расположен справа от УСБ входа.

Подключение

При подключении XiaoYi к питанию — загорается желтый светодиод, а через секунд 10 женский голос по-китайски что-то бормочет.
Для того, чтобы подключиться к камере, а также подключить камеру к интернету необходимо:

• 4. Обновить прошивку камеры, если это нужно.

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

Перед тем, как запускать приложение советую выпить 50 грамм. С наскока «обуздать» не получиться, но через пару минут «тыканья» все становится понятно.

Подключаемся к камере:

Интерфейс интуитивно понятный. Сверху опции и настройки приложения.
Снизу: подключиться к камере, передать голосовое сообщение, сделать скриншот.
Чуть повыше: полноэкранный режим, качество видео: высокое,среднее,низкое.
А также, если вставлена ТФ карточка — возможность просмотреть запись в определенный промежуток времени.

Изображение по бокам искажено и напоминает эффект «рыбий глаз».

В настройках еще особо не разбирался (их не много...), но имеется возможность запланированной съемки (включение в определенное время):

Пару снимков:

Съемка с плохим освещением:

Если есть люди знающие китайский — буду рад, если поможете с переводом.
Из-за активного Wi-Fi модуля камера нагревается до 33-35 градусов, а в активном состоянии нагревается до 35-38 градусов.
Через пару часов после тестирования я оставил камеру выключенной, но каково же было мое удивление, когда я я обнаружил, что она сама включилась. Был ли это глюк или нет...Не знаю.Но осадочек остался.

Настройка Xiaomi Ants

Подробная пошаговая инструкция будет добавлена позже,а также ссылка на русскую\английскую прошивку (Xiaomi Ants Yi firmware), как только прошивка появится в свободном доступе.

Вывод
XiaoYi — мне однозначно понравилась. Приятно удивило наличие динамика, а также планировка включения и выключения слежения... Качество Xiaomi присутствует, дизайн радует глаз своим минимализмом.

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

Камеру можно приобрести на или на сайте сайт по акции за меньше, !
За этим деньги вы навряд ли найдете, что нибудь лучше!

Но, есть и недостатки

Плюсы:
+ Стоимость.
+ Качество сборки.
+ Наличие динамика.
+ Разборная конструкция.
+ MicroSD слот.
+ Возможность работы от Powerbank`a.

Минусы:
— Искажение изображение.
— Китайский язык в приложении (Что в принципе логично, но все таки английский не помешал бы).
— Одноосевое вращение.

Инструкция

Крепление на стену:

Всё — разобрался, не хотела цепляться к скрытой сети (которые у меня везде), а как только сделал сеть открытой — всё заработало. А после обновления прошивки ещё и к скрытым сетям начало подключаться. Сначала не мог найти айпишку, которую она получает, ни один роутер не показывал, что ей присвоил, но после нескольких ребутов всё-таки начало выдавать как надо, а уже по ней можно хоть откуда смотреть, я уже и на vlc смотрел, и на андроид поставил rstp плеер — всё кажет как и должно 🙂
Ссылку нужно использовать такую: rtsp://IPCAMERA:554//ch0.h264 (нигде в обзорах не нашёл — можно добавить в шапку).

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

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

Первое, что необходимо сделать – убедиться, что вы не являетесь обладателем модели камеры с индексом 17cn. Модель указана сзади на наклейке самой IP камеры. К сожалению, смена прошивки для данного варианта камеры недоступна. Если же вы обнаружили другой числовой показатель, то самое время перейти к следующему шагу.

Мы рассмотрим пример прошивки на модели 12, для 22 модели процесс идентичен!

• Параллельно чтению данной инструкции необходимо скачать на смартфон одно из фирменных приложений (Xiaomi MiHome или Yi Ants) и с прошивкой.

• После завершения скачивания необходимо произвести разархивирование. Папка, находящаяся в архиве, без изменений переносится на карту MicroSD, ранее отформатированную в формате FAT32.

• Далее флеш-карту требуется вставить в слот камеры и произвести включение устройства.

• После включения стартует автоматическая установка прошивки. Устройство будет издавать характерные щелчки и мигать светодиодными индикаторами. Этот процесс занимает 4-5 минут, в течение которых девайс запрещается отключать и перезагружать во избежание сбоев при инсталляции.
• По истечению отведенного времени, камера произнесет приветственную фразу уже на привычном для нас русском языке.

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

В приложении производится вход в аккаунт системы Mi. Для этого требуется подключиться к сети WiFi, обеспечивающей связь между гаджетами, а далее – ввести логин и пароль. После того, как вход будет выполнен, на экране смартфона появится QR-код, а Yi Ants 2 попросит поднести смартфон к объективу. Для облегчения завершения настройки на экран также будут выведены и подробные инструкции по синхронизации. После кратковременного ожидания, смена прошивки завершена, а девайс практически готов к полноценной работе. Жителям регионов остается лишь вручную выставить часовой пояс.