3 сентября, среда 10.00 -10.15 - Регистрация участников 10.15 - Открытие конференции Н. А. Фатеева (Москва; д-р филол. наук, ведущий научный сотрудник Института русского языка РАН). ... И. Пильщиков (Москва; д-р филол. наук, ведущий научный сотрудник ИМК МГУ). ... Л. Зайонц (Москва; канд. филол. наук, старший научный сотрудник ИМК МГУ). ... Елена А. Папкова (Москва; канд. филол. наук, доцент МГИМО). ... Время и «возвращение». ... Иванов (Москва-Лос-Анджелес; директор Института РАШ РГГУ и ИМК МГУ). ...
Лекции 9-10 Анизотропная вторая гармоника Точечная группа симметрии кристалла Анизотропия физических свойств кристалла определяется симметрией его кристаллической решетки, задаваемой набором элементов симметрии - пространственных преобразований решетки, при которых она переходит сама в себя. ... Точечная группа симметрии поверхности, совпадающей с одной из основных кристаллографических плоскостей кубического кристалла - (001), (011) или (111) - 4m, 2mm и 3m, соответственно. ...
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА Механикоматематический факультет На правах рукописи Беляков Антон Олегович Определение моментов инерции крупногабаритных тел по колебаниям в упругом подвесе 01.02.01 теоретическая механика Диссертация на соискание ученой степени кандидата физикоматематических наук Научный руководитель доктор физикоматематических наук А.П. Сейранян Москва 2005 г. Содержание Введение Глава I. Описание метода измерений 1 Существующие методы измерения моментов инерции 2
Е.А. Григорьев ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ АНАЛИЗ Практикум (по программе бакалавров) 2 ПРЕДУВЕДОМЛЕНИЕ К ПРАКТИКУМУ Настоящее пособие содержит основные формулировки, решение примеров, а также вопросы и задачи для самостоятельной работы из готовящегося к печати курса "ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ АНАЛИЗ". Автор рассчитывает на ограниченное распространение следующего ниже текста до его издания и надеется найти в этом понимание со стороны пользователей. ПРЕДИСЛОВИЕ К КУРСУ ЛЕКЦИЙ Предлагаемый вниманию читателя курс
... am02r.zip , am02c.zip . ... Вычисление нормированного вектора невязки системы линейных алгебраических уравнений. Вычисляется вектор R = r / S, где r = b - Аx, b - заданный вектор длины N, x - заданный вектор длины М, A - заданная матрица размера N * М, S = || r || Нормировка вектора невязки r необходима при решении системы линейных алгебраических уравнений Аx = b с уточнением. ... вещественный вектор длины N, в котором запоминается правая часть системы; . ...
... 1 ] - J.M. Bujnicki (2001) Understanding the evolution of restriction - modification systems: Clues from sequence and structure comparisons. ... 2 ] - J.M. Bujnicki (2003) Crystallographic and Bioinformatic Studies on Restriction Endonucleases: Inference of Evolutionary Relationships in the 'Midnight Zone' of Homology. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...