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

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

Публикации

Mezhenin A.V., Polyakov V., Izvozchikova V.V., Burlov D.I., Zykov A.

The Synthesis of Virtual Space in the Context of Insufficient Data//Advances in Intelligent Systems and Computing, 2020, Vol. 1127 AISC, pp. 39-46 Подробнее

Зыков А.Г., Голованев Я.С., Поляков В.И., Швед Д.В.

Автоматизация выявления и устранения НДВ при верификации программ // Защита информации. Инсайд -2020. - № 3(93). - С. 62-65 Подробнее

Калинкина М.Е., Коробейников А.Г., Ткалич В.Л., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Пирожникова О.И.

Анализ структуры «мультиагента» для мониторинга параметров движения подвижных объектов и транспортных средств на базе нано- и микросистемной техники // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019г.) -2019. - С. 392-398

Меженин А.В., Извозчикова В.В., Поляков В.И., Зыков А.Г.

Моделирование виртуального пространства в условиях неполных данных // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019г.) -2019. - С. 186-193

Донецкая Ю.В., Зыков А.Г., Поляков В.И.

Методы верификации вычислительных процессов. Часть 1 - 2019

Поляков В.И., Меженин А.В., Зыков А.Г., Извозчикова В.В.

Моделирование виртуального пространства в условиях неполных данных//Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019 г.). - 2019

Скорубский В.И., Поляков В.И., Зыков А.Г.

Математическая логика: учебник и практикум для СПО - 2019

Зыков А.Г., Поляков В.И., Нгуен Д., Ву Л., Гатчин И.Ю.

Применение машинного обучения для анализа рисков и сетевых угроз // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах -2019. - Т. II. - С. 352-357

Зыков А.Г., Голованев Я.С., Поляков В.И.

Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы -2019. - Т. 32. - № 3. - С. 398-402 Подробнее

Зыков А.Г., Поляков В.И., Чистиков Е.Г., Голованев Я.С.

Автоматизация определения путей решений при верификации вычислительного процесса // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"18. Научное издание в 3-х томах -2018. - Т. 2. - С. 298-306

Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы -2017. - Т. 30. - № 4. - С. 561-566 Подробнее

Зыков А.Г., Кочетков И.В., Чистиков Е.Г., Швед В.Г.

Автоматизация генерации описания графо-аналитической модели программы // Защита информации. Инсайд -2017. - № 4(76). - С. 60-65

Скорубский В.И., Поляков В.И., Зыков А.Г.

Математическая логика : учебник и практикум для академического бакалавриата - 2017

Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

Методы анализа вычислительного процесса по графо-аналитической модели // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"17. Научное издание в 3-х томах -2017. - Т. 2. - С. 121-129

Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

Формализация анализа программной реализации вычислительного процесса в САПР // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах -2016. - Т. 1. - С. 69-75

Скорубский В.И., Поляков В.И., Зыков А.Г.

Математическая логика : учебник и практикум для академического бакалавриата - 2016

Зыков А.Г., Кочетков И.В., Поляков В.И.

Применение системы Klee для автоматизации тестирования программ на языках C/C++ // Программные продукты и системы -2016. - № 4. - С. 101-106 Подробнее

Зыков А.Г., Поляков В.И., Раскилас А.В.

Метод анализа программной реализации вычислительного процесса // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"15. Научное издание в 2-х томах -2015. - Т. 2. - С. 46-54

Алексанин С.А., Зыков А.Г., Коробейников А.Г., Поляков В.И.

Автоматизированный выбор метода цифровой обработки изображений при решении задач дефектоскопии // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"15. Научное издание в 2-х томах -2015. - Т. 2. - С. 174-180

Коробейников А.Г., Зыков А.Г., Поляков В.И., Ашевский Д.Ю., Алексанин С.А.

Проектирование математических моделей расчета оценки рисков перемещения материальных грузов на железнодорожных узлах с использованием лингвистических переменных // Вестник Ростовского государственного университета путей сообщения -2015. - № 2(58). - С. 68-73 Подробнее

Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И.

Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов // Известия высших учебных заведений. Приборостроение -2014. - Т. 57. - № 4. - С. 64-68 Подробнее

Зыков А.Г., Поляков В.И.

Алгоритмы конструкторского проектирования ЭВМ. Учебное пособие по дисциплине "Конструкторско-технологическое обеспечение производства ЭВМ" - 2014

Зыков А.Г., Поляков В.И., Македонский А.А.

