Книги Шалыто А.А.

Шалыто Анатолий Абрамович - доктор технических наук, профессор, заведующий кафедрой "Технологии программирования" Санкт-Петербургского государственного университета информационных технологий, механики и оптики.

Лауреат премии Правтиельства РФ в области образования 2008 г. Предложил автоматное программирование (http://is.ifmo.ru) и инициативу "Сохраним в университетах лучших!" (www.savebest.ru)

В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Книга посвящена концепциям, алгоритмам и инструментам для проверки моделей программ. В ней излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.

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

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

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

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

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

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

Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие "состояние". Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние - независимость от глубокой предыстории - система взаимосвязанных графов переходов - многозначное кодирование - конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность, управляемость и наблюдаемость программ, а также их изоморфизм (изобразительную эквивалентность) со спецификациями, по которым они формально строятся. Это позволяет Заказчику, Технологу (Проектанту), Разработчику, Программисту и Оператору однозначно понимать друг друга, разделять работу и ответственность, легко и корректно вносить изменения. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах.

Книга предназначена для специалистов в области информатики, вычислительной техники и систем управления.

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

Книга предназначена для специалистов в области в области проектирования логических элементов и устройств, а также для студентов и аспирантов соответствующих специальностей.

Книга обобщает опыт преподавательской, научной и воспитательной работы автора в уникальном месте – на кафедре «Компьютерные технологии» Университета ИТМО.

Книга обобщает опыт преподавательской, научной и воспитательной работы автора в уникальном месте – на кафедре «Компьютерные технологии» Университета ИТМО.

Книга обобщает опыт преподавательской, научной и воспитательной работы автора в уникальном месте – на кафедре «Компьютерные технологии» Университета ИТМО.

Книга обобщает опыт преподавательской, научной и воспитательной работы автора в уникальном месте – на кафедре «Компьютерные технологии» Университета ИТМО.

Книга обобщает опыт преподавательской, научной и воспитательной работы автора в уникальном месте – на кафедре «Компьютерные технологии» Университета ИТМО. Издание посвящено двадцатипятилетию кафедры.

От автора: В 2011 г. кафедре «Компьютерные технологии» исполнилось двадцать лет. В честь этого события я написал книгу (Шалыто А.А. Мои счастливые годы жизни на кафедре «Компьютерные технологии» Университета ИТМО (К двадцатилетию кафедры. СПб: Мозаика НК. 2012.). В 2017 г. ее опубликовал также и «Виртуальный компьютерный музей». Благодарственное письмо из Российской национальной библиотеки приведено здесь.

С использованием этой книги была написана еще одна книга, посвященная данному событию (Васильев В.Н., Парфенов В.Г. Истории кафедры «Компьютерные технологии НИУ ИТМО. СПб: НИУ ИТМО, 2013. Вот рецензия на нее.

Прошло пять лет, и в 2016 г. мы решили повторить наш эксперимент. При этом я включаю в книгу некоторые события, описанные в прошлый раз. Работа над книгой затянулась, и поэтому в нее включено также и то, что произошло до октября 2017 г. Итак, вперед.