Назад до огляду →
Модуль 01 / 04
Одна лінія дослідження, два різні формулювання.
Часова діаграма 2025 Формалізація проблеми Надкритичні режими роботи: зупинка може бути неприйнятною; деградовану роботу потрібно формально обґрунтовувати.
Часова діаграма
Одна лінія дослідження, два різні формулювання.
Формалізація проблемиНадкритичні режими роботи: зупинка може бути неприйнятною; деградовану роботу потрібно формально обґрунтовувати.PUB‑01 · PUB‑02
Пошкоджений об’єктНезворотне пошкодження подано явно, а стан ресурсів визначає деградований режим керування.EXP‑01
Структурний шляхЗалишкові ресурси відображаються у допустимі стани та графову післявідмовну реконфігурацію.EXP‑02
Структурна живучість працюєEXP‑03 верифікує аудований шлях \(c_0\to c_1\to c_3\) і зберігає деградовану функціональність місії.EXP‑03 · ТОЧКА ПЕРЕЛОМУ
Перегляд моделіУспішний експеримент виявляє відсутні гарантії: епістемічну відмову, стійкість послідовності та вибір з урахуванням горизонту.ПЕРЕГЛЯД ДИСЕРТАЦІЇ
Єдина концепціяСпроможність + допустимість + час у графі фізичних та епістемічних конфігурацій.PRE‑01 · PRE‑02 · PRE‑03
EXP‑03 відповів на своє питання — і зробив наступне питання неминучим.Розгорнути розділ
Точка перелому
EXP‑03 відповів на своє питання — і зробив наступне питання неминучим.
ЩО ВСТАНОВИВ EXP‑03
Структурна реконфігурація може зберегти деградовану місію.
- незворотна втрата ресурсу подана явно;
- кандидатні конфігурації обмежені орієнтованим графом;
- функціональність місії та живучість можуть визначати вибір;
- виконаний шлях можна аудіювати та відтворити.
ЧОГО ВІН НЕ ВСТАНОВИВ
Обрана послідовність ще не є гарантованою траєкторією.
- \(\gamma(c)<1\) верифікує кожну конфігурацію, але не довільні повторні перемикання;
- \(\arg\max S\) обирає найкращий вузол зараз, а не найкращий шлях на інтервалі перебування;
- сама справність обладнання не може представити модель, яка справна в пам’яті, але помиляється щодо світу;
- час реакції визначає, наскільки швидко перемикатися, але не те, як часто перемикання залишається допустимим.