Прислать материал
Участие в международном симпозиуме Mathematical Foundations of Computer Science 2005 с докладом "Фундаментальная система решений для систем линейных неравенств в целых числах".
Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.444.11.7108
Организация
ИВТ СО РАН
Продолжительность работ
2005, 2 мес.
Бюджетные средства
0,03 млн
Внебюджетные средства
0 млн
Проведение стажировок в зарубежных научно-образовательных центрах
Соисполнители
Организация
Гданьский университет
Этапы проекта
1
05.09.2005 - 04.11.2005
Основной целью работы является повышение уровня научной подготовки сотрудника института, Д. Чубарова и ускоренное завершение им диссертационной работы посредством участия в международном симпозиуме высокого научного уровня.
Работа является продолжением научно-исследовательской работы, выполненной Д. Чубаровым в Манчестерском университете (Великобритания) совместно с профессором А. Воронковым. В процессе работы были проведены исследования в области алгоритмов и структур данных для компьютерного представления множеств целочисленных решений систем линейных алгебраических неравенств.
В работе получены новые результаты о компьютерном представлении множества целочисленных решений систем линейных алгебраических неравенств, на основании которых возможно построение новых алгоритмов. Теоретически обоснована оптимальность таких алгоритмов по ряду сформулированных в работе критериев. По результатам работы на международном симпозиуме MFCS 2005 представлен двадцатипятиминутный доклад и опубликована статья.
Полученные результаты являются частью проводимых Д. Чубаровым исследований по автоматическому анализу систем переходов и войдут в диссертационную работу. На основе этих результатов планируется построение новых алгоритмов, которые будут реализованы в рамках разрабатываемого прототипа программного инструментария для анализа систем переходов.
Работа является продолжением научно-исследовательской работы, выполненной Д. Чубаровым в Манчестерском университете (Великобритания) совместно с профессором А. Воронковым. В процессе работы были проведены исследования в области алгоритмов и структур данных для компьютерного представления множеств целочисленных решений систем линейных алгебраических неравенств.
В работе получены новые результаты о компьютерном представлении множества целочисленных решений систем линейных алгебраических неравенств, на основании которых возможно построение новых алгоритмов. Теоретически обоснована оптимальность таких алгоритмов по ряду сформулированных в работе критериев. По результатам работы на международном симпозиуме MFCS 2005 представлен двадцатипятиминутный доклад и опубликована статья.
Полученные результаты являются частью проводимых Д. Чубаровым исследований по автоматическому анализу систем переходов и войдут в диссертационную работу. На основе этих результатов планируется построение новых алгоритмов, которые будут реализованы в рамках разрабатываемого прототипа программного инструментария для анализа систем переходов.
Программа
Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы
Программное мероприятие
1.11 Развитие системы стажировок молодых ученых и преподавателей в крупных научно-образовательных центрах (включая зарубежные) и участие в конференциях, симпозиумах, семинарах, школах (в том числе за рубежом)
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах). "Исследование фундаментальных основ дизайна катализаторов окислительных процессов на основе нано- и субнаночастиц металлов IB-группы в мексиканском научном центре исследований конденсированных материалов UNAM".
Продолжительность работ
2006, 9 мес.
Бюджетные средства
0,46 млн
Организация
Томский государственный университет, НИ ТГУ, ТГУ
профинансировано
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах). " Участие в 3-м Международном симпозиуме по биометаллоорганической химии "Биометаллоорганическая химия для природы и жизни".
Продолжительность работ
2006, 5 мес.
Бюджетные средства
0,08 млн
профинансировано
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах). "Синтез и исследование анионзамещенных кальцийфосфатных материалов с различной микроморфологией".
профинансировано
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах). "Построение корпоративных систем информационной поддержки процессов менеджмента качества".
Продолжительность работ
2006, 8 мес.
Бюджетные средства
0,46 млн
Организация
РГАТУ имени П.А. Соловьева
профинансировано
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах). "Молекулярно-генетическая систематика семейства сложноцветных (Compositae) Северной Азии".
Продолжительность работ
2006, 9 мес.
Бюджетные средства
0,46 млн
профинансировано