Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=алгебраические модели<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Баранов, Д. В. (аспирант).
Логические уравнения в эквациональных LP-структурах [Текст] / Д. В. Баранов // Информационные технологии. - 2012. - № 8. - С. 35-42. - Библиогр.: с. 42 (11 назв.) . - ISSN 1684-6400

УДК

^a004.8

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
логические уравнения -- СПТ -- системы переписывания термов -- термы -- алгебраические модели -- эквациональные LP-структуры -- компьютерная алгебра
Аннотация: В статье определяется алгебраическая система с семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Иванников, А. Д. (доктор технических наук).
Анализ методов декомпозиции задачи отладки проектов цифровых систем [Текст] / А. Д. Иванников // Информационные технологии. - 2016. - Т. 22, № 10. - С. 758-763. - Библиогр.: с. 763 (5 назв.) . - ISSN 1684-6400

УДК

^a004.31

ББК 32.973-04
Рубрики: Вычислительная техника
Блоки обработки данных
Кл.слова (ненормированные):
алгебраические модели -- логико-временной анализ -- логическое моделирование -- модели программного обеспечения -- цифровые системы
Аннотация: В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)