Наш университет

Научное направление «Вычислительные машины, комплексы, системы и сети»

  • 22 февраля 2018, 14:08
  • Автор: nauch
  • Просмотров 3601

При полном или частичном цитировании гиперссылка на сайт www.vyatsu.ru обязательна!

Основные результаты научной (научно-исследовательской) деятельности по направлению «Вычислительные машины, комплексы, системы и сети» (страница обновляется)

Коды ГРНТИ: 50.07; 50.09; 50.33; 50.37; 50.39

Защиты диссертаций:

  • Метод, алгоритмы и программная система аспектно-эмоционального анализа текстов : диссертация ... кандидата технических наук : 05.13.17 / Блинов Павел Дмитриевич; [Место защиты: Моск. гос. ун-т печати им. Ивана Федорова]. Москва, 2016.
  • Методы и алгоритмы организации высокоточных вычислений в арифметике остаточных классов для универсальных процессорных платформ : диссертация ... кандидата технических наук : 05.13.15 / Исупов Константин Сергеевич; [Место защиты: Пенз. гос. ун-т]. Пенза, 2014

 

Реализованные/реализуемые научные проекты:

  • Теория, разработка и иссследование интеллектуальных систем
  • Теория и методы модулярных вычислений для многоядерных СБИС-процессоров и систем новых поколений
  • Разработка программной библиотеки высокоточных вычислений для решения задач численного моделирования
  • Разработка алгоритмов и программного обеспечения параллельной арифметики многократной точности для высокопроизводительных вычислительных систем с гибридной архитектурой
  • Логическое прогнозирование развития ситуаций на основе абдуктивного вывода
  • Гибридный модулярно-интервальный многоядерный процессор для выполнения высокоточных высокопроизводительных вычислений

 

