ГОСТ Р 59791-2021; Страница 33

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

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 59802-2021 Телевидение вещательное цифровое. Расширенные технические требования к передаче транспортных потоков служб DVB по сетям с IP-протоколами. Часть 3. Процессы распределения адресов IP, реализации сетевых служб времени и обновления системного программного обеспечения домашнего оконечного оборудования. Основные параметры Digital video broadcasting. Extended technical requirements to transport of MPEG-2 TS DVB services over IP vetworks. Part 3. IP address allocation, network time services implementation and home endpoint system software upgrade processes. Basic parameters (Настоящий стандарт предусматривает расширение набора спецификаций ГОСТ Р 54994, относящихся к передаче служб DVB в транспортных потоках MPEG-2, по двунаправленным IP-сетям путем: - распределения IP-адресов и сетевых служб времени; - динамического управления службами, обеспечивающего эффективное использование пропускной способности сети; - использования технологии IPv6 при назначении IP-адресов; - использования системных заглушек загрузки файла для активирования обновления системного программного обеспечения HNED после цикла «выключение – включение» электропитания или перезагрузки программного обеспечения (ПО). Требования настоящего стандарта следует учитывать при разработке, изготовлении и эксплуатации устройств DVB, а также при разработке, проектировании и эксплуатации ПО сетей DVB) ГОСТ Р 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) ГОСТ Р 59795-2021 Информационные технологии. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Требования к содержанию документов Information technology. Set of standards for automated systems. Automated system. Document content requirements (Настоящий стандарт распространяется на автоматизированные системы (АС), используемые в различных видах деятельности (исследования, управление, проектирование и т. п.), включая их сочетания, и устанавливает требования к содержанию основных документов, разрабатываемых при создании АС)

Страница 33

Страница 1

Untitled document

ГОСТ Р 59791—2021

boolsent = ( open, (‘and’ | ‘or’) , { sentence }, close ) | ( open, (‘if | ‘iff),

sentence , sentence, close ) | ( open, ‘not’ , sentence, close ;

A.2.3.8 Количественное высказывание

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

категорией, указанной термином.

quantsent = open, (‘forall’ | ‘exists’) , boundlist, sentence, close ;

boundlist = open, bvar, { bvar}, close ;

bvar = interpretablename | cseqmark

(open, (interpretablename | cseqmark), term, close );

A.2.3.9 Прокомментированное высказывание

Комментарий может иметь отношение к любому предложению, поэтому комментарии можно прикрепить к

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

commentsent = open, ‘ckcomment’, quotedstring , sentence , close ;

A.2.3.10 Заголовок

Заголовок CLIF содержит имя текста.

titling = open, ‘cl:ttl’, interpretable name , text, close ;

A.2.3.11 Дискурсивное утверждение

Дискурсивное утверждение CLIF — это либо утверждение в дискурсе (которое определяет набор терминов,

обозначающих элементы во вселенной дискурса), либо утверждение вне дискурса (которое определяет набор тер

минов, которые не обозначают элементы во вселенной дискурса).

indiscourse = open, ‘cl:indiscourse’, term, {term}, close ;

outdiscourse = open, ‘ckoutdiscourse’, term, {term}, close ;

discoursestatement = indiscourse | outdiscourse ;

A.2.3.12 Утверждение

Утверждение CLIF — это либо заголовок либо дискурсивное высказывание (возможно, с комментарием).

statement = titling | discoursestatement | ( open, ‘ckcomment’, quotedstring , statement,

close );

A.2.3.13 Импорт

Импорт CLIF содержит заголовок, который служит идентификатором для внешнего текста CL.

importation = open, ‘cliimports’, interpretablename , close ;

A.2.3.14 Ограничение области

Ограничения области — это именованные текстовые сегменты, которые представляют текст, предназначен

ный для понимания в «локальном» контексте, где имя указывает на область кванторов в тексте. Имя текста не мо

жет быть числом или строкой в кавычках. Обратите внимание, что текст и ограничение области являются

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

domainrestriction = open, ‘ckrestrict, term , text, close ;