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/ )

... High Brightness RTM . ... Fig.1a: 70-MeV pulsed race-track microtron . Many applications require compact, inexpensive and efficient source of electron beam in energy range 10-100 MeV. ... Beam is focused by accelerating structure, which acts as RF quadrupole singlet, quadrupole triplets (12) installed at the even orbits return path and by electromagnet quadrupole singlet (9) installed at common axis. ... Fig.1b: 70-MeV RTM Schematic . ... Energy gain: 4.8 MeV / orbit . Orbits: 14 . ...

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

... Nonlinear fiber optics . ... Fiber lasers . ... Laser Physics Letters 11 , 125801 (2014). ... K., Alfimov M.V., Zheltikov A.M. "Dispersion and nonlinearity nanomanagement of highly nonlinear photonic-crystal fibers for the spectral transformation of Cr:forsterite laser pulses" Laser Physics Letters, v. 3(6), p. 301-305 (2006). ... Konorov S.O., Fedotov A.B., Melnikov L.A., Shcherbakov A.V., Zheltikov A.M. "Large-core-area hollow photonic-crystal fibers" Laser Physics Letters, v.1, p.548-550 (2004). ...

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

• History
• Main information
• Attosecond optics

... My field of specialization is Stability Theory, Nonlinear Dynamics, Asymptotic Methods, Mechanics of Solids, System Identification, Optimal Control, Economic Growth. ... A.O. Belyakov and A.P. Seyranian (2012). ... A.O. Belyakov and A.P. Seyranian, . ... A.P. Seyranian and A.O. Belyakov, Swing dynamics. ... A.O. Belyakov, A.P. Seyranian, and A. Luongo, Regular and chaotic dynamics of the swing. 6th EUROMECH Nonlinear Dynamics Conference (ENOC 2008) , Saint Petersburg, Russia, June, 30 - July, 4 2008...

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

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

348. Астротоп 100 России

349. http://pont2008.cs.msu.ru/files/en/abstracts/KolesovMishchenkoRozov.pdf

350. "ABOUT RUSSIAN" - news about Russian language and Russia

351. http://www.parallel.ru/sites/default/files/ftp/cluster/intel-8.0/for_ug1.pdf

352. Библиотека физичеcкого факультета МГУ - Добро пожаловать

353. Регистрация пользователя