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

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

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

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

Публикации



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


Автоматизированная процедура определения длины трещины в графитовом стержне

Формализация анализа программной реализации вычислительного процесса в САПР

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







Теоретические основы обеспечения информационной безопасности и защиты информации, IТ-специалиста в условиях внешних воздействий





Структурирование вычислительного процесса по графо-аналитическим моделям

Исследование визуальных мнформационных систем и модулей в предметной области объектов дизайна, представленных кластером малой архитектурной пластики



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

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