... Публикации 2015 года . ... 2563496, 25 августа 2015 г. Тезисы докладов: . ... Москва: ЦИАМ им. П. И. Баранова, 2015. ... Волны в вязкоупругом слое, расположенном под слоем движущейся жидкости // Тезисы докладов VIII международной конференции 'Лаврентьевские чтения по математике, механике и физике'. ... Публикации 2014 года . ... Секция механики. 14 - 23 апреля 2014, Москва, МГУ имени М. В. Ломоносова. ... Публикации 2013 года . ... Секция механики. 15-23 апреля 2013, Москва, МГУ имени М.В.Ломоносова...
Tools for monitoring of data exchange in real-time avionics systems V.V. Balashov, V.A. Balakhanov, A.G. Bakhmurov, M.V. Chistolinov, P.E. Shestov, R.L. Smeliansky, N.V. Youshchenko Lomonosov Moscow State University, Dept. of Computational Mathematics and Cybernetics, Laboratory of Computer Systems e-mail: {hbd,baldis,bahmurov,mike,osmin,smel,yoush}@lvk.cs.msu.su Abstract In this paper we present a toolset for monitoring of data exchange through onboard channels of real-time avionics (RTA) systems. ...
[
Текст
]
Ссылки http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_et_al_eucass2011_monitoring.doc -- 194.5 Кб -- 27.05.2015 Похожие документы
A project of laser electron X-ray generator for scientific applications I.A. Artyukov, E.G. Bessonov, A.V. Vinogradov, M.V. Gorbunkov, Yu.Ya. ... The possibility of the creation and the application prospects of the laser-electron X-ray generator based on Thompson scattering of laser radiation on a bunch of relativistic electrons are considered. ... It allows viewing collision of electrons with laser photons as the classical Thomson scattering. ... A project of X-ray laser-electron generator [7]. ...
... A Primer from the Reform of Personal Income Taxation in Russia Introduction. ... However, to use the welfare function one needs to aggregate individual preferences that can also be unknown. ... The derivations lead to the conclusion that the optimal marginal income tax rate is increasing as the elasticity of labor supply increases. ... In this paper we obtain the characteristics of the labor supply for different population groups to get the elasticities of labor supply with respect to a post tax...
[
Текст
]
Ссылки http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./nekipelov.pdf -- 233.1 Кб -- 06.07.2014 Похожие документы
... The data on UV glow of the atmosphere obtained in operation of one pixel of the TUS detector on board the Moscow State University "Universitetsky-Tatiana" satellite was taken into account in design of the updated TUS detector. ... The main feature of the design is use of MEMS technology scanning mirror controlled by the TUS computer, analyzing the recorded EAS data and directing the laser to the atmosphere spot, where back scattered Cherenkov light came from. ... Monitoring of UV intensity on-route....
[
Текст
]
Ссылки http://cosrad.sinp.msu.ru/experiments/tus/doc/HO2COSPAR2006.pdf -- 237.2 Кб -- 19.03.2008 Похожие документы
... XI--XVII . ... Ac A d e m I c r e A d I N g S Conference «Old Russian literature and television» M.V. Ivanova. old russian literature and contemporary russian television . ... e-mail: lanskoy@mail.ru. ... online. 28 2007, 13:00. http://www. expert.ru/interview/2007/03/28/pavlovsky/ 21 , , , . ... 2006, 39. http://www.expert. ru/printissues/expert/2006/39/prodazha_livejournal/print 22 , . ... 2007, 31. . ... 1917--1918 . ... Key words: Old Russian literature, plot, demonology, old printing Prologue. ...
[
Текст
]
Ссылки http://www.ftv.msu.ru/hst-notes/notes_2.pdf -- 1574.8 Кб -- 06.12.2010
[
Текст
]
Ссылки http://ftv.msu.ru/hst-notes/notes_2.pdf -- 1574.8 Кб -- 06.12.2010 Похожие документы
... When embedded within a base document, a URL in its absolute form may contain a great deal of information which is already known from the context of that base document's retrieval, including the scheme, network location, and parts of the url-path. ... Introduction This document describes the syntax and semantics for "relative" Uniform Resource Locators (relative URLs): a compact representation of the location of a resource relative to an absolute base URL. ... 3.1) Base URL embedded in the | ...
Economic, industry and corporate trends A report from the Economist Intelligence Unit sponsored by Cisco Systems Foresight 2020 Economic, industry and corporate trends Contents Preface Executive summary Chapter 1: The world economy Chapter 2: Industries Automotive Consumer goods and retailing Energy Financial services Healthcare and pharmaceuticals Manufacturing Public sector Telecoms Chapter 3: The company Appendix I: Survey results 2 3 6 22 24 30 36 43 50 57 62 67 74 86 Appendix II: Methodology for
[
Текст
]
Ссылки http://bc.fdo.msu.ru/Nik_s/WorkFiles/DOC_files/World_shares_foresight_2020.pdf -- 425.8 Кб -- 20.03.2012 Похожие документы
... Sov.Phys.-Plasma Phys.) 1978.V.4. ... Timofeev I.B., Bychkov V.L. Influence of ionizing processes on the lifetime of plasma ball in air. ... Bychkov V.L. Database on ball Lightning for PC. ... Bychkov V.L., Bychkov A.V., Stadnik S.A. Polymer Fire Balls in Discharge Plasma. ... Emelin S.E., Bychkov V.L., Astafiev A.M., Kovshik A.P., Pirozerski A.L. Role of discharge products throttling for generation of ball lightning with a condensed core from a high pressure vapor - gas phase Proc. 11-th Intern. ...
The beamer class Manual for version 3.06. \begin{frame} \frametitle{There Is No Largest Prime Number} \framesubtitle{The proof uses \textit{reductio ad absurdum}.} \begin{theorem} There is no largest prime number. \end{theorem} \begin{proof} \begin{enumerate} \item<1-| alert@1> Suppose $p$ were the largest prime number. \item<2-> Let $q$ be the product of the first $p$ numbers. \item<3-> Then $q+1$ is not divisible by any of them. \item<1-> Thus $q+1$ is also prime and greater than $p$.\qedhere
-- MySQL dump 8.23 -- -- Host: localhost Database: slides --------------------------------------------------------- -- Server version 3.23.58 -- -- Table structure for table `book` -- DROP TABLE IF EXISTS book; CREATE TABLE book ( id_content int(11) NOT NULL default '0', title varchar(255) default NULL, text1 text, text2 text, PRIMARY KEY (id_content) ) TYPE=MyISAM; -- -- Dumping data for table `book` -- INSERT INTO book VALUES (110,'Электронный учебник','',''); INSERT INTO book VALUES
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...