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. ...

Еще в разделе: (Показать все результаты (>12) - lvk.cs.msu.su/ )

• http://lvk.cs.msu.su/~sveta/lecture1_formal_methods.pdf
• http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/ITU_OTN_Tutorial.pdf

... Студенческая Астрономическая обсерватория ГАИШ . ... Любителям астрономии . История ГАИШ и Московской обсерватории . ... Структура ГАИШ : Отдел внегалактической астрономии : . ... Welcome to the Extra-galactic research group of SAI ! ... Sternberg Astronomical Institute is older than the entire field of extra-galactic astronomy. ... At the same time, the Extra-galactic astronomy group as an element of the institute structure remains the youngest subdivision of SAI. ... 2007, astro-ph/0709.3047 . ...

Еще в разделе: (Показать все результаты (>28) - www.sai.msu.ru/ )

4 SPIN. ... 0 1 Hello, world! ( ) ";" , active proctype main() { printf("Hello, world!\n") } ­ , >spin hello.pml Hello, world! 1 process created Hello, world! ... mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( turn == P) - printf( Produce\n ); turn = C od } active proctype consumer() { do :: ( turn == C) - printf( Consume\n ); turn = P od } ( 1) ­ 0, (op on sequence) (guard) ­ mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( ...

Еще в разделе: (Показать все результаты (>3) - savenkov.lvk.cs.msu.su/ )

• http://savenkov.lvk.cs.msu.su/mc/lect02.pdf

Network Working Group T. Berners-Lee Request for Comments: 1945 MIT/LCS Category: Informational R. Fielding UC Irvine H. Frystyk MIT/LCS May 1996 Hypertext Transfer Protocol -- HTTP/1.0 Status of This Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. IESG Note: The IESG has concerns about this protocol, and expects this document to be replaced relatively soon by a standards track document.

Еще в разделе: (Показать все результаты (>4) - hea-www.harvard.edu/ )

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc2396.txt
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc2068.txt

Bird Species Database (BSD) is being compiled in a framework of the Arctic Birds Breeding Conditions Survey (ABBCS) of the International Wader Study Group (IWSG). BSD aims at providing information on distribution, numbers and breeding status of birds in the Arctic, with the focus on last-breaking and, thus usually unpublished information. The primary source of data is questionnaires filled in by contributors to the ABBCS, while data from literature are being added occasionally. ... breeding . ...

Еще в разделе: (Показать все результаты (>3) - arctic.ss.msu.ru/ )

• BIRDS SPECIES DATABASE of the Arctic Birds Breeding Conditions Survey

... The factors that play the key role in complex formation are as follows: the rate of protein diffusion to the docking site; long-range electrostatic interactions between protein surfaces, geometric and chemical complementarity of binding areas; molecular mobility at the protein­protein interphase, hydrogen bonds, Van der Waals interactions, hydrophobic interactions, and salt bridges. ... Three-dimensional protein molecules are constructed on the basis of data extracted from the Protein Data Bank. ...

Еще в разделе: (Показать все результаты (>34) - www.library.biophys.msu.ru/ )

• http://www.library.biophys.msu.ru/PDF/80522.pdf

Contents Curricula, and Programs. Mathematical Analysis. (The Program of Mathematical Physics Department).............................................. Algebra and Analytical Geometry.(The program of (General "Mathematics" Department)................................ Computer and Programming. (The program of Algorithmic Languages Department).................................... The practical work on Computers.( Department of Algorithmic. Languages)............................................... Discrete

Еще в разделе: (Показать все результаты (>14) - mph.cmc.msu.ru/ )

... Геология >> Геохимические науки | Курсы лекций . ... Беус А. А. Геохимия литосферы. ... Труды по геохимии. ... Проблемы геохимии и космохимии. ... М.: Наука, 1983. 159 с. Гриненко В. А., Гриненко Л. Н. Геохимия изотопов серы. ... Кепежинскас В. В., Гладких В. С. Геохимия кайнозойских вулканических пород Монголии //: Проблемы петрологии земной коры и верхней мантии: Тр. ... Барсуков В.Л., Волков В.П. М.: Наука, 1989. 478 с. Ронов А. Б., Ярошевский А. А. Химическое строение земной коры // Геохимия. ...

Еще в разделе: (Показать все результаты (>28) - phys.web.ru/ )

ISSUE 1 RUSSIA U.S. BILATERAL ON CYBERSECURITY CRITICAL TERMINOLOGY FOUNDATIONS APRIL 2011 The Russia U.S. Bilateral on Cybersecurity ­ Critical Terminology Foundations Issue 1 The principle editors of this document are: Karl Frederick Rauscher, EastWest Institute and Valery Yaschenko, Information Security Institute of Moscow State University. ... INFORMATION AND CYBER .. ... Scientific Adviser to the Director of the Lomonosov Moscow State University Institute of Information Security Issues. ...

Еще в разделе: (Показать все результаты (>15) - iisi.msu.ru/ )

• http://www.iisi.msu.ru/UserFiles/File/bayern2009/global_dns.pdf
• http://www.iisi.msu.ru/UserFiles/File/bayern2014/Forum_1.pdf

системы автоматизации, автоматизированные системы , информационные системы , мобильные и встраиваемые системы , программное обеспечение, вычислительные системы , средства связи, базы данных, информационные технологии, технологии программирования, обработка изображения, параллельные вычисления, информационное моделирование , математическое моделирование , вычислительный эксперимент, информатика, методы вычислений, численный анализ, ...

Еще в разделе: (Показать все результаты (>3) - www.rcc.msu.ru/ )

Using Site testing data for Adaptive Optics simulations Kislovodsk, October 2010 1Glen Herriot, 1David Andersen, 1Jean-Pierre VИran, 2Brent Ellerbroek, 2Luc Gilles, 2Lianqi Wang 1National Research Council Canada ­ Herzberg Institute of Astrophysics 2TMT Project Office, Pasadena TMT.AOS.PRE.10.074.REL01 1 Outline TMT / NFIRAOS Site Testing Parameters and their value for Adaptive Optics Simulations ... TMT.AOS.PRE.10.074.REL01 9 What is the interest of Adaptive Optics in r 0 Seeing ? ...

Еще в разделе: (Показать все результаты (>19) - site2010.sai.msu.ru/ )

• General information

... A member of the Russian Academy ofsciences, a great physicochemist,and a world-renowned Professor Boris Vladimirovich Derjaguin died on May scientist, he laid the foundation of the modern science of colloids and surfaces. ... B. V. Derjaguin became known world-wide in scientific circles for his work on the stability of colloids and thin films of liquids which is now known as the DLVO theory, after the initials of its authors: Derjaguin, Landau, Verwey, and Overbeek. ...

Еще в разделе: (Показать все результаты (>46) - nanofluidics.phys.msu.ru/ )

• Laboratory of Micro- and Nanofluidics
• Olga I. Vinogradova

... Only by numerical simulation. ... moment T (K) Dipole moment (D) Experiment Other example: Diffusion constant 200 250 298 350 400 2.40 2.37 2.48 2.59 2.80 2.25 The Distribution functions: radial distribution function 1 g (r) = N t =1 j i N TS N pair ( r - rij ) The Distribution functions: radial distribution function CC def 2 Work mode ­ computer related 1) · Perform simulation , create trajectory file · Calculate properties timestep by timestep 2) · Perform ...

