Регистрация / Вход
Прислать материал

Участие в международном симпозиуме Mathematical Foundations of Computer Science 2005 с докладом "Фундаментальная система решений для систем линейных неравенств в целых числах".

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.444.11.7108
Организация
ИВТ СО РАН

Проведение стажировок в зарубежных научно-образовательных центрах

Соисполнители

Этапы проекта

1
05.09.2005 - 04.11.2005
Основной целью работы является повышение уровня научной подготовки сотрудника института, Д. Чубарова и ускоренное завершение им диссертационной работы посредством участия в международном симпозиуме высокого научного уровня.
Работа является продолжением научно-исследовательской работы, выполненной Д. Чубаровым в Манчестерском университете (Великобритания) совместно с профессором А. Воронковым. В процессе работы были проведены исследования в области алгоритмов и структур данных для компьютерного представления множеств целочисленных решений систем линейных алгебраических неравенств.
В работе получены новые результаты о компьютерном представлении множества целочисленных решений систем линейных алгебраических неравенств, на основании которых возможно построение новых алгоритмов. Теоретически обоснована оптимальность таких алгоритмов по ряду сформулированных в работе критериев. По результатам работы на международном симпозиуме MFCS 2005 представлен двадцатипятиминутный доклад и опубликована статья.
Полученные результаты являются частью проводимых Д. Чубаровым исследований по автоматическому анализу систем переходов и войдут в диссертационную работу. На основе этих результатов планируется построение новых алгоритмов, которые будут реализованы в рамках разрабатываемого прототипа программного инструментария для анализа систем переходов.
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.11 Развитие системы стажировок молодых ученых и преподавателей в крупных научно-образовательных центрах (включая зарубежные) и участие в конференциях, симпозиумах, семинарах, школах (в том числе за рубежом)
Тема
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах).
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
46 млн
Количество заявок
153
Тема
Выполнение научно-исследовательских, опытно-конструкторских и технологических работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
26,4 млн
Количество заявок
66
Тема
Организационно-техническое обеспечение и мониторинг стажировок молодых ученых и преподавателей в крупных научно-образовательных центрах (включая зарубежные) и участие их в конференциях, симпозиумах, семинарах, школах (в том числе за рубежом).
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
2 млн
Количество заявок
3
Тема
Выполнение научно-исследовательских, опытно-конструкторских и технологических работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
17,6 млн
Количество заявок
42
Тема
Подготовка публичных аналитических докладов (отчетов) по отдельным направлениям научно-технологического развития, входящим в число приоритетных в развитых зарубежных странах (биомедицина, новые производственные технологии, новые технологии добычи и использования углеводородного сырья
Продолжительность работ
2014, 5 мес.
Бюджетные средства
30 млн
Количество заявок
3