Поляков Владимир Иванович
- Ученое звание:
- доцент
- Ученая степень:
- кандидат технических наук
- Должность:
- Доцент факультета программной инженерии и компьютерной техники
-
- +7 (812) 233-30-96
- Телефон
-
- Занятия
- Расписание
Ученый секретарь диссертационного совета Д 212.227.05 по специальностям:
05.13.12 — Системы автоматизации проектирования (приборостроение) (технические науки)
05.13.19 — Методы и системы защиты информации, информационная безопасность (технические науки)
Публикации
Соловьев Д.В., Бондаренко И.Б., Гатчин Ю.А., Поляков В.И., Исаева А.В.
Автоматизация технологических процессов с помощью технологии дополненной реальности // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"23. Научное издание в 2-х томах -2023. - Т. 2. - С. 60-66
Поляков В.И., Зиннатулин Ф.Ф.
Модели вычислительных процессов информационной системы // Известия высших учебных заведений. Приборостроение -2023. - Т. 66. - № 3. - С. 195-199 Подробнее
Polyakov V., Dolgiy I., Mezhenin A.
Development and testing intelligent video surveillance systems based on the CNN algorithm//Lecture Notes in Networks and Systems, 2023, Vol. 776, pp. 136–147 Подробнее
Polyakov V.I., Mezhenin A.V., Vereskun V., Korobeynikov A.G., Shapovalov V.
Synthetic Datasets for Testing Video Security Systems//Lecture Notes in Networks and Systems, 2022, Vol. 330, pp. 672-680 Подробнее
Зиннатулин Ф.Ф., Поляков В.И.
Верификация вычислительного процесса информационной системы//Электронный сборник тезисов докладов конгресса молодых ученых - 2022
Скорубский В.И., Поляков В.И., Зыков А.Г.
Математическая логика : учебник и практикум для среднего профессионального образования - 2022
Соловьев Д.В., Бондаренко И.Б., Гатчин Ю.А., Поляков В.И., Исаева А.В.
Перспективы использования технологии дополненной реальности в образовании // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"22. Научное издание в 2-х томах -2022. - Т. 2. - С. 251-262
Зиннатулин Ф.Ф., Поляков В.И.
Архитектура системы верификации вычислительного процесса информационной системы // Образование России и актуальные вопросы современной науки: сборник статей V Всероссийской научно-практической конференции (Пенза, 16-17 мая 2022г.) -2022. - С. 41-43 Подробнее
Поляков В.И., Зиннатулин Ф.Ф.
Верификация вычислительного процесса информационной системы // Известия высших учебных заведений. Приборостроение -2022. - Т. 65. - № 8. - С. 545-553 Подробнее
Поляков В.И., Зиннатулин Ф.Ф.
Компонент системы верификации вычислительного процесса информационной системы // Образование в России и актуальные вопросы современной науки: сборник статей V Всероссийской научно-практической конференции (Пенза, 16-17мая 2022г.) [сборник трудов] -2022. - № V. - С. 361-364 Подробнее
Чикалов Н.В., Шаныгина Е.А., Гатчин Ю.А., Поляков В.И.
Цифровизация как механизм трансформации государственного, республиканского и муниципального управления // Инновационное развитие экономики. Устойчивое развитие регионов: материалы XXVII международной научно-практической конференции (Симферополь, 13-16 сентября 2022 г.) -2022. - С. 72-86
Чикалов Н.В., Березин М., Гатчин Ю.А., Поляков В.И.
Нечеткий логико-лингвистический алгоритм обнаружения инцидентов в киберфизических системах // Интегрированные модели и мягкие вычисления в искусственном интеллекте: сборник научных трудов XI-й Международной научно-практической конференции (ИММВ-2022, Коломна, 16-19мая 2022г.) -2022. - Т. 1. - С. 156-167 Подробнее
Soloviev D., Gatchin Y., Polyakov V.I.
Application of artificial neural network technologies for detection denial of service attacks//CEUR Workshop Proceedings, 2021, Vol. 2965, pp. 226-229 Подробнее
Зиннатулин Ф.Ф., Поляков В.И.
Верификация вычислительного процесса корпоративного портала//Электронный сборник тезисов докладов конгресса молодых ученых - 2021
Меженин А.В., Поляков В.И., Извозчикова В.В., Зыков А.Г.
Разработка и тестирование системы мониторинга движения пешеходов на платформе сверточной нейронной сети // Интегрированные модели и мягкие вычисления в искусственном интеллекте: сборник научных трудов X-й Международной научно-практической конференции (ИММВ-2021, Коломна, 17-20мая 2021г.) -2021. - Т. 2. - С. 130-141
Яковлев В.А., Савинова С.А., Гатчин Ю.А., Поляков В.И., Чикалов Н.В.
Методические рекомендации по оптимизации параметров системы аутентификации на основе использования универсальных хэш функций и случайных цепочек бит // Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем": сборник трудов (Тверь, 03–08 декабря 2021 г.) -2021. - С. 285-289 Подробнее
Соловьев Д., Гатчин Ю.А., Поляков В.И.
Применение технологий искусственных нейронных сетей для обнаружения атак на отказ в обслуживании // Интегрированные модели и мягкие вычисления в искусственном интеллекте: сборник научных трудов X-й Международной научно-практической конференции (ИММВ-2021, Коломна, 17-20мая 2021г.) -2021. - Т. 2. - С. 123-129
Соловьев Д.В., Гатчин Ю.А., Поляков В.И., Коробейников А.Г., Исаева А.В.
Проектирование систем обнаружения атак на основе технологий искусственных нейронных сетей // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"21. Научное издание в 2-х томах -2021. - Т. 1. - С. 498-504
Поляков В.И., Зиннатулин Ф.Ф.
Вычислительный процесс компонента входных данных информационной системы // Приоритетные направления инновационной деятельности в промышленности: сборник научных статей по итогам XII международной научной конференции (Казань, 30-31декабря 2021г.) [очно-заочная] -2021. - Т. Часть 2. - С. 91-92
Поляков В.И., Зиннатулин Ф.Ф.
Верификация вычислительного процесса корпоративной информационной системы // Вестник Дагестанского государственного технического университета. Технические науки -2021. - Т. 48. - № 4. - С. 133-138 Подробнее
Gatchin Y.A., Donetskaya J.V., Polyakov V.I.
Implementation of a digital passport for an electronic product at an enterprise//Wave Electronics and its Application in Information and Telecommunication Systems (WECONF 2021), 2021, pp. 9470562 Подробнее
Поляков В.И., Зиннатулин Ф.Ф.
Верификация вычислительного процесса корпоративного портала // Научно-технический вестник Поволжья -2021. - № 9. - С. 50-53 Подробнее
Mezhenin A.V., Polyakov V.I., Izvozchikova V.
Development and testing of a pedestrian traffic monitoring system on a convolutional neural network platform//CEUR Workshop Proceedings, 2021, Vol. 2965, pp. 230-237 Подробнее
Гатчин Ю.А., Поляков В.И., Чикалов Н.В.
Модель обнаружения деструктивных воздействий в киберфизических системах // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"21. Научное издание в 2-х томах -2021. - Т. 1. - С. 582-589
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 Подробнее
Polyakov V.I., Mezhenin A.V.
Procedural Generation of Virtual Space//Advances in Intelligent Systems and Computing, 2020, Vol. 1156 AISC, pp. 623-632 Подробнее
Зыков А.Г., Поляков В.И.
Автоматизация формальной верификации программной реализации вычислительного процесса // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"20. Научное издание в 2-х томах -2020. - Т. 1. - С. 134-141
Кашицин Н.О., Гатчин Ю.А., Поляков В.И., Попов И.Ю., Филькова И.А.
Обобщенный анализ решений проблемы недоступности компьютерного сети в следствии сетевых атак типа «отказ обслуживании»//Труды Международного научно-технического конгресса «Интеллектуальные системы и информационные технологии - 2020» - 2020. - Т. 2. - С. 224-229
Калинкина М.Е., Коробейников А.Г., Ткалич В.Л., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Пирожникова О.И.
Анализ структуры «мультиагента» для мониторинга параметров движения подвижных объектов и транспортных средств на базе нано- и микросистемной техники // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019г.) -2019. - С. 392-398
Меженин А.В., Извозчикова В.В., Поляков В.И., Зыков А.Г.
Моделирование виртуального пространства в условиях неполных данных // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019г.) -2019. - С. 186-193
Донецкая Ю.В., Зыков А.Г., Поляков В.И.
Методы верификации вычислительных процессов. Часть 1 - 2019
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, Vol. 2525, pp. нет такой статьи
Ванясин Н.В., Сидоркина И.Г., Поляков В.И.
Архитектура интегрированной среды разработки программного обеспечения с поддержкой структурного редактирования [Integrated environment architecture for software development with structured editing support] // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2019. - Т. 19. - № 6(124). - С. 1079–1085 Подробнее
Поляков В.И., Меженин А.В., Зыков А.Г., Извозчикова В.В.
Моделирование виртуального пространства в условиях неполных данных//Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019 г.). - 2019
Poliakov V.I., Kolomoitcev V.S., Bogatyrev V.A.
Скорубский В.И., Поляков В.И., Зыков А.Г.
Математическая логика: учебник и практикум для СПО - 2019
Стельмашонок Е.В., Гатчин Ю.А., Сухостат В.В., Поляков В.И.
Экономическая целесообразность создания системы безопасности объектов критической информационной инфраструктуры // Региональная информатика и информационная безопасность. Сборник трудов СПОИСУ -2019. - № 7. - С. 229-233 Подробнее
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 Подробнее
Зыков А.Г., Поляков В.И., Нгуен Д., Ву Л., Гатчин И.Ю.
Применение машинного обучения для анализа рисков и сетевых угроз // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах -2019. - Т. II. - С. 352-357
Зыков А.Г., Голованев Я.С., Поляков В.И.
Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы -2019. - Т. 32. - № 3. - С. 398-402 Подробнее
Кляус Т.К., Гатчин Ю.А., Поляков В.И.
Методика формирования оптимального состава и оценки эффективности системы защиты информации // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах -2019. - Т. II. - С. 358-360
Гатчин Ю.А., Поляков В.И., Сухостат В.В.
Исследование влияния внешних деструктивных воздействий на молодежную среду // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах -2019. - Т. II. - С. 135-139
Гатчин Ю.А., Поляков В.И., Кашицин Н.О., Тенетилова К.К.
Исследование методов оценки средств физической защиты информации // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"18. Научное издание в 3-х томах -2018. - Т. 2. - С. 358-361
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"18. Научное издание в 3-х томах -2018. - Т. 2. - С. 298-306
Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И.
Метод инфологического моделирования в инженерии знаний для решения задач автоматизированного проектирования // Известия высших учебных заведений. Приборостроение -2017. - Т. 60. - № 10. - С. 925-931 Подробнее
Коробейников А.Г., Перечесова А.Д., Калапышина И.И., Леваненко В.А., Гатчин Ю.А., Федосовский М.Е., Поляков В.И.
Применение полимерных материалов в системе измерения низкочастотных магнитных полей//Сборник тезисов докладов XXIV Всероссийской конференции "Структура и динамика молекулярных систем" - 2017. - С. 66
Гатчин Ю.А., Поляков В.И., Сухостат В.В.
Методика оценки информационной защищенности оператора автоматизированных систем на основе метода газоразрядной визуализации // Вестник компьютерных и информационных технологий -2017. - № 6(156). - С. 45-49 Подробнее
Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.
Методы анализа вычислительного процесса по графо-аналитической модели // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"17. Научное издание в 3-х томах -2017. - Т. 2. - С. 121-129
Скорубский В.И., Поляков В.И., Зыков А.Г.
Математическая логика : учебник и практикум для академического бакалавриата - 2017
Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И.
Метод концептуального представления предметных задач в инженерии знаний для систем автоматизированного проектирования // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"17. Научное издание в 3-х томах -2017. - Т. 1. - С. 114-122
Коробейников А.Г., Перечесова А.Д., Калапышина И.И., Леваненко В.А., Гатчин Ю.А., Федосовский М.Е., Поляков В.И.
Применение полимерных материалов в системе измерения низкочастотных магнитных полей // Структура и динамика молекулярных систем: сборник статей -2017. - С. 46-54 Подробнее
Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.
Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы -2017. - Т. 30. - № 4. - С. 561-566 Подробнее
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 Подробнее
Коробейников А.Г., Поляков В.И., Федосовский М.Е., Алексанин С.А.
Автоматизация определения длины стыков рельсов на основе цифровой обработки изображений // Вестник Ростовского государственного университета путей сообщения -2016. - № 3(63). - С. 36-41 Подробнее
Скорубский В.И., Поляков В.И., Зыков А.Г.
Математическая логика : учебник и практикум для академического бакалавриата - 2016
Коробейников А.Г., Поляков В.И., Федосовский М.Е., Алексанин С.А.
Автоматизированная цифровая обработка изображений при решении задачи магнитной дефектоскопии // Программные продукты и системы -2016. - № 4. - С. 165-170 Подробнее
Зыков А.Г., Кочетков И.В., Поляков В.И.
Применение системы Klee для автоматизации тестирования программ на языках C/C++ // Программные продукты и системы -2016. - № 4. - С. 101-106 Подробнее
Коробейников А.Г., Федосовский М.Е., Поляков В.И., Алексанин С.А.
Автоматизированная процедура определения длины трещины в графитовом стержне // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах -2016. - Т. 1. - С. 81-85
Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.
Формализация анализа программной реализации вычислительного процесса в САПР // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах -2016. - Т. 1. - С. 69-75
Коробейников А.Г., Перечесова А.Д., Калапышина И.И., Леваненко В.А., Гатчин Ю.А., Федосовский М.Е., Поляков В.И.
Применение полимерных материалов при разработке торсионов применяемых в высокочувствительных системах измерения низкочастотных магнитных полей//XXIII Всероссийская конференция СТРУКТУРА И ДИНАМИКА МОЛЕКУЛЯРНЫХ СИСТЕМ. Сборник тезисов докладов - 2016. - С. 64
Зыков А.Г., Поляков В.И.
Арифметические основы ЭВМ - 2016
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 Подробнее
Гатчин Ю.А., Поляков В.И., Патуремский А.Д.
Исследование алгоритмов поиска максимального паросочетания в двудольном графе // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием -2015. - С. 7-10
Алексанин С.А., Зыков А.Г., Коробейников А.Г., Поляков В.И.
Автоматизированный выбор метода цифровой обработки изображений при решении задач дефектоскопии // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"15. Научное издание в 2-х томах -2015. - Т. 2. - С. 174-180 Подробнее
Коробейников А.Г., Зыков А.Г., Поляков В.И., Ашевский Д.Ю., Алексанин С.А.
Проектирование математических моделей расчета оценки рисков перемещения материальных грузов на железнодорожных узлах с использованием лингвистических переменных // Вестник Ростовского государственного университета путей сообщения -2015. - № 2(58). - С. 68-73 Подробнее
Гатчин Ю.А., Коробейников А.Г., Поляков В.И.
Применение полимеров в современных системах измерения магнитного поля//Сборник тезисов докладов и сообщений XXII Всероссийской конференции "Структура и динамика молекулярных систем" - 2015. - С. 65
Поляков В.И., Скорубский В.И., Экало Ю.В.
Применение факториальной системы для решения комбинаторных задач // Известия высших учебных заведений. Приборостроение -2015. - Т. 58. - № 6. - С. 436-442 Подробнее
Зыков А.Г., Поляков В.И., Раскилас А.В.
Метод анализа программной реализации вычислительного процесса // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"15. Научное издание в 2-х томах -2015. - Т. 2. - С. 46-54 Подробнее
Гатчин Ю.А., Поляков В.И., Сухостат В.В., Малков Н.В.
Методика оценки защищенности оператора информационных систем в условиях деструктивных информационных воздействий // Вестник компьютерных и информационных технологий -2015. - № 2. - С. 54-60 Подробнее
Гатчин Ю.А., Дукельский К.В., Коробейников А.Г., Поляков В.И.
Исследование свойств микроструктурированного оптического волокна типа "кварц-полимер"//Сборник тезисов докладов и сообщений XXI Всероссийской конференции "Структура и динамика молекулярных систем" - 2014. - С. 23
Зыков А.Г., Поляков В.И.
Определение значений don't care во многопараметрических вычислительных процессах//Труды Конгресса по интеллектуальным системам и информационным технологиям "IS@IT" - 2014. - Т. 2. - Вып. 96-102. - С. 96-102
Богатырев В.А., Поляков В.И., Поляков И.В.
Анализ отказоустойчивости компьютерных систем с функциональной реконфигурацией//Труды Конгресса по интеллектуальным системам и информационным технологиям "IS@IT". - 2014. - Т. 1. - С. 126-131
Зыков А.Г., Поляков В.И.
Алгоритмы конструкторского проектирования ЭВМ. Учебное пособие по дисциплине "Конструкторско-технологическое обеспечение производства ЭВМ" - 2014
Гатчин Ю.А., Поляков В.И., Скорубский В.И., Чебаненко А.А.
Модель эндокринной подсистемы // NB: Кибернетика и программирование -2014. - № 5. - С. 62-69 Подробнее
Гатчин Ю.А., Поляков В.И., Сухостат В.В.
Теоретические основы обеспечения информационной безопасности и защиты информации, IТ-специалиста в условиях внешних воздействий // Дизайн. Материалы. Технология -2014. - № 4(34). - С. 87-89
Зыков А.Г., Поляков В.И.
Алгоритмы конструкторского проектирования ЭВМ. Учебное пособие по дисциплине "Конструкторско-технологическое обеспечение производства ЭВМ".//учебное пособие - 2014
Богатырев В.А., Поляков В.И., Поляков И.В.
Анализ отказоустойчивости компьютерных систем с функциональной реконфигурацией // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS@IT". Научное издание в 3-х томах. - 2014 -2014. - Т. 1. - С. 126-131
Евстропьев С.К., Волынкин В.М., Шашкин А.В., Дукельский К.В., Коробейников А.Г., Гатчин Ю.А., Поляков В.И.
Влияние одностадийной обработки кварцевой керамики гелеобразующими водными растворами на прочностные характеристики // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 5(93). - С. 46-51 Подробнее
Кормилицын А.Ю., Поляков В.И.
Методы и средства мониторинга дыхания // Известия высших учебных заведений. Приборостроение -2014. - Т. 57. - № 4. - С. 61-63 Подробнее
Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И.
Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов // Известия высших учебных заведений. Приборостроение -2014. - Т. 57. - № 4. - С. 64-68 Подробнее
Бурлов Д.И., Меженин А.В., Немолочнов О.Ф., Поляков В.И.
Автоматизация выбора метода сжатия цифрового видео в интеллектуальных системах железнодорожного транспорта // Вестник Ростовского государственного университета путей сообщения -2014. - № 1(53). - С. 35-40 Подробнее
Поляков В.И., Скорубский В.И.
Использование многозначной логики при проектировании функциональных схем // Известия высших учебных заведений. Приборостроение -2014. - Т. 57. - № 4. - С. 57-60 Подробнее
Довгий П.С., Поляков В.И.
Прикладная архитектура базовой модели процессора Intel. Учебное пособие по дисциплине Организация ЭВМ и систем - 2013
Жуков В.Л., Поляков В.И., Хмызникова В.А.
Исследование визуальных мнформационных систем и модулей в предметной области объектов дизайна, представленных кластером малой архитектурной пластики // Дизайн. Материалы. Технология -2013. - № 4(29). - С. 27-30
Чернышев Ю.О., Басова А.В., Панасенко П.А., Поляков В.И.
Использование методов моделирования эволюции для оптимизации документооборота на предприятии // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2013. - № 1(83). - С. 135-140 Подробнее
Коробейников А.Г., Дукельский К.В., Гатчин Ю.А., Поляков В.И., Тер-Нерсесянц Е.В.
Повышение прочностных свойств оптических световодов за счет уменьшения влагосодержания в полимерном покрытии [тезисы] // XX Всероссийская конференция "Структура и динамика молекулярных систем" и 11-ая Школа молодых ученых "Синтез, структура и динамика молекулярных систем" (Йошкар-Ола, Уфа, Казань, 24-29июня 2013г.): сборник тезисов, докладов и сообщений -2013. - С. 79
Зыков А.Г., Поляков В.И.
Математическая логика - 2013
Гатчин Ю.А., Зыков А.Г., Коробейников А.Г., Поляков В.И., Соколов К.О.
Мониторинг объектов железнодорожной инфраструктуры с использованием интеллектуальных агентов магнитных измерений // Вестник Ростовского государственного университета путей сообщения -2013. - № 3(51). - С. 95-99 Подробнее
Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А.
Структурирование вычислительного процесса по графо-аналитическим моделям // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием -2013. - Т. 1. - С. 193-204
Зыков А.Г., Поляков В.И.
Анализ вычислительного процесса по графо-аналитической модели // Сборник научных трудов VII-ой Международной научно-практической конференции "Интегрировнные модели и мягкие вычисления в искусственном интеллекте. "(Коломна, 20-22 мая 2013 г.) -2013. - Т. Т.3. - С. 1193-1198
Безруков А.В., Поляков В.И.
Метод определения значений переменных в условиях-предикатах вычислительных процессов // Труды Конгресса по интеллектуальным системам и информационным технологиям «IS&IT’13». Научное издание в 4-х томах -2013. - Т. 2. - С. 410-415
Поляков В.И., Стародубцев Э.В.
Проектирование тонкопленочных гибридных интегральных микросхем. Учебное пособие по дисциплине Конструкторско-технологическое обеспечение производства ЭВМ - 2013
Матлах А.П., Нечаев Ю.И., Поляков В.И.
Адаптивный прогноз динамики судов активного ледового плавания // Морской вестник -2012. - № 1(41). - С. 81 – 86
Меженин А.В., Безруков А.В., Поляков В.И., Македонский А.А., Зыков А.Г.
ВИЗУАЛИЗАЦИЯ ГРФО-АНАЛИТИЧЕСКИХ МОДЕЛЕЙ В САПР -2012. - С. 432-437
Поляков В.И., Скорубский В.И.
Преобразование моделей алгоритмов // Известия высших учебных заведений. Приборостроение -2012. - Т. 55. - № 10. - С. 41-46 Подробнее
Меженин А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И.
Алгебро-топологические методы верификации вычислительных процессов на основе знаний // Гибридные и синергетические интеллектуальные системы: теория и практика: материалы 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
Поляков В.И.
Оснеовы теории алгоритмов. Учебное пособие по дисциплине "Математическая логика и теория алгоритмов" - 2012
Довгий П.С., Поляков В.И.
Основы теории множеств и приложение булевой алгебры к синтезу комбинационных схем. Учебное пособие по дисциплине "Дискретная математика" - 2012
Безруков А.В., Зыков А.Г., Македонский А.А., Меженин А.В., Поляков В.И., Поляков В.И.
Визуализация графо-аналитических моделей в САПР - 2012
Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И.
Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием -2012. - Т. 1. - С. 94-99
Гатчин Ю.А., Зыков А.Г., Немолочнов О.Ф., Поляков В.И., Поляков И.В.
Устранение критических состязаний сигналов в логических схемах при реализации вычислительных процессов // Вестник Марийского государственного технического университета -2012. - Т. 2. - С. 28-34
Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Меженин А.В.
Неравенства-отношения и выбор альтернативных решений управления вычислительными процессами // Информационные технологии -2012. - № 5. - С. 16-19
Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И.
Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами // Вестник Марийского государственного технического университета -2012. - Т. 1. - С. 94-98
Гатчин Ю.А., Копытенко Ю.А., Коробейников А.Г., Поляков В.И.
Прикладные интеллектуальные информационные системы магнитных измерений // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сб. научных трудов VI-й Международной научно-практической конференции (Коломна, 20-22 мая 2011) -2011. - Т. 1. - С. 322-332
Андронов А.В., Безруков А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И.
Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - С. 116-120
Коробейников А.Г., Копытенко Ю.А., Исмагилов В.С., Гатчин Ю.А., Поляков В.И.
Применение интеллектуальных информационных систем в задачах, связанных с магнитными измерениями // Вестник Ростовского государственного университета путей сообщения -2011. - № 3. - С. 88-93
Зыков А.Г., Поляков В.И., Македонский А.А., Немолочнов О.Ф.
Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 4(74). - С. 121-124
Поляков В.И.
Условия-предикаты и отношения между переменными управления вычислительными прцессами//Труды Конгресса по интеллектуальным системам и информационным технологиям "IS@IT". Научное издание в 4-х томах - 2011. - Т. 1
Гатчин Ю.А., Зыков А.Г., Поляков В.И.
МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ - 2011
Поляков В.И.
Прикладные интеллектуальные информационные системы магнитных измерений / Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов VI-й Международной научно-технической конференции (Коломна, 16-19 мая 2011 г.) В 2-х томах - 2011. - Т. 1
Зыков А.Г., Немолочнов О.Ф., Поляков В.И.
Условия-предикаты и отношения между переменными управления вычислительными процессами // Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х тома -2011. - Т. 1. - С. 173-179
Зыков А.Г., Гатчин Ю.А., Поляков В.И.
МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ // сборник материалов Всероссийской научно-практической конференции с международным участием -2011. - С. C.113-119
Гатчин Ю.А., Поляков В.И., Тер-Нерсесянц Е.В., Дукельский К.В., Коробейников А.Г.
Уменьшение потерь в полимерном фотонно-кристаллическом оптическом волокне // Структура и динамика молекулярных систем. Яльчик-2010": сборник материалов XVII Всероссийской конференции -2010. - С. 93-97
Поляков В.И.
Арифметические основы ЭВМ. Учебно-методическое пособие по выполнению домашних заданий по дисциплине "Дискретная математика" - 2010
Поляков В.И.
Графо-аналитические модели как средство верификации вычислительных процессов//Труды Международного Конгресса по интеллектуальным системам и информационным технологиям - 2010. - Т. 2
Поляков В.И.
Уменьшение потерь в полимерном фотонно-кристаллическом оптическом волокне//"Структура и динамика молекулярных систем. Яльчик-2010": сборник материалов XVII Всероссийской конференции - 2010
Немолочнов О.Ф., Зыков А.Г., Поляков В.И.
Импликация и эквивалентность как основа верификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2010. - № 4(68). - С. 122 Подробнее
Иванова Н.Ю., Романова Е.Б., Поляков В.И.
Технология проектирования печатных плат в САПР Р-САD-2006//учебное пособие - 2009
Зыков А.Г., Немолочнов О.Ф., Осовецкий Л.Г., Поляков В.И., Суханов А.В.
Метод обнаружения недекларированных возможностей и значений don’t care вычислительного процесса // Известия вузов. "Приборостроение" -2009. - Т. 52. - № 12. - С. 32-40
Публикации в репозитории Университета ИТМО
МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ИНФОРМАЦИОННОЙ СИСТЕМЫ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 3(66) за 2023 г.
ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА ИНФОРМАЦИОННОЙ СИСТЕМЫ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 8(65) за 2022 г.
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(124) за 2019 г.
МЕТОД ИНФОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ В ИНЖЕНЕРИИ ЗНАНИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 10(60) за 2017 г.
ПРИМЕНЕНИЕ ФАКТОРИАЛЬНОЙ СИСТЕМЫ ДЛЯ РЕШЕНИЯ КОМБИНАТОРНЫХ ЗАДАЧ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 6(58) за 2015 г.
ВЛИЯНИЕ ОДНОСТАДИЙНОЙ ОБРАБОТКИ КВАРЦЕВОЙ КЕРАМИКИ ГЕЛЕОБРАЗУЮЩИМИ ВОДНЫМИ РАСТВОРАМИ НА ПРОЧНОСТНЫЕ ХАРАКТЕРИСТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(93) за 2014 г.
МЕТОДЫ И СРЕДСТВА МОНИТОРИНГА ДЫХАНИЯ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 4(57) за 2014 г.
ИСПОЛЬЗОВАНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНЫХ СХЕМ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 4(57) за 2014 г.
ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 4(57) за 2014 г.
ИСПОЛЬЗОВАНИЕ МЕТОДОВ МОДЕЛИРОВАНИЯ ЭВОЛЮЦИИ ДЛЯ ОПТИМИЗАЦИИ ДОКУМЕНТООБОРОТА НА ПРЕДПРИЯТИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(83) за 2013 г.
ПРЕОБРАЗОВАНИЕ МОДЕЛЕЙ АЛГОРИТМОВ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 10(55) за 2012 г.
ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(74) за 2011 г.
ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(74) за 2011 г.
ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(68) за 2010 г.
МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 12(52) за 2009 г.
ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ КОНТРОЛЯ СИСТЕМ ПОСАДКИ ВОЗДУШНЫХ СУДОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 11(56) за 2008 г.
МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 11(45) за 2007 г.
Моделирование простых логических неисправностей вычислительных процессов программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.
Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.
Структурирование программ и вычислительных процессов на множество линейных и условных вершин
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(19) за 2005 г.
Кубические покрытия логических условий вычислительных процессов и программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(14) за 2004 г.
Верификация в исследовательских, учебных и промышленных системах
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(11) за 2003 г.
Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.
Универсальная модель последовательностных схем в САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.