Анатолий Шалыто — новинки

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

Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям "Прикладная математика и информатика", "Управление и информатика в технических системах" и "Вычислительные машины, системы, комплексы и сети".

Излагаются методы аппаратной и программной реализации алгоритмов логического управления, заданных булевыми функциями разных классов, булевыми формулами и графами переходов. Предложены методы синтеза схем из априори известных произвольных элементов. Описываются методы построения многофункциональных и универсальных логических модулей. Выполнена оценка функциональных возможностей программируемых логических матриц. Предложены однородные структуры из элементов с односторонней и двусторонней проводимостью. Разработаны методы построения схем алгоритмов, обладающих различными свойствами. Предложены логические устройства для последовательностного вычисления булевых функций. Разработаны нетрадиционные методы вычисления булевых функций, в том числе и на основе арифметических полиномов. Изложены основные положения SWITCH-технологии, предназначенной для алгоритмизации и программирования систем логического управления и `реактивных систем`, реализуемых на программируемых логических контроллерах и промышленных компьютерах. Предлагаемые методы иллюстрируются большим количеством примеров.
Книга предназначена для специалистов в области информатики, вычислительной техники и систем управления и студентов, обучающихся по специальности `Управление и информатика в технических системах`.