Перейти к содержимому страницы.

Шалыто Анатолий Абрамович

Ученое звание:
профессор
Ученая степень:
доктор технических наук
Должность:
Заведующий кафедрой технологии программирования
Главный Научный Сотрудник кафедры компьютерных технологий

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

Лауреат премии Правительства Российской Федерации 2008 года в области образования за научно-практическую и методическую разработку «Инновационная система поиска и подготовки высококвалифицированных специалистов в области производства программного обеспечения на основе проектного и соревновательного подходов» для образовательных учреждений высшего профессионального образования.

Родился в 28 мая 1948 года в Ленинграде. Окончил с отличием Ленинградский электротехнический институт имени В. И. Ульянова (Ленина) по специальности Автоматика и телемеханика (1971).

С 1971 году работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления. Ученый секретарь предприятия. В 1985 году присвоено ученое звание Старший научный сотрудник по специальности Элементы и устройства вычислительной техники и систем управления.

В 1977 году без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977). В 1999 году защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000).

Преподавал в институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград) (1974—1991). В 1991 году присвоено ученое звание Доцент по кафедре Управляющие вычислительные системы.

С 1998 года преподает на кафедре Компьютерные технологии. С 2000 года профессор этой кафедры. В 2001 года присвоено ученое звание профессор по кафедре Компьютерные технологии. Заведующий кафедрой Информационные системы (2001—2004). Ученым советом университета 25 мая 2004 года избран заведующим кафедрой Технологии программирования.

Автор более 70 изобретений. Неоднократно выступал на всесоюзных и международных конференциях с докладами по различным вопросам аппаратной и программной реализации алгоритмов логического управления.

Автор большого числа научных трудов, опубликованных в том числе и в таких журналах Академии наук СССР и России, как «Автоматика и телемеханика», «Автоматика и вычислительная техника», «Известия Академии наук. Техническая кибернетика», «Известия Академии наук. Теория и системы управления», «Проблемы передачи информации», «Автометрия», «Программирование».

В последние годы опубликовал ряд статей в таких журналах, как «Мир ПК» и «Программист».

В 1981 году в соавторстве выпустил книгу «Настраиваемые модули для управляющих логических устройств» (Л.: Энергоиздат, 1981. — 163 с.).

В 1996 году выиграл конкурс издательских проектов Российского фонда фундаментальных исследований и опубликовал книгу «SWITCH-технология. Алгоритмизация и программирование задач логического управления» (СПб.: Наука. 1998. — 628 с.).

В 2000 году при финансовой поддержке Администрации Санкт-Петербурга опубликовал книгу «Логическое управление. Методы аппаратной и программной реализации алгоритмов» (СПб.: Наука. 2000. - 780 с.).

С 2000 года руководит на научно-исследовательской работой по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода», выполняемой в рамках программы фундаментальных исследований Министерства образования Российской Федерации.

В 2002 году получил грант Российского фонда фундаментальных исследований для проведения исследования по теме «Разработка технологии автоматного программирования» (грант N 02-07-90114).

Член редакционной коллегии журнала «Информационно-управляющие системы». Член диссертационных, научно-технических и экспертных советов.

Автор более 200 научных работ.

ПЕРЕЧЕНЬ ОСНОВНЫХ ПУБЛИКАЦИЙ

МОНОГРАФИИ

  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Настраиваемые модули для управляющих логических устройств. Л.: Энергоиздат, 1981. 165 с.
  2. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с. Опиание размещено на сайте http://is.ifmo.ru
  3. Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2000. 780 с. Опиание размещено на сайте http://is.ifmo.ru
