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

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

Ученый секретарь диссертационного совета Д 212.227.05 по специальностям:

05.13.12 — Системы автоматизации проектирования (приборостроение) (технические науки)
05.13.19 — Методы и системы защиты информации, информационная безопасность (технические науки)

Публикации

Korobeynikov 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, IET - 2018, Vol. 680, pp. 50-56 Подробнее

Коробейников А.Г., Федосовский М.Е., Гришенцев А.Ю., Поляков В.И.

Метод инфологического моделирования в инженерии знаний для решения задач автоматизированного проектирования // Известия высших учебных заведений. Приборостроение -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. - Т. 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, IET - 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, IET - 2016, Vol. 451, pp. 335-344 Подробнее

Гатчин Ю.А., Поляков В.И., Сухостат В.В., Малков Н.В.

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

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

Автоматизированный выбор метода цифровой обработки изображений при решении задач дефектоскопии // Труды Конгресса по интеллектуальным системам и информационным технологиям "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

Гатчин Ю.А., Дукельский К.В., Коробейников А.Г., Поляков В.И.

Исследование свойств микроструктурированного оптического волокна типа "кварц-полимер"//Сборник тезисов докладов и сообщений 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

Евстропьев С.К., Волынкин В.М., Шашкин А.В., Дукельский К.В., Коробейников А.Г., Гатчин Ю.А., Поляков В.И.

Влияние одностадийной обработки кварцевой керамики гелеобразующими водными растворами на прочностные характеристики // Научно-технический вестник информационных технологий, механики и оптики -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

Чернышев Ю.О., Басова А.В., Панасенко П.А., Поляков В.И.

Использование методов моделирования эволюции для оптимизации документооборота на предприятии // Научно-технический вестник информационных технологий, механики и оптики -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". Научное издание в 4-х томах. - М.: Физматлит, -2012. - Т. 2. - С. 139-143

Поляков В.И.

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

Довгий П.С., Поляков В.И.

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

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

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

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

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

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

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

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

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

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

Неравенства-отношения и выбор альтернативных решений управления вычислительными процессами // Информационные технологии -2012. - № 5. - С. 16 – 19

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

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

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

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

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

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

Поляков В.И.

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

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

Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -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. - С. 113-119

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

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

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

Импликация и эквивалентность как основа верификации // Научно-технический вестник СПбГУ ИТМО -2010. - № 4(68). - С. 122

Поляков В.И.

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

Поляков В.И.

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

Поляков В.И.

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

Поляков В.И.

Уменьшение потерь в полимерном фотонно-кристаллическом оптическом волокне//"Структура и динамика молекулярных систем. Яльчик-2010": сборник материалов XVII Всероссийской конференции - 2010

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

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

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

Поляков В. И., Скорубский В. И., Экало Ю. В.
ПРИМЕНЕНИЕ ФАКТОРИАЛЬНОЙ СИСТЕМЫ ДЛЯ РЕШЕНИЯ КОМБИНАТОРНЫХ ЗАДАЧ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 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 г.