Приведение автоматного представления устройства дискретной автоматики к линейному векторно-матричному виду на основе агрегирования булевых термов

Мельников А. А., Ушаков А. В.



Аннотация

Рассматривается задача конструирования линейного векторно-матричного (ВМ) описания автоматной версии УДА. Своим решением эта задача позволяет расширить класс представлений УДА, что тем самым, обеспечивает возможность доставлять УДА различные структурные и функциональные свойства. Показывается, что в концептуальной постановке поставленная задача может быть частично решена использованием принципа агрегирования булевых термов. Приводится пример.




Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика