Терминологический словарь автоматизации строительства и производственных процессов

Реестровая запись:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 12.10.2026 - 16:42
Категории

Без рубрики /Uncategorized

Демультиплексирование логических соединений

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

Читать далее

Демонстрация корректности

Демонстрация корректности (correctness proving) — формальная математическая демонстрация того, что семантика программы согласуется со спецификациями данной программы.   [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ).

Читать далее

Декомпилятор

Декомпилятор (decompiler) — инструментальное программное средство, которое декомпилирует программы.   [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]

Читать далее

Декодировать

Декодировать (decode) — восстанавливать информацию из ее кодированного представления путем приведения ее к исходному виду. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь] [ГОСТ Р

Читать далее

Дейтаграмма

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

Читать далее

Действие допустимое

Действие допустимое (permissible action) — действие, удовлетворяющее установленным правилам или ограничениям и изменяющее непротиворечивую совокупность предложений в информационной базе или концептуальной схеме на другую не

Читать далее

Дамп измененный

Дамп измененный (change dump) — дамп тех ячеек памяти, содержимое которых изменилось за указанный период времени.   [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]

Читать далее

Группа дорожек

Группа дорожек (band) — группа дорожек магнитного барабана или магнитного диска, на которых операции записи или считывания происходят параллельно.   [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные

Читать далее

График управляющей логики

График управляющей логики (control flow diagram, control flow graph) — диаграмма, иллюстрирующая совокупность всех возможных последовательностей, в которых могут осуществляться операции при выполнении программы.  

Читать далее