Уваров С. И. (ИПУ РАН, Лаборатория 27). Публикации

Библиографическая ссылкаГод

Статьи в журналах/сборниках из перечня ВАК

1Уваров С.И. Усовершенствованный генератор 3-КНФ формул // Автоматика и телемеханика. 2020. № 1. С. 161-172.2020

Доклады

2Уваров С.И. Вычислительный эксперимент по оценке алгоритмической сложности анализа выполнимости/невыполнимости 3-КНФ булевых формул / XIII ВСЕРОССИЙСКОЕ СОВЕЩАНИЕ ПО ПРОБЛЕМАМ УПРАВЛЕНИЯ ВСПУ-2019 : ТРУДЫ. 17-20 июня 2019 г., Москва. М.: Москва - ИПУ РАН, 2019. С. 2456-2460.2019
3Уваров С.И. Распараллеливание в NP-полных задачах на примере выполнимости булевых функций / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 176-182.2012
4Уваров С.И. Совместное кодирование границ арифметических интервалов при надежных вычислениях / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 210-222.2012

Патенты/Свидетельства

5Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2644505 РФ; Зарег. 12.02.2018.2018
6Уваров С. И. Соединитель многожильных электрических проводов: Патент на полезную модель № 139487 РФ; Зарег. 19.03.2014.2014
7Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2515206 РФ; Зарег. 12.03.2014.2014
8Уваров С. И. Спецпроцессор для поиска гамильтоновых циклов в графах: Патент на изобретение № 2515211 РФ; Зарег. 12.03.2014.2014
9Уваров С. И. Устройство декодирования совместно хранимых границ при интервальных вычислениях: Патент на изобретение № 2497179 РФ; Зарег. 27.10.2013.2013
10Уваров С. И. Устройство совместного кодирования границ при интервальных вычислениях: Патент на изобретение № 2497180 РФ; Зарег. 27.10.2013.2013
11Уваров С. И. Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул: Патент на изобретение № 2474871 РФ; Зарег. 10.02.2013.2013
12Уваров С. И., Адоян Е. А., Мошников А. С. Декодер фазомодулированного сигнала: Патент на изобретение № 2453991 РФ; Зарег. 20.06.2012.2012
13Уваров С. И., Ананьев А. П. Транзисторный ключ с пропорционально токовым управлением: Патент на изобретение № 2412541 РФ; Зарег. 20.02.2011.2011
14Уваров С. И., Ананьев А. П. Преобразователь напряжения с индуктивно связанными рекуперационными цепями: Патент на изобретение № 2396685 РФ; Зарег. 10.08.2010.2010