| Наименование РИД |
Символьный преобразователь демонстрационных материалов в формате LaTeX, версия 1.0 (MorphicLaTeX v.1.0)
|
| Реферат |
Программа предназначена для конверсии демонстрационных материалов в формате LaTeX beamer в формат конспекта статьи.
Функциональные возможности программы:
- учитывает и обрабатывает включенные tikz-графы, xy-диаграммы, вложенные мини-страницы;
- автоматически порождает выключные объекты (рисунки) по диаграммам, со сквозной нумерацией с активными ссылками, масштабирует их;
- выделяет ключевые блоки из текста, используя сочетание контекстно-свободного и контекстно-зависимого, на базе повторяющихся подшаблонов, анализа, и помещает их в обрамления теоремы, леммы и определения;
- поддерживает русский и английский языки (режим настраивается при сборке).
Область применения: анализ и преобразование научных и учебных материалов, исполняемые локально и без использования онлайн-сервисов.
|
| Возможные направления использования |
Анализ и преобразование научных и учебных материалов, исполняемые локально и без использования онлайн-сервисов
|
| Количество опытных образцов |
0
|
| Количество просмотров |
5
|
| Наличие дополнительных файлов |
False
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[{"last_status": {"created_date": "2026-01-14T13:56:08.363097+00:00", "registration_number": "826011400193-9", "status": {"name": "Подтверждена"}}, "copyright_protections": [{"protection_way": {"name": "Осуществлена государственная регистрация"}}]}]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2025-12-09T06:29:55.161066+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Исполнитель
|
| Заказчик |
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
|
| Руководитель работы |
Абрамов Сергей Михайлович
|
| Руководитель организации |
Тищенко Игорь Петрович
|
| Регистрационный номер НИОКТР |
125021302067-9
|
| Последний статус |
Подтверждена, 625122400554-4, 2025-12-24 20:49:21 UTC
|
| ОКПД |
Услуги, связанные с научными исследованиями и экспериментальными разработками в области компьютерных наук и информационных технологий
|
| Ключевые слова |
верификация; анализ данных
|
| Исполнители |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОГРАММНЫХ СИСТЕМ ИМ. А.К. АЙЛАМАЗЯНА РОССИЙСКОЙ АКАДЕМИИ НАУК
|
| Авторы |
Непейвода Антонина Николаевна
|
| Коды тематических рубрик |
50.41.25 - Прикладное программное обеспечение
|
| OESR |
Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8)
|
| Приоритеты научно-технического развития |
а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;; д) противодействие техногенным, биогенным, социокультурным угрозам, терроризму и экстремистской идеологии, деструктивному иностранному информационно-психологическому воздействию, а также киберугрозам и иным источникам опасности для общества, экономики и государства, укрепление обороноспособности и национальной безопасности страны в условиях роста гибридных угроз;
|
