... 4 1.1 Основные одночастичной механики положения квантовой Главный постулат квантовой механики состоит в том, что вся динамика любой системы определяется ее волновой функцией, которая является комплексной функцией от координат все частиц, составляющих эту систему: (t, r1 , r2 , . ... Эта волновая функция должна рассматриваться как вектор в гильбертовом пространстве состояний функции n частичной системы. ... j =1 32 Запутанные состояния играют центральную роль в квантовой теории многих частиц. ...

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

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

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

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

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

426. http://expertise.msu.ru/sites/default/files/2012_deripaska_results.doc