LINUX.ORG.RU

Космический спутник LightSail на солнечном парусе завис из-за программной ошибки

 , , , ,


0

3

Спутник был успешно запущен неделю назад. Операционная система на спутнике - Linux. Телеметрия успешно принималась два дня, все системы работали нормально, раскрытие паруса планировалось в июне, после 28 дней полета, но затем в пятницу спутник «пропал». Инженеры провели отличные выходные, пытаясь разобраться с причинами произошедшего.

Телеметрия передается на частоте 437.435 MHz, Planetary Society призывало радиолюбителей помочь им принимать телеметрию спутника. Первым радиолюбителем, принявший полный пакет телеметрии, стал Ken Swaggart (W7KKE) из Lincoln City, штат Орегон, событие произошло через пять часов после запуска. За два дня было получено 140 пакетов данных — состояние спутника было хорошее, питание и температура в норме.

Но ошибка была в программном обеспечении спутника. Каждые 15 секунд спутник отправлял сигнал радиомаяка. Одновременно данные дописывались в файл beacon.csv. Неумолимо приближался момент, когда файл занял всё доступное пространство памяти в 32 мегабайта и полетное ПО упало. Оказывается, производитель платы управления уже имел версию ПО с исправленной ошибкой, но спутник не был обновлен до актуальной версии. В пятницу команда управления получила уведомление о ошибке в ПО и готовилась к дистанционному обновлению ПО спутника при следующем прохождении его в зоне видимости станции, но спутник завис раньше. Последняя телеметрия была получена 22 мая в 21:31 по UTC.

На данный момент команда пытается перезагрузить спутник, вследствие чего будет стерт файл beacon.csv и будет возможно в нормальном режиме обновить или исправить ПО. Спутник не имеет Watchdog, и перезагрузка осуществляется по команде с Земли. В прошедший вторник команда управления при пролете спутника в зоне видимости станций пыталась перезагрузить спутник. Более 18 раз посылалась команда перезагрузки, но ничего не произошло. Команда надеется на то, что спутник перезагрузится самостоятельно — космические частицы часто вызывают перезагрузку систем спутников типа Cubesat. По мнению специалистов, перезагрузка спутника может произойти в течение 3-6 недель. Команда Planetary Society просит радиолюбителей слушать частоту Lightsail и прислать им сообщение на lightsail@planetary.org, если сигнал будет обнаружен. Свежие TLE спутника публикуются здесь: http://sail.planetary.org/tles/live.txt

>>> Обсуждение спутника Lightsail

Ответ на: комментарий от dexpl

Как же тебе удалось его размонтировать-то?

Насколько я помню, там в гуях ext2fsd есть кнопка „Unmount” или „Remove” для удаления точки монтирования и по умолчанию выбран первый-попавшийся раздел из списка. Размонтировало, да.

h578b1bde ★☆ ()
Ответ на: комментарий от h578b1bde

Но там условия действительно аналогичные. Смысл в том, что после того, как произошло первое событие, распределение вероятностей никак не поменялась, просто мы избавились от одного сундука, но т.к. вероятность того, что мы выбрали сундук с двумя золотыми на первом шаге равна 1/3, а вероятность того, что мы выбрали сундук с разными монетами - 1/6, в новых условиях вероятности получаются 2/3 и 1/3.

winlook38 ★★ ()
Ответ на: комментарий от anonymous

Как нет возможности пересмотреть распределение вероятностей.

winlook38 ★★ ()
Ответ на: комментарий от KotBegemot

Ну если теоретическим выкладкам не веришь и не способен переварить, что в данном случае вероятность будет 2/3 - может хоть практическую симуляцию посмотришь и начнёшь наконец осознавать что происходит?

У нас 2 возможных сундука: с золотом и с золотом и серебром. При этом сундук в котором 2 золотых монеты будет попадаться в 2 раза чаще потому что в его случае мы можем вытащить как монету А, так и монету Б и оба раза нас устроят и они засчитаются, а сундук где одна монета серебрянная - будет отбрасываться в тех случаях когда первой мы вытащим серебрянную монету.

zink ★★ ()
Ответ на: комментарий от ranka-lee

Ну что за чушь. Вы думаете что в серьезных компаниях использующих в своих решениях линукс код «for fun» пишется? Да вы охренеете от количества тестов которые на любой чих в конторах типа Lantiq пишутся, например.

