Поляков Владимир Иванович Доцент факультета программной инженерии и компьютерной техники Персоналия университета ИТМО Перейти к содержимому страницы.
  2. Университет
  3. Персоналии (А-Я)
  4. Поляков Владимир Иванович

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

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

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

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

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