Профессор кафедры компьютерных систем КАИ Вадим Райхлин представил доклад «Конструктивное моделирование цифровых автоматов».
Доктор физико-математических наук выступил в рамках Республиканского научного семинара «Методы моделирования».
Вадим Райхлин рассматривает вопросы синтеза цифровых автоматов по неформальному заданию, которые все еще недостаточно изучены. За основу взята методология конструктивного моделирования систем. Она утверждает правомерность введения выверенных постулатов как декларируемых закономерностей.
Как отметил профессор, это позволило развить эффективный эвристический подход к синтезу неформально заданного автомата. Рост сложности задач вызывает необходимость автоматизации процедуры синтеза, что достигнуто построением фреймово-продукционной модели, погруженной в среду реляционной СУБД.
Также докладчик разбирает вопросы построения последовательностных схем по найденной таблице переходов автомата. Перспектива моделирования цифровых автоматов связывается с переходом к программным моделям, не включающим этап абстрактного синтеза.
- Автор:
- Кафедра компьютерных систем