Московский Государственный Университет им. М. В. Ломоносова Физический факультет Курсовая работа Акустические методы детектирования нейтрино Выполнил студент 413 группы Орлов М. В. Научные руководители к.ф-м.н. Широков Е. В. проф. Деденко Л. Г. Москва, 2007 1 Введение 1.1 Цель работы В данный момент в мире конструируются три больших эксперимента, IceCube, NEMO и NESTOR, направленных на поиск космических нейтрино высоких энергий (вплоть до 1020 eV). ... Нейтрино обладают двумя важнейшими свойствами. ...
[
Текст
]
Ссылки http://antares.sinp.msu.ru/docs/Orlov%20-%20Term%20paper.pdf -- 431.8 Кб -- 16.12.2013 Похожие документы
... Доступность курса . ... Количество недель/тем . ... Задавайте интересные вопросы . ... Использование HTML-формата . ... Разрешить бинарные файлы . ... Импорт из CSV файла . ... Максимум записей . ... Импорт записей . ... Включить в отзыв текст ответа ученика . ... Минимальное количество вопросов в лекции . ... Импорт новых вопросов . ... Количество вопросов на странице . ... Вопросы c ответами в виде коротких фраз . ... Вопросы с ответами "верно"/"неверно" . ... Список всех файлов помощи . ...
Архитектура ЭВМ и язык ассемблера . Страница поддержки курса "Архитектура ЭВМ и язык ассемблера" для 1 потока . ... Ассемблер nasm . ... Материалы . ... Итоги коллоквиума ?1 . ... Older posts . ... Posted on 24.02.2015 by vartan . ... Tagged литература | ... Первое пособие ?Семинары по курсу ?Архитектура ЭВМ и язык ассемблера? ... Posted on 06.11.2014 by vartan . 12 ноября состоится пересдача экзамена ?Архитектура ЭВМ ?? для дипломников 4 и 5 курса, слушавших курс в 2011 и 2012 годах. ...
Построение консоли оператора системы управления ускорителем с использованием операционной системы Linux. ... Полная программная эмуляция функций двух верхних уровней старой системы управления (загрузка ПО в станции нижнего уровня, обеспечение диалога с оператором ускорителя); . ... Для эмулирования функций верних уровней системы управления по загрузке ПО в станции и обеспечению диалога с оператором ускорителя было создано программное обеспечение для операционной системы Linux. ...
... Вестник МГУ. ... К истории строительства нового здания МГУ . ... Вопрос о строительстве новых зданий был поставлен еще в 1941 году, но начавшаяся война помешала осуществлению плана реконструкции университета. Лишь в 1948 году, когда восстановление народного хозяйства, сильно разрушенного войной, было в основном завершено, появилась возможность заняться строительством новых зданий МГУ. 15 марта 1948 года Совет Министров СССР принял постановление о строительстве новых зданий МГУ на Ленинских горах. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Одновременное измерение локальных коэффициентов теплоотдачи и коэффициентов сопротивления на гладкой поверхности и на поверхности со сложным рельефом (лунки, выступы, канавки, насечки и т.п.), омываемых дозвуковым потоком воздуха, в диапазоне скоростей от 5 м/с до 120 м/с . ... Измерение локальных коэффициентов теплоотдачи нестационарным методом моделей и поверхностей, обтекаемых сверхзвуковым потоком воздуха . ...
... am02r.zip , am02c.zip . ... Вычисление нормированного вектора невязки системы линейных алгебраических уравнений. Вычисляется вектор R = r / S, где r = b - Аx, b - заданный вектор длины N, x - заданный вектор длины М, A - заданная матрица размера N * М, S = || r || Нормировка вектора невязки r необходима при решении системы линейных алгебраических уравнений Аx = b с уточнением. ... вещественный вектор длины N, в котором запоминается правая часть системы; . ...
... На основе анализа существующей научной литературы и собственого экспериментального материала разработана концепция органического питания растений, согласно которой в экосистемах в процессе биологического круговорота существенную роль играет также круговорот органических соединений (структурных и функциональных блоков биологических макромолекул), многократно используемых на различных трофических уровнях экологических систем для построения прежде всего создания фитомассы растений и образования ГВ...