| Наименование РИД |
Программа для ЭВМ по подсчету количества целых точек в простых многогранниках
|
| Реферат |
На вход программы подается путь к файлу, содержащему описание простого многогранника в заданном формате. В программе используется метод двойного описания для построения вершин многогранника, одновременно проверяя его простоту на данном этапе. Для каждой вершины определяются связанные с ней неравенства исходной системы, затем для каждого подмножества неравенств запускается метод вычисления значения производящей функции простого конуса с использованием техники динамического программирования. Суммируя результаты вычислений, программа определяет количество целых точек в многограннике
|
| Возможные направления использования |
Программа применима в компиляторной оптимизации, особенно в рамках полиэдральной модели, используемой для анализа и преобразования циклов и массивов в программах
|
| Количество опытных образцов |
0
|
| Количество просмотров |
13
|
| Наличие дополнительных файлов |
False
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[{"last_status": {"created_date": "2025-11-25T18:57:10.335731+00:00", "registration_number": "825112500136-0", "status": {"name": "Подтверждена"}}, "copyright_protections": [{"protection_way": {"name": "Осуществлена государственная регистрация"}}]}]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2025-09-19T08:26:33.584237+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Исполнитель
|
| Заказчик |
УПРАВЛЕНИЕ ДЕЛАМИ ПРЕЗИДЕНТА РОССИЙСКОЙ ФЕДЕРАЦИИ
|
| Руководитель работы |
Калягин Валерий Александрович
|
| Руководитель организации |
Соколов Игорь Владимирович
|
| Регистрационный номер НИОКТР |
125022803037-3
|
| Последний статус |
Подтверждена, 625102100113-8, 2025-10-21 09:10:21 UTC
|
| ОКПД |
Услуги, связанные с научными исследованиями и экспериментальными разработками в области компьютерных наук и информационных технологий
|
| Ключевые слова |
Целая точка; Простой многогранник; Производящая функция
|
| Исполнители |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
|
| Авторы |
Грибанов Дмитрий Владимирович; Касьянов Никита Юрьевич
|
| Коды тематических рубрик |
27.47.19 - Исследование операций
|
| OESR |
Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8)
|
| Приоритеты научно-технического развития |
а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;
|
