×

Автор РИД: Уваров Сергей Иванович

Показаны записи 1-6 из 6.
04.04.2018
№218.016.2f8a

Спецпроцессор для задачи выполнимости булевых формул

Изобретение относится к средствам для решения задач о выполнении булевых функций. Технический результат заключается в решения задачи о выполнимости булевых функций, заданных в конъюнктивной нормальной форме, имеющих N переменных и до М=2 дизъюнктов. При этом упрощение структуры спецпроцессора...
Тип: Изобретение
Номер охранного документа: 0002644505
Дата охранного документа: 12.02.2018
10.05.2014
№216.012.c131

Спецпроцессор для задачи выполнимости булевых формул

Изобретение относится к вычислительной технике, в частности к специализированным процессорам с высокой степенью параллелизма. Технический результат заключается в снижении сложности спецпроцессора и повышении скорости решения задачи о выполнимости булевых функций за счет упрощения структуры...
Тип: Изобретение
Номер охранного документа: 0002515206
Дата охранного документа: 10.05.2014
10.05.2014
№216.012.c136

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

Изобретение относится к вычислительной технике и направлено на построение эффективного спецпроцессора, осуществляющего поиск Гамильтонова цикла в графе, заданном матрицей смежностей, хранящейся в памяти. Техническим результатом является увеличение скорости решения задачи отыскания Гамильтонова...
Тип: Изобретение
Номер охранного документа: 0002515211
Дата охранного документа: 10.05.2014
27.10.2013
№216.012.7b1d

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

Изобретение относится к вычислительной технике и может быть использовано в арифметических устройствах для осуществления вычислений в формате с плавающей запятой. Техническим результатом является увеличение точности запоминаемых результатов интервальных вычислений в формате с плавающей запятой...
Тип: Изобретение
Номер охранного документа: 0002497179
Дата охранного документа: 27.10.2013
27.10.2013
№216.012.7b1e

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

Изобретение относится к вычислительной технике и может быть использовано в арифметических устройствах для осуществления вычислений в формате с плавающей запятой. Техническим результатом является увеличение точности запоминаемых результатов интервальных вычислений в формате с плавающей запятой,...
Тип: Изобретение
Номер охранного документа: 0002497180
Дата охранного документа: 27.10.2013
10.02.2013
№216.012.2499

Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул

Изобретение относится к вычислительной технике, в частности к специализированным процессорам с высокой степенью параллелизма. Технический результат заключается в снижении сложности спецпроцессора за счет упрощения структуры процессорного блока, в расширении функциональных возможностей за счет...
Тип: Изобретение
Номер охранного документа: 0002474871
Дата охранного документа: 10.02.2013
+ добавить свой РИД