Статья ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В.
Статья ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А.
Статья ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ КОНТРОЛЯ СИСТЕМ ПОСАДКИ ВОЗДУШНЫХ СУДОВ Поляков В. И., Саута А. О.
Статья МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ Немолочнов О. Ф., Зыков А. Г., Осовецкий Л. Г., Поляков В. И.
Статья Универсальная модель последовательностных схем в САПР Зыков А. Г., Немолочнов О. Ф., Поляков В. И.
Статья Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций Зыков А. Г., Немолочнов О. Ф., Поляков В. И.
Статья Кубические покрытия логических условий вычислительных процессов и программ Немолочнов О. Ф., Зыков А. Г., Поляков В. И.
Статья Структурирование программ и вычислительных процессов на множество линейных и условных вершин Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Сидоров А. В.
Статья Верификация в исследовательских, учебных и промышленных системах Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И.
Статья Моделирование простых логических неисправностей вычислительных процессов программ Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.
Статья Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.
Статья ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ Немолочнов О. Ф., Зыков А. Г., Поляков В. И.
Статья ИСПОЛЬЗОВАНИЕ МЕТОДОВ МОДЕЛИРОВАНИЯ ЭВОЛЮЦИИ ДЛЯ ОПТИМИЗАЦИИ ДОКУМЕНТООБОРОТА НА ПРЕДПРИЯТИИ Чернышев Ю. О., Басова А. В., Панасенко П. А., Поляков В. И.
Статья МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА Немолочнов О. Ф., Зыков А. Г., Кулагин В. С., Осовецкий Л. Г., Поляков В. И., Суханов А. В.
Статья ИСПОЛЬЗОВАНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНЫХ СХЕМ Поляков В. И., Скорубский В. И.
Статья ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ Гедич А. А., Зыков А. Г., Лаздин А. В., Поляков В. И.
Статья ВЛИЯНИЕ ОДНОСТАДИЙНОЙ ОБРАБОТКИ КВАРЦЕВОЙ КЕРАМИКИ ГЕЛЕОБРАЗУЮЩИМИ ВОДНЫМИ РАСТВОРАМИ НА ПРОЧНОСТНЫЕ ХАРАКТЕРИСТИКИ Евстропьев С. К., Волынкин В. М., Шашкин А. В., Дукельский К. В., Коробейников А. Г., Гатчин Ю. А., Поляков В. И.
Статья ПРИМЕНЕНИЕ ФАКТОРИАЛЬНОЙ СИСТЕМЫ ДЛЯ РЕШЕНИЯ КОМБИНАТОРНЫХ ЗАДАЧ Поляков В. И., Скорубский В. И., Экало Ю. В.
Статья МЕТОД ИНФОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ В ИНЖЕНЕРИИ ЗНАНИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ Коробейников А. Г., Федосовский М. Е., Гришенцев А. Ю., Поляков В. И.
Статья АРХИТЕКТУРА ИНТЕГРИРОВАННОЙ СРЕДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ПОДДЕРЖКОЙ СТРУКТУРНОГО РЕДАКТИРОВАНИЯ Ванясин Н. В., Сидоркина И. Г., Поляков В. И.