Библиотека Амурского Государственного Университета

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

Найдено в других БД:

БД "Статьи" (1)

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

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

Поисковый запрос: (<.>A=Тюгашев, А. А.$<.>)

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

Тюгашев, А. А.
К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев, А. Ю. Богатов // Вестник Самарского государственного технического университета. Сер.: Физико-математические науки. - 2009. - N 1. - С. 260-266 . - ISSN 1991-8615

УДК

^a519.7

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

Доп.точки доступа:
Богатов, А. Ю.

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

Тюгашев, А. А.
Технология и инструментальный программный комплекс проектирования и верификации алгоритмов управления реального времени [Текст] / А. А. Тюгашев, Д. В. Железнов, С. А. Никищенков // Электротехника. - 2017. - № 3. - С. 59-64 . - ISSN 0013-5860

УДК

^a62.001.63

ББК 30.2
Рубрики: Техника
Проектирование
Кл.слова (ненормированные):
программно-алгоритмическое обеспечение -- верификация -- автоматизация испытаний -- автоматизация документирования -- разработки -- интегрированные среды разработок
Аннотация: Рассмотрена комплексная система информационной поддержки проектирования и верификации (СИПР МП) особого вида алгоритмов управления сложным техническим комплексом - микропрограмм интегрального управления. Характерной особенностью современных сложных технических комплексов (в промышленности, энергетике, на транспорте) является наличие в составе данного комплекса ряда подсистем менее высокого уровня, включая выделенную систему управления. При этом современные системы управления строятся на базе цифровых ЭВМ. Логика управления сложным техническим комплексом реализуется специальным программно-алогоритмическим обеспечением (ПАО), важнейшей частью которого являются макропрограммы интегрального управления, координирующие работу подсистем. Ошибки при этом недопустимы, поскольку ПАО относится к критически важным приложениям, сбои в которых могут привести к катастрофическим последствиям, большим материальным потерям, человеческим жертвам. Проектирование, разработка и верификация ПАО, включая многоэтапные испытания и отладку, является весьма сложным и трудоемким процессом. Многие ошибки возникают в силу взаимного недопонимания между отдельными участниками разработки - специалистами по различным подсистемам, проектантами комплекса, программистами. Используемый при создании документации естественный язык не обладает необходимой однозначностью и точностью. Предложена методика проектирования и верификации, позволяющая благодаря применению специальной проблемно-ориентированной нотации сократить число промежуточных этапов при разработке ПАО систем управления реального времени, снизить трудовые и временные затраты при одновременном повышении качества и надежности. СИПР МП содержит средства визуализации и графического конструирования, автоматизации тестирования, автоматизированной генерации программной документации и т. п. Все модули функционируют под управлением интегрирующей оболочки и формируют интегрированную среду разработки.

Доп.точки доступа:
Железнов, Д. В.; Никищенков, С. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

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

Статистика за 06.09.2024
Число запросов	65757
Число посетителей	1
Число заказов	0

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