Математическая логика : учебник и практикум для СПО
Математическая логика : учебник и практикум для вузов
Соловьев Д.В., Бондаренко И.Б., Гатчин Ю.А., Поляков В.И., Исаева А.В. Автоматизация технологических процессов с помощью технологии дополненной реальности. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"23. Научное издание в 2-х томах. 2023. Т. 2. С. 60-66.
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.. doi: 10.1007/978-3-031-43789-2_12
Поляков В.И., Зиннатулин Ф.Ф. Модели вычислительных процессов информационной системы. Известия высших учебных заведений. Приборостроение. 2023. Т. 66. № 3. С. 195-199.. doi: 10.17586/0021-3454-2023-66-3-195-199
Математическая логика : учебник и практикум для среднего профессионального образования
Зиннатулин Ф.Ф., Поляков В.И. Архитектура системы верификации вычислительного процесса информационной системы. Образование России и актуальные вопросы современной науки: сборник статей V Всероссийской научно-практической конференции (Пенза, 16-17 мая 2022г.). 2022. С. 41-43.
Поляков В.И., Зиннатулин Ф.Ф. Компонент системы верификации вычислительного процесса информационной системы. Образование в России и актуальные вопросы современной науки: сборник статей V Всероссийской научно-практической конференции (Пенза, 16-17мая 2022г.) [сборник трудов]. 2022. № V. С. 361-364.
Поляков В.И., Зиннатулин Ф.Ф. Верификация вычислительного процесса информационной системы. Известия высших учебных заведений. Приборостроение. 2022. Т. 65. № 8. С. 545-553.. doi: 10.17586/0021-3454-2022-65-8-545-553
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.. doi: 10.1007/978-3-030-87178-9_67
Верификация вычислительного процесса информационной системы
Соловьев Д.В., Бондаренко И.Б., Гатчин Ю.А., Поляков В.И., Исаева А.В. Перспективы использования технологии дополненной реальности в образовании. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"22. Научное издание в 2-х томах. 2022. Т. 2. С. 251-262.
Чикалов Н.В., Шаныгина Е.А., Гатчин Ю.А., Поляков В.И. Цифровизация как механизм трансформации государственного, республиканского и муниципального управления. Инновационное развитие экономики. Устойчивое развитие регионов: материалы 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.
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.
Поляков В.И., Зиннатулин Ф.Ф. Верификация вычислительного процесса корпоративной информационной системы. Вестник Дагестанского государственного технического университета. Технические науки. 2021. Т. 48. № 4. С. 133-138.. doi: 10.21822/2073-6185-2021-48-4-133-138
Верификация вычислительного процесса корпоративного портала
Гатчин Ю.А., Поляков В.И., Чикалов Н.В. Модель обнаружения деструктивных воздействий в киберфизических системах. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"21. Научное издание в 2-х томах. 2021. Т. 1. С. 582-589.
Соловьев Д.В., Гатчин Ю.А., Поляков В.И., Коробейников А.Г., Исаева А.В. Проектирование систем обнаружения атак на основе технологий искусственных нейронных сетей. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"21. Научное издание в 2-х томах. 2021. Т. 1. С. 498-504.
Яковлев В.А., Савинова С.А., Гатчин Ю.А., Поляков В.И., Чикалов Н.В. Методические рекомендации по оптимизации параметров системы аутентификации на основе использования универсальных хэш функций и случайных цепочек бит. Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем": сборник трудов (Тверь, 03–08 декабря 2021 г.). 2021. С. 285-289.. doi: 10.26456/mfcsics-21-40
Поляков В.И., Зиннатулин Ф.Ф. Верификация вычислительного процесса корпоративного портала. Научно-технический вестник Поволжья. 2021. № 9. С. 50-53.
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.. doi: 10.1109/WECONF51603.2021.9470562
Поляков В.И., Зиннатулин Ф.Ф. Вычислительный процесс компонента входных данных информационной системы. Приоритетные направления инновационной деятельности в промышленности: сборник научных статей по итогам XII международной научной конференции (Казань, 30-31декабря 2021г.) [очно-заочная]. 2021. Т. Часть 2. С. 91-92.
Соловьев Д., Гатчин Ю.А., Поляков В.И. Применение технологий искусственных нейронных сетей для обнаружения атак на отказ в обслуживании. Интегрированные модели и мягкие вычисления в искусственном интеллекте: сборник научных трудов X-й Международной научно-практической конференции (ИММВ-2021, Коломна, 17-20мая 2021г.). 2021. Т. 2. С. 123-129.
Меженин А.В., Поляков В.И., Извозчикова В.В., Зыков А.Г. Разработка и тестирование системы мониторинга движения пешеходов на платформе сверточной нейронной сети. Интегрированные модели и мягкие вычисления в искусственном интеллекте: сборник научных трудов X-й Международной научно-практической конференции (ИММВ-2021, Коломна, 17-20мая 2021г.). 2021. Т. 2. С. 130-141.
Обобщенный анализ решений проблемы недоступности компьютерного сети в следствии сетевых атак типа «отказ обслуживании»
Зыков А.Г., Голованев Я.С., Поляков В.И., Швед Д.В. Автоматизация выявления и устранения НДВ при верификации программ. Защита информации. Инсайд. 2020. № 3(93). С. 62-65.
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.. doi: 10.1007/978-3-030-39216-1_4
Polyakov V.I., Mezhenin A.V. Procedural Generation of Virtual Space. Advances in Intelligent Systems and Computing. 2020. Vol. 1156 AISC. pp. 623-632.. doi: 10.1007/978-3-030-50097-9_64
Зыков А.Г., Поляков В.И. Автоматизация формальной верификации программной реализации вычислительного процесса. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"20. Научное издание в 2-х томах. 2020. Т. 1. С. 134-141.
Зыков А.Г., Поляков В.И., Нгуен Д., Ву Л., Гатчин И.Ю. Применение машинного обучения для анализа рисков и сетевых угроз. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах. 2019. Т. II. С. 352-357.
Зыков А.Г., Голованев Я.С., Поляков В.И. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса. Программные продукты и системы. 2019. Т. 32. № 3. С. 398-402.. doi: 10.15827/0236-235Х.127,398-402
Кляус Т.К., Гатчин Ю.А., Поляков В.И. Методика формирования оптимального состава и оценки эффективности системы защиты информации. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах. 2019. Т. II. С. 358-360.
Меженин А.В., Извозчикова В.В., Поляков В.И., Зыков А.Г. Моделирование виртуального пространства в условиях неполных данных. Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019г.). 2019. С. 186-193.
Гатчин Ю.А., Поляков В.И., Сухостат В.В. Исследование влияния внешних деструктивных воздействий на молодежную среду. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"19. Научное издание в 2-х томах. 2019. Т. II. С. 135-139.
Ванясин Н.В., Сидоркина И.Г., Поляков В.И. Архитектура интегрированной среды разработки программного обеспечения с поддержкой структурного редактирования [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.. doi: 10.17586/2226-1494-2019-19-6-1079-1085
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.. doi: 10.1007/978-3-030-01821-4_41
Калинкина М.Е., Коробейников А.Г., Ткалич В.Л., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Пирожникова О.И. Анализ структуры «мультиагента» для мониторинга параметров движения подвижных объектов и транспортных средств на базе нано- и микросистемной техники. Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов IX-й Международной научно-практической конференции (Коломна, 19-22 мая 2019г.). 2019. С. 392-398.
Методы верификации вычислительных процессов. Часть 1
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. нет такой статьи.
Efficiency of Intellectual System of Secure Access in a Phased Application of Means of Protection Considering the Intersection of the Sets of Threat Detection
Математическая логика: учебник и практикум для СПО
Моделирование виртуального пространства в условиях неполных данных
Стельмашонок Е.В., Гатчин Ю.А., Сухостат В.В., Поляков В.И. Экономическая целесообразность создания системы безопасности объектов критической информационной инфраструктуры. Региональная информатика и информационная безопасность. Сборник трудов СПОИСУ. 2019. № 7. С. 229-233.
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.. doi: 10.1007/978-3-319-68324-9_6
Зыков А.Г., Поляков В.И., Чистиков Е.Г., Голованев Я.С. Автоматизация определения путей решений при верификации вычислительного процесса. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"18. Научное издание в 3-х томах. 2018. Т. 2. С. 298-306.
Гатчин Ю.А., Поляков В.И., Кашицин Н.О., Тенетилова К.К. Исследование методов оценки средств физической защиты информации. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"18. Научное издание в 3-х томах. 2018. Т. 2. С. 358-361.
Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Методы анализа вычислительного процесса по графо-аналитической модели. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"17. Научное издание в 3-х томах. 2017. Т. 2. С. 121-129.
Применение полимерных материалов в системе измерения низкочастотных магнитных полей
Математическая логика : учебник и практикум для академического бакалавриата
Коробейников А.Г., Перечесова А.Д., Калапышина И.И., Леваненко В.А., Гатчин Ю.А., Федосовский М.Е., Поляков В.И. Применение полимерных материалов в системе измерения низкочастотных магнитных полей. Структура и динамика молекулярных систем: сборник статей. 2017. С. 46-54.
Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И. Метод концептуального представления предметных задач в инженерии знаний для систем автоматизированного проектирования. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"17. Научное издание в 3-х томах. 2017. Т. 1. С. 114-122.
Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Синтезирование программ на основе описания графоаналитической модели. Программные продукты и системы. 2017. Т. 30. № 4. С. 561-566.. doi: 10.15827/0236-235X.030.4.005-014
Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И. Метод инфологического моделирования в инженерии знаний для решения задач автоматизированного проектирования. Известия высших учебных заведений. Приборостроение. 2017. Т. 60. № 10. С. 925-931.. doi: 10.17586/0021-3454- 2017-60-10-925-931
Гатчин Ю.А., Поляков В.И., Сухостат В.В. Методика оценки информационной защищенности оператора автоматизированных систем на основе метода газоразрядной визуализации. Вестник компьютерных и информационных технологий. 2017. № 6(156). С. 45-49.. doi: 10.14489/vkit.2017.06.pp.045-049
Математическая логика : учебник и практикум для академического бакалавриата
Арифметические основы ЭВМ
Коробейников А.Г., Поляков В.И., Федосовский М.Е., Алексанин С.А. Автоматизированная цифровая обработка изображений при решении задачи магнитной дефектоскопии. Программные продукты и системы. 2016. № 4. С. 165-170.. doi: 10.15827/0236-235X.116.165–170
Зыков А.Г., Кочетков И.В., Поляков В.И. Применение системы Klee для автоматизации тестирования программ на языках C/C++. Программные продукты и системы. 2016. № 4. С. 101-106.. doi: 10.15827/0236-235X.116.101–106
Применение полимерных материалов при разработке торсионов применяемых в высокочувствительных системах измерения низкочастотных магнитных полей
Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Формализация анализа программной реализации вычислительного процесса в САПР. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах. 2016. Т. 1. С. 69-75.
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.. doi: 10.1007/978-3-319-33816-3_11
Коробейников А.Г., Поляков В.И., Федосовский М.Е., Алексанин С.А. Автоматизация определения длины стыков рельсов на основе цифровой обработки изображений. Вестник Ростовского государственного университета путей сообщения. 2016. № 3(63). С. 36-41.
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.. doi: 10.1007/978-3-319-33816-3_33
Коробейников А.Г., Федосовский М.Е., Поляков В.И., Алексанин С.А. Автоматизированная процедура определения длины трещины в графитовом стержне. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"16. Научное издание в 3-х томах. 2016. Т. 1. С. 81-85.
Гатчин Ю.А., Поляков В.И., Сухостат В.В., Малков Н.В. Методика оценки защищенности оператора информационных систем в условиях деструктивных информационных воздействий. Вестник компьютерных и информационных технологий. 2015. № 2. С. 54-60.. doi: 10.14489/vkit.2015.02.pp.054-059
Алексанин С.А., Зыков А.Г., Коробейников А.Г., Поляков В.И. Автоматизированный выбор метода цифровой обработки изображений при решении задач дефектоскопии. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"15. Научное издание в 2-х томах. 2015. Т. 2. С. 174-180.
Коробейников А.Г., Зыков А.Г., Поляков В.И., Ашевский Д.Ю., Алексанин С.А. Проектирование математических моделей расчета оценки рисков перемещения материальных грузов на железнодорожных узлах с использованием лингвистических переменных. Вестник Ростовского государственного университета путей сообщения. 2015. № 2(58). С. 68-73.
Гатчин Ю.А., Поляков В.И., Патуремский А.Д. Исследование алгоритмов поиска максимального паросочетания в двудольном графе. Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием. 2015. С. 7-10.
Поляков В.И., Скорубский В.И., Экало Ю.В. Применение факториальной системы для решения комбинаторных задач. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 6. С. 436-442.. doi: 10.17586/0021-3454-2015-58-6-436-442
Зыков А.Г., Поляков В.И., Раскилас А.В. Метод анализа программной реализации вычислительного процесса. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"15. Научное издание в 2-х томах. 2015. Т. 2. С. 46-54.
Применение полимеров в современных системах измерения магнитного поля
Алгоритмы конструкторского проектирования ЭВМ. Учебное пособие по дисциплине "Конструкторско-технологическое обеспечение производства ЭВМ"
Богатырев В.А., Поляков В.И., Поляков И.В. Анализ отказоустойчивости компьютерных систем с функциональной реконфигурацией. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS@IT". Научное издание в 3-х томах. - 2014. 2014. Т. 1. С. 126-131.
Гатчин Ю.А., Поляков В.И., Скорубский В.И., Чебаненко А.А. Модель эндокринной подсистемы. NB: Кибернетика и программирование. 2014. № 5. С. 62-69.. doi: 10.7256/2306-4196.2014.5.13295
Евстропьев С.К., Волынкин В.М., Шашкин А.В., Дукельский К.В., Коробейников А.Г., Гатчин Ю.А., Поляков В.И. Влияние одностадийной обработки кварцевой керамики гелеобразующими водными растворами на прочностные характеристики. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 5(93). С. 46-51.
Определение значений don't care во многопараметрических вычислительных процессах
Анализ отказоустойчивости компьютерных систем с функциональной реконфигурацией
Исследование свойств микроструктурированного оптического волокна типа "кварц-полимер"
Алгоритмы конструкторского проектирования ЭВМ. Учебное пособие по дисциплине "Конструкторско-технологическое обеспечение производства ЭВМ".
Кормилицын А.Ю., Поляков В.И. Методы и средства мониторинга дыхания. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 61-63.
Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68.
Бурлов Д.И., Меженин А.В., Немолочнов О.Ф., Поляков В.И. Автоматизация выбора метода сжатия цифрового видео в интеллектуальных системах железнодорожного транспорта. Вестник Ростовского государственного университета путей сообщения. 2014. № 1(53). С. 35-40.
Поляков В.И., Скорубский В.И. Использование многозначной логики при проектировании функциональных схем. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 57-60.
Гатчин Ю.А., Поляков В.И., Сухостат В.В. Теоретические основы обеспечения информационной безопасности и защиты информации, IТ-специалиста в условиях внешних воздействий. Дизайн. Материалы. Технология. 2014. № 4(34). С. 87-89.
Прикладная архитектура базовой модели процессора Intel. Учебное пособие по дисциплине Организация ЭВМ и систем
Проектирование тонкопленочных гибридных интегральных микросхем. Учебное пособие по дисциплине Конструкторско-технологическое обеспечение производства ЭВМ
Математическая логика
Жуков В.Л., Поляков В.И., Хмызникова В.А. Исследование визуальных мнформационных систем и модулей в предметной области объектов дизайна, представленных кластером малой архитектурной пластики. Дизайн. Материалы. Технология. 2013. № 4(29). С. 27-30.
Безруков А.В., Поляков В.И. Метод определения значений переменных в условиях-предикатах вычислительных процессов. Труды Конгресса по интеллектуальным системам и информационным технологиям «IS&IT’13». Научное издание в 4-х томах. 2013. Т. 2. С. 410-415.
Коробейников А.Г., Дукельский К.В., Гатчин Ю.А., Поляков В.И., Тер-Нерсесянц Е.В. Повышение прочностных свойств оптических световодов за счет уменьшения влагосодержания в полимерном покрытии [тезисы]. XX Всероссийская конференция "Структура и динамика молекулярных систем" и 11-ая Школа молодых ученых "Синтез, структура и динамика молекулярных систем" (Йошкар-Ола, Уфа, Казань, 24-29июня 2013г.): сборник тезисов, докладов и сообщений. 2013. С. 79.
Гатчин Ю.А., Зыков А.Г., Коробейников А.Г., Поляков В.И., Соколов К.О. Мониторинг объектов железнодорожной инфраструктуры с использованием интеллектуальных агентов магнитных измерений. Вестник Ростовского государственного университета путей сообщения. 2013. № 3(51). С. 95-99.
Зыков А.Г., Поляков В.И. Анализ вычислительного процесса по графо-аналитической модели. Сборник научных трудов VII-ой Международной научно-практической конференции "Интегрировнные модели и мягкие вычисления в искусственном интеллекте. "(Коломна, 20-22 мая 2013 г.). 2013. Т. Т.3. С. 1193-1198.
Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А. Структурирование вычислительного процесса по графо-аналитическим моделям. Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием. 2013. Т. 1. С. 193-204.
Чернышев Ю.О., Басова А.В., Панасенко П.А., Поляков В.И. Использование методов моделирования эволюции для оптимизации документооборота на предприятии. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2013. № 1(83). С. 135-140.
Визуализация графо-аналитических моделей в САПР
Основы теории множеств и приложение булевой алгебры к синтезу комбинационных схем. Учебное пособие по дисциплине "Дискретная математика"
Оснеовы теории алгоритмов. Учебное пособие по дисциплине "Математическая логика и теория алгоритмов"
Гатчин Ю.А., Зыков А.Г., Немолочнов О.Ф., Поляков В.И., Поляков И.В. Устранение критических состязаний сигналов в логических схемах при реализации вычислительных процессов. Вестник Марийского государственного технического университета. 2012. Т. 2. С. 28-34.
Меженин А.В., Безруков А.В., Поляков В.И., Македонский А.А., Зыков А.Г. ВИЗУАЛИЗАЦИЯ ГРФО-АНАЛИТИЧЕСКИХ МОДЕЛЕЙ В САПР. 2012. С. 432-437.
Поляков В.И., Скорубский В.И. Преобразование моделей алгоритмов. Известия высших учебных заведений. Приборостроение. 2012. Т. 55. № 10. С. 41-46.
Матлах А.П., Нечаев Ю.И., Поляков В.И. Адаптивный прогноз динамики судов активного ледового плавания. Морской вестник. 2012. № 1(41). С. 81 – 86.
Меженин А.В., Поляков В.И., Немолочнов О.Ф., Зыков А.Г. ВЕРИФИКАЦИЯ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ. 2012. С. 91-94.
Зыков А.Г., Поляков В.И., Немолочнов О.Ф. Конечный автомат как модель синхронизации вычислительных процессов. Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"12. Научное издание в 4-х томах. 2012. Т. 2. С. 139-143.
Поляков В.И., Меженин А.В., Зыков А.Г. Виртуальные 3D-среды как средство верификации и тестирования робототехнических систем. Гибридные и синергетические интеллектуальные системы: теория и практика: материалы 1-го международного симпозиума (Калининград, 29июня-2июля 2012г.). 2012. Т. 2. С. 128-134.
Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И. Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами. Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием. 2012. Т. 1. С. 94-99.
Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Меженин А.В. Неравенства-отношения и выбор альтернативных решений управления вычислительными процессами. Информационные технологии. 2012. № 5. С. 16-19.
Зыков А.Г., Коробейников А.Г., Меженин А.В., Поляков В.И. Применение имитационных 3D визуальных сред для отладки алгоритмов управления роботами. Вестник Марийского государственного технического университета. 2012. Т. 1. С. 94-98.
Меженин А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Алгебро-топологические методы верификации вычислительных процессов на основе знаний. Гибридные и синергетические интеллектуальные системы: теория и практика: материалы 1-го международного симпозиума (Калининград, 29июня-2июля 2012г.). 2012. Т. 2. С. 224-233.
Прикладные интеллектуальные информационные системы магнитных измерений / Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник научных трудов VI-й Международной научно-технической конференции (Коломна, 16-19 мая 2011 г.) В 2-х томах
МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ
Зыков А.Г., Поляков В.И., Македонский А.А., Немолочнов О.Ф. Параллельные структуры управления вычислительными процессами в САПР. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 4(74). С. 121-124.
Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Условия-предикаты и отношения между переменными управления вычислительными процессами. Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х тома. 2011. Т. 1. С. 173-179.
Условия-предикаты и отношения между переменными управления вычислительными прцессами
Гатчин Ю.А., Копытенко Ю.А., Коробейников А.Г., Поляков В.И. Прикладные интеллектуальные информационные системы магнитных измерений. Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сб. научных трудов VI-й Международной научно-практической конференции (Коломна, 20-22 мая 2011). 2011. Т. 1. С. 322-332.
Коробейников А.Г., Копытенко Ю.А., Исмагилов В.С., Гатчин Ю.А., Поляков В.И. Применение интеллектуальных информационных систем в задачах, связанных с магнитными измерениями. Вестник Ростовского государственного университета путей сообщения. 2011. № 3. С. 88-93.
Андронов А.В., Безруков А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И. Графо-аналитические модели вычислительных процессов в САПР. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. С. 116-120.
Зыков А.Г., Гатчин Ю.А., Поляков В.И. МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕСТОВ ЛОГИЧЕСКИХ СХЕМ. сборник материалов Всероссийской научно-практической конференции с международным участием. 2011. С. C.113-119.
Уменьшение потерь в полимерном фотонно-кристаллическом оптическом волокне
Арифметические основы ЭВМ. Учебно-методическое пособие по выполнению домашних заданий по дисциплине "Дискретная математика"
Немолочнов О.Ф., Зыков А.Г., Поляков В.И. Импликация и эквивалентность как основа верификации. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 4(68). С. 122.
Гатчин Ю.А., Поляков В.И., Тер-Нерсесянц Е.В., Дукельский К.В., Коробейников А.Г. Уменьшение потерь в полимерном фотонно-кристаллическом оптическом волокне. Структура и динамика молекулярных систем. Яльчик-2010": сборник материалов XVII Всероссийской конференции. 2010. С. 93-97.
Графо-аналитические модели как средство верификации вычислительных процессов
Зыков А.Г., Немолочнов О.Ф., Осовецкий Л.Г., Поляков В.И., Суханов А.В. Метод обнаружения недекларированных возможностей и значений don’t care вычислительного процесса. Известия вузов. "Приборостроение". 2009. Т. 52. № 12. С. 32-40.
Технология проектирования печатных плат в САПР Р-САD-2006
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация
Российская Федерация, Санкт-Петербург
Российская Федерация
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург