ИСТИНА

Диссертация посвящена актуальной теме – разработке методов, алгоритмов и инструментальных средств интеллектуальной поддержки обеспечения совместимости требований к расписаниям обмена по каналам с централизованным управлением. Несовместимость требований приводит к невозможности построения расписания, включающего все работы из заданного набора работ и удовлетворяющего всем требованиям. Рассматриваемая в диссертации проблема возникает при разработке встроенных систем реального времени (ВСРВ). Основные результаты диссертации состоят в следующем: 1. Построена и обоснована математическая модель для решения задачи обеспечения совместимости требований к расписанию обмена по каналу с централизованным управлением в ВСРВ. На основе построенной модели разработан алгоритм решения этой задачи, обладающий необходимой для практического применения точностью и вычислительной сложностью. Разработанный алгоритм допускает применение совместно с различными детерминированными алгоритмами построения расписания и поддерживает настройку на состав требований к расписанию. 2. Найдены достаточные условия несовместимости требований к расписанию обмена, которые позволяют повысить качество решения, получаемого предложенным алгоритмом. 3. На базе предложенного алгоритма реализована подсистема обеспечения совместимости требований в составе инструментальной системы «САПР циклограмм», прошедшей практическую апробацию. Все основные результаты диссертации являются новыми, получены автором самостоятельно, теоретические результаты доказаны, а правильность и эффективность предложенных алгоритмов подтверждена результатами экспериментов. Полученные в диссертации результаты могут быть рекомендованы к использованию при проектировании и усовершенствовании аппаратно-программных комплексов реального времени, в состав которых входят каналы с централизованным управлением. К таким комплексам относятся бортовые встроенные системы, системы управления технологическими процессами, системы оперативного мониторинга.