Розробка формалізованих методів побудови моделей структури і поведінки об"єктів проектування у вигляді графа станів і переходів на основі базових подій або блок-схеми алгоритму поведінки для їх аналізу. Локальні і регіональні радіоелектронні комплекси.
Аннотация к работе
Однак серйозним обмеженням у використанні теорії марковських процесів для створення моделей структури та поведінки таких складних ОП як РЕК, залишається проблема розробки моделі у вигляді графа станів і переходів. Слід відзначити, що на етапі СП РЕК ефективність методів аналізу їх структур та алгоритмів функціональної і надійнісної поведінки визначають: трудоємність (затрати часу) створення моделей, ймовірність внесення помилок в створювані моделі, повнота та ступінь адекватності створюваних моделей. Отже, висока ефективність методів аналізу, а відтак і евристичного синтезу, структур та алгоритмів функціональної і надійнісної поведінки РЕК на етапі системотехнічного проектування залежить від вирішення протиріччя між настійною необхідністю безпомилкової розробки математичної моделі обєкта проектування з максимальною повнотою (і адекватністю) його представлення, трудоємність якої складає сотні годин, - з одної сторони і забезпечення цих вимог в умовах обмеженої тривалості етапу системотехнічного проектування і необхідністю багатократної побудови моделей для багатьох варіантів технічних рішень з другої сторони. У перелічених нижче роботах здобувач був відповідальним виконавцем, а саме: НДР „Розробка математичного і програмного забезпечення для автоматизованого проектування відмовостійких радіоелектронних засобів” (ДБ/51.РЕЗ) № держ. реєстрації 0193U040379 (1991-1993); НДР „Методи і засоби автоматизації схемотехнічного проектування високонадійних цифрових пристроїв” (ДБ/51.РЕЗ.94) № держ. реєстрації 0194U029602 (1994-1995); НДР „Розробка математичного забезпечення автоматизованих процедур системотехнічного та схемотехнічного надійнісного проектування радіоелектронних пристроїв та систем” (ДБ/Комплекс) № держ. реєстрації 0196U000186 (1996-1997); НДР „Розробка математичного забезпечення процедур оптимального синтезу самоконтрольованих відмовостійких та живучих радіоелектронних засобів” (ДБ/Синтез) № держ. реєстрації 0198U002382 (1998-1999); НДР „Розробка математичного забезпечення компютерного моделювання функціональної та надійнісної поведінки радіоелектронних засобів” (ДБ/ЗКМФ) № держ. реєстрації 0100U000522 (2000-2001); НДР „Розробка компютерних моделей відмовостійких радіоелектронних засобів” (ДБ/Вербаль) № держ. реєстрації 0104U002291 (2004-2006). Здійснено подальший розвиток методології аналітичного моделювання ОП у вигляді ДНСС шляхом формалізованого формування моделей структури та функціональної і (або) надійнісної їх поведінки у вигляді графа станів та переходів, що унеможливлює появу помилок розробника і включає в себе ряд нових методів та моделей, а саме: а) вперше запропоновані формалізовані представлення структури і поведінки ОП у вигляді структурно-автоматних моделей (САМ) та методи їх розроблення на основі: - базових подій та відповідного опису умов і обставин;Однак її практичне використання на етапі СП РЕК обмежує складність, велика трудоємність розробки моделі у вигляді графа станів і переходів і велика ймовірність внесення помилки в таку модель. Таке удосконалення передбачає автоматизацію процедури розроблення моделі ОП у вигляді графа станів і переходів, яка забезпечує безпомилкову побудову графа станів і переходів для ОП довільної складності, що дає змогу орієнтуватися не на інтуїтивне розвязання задачі, а на показники ефективності, значення яких визначаються за допомогою отриманої моделі. У випадках, коли умова про експоненційний закон розподілу часів перебування в певних станах є неприйнятною (оскільки є відомими реальні закони розподілу, які не є експоненційними), відомі два підходи до розвязання задачі аналізу: а) проводять аналіз ОП як ДНСС марковського типу і враховують, що отримані результати аналізу становлять граничні або наближені оцінки показників ефективності; Другий розділ - “Удосконалення методології аналітичного моделювання дискретно-неперервних стохастичних систем на основі базових подій алгоритмів їх поведінки” - присвячено розробленню методології аналітичного моделювання ОП, математичним представленням яких є ДНСС. В таблиці 1 представлено САМ з першою стратегією ТО, де використано наступні позначення: V1, V2, V3, V4, V5, V6, V7 - компоненти вектора стану (V1 - відображає поточну кількість працездатних модулів в ядрі (початкове значення компоненти V1 дорівнює кількості модулів робочої конфігурації n); V2 - відображає поточну кількість несправних модулів в ядрі (початкове значення компоненти V2 дорівнює нулю); V3 - відображає поточну кількість працездатних модулів в резерві (початкове значення компоненти V3 дорівнює кількості модулів у резерві m); V4 - відображає поточну кількість несправних модулів в резерві (початкове значення компоненти V4 дорівнює нулю); V5 - відображає поточну кількість модулів, що знаходяться в ремонті (початкове значення компоненти V5 дорівнює нулю); V6 - лічильник кількості проведених ремонтів несправних модулів (початкове значення компоненти V6 дорівнює нулю); V7 - ознака тимчасового стану); lm - інтенсивність відмов одного модуля в ядрі; LR - інтенси