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

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

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

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

Стаж: 43 года

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

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

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

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

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

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

  • Язык ассемблера

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

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

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

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