Поляков Владимир Иванович

Статья

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.

Статья

Зыков А.Г., Поляков В.И. Автоматизация формальной верификации программной реализации вычислительного процесса. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"20. Научное издание в 2-х томах. 2020. Т. 1. С. 134-141.

Тезисы

Обобщенный анализ решений проблемы недоступности компьютерного сети в следствии сетевых атак типа «отказ обслуживании»

Статья

Polyakov V.I., Mezhenin A.V. Procedural Generation of Virtual Space. Advances in Intelligent Systems and Computing. 2020. Vol. 1156 AISC. pp. 623-632.

Статья

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

Статья

Поляков В.И., Кляус Т.К., Гатчин Ю.А. Методика формирования оптимального состава и оценки эффективности системы защиты информации. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах. 2019. Т. II. С. 358-360.

Статья

Гатчин Ю.А., Поляков В.И., Сухостат В.В. Исследование влияния внешних деструктивных воздействий на молодежную среду. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах. 2019. Т. II. С. 135-139.

Статья

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

Сборник

ЭКОНОМИЧЕСКАЯ ЦЕЛЕСООБРАЗНОСТЬ СОЗДАНИЯ СИСТЕМЫ БЕЗОПАСНОСТИ ОБЪЕКТОВ КРИТИЧЕСКОЙ ИНФОРМАЦИОННОЙ ИНФРАСТРУКТУРЫ

Сборник

Моделирование виртуального пространства в условиях неполных данных

Сборник

Efficiency of Intellectual System of Secure Access in a Phased Application of Means of Protection Considering the Intersection of the Sets of Threat Detection

Статья

Korobeynikov A., Polyakov V., Komarova A., Menshchikov A. The Application of MATLAB for the Primary Processing of Seismic Event Data. Advances in Intelligent Systems and Computing. 2019. Vol. 875. pp. 389-398.

Статья

Ванясин Н.В., Сидоркина И.Г., Поляков В.И. Архитектура интегрированной среды разработки программного обеспечения с поддержкой структурного редактирования. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2019. Т. 19. № 6(124). С. 1079–1085.

Статья

Polyakov V.I., Bogatyrev A.V., Bogatyrev S.V., Bogatyrev V.A. Redundant service of request copies by a sequence of groups of reserved nodes. CEUR Workshop Proceedings. 2019. No. in press. pp. 135-140.

Статья

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

Учебник, учебное пособие

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

Статья

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

Учебник, учебное пособие

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

Статья

Гатчин Ю.А., Поляков В.И., Кашицин Н.О., Тенетилова К.К. Исследование методов оценки средств физической защиты информации. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"18. Научное издание в 3-х томах. 2018. Т. 2. С. 358-361.

Статья

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

Статья

Korobeinikov A.G., Fedosovsky M.E., Zharinov I.O., Polyakov V.I., Shukalov A.V., Gurjanov A.V., Arustamov S.A. Method for Conceptual Presentation of Subject Tasks in Knowledge Engineering for Computer-Aided Design Systems. Advances in Intelligent Systems and Computing. 2018. Vol. 680. pp. 50-56.

Статья

Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И. Метод концептуального представления предметных задач в инженерии знаний для систем автоматизированного проектирования. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"17. Научное издание в 3-х томах. 2017. Т. 1. С. 114-122.

Статья

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

Статья

Коробейников А.Г., Перечесова А.Д., Калапышина И.И., Леваненко В.А., Гатчин Ю.А., Федосовский М.Е., Поляков В.И. Применение полимерных материалов в системе измерения низкочастотных магнитных полей. Структура и динамика молекулярных систем: сборник тезисов докладов XXIV Всероссийской конференции. 2017. С. 66.

Статья

Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Синтезирование программ на основе описания графоаналитической модели. Программные продукты и системы. 2017. Т. 30. № 4. С. 561-566.

Статья

Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И. Метод инфологического моделирования в инженерии знаний для решения задач автоматизированного проектирования. Известия высших учебных заведений. Приборостроение. 2017. Т. 60. № 10. С. 925-931.

Тезисы

Применение полимерных материалов в системе измерения низкочастотных магнитных полей

Учебник, учебное пособие

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

Статья

Гатчин Ю.А., Поляков В.И., Сухостат В.В. Методика оценки информационной защищенности оператора автоматизированных систем на основе метода газоразрядной визуализации. Вестник компьютерных и информационных технологий. 2017. № 6(156). С. 45-49.

Учебник, учебное пособие

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

Тезисы

Применение полимерных материалов при разработке торсионов применяемых в высокочувствительных системах измерения низкочастотных магнитных полей

Статья

