... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ґ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } ??, ?bbb? -- , : Ї ґ , , Ї ґ , , Ї ґ , Ї ґ . ... 1977 ґ LTL, Ї , 1981 ґ (CTL), Ї , , 1981 , , 1982 ґ model checking ( ), Ї , 1986 ґ model checking ( ), Ї , 1989 ґ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

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

... 2011 ґ 2012 . ... Trends", (European Univer sity Association, EUA) 2003, 2005, 2007 2010 . ... 2 009/10 2010 /20 11 . ... KOTLOBOVSKY I., KARAVAEVA E., ZYRYANOV V., KOVTUN E., SINYAKOV A., T LESHOVA I., KORSHUNOV S., SAZONOV B. MONITORING THE F GOS IM E PLEMENTING EFFECTIVENESS: OBJECTIVES AND CRITERIA The present article opens a series of publications presenting the results of monitoring the effectiveness of implementing of the federal state educational standards of higher education institutions. ...

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

• http://www.umo.msu.ru/docs/projects/monitoring/razv_akadem_mob_12_12.pdf

... Учебный план специальности "биофизика" . ... Дается анализ современных направлений нанобиотехнологии: биомедицинская диагностика; средства доставки лекарств; генотерапия; контроль состояния и жизнеобеспечения; нанокомпозитные материалы, а также методов микроскопии в исследовании клеток. ... Особое внимание уделялось методам атомно-силовой микроскопии, лазерной интерференционной микроскопии, конфокальной лазерной сканирующей флуоресцентной микроскопии и спектроскопии комбинационного рассеяния. ...

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

• Как отмечалось выше, обилие (по Fo) и фотосинтетическая активность
• Сектор информатики и биофизики сложных систем
• MEASURING THE PHYTOPLANKTON PHOTOSYNTHESIS RATE USING A PUMP-AND-PROBE

... The laser system in which an optoelectronic negative feedback is realized by means of a signal reflected from an intracavity Pockels cell polarizer is proposed and tested. The design provides flexible control over pulse train time structure. ... Stable self -mode-locking occurs due to time delay in feedback control system corresponding to light pulse passage through the Pockels cell at the moment of low intracavity losses. ... The scheme of discontinuous control in the laser is shown in Fig. ...

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

• http://miles.sinp.msu.ru/files/Berlin06_Source.pdf

... For full UV energy Euv (erg) radiated in TLE the corresponding number of photons of wavelength =300-400 nm (with average energy 3.5 eV) is: Nph=Euv/3.5в1.6 10-12 (1) We considered 2 options of the pinhole camera focal distance: 1. focal distance is short so that the circle of diameter 40 km is observed by one pixel and 2. focal distance is long so that the 40 km circle is observed in many camera pixels. ... Full energy released in UV in the atmosphere is determined by the pixel signal. ...

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

• http://cosrad.sinp.msu.ru/experiments/tus/doc/HO2COSPAR2006.pdf

... Keywords: boundary-layer depth, stable stratification, Ekman layer. ... Experimental data (23) Data sets used in this paper for empirical validation of the proposed SBL depth formulation are taken from three measurement sites ( Figure 1), namely, (i) Cabauw measurement station (Nieuwstadt, 1984; Van Ulden and Wieringa, 1996), (ii) BASIS (Baltic Air-Sea-Ice Study) field experiment (Launiainen, 1999), and (iii) ETH-Greenland expedition in summer 1991 (Ohmura et al., 1992). (i) Cabauw ...

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

• http://geophys.srcc.msu.ru/library/stepanenko.pdf
• http://geophys.srcc.msu.ru/library/wind_stress.pdf
• Лаборатория суперкомпьютерного моделирования природно-климатических процессов

Another mechanical model of parametrically excited pendulum and stabilization of its inverted equilibrium position Anton O. Belyakov 1 Lomonosov Moscow State University 2 Vienna University of Technology 8th European Nonlinear Dynamics Conference (ENOC 2014) Vienna, July 7, 2014 Scheme of a parametric pendulum y O l (t ) - g m 2 r1 + m 2 Equations of motion mr 2 1 d d2 + c1 + m g l (t ) sin () = 0 dt 2 dt (1) Dimensionless equation Three dimensionless parameters and ...

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

• http://belyakov.imec.msu.ru/papers/0910.3802.pdf
• http://belyakov.imec.msu.ru/papers/ENOC2008.pdf
• http://belyakov.imec.msu.ru/papers/HulaHoopSlides2011.pdf

... Первыми классическими экспериментами по моделированию симметричных и асимметричных грабенов в результате сосредоточенного в узкой зоне растяжения являлись опыты Э. Клооса [1, 2]. ... Растяжение со сдвигом, сосредоточенным в узкой зоне (?косой рифтинг?), описаны в работе [7]. ... Так, в моделях [4] растяжение предшествовало последующему, распределенному по всей ширине модели сдвигу; а в экспериментах [5] ортогональное растяжение в узкой зоне сменялось косым растяжением, либо наоборот. ... Vol. ...

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

• Lomonosov 2016 / МГУ имени М.В.Ломоносова

... The main interest of researchers was focused on TiO2:Co and TiO2:V thin films, that reveal an essential difference in their behavior: TiO2:Co films demonstrate either strong magnetization, MO response or AHE independently on presence or absence of magnetic Co clusters inside the films. ... It has been found that: thin films TiO2:Co(0.5%, 1.3% and 5%) have either magnetization or MO signal of Transversal Kerr effect with the absence of magnetic clusters. ...

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

• http://magn115.phys.msu.ru/scprogr/lecture10.pdf
• http://magn115.phys.msu.ru/Rus/DETI2/smekhova.html
• Information about education on magnetism division

Alexandra A. Zobova . NAME: Alexandra A. Zobova . ... AFFILIATION: Associate Position, Department of Theoretical Mechanics and Mechatronics, . Faculty of Mechanics and Mathematics, . Lomonosov Moscow State University . ADDRESS: Alexandra A. Zobova , . ... Moscow State University, 2008 . ... Laboratory Training for the students of the Theoretical Mechanics and Applied Mechanics and Control Departments . Lecture Course on 'Dynamics of the Systems of Solid Bodies with Friction' . ...

273. Графика - Анатолий Тимофеевич Фоменко