РЕЦЕНЗИИ НА КНИГИ А.А.ШАЛЫТО
  1. Герр Р. Новый поворот //PC Magazin/RE. 1998. N10. C.88—90. Реценизия размещена на сайте http://is.ifmo.ru
  2. Лашматкин А. Возрождение автоматов //Компьютер дома и на работе. 2001. N23. Реценизия размещена на сайте http://is.ifmo.ru
  3. Богатырев Р. Об автоматном и асинхронном программировании //Открытые системы. 2001. N3. С.68—69. Реценизия размещена на сайте http://is.ifmo.ru
  4. Рузайкин Г. И. Взгляд на алгоритмы //Мир компьютерной автоматизации 2001. N3. C.48. Реценизия размещена на сайте http://is.ifmo.ru
  5. Д. Гориловский. Рецензия на книгу Шалыто А. А. «Логическое управление. Методы аппаратной и программной реализации алгоритмов» //Компьютерра, 2002, N14, С.59. Реценизия размещена на сайте http://is.ifmo.ru
О А. А. ШАЛЫТО
  1. Приборостроители России. М.— СПб.: Гуманистика, 2001.
АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
  1. Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. I //Автоматика и телемеханика. 1996. N6. C.148-158. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. I. //Automation and Remote Control. 1996. Vol.57. N6. P.890-897.
  2. Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. II //Автоматика и телемеханика. 1996. N7. C.144-169. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. II. //Automation and Remote Control. 1996. Vol.57. N7. P.1027- 1045. Information about magazine "Automation and Remote Control" on http://www.maik.ru/, http://www.wkap.nl/.
  3. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. N9. С.33-37.
  4. Шалыто А. А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. N6. С.63-81. Статья размещена на сайте http://is.ifmo.ru. Shalyto A. A. Software Automation Design: Algorithmization and Programming of Problems of Logical Control //Journal of Computer and Systems Sciences International. 2000. Vol.39. N6. P.899-916. Information about magazine «Journal of Computer and Systems Sciences International» on http://www.maik.ru/.
  5. Шалыто А. А. Реализация алгоритмов логического управления программами на языке функциональных блоков //Промышленные АСУ и контроллеры. 2000. N4. С.45-50. Статья размещена на сайте http://is.ifmo.ru.
  6. Шалыто А. А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем //Промышленные АСУ и контроллеры. 2000. N10. С.44-48.
  7. Шалыто А. А. Алгоритмизация и программирование для систем логического управления и «реактивных» систем //Автоматика и телемеханика. 2001. N1. С.3-39. Статья размещена на сайте Статья размещена на сайте http://is.ifmo.ru. Shalyto A. A. Logic Control and «Reactive» Systems: Algorithmization and Programming //Automation and Remote Control. 2001. Vol.62. N1. P.1-29. Text on http://www.maik.ru/, http://www.wkap.nl/, http://is.ifmo.ru/.
  8. Шалыто А. А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения «реактивных» систем //Программирование. 2001. N5. С.45-62. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A., Tukkel N.I. SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems //Programming and Computer Software. 2001. 27(5). Information about magazine «Programming and Computer Software» on http://www.maik.ru/, http://www.wkap.nl/.
  9. Шалыто А. А., Туккель Н. И. Реализация вычислительных алгоритмов на основе автоматного подхода / /Телекоммуникации и информатизация образования. 2001. N6. С.35-53.
  10. Шалыто А. А., Туккель Н. И. Программирование с явным выделением состояний //Мир ПК. 2001. N8. C.116-121, N9. C.132-138. Статья размещена на сайте http://is.ifmo.ru.
  11. Шалыто А. А., Туккель Н. И. SWITCH-технология - автоматный подход к созданию программного обеспечения «реактивных» систем //Известия высших учебных заведений. Приборостроение. 2001. N9. С.28-35.
  12. Шалыто А. А., Туккель Н. И. От тьюрингова программирования к автоматному //Мир ПК. 2002. N2. С.144-149. Статья размещена на сайте http://is.ifmo.ru.
  13. Шалыто А. А., Туккель Н. И. Реализация автоматов при программировании событийных систем // Программист. 2002. N4. С.74-80. Статья размещена на сайте http://is.ifmo.ru.
  14. Шалыто А. А., Туккель Н. И., Шамгунов Н.Н. Ханойские башни и автоматы //Программист. 2002. N8. С.82-90. Статья размещена на сайте http://is.ifmo.ru.
ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ. ПРОЕКТЫ

