К МКС стартовал грузовик "Прогресс-М63"

В 16:03 по московскому времени с космодрома Байконур к Международной космической станции стартовал грузовой транспортный корабль "Прогресс-М63". Для запуска использовалась ракета-носитель "Союз-У", сообщает "Интерфакс".

На 529-й секунде "Прогресс" отделился от ракеты-носителя и начал двухдневный автономный полет.

Старт "Прогресса" изначально планировался на 7 февраля, однако был перенесен по просьбе NASA, так как на 7 февраля назначен многократно отменявшийся старт шаттла "Атлантис", а одновременная стыковка двух кораблей с МКС затруднительна. В итоге "Прогресс" должен пристыковаться к станции 7 февраля (в 17:34 МСК), в день старта "Атлантиса".

"Прогресс" доставит на МКС грузы первой необходимости: 420 килограмм воды, средства обеспечения газового состава, водобеспечения, средства санитарно-гигиенического обеспечения, пищу, белье для экипажа, средства профилактики неблагоприятного воздействия невесомости и оказания медицинской помощи, оборудование медицинского контроля и обследования, светильники, систему управления и навигации, систему электропитания, систему технического обслуживания и ремонта, комплекс средств поддержки экипажа, а также комплекс целевых нагрузок для проведения научных экспериментов.

Предыдущий грузовик, "Прогресс-М62", был отстыкован от МКС 4 февраля. Две недели корабль будет находиться в автономном полете, за это время будет проведена серия экспериментов по определению свойств плазменного окружения корабля, возникающее при работе его двигателей.

Таким образом, на орбите впервые будут находиться три корабля: два "Прогресса" и "Атлантис". Это усложняет задачу стыковки и управления, но специалисты надеются, что никаких проблем не возникнет. Российский и американский корабли пристыкуются каждый к своему сегменту, а управление российскими кораблями ведется хотя и с одних и тех же пунктов, но на разных частотах.

Объявлены лауреаты самой престижной компьютерной премии

Ассоциация вычислительной техники (Association for Computing Machinery, ACM) объявила лауреатов премии Тьюринга (самой престижной премии в области компьютерных наук) за 2007 год. Ими стали Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Иосиф Сифакис (Joseph Siphakis), создатели метода верификации моделей программ (Model checking).

Премия названа в честь Алана Тьюринга - британского математика и криптографа. Она присуждается ежегодно с 1966 года за теоретические и практические достижения в информационных технологиях и считается самой престижной премией в этой области. Сейчас размер премии составляет 250 тысяч долларов, спонсорами являются компании Intel и Google.

Лауреаты награждены за разработку метода проверки качества, известного под названием Model checking, верификация моделей (программ). Верификация модели - это проверка, является ли данная логическая структура моделью данной формулы (как правило, формулы временной логики). Сейчас этот метод широко используется для проверки сложных объектов - как программного обеспечения, так и "железа". Он позволяет разрабатывать сложные интегральные схемы, коммуникационные протоколы, драйвера устройств, цифровые контроллеры для автомобилей, самолетов, промышленных предприятий. По словам президента ACM, метод верификации моделей - яркий пример важнейшей прикладной технологии, развившейся из сугубо теоретического исследования.

Пионерские работы по методу верификации моделей появились в 1981 (Кларк и Эмерсон) и 1982 (Сифакис и Кей) годах. Кларк работает в университете Карнеги-Меллон, Эмерсон - в Техасском университете в Остине, Сифакис - во французском Национальном центре научных исследований и университете Гренобля.