A-234 ★★★★★ ()
Последнее исправление: A-234 (всего исправлений: 1)
Ответ на: комментарий от h578b1bde

„Аналогичность условия” этой задачи не доказывает правильность или ошибочность выбранного варианта в совершенно другой задаче.

Не доказывает, для этого есть доказательство (извините за тавтологию) теоретические выкладки тут уже разжевали, я даже сниппет кинул для тех, кому надо прямо своими глазами увидеть как так получается.

На аналогичную задачу я указал из-за сходства и похожего принципа «подлавливания», когда кажущийся очевидным ответ оказывается неправильным. Ну и из-за похожего принципа подсчёта вероятностей.

zink ★★ ()
Ответ на: комментарий от h578b1bde

А вдруг они на самом деле

Какие жалкие потуги оправдать криворуких дятлов из сшашки. Как же, не могут же они, мит, беркли, кококо. Зато рашку поливает без устали, ладу даже приплел за каким то хером. Тьфу, либеральная гнусь.

anonymous ()
Ответ на: комментарий от zink

На аналогичную задачу я указал из-за сходства и похожего принципа «подлавливания», когда кажущийся очевидным ответ оказывается неправильным.

Да проще сразу давать ссылку на парадокс Монти Холла, благо, разобрано многократно :) Хотя, впрочем, даже в его случае находятся те, кто упёрто говорит про вероятность 1/3 не считаясь ни с какими доказательствами :)

KRoN73 ★★★★★ ()
Ответ на: комментарий от zink

Хорошо, перефразирую. Ты выбираешь не 1 из 3-х оставшихся монет, а уже выбрал 1 из 2-х сундуков, так что по сути все сводится к вероятности выбрать из 2-х сундуков тот, что с двумя золотыми :) А вот предположение, что из 2-х сундуков один будет «попадаться» чаще ... Ну не будем мы первой вытаскивать серебряную монету, мы уже вытащили золотую :)

KotBegemot ()
Ответ на: комментарий от zink

Выкладки распределения верные, ктож спорит. Но с трактовкой условия у тебя беда, чини, тогда может увидишь под другим углом

anonymous ()

KRoN73, я так понял, ты на это дело донатил? наверно, лучше купить 9-долларовый компьютер чип:)

oblepiha_pie ()
Ответ на: комментарий от anonymous

Какие жалкие потуги оправдать криворуких дятлов из сшашки

Почему из «сшашки», когда The Planetary Society состоит из участников около 100 стран мира? :)

Основной состав, правда, американский, но пока неизвестно, кто конкретно разрабатывал программную платформу :)

KRoN73 ★★★★★ ()
Ответ на: комментарий от KotBegemot

Когда ты вытащил золотую монету, то с вероятностью 2/3 ты попал в сундук с двумя золотыми и эта вероятность никуда не исчезла.

winlook38 ★★ ()
Ответ на: комментарий от oblepiha_pie

KRoN73, я так понял, ты на это дело донатил?

Не-а. Я, вообще, донаты редко даю :) А про этот проект вообще узнал только когда они к запуску готовились.

наверно, лучше купить 9-долларовый компьютер чип:)

Я железо+софт такого уровня лет 20 уже не разрабатывал, так что на уровне левака не рискнул бы взяться. Это надо окунаться с головой, тренироваться на кошках... :)

Да ещё идеологическая драка была бы. Я б под такие скудные ресурсы и узкую задачу не Linux бы брал, а снова Форт начал бы пропихивать :)

KRoN73 ★★★★★ ()
Ответ на: комментарий от KotBegemot

Ну не будем мы первой вытаскивать серебряную монету, мы уже вытащили золотую :)

Вероятность никуда не делась. То что мы вытащили золотую монету просто значит что мы в одной из 3 вероятных ситуаций. Из которых 2 - те, в которых перед нами в сундуке осталась золотая монета.

zink ★★ ()
Ответ на: комментарий от KRoN73

как говорит мой коллега, раньше готовивший военные самолеты к старту: " операционные системы? я вас умоляю! здесь нужна железная логика!":)

oblepiha_pie ()
Ответ на: комментарий от anonymous

Выкладки распределения верные, ктож спорит. Но с трактовкой условия у тебя беда, чини, тогда может увидишь под другим углом

