Программы фундаментальных научных исследований государственных академий наук на 2008-2012 гг. Утверждён Координационным советом по Программе

Современные проблемы дискретной математики и теоретической информатики	Построена модель смешанной экономики типа Эрроу-Дебре. На основе гомотопического подхода получены условия существования равновесных цен для этой модели, близкие к самым общим предположениям теорем существования равновесия в классической модели Эрроу-Дебре. Найден широкий класс смешанных экономик типа Эрроу-Дебре с максимально возможной областью нетангенциальности их отображений избыточного спроса. Разработана методика совместного анализа многомерных фазовых пространств, генерируемых нелинейными динамическими системами, описывающими циркуляцию атмосферы и процессы переноса и трансформации загрязняющих примесей, предназначенная для целей долгосрочного прогнозирования изменений качества атмосферы на фоне циркуляционных процессов, рассчитанных с учетом климатической информации, ранжированной по масштабам пространственно-временных возмущений. Методами постановок обратных задач переноса примесей в пограничном слое атмосферы проведено построение моделей оценивания длительного регионального загрязнения территорий. С использованием асимптотических разложений теории потенциала получен ряд малопараметрических представлений полей концентраций от площадных источников. Создана специализированная картографическая оболочка ITRIS (Integrated Tsunami Research and Information System), построенная на принципах ГИС-технологий и объединяющая в своем составе программные компоненты, вычислительные алгоритмы для моделирования цунами и землетрясений, вместе с информационными ресурсами (спутниковыми снимками, цифровыми моделями рельефа, материалами дистанционного зондирования, историческими каталогами и данными наблюдений, результатами моделирования) Разработан комплекс прикладных программ для численного исследования пространственных задач динамики моментной упругой среды на многопроцессорных вычислительных системах. Комплекс оснащен программными средствами сжатия больших массивов данных с контролируемой потерей информации, которые позволяют многократно снизить сетевой трафик, используемый для копирования файлов–результатов счета при решении задач на удаленных кластерах, и служат для компактного хранения численных решений в постоянной памяти компьютера. ИМ СО РАН, ИВМиМГ СО РАН, ИВМ СО РАН. Создан Инновационный учебно-методический комплекс (ИУМК) «Информатика (1-4 классы)». Комплекс является системообразующим элементом всей начальной школы, интегрируя различные дисциплины, создавая для них интеллектуальную и технологическую основу. Учебные материалы ИУМК знакомят детей с основными информационными объектами, помогают овладевать методами преобразования информации, научиться строить информационные модели. Изучение математических основ информатики является основой формирования общеучебных навыков и развития общих мыслительно-коммуникативных способностей ребенка. Компьютерная поддержка при этом помогает детям параллельно осваивать разнообразные способы достижения результатов, различные инструменты и технологии, позволяет снизить объем рутинной работы учащихся и повысить вариативность заданий курса. Данная разработка признана важным результатом в масштабе всего Российского образования. Работа завершена, ресурс выложен в Единой коллекции образовательных ресурсов и проходит экспериментальную апробацию во многих регионах страны. Создан математический аппарат и комплекс алгоритмов для решения задач обучения беспризнаковой классификации объектов, воспринимаемых компьютером через совокупность нескольких разнородных показателей их попарного несходства. Разработанная принципиально новая методология селективного комбинирования наиболее информативных метрик основана, с одной стороны, на общих алгебраических принципах анализа разнородной, неполной и противоречивой информации, развитых в работах Ю.И. Журавлева и его учеников, и, с другой стороны, на методе потенциальных функций М.А. Айзермана, Э.М. Бравенмана и Л.И. Розоноэра. Алгоритмы использованы для решения прикладных задач идентификации личности по свободно пополняемому комплексу биометрических характеристик и классификации аминокислотных последовательностей белков по их эволюционному сходству. Даны точные определения и математическая характеризация понятий, используемых для построения моделей изображений в задачах их анализа и распознавания. ВЦ РАН. Разработка эффективных алгоритмов и их программная реализация на различных типах архитектур. Предложены эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний. Разработан оптимальный по порядку последовательный алгоритм антиунификации подстановок, представленных в виде ациклических ориентированных графов, и, на его основе, предложен новый метод вычисления инвариантов равенства в моделях одномодульных программ. Установлена верхняя оценка сложности в классе параллельных алгоритмов для задачи антиунификации подстановок, представленных в виде ациклических ориентированных графов. Предложена концепция метаподстановки, обобщающая понятие подстановки, и установлены основные алгебраические свойства метаподстановок. ИСП РАН. Впервые построены бесконечные семейства плоских 4-хроматических и реберно 4-критических графов, образованных пересечением замкнутых кривых на плоскости и, тем самым, опровергнута гипотеза Грецша-Закса-Кeстера о 3-раскрашиваемости графов этого класса. Для k3, r>1 получены нижние оценки числа (k,r)-неразделенных семейств подмножеств n-элементного множества ((k,r)-неразделенных булевых функций). Разработан прямой комбинаторный (свитчинговый) метод построения q-значных совершенных кодов, на его основе исследована проблема пересечений q-значных (q>2) совершенных кодов, получен широкий спектр возможных пересечений совершенных q-значных кодов. Доказана NP-полнота задачи о существовании во множестве векторов евклидова пространства такого подмножества векторов неизвестной мощности, что среднее значение квадрата длины их суммы не меньше заданного положительного числа. Для оптимизационного варианта этой задачи обоснован приближенный асимптотически точный алгоритм, полиномиальный в случае фиксированной размерности пространства. ИМ СО РАН. Для системы линейных дифференциальных уравнений с интервальными коэффициентами решена задача идентификации параметров и начальных значений по интервальным измерениям фазовых состояний. Решена задача управляемости – перевода пучка траекторий системы из одного заданного бруса в другой за конечное время - в классе кусочно постоянных ограниченных управлений. ИПМ ДВО РАН.

