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

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 30.09.2024 - 15:54
Категории

ГОСТ IEC (Межгосударственный стандарт)

Дерево в коммуникационных сетях

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

Читать далее

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

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

Читать далее

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

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

Читать далее

Делегирование

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

Читать далее

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

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

Читать далее

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

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

Читать далее

Дейтаграмма

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

Читать далее

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

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

Читать далее

Дедукция

Дедукция (deduction, deductive inference) — логический вывод, когда логическое заключение выводится из конкретного множества предпосылок. Допустимый синоним: Дедуктивный логический вывод. Примечание. Дедукцией является только сохраняющий

Читать далее