Разработка статистических, вероятностных и логических методов для синтеза и анализа сложных систем (промежуточных)

Цель: разработка статистических, вероятностных и логических методов и программных средств синтеза и анализа сложных систем, таких как физические системы, информационно-телекоммуникационные системы, системы обработки, хранения и передачи информации. Разработаны математические модели взаимодействия марковских и немарковских потоков противоположно заряженных частиц, в том числе математические модели продолжительности жизни частиц (краткоживущие и долгоживущие частицы); кинетическая модель усилителя яркости на парах металлов, позволяющая проводить экспресс-оценку радиального профиля усиления; математические модели стохастических потоков событий для адекватного описания соответствующих потоков в физических системах; стохастические модели управления ресурсами (в том числе получены новые результаты по ограничению нагрузки в узлах телекоммуникационных сетей); трассовая модель оценки/предсказания удовлетворенности пользователя интерактивным сервисом и бизнес-модели на основе трассовых моделей. Предложены: новые алгоритмы обнаружения функциональных и труднообнаруживаемых неисправностей в логических схемах, в том числе в схемах, используемых в физических экспериментах; алгоритмы повышения надежности логических схем за счет разработки тестопригодных схем; методы и алгоритмы синтеза проверяющих тестов относительно новых классов неисправностей для трассовых моделей и логических схем, в том числе для систем, для которых важны временные аспекты, и для систем с частичной управляемостью и наблюдаемостью; методы понижения сложности в задачах верификации и тестирования дискретных систем на основе трассовых моделей, в том числе с использованием различных масштабируемых представлений; алгоритмы повышенной точности для робастного и адаптивного управления, фильтрации и экстраполяции для объектов, функционирующих в условиях статистической неопределенности и неизвестных воздействий на основе компенсационного подхода и методов непараметрической статистики; уточненные оценки функций надежности для компонентов систем обработки, передачи и хранения информации, в том числе гладкие рекуррентные непараметрические оценки многомерной функции надежности.