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

... Методы выделения сигнала из шума при детектировании оптического излучения фотодиодом. ... По мере сужения полосы пропускания такого фильтра [pic] даже при постоянном времени измерения соотношение сигнал/шум будет расти обратно пропорционально [pic] за счет уменьшения мощности тех шумов, которые могут проникнуть на выход системы. ... Отметим, что основной вклад в шумы системы вносит фотодиод и первый каскад усилителя сигналов фотоприемника. ... Измерение отношения сигнал/шум в режиме стробирования. ...

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

... The experimental data obtained using Cherenkov light of EAS reflected from the snow surface of the Big Alma-Ata Lake (Kazakhstan) are presented. ... The balloon-borne measurements in the energy range 10 15 -10 20 eV are planned. ... SPHERE detector array was elaborated for balloon-borne experiment [3-5]. ... SPHERE detector was situated on the 160 m high mountain ledge nearby the B.Alma-Ata lake (2500 m above sea level) to detect Cherenkov light reflected from the snow surface of the lake. ...

424. Сведения о системе