> Шифр: maup/2006/12 Журнал 2006г. N 12 . - Указатель статей за 2006 г. Осипцева, О. С. Формирование требований к модальной модели и пропускной способности канала связи без помех в задаче цифрового дистанционного управления / О.С. Осипцева, А.В. Ушаков. - С.2-12. - Библиогр. в конце ст. Кл.слова: МОДАЛЬНОЕ УПРАВЛЕНИЕ, МЕТОДЫ, СИСТЕМА ЦИФРОВОГО ДИСТАНЦИОННОГО УПРАВЛЕНИЯ, АНАЛИЗ ПРОЦЕСОВ, МОДАЛЬНЫЕ МОДЕЛИ, ФОРМИРОВАНИЕ ПАРАМЕТРОВ Мамышев, Дж. Построение фундаментальной матрицы линейной разнотемповой системы управления с особенностями в кооффициентах вектора состояния / Дж. Мамышев, Ж. Шаршеналиев. - С.8-12. - Библиогр. в конце ст. Кл.слова: СИСТЕМА УПРАВЛЕНИЯ, ОБЕСПЕЧЕНИЕ АСИМПТОТИЧЕСКИХ УСТРОЙСТВ, ФУНДАМЕНТАЛЬНАЯ МАТРИЦА Шахнин, В. А. Расчетная модель датчика для гибких производственных модулей неразрушающего контроля / В.А. Шахнин. - С.13-17. - Библиогр. в конце ст. Кл.слова: АВТОМАТИЗАЦИЯ НЕРАЗРУШАЮЩЕГО КОНТРОЛЯ, ЭЛЕКТРОМАГНИТНЫЕ ДАТЧИКИ, КОНСТРУКЦИИ, МАГНИТНОЕ ПОЛЕ ДАТЧИКА, РАСПРЕДЕЛЕНИЕ Пономаренко, А. В. Универсальное диагностирование в частных классах конечных автоматов / А.В. Пономаренко. - С.17-24. - Библиогр. в конце ст. Кл.слова: МЕХАТРОННЫЕ СИСТЕМЫ ДИАГНОСТИРОВАНИЕ, УПРАВЛЕНИЕ АВТОМАТАМИ, НЕДОСТИЖИМЫЕ ТРАЕКТОРИИ, КЛАССИФИКАЦИЯ АВТОМАТОВ Чебурахин, И. Ф. Алгоритмы и языки логического управления / И.Ф. Чебурахин. - С.24-31. - Библиогр. в конце ст. Кл.слова: АЛГОРИТМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ, ФУНКЦИОНАЛЬНЫЕ УРАВНЕНИЯ, ОБЩИЕ СВЕДЕНИЯ, БУЛЕВЫ ФУНКЦИИ Зюбин, В. Е. "Си с процессами"- язык программирования логических контроллеров / В.Е. Зюбин. - С.31-35 Кл.слова: ЦИФРОВЫЕ СИСТЕМЫ УПРАВЛЕНИЯ , ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ РЕФЛЕКС, ЯЗЫК РЕФЛЕКС, ЦЕЛИ СОЗДАНИЯ Воронин, А. Ю. Синтез распределительной системы управления магнитным полем тороидальной камеры. Часть 2 / А.Ю. Воронин, И.М. Першин. - С.36-42. - Библиогр. в конце ст. Кл.слова: ЦИФРОВОЕ МОДЕЛИРОВАНИЕ, АМПЛИТУДНО-САСТОТНАЯ ХАРАКТЕРИСТИКА, МОДЕЛЬ МАГНИТНЫХ ПОЛЕЙ Болнокин, В. Е. Оптимизация системы планирования для дискретных технологических процессов / В.Е. Болнокин, Ван Уи Данг. - С.42-45. - Библиогр. в конце ст. Кл.слова: алгоритмы управления, АЛГОРИТМЫ ПОИСКА Парфенов, И. И. Цепные дроби- перспективный математический аппарат анализ и синтеза человеко-машинной системы / И.И. Парфенов. - С.45-51. - Библиогр. в конце ст. Кл.слова: ТЕОРИЯ ЦЕПНЫХ ДРОБЕЙ, ЧЕЛОВЕКО-МАШИННЫЕ СИСТЕМЫ, ИНТЕГРАЛЬНЫЕ ФУНКЦИИ СИСТЕМ На вкладках: Сабо Ю.И., Ларкин Е.В. Отказоустойчивость авионики с иерархической структурой ; Парамонов П.П.,Видин Б.В.,Стрижевский В.С. Управление конфигурациями в сертифицируемых программных разработках ; Рожков В.Н. Информационно-логическая модель процесса контроля летательных аппаратов ; Малыхин Л.И.,Мишина В.К., Никифоров В.М. Методика синтеза и анализа алгоритмов терминального управления прицеливанием ракет Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Зюбин, В. Е. Использование виртуальных лабораторных стендов для обучения программированию в области задач промышленной автоматизации [Текст] / В. Е. Зюбин> // Приборы и системы. Управление, контроль, диагностика. - 2009. - N 2. - С. 29-33. : 4 рис. - Библиогр.: с. 33 (14 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): виртуальные лабораторные стенды -- промышленная автоматизация -- управляющие алгоритмы -- программные имитаторы Аннотация: Рассмотрен вопрос обучения программированию управляющих алгоритмов в области промышленной автоматизации на основе концепции виртуального лабораторного стенда. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Зюбин, В. Е. Пути расширения языка ST из состава МЭК 61131-3 для задач промышленной автоматизации [Текст] / В. Е. Зюбин> // Приборы и системы. Управление, контроль, диагностика. - 2009. - N 3. - С. 16-19. : 1 табл. - Библиогр.: с. 19 (8 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): промышленная автоматизация -- алгоритмы управления -- модель гиперпроцесса -- языки МЭК 61131-3 -- языки ST Аннотация: В статье рассматриваются пути расширения языка ST, обеспечивающие его автономное использование в широком диапазоне задач промышленной автоматизации. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Зюбин, В. Е. (канд. техн. наук, ст. научн. сотр.). Использование виртуальных объектов для обучения программированию информационно-управляющих систем [Текст] / В. Е. Зюбин> // Информационные технологии. - 2009. - N 6. - С. 79-82. - Библиогр.: с. 82 (11 назв. ) . - ISSN 1684-6400
Рубрики: Вычислительная техника Помощь пользователю Кл.слова (ненормированные): обучение программированию -- программные имитаторы -- управляющие алгоритмы -- языки Рефлекс -- Рефлекс языки -- языки программирования Аннотация: Представлен метод создания виртуальных лабораторных стендов для обучения программированию управляющих алгоритмов в области промышленной автоматизации. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Дедуктивная верификация reflex-программ [Текст] / И. С. Ануреев, Н. О. Гаранина, Т. В. Лях [и др.]> // Программирование. - 2020. - № 4. - С. 14-26 . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): reflex-программы -- Хоара стиль -- метод верификации -- программное обеспечение -- стиль Хоара Аннотация: Представлен новый двухшаговый метод верификации для управляющего программного обеспечения. Доп.точки доступа: Ануреев, И. С.; Гаранина, Н. О.; Лях, Т. В.; Розов, А. С.; Зюбин, В. Е.; Горлач, С. П. Имеются экземпляры в отделах: всего 1 : н.з. (1) Свободны: н.з. (1) |