Зыков Анатолий Геннадьевич

Должность: тьютор

Кафедра: кафедра информатики и прикладной математики

Уч. степень: кандидат технических наук

Стаж: 42 года

Условие работы: Основное место работы

Трудовой договор: с 07/01/2016 по 08/31/2018

Образование:

  • Диплом о высшем образовании (первое высшее); Квалификация: инженер-электрик;

Наименование направления подготовки и (или) специальности:

Преподаваемые дисциплины:

  • Языки системного программирования
  • Системное программное обеспечение
  • Верификация вычислительных процессов

Повышение квалификации:

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Повышение квалификации
Разработка адаптированнных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченными возможностями здоровья
2016
Российская Федерация
2
Курсы повышения квалификации на базе НИУ ИТМО
Информационная поддержка научной деятельности
2016
Информационная поддержка научной деятельности
Российская Федерация
Санкт-Петербург
3
Конференция
Международный конгресс по интеллектуальным системам и информационным технологиям
2015
Международный конгресс по интеллектуальным системам и информационным технологиям
Российская Федерация
Дивноморск
4
Повышение квалификации
Краткосрочное обучение по программе "Профессиональная работа с пакетами MS Office, Maple, Web-технологии"
2014
Краткосрочное обучение по программе "Профессиональная работа с пакетами MS Office, Maple, Web-технологии"
Российская Федерация
Санкт-Петербург
5
Повышение квалификации
Повышение квалификации по программе "Профессиональная компетентность научно-педагогических работников: становление и развитие"
2013
Повышение квалификации по программе "Профессиональная компетентность научно-педагогических работников: становление и развитие"
6
Повышение квалификации
Повышение квалификации по программе "Интегрированные компьютерные технологии проектирования, прототипирования и попдготовки производства"
2012
Повышение квалификации по программе "Интегрированные компьютерные технологии проектирования, прототипирования и попдготовки производства"

