... Доказанный актор (proven actor) - одно из возможных состояний актора - актор , доказательство которого завершилось успехом на одной из фаз F исполнения процесса G и в данный момент не отменено . ... Доказательство актора - 1. (proving of actor) исполнение (первое или повторное ) акторного вызова предиката ; 2. (proof of actor) результаты успешного исполнения актора (в том числе, возможно, точки выбора и значения переменных ), включая результаты доказательства вложенных по отношению к нему акторов . ...

... Новости ? ... Библиотека ? Форум ? ... Основы ? ... Colonization Основы астрономии Солнечная система . ... Уран - седьмая от Солнца и третья по величине диаметра планета Солнечной системы. ... Поэтому полярные области Урана получают большее количество энергии от Солнца, чем экваториальные области. ... У Урана 15 известных и имеющих названия лун и 5 недавно обнаруженных, еще не получивших наименования; таким образом, у Урана самое большое количество спутников из всех планет Солнечной системы. ...

... В 1963 году в КрАО начались наблюдения малых планет. ... Проведены наблюдения 60 комет, для которых определено 1200 положений. Открыто две новые короткопериодические кометы: комета Смирновой-Черных в 1975г и комета Черных в 1977г. Из общего числа открытых новых малых планет более 1000 получили постоянные номера (на 6 сентября 1998г). Н.С. Черных - руководитель программы . ... Klet . ... Catalina Sky Survey (703). ... MPC - Minor Planet Center . MPEC - Minor Planet Electronic Circulars . ...

... Многоразовый корабль с вертикальной посадкой. ... Между тем идея тяжелого пилотируемого корабля вертикального взлета и горизонтальной посадки не нова и предлагалась тридцать лет назад специалистами организации, которая ныне носит название РКК "Энергия" им. С.П.Королева. ... Наиболее важным отличием такой схемы многоразового транспортного корабля вертикальной посадки (МТК ВП) от крылатого ОК типа Space Shuttle явилась возможность крепления аппарата не сбоку РН, а сверху, по ее оси. ...

... ESO - Европейская Южная Обсерватория . ... Поездки и контакты . Поездка в штаб-квартиру ESO . ... Поездка на Ла Силья . ... Поездка на E-ELT Армазонес . ... Поездки на Ла Силья на уикэнд . ... Обзорные телескопы . ... 2009 . ... Stars@ESO . ... Субмиллиметровый телескоп ESO-Швеции . ... 3.6-м телескоп ESO . ... 2.2-м телескоп MPG/ESO . ... Catch a Star 2013 . ... Ла Силья стала базой ESO в 1960-х. Здесь ESO располагает двумя телескопами четырехметрового класса, одними из самых продуктивных в мире. ...

Когда в ядре звезды выгорает весь гелий (точка 14 графиков 1 и 2 ), звезда переходит на асимптотическую ветвь гигантов и становится красным или желтым сверхгигантом (или AGB звездой от английского asymptotic giant branch star, такое название было дано из-за поведения ее эволюционного трека на диаграмме Г-Р, на графиках это точки 14-15 ). ... Времена выгорания все более тяжелых элементов все убыстряются, и время горения кремния составляет всего несколько дней. ... Горение гелия 1 млн. лет . ...

. Радиант метеорного потока Леониды (точка на небе, из которой метеоры выходят, т.е. в которой пересекаются их продолженные назад траектории) находится в Серпе созвездия Льва (Leonides = Львята). Пролетающие метеоры можно наблюдать не только в районе радианта, но и в любом другом участке неба.

Astro Top -100 of Russia: . народный рейтинг . ... О проектах AstroTop of Russia и AstroTop-100 of Russia. ... О проекте AstroTop of Russia. ... Последняя редакция текста раздела проводилась 29 ноября 1999 г. История проекта AstroTop of Russia. ... Если AstroTop-100 of Russia занят сбором оценок пользователей страгниц, то зарегистрировавшись в Top 100 Astro , авторы страниц получат не только счетчик, но и смогут составить описание своей страницы, узнают место страницы в рейтинге посещений. ...

.