Баранов, Д. В. (аспирант). Логические уравнения в эквациональных LP-структурах [Текст] / Д. В. Баранов> // Информационные технологии. - 2012. - № 8. - С. 35-42. - Библиогр.: с. 42 (11 назв.) . - ISSN 1684-6400
Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): логические уравнения -- СПТ -- системы переписывания термов -- термы -- алгебраические модели -- эквациональные LP-структуры -- компьютерная алгебра Аннотация: В статье определяется алгебраическая система с семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов. Нет сведений об экземплярах (Источник в БД не найден) |
Иванников, А. Д. (доктор технических наук). Анализ методов декомпозиции задачи отладки проектов цифровых систем [Текст] / А. Д. Иванников> // Информационные технологии. - 2016. - Т. 22, № 10. - С. 758-763. - Библиогр.: с. 763 (5 назв.) . - ISSN 1684-6400
Рубрики: Вычислительная техника Блоки обработки данных Кл.слова (ненормированные): алгебраические модели -- логико-временной анализ -- логическое моделирование -- модели программного обеспечения -- цифровые системы Аннотация: В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов. Нет сведений об экземплярах (Источник в БД не найден) |