Еще в разделе: (Показать все результаты (>21) - www.elch.chem.msu.ru/ )

• Department of Electrochemistry

... hall in front of room 01, MSU, Main Building . ... room 01, MSU, Main Building . ... Silvia Chelala (Empire State College, State University of New York, Old Westbury, New York, USA) Designing and Teaching Introductory Spanish as a Foreign Language at a Distance . ... FFL, recreation hall, 3rd floor . ... FFL, room 519 . ... FFL, room 501 . ... FFL, . room 107-108 . ... Internet-Supported Teaching . ... FFL, room 106 . ... FFL, room 416 . ... FFL, room 420 . ... FFL, room 210 . ...

Еще в разделе: (Показать все результаты (>15) - anazarenko.ffl.msu.ru/ )

• Факультет иностранных языков МГУ им.М.В.Ломоносова

The Database of Close Binary Systems . ... Team . ... This web-based interactive database is being developed and maintained by a team at the Sternberg Astronomical Institute of the Moscow State University . The project is an on-line extension of our catalogue on "Highly Evolved Close Binary Stars" (volumes I, II) published by Gordon and Breach in 1996. As of September 2009, the database (both the software and the content) is in its development/testing phase. ...

Еще в разделе: (Показать все результаты (>3) - dionis.sai.msu.ru/ )

