Лине́йная а́лгебра — раздел алгебры, изучающий математические объекты линейной природы: векторные пространства, линейные отображения, системы линейных уравнений. Среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают из изучения линейных пространств, но как таковые относятся к полилинейной алгебре.
Ве́кторное простра́нство — математическая структура, представляющая собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трёхмерное евклидово пространство, векторы которого используются, к примеру, для представления физических сил. При этом вектор как элемент векторного пространства не обязательно должен быть задан в виде направленного отрезка. Обобщение понятия «вектор» до элемента векторного пространства любой природы не только не вызывает смешения терминов, но и позволяет уяснить или даже предвидеть ряд результатов, справедливых для пространств произвольной природы.
Ве́ктор — в простейшем случае математический объект, характеризующийся величиной и направлением. Например, в геометрии и в естественных науках вектор есть направленный отрезок прямой в евклидовом пространстве.
Широ́тно-и́мпульсная модуля́ция — процесс управления мощностью методом пульсирующего включения и выключения потребителя энергии. Различают ана́логовую ШИМ и цифрову́ю ШИМ, дво́ичную (двуху́ровневую) ШИМ и трои́чную (трёхуровневую) ШИМ.
То́чка — один из фундаментальных (неопределяемых) математических объектов, свойства которого задаются системой аксиом. Нестрого можно представлять точку как неделимый элемент соответствующего математического пространства, определяемого в геометрии, математическом анализе и других разделах математики. В классической геометрии и в большинстве её обобщений все геометрические фигуры считаются состоящими из точек.
Ба́зис — упорядоченный набор векторов в векторном пространстве или модуле, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.
Лине́йная комбина́ция — выражение, построенное на множестве элементов путём умножения каждого элемента на коэффициенты с последующим сложением результатов.
Система реального времени (СРВ) — система, которая должна реагировать на события во внешней, по отношению к системе, среде или воздействовать на среду в рамках требуемых временных ограничений. Оксфордский словарь английского языка говорит об СРВ как о системе, для которой важно время получения результата. Другими словами, обработка информации системой должна производиться за определённый конечный период времени, чтобы поддерживать постоянное и своевременное взаимодействие со средой. Естественно, что масштаб времени контролирующей системы и контролируемой ею среды должен совпадать.
Режим шифрования — метод применения блочного шифра (алгоритма), позволяющий преобразовать последовательность блоков открытых данных в последовательность блоков зашифрованных данных. При этом для шифрования одного блока могут использоваться данные другого блока.
Счётчик числа импульсов — устройство, на выходах которого получается двоичный или двоично-десятичный код, соответствующий числу поступивших импульсов. Счётчики могут строиться на двухступенчатых D-триггерах, T-триггерах и JK-триггерах.
EtherCAT — стандарт промышленной сети, относимый к семейству Industrial Ethernet и технологиям используемым для распределенного управления в режиме реального времени. EtherCAT разработан компанией Beckhoff.Целью разработки протокола было использование технологии Ethernet для автоматизации приложений, которые требуют частого обновления времени с низким дрожанием связи и низкими затратами на аппаратное обеспечение. Дейтаграммы EtherCAT пропускаются внутри стандартного фрейма Ethernet.
Фи́льтр Ка́лмана — эффективный рекурсивный фильтр, оценивающий вектор состояния динамической системы, используя ряд неполных и зашумленных измерений. Назван в честь Рудольфа Калмана.
Асинхро́нная ло́гика — разновидность взаимодействия логических элементов цифровых устройств. Отличается от синхронной тем, что её элементы действуют асинхронно, не подчиняясь глобальному генератору тактовых импульсов.
Логические часы — механизм определения хронологической и причинно-следственной связи событий в распределённых системах, не имеющих единых физических часов. Алгоритмы логических часов позволяют получать частичное упорядочение событий по времени и обнаруживать нарушения причинно-следственных связей. Состояние логических часов может включаться в состав внутренних сообщений, пересылаемых между узлами системы. Впервые предложен и реализован Лэмпортом в 1978 году, его работа была отмечена Премией Тьюринга 2013 года.
Часы Лэмпорта — алгоритм определения порядка событий в распределённой системе, разработанный Лэсли Лэмпортом в 1978 году, является прообразом векторных часов.
HOTP — алгоритм защищенной аутентификации с использованием одноразового пароля. Основан на HMAC (SHA-1). Является алгоритмом односторонней аутентификации, а именно: сервер производит аутентификацию клиента.
Си́ла Кориоли́са в гидроаэромеха́нике — одна из сил инерции, действующая на упорядоченный или флуктуационный поток жидкости или газа во вращающейся неинерциальной системе отсчёта.
Поточный алгоритм — алгоритм для обработки последовательности данных в один или малое число проходов.
Лемма о малом искажении утверждает, что множество из точек многомерного пространства можно отобразить в пространство размерности гораздо меньше таким образом, что расстояния между точками останутся почти без изменений. При этом такое отображение можно найти среди ортогональных проекций.
Стирающий код — в теории кодирования помехоустойчивый код, способный восстановить целые пакеты данных в случае их потери. Такой код позволяет бороться с утечками данных при передаче по каналам связи или работе с памятью. Обычно он используется, когда точная позиция потерянных данных известна априори.