Korobeynikov A.G., Tkalich V.L., Aleksanin S.A., Polyakov V.I. Usage of Digital Image Processing Methods in the Problem of Determining the Length of the Rail Joints. Advances in Intelligent Systems and Computing. 2016. Vol. 451. pp. 335-344.

Статья

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

Статья

Коробейников А.Г., Поляков В.И., Федосовский М.Е., Алексанин С.А. Автоматизация определения длины стыков рельсов на основе цифровой обработки изображений. Вестник Ростовского государственного университета путей сообщения. 2016. № 3(63). С. 36-41.

Учебник, учебное пособие

Арифметические основы ЭВМ

Статья

Arustamov S.A., Bogatyrev V.A., Polyakov V.I. Back Up Data Transmission in Real-Time Duplicated Computer Systems. Advances in Intelligent Systems and Computing. 2016. Vol. 451. pp. 103-109.

Статья

Зыков А.Г., Кочетков И.В., Поляков В.И. Применение системы Klee для автоматизации тестирования программ на языках C/C++. Программные продукты и системы. 2016. № 4. С. 101-106.

Статья

Коробейников А.Г., Поляков В.И., Федосовский М.Е., Алексанин С.А. Автоматизированная цифровая обработка изображений при решении задачи магнитной дефектоскопии. Программные продукты и системы. 2016. № 4. С. 165-170.

Статья

Коробейников А.Г., Федосовский М.Е., Поляков В.И., Алексанин С.А. Автоматизированная процедура определения длины трещины в графитовом стержне. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах. 2016. Т. 1. С. 81-85.

Статья

Поляков В.И., Скорубский В.И., Экало Ю.В. Применение факториальной системы для решения комбинаторных задач. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 6. С. 436-442.

Статья

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

Статья

Гатчин Ю.А., Поляков В.И., Сухостат В.В., Малков Н.В. Методика оценки защищенности оператора информационных систем в условиях деструктивных информационных воздействий. Вестник компьютерных и информационных технологий. 2015. № 2. С. 54-60.

Статья

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

Статья

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

Тезисы

Применение полимеров в современных системах измерения магнитного поля

Учебник, учебное пособие

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

Статья

Гатчин Ю.А., Поляков В.И., Сухостат В.В. Теоретические основы обеспечения информационной безопасности и защиты информации, IТ-специалиста в условиях внешних воздействий. Дизайн. Материалы. Технология. 2014. № 4(34). С. 87-89.

Тезисы

Анализ отказоустойчивости компьютерных систем с функциональной реконфигурацией

Статья

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

Статья

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

Тезисы

Определение значений don't care во многопараметрических вычислительных процессах

Статья

Бурлов Д.И., Меженин А.В., Немолочнов О.Ф., Поляков В.И. Автоматизация выбора метода сжатия цифрового видео в интеллектуальных системах железнодорожного транспорта. Вестник Ростовского государственного университета путей сообщения. 2014. № 1(53). С. 35-40.

Учебник, учебное пособие

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

Тезисы

Исследование свойств микроструктурированного оптического волокна типа "кварц-полимер"

Статья

Евстропьев С.К., Волынкин В.М., Шашкин А.В., Дукельский К.В., Коробейников А.Г., Гатчин Ю.А., Поляков В.И. Влияние одностадийной обработки кварцевой керамики гелеобразующими водными растворами на прочностные характеристики. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 5(93). С. 46-51.

Статья

Богатырев В.А., Поляков В.И., Поляков И.В. Анализ отказоустойчивости компьютерных систем с функциональной реконфигурацией. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS@IT". Научное издание в 3-х томах. - 2014. 2014. Т. 1. С. 126-131.

Статья

Гатчин Ю.А., Поляков В.И., Скорубский В.И., Чебаненко А.А. Модель эндокринной подсистемы. NB: Кибернетика и программирование. 2014. № 5. С. 62-69.

Статья

Кормилицын А.Ю., Поляков В.И. Методы и средства мониторинга дыхания. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 61-63.

Учебник, учебное пособие

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

Статья

Коробейников А.Г., Дукельский К.В., Гатчин Ю.А., Поляков В.И., Тер-Нерсесянц Е.В. ТЕЗИСЫ: Повышение прочностных свойств оптических световодов за счет уменьшения влагосодержания в полимерном покрытии. XX Всероссийская конференция "Структура и динамика молекулярных систем" и 11-ая Школа молодых ученых "Синтез, структура и динамика молекулярных систем" (Йошкар-Ола, Уфа, Казань, 24-29июня 2013г.): сборник тезисов, докладов и сообщений. 2013. С. 79.

Статья