... The linguistic aspects of the model and the properties of the semantic dictionary ensuring the content analysis with compression of the text structure are considered. Our dictionary resources serve an instru- ment for building a multilevel textual semantic structure. ... Reason (A,B), where SemF(A) = SIT or a whole semantic formula; the same for SemF(B). ... Sem(SIT)R . ... Semantic Resources for Textual Content Compression // Fourth International Conference on Meaning-Text Theory (MTT'09). ...

Еще в разделе: (Показать все результаты (>4) - leontyeva.srcc.msu.ru/ )

• Lexical Resources for Personal Data Recognition in Texts

Научная Библиотека . Отдел Обслуживания Физического Факультета МГУ . Издательство Taylor & Francis . Журналы ACM (Association for Computing Mashinery) NEW . Журналы AMS (Американского математического общества) NEW . ... Журналы Sage (Material Science, Health Science) . ... Журналы издательства World Scientific . ... Журнал Science издательства American Association for the Advancement of Science (AAAS) . ... Научная Библиотека Физического факультета МГУ имени М. В. Ломоносова . ...

Еще в разделе: (Показать все результаты (>10) - wwwlib.phys.msu.ru/ )

• Библиотека физичеcкого факультета МГУ - Электронные ресурсы

Experimentation and Personality , 1 Explicating the Black Box through Experimentation : Studies of Individual Differences and Cognitive Processes Howard Lavine Department of Political Science, SUNY ­ Stony Brook Stony Brook, NY 11794-4392 Howard.Lavine@sunysb.edu Corresponding Author Milton Lodge Department of Political Science, SUNY ­ Stony Brook Stony Brook, NY 11794-4392 Milton.Lodge@sunysb.edu James Polichak School of Law, University of Michigan ... The Authoritarian Personality. ...

Еще в разделе: (Показать все результаты (>21) - suny.msu.ru/ )

• Центр по делам России и США :: Публикации

... The notion of convergence to zero in a vector space allows one to define convergence to any p oint by using a translation. ... The notion of a converging sequence can b e introduced without any top ology, by the definition of all sequences converging to some p oint. ... 1, then the sequence n xn converges to zero. ... In the case of the Euclidean top ology, where for at least one comp onent the inequality ci > 1/4 holds, the set J (f ) coincides with the whole space and hence the Julia set is empty....

Еще в разделе: (Показать все результаты (>39) - shamolin2.imec.msu.ru/ )

... О факультете . ... Master In Ecology . Master In Nanobiotechnology . ... Nanobiotechnology and Biophysics? is intended for prospective highly qualified professionals with in-depth knowledge in of modern biophysics, molecular biology and nanobiotechnology. ... The program is focused at problems of modern nanobiotechnology, biophysics and proteomics, and hence it consists of the two parts: lectures/seminars and laboratory work. ... Lectures / Practical . ... Биологический факультет МГУ . ...

Еще в разделе: (Показать все результаты (>5) - www.bio.msu.ru/ )