Похожие:

	Программы фундаментальных научных исследований государственных академий... Российской академией медицинских наук, Российской академией архитектуры и строительных наук, Российской академией образования, Российской...		Программа фундаментальных научных исследований государственных академий наук на 2008 2012 годы Основание для разработки Программы фундаментальных научных исследований государственных академий наук, цели, задачи и основные принципы...
	Программа разработана в соответствии с Федеральным законом «О науке... Утвердить прилагаемую Программу фундаментальных научных исследований государственных академий наук на 2013 2020 годы		План фундаментальных исследований Российской академии наук на период до 2025 года оглавление I. План фундаментальных исследований Российской академии наук на период 2006-2010 гг. 6
	Отчет о научной и научно-организационной деятельности Федерального... Сведения о выполнении количественных показателей индикаторов эффективности фундаментальных научных исследований, реализуемых программой...		Институт ядерных исследований учёный совет Институт ядерных исследований Российской академии наук образован в 1970 году для создания экспериментальной базы и проведения фундаментальных...
	Crdf global-Уральское отделение ран ...		Приказ Единого плана счетов бухгалтерского учета для органов государственной власти (государственных органов), органов местного самоуправления,...
	Законом от 6 декабря 2011 г. №402-фз Единого плана счетов бухгалтерского учета для органов государственной власти (государственных органов), органов местного самоуправления,...		Отчет о результатах самообследования по состоянию на 01. 07. 2008... Приведена информация по выполнению рекомендаций, полученных в ходе предыдущей аттестации, проводимой в 2003 году
	Значение фундаментальных научных исследований для инновационного развития государств Материалы международной научно-практической конференции (12 октября 2017 г. – 17 октября 2017 г.)		Физика элементарных частиц, физика высоких энергий, теория калибро-вочных... Некоторые результаты мирового уровня по направлениям научных исследований ияи ран 1
	2. Обоснована процедура сведения задачи факторизации матриц-функций... Наиболее важные результаты фундаментальных исследований, полученные в институтах спбнц ран за 2008-2009 годы		Согласовано рекомендовано Координационным советом по медицинскому и фармацевтическому образованию Минздрава России
	Согласовано рекомендовано Координационным советом по медицинскому и фармацевтическому образованию Минздрава России		Вестник мгли язык. Культура. Образование. Выпуск №1 2015 г Материалы могу быть предоставлены к публикации в форме научных статей, обзорных научных материалов, научных сообщений, библиографических...