|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Развитие теорий моделей программНИР
wqwqw
- Руководитель НИР: Подловченко Р.И.
- Ответственный исполнитель: Захаров В.А.
- Подразделение: 4.08.Лаборатория параллельных информационных технологий
- Срок исполнения: 1 января 2012 г. - 31 декабря 2016 г.
- Номер договора (контракта, соглашения): 02
- Номер ЦИТИС: 01201253081
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Фундаментальные проблемы высокопроизводительных вычислений и обработки данных
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
-
Рубрики ГРНТИ:
- 50.41.23 Программное обеспечение вычислительных сетей
- 50.41.01 Общие вопросы
-
Описание:
исследования,обобщение методологии решения обеих фундаментальных проблем, разработанной для алгебраических моделей программ без процедур, на алгебраические программы с процедурами. б) разработки выделение класса алгебраических моделей программ без процедур и отдельно класса алгебраических моделей программ с процедурами, для которых разрешимы обе фундаментальные проблемы. в) приложения результатов (внедрения) применение решений, приемлемых по сложности, в задаче оптимизации моделируемых программ и в задаче обфускации программ.
-
Основные результаты:
Продолжено развитие теории алгебраических моделей программ. Выполнен аналитический обзор результатов, полученных для моделей программ с процедурами, обобщающих модели программ без процедур, называемых простыми. Проанализирована методика получения результатов по проблеме эквивалентности в простых алгебраических моделях программ; она восходит к теории конечных автоматов. Результаты исследований опубликованы и приняты к опубликованию. Принята к опубликованию в журнале «Программирование» в №1 за 2016 год статья «Исследования в теории алгебраических моделей программ с процедурами».
- Добавил в систему: Подловченко Римма Ивановна
Источник финансирования НИР
| госбюджет, раздел 0110 (для тем по госзаданию) |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2015 г.-31 декабря 2015 г. | Развитие теорий модлей программ |
| Результаты этапа: Продолжено развитие теории алгебраических моделей программ. Выполнен аналитический обзор результатов, полученных для моделей программ с процедурами, обобщающих модели программ без процедур, называемых простыми. Проанализирована методика получения результатов по проблеме эквивалентности в простых алгебраических моделях программ; она восходит к теории конечных автоматов. Результаты исследований опубликованы и приняты к опубликованию. Принята к опубликованию в журнале «Программирование» в №1 за 2016 год статья «Исследования в теории алгебраических моделей программ с процедурами». | ||
| 2 | 1 января 2016 г.-31 декабря 2016 г. | Развитие теорий модлей программ |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".