Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=логико-временной анализ<.>)
Общее количество найденных документов : 1
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Иванников А. Д. (доктор технических наук)
Заглавие : Анализ методов декомпозиции задачи отладки проектов цифровых систем
Серия: Системы автоматизированного проектирования
Место публикации : Информационные технологии. - 2016. - Т. 22, № 10. - С.758-763. - ISSN 1684-6400 (Шифр inft/2016/22/10). - ISSN 1684-6400
Примечания : Библиогр.: с. 763 (5 назв.)
УДК : 004.31
ББК : 32.973-04
Предметные рубрики: Вычислительная техника
Блоки обработки данных
Ключевые слова (''Своб.индексиров.''): алгебраические модели--логико-временной анализ--логическое моделирование--модели программного обеспечения--цифровые системы
Аннотация: В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)