. HOME . ABOUT . RESEARCH . NEWS . PUBLICATIONS . DATA . COLLABORATION . OUTREACH . CONTACT US . outreach . ПРЕЗЕНТАЦИИ Panasyuk M. (SINP, Russia). Relec . ШКОЛЬНИКАМ Using a database of university satellite "Vernov" in school project work. Использование данных университетского спутника "Вернов" в школьных проектах. Experiment and database description | Описание эксперимента и базы данных(doc file ~6 Mb) . Database files (FTP archive) | Файлы данных (FTP-архив) .
Е.А. Григорьев ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ АНАЛИЗ Практикум часть 2 (по программе бакалавров) 62 Глава 4 Ряды аналитических функций. ... Покажите, что ряд sin nz равномерно сходится на вещественной прямой n2 n=1 R, но расходится в любой точке z R. / 18. ... Тогда по формуле (2) имеем res f2 (z ) = 2 z =1 3) Найти главную часть ряда Лорана функции точки z0 = -2. f (z ) = z cos 2z в окрестности (z + 2)2 Точка z0 = -2 полюс второго порядка f (z ), поэтому главная часть ряда Лорана имеет вид c -1 c -2 + . ...
. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called
... Б.В. Сомов . заведующий отделом . ... комн. ... старший научный сотрудник . ... научный сотрудник . ... Современные космические наблюдения Солнца обладают высоким пространственным, временным и спектральным разрешением. ... Расчеты, анализ магнитных полей в атмосфере Солнца и сравнение с многоволновыми наблюдениями активных областей и солнечных вспышек. ... 27 сентября 2013г. Отдел физики Солнца посетила съемочная группа ведущего российского телеканала "Вести-1". Фото 1 Фото 2 Фото 3 . ...
На основании совместного решения ректора МГУ академика РАН В.А.Садовничего и ректора МГТУ чл.-корр. РАН И.Б.Федорова с целью расширения объемов проводимых научных работ и более рационального использования уникального научного оборудования на базе гиперзвуковой лаборатории НИИ механики МГУ создана научно-учебная лаборатория "Термогазодинамика". Научным руководителем лаборатории "Термогазодинамика" назначен академик РАН Леонтьев Александр Иванович. ...
... Главная . О центре . ... Научно-образовательный Центр компьютерного моделирования и безопасных технологий был создан при поддержке Федеральной целевой программы 'Интеграция' по разделу развития многопроцессорных вычислительных комплексов (супер-ЭВМ) коллективного пользования совместно с Российской академией наук в целях внедрения новейших вычислительных технологий, в частности, параллельных вычислений в области математического моделирования в фундаментальных научных исследованиях. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
Молекулярная динамика . Расчетные методы симуляции молекулярной динамики базируются на представлениях классической механики, движение атомов описывается в формализме уравнений Ньютона для системы N взаимодействующих частиц: . Каждый атом считается находящимся в силовом поле, создаваемом другими атомами, сила взаимодействия будет выражаться как производная функции потенциальной энергии. ... Использование уравнений Ньютона автоматически приводит нас к классическому описанию движения атомов. ...