Трактовка условия как раз абсолютно верная. Можно смотреть под другим углом, но это будет игнорирование условий задачи и передёргивание. Так можно вообще уплыть в далёкие дали: «а что если золотая монета на самом деле была украдена и её подменили на медную?».

Условия задачи очень чёткие. То, что мы вытащили первой монетой золотую означает что мы или вытащили монету 1 из сундука с двумя золотыми или монету 2 из сундука с двумя золотыми монетами или единственную золотую монету из сундука с золотой и серебрянной монетой. В 2ух из 3ёх случаев в сундуке ещё одна золотая монета.

zink ★★ ()
Ответ на: комментарий от anonymous

Какие жалкие потуги оправдать криворуких дятлов из сшашки. Как же, не могут же они, мит, беркли, кококо. Зато рашку поливает без устали, ладу даже приплел за каким то хером. Тьфу, либеральная гнусь.

У тебя баттхёрт, анон. Штука в том что я никого не пытаюсь оправдать, т.к. баги и косяки есть везде, я даже стебусь над этой ситуацией в процитированном тобой комменте. А вот комплексы ура-патриотов с горящей шапкой, всюду лепящие своё падающее барахло доставляют. Лада здесь лишь как пример упомянутого выше „русского авось” на всем известном промышленно-бытовом уровне.

h578b1bde ★☆ ()
Ответ на: комментарий от oblepiha_pie

" операционные системы? я вас умоляю! здесь нужна железная логика!":)

Ну, формально от сложности задачи зависит :) До какого-то уровня проще и надёжнее лепить проблемно-ориентированную ОС (и тут Форт, который сам себе мета-ОС рулит, почему я с него и фанател), а с какого-то уровня сложности задачи проще уже готовое решение взять и его адаптировать. Будет менее эффективно и более громоздко, но задачу можно будет решить в разумные сроки :)

Потом будет как: Unixtime. 8000 лет спустя.

KRoN73 ★★★★★ ()
Ответ на: комментарий от KRoN73

SpaceX свои ракеты делает на linux и код пишут на C++. и ничего, летают, с мкс стыкуются. не важно какой язык, главное чтобы специалисты хорошие были, и контроль качества на всех этапах разработки.

pftBest ★★★★ ()
Ответ на: комментарий от anonymous

Когда вытащили золотую, мы с вероятностью 2/3 оказались в сундуке с двумя золотыми монетами и с вероятность 1/3 - в сундуке с разными монетами. Под этим углом какова вероятность того, что мы вытащим следующей золотую монету?

winlook38 ★★ ()
Ответ на: комментарий от anonymous

слишком много золотых, чини

А, ну если для твоего ответа надо слегка подправить условие задачи, то это всё меняет, сейчас всё сделаем, вкинем ещё один сундук с одной серебрянной и одной золотой и всё устаканится. Вот только это будет другая задача.

zink ★★ ()
Ответ на: комментарий от imul

Лучше вот так

ну, что в лоб, что по лбу. Причём желательно этому анонимусу и некоторым регистрантам :)

Sahas ★★★★★ ()
Ответ на: комментарий от winlook38

Но там условия действительно аналогичные. Смысл в том, что после того, как произошло первое событие, распределение вероятностей никак не поменялась, просто мы избавились от одного сундука, но т.к. вероятность того, что мы выбрали сундук с двумя золотыми на первом шаге равна 1/3, а вероятность того, что мы выбрали сундук с разными монетами - 1/6, в новых условиях вероятности получаются 2/3 и 1/3.

Вероятности начинают отсчитываться после условия, а не во время него. „Первое событие” в твоей интерпретации (выбор сундука и вытягивание золотой монеты) является частью условия и не может существовать отдельно, потому что иначе задача вообще не имеет решения. Поэтому первым истинным событием (либо „вторым” в твоей интерпретации) является вытягивание следующей монеты из того же сундука, а она, согласно условию, в равной степени может быть либо золотой либо серебрянной. Поэтому вероятность составляет 1/2.

h578b1bde ★☆ ()
Ответ на: комментарий от h578b1bde

„Первое событие” в твоей интерпретации (выбор сундука и вытягивание золотой монеты) является частью условия

И фиксирует вероятность того, что мы в сундуке с двумя золотыми, равной 2/3.

Поэтому первым истинным событием (либо „вторым” в твоей интерпретации) является вытягивание следующей монеты из того же сундука

При этом вероятность того, что мы в сундуке в двумя золотыми никуда не делась.