Объекты интеллектуальной собственности:

  • Блок унификации с параллельным сопоставлением термов / Мельцов В.Ю, Куваев А.С., Русов В.С. / Патент на изобретение № 2659492 от 02.07.2018
  • Масштабирование в системе остаточных классов на вычислительных системах с гибридной CPU/GPU архитектурой / Исупов К.С., Князьков В.С., Куваев А.С. / Св-во регистрации программы для ЭВМ № 2018612412 от 16.02.2018
  • Модуль редактирования специализированных схем сборки кубика Рубика / Мельцов В.Ю., Русов В.С., Захарова Д.А. / Св-во регистрации программы для ЭВМ № 2018612713 от 22.02.2018
  • Платформа для генерации картин из кубиков Рубика «Mosaic Building» / Мельцов В.Ю., Русов В.С., Захарова Д.А. / Св-во регистрации программы для ЭВМ № 2018612538 от 19.02.2018
  • Мобильная установка термостатирования / Туев М.А., Ворончихин С.Г. / Патент на полезную модель № 169988 от 11.04.2017
  • Модель работы клавиатурного буфера / Караваева О.В., Попов Е.О. / Св-во регистрации программы для ЭВМ № 2017613141 от 13.03.2017
  • Сравнение, определение знака и контроль переполнения диапазона в системе остаточных классов на вычислительных системах с гибридной CPU/GPU архитектурой / Исупов К.С., Куваев А.С. / Св-во регистрации программы для ЭВМ № 2017612550 от 27.02.2017
  • Демонстрация работы монитора / Караваева О.В., Новокшонов К.Ю. / Св-во регистрации программы для ЭВМ № 2017617087 от 29.06.2017
  • Закрепление окна приложения на переднем плане / Микрюков В.Л. / Св-во регистрации программы для ЭВМ № 2017617550 от 16.05.2017
  • Блок унификации с параллельным сопоставлением термов / Мельцов В.Ю., Куваев А.С., Чистяков Г.А., Шипицына А.А. / Патент на изобретение № 2631158 от 19.09.2017
  • Библиотека арифметики с плавающей точкой расширенного диапазона для вычислительных систем с гибридной CPU/GPU архитектурой / ИсуповК.С., Попов М.В., Куваев А.С. / Св-во регистрации программы для ЭВМ № 2017611440 от 02.02.2017
  • Компьютерная модель взаимодействия процессов / Мельцов В.Ю., Долженкова М.Л., Нечаев А.А. / Св-во регистрации программы для ЭВМ № 2017610355 от 10.01.2017
  • Компьютерная модель специализированного процессора логического вывода / Мельцов В.Ю., Альгин М.Н., Чистяков Г.А., Куваев А.С. / Св-во регистрации программы для ЭВМ № 2017610741 от 17.01.2017
  • Построение графиков функций с возможностью маштабирования и перемещения системы координат / Микрюков В.Л. / Св-во регистрации программы для ЭВМ № 2017617549 от 16.05.2017
  • Модуль объектно-реляционного отображения универсальной платформы "Битва логических стратегий" / Мельцов В.Ю., Нечаев А.А., Долженикова М.Л. / Св-во регистрации программы для ЭВМ № 2017617551 от 06.07.2017
  • Составление логических выражений по таблице переходов / Ряшин М.В., Малышев Е.Н. / Св-во регистрации программы для ЭВМ № 2017618445 от 01.08.2017
  • Сетевое файловое хранилище / Долженкова М.Л., Чистяков Г.А., Эсаулов О.К. / Св-во регистрации программы для ЭВМ № 2017619858 от 08.09.2017
  • Решение задач комивояжера на основе нейронной сети Хопфилда в среде Matlab / Ростовцев В.С., Соболев М.В. / Св-во регистрации программы для ЭВМ № 2017619670 от 01.09.2017
  • Выполнение основных арифметических операций в системе остаточных классов / Ростовцев В.С., Степанов И.В. / Св-во регистрации программы для ЭВМ № 2017619516 от 25.08.2017
  • Программная система верификации алгоритмов / Долженкова М.Л., Чистяков Г.А., Рылов А.В. / Св-во регистрации программы для ЭВМ № 2017661499 от 16.10.2017
  • Графический конструктор структур Крипке / Долженкова М.Л., Чистяков Г.А., Рылов А.В. / Св-во регистрации программы для ЭВМ № 2017661500 от 16.10.2017
  • Cerberus-генератор шифрованного пароля / Зобнин Р.Е. / Св-во регистрации программы для ЭВМ № 2016619847 от 31.08.2016
  • Среда для разработки и отладки программ абстрактных вычислительных машин / Чистяков Г.А., Куклин М.А. / Св-во регистрации программы для ЭВМ № 2016615670 от 26.05.2016
  • Защита от копирования исполняемых файлов / Караваева О.В., Тутынин В.А. / Св-во регистрации программы для ЭВМ № 2016612783 от 10.03.2016
  • Синхронизация процессов в многозадачных операционных системах / Караваева О.В., Тутынин В.А. / Св-во регистрации программы для ЭВМ № 2016612836 от 10.03.2016
  • Модификация польской обратной записи / Караваева О.В., Помогов И.В., Кислицын А.И. / Св-во регистрации программы для ЭВМ № 2016615764 от 30.05.2016
  • Выполнение высокоточных расчетов в модулярно-логарифмическом формате / Коржавина А.С. / Св-во регистрации программы для ЭВМ № 2016661662 от 17.10.2016
  • Блок унификации с последовательным сопоставлением термов / Мельцов В.Ю., Чистяков Г.А., Куваев А.С., Шипицына А.А., Крутиков А.К. / Патент № 158945 от 22.12.2015
  • Гибридная система логического вывода с определением фактов / Вожегов Д.В. / Св-во регистрации программы для ЭВМ № 2015662525 от 26.11.2015
  • Программа абдуктивного вывода следствий с построением схемы вывода / Долженкова М.Л., Мельцов В.Ю., Чистяков Г.А. / Св-во регистрации программы для ЭВМ № 2015662500 от 25.11.2015
  • Программа дедуктивного и абдуктивного вывода с построением схемы / Долженкова М.Л., Мельцов В.Ю., Чистяков Г.А., Василов Н.С. / Св-во регистрации программы для ЭВМ № 2015660818 от 09.10.2015
  • Способ организации параллельно-конвейерных вычислений в однородной вычислительной среде с коммутационно-потоковым управлением / Осинин И.П., Князьков В.С. / Патент № 2558613 от 06.07.2015
  • Способ преобразования бинарного кода Грея в двоичный код / Чернядьев А.В. / Патент № 2557450 от 25.06.2015
  • Устройство для сравнения чисел в системе остаточных классов на основе интервально-позиционных характеристик / Князьков В.С., Исупов К.С. / Патент № 2557444 от 25.06.2015
  • Устройство для определения знаков чисел в системе остаточных классов / Князьков В.С., Исупов К.С. / Патент № 2557446 от 25.06.2015
  • Компоновщик исполняемых модулей / Караваева О.В., Ласкин Л.С. / Св-во регистрации программы для ЭВМ № 2014662104 от 24.11.2014
  • Процессор команд машины логического вывода / Мельцов В.Ю., Тарасов А.В., Караваев М.А., Чистяков Г.А. / Патент № 144233 от 09.07.2014
  • Программная реализация параллельного логического вывода на многоядерном процессоре / Мельцов В.Ю., Чистяков Г.Ю., Власюк Е.А. / Св-во регистрации программы для ЭВМ № 2014616950 от 08.07.2014
  • Программная реализация параллельного логического вывода на графическом процессоре / Мельцов В.Ю., Чистяков Г.Ю., Сапожников А.А. / Св-во регистрации программы для ЭВМ № 2014616849 от 04.07.2014
  • Модуль модифицированного метода дедуктивного логического вывода с определением фактов / Вожегов Д.В. / Св-во регистрации программы для ЭВМ № 2014613921 от 10.04.2014
  • Способ организации выполнения операции умножения двух чисел в модулярно-позиционном формате представления с плавающей точкой на универсальных многоядерных процессорах / Князьков В.С., Исупов К.С. / Патент № 2509345 от 10.03.2014
  • Устройство для выравнивания порядков m двоичных чисел / Осинин И.П., Князьков В.С. / Патент № 2503991 от 10.01.2014
  • Выполнение высокоточных арифметических операций с плавающей точкой с использованием систем счисления в остаточных классах / Мальцев А.Н., Исупов К.С. / Св-во регистрации программы для ЭВМ № 2013661911 от 18.12.2013
  • Выполнение немодульных операций в системах остаточных классов с использованием метода интервальных позиционных характеристик / Мальцев А.Н., Исупов К.С. / Св-во регистрации программы для ЭВМ № 2013661592 от 11.12.2013
  • Способ организации умножения чисел с плавающей запятой, представленных в системе остаточных классов / Осинин И.П., Князьков В.С. / Патент № 2500018 от 27.11.2013
  • Способ деления целых двоичных чисел без остатка, начиная с младших разрядов / Осинин И.П., Князьков В.С. / Патент № 2498393 от 10.11.2013
  • Способ организации вычислений суммы n m-разрядных чисел / Осинин И.П., Князьков В.С. / Патент № 2491612 от 27.08.2013
  • Способ организации умножения чисел с плавающей запятой, представленных в системе остаточных классов / Осинин И.П., Князьков В.С. / Патент № 2485574 от 20.06.2013
  • Выполнение операции сравнения вещественных чисел в модулярно-позиционном формате с плавающей точкой / Мальцев А.Н., Князьков В.С., Исупов К.С., Логинов А.В. / Св-во регистрации программы для ЭВМ № 2013615428 от 10.06.2013
  • Выполнение преобразования величин из двоичных (float, double, mpfr) в модулярно-позиционный формат / Мальцев А.Н., Князьков В.С. Исупов К.С., Логинов А.В. / Св-во регистрации программы для ЭВМ № 2013615425 от 10.06.2013
  • Однородная вычислительная среда для конвейерных вычислений суммы m n- разрядных чисел / Осинин И.П., Князьков В.С. / Патент № 2486576 от 07.06.2013
  • Выполнение высокоточной операции сложения вещественных чисел в модулярно-позиционном формате с плавающей точкой / Мальцев А.Н., Князьков В.С., Исупов К.С., Логинов А.В. / Св-во регистрации программы для ЭВМ № 2013613858 от 17.04.2013
  • Выполнение высокоточной операции умножения вещественных чисел в модулярно-позиционном формате с плавающей точкой / Мальцев А.Н., Князьков В.С., Исупов К.С., Логинов А.В. / Св-во регистрации программы для ЭВМ № 2013613857 от 17.04.2013
  • Ячейка однородной вычислительной среды, однородная вычислительная среда и устройство для конвейерных арифметических вычислений по заданному модулю / Осинин И.П., Князьков В.С. / Патент № 2477513 от 10.03.2013
  • Ячейка однородной вычислительной среды, однородная вычислительная среда и устройство для конвейерных вычислений суммы м n-разрядных чисел / Осинин И.П., Князьков В.С. / Патент № 2475815 от 20.02.2013
  • Модуль логического вывода с определением фактов / Вожегов Д.В. / Св-во регистрации программы для ЭВМ № 2013611636 от 30.01.2013
  • Система тестирования реализации арифметико-логических устройств ЭВМ на основе программируемых интегральных микросхем / Томчук М.Н. / Св-во регистрации программы для ЭВМ № 2012661382 от 13.12.2012
  • Система логического вывода с модификацией заключения / Томчук М.Н. / Св-во регистрации программы для ЭВМ № 2012661383 от 13.12.2012
  • Ячейка однородной вычислительной среды и устройство для сжатия двоичных векторов на базе ячеек однородной вычислительной среды / Осинин И.П., Князьков В.С. / Патент № 2450327 от 10.05.2012
  • Программа автоматического построения структуры Крипке для параллельного алгоритма / МельцовВ.Ю., Чистяков Г.А. / Св-во регистрации программы для ЭВМ № 2012613587 от 17.04.2012
  • Синхронизация в распределённых системах / Караваева О.В., Зыкин С.А., Шалыгин А.О. / Св-во регистрации программы для ЭВМ № 2012612550 от 07.03.2012
  • Программа для конструирования модулярно – систолического процессора с реконфигурируемой архитектурой / Осинин И.П., Князьков В.С. / Св-во регистрации программы для ЭВМ № 2012610583 от 10.01.2012
  • Преобразователи кодов позиционной системы счисления в систему остаточных классов и обратно / Князьков В.С., Осинин И.П. / Св-во регистрации программы для ЭВМ № 2011617433 от 23.09.2011
  • Микропроцессорные системы / Краев Н.А., Чухломин К.В. / Св-во регистрации базы данных № 2010620473 от 30.08.2010
  • Количественная оценка стойкости парольной защиты персонального компьютера / Корепанов А.Г. Шихалеева Е.В. / Св-во регистрации программы для ЭВМ № 2009612529 от 20.05.2009

 