Определение значений don't care во многопараметрических вычислительных процессах // Москва:Физматлит -2014. - Т. 2. - С. 96-102

Зыков А.Г., Поляков В.И.

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

Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А.

Структурирование вычислительного процесса по графо-аналитическим моделям // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием -2013. - Т. 1. - С. 193-204

Гатчин Ю.А., Зыков А.Г., Коробейников А.Г., Поляков В.И., Соколов К.О.

Мониторинг объектов железнодорожной инфраструктуры с использованием интеллектуальных агентов магнитных измерений // Вестник Ростовского государственного университета путей сообщения -2013. - № 3(51). - С. 95-99 Подробнее

Зыков А.Г., Поляков В.И.

Математическая логика - 2013

Гедич А.А., Зыков А.Г., Лаздин А.В.

Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов // Научно-технический вестник информационных технологий, механики и оптики -2013. - № 5(87). - С. 117-123 Подробнее

Гатчин Ю.А., Зыков А.Г., Немолочнов О.Ф., Поляков В.И., Поляков И.В.

Устранение критических состязаний сигналов в логических схемах при реализации вычислительных процессов // Вестник Марийского государственного технического университета -2012. - Т. 2. - С. 28-34

Кулагин В.С., Зыков А.Г., Гатчин Ю.А.

Education without separation from production – the social aspect//IACEE World Conference on Continuing Engineering Education (WCCEE 2012 VALENCIA), 2012, pp. ?

Меженин А.В., Безруков А.В., Поляков В.И., Македонский А.А., Зыков А.Г.

ВИЗУАЛИЗАЦИЯ ГРФО-АНАЛИТИЧЕСКИХ МОДЕЛЕЙ В САПР -2012. - С. 432-437

Меженин А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Алгебро-топологические методы верификации вычислительных процессов на основе знаний // Гибридные и синергетические интеллектуальные системы: теория и практика: материалы 1-го международного симпозиума (Калининград, 29июня-2июля 2012г.) -2012. - Т. 2. - С. 224-233

Поляков В.И., Меженин А.В., Зыков А.Г.

Виртуальные 3D-среды как средство верификации и тестирования робототехнических систем // Гибридные и синергетические интеллектуальные системы: теория и практика: материалы 1-го международного симпозиума (Калининград, 29июня-2июля 2012г.) -2012. - Т. 2. - С. 128-134

Меженин А.В., Поляков В.И., Немолочнов О.Ф., Зыков А.Г.

ВЕРИФИКАЦИЯ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ -2012. - С. 91-94

Зыков А.Г., Поляков В.И., Немолочнов О.Ф.

Конечный автомат как модель синхронизации вычислительных процессов // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"12. Научное издание в 4-х томах -2012. - Т. 2. - С. 139-143

Блохин В.Н., Зыков А.Г.

Сообщения и приложения Windows - 2012

Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И.

Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием -2012. - Т. 1. - С. 94-99

Зыков А.Г., Меженин А.В., Немолочнов О.Ф., Поляков В.И.

Неравенства-отношения и выбор альтернативных решений управления вычислительными процессами // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -2012. - № 5. - С. 16 – 19

Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И.

Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами // Вестник Марийского государственного технического университета -2012. - Т. 1. - С. 94-98

Зыков А.Г., Поляков В.И., Македонский А.А., Немолочнов О.Ф.

Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 4(74). - С. 121-124

Зыков А.Г., Зыков А.Г.

МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ // сборник материалов Всероссийской научно-практической конференции с международным участием -2011. - С. C.113-119

Гатчин Ю.А., Зыков А.Г.

МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ // сборник материалов Всероссийской научно-практической конференции с международным участием -2011. - С. 113-119

Безруков А.В., Поляков В.И., Немолочнов О.Ф., Македонский А.А., Зыков А.Г.

Учебно-исследовательская САПР верификации вычислительных процессов // Труды Конгресса по интеллектальным системам и информационным технологиям «IS&IT'11». Научное издание в 4-х томах -2011. - Т. 2. - С. 109-112

Поляков В.И., Немолочнов О.Ф., Македонский А.А., Зыков А.Г.

Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № № 4(74). - С. С. 121-124

Зыков А.Г.

Введение в оффисные технологии - 2011

Безруков А.В., Зыков А.Г., Македонский А.А.