а она, согласно условию, в равной степени может быть либо золотой либо серебрянной
равной

fail.

winlook38 ★★ ()
Ответ на: комментарий от KRoN73

Такая беда была на 95, 98se, Me и XP (первые её версии без с.п.), я диск C забивал и всё система не включалась.

svsd_val ()
Ответ на: комментарий от zink

То что мы вытащили первой золотую монету, означает, что мы вытащили ее из одного из двух сундуков, в которых была хотя бы одна золотая монета

KotBegemot ()
Ответ на: комментарий от h578b1bde

Вероятности начинают отсчитываться после условия, а не во время него.

Да я смотрю ты прямо упорный апологет школы статистики имени 50/50. Вероятность встретить динозавтра тоже начинает отсчитываться с момента выхода на улицу?

В парадоксе Монти Холла тоже все предварительные события не имеют значения и не влияют на вероятность получить козла? А при количестве дверей 1000 ? А при количестве дверей 100000? Где ведущий открывает N-2 дверей? Прочитайте разбор задачи, может в голове туман рассосётся.

zink ★★ ()
Ответ на: комментарий от pftBest

SpaceX свои ракеты делает на linux и код пишут на C++

Там задачи намного сложнее.

главное чтобы специалисты хорошие были

Ну так, в проект, в который вложено уже несколько миллиардов баксов и в которые планируется вложить ещё с десяток миллиардов имеет возможность выбирать специалистов :)

KRoN73 ★★★★★ ()
Ответ на: комментарий от KotBegemot

То что мы вытащили первой золотую монету, означает, что мы вытащили ее из одного из двух сундуков, в которых была хотя бы одна золотая монета

Молодец, мысль идёт по правильному направлению. Теперь подумай с какой вероятностью мы сунулись в сундук с одной монетой и с какой - в сундук с двумя монетами. Можешь эксперименты на практике провести, если ты рандом-генератору в компе не доверяешь.

zink ★★ ()
Ответ на: комментарий от h578b1bde

Мне как-то Windows XP программно уничтожила диск D: с моими данными, намертво зависнув во время записи на него. ЧСХ, ненужный C: остался цел. Так что не надо ля-ля про болезни линукса.

hobbit ★★★★★ ()
Ответ на: комментарий от KRoN73

Зачем он намордник нацепил если нос всё равно открыт?

anonymous ()
Ответ на: комментарий от hobbit

Мне как-то Windows XP программно уничтожила диск D: с моими данными, намертво зависнув во время записи на него.

А я как-то, пользуясь мобилреками под WinXP, забыл отмонтировать и поменял один винт на другой по-живому. Винты разного объёма и геометрии. Начал писать, через какое-то время ошибка записи. Понял, что наделал, чуть не офигел. Размонтировал, перемонтировал... На втором винте читаются каталоги от первого o_O Прогнал чекдиск, долго чинилось — восстановилось всё :)

И, наоборот, один раз на сервере с ext3 система ночью в моё отсутствие умерла полностью, так, что даже таблица разделов пропала. Я помучился денёк, да и переставил всё с нуля. Как раз тогда первый раз на живом сервере RH (7.3, кажется) сменил на Gentoo :)

KRoN73 ★★★★★ ()
Ответ на: комментарий от anonymous

Зачем он намордник нацепил если нос всё равно открыт?

Чтобы не плеваться, когда говорит. От выдоха гораздо меньше всякой дряни летит, чем от речи.

...

А так — народ уже прикалывается с ассоциациями:
http://www.balancer.ru/sites/ru/1s/1september/festival/slave/b/articles/59092...

:)

KRoN73 ★★★★★ ()
Ответ на: комментарий от hobbit

Мне как-то Windows XP программно уничтожила диск D: с моими данными, намертво зависнув во время записи на него

Вангую полуживой винт, на который всё ещё что-то пытались писать, итог предсказуемый.

h578b1bde ★☆ ()
Ответ на: Ответом на задачу от x86_64

h578b1bde

#!/usr/bin/python

from random import randint


print "Chests: 1 - gold and gold; 2 - gold and silver, 3 - silver and silver"
print "1) choose the chest from one of three"
print "2) get coin from chosen chest"
print "3) if coin is not gold - drop the test"
print "4) get second coin, calculate statisctics"


stat_gold=0
stat_silv=0
N=100000
Ngood=0