(Документация размещена на сайте http://is.ifmo.ru/)

  1. Туккель Н. И., Шалыто А. А., Верба М.Т. Пример программной документации на подсистему управления печатью, разработанной на основе SWITCH-технологии. СПб., 2001. 50 с. Проект размещен на сайте http://is.ifmo.ru/
  2. Туккель Н. И., Шалыто А. А., Ваганов С.А. Использование SWITCH- технологии при разработке программ в среде «FLORA/C++». Модель технологического процесса в цехе холодной прокатки. Программная документация. СПб., 2001. 16 с. Проект размещен на сайте http://is.ifmo.ru/
  3. Туккель Н. И., Шалыто А. А. Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний. Программная документация. СПб., 2002. 51 с. Проект размещен на сайте http://is.ifmo.ru/
  4. Туккель Н. И., Шалыто А. А. Система управления танком для игры «Robocode». Объектно- ориентированное программирование с явным выделением состояний. Программная документация. СПб., 2002. 52 с. Проект размещен на сайте http://is.ifmo.ru/
ИССЛЕДОВАНИЕ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ОДНОКОНТУРНЫХ ЛОГИЧЕСКИХ СХЕМАХ
  1. Киселев В. В., Шалыто А. А. Исследование переходных процессов в одноконтурных логических схемах //Известия РАН. Теория и системы управления. 1999. N5. С.22-27. Kiselev V.V., Shalyto A.A. Study of Transidents in One-Contour Logical Circuits //Journal of Computer and Systems Sciences International. 1999. Vol.38. N5.
РЕАЛИЗАЦИЯ БУЛЕВЫХ ФОРМУЛ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ
  1. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ //Известия РАН. Техническая кибернетика. 1994. N5. С.132-142. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. I. Synthesize and Analysis //Journal of Computer and Systems Sciences International. 1994. Vol.33. N5.
  2. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. II. Оценки числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N3. С.144-153. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. II. Estimations of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. N3.
  3. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. III. Оптимизация числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N5. С.214-223. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. III. Optimization of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. N5.
РЕАЛИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ БИНАРНЫМИ ГРАФАМИ
  1. Артюхов В. Л., Кузнецов Б.П., Шалыто А.А. Настраиваемые бинарные программы //Автоматика и телемеханика. 1984. N11. С.112-119. Artyukhov V.L., Kuznetsov B.P., Shalyto A.A. Tunable Binary Procedures and Programs with Loops //Automation and Remote Control. 1984. Vol.45. N11. P.1481-1488.
  2. Кузнецов Б. П., Шалыто А. А. Структурный подход к программной реализации булевых формул // Автоматика и вычислительная техника. 1985. N5. С.84-88. Kuznetsov B.P., Shalyto A.A. Structural Approach to Software Implementation of Boolean Functions //Automatic Control and Computer Sciences. 1985. Vol.26. N5. P.80-83. Information about magazine "Automatic Control and Computer Sciences" on http://www.edi.lv/.
  3. Кузнецов Б. П., Шалыто А. А. Система преобразований некоторых форм представления булевых функций //Автоматика и телемеханика. 1985. N11. С.120-127. Kuznetsov B.P., Shalyto A.A. System of Transformations of Certain Representations of Boolean Functions //Automation and Remote Control. 1985. Vol.46. N11. P.1450-1457.
  4. Рубинов В. И., Шалыто А. А. Метод построения граф-схем простых бинарных программ для систем булевых функций //Автоматика и вычислительная техника. 1986. N4. С.87-92. Rubinov V.I., Shalyto A.A. Method of Constructing Flowcharts of Simple Binary Programs for Systems of Boolean Functions // Automatic Control and Computer Sciences. 1986. Vol.27. N4. P.82-87.
  5. Сагалович Ю. Л., Шалыто А. А. Бинарные программы и их реализация асинхронными автоматами // Проблемы передачи информации. 1987. Вып.1. С.89-96. Sagalovich Yu., Shalyto A.A. Binary Programs and Ther Realization by Asynchronous Automata //Problems of Information Transmission, 1987. N1, P.74-80. Information about magazine "Problems of Information Transmission" on http://www.maik.ru/, http://www.wkap.nl/. 6. Рубинов В.И., Шалыто А.А. Построение граф-схем бинарных программ для систем булевых функций, заданных таблицами истинности //Автоматика и вычислительная техника. 1988. N1. С.87-92. Rubinov V.I., Shalyto A.A. Design of Flowcharts of Binary Programs for Systems of Boolean Functions Specified by Truth Tables //Automatic Control and Computer Sciences. 1988. Vol.29, N1. P.79-83.
  6. Кузнецов Б. П., Шалыто А. А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул //Автоматика и телемеханика. 1998. N9. С.142-154. Kuznetsov B.P., Shalyto A.A. The Method of Independent Fragments for Constraction of Linearized Structured Graf-Charts of Algorithms that Implement Systems of Boolean Formulas //Automation and Remote Control. 1998. Vol.59. N9.
РЕАЛИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ АРИФМЕТИЧЕСКИМИ ПОЛИНОМАМИ
  1. Артюхов В. Л., Кондратьев В. Н., Шалыто А. А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988. N4. С.138-147. Artyukhov V.L., Kondrat`ev V.N., Shalyto A.A. Generating Boolean Functions Via Arithmetic Polinomials //Automation and Remote Control. 1988. Vol.49. N4. P.508-515. Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций с использованием линейных арифметических полиномов //Автоматика и телемеханика. 1993. N3. С.135-151. Kondrat`ev V.N., Shalyto A.A. Realization of Systems of Boolean Functions by Liner Arithmetic Polinomials //Automation and Remote Control. 1993. Vol.54. N3. P.472-488.
  2. Кондратьев В. Н., Шалыто А. А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием //Автоматика и телемеханика. 1996. N1. С.158-170. Kondrat`ev V.N., Shalyto A.A. Realization of Boolean Functions by One Liner Arithmetic Polinomial with Masking // Automation and Remote Control. 1996. Vol.57. N1. P.127-137.
  3. Кондратьев В. Н., Шалыто А. А. Реализация систем булевых функций линейными арифметическими полиномами //Автоматика и телемеханика. 1997. N3. С.200-215. Kondrat`ev V.N., Shalyto A.A. Implementation of Systems of Boolean Functions by Linear Arithmetic Polinomials with Masking // Automation and Remote Control. 1997. Vol.58. N3.
МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Вопросы применения многофункциональных логических модулей /Материалы международного симпозиума "Дискретные системы" (Symposium of International Federation of Automatic Control - IFAC). Рига: Зинатне, 1974, т.1. С.57-67.
  2. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Синтез комбинационных схем из многофункциональных логических модулей //Построение управляющих устройств и систем. М.: Наука, 1974. С.77-83. 3. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Оценка логической эффективности интегральных микросхем //Автоматика и вычислительная техника. 1981. N1. С.38-40. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Estimation of the Logical Efficiency of Integrated Microcircuitry //Automatic Control and Computer Sciences. 1981. Vol.22. N1. P.32-34.
  3. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Об оценках сложности реализации булевых формул древовидными схемами из настраиваемых модулей //Автоматика и телемеханика. 1981. N11. С.124-130. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Bounds on the Realization Complexity of Boolean Formulas by Tree Circuits of Tunable Modyles //Automation and Remote Control. 1982. Vol.42. N11. P.1532-1537.
  4. Шалыто А. А. Модули, универсальные в классе всех булевых функций, с парафазными входными переменными //Известия РАН. Теория и системы управления. 1997. N5. С.150-157. Shalyto A.A. Modules with Paraphase the Input Variables That ave Universal in Class of All Boolean Functions //Journal of Computer and Systems Sciences International. 1997. Vol.36. N5. P.794-801.
  5. Шалыто А. А. Модули, универсальные в классе самодвойственных функций и в "близких" к ним классах //Известия РАН. Теория и системы управления. 2001. N5. С.110-120. Shalyto A.A. Modules which Are Universal in the Class of Self-Dual Functions and in Close Classes //Journal of Computer and Systems Sciences International. 2001. Vol.40. N5. P.782-792.
МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ ИЗ ЭЛЕМЕНТОВ С ДВУСТОРОННЕЙ ПРОВОДИМОСТЬЮ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия высших учебных заведений. Приборостроение. 1981. N4. С.38-41.
ФУНКЦИОНАЛЬНЫЕ ВОЗМОЖНОСТИ МИКРОЭЛЕКТРОННЫХ РЕЗИСТИВНЫХ НАБОРОВ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Функциональные возможности микроэлектронных резистивных наборов //Автометрия. 1979. N3. С.120-122.
ОДНОРОДНЫЕ СТРУКТУРЫ
  1. Артюхов В. Л., Розенблюм Л. Я., Шалыто А. А. Логические возможности некоторых типов каскадных структур //Сети связи и дискретные устройства управления. М.: Наука, 1976. С.138-144.
  2. Артюхов В. Л., Шалыто А. А. Реализация булевых формул однородными мультиплексорными и мажоритарными каскадами //Известия РАН. Теория и системы управления. 1996. N5. С.133-146. Artyukhov V.L., Shalyto A.A. Realization of Boolean Formulas by Uniform Multiplexor and Majority Cascades //Journal of Computer and Systems Sciences International. 1996. Vol.35. N5. P.805-815.
  3. Шалыто А. А. Реализация булевых формул и булевых функций однородными структурами //Известия РАН. Теория и системы управления. 2002. N2. Shalyto A.A.Realization of Boolean Formulas and Boolean Functions by Homogeneous Structures //Journal of Computer and Systems Sciences International. 2002. Vol.41. N2. P.264-273.
ОЦЕНКА ФУНКЦИОНАЛЬНЫХ ВОЗМОЖНОСТЕЙ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ МАТРИЦ
  1. Артюхов В. Л., Кузнецова О. С., Шалыто А. А. Оценка функциональных возможностей программируемых логических матриц //Автоматика и вычислительная техника. 1985. N2. С.58-64. Artyukhov V.L., Shalyto A.A., Kuznetsova O.S. Evaluation of the Functional Capabilities of Programmable Logical Arrays //Automatic Control and Computer Sciences. 1985. Vol.26. N2. P.69-73.
РАЗНОЕ
  1. Шалыто А. А. У нас была Великая эпоха! http://www.computer-museum.ru/histsoft/epoch.php; http://www.softcraft.ru/; http://is.ifmo.ru/.

Публикации


Savin A.V., Kleban V.O., Shalyto A. Adaptation of object-oriented programming patterns to IEC 61499 applications in a case of “Factory method” design pattern // не указано - 2015, pp. ???










Савин А.В., Клебан В.О., Шалыто А.А. Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux // % - 2015. - С. %

Савин А.В., Клебан В.О., Шалыто А.А. Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод” // % - 2015. - С. %

Русин Н.С., Клебан В.О., Савин А.В., Шалыто А.А.Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015

Савин А.В., Шалыто А.А., Клебан В.О., Русин Н.С.Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015






Kravtsov N., Buzdalov M., Buzdalova A., Shalyto A. Worst-Case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives // Mendel - 2014, pp. 111-116

Шалыто А.А., Чивилихин Д.С., Ульянцев В.И.Муравьиный алгоритм для построения автоматных программ по спецификации//XII Всероссийское совещание по проблемам управления - 2014. - С. 3159-3166

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 98-105

Ведерников Н.В., Шалыто А.А., Ульянцев В.И., Кротков П.А., Демьянюк В.Ю.Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем//XII Всероссийское совещание по проблемам управления - 2014. - С. 4531-4542

Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 146-152







Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.Метод построения конечных автоматов на основе муравьиного алгоритма//Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник тезисов докладов VII-й Международной научно-технической конференции (Коломна, 20-22 мая 2013 г.) - 2013. - Т. 3. - С. 931-942


Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы - 2013. - № 5(66). - С. 43-50


Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики - 2011. - № 2(72). - С. 3-11

Публикации в репозитории Университета ИТМО

Петрова . И., Буздалова А. С., Шалыто А. А.
МЕТОД ДИНАМИЧЕСКОГО ВЫБОРА ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ В МНОГОКРИТЕРИАЛЬНЫХ ЭВОЛЮЦИОННЫХ АЛГОРИТМАХ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(103) за 2016 г.

Александров А. В., Шалыто А. А.
МЕТОД ИСПРАВЛЕНИЯ ОШИБОК ВСТАВКИ И УДАЛЕНИЯ В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(101) за 2016 г.

Янкин Ю. Ю., Шалыто А. А.
РАЗРАБОТКА РЕЗЕРВИРОВАННОГО БЛОКА УПРАВЛЕНИЯ ЭЛЕКТРОПРИВОДОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.

Чивилихин Д. С., Ульянцев В. И., Вяткин В. В., Шалыто А. А.
ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.

Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ НАПРАВЛЕННОЙ МУТАЦИИ ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(90) за 2014 г.

Степанов Д. В., Шалыто А. А.
ИСПОЛЬЗОВАНИЕ ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ПОИСКА ОПТИМАЛЬНОЙ ТРАЕКТОРИИ НАБЛЮДАТЕЛЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Ахи А. А., Станкевич А. С., Шалыто А. А.
АВТОМАТИЧЕСКИЕ МЕТОДЫ МОДИФИКАЦИИ РЕШЕНИЙ ДЛЯ ТЕСТИРОВАНИЯ ПРОВЕРЯЮЩИХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ АДАПТИВНОГО ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Казаков С. В., Царев Ф. Н., Шалыто А. А.
МЕТОД ПОСТРОЕНИЯ КОНЕЧНЫХ АВТОМАТОВ ВЕРХНЕГО УРОВНЯ ДЛЯ УПРАВЛЕНИЯ МОДЕЛЬЮ БЕСПИЛОТНОГО САМОЛЕТА НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(76) за 2011 г.

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.
МЕТОД ИСПРАВЛЕНИЯ ОШИБОК В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(75) за 2011 г.

Данилов В. Р., Шалыто А. А.
МЕТОД ПРЕДСТАВЛЕНИЯ АВТОМАТОВ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ ДЛЯ ИСПОЛЬЗОВАНИЯ В ГЕНЕТИЧЕСКОМ ПРОГРАММИРОВАНИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Законов А. Ю., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Клебан В. О., Шалыто А. А.
РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ МАЛОРАЗМЕРНЫМ ВЕРТОЛЕТОМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Сергеев А. А., Клебан В. О., Шалыто А. А.
АНАЛИЗ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ GPU ДЛЯ АВТОМАТИЧЕСКОГО СИНТЕЗА СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Трофимов Д. А., Шалыто А. А.
МЕТОДЫ ОПТИМИЗАЦИИ СТРАТЕГИЙ В ИГРАХ ДЛЯ ДВУХ УЧАСТНИКОВ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПОДХОДА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А.
АВТОМАТИЧЕСКИЙ СИНТЕЗ СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ ДЛЯ РЕШЕНИЯ ЗАДАЧИ «КЕГЕЛЬРИНГ»
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Алексеев С. А., Клебан В. О., Шалыто А. А.
ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ ИССЛЕДОВАНИЯ АВТОМАТНОГО УПРАВЛЕНИЯ МОБИЛЬНЫМИ РОБОТАМИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Клебанов А. А., Шалыто А. А.
ПРИМЕНЕНИЕ ШАБЛОНОВ ТРЕБОВАНИЙ К ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ И ВЕРИФИКАЦИИ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.

Егоров К. В., Царев Ф. Н., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ УПРАВЛЕНИЯ СИСТЕМАМИ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ И СПЕЦИФИКАЦИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.

Вельдер С. Э., Шалыто А. А.
ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(64) за 2009 г.

Васильев В. Н., Парфенов В. Г., Шалыто А. А.
ИННОВАЦИОННАЯ СИСТЕМА ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ПРОИЗВОДСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СПбГУ ИТМО
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(62) за 2009 г.

Шалыто А. А., Мандриков Е. А., Чеботарева Ю. К.
АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ И ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 10(52) за 2009 г.

Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е.
ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.

Шалыто А. А., Лукин М. А.
ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Рубинов К. В.
О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(46) за 2008 г.

Клебанов А. А., Шалыто А. А.
РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А.
ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Клебан В. О., Парфенов В. Г., Шалыто А. А.
ПОСТРОЕНИЕ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Лобанов П. Г., Сытник С. А., Шалыто А. А.
ПОСТРОЕНИЕ АВТОПИЛОТА ДЛЯ УПРОЩЕННОЙ МОДЕЛИ ВЕРТОЛЕТА С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО АЛГОРИТМА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Суясов Д. И.
ВЫДЕЛЕНИЕ СТРУКТУРНЫХ ПРИЗНАКОВ РАСПОЗНАВАЕМЫХ СИМВОЛОВ НА ОСНОВЕ НАБОРА КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.

Вельдер С. Э., Шалыто А. А.
МЕТОДЫ ВЕРИФИКАЦИИ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е.
ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.

Егоров К. В., Шалыто А. А.
РАЗРАБОТКА ВЕРИФИКАТОРА АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Гуров В. С., Мазин М. А., Шалыто А. А.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Поликарпова Н. И., Точилин В. , Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ГЕНЕРАЦИИ АВТОМАТОВ С БОЛЬШИМ ЧИСЛОМ ВХОДНЫХ ПЕРЕМЕННЫХ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Царев М. Н., Царев Ф. Н.
ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(52) за 2008 г.

Бедный Ю. , Шалыто А. А.
СОЗДАНИЕ СИСТЕМЫ УПРАВЛЕНИЯ ТАНКОМ ДЛЯ ИГРЫ ROBOCODE С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Гуров В. С., Мазин М. А., Шалыто А. А.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.

Лобанов П. Г., Шалыто А. А.
ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.

Вельдер С. Э., Шалыто А. А.
ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.

Корнеев Г. А., Шалыто А. А.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Гуров В. С., Мазин М. А., Шалыто А. А.
UNIMOD – инструментальное средство для автоматного программировани
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(30) за 2006 г.

Шалыто А. А., Корнеев Г. А.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.

Корнеев Г. А., Шалыто А. А.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Корнеев Г. А., Шалыто А. А.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Шалыто А. А.
Автоматно-ориентированное программирование
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(21) за 2005 г.

Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С.
Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(16) за 2004 г.

Проекты

Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем
28.07.2016 - 31.12.2018

Методы синтеза интеллектуальной информационной технологии мониторинга, прогноза и управления ресурсами и реконфигурацией многофункциональных группировок динамических объектов наземного и космсического базирования
21.01.2016 - 31.12.2018

Технология разработки программного обеспечения систем управления ответственными объектами на основе методов машинного обучения и конечных автоматов
18.07.2014 - 31.12.2016

Организация проведения научных исследований
28.02.2014 - 31.12.2016

Разработка муравьиных алгоритмов для построения управляющих конечных автоматов
01.01.2014 - 31.12.2016

Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений
01.09.2012 - 15.11.2013

Разработка методов сборки генома, сборки транскриптома и динамического анализа протеома
01.09.2012 - 15.11.2013

Разработка алгоритмов генетического программирования и сборки генома
01.01.2012 - 31.12.2013

Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности
19.08.2011 - 02.08.2012

Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям
16.05.2011 - 19.11.2013

Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов
13.05.2011 - 19.11.2013

Разработка методов машинного обучения на основе генетического программирования для построения управляющих конечных автоматов
01.01.2010 - 31.12.2011

Разработка основных положений применения искусственного интеллекта и верификации моделей для создания программных систем со сложным поведением на основе автоматного подхода
01.01.2010 - 31.12.2011

Применение методов искуственного интеллекта в разработке управляющих программных систем
11.11.2009 - 10.08.2011