Основные публикации:

  • Isupov K. S., Knyazkov V. S. Interval Estimation of Relative Values in Residue Number System // Journal of Circuits, Systems and Computers. – 2018. – Vol. 27. – №1.
  • Kolupaev A.V., Metelyov A. P., Prozorov D. E., Kurbatova E. E., Kharina N. L. Speed increasing of FOE calculation in autonomous vehicle control systems // Proceedings of 2018 IEEE East-West Design and Test Symposium (EWDTS 2018), Kazan, Russian Federation, 14-17 September 2018. – 2018.
  • Караваева О. В., Тимин В. С. Кроссплатформенный компилятор // Наука, техника и образование. – 2018. – №9 (50). – С. 36-41.
  • Караваева О. В., Борисова К. В. Разработка системы автоматизированного тестирования // Вестник науки и образования. – 2018. – №13 (49) . – С. 45-48.
  • Kolupaev A.V., Metelyov A. P., Prozorov D. E., Kurbatova E. E., Kharina N. L. Speed increasing of FOE calculation in autonomous vehicle control systems // Proceedings of 2018 IEEE East-West Design and Test Symposium (EWDTS 2018), Kazan, Russian Federation, 14-17 September 2018. – 2018.
  • Татаринова М. С. Дизайн-проект веб сайта туристического агентства // Актуальные проблемы гуманитарных и экономических наук: сб. материалов ХVIII межрегион. науч.-практ. конф. (Киров, 30 марта 2018 г.). – 2018. – С. 157-161.
  • Ростовцев В. С., Степанов И. В. Оценка эффективности применения модулярной арифметики // Сб. публ. науч. журн. «Globus» по материалам XXVII международ. науч.-практ. конф. : «Технические науки – от теории к практике» г. Санкт-Петербурга, 19 января 2018 г.. – 2018. – С. 29-37.
  • Shelikhov E. S., Chernousova A. M., Vasilevykh S. L Automatic correction control program method realization of the CNC machine tool under industrial conditions // International Conference on Industrial Engineering, Applications and Manufacturing ICIEAM-2017, Saint Petersburg, Russia, 16-19 May 2017. – 2017.
  • Meltsov V. Yu., Lesnikov V. A., Dolzhenkova M. L. Intelligent system of knowledge control with the natural language user interface // Quality Management,Transport and Information Security, Information Technologies (IT&QM&IS): International Conference, St. Petersburg, 24-30 Sept. 2017. – 2017. – pp. 671-675.
  • Isupov K., Kuvaev A., Popov M., Zaviyalov A. Multiple-Precision Residue-Based Arithmetic Library for Parallel CPU-GPU Architectures: Data Types and Features // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), LNCS, 2017. – 2017. – Vol. 10421. – pp. 196-204.
  • Isupov K. S., Knyazkov V. S. RNS-based Data Representation for Handling Multiple-Precision Integers on Parallel Architectures // Proceedings of the 2016 International Conference on Engineering and Telecommunication (EnT-2016). – 2017. – pp. 76-79.
  • Алексеев Е.Р., Демин П.А., Костюк Д.А. Возможности графического вывода результатов в последовательных и параллельных кроссплатформенных вычислительных приложениях на Фортране и // Advanced science. – 2017. – №3. – С. 143-167.
  • Власов С. Ф., Чернявский В. Б., Власов В. С. Диспетчерский контроль работы проходческих комбайнов на основе анализа данных высоковольтных ячеек // Advanced science. – 2017. – №4.
  • Стариков А. И. Информационная система для партнёрской программы // Advanced science. – 2017. – №4.
  • Васильев А. Б., Семёновых В. И., Куклин В. В. Компьютеризированное гальваническое производство // Advanced science. – 2017. – №4.
  • Исупов К.С., Завиялов А.А. Об эффективности нового алгоритма вычисления ранга в системе остаточных классов // Advanced science. – 2017. – №4. – С. 1-9.
  • Эсаулов О.К., Долженкова М.Л., Чистяков Г.А. Организация коллективного доступа к данным с применением распределенного сетевого файлового хранилища // Теория. Практика. Инновации. – 2017. – №9 (21). – С. 12-20.
  • Степанов И. В., Ростовцев В. С. Принципы и алгоритмы разработки инструментальной программы оценки эффективности модулярной арифметики // Advanced science. – 2017. – №2.
  • Татаринова М.С. Роль компьютерных технологий в процессе обучения студентов-дизайнеров трехмерному моделированию // Научно-методический электронный журнал «Концепт». – 2017. – №Приложение № 27. – С. 219-222.
  • Алексеев Е. Р., Демин П. А., Лутошкин Д. А., Стародумов В. В. Свободные и проприетарные компиляторы С(С++) и фортрана при разработке эффективных вычислительных приложений // Современные информационные технологии и ИТ-образование. – 2017. – Т. 13. – №4. – С. 232-240.
  • Мельцов В.Ю., Нечаев А.А. Семантико-синтаксический анализ предложений на русском языке с помощью нейронных сетей. // Фундаментальные исследования. – 2017. – №11-2. – С. 306-310.
  • Соколова А. Н. Технологические аспекты преподавания дисциплины «Параллельное программирование» // Математический вестник педвузов и университетов Волго-Вятского региона. – 2017. – №19. – С. 303-307.
  • Исупов К. С., Князьков В. С., Куваев А. С. Высокоточные вычисления на центральных процессорах и графических ускорителях с использованием системы остаточных классов // Национальный Суперкомпьютерный Форум (НСКФ-2017) (Переславль-Залесский, 28 ноября – 01 декабря 2017 г.). – 2017.
  • Князьков В. С., Коржавина А. С., Осинин И. П. О модулярно-интервальной логарифметике: основные проблемы и преимущества при практических вычислениях // Посткремниевые вычисления: вторая всерос. науч.-практ. конф., Переславль-Залесский , 27 ноября 2017 г.. – 2017. – С. 1-12.
  • СтрабыкинД. А., МельцовВ. Ю., ДолженковаМ. Л., ЧистяковГ. А., КуваевА. С. Formal Verification and Accelerated Inference // Artificial Intelligence Perspectives in Intelligent Systems. – 2016. – Vol. 464. – №1. – pp. 203-211.
  • Karavaev N. L. Referencemanagement Software // Scientific and Technical Information Processing. – 2016. – Vol. 43. – №3. – pp. 184-188.
  • Москвин Э. В., Глазырин А. С., Путов А. В. Автоматизированная система диспетчерского управления инженерной инфраструктурой административных зданий // Известия Санкт-Петербургского государственного электротехнического университета ЛЭТИ. – 2016. – Т. 3. – С. 57-61.
  • Москвин Э. В., Глазырин А. С., Городилов С. В., Путов А. В. Автоматизированная система диспетчерского управления. Основные компоненты и внешнее окружение // Известия Санкт-Петербургского государственного электротехнического университета ЛЭТИ. – 2016. – Т. 6. – С. 49-53.
  • Исупов К. С., Князьков В. C. Арифметика многократной точности на основе систем остаточных классов. // Программные системы: теория и приложения. – 2016. – Т. 7. – №1 (28). – С. 61-97.
  • Исупов К.С., Князьков В.С., Куваев А.С., Попов М.В Разработка пакета высокоточной арифметики для суперкомпьютеров с графическими ускорителями // Программная инженерия. – 2016. – Т. 7. – №9. – С. 387-394.
  • Москвин Э. В., Башлачева А. П. Система диспетчеризации. Голосовое управление // Информатизация и связь. – 2016. – №3. – С. 102-104.
  • Караваев Н. Л. Системы управления библиографической информацией // Научно-техническая информация. Серия 1. Организация и методика информационной работы. – 2016. – №9. – С. 11-15.
  • Лалетин В.И., Рычков В.В. Mosfet ключи с выводом потенциала Кельвина в инверторах тока дискретного электропривода // IX Международная (XX Всероссийская) научно-техническая конференция по автоматизированному электроприводу АЭП-2016. – 2016. – С. 436-438.
  • Грудинин В. С., Малышев Е. Н., Грудинин С. В. Методика настройки фаззи-аппроксиматора // Труды IX Междунар. (XX Всерос.) научно-технической конференции по автоматизированному электроприводу АЭП-2016, Пермь, 3–7 октября 2016 года. – 2016. – С. 402-404.
  • Осинин И. П., Князьков В. С., Князькова Т. В. Модулярно-логарифмическая структура для массовых арифметических вычислений // Супервычисления и математическое моделирование : тез. докл. междунар. конф., Саров, 5 окт. 2016 г.. – 2016. – С. 90-91.
  • Куклин М. А., Чистяков Г. А. Программная среда для изучения абстрактных исполнителей // Материалы 54-й Международной научной студенческой конференции: Информационные технологии. – 2016. – С. 70-70.
  • Алексеев Е. Р., Соболева О. В. Современный язык программирования фортран в образовании и научных исследованиях // Современные информационные технологии и ИТ-образование: сборник материалов междунар. ежегод. науч.-практ. конф.. – 2016. – Т. 12. – №4. – С. 110-116.
  • K. Isupov. A Modular-Positional Computation Technique for Multiple-Precision Floating-Point Arithmetic // Lecture Notes in Computer Science. Springer International Publishing, 2015. Vol. 9251. P. 47–61.
  • Д.В. Вожегов, Д.А. Страбыкин. Гибридная программная система логического вывода с определением фактов // Научно-технический вестник Поволжья. №5 2015г. – Казань: – 167-170 с.
  • Д.А. Страбыкин, Д.В. Вожегов, А.И. Симонов. Интеллектуальная система логического прогнозирования развития ситуаций на основе абдуктивного вывода // Научно-технический вестник Поволжья. №5 2015г. – Казань: – 287-290 с.
  • Мельцов В.Ю., Куваев А.С. Проектирование исполнительного процессора с блоком последовательной унификации // Научно-технический вестник Поволжья. №5 2015г. – Казань: – 232-235 с.
  • Долженкова М.Л., Страбыкин Д.А. Прогнозирование развития ситуации на основе вывода следствий при не полностью определенной базе знаний // Фундаментальные исследования. 2016. №7-1.–С. 234-237.
  • Мельцов В.Ю. High-Performance Systems of Deductive Inference. (Высокопроизводительные системы дедуктивного логического вывода) // Издательство Science Book Publishing House (Yelm, WA, USA), 2014 – 215 с.
  • Страбыкин Д.А. Интеллектуальные системы логического прогнозирования развития ситуаций на основе дедуктивного вывода // Киров : ФГБОУ ВПО «ВягГУ», 2014 – 182 с.
  • Исупов К.С. Высокоточная библиотека модулярной арифметики с плавающей точкой. // Сборник научных трудов I Международной конференции «Параллельная компьютерная алгебра и её приложения в новых инфокоммуникационных системах» (20−24 октября 2014 г., г. Ставрополь). – Ставрополь : Издательско-информационный центр «Фабула», 2014. – С. 221–232.
  • Исупов К.С., Мальцев А.Н. Формат представления многоразрядных чисел с плавающей точкой, ориентированный на параллельную обработку. // Труды Международной суперкомпьютерной конференции «Научный сервис в сети интернет: многообразие суперкомпьютерных миров» (22−27 сентября 2014 г., г. Новороссийск). – Электрон. текстовые дан. – М. : Изд-во МГУ, 2014. – С. 381–387.
  • Караваева О.В., Митрак Е.И., Журавлев А.А. Экспериментальная программа для оценки временных характеристик параллельных алгоритмов. // Сборник статей международной научно-практической конференции «Современный взгляд на будущее науки», г.Уфа 10 апреля 2014 г. – с. 150-152.
  • Мельцов В.Ю., Чистяков Г.А. Формальная верификация алгоритмов с помощью техники проверки моделей и математического аппарата логического вывода. // Информационные технологии и системы. Сборник трудов по материалам международной конференции 26.02.14-02.03.14, с. 106-108.
  • Чистяков Г.А., Мельцов В.Ю. Архитектура потоковой машины логического вывода для верификации параллельных алгоритмов. // Материалы 52-ой международной научной конференции МНСК-2014 (НГУ, Новосибирск), том «Информационные технологии», с.179.
  • Чистяков Г.А. Оптимизация метода логического вывода делением дизъюнктов на основе определяющего элемента для обработки выражений темпоральной логики линейного времени. // Сборник статей по материалам международной научно-практической конференции «Технические науки – от теории к практике» (Новосибирск, май 2014), с.62-68.
  • МельцовВ.Ю., КараваевМ.А., ТарасовА.В. Development of the instruction processor of specialized logic inference machine. // Modern informatization problems. Proceedings of the XIX-th International Open Science Conference. Yelm, WA, USA, 2014. P. 125-130.
  • Мельцов В.Ю., Шипицына А.А. Применение машины логического вывода в составе ЕЯ-системы. // Современные научные исследования: методология, теория, практика. Материалы международной научно-практической конференции (Челябинск, 24 февраля 2014). – Челябинск: Сити-Принт, 2014. – с.130-135.
  • Shipitsyna А.А., Meltsov V.Yu. An approach to designing intelligent test systems. // Proceedings of the 2nd European Conference on Innovations in Technical and Natural Sciences. «East West» Association for Advanced Studies and Higher Education GmbH. Vienna. 2014. P. 112-117.
  • Князькова А.В., Волченская Т.В., Князьков В.С. Параллельный алгоритм нахождения достижимостей в графе. // Фундаментальные исследования – 2014. № 5-1. С. 34-38.
  • Долженкова М.Л., Мельцов В.Ю., Чистяков Г.А. Схема потока логических вычислений для графического представления метода вывода на базе операции деления дизъюнктов. // Научно-технический вестник Поволжья – 2014. № 6 – (в печати).
  • Чистяков Г.А. Формирование контрпримера при верификации алгоритмов с помощью методов логического вывода. // Вестник Астраханского государственного технического университета – Серия: управление, вычислительная техника и информатика. №3. – С. 50–57.
  • Исупов К.С., Мальцев А.Н. Способ представления чисел с плавающей точкой большой разрядности, ориентированный на параллельную обработку. // Вычислительные методы и программирование – 2014. Т. 15. № 4. С. 631-643.

 