for i in range(N):
    num = randint(1,3)
    if num == 1:
        stat_gold+=1
        Ngood+=1
    elif num == 2:
        num2 = randint(1,2)
        if num2 == 1:
            Ngood+=1
            stat_silv+=1

print "Probability: gold - %g, silver - %g"%(float(stat_gold)/float(Ngood), float(stat_silv)/float(Ngood))
print "Number of good tests is %d of total %d"%(Ngood, N)
~/tmp$ python test.py 
Chests: 1 - gold and gold; 2 - gold and silver, 3 - silver and silver
1) choose the chest from one of three
2) get coin from chosen chest
3) if coin is not gold - drop the test
4) get second coin, calculate statisctics
Probability: gold - 0.665401, silver - 0.334599
Number of good tests is 49767 of total 100000
Sahas ★★★★★ ()
Ответ на: комментарий от anonymous

какова родина таких рукожопых строителей спутников

так на западе только русские инжинеры работают жи. ты не знал што ли? вся экономика омерики на русских инжинерах! кирдых вашей омерике без русских инжинеров! уёбок ватный блять.

anonymous ()
Ответ на: комментарий от Sahas

Тут не сколько Linux виноват, сколько бездарное отношение к нему. Сложно было демон какой нибудь навоять по внутренней диагностики и мониторинку железа системы, а так же и самостоятельные какие то действия по примере ребута и апдайта и скидывания дебага и логов на землю, соответственно и контроль за местом тоже предусмотреть и ни кто не отменял несколько точек монтирования особенно для темпов и рунов. Немного фантазии и усердия и железка бы сейчас сама там выполняла нужные действия, хотя даже на скриптах это все можно было реализовать и довольно не плохо, хотя демон было бы намного лучше.

Vint_243 ()
Ответ на: комментарий от Napilnik

без перезагрузки удалить этот файл и освободить место, нельзя

Я очень надеюсь, что Вы работаете системным администратором. Это значит, что я смогу подзаработать там, где Вы накосячите с подобными знаниями.

P.S. Ощущаю себя носителем тайного знания. И никому не скажу! Иначе, какое же оно тайное?…

P.P.S. И удалить можно, правда место при этом не освободится, и место освободить можно, правда в этом случае файл лучше не удалять.

P.P.P.S. Прямо тред-детектор. Особенно доставляет аноним с монетами, вероятностью 2/3 и программой расчёта вероятностей! Вспоминается старая история про 2+2*2 на калькуляторе.

MumiyTroll ★★ ()
Последнее исправление: MumiyTroll (всего исправлений: 3)
Ответ на: комментарий от oblepiha_pie

Вы считаете что проблема в ОС? Может вы еще думаете что проблема в программистах? Ставь туда хоть QNX лицензионный хоть интерпретатор форта результат останется прежним.

A-234 ★★★★★ ()
Ответ на: комментарий от MumiyTroll

без перезагрузки удалить этот файл и освободить место, нельзя

P.P.S. И удалить можно, правда место при этом не освободится

Русская языка не родная? Верхняя цитата включает в себя и этот смысл тоже.

и место освободить можно, правда в этом случае файл лучше не удалять.

И этот смысл там есть: перезагрузись и полегчает. Лучше пользуйся гугьтранслитом, мистер!

Napilnik ★★★★★ ()
Ответ на: комментарий от hobbit

членов фашистской группировки Хабр с системой разграничения «свой-чужой», лищающей вторых даже такого базового человеческого права, как право на существование; с системой внутреннего остракизма путём голосования среди членов группировки и прочим

anonymous ()
Ответ на: комментарий от zink

В парадоксе Монти Холла тоже все предварительные события не имеют значения и не влияют на вероятность получить козла? А при количестве дверей 1000 ? А при количестве дверей 100000? Где ведущий открывает N-2 дверей? Прочитайте разбор задачи, может в голове туман рассосётся.

На википедии в соответствующей статье даже табличка есть с „Несведущим Монти”, который сам не знает что за дверями и открывает их наугад. Так и мы берём из первого попавшегося сундука монету и чисто случайно она оказывается золотой, а не серебрянной, к примеру.

h578b1bde ★☆ ()
Ответ на: комментарий от MumiyTroll

Вспоминается старая история про 2+2*2.

Результат зависит от типа калькулятора: формат типа данных в примере не указан, а следовательно информацию можно интерпретировать разными способами.

Napilnik ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.