Учебно-исследовательская САПР верификации вычислительных процессов // Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х томах -2011. - Т. 2. - С. 109-112

Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Условия-предикаты и отношения между переменными управления вычислительными процессами // Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х тома -2011. - Т. 1. - С. 173-179

Зыков А.Г., Поляков В.И.

МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ // сборник материалов Всероссийской научно-практической конференции с международным участием -2011. - С. 113-119

Андронов А.В., Безруков А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - С. 116-120

Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Импликация и эквивалентность как основа верификации // Университет ИТМО -2010. - С. 122

Поляков В.И., Немолочнов О.Ф., Зыков А.Г.

Импликация и эквивалентность как основа верификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2010. - С. 122

Поляков В.И., Безруков А.В., Немолочнов О.Ф., Зыков А.Г.

Графо-аналитические модели как средство верификации вычислительных процессов // Труды Международного Конгресса по интеллектуальным системам и информационным технологиям/ Научное издание в 4-х томах. М.: Физматлит -2010. - Т. 2. - С. 140-145

Зыков А.Г., Поляков В.И., Безруков А.В., Немолочнов О.Ф.

Графо-аналитические модели как средство верификации вычислительных процессов // Труды Конгресса по интеллектуальным системам и информационным технологиям AIS-IT'10. Научное издание в 4-х томах -2010. - Т. 2

Зыков А.Г.

Графо-аналитические модели как средство верификации вычислительных процессов // Труды Международного Конгресса по интеллектуальным системам и информационным технологиям/ Научное издание в 4-х томах. М.: Физматлит -2010. - Т. 2. - С. 140-145

Зыков А.Г., Немолочнов О.Ф., Осовецкий Л.Г., Поляков В.И., Суханов А.В.

Метод обнаружения недекларированных возможностей и значений don’t care вычислительного процесса // Известия вузов. "Приборостроение" -2009. - Т. 52. - № 12. - С. 32-40

Поляков В.И., Немолочнов О.Ф., Зыков А.Г.

Вычислительные процессы в логических схемах и программах // Труды Конгресса по Интеллектуальным системам и информационным технологиям AIS-IT'09. Научное издание в 4-х томах. М.: Физматлит, -2009. - Т. 2. - С. 124-129

Зыков А.Г.

Методы верификации аппаратно - программных компонентов вычислительных систем - 2008 - 23

Зыков А.Г.

Методы верификации аппаратно - программных компонентов вычислительных систем - 2008

Зыков А.Г., Кулагин В.С.

Итерационно-рекурсивная модель вычислительных процессов программ // Известия вузов, Приборостроение -2005. - Т. 48. - № 12. - С. 14-20

Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В.

Верификация в исследовательских, учебных и промышленных системах // Научно-технический вестник СПбГУ ИТМО -2003. - № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем

Зыков А.Г.

Метод пересечения покрытий с ограничением при решении задач верификации иерархических моделей//Тезисы докладов 2-го международного научно-практического семинара "БЕЗОПАСНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ - XXI" - 2000. - С. 56

Зыков А.Г., Демин А.В.

Структура программного обеспечения для автоматического поиска информации в БД оптического приборостроения // Оптико-электронные приборы и сис-темы. Сборник научных статей -1997. - № 97. - С. 107-111

Зыков А.Г., Немолочнов О.Ф., Блохин В.Н.

Доступная система контроля цифровых узлов и верификации логических модулей -1989

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

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

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

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

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

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

Немолочнов О. Ф., Зыков А. Г., Кулагин В. С., Осовецкий Л. Г., Поляков В. И., Суханов А. В.
МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 12(52) за 2009 г.

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

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.
Моделирование простых логических неисправностей вычислительных процессов программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.
Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Сидоров А. В.
Структурирование программ и вычислительных процессов на множество линейных и условных вершин
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(19) за 2005 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И.
Кубические покрытия логических условий вычислительных процессов и программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(14) за 2004 г.

Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И.
Верификация в исследовательских, учебных и промышленных системах
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(11) за 2003 г.

Зыков А. Г., Немолочнов О. Ф., Поляков В. И.
Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.

Зыков А. Г., Немолочнов О. Ф., Поляков В. И.
Универсальная модель последовательностных схем в САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.

Проекты

Методы формальной и функциональной верификации вычислительных процессов, основанные на знаниях и графо-аналитических моделях
01/01/2017 - 12/31/2019

Методы формальной и функциональной верификации вычислительных процессов, основанные на знаниях и графо-аналитических моделях
01/01/2017 - 12/31/2019