Чернышев Ю.О., Басова А.В., Панасенко П.А., Поляков В.И. Использование методов моделирования эволюции для оптимизации документооборота на предприятии. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2013. № 1(83). С. 135-140.

Статья

Безруков А.В., Поляков В.И. Метод определения значений переменных в условиях-предикатах вычислительных процессов. Труды Конгресса по интеллектуальным системам и информационным технологиям «IS&IT’13». Научное издание в 4-х томах. 2013. Т. 2. С. 410-415.

Статья

Жуков В.Л., Поляков В.И., Хмызникова В.А. Исследование визуальных мнформационных систем и модулей в предметной области объектов дизайна, представленных кластером малой архитектурной пластики. Дизайн. Материалы. Технология. 2013. № 4(29). С. 27-30.

Статья

Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А. Структурирование вычислительного процесса по графо-аналитическим моделям. Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием. 2013. Т. 1. С. 193-204.

Статья

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

Учебник, учебное пособие

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

Учебник, учебное пособие

Прикладная архитектура базовой модели процессора Intel. Учебное пособие по дисциплине Организация ЭВМ и систем

Статья

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

Сборник

Визуализация графо-аналитических моделей в САПР

Учебник, учебное пособие

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

Статья

Меженин А.В., Безруков А.В., Поляков В.И., Македонский А.А., Зыков А.Г. ВИЗУАЛИЗАЦИЯ ГРФО-АНАЛИТИЧЕСКИХ МОДЕЛЕЙ В САПР. 2012. С. 432-437.

Учебник, учебное пособие

Оснеовы теории алгоритмов. Учебное пособие по дисциплине "Математическая логика и теория алгоритмов"

Статья

Матлах А.П., Нечаев Ю.И., Поляков В.И. Адаптивный прогноз динамики судов активного ледового плавания. Морской вестник. 2012. № 1(41). С. 81 – 86.

Статья

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

Статья

Гатчин Ю.А., Зыков А.Г., Немолочнов О.Ф., Поляков В.И., Поляков И.В. Устранение критических состязаний сигналов в логических схемах при реализации вычислительных процессов. Вестник Марийского государственного технического университета. 2012. Т. 2. С. 28-34.

Статья

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

Статья

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

Статья

Меженин А.В., Поляков В.И., Немолочнов О.Ф., Зыков А.Г. ВЕРИФИКАЦИЯ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ. 2012. С. 91-94.

Статья

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

Статья

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

Статья

Поляков В.И., Скорубский В.И. Преобразование моделей алгоритмов. Известия высших учебных заведений. Приборостроение. 2012. Т. 55. № 10. С. 41-46.

Статья

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

Сборник

МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ

Сборник

Прикладные интеллектуальные информационные системы магнитных измерений / Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов VI-й Международной научно-технической конференции (Коломна, 16-19 мая 2011 г.) В 2-х томах

Статья

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

Статья

Поляков В.И. Коробейников А.Г, Копытенко Ю. А., Исмагилов В.С., Гатчин Ю.А., Поляков В.И. Применение интеллектуальных информационных систем в задачах, связанных с магнитными измерениями. Вестник Ростовского государственного университета путей сообщения. Научно-технический журнал.- Ростов: ФГБОУ ВПО РГУПС, 2011, № 3 (43). 2011. С. 86-90.

Статья

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

Статья

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

Статья

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

Статья

Гатчин Ю.А., Копытенко Ю.А., Коробейников А.Г., Поляков В.И. Прикладные интеллектуальные информационные системы магнитных измерений. Сборник научных трудов "Интегрированные модели и мягкие вычисления в искусственном интеллекте. 2011. Т. №1. С. 322-332.

Статья

Гатчин Ю.А., Поляков В.И., Копытенко Ю.А., Исмагилов В.С., Коробейников А.Г. Применение интеллектуальных информационных систем в задачах, связанных с магнитными измерениями. Вестник Ростовского государственного университета путей сообщения. 2011. № 3. С. 86-90.

Сборник

Условия-предикаты и отношения между переменными управления вычислительными прцессами

Статья

Поляков В.И. Импликация и эквивалентность как основа верификации. 2010. № №4 (68). С. 122.

Статья

Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Импликация и эквивалентность как основа верификации. Университет ИТМО. 2010. С. 122.

Сборник

Уменьшение потерь в полимерном фотонно-кристаллическом оптическом волокне

Сборник

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

Учебник, учебное пособие

Арифметические основы ЭВМ. Учебно-методическое пособие по выполнению домашних заданий по дисциплине "Дискретная математика"

Учебник, учебное пособие

Технология проектирования печатных плат в САПР Р-САD-2006

Статья

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