Полное описание

Д11-23/15016
519.7/К 650
Конструктивное моделирование цифровых автоматов / В. А. Райхлин, А. В. Морозов, Л. Р. Валиуллина, К. А. Фадеев ; под редакцией В. А. Райхлина ; Академия наук Республики Татарстан, Республиканский научный семинар Методы моделирования. - Казань : Фэн АН РТ, 2023. - 132 с. : ил. - Библиогр.: с. 129-132 (61 назв.). - 100 экз. - ISBN 978-5-9690-1085-7 : 300 р. - Текст (визуальный) : непосредственный.
На тит. листе.: РНС М М-22 года, 2001-2023.

ГРНТИ	УДК
28.25	519.713

Рубрики:
Дискретные автоматы -- Моделирование

Кл.слова (ненормированные): объектная модель синтеза -- внутреннее моделирование -- фреймово-продукционная модель синтеза -- построение интерактивной системы -- программное моделирование
Аннотация: Рассматриваются вопросы синтеза цифровых автоматов по неформальному заданию, которые все еще недостаточно изучены. За основу взята методология конструктивного моделирования систем. Она утверждает правомерность введения выверенных постулатов как декларируемых закономерностей. Это позволило развить эффективный эвристический подход к синтезу неформально заданного автомата. Рост сложности задач вызывает необходимость автоматизации процедуры синтеза, что достигнуто построением фреймово-продукционной модели, погруженной в среду реляционной СУБД. Рассматриваются вопросы построения последовательностных схем по найденной таблице переходов автомата. Перспектива моделирования цифровых автоматов связывается с переходом к программным моделям, не включающим этап абстрактного синтеза. Намечается автоматный подход к защите беспилотных летательных аппаратов в опасных ситуациях. Для научных работников и аспирантов.
Доп. точки доступа:
Райхлин, Вадим Абрамович
Морозов, Андрей Владимирович
Валиуллина, Лилия Рафаиловна
Фадеев, Кирилл Алексеевич
"Методы моделирования", республиканский научный семинар

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободных экз. нет
Экз.Э23-50582 (ХРЦ) занят;
Обложка