Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 29.12.2025 по 04.01.2026
Открыть шифр замка из трёх цифр с ограничениями

ГОСТ Р 59802-2021; Страница 26

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы ГОСТ 24596.0-81 Фосфаты кормовые. Общие требования к методам анализа Feed phosphates. General requirements to methods of analysis (Настоящий стандарт распространяется на кормовые фосфаты, получаемые из минерального сырья, и устанавливает общие требования к их методам анализа) ГОСТ Р 59791-2021 Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике Information technology. Common Logic (CL). Aframework for a family of logic-based languages (В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами. Следующие особенности имеют особую важность для построения настоящего стандарта: - языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений; - языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка; - языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами. В область применения настоящего стандарта входят следующие вопросы: - представление информации в онтологиях и базах знаний; - описание выражений, которые вводят в машины логического вывода или выводят из них; - формальные интерпретации символов, выраженных с помощью языка. Нижеследующее выходит за рамки настоящего стандарта: - описание теории доказательств или правил вывода; - описание переводчиков между обозначениями разнородных компьютерных систем; - компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире». В настоящем стандарте описаны синтаксис и семантика CL. В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами. Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.)) ГОСТ Р 59801-2021 Телевидение вещательное цифровое. Расширенные технические требования к передаче транспортных потоков служб DVB по сетям с IP-протоколами. Часть 2. Потоковый протокол реального времени при воспроизведении служб DVB Digital video broadcasting. Extended technical requirements for transmitting DVB service transport streams over networks with IP protocols. Part 2. Real-time streaming protocol when playing DVB services (В настоящем стандарте представлено описание расширенного набора стандартизованных спецификаций для развертывания служб DVB по двунаправленным IP-сетям с применением технологий IPv4 и IPv6 и определены возможности использования потокового протокола реального времени (RTSP) для HNED при воспроизведении служб DVB. Настоящий стандарт рассматривает использование протокола RTSP на уровне приложений и определяет требования к протоколу RTSP для управления доставкой служб CoD, LMB и MBwTM. Требования настоящего стандарта следует учитывать при разработке, изготовлении и эксплуатации устройств DVB, а также при разработке, проектировании и эксплуатации программного обеспечения сетей DVB)
Страница 26
Страница 1 Untitled document
Редактор Я С. Зимилова
Технический редактор В.Н. Прусакова
Корректор М.И. Першина
Компьютерная верстка ГД Мухиной
Сдано о набор 28.10.2021. Подписано в печать 23.11.2021. Формат 80»84’Л Гарнитура Ариал.
Уел. леч. л. 3,26. Уч.-иэд. л. 2.64
Подготовлено на основе электронной версии, предоставленной разработчиком стандарта
Создано в единичном исполнении е ФГБУ «РСТ»
для комплектования Федерального информационною фонда стандартов.
117418 Москва Нахимовский пр-т. д. 31. к. 2.
wvvw gos’.mfo ru infofg
90
slinfo.ru
ГОСТ Р 59802-20
21