|
|
Библиотека государственных стандартовДата актуализации: 01.12.20241 2 [3] (26 найдено)
| Обозначение | Дата введения | Статус |   ГОСТ Р 50754-95 Язык описания аппаратуры цифровых систем VНDL. Описание языка | 01.01.1996 | действует |
Название англ.: VHSIC Hardware Description Language. Language reference manual Область применения: Настоящий стандарт распространяется на программные и технические средства проектирования радиоэлектронной аппаратуры (РЭА) и больших интегральных схем (БИС). Стандарт определяет синтаксис и семантику языка VHDL, который предназначен для формального представления цифровых систем (ЦС) различного уровня функциональной (вычислительный комплекс, ЭВМ, устройство, узел) и (или) конструктивной (шкаф, стойка, блок, плата, БИС) сложности на различных уровнях детализации (алгоритм функционирования, регистровые передачи, вентильная схема). VHDL-описание ЦС используется для функции представления ЦС в процессе ее проектирования, для изучения ЦС в процессе ее эксплуатации и ремонта. Стандарт применяется в автоматизированных системах проектирования РЭА и БИС Нормативные ссылки: IEEE Std 1076-87,  ГОСТ 27463-87;ГОСТ 27465-87;ГОСТ Р 34.303-92 | | ГОСТ Р 55022-2012 Информационная технология. Спецификация языка описания представления задач (JSDL). Версия 1.0 | 01.01.2014 | действует |
| Область применения: В настоящем стандарте приведена семантика и структура языка описания представления задач (JSDL), который предназначен для описания требований, предъявляемых вычислительными задачами к ресурсам, в большей степени к Грид-системам, хотя и не ограничивается только ими. Использование языка JSDL позволяет обеспечить интероперабельность как на уровне взаимодействия пользователей с различными вычислительными системами, так и на уровне взаимодействия вычислительных систем между собой Нормативные ссылки: ГОСТ Р 1.1;ГОСТ Р 1.12 | | ГОСТ Р 59791-2021 Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике | 30.04.2022 | действует |
| Название англ.: Information technology. Common Logic (CL). Aframework for a family of logic-based languages Область применения: В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами. Следующие особенности имеют особую важность для построения настоящего стандарта: - языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений; - языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка; - языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами. В область применения настоящего стандарта входят следующие вопросы: - представление информации в онтологиях и базах знаний; - описание выражений, которые вводят в машины логического вывода или выводят из них; - формальные интерпретации символов, выраженных с помощью языка. Нижеследующее выходит за рамки настоящего стандарта: - описание теории доказательств или правил вывода; - описание переводчиков между обозначениями разнородных компьютерных систем; - компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире». В настоящем стандарте описаны синтаксис и семантика CL. В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами. Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.) Нормативные ссылки: ГОСТ 33707-2016 | | ГОСТ Р 59798-2021 Информационные технологии. Онтологии высшего уровня (TLO). Часть 2. Базисная формальная онтология (BFO) | 30.04.2022 | действует |
| Название англ.: Information technology. Top-level ontologies (TLO). Part 2. Basic Formal Ontology (BFO) Область применения: Настоящий стандарт определяет термины и отношения, используемые в базовой формальной онтологии версии BFO 2020, и уточняет BFO 2020 на языке веб-онтологий (OWL) и языке общей логики (CL). Термины и отношения представлены на английском языке, чтобы упростить работу специалистов, использующих онтологию, и обеспечить эффективное взаимодействие между пользователями и разработчиками Нормативные ссылки: ГОСТ Р ИСО/МЭК 21838-1;ГОСТ Р 59791 | | ГОСТ Р ИСО/МЭК 9075-93 Информационная технология. Язык баз данных SQL с расширением целостности | 01.07.1994 | действует |
| Название англ.: Information processing systems. Database language SQL with Integrity Enhancement Область применения: Настоящий стандарт определяет синтаксис и семантику двух языков, ориентированных на работу с базами данных (языков баз данных): 1) Язык описания схемы (SQL - DDL) для объявления структур и ограничений целостности базы данных SQL. 2) Модульный язык и язык манипулирования данными (SQL - DML) для объявления процедур работы с базами данных и выполняемых операторов специальной программы применения базы данных. Настоящий стандарт опеределяет логические структуры данных и базовые операции для базы данных SQL. Он обеспечивает функциональные возможности для разработки, доступа, сохранения, управления и защиты базы данных. Настоящий стандарт представляет средство обеспечения мобильности определения баз данных и прикладных программ между соответствующими реализациями. Настоящий стандарт применяется для реализаций, существующих в среде, которая может включать в себя языки прикладных программ, языки запросов конечного пользователя, системы генерирования сообщений, системы словарей данных, системы библиотеки программ и системы распределенной связи, а также различные средства для создания баз данных, организации прохождения данных и оптимизации характеристик Нормативные ссылки: ISO/IEC 9075:1989, ISO 6160:1979;ГОСТ 28140-89;ГОСТ 28141-89;ГОСТ 22558-89 | | ГОСТ Р ИСО/МЭК 10027-93 Информационная технология. Структура системы словаря информационных ресурсов (IRDS) | 01.07.1994 | действует |
| Название англ.: Information technology. Information resource dictionary system (IRDS) framework Область применения: Настоящий стандарт описывает структуру ряда стандартов, которые определяют специализиваронную информационную систему, называемую Системой словаря информационных ресурсов (IRDS). IRDS применяется для управления информационными ресурсами предприятия и их документирования. Настоящий стандарт определяет уровни данных, соответствующие IRDS. Он определяет интерфейсы IRDS, которые предписываются другими международными стандартами из семейства стандартов IRDS. Он также определяет виды содержания данных, которые предписываются другими стандартами этого семейства Нормативные ссылки: ISO/IEC 10027:1990, ISO 9075:1989;ГОСТ 28906-91 | 1 2 [3] (26 найдено)
|
|