Автор Поляков Владимир Иванович Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 1 ( январь-февраль )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

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

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: ординарный доцент
Ученая степень: кандидат технических наук, доцент
E-mail: v_i_polyakov@mail.ru
Scopus ID: 57190260784
ORCID: 0000-0002-2606-5385

Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР
Статья опубликована в выпуске №4, том 11, 2011

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А. ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР
Статья опубликована в выпуске №4, том 11, 2011

Поляков В. И., Саута А. О. ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ КОНТРОЛЯ СИСТЕМ ПОСАДКИ ВОЗДУШНЫХ СУДОВ
Статья опубликована в выпуске №11, том 08, 2008

Немолочнов О. Ф., Зыков А. Г., Осовецкий Л. Г., Поляков В. И. МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске №11, том 07, 2007

Зыков А. Г., Немолочнов О. Ф., Поляков В. И. Универсальная модель последовательностных схем в САПР
Статья опубликована в выпуске №2, том 02, 2002

Зыков А. Г., Немолочнов О. Ф., Поляков В. И. Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
Статья опубликована в выпуске №2, том 02, 2002

Немолочнов О. Ф., Зыков А. Г., Поляков В. И. Кубические покрытия логических условий вычислительных процессов и программ
Статья опубликована в выпуске №3, том 04, 2004

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Сидоров А. В. Структурирование программ и вычислительных процессов на множество линейных и условных вершин
Статья опубликована в выпуске №3, том 05, 2005

Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И. Верификация в исследовательских, учебных и промышленных системах
Статья опубликована в выпуске №5, том 03, 2003

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В. Моделирование простых логических неисправностей вычислительных процессов программ
Статья опубликована в выпуске №9, том 06, 2006

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В. Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Статья опубликована в выпуске №9, том 06, 2006

Немолочнов О. Ф., Зыков А. Г., Поляков В. И. ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ
Статья опубликована в выпуске №4, том 10, 2010

Чернышев Ю. О., Басова А. В., Панасенко П. А., Поляков В. И. ИСПОЛЬЗОВАНИЕ МЕТОДОВ МОДЕЛИРОВАНИЯ ЭВОЛЮЦИИ ДЛЯ ОПТИМИЗАЦИИ ДОКУМЕНТООБОРОТА НА ПРЕДПРИЯТИИ
Статья опубликована в выпуске №1, том 13, 2013

Евстропьев С. К., Волынкин В. М., Шашкин А. В., Дукельский К. В., Коробейников А. Г., Гатчин Ю. А., Поляков В. И. ВЛИЯНИЕ ОДНОСТАДИЙНОЙ ОБРАБОТКИ КВАРЦЕВОЙ КЕРАМИКИ ГЕЛЕОБРАЗУЮЩИМИ ВОДНЫМИ РАСТВОРАМИ НА ПРОЧНОСТНЫЕ ХАРАКТЕРИСТИКИ
Статья опубликована в выпуске №5, том 14, 2014

Ванясин Н. В., Сидоркина И. Г., Поляков В. И.

АРХИТЕКТУРА ИНТЕГРИРОВАННОЙ СРЕДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ПОДДЕРЖКОЙ СТРУКТУРНОГО РЕДАКТИРОВАНИЯ

Статья опубликована в выпуске №6, том 19, 2019

Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.