Участие в мероприятиях:

  • Седьмой Национальный Суперкомпьютерный Форум (НСКФ-2018) – Переславль-Залесский, Институт программных систем имени А.К. Айламазяна РАН – 27 – 30 ноября 2018 г.
  • V Международная конференция «Инжиниринг & Телекоммуникации (En&T – 2018)» – Москва, МФТИ – 15-16 ноября 2018 г.
  • XVII Международная конференция «Супервычисления и математическое моделирование» – Саров, РФЯЦ-ВНИИЭФ – 15-19 октября 2018 г.
  • 5-я Всероссийская научно-техническая конференция «Суперкомпьютерные технологии» (СКТ-2018) – Геленджик, Южный научный центр РАН – 17-22 сентября 2018 г.
  • Гибридные и синергетические интеллектуальные системы – Калининград, БФУ им. Канта – 14-19 мая 2018 г.
  • VII Международный научно-исследовательский конкурс «Научные достижения и открытия» – г. Пенза, Международный Центр Научного Сотрудничества «Наука и просвещение» – 4-5 октября 2018 г.
  • XVIII Всероссийская научно-практическая конференция «Общество. Наука. Инновации (НПК-2018)» – Киров, Вятский государственный университет – 2-28 апреля 2018 г.
  • 14th International Conference on Parallel Computing Technologies – Нижний Новгород, Нижегородский государственный университет имени Н. И. Лобачевского – 4-8 сентября 2017 г.
  • IV Международная конференция «Инжиниринг & Телекоммуникации – En&T 2017 г. » – Долгопрудный, МФТИ – 29-30 ноября 2017 г.
  • XI Международная научно-практическая конференция «Научный диалог: Вопросы точных и технических наук» – Санкт-Петербург, Международная научно-исследовательская федерация «Общественная наука» – 12-13 ноября 2017 г.
  • XII Международная научно-практическая конференция EUROPEAN RESEARCH – Пенза, Международный центр научного сотрудничества «Наука и просвещение» – 07-08 октября 2017 г.
  • Современные проблемы математического моделирования, обработки изображений и параллельные вычислений – 2017 – г. Геленджик, Донской гос. тех. университет – 4-11 сентября 2017 г.
  • Наука и инновации в XXI веке: актуальные вопросы, открытия и достижения – Пенза, Международный центр научного сотрудничества «Наука и просвещение» – 11-12 декабря 2017 г.
  • Международная конф. «Национальный Суперкомпьютерный Форум (НСКФ-2017 г. )» – Переславль-Залесский, ИПС имени А.К. Айламазяна РАН – 28 ноября – 1 декабря 2017 г.
  • Оптико-электронные приборы и устройства в системах распознования образов, обработки изображений и символьной информации. (Распознование – 2017) – г. Курск, Юго-Западный гос. университет – 16-19 мая 2017 г.
  • Всероссийская ежегодная научно-практическая конференция «Общество. Наука. Инновации. (НПК-2017)» – Киров, Вятский государственный университет – 1-29 апреля 2017 г.
  • Международный молодежный форум «Молодежь: наука и техника» – Сочи, Сочинский государственный университет – 26-31 мая 2016 г.
  • III Международная конференция «Инжиниринг & Телекоммуникации (En&T-2016)» – г. Долгопрудный, МФТИ – 29-30 ноября 2016 г.
  • Международная конференция «Суперкомпьютерные дни в России» – г. Москва, ФАНО, Суперкомпьютерный консорциум университетов России – 26-27 сентября 2016 г.
  • III Всероссийская научно-практическая конференция с международным участием с элементами научной школы для молодежи «Высокопроизводительные вычисления на графических процессорах (ВВГП-2016)» – г. Пермь, Пермский государственный национальный исследовательский университет – 16-20 мая 2016 г.
  • XVI международная конференция «Супервычисления и математическое моделирование» – г. Саров, ФГУП «РФЯЦ-ВНИИЭФ» – 5 октября 2016 г.
  • XXVII Международная конференция «Современные информационные технологии в образовании» – г. Москва-Троицк – 28 июня 2016 г.
  • Современные научные исследования: методология, теория, практика. – Челябинск, Центр содействия развитию научных исследований – 24.02.2014 г.
  • 2-nd European Conference on Innovations in Technical and Natural Sciences. – Vienna, Association for Advanced Studies and Higher Education «East West» – 12.05.2014 г.
  • III Международная конференция «Информационные технологии и системы» – Челябинск (ЧелГУ), Москва (ИСА РАН) – 26.02-02.03.2014 г.
  • I Международная научно-практическая конференция «Актуальные вопросы науки, технологии и производства» – С.-Петербург – 26-27.09.2014 г.
  • I Международная конференция «Параллельная компьютерная алгебра и её приложения в новых инфокоммуникационных системах» – Ставрополь – 20-24.10.2014 г.
  • Международная суперкомпьютерная конференция «Научный сервис в сети интернет: многообразие суперкомпьютерных миров» – Новороссийск, РАН, Суперкомпьютерный консорциум университетов России – 22-27.09.2014 г.
  • XIV Национальная конференция по искусственному интеллекту (КИИ-2014) – Казань (АН РТ) – 25-29.09.2014 г.
  • Всероссийская научно-практическая конференция «Общество, наука, инновации (НПК-2014)» – г. Киров, Вятский государственный университет – 15-26 апреля 2014 г.
Версия для печати