Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация моделей<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
621.398
С 594

    Соколов, В. Ф.
    Робастное управление в l -постановке: верификация модели и оценивание весов возмущений [Текст] / В. Ф. Соколов // Автоматика и телемеханика. - 2003. - N11. - Библиогр.:c.151(13назв.) . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
робастные системы -- анализ робастных систем -- синтез робастных систем -- верификация моделей
Аннотация: В задачах анализа робастных систем и синтеза робастных регуляторов обычно предполагаются известными параметры номинального объекта и классы допустимых возмущений. Показано, что для любой модели в форме линейной стационарной дискретной системы со структурированной неопределенностью решение задачи верификации модели сводится к проверке справедливости системы неравенств, порожденных данными измерений.

Перейти: www:http://www.apr.ru

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


    Соколов, В. Ф.
    Оценка качества робастной системы управления при неизвестных верхних границах возмущений и помехи измерений [Текст] / В. Ф. Соколов // Автоматика и телемеханика. - 2010. - N 9. - С. 3-18 : ил. - Библиогр.: с. 18 (16 назв. ) . - ISSN 0005-2310
УДК
^a621.398
ББК 32.96
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
Кл.слова (ненормированные):
системы управления -- дискретные объекты -- робастное управление -- верификация моделей -- дробно квадратичные модели -- робастные системы управления -- оценка робастного качества -- верхние границы возмущений -- теория робастного управления
Аннотация: Статья посвящена оценке робастного качества замкнутой системы управления при неизвестных верхних границах возмущений.


Найти похожие
3.
621.398
Н 531

    Непейвода, А. Н.
    Верификация модели технической системы средствами линейной темпоральной логики [Текст] / А. Н. Непейвода // Автоматика и телемеханика. - 2012. - № 9. - С. 124-140 : ил. - Библиогр.: с. 140 (8 назв.) . - ISSN 0005-2310
УДК
621.398
519.8
ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Математика
   Исследование операций
Кл.слова (ненормированные):
верификация моделей -- линейная темпоральная логика -- электромеханические устройства -- модальная логика -- технические средства -- технические системы -- Linear Temporal Logic -- LTL -- модели технических систем -- темпоральная логика
Аннотация: Решается задача верификации электромеханического устройства с переменным числом контактов с помощью модальной логики LTL (Linear Temporal Logic). В ходе анализа доказываются теоремы о непрерывности и однозначности работы устройства, а также уясняются ограничения, необходимые для того, чтобы алгоритм работы устройства мог считаться полностью корректным.


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