Список трудов:

  1. Математическая логика : учебник и практикум для академического бакалавриата [Тип: Учебник, учебное пособие, Год: 2016]
  2. Зыков А.Г., Кочетков И.В., Поляков В.И. Применение системы Klee для автоматизации тестирования программ на языках C/C++. Программные продукты и системы. 2016. № 4. С. 101-106. [Тип: Статья, Год: 2016]
  3. Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Формализация анализа программной реализации вычислительного процесса в САПР. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах. 2016. Т. 1. С. 69-75. [Тип: Статья, Год: 2016]
  4. Поляков В.И., Раскилас А.В., Зыков А.Г. Метод анализа программной реализации вычислительного процесса. Mеждународный конгресс по интеллектуальным системам и информационным технологиям. 2015. Т. 2. С. 70-77. [Тип: Статья, Год: 2015]
  5. Поляков В.И., Зыков А.Г., Коробейников А.Г., Алексанин С.А. Автоматизированный выбор метода цифровой обработки изображений при решении задач дефектоскопии. Труды конгресса по интеллектуальным системам и информационным технологиям IS&IT’15. Научное издание в 3-х томах. 2015. Т. Т. 2. - Высокопроизводительные системы и нейрокомпьютеры. С. 174-180. [Тип: Статья, Год: 2015]
  6. Коробейников А.Г., Зыков А.Г., Поляков В.И., Ашевский Д.Ю., Алексанин С.А. Проектирование математических моделей расчета оценки рисков перемещения материальных грузов на железнодорожных узлах с использованием лингвистических переменных. Вестник Ростовского государственного университета путей сообщения. 2015. № 2(58). С. 68-73. [Тип: Статья, Год: 2015]
  7. Зыков А.Г., Поляков В.И., Македонский А.А. Определение значений don't care во многопараметрических вычислительных процессах. Москва:Физматлит. 2014. Т. 2. С. 96-102. [Тип: Статья, Год: 2014]
  8. Алгоритмы конструкторского проектирования ЭВМ. Учебное пособие по дисциплине "Конструкторско-технологическое обеспечение производства ЭВМ" [Тип: Учебник, учебное пособие, Год: 2014]
  9. Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68. [Тип: Статья, Год: 2014]
  10. Математическая логика [Тип: Учебник, учебное пособие, Год: 2013]
  11. Гедич А.А., Зыков А.Г., Лаздин А.В. Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов. Научно-технический вестник информационных технологий, механики и оптики. 2013. № 5(87). С. 117-123. [Тип: Статья, Год: 2013]
  12. Зыков А.Г., Поляков В.И. Анализ вычислительного процесса по графо-аналитической модели. Сборник научных трудов VII-ой Международной научно-практической конференции "Интегрировнные модели и мягкие вычисления в искусственном интеллекте. "(Коломна, 20-22 мая 2013 г.). 2013. Т. Т.3. С. 1193-1198. [Тип: Статья, Год: 2013]
  13. Гатчин Ю.А., Зыков А.Г., Коробейников А.Г., Поляков В.И., Соколов К.О. Мониторинг объектов железнодорожной инфраструктуры с использованием интеллектуальных агентов магнитных измерений. Вестник Ростовского государственного университета путей сообщения. 2013. № 3(51). С. 95-99. [Тип: Статья, Год: 2013]
  14. Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А. Структурирование вычислительного процесса по графо-аналитическим моделям. Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием: в 2 ч. 2013. Т. 1. С. 193-204. [Тип: Статья, Год: 2013]
  15. Меженин А.В., Зыков А.Г., Поляков В.И., Поляков В.И. Виртуальные 3D-среды как средство верификации и тестирования робототехнических систем. 2012. С. 128-134. [Тип: Статья, Год: 2012]
  16. Меженин А.В., Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Поляков В.И. Алгебро-топологические методы верификации вычислительных процессов на основе знаний. 2012. С. 224-233. [Тип: Статья, Год: 2012]
  17. Меженин А.В., Безруков А.В., Поляков В.И., Македонский А.А., Зыков А.Г. ВИЗУАЛИЗАЦИЯ ГРФО-АНАЛИТИЧЕСКИХ МОДЕЛЕЙ В САПР. 2012. С. 432-437. [Тип: Статья, Год: 2012]
  18. Кулагин В.С., Зыков А.Г., Гатчин Ю.А. Education without separation from production – the social aspect. IACEE World Conference on Continuing Engineering Education (WCCEE 2012 VALENCIA). 2012. pp. ?. [Тип: Статья, Год: 2012]
  19. Зыков А.Г., Меженин А.В., Немолочнов О.Ф., Поляков В.И., Меженин А.В., Поляков В.И. Неравенства-отношения и выбор альтернативных решений управления вычислительными процессами. Информационные технологии. 2012. № 5. С. 16 – 19. [Тип: Статья, Год: 2012]
  20. Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Конечный автомат как модель синхронизации вычислительных процессов. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT". Научное издание в 4-х томах. - М.: Физматлит,. 2012. Т. 2. С. 139-143. [Тип: Статья, Год: 2012]
  21. Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И. Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами. Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием: в 2 ч. 2012. Т. 1. С. 94-99. [Тип: Статья, Год: 2012]
  22. Поляков В.И., Немолочнов О.Ф., Зыков А.Г. Конечный автомат как модель синхронизации вычислительных процессов. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT". Научное издание в 4-х томах. - М.: Физматлит,. 2012. Т. 2. С. 139-143. [Тип: Статья, Год: 2012]
  23. Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И. Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами. Вестник Марийского государственного технического университета. 2012. Т. 1. С. 94-98. [Тип: Статья, Год: 2012]
  24. Сообщения и приложения Windows [Тип: Учебник, учебное пособие, Год: 2012]
  25. Гатчин Ю.А., Зыков А.Г., Немолочнов О.Ф., Поляков В.И., Поляков И.В. Устранение критических состязаний сигналов в логических схемах при реализации вычислительных процессов. Вестник Марийского государственного технического университета. 2012. Т. 2. С. 28-34. [Тип: Статья, Год: 2012]
  26. Меженин А.В., Поляков В.И., Немолочнов О.Ф., Зыков А.Г. ВЕРИФИКАЦИЯ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ. 2012. С. 91-94. [Тип: Статья, Год: 2012]
  27. Зыков А.Г., Поляков В.И. МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ. сборник материалов Всероссийской научно-практической конференции с международным участием. 2011. С. 113-119. [Тип: Статья, Год: 2011]
  28. Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Условия-предикаты и отношения между переменными управления вычислительными процессами. Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х тома. 2011. Т. 1. С. 173-179. [Тип: Статья, Год: 2011]
  29. Поляков В.И., Немолочнов О.Ф., Македонский А.А., Зыков А.Г. Параллельные структуры управления вычислительными процессами в САПР. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № № 4(74). С. С. 121-124. [Тип: Статья, Год: 2011]
  30. Гатчин Ю.А., Зыков А.Г. МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ. сборник материалов Всероссийской научно-практической конференции с международным участием. 2011. С. 113-119. [Тип: Статья, Год: 2011]
  31. Зыков А.Г., Поляков В.И., Македонский А.А., Немолочнов О.Ф. Параллельные структуры управления вычислительными процессами в САПР. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 4(74). С. 121-124. [Тип: Статья, Год: 2011]
  32. Безруков А.В., Поляков В.И., Немолочнов О.Ф., Македонский А.А., Зыков А.Г. Учебно-исследовательская САПР верификации вычислительных процессов. Труды Конгресса по интеллектальным системам и информационным технологиям «IS&IT'11». Научное издание в 4-х томах. 2011. Т. 2. С. 109-112. [Тип: Статья, Год: 2011]
  33. Безруков А.В., Зыков А.Г., Македонский А.А. Учебно-исследовательская САПР верификации вычислительных процессов. Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х томах. 2011. Т. 2. С. 109-112. [Тип: Статья, Год: 2011]
  34. Андронов А.В., Безруков А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Графо-аналитические модели вычислительных процессов в САПР. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 4(74). С. 116-120. [Тип: Статья, Год: 2011]
  35. Введение в оффисные технологии [Тип: Учебник, учебное пособие, Год: 2011]
  36. Зыков А.Г., Зыков А.Г. МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ. сборник материалов Всероссийской научно-практической конференции с международным участием. 2011. С. C.113-119. [Тип: Статья, Год: 2011]
  37. Зыков А.Г. Графо-аналитические модели как средство верификации вычислительных процессов. Труды Международного Конгресса по интеллектуальным системам и информационным технологиям/ Научное издание в 4-х томах. М.: Физматлит. 2010. Т. 2. С. 140-145. [Тип: Статья, Год: 2010]
  38. Зыков А.Г., Поляков В.И., Безруков А.В., Немолочнов О.Ф. Графо-аналитические модели как средство верификации вычислительных процессов. Труды Конгресса по интеллектуальным системам и информационным технологиям AIS-IT'10. Научное издание в 4-х томах. 2010. Т. 2. [Тип: Статья, Год: 2010]
  39. Поляков В.И., Немолочнов О.Ф., Зыков А.Г. Импликация и эквивалентность как основа верификации. Научно-технический вестник СПбГУ ИТМО. 2010. № 4(68). [Тип: Статья, Год: 2010]
  40. Поляков В.И., Безруков А.В., Немолочнов О.Ф., Зыков А.Г. Графо-аналитические модели как средство верификации вычислительных процессов. Труды Международного Конгресса по интеллектуальным системам и информационным технологиям/ Научное издание в 4-х томах. М.: Физматлит. 2010. Т. 2. С. 140-145. [Тип: Статья, Год: 2010]
  41. Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Импликация и эквивалентность как основа верификации. Научно-технический вестник СПбГУ ИТМО. 2010. № 4(68). С. 122. [Тип: Статья, Год: 2010]
  42. Зыков А.Г., Немолочнов О.Ф., Осовецкий Л.Г., Поляков В.И., Суханов А.В. Метод обнаружения недекларированных возможностей и значений don’t care вычислительного процесса. Известия высших учебных заведений. Приборостроение.. 2009. Т. 52. № 12. С. 32-40. [Тип: Статья, Год: 2009]
  43. Поляков В.И., Немолочнов О.Ф., Зыков А.Г. Метод обнаружения недекларированных возможностей и значений don?t care вычислительного процесса. Известия вузор "Приборостроение". 2009. Т. 52. № 12. С. 32 - 39. [Тип: Статья, Год: 2009]
  44. Поляков В.И., Немолочнов О.Ф., Зыков А.Г. Вычислительные процессы в логических схемах и программах. Труды Конгресса по Интеллектуальным системам и информационным технологиям AIS-IT'09. Научное издание в 4-х томах. М.: Физматлит,. 2009. Т. 2. С. 124-129. [Тип: Статья, Год: 2009]
  45. Методы верификации аппаратно - программных компонентов вычислительных систем [Тип: Автореферат, Год: 2008]
  46. Методы верификации аппаратно - программных компонентов вычислительных систем [Тип: Автореферат, Год: 2008]
  47. Зыков А.Г., Кулагин В.С. Итерационно-рекурсивная модель вычислительных процессов программ. Известия вузов, Приборостроение. 2005. Т. 48. № 12. С. 14-20. [Тип: Статья, Год: 2005]
  48. Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В. Верификация в исследовательских, учебных и промышленных системах. Научно-технический вестник СПбГУ ИТМО. 2003. № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем. [Тип: Статья, Год: 2003]
  49. Метод пересечения покрытий с ограничением при решении задач верификации иерархических моделей [Тип: Тезисы, Год: 2000]
  50. Зыков А.Г., Демин А.В. Структура программного обеспечения для автоматического поиска информации в БД оптического приборостроения. Оптико-электронные приборы и сис-темы. Сборник научных статей. 1997. № 97. С. 107-111. [Тип: Статья, Год: 1997]
  51. Зыков А.Г., Немолочнов О.Ф., Блохин В.Н. Доступная система контроля цифровых узлов и верификации логических модулей. 1989. [Тип: Статья, Год: 1989]