ВНИМАНИЕ! На форуме начался конкурс - астрофотография месяца СЕНТЯБРЬ!
0 Пользователей и 2 Гостей просматривают эту тему.
http://svpressa.ru/society/article/70346/?regnum=1
Закопать и надпись написать...
Kритиковали такую СУ, которая сама может найти решение в том, что даже не моделировалось.
- Ракета ? Ну и что ? Купим .
Наблюдаем какую-то такую же картину что и при полетах Н-1 -
Отказ стартового оборудования (как было сказано - типа КП сработал раньше времени), конечно возможен, но он уж очень выгоден всем участникам проекта. Это полностью обмазывает ракету, не надо на длительное время прекращать запуски и т.д.Все это наводит на мысль, что это сказано для публики, а настоящая причина - в другом.
Насколько мне известно - так и есть, "Протон" с одним неработающим двигателем взлететь может - СУ компенсирует это дело. Но могу ошибаться.
Почему все так боятся "умных" программных систем управления?
дальше комп сам думает куда ехать
отключив все это - в "спортивном" режиме - мне ездить неудобно и стремно, заносит чета
И аварийность это никак не увеличивает, а снижает.
С другой стороны, та часть системы, которая ответственна за логику применения, у нас зачастую находится на более низком уровне. И вот применение более абстрактного подхода к проверке этой части могло бы помочь найти некоторые логические бомбы. Или существование более надежной системы проверки могло бы позволить составление более гибких управляющих программ.Моя идея в том, что как средства решения, так и средства проверки решений остались на одинаковом уровне. Хотя, наверное, средства проверки решений могли бы быть более современными.
Я хотел сказать примером про Curiosity, что даже для такой сложной системы удалось составить модель.
Я бы не стал трактовать логический отказ так узко. Существует масса отказов, связанных с невозможностью достижения определенного состояния программой.Как пример: условный "Протон", стартуя, зарегистрировал размыкание стартовых контактов вне определенного временного окна. Когда же он их зарегистрировал, реализованные условия алгоритма не дают возможности перехода на состояние "нормальный полет", хотя(!) все остальные достигнутые параметры в норме.И это отказ. Она не достигла результата, для которого была составлена.
Критерии проверки формализуются аналогично с входными данными.
Наша задача -- выпустить программу с заявленными ей требованиями. А естественность, неестественность данных -- это опять же задача для тестирования. И если взяться как следует, то все сразу как-то вылезает из тумана -- и область входных данных и желательные исходы...
Более абстрактный подход? дааа уж. Абстрактный подход к конкретной задаче...