Основной задачей проектирования технических систем является повышение производительности. Если система построена на базе управляемого контроллера, то эту характеристику описывают через закон К. Мура, согласно которому каждые два года при определенной модификации управляющего устройства его производительность возрастает. Это привело к увеличению потенциала распараллеливания. Появилась необходимость использовать параллелизм за пределами уровня инструкций программируемого управляющего устройства. Несмотря на это, многие программы по-прежнему создаются последовательно, что затрудняет их эффективную работу при большом потоке данных. Большие данные и интернет вещей добавляют к проблеме эффективной параллелизации последовательной программы проблему эффективной обработки больших объемов данных. При проведении исследований очень важно быстро отличать существенные данные от неважных и, таким образом, сокращать объем обрабатываемых баз данных. При этом, по возможности, не должно быть потеряно никакой важной информации. Поскольку эти большие объемы данных генерируются многократно и непрерывно, необходимо увеличивать тактовую частоту, что предполагает не всегда возможную модернизацию микроконтроллера и периферийного блока. Задача здесь состоит в том, чтобы найти энергоэффективное решение, которое является гибким и масштабируемым для удовлетворения растущих объемов данных [1][2].

Ведущие производители технологических решений и поставщики облачных услуг, такие как Intel или Amazon, осознали эту проблему и среди прочего сделали ставку на технологию ПЛИС (программируемая интегральная логическая схема), поскольку она представляет собой производительную и энергоэффективную альтернативу многоядерным процессорам. Но для некоторых задач ПЛИС не является эффективной, т. к. многое зависит от типа обрабатываемых данных и аппаратной части управляемой технической системы [3, 4].

Реконфигурация требует времени, которое может быть недоступно для технических систем, работающих в режиме реального времени. Поэтому необходимо найти способ минимизировать или скрыть время реконфигурации и минимизировать количество необходимых реконфигураций. Кроме того, как и в случае с большинством новых технологий, до сих пор нет четкого представления о подходящей области применения и характеристиках, которые необходимо привнести в различные области, чтобы извлечь выгоду из этой технологии.

В начале 2000 г. была представлена концепция динамически реконфигурируемой системы. Она могла переключаться между 4 конфигурациями в течение одного тактового цикла, а дополнительные конфигурации могли быть загружены во время работы. Однако реконфигурируемые архитектуры имели некоторые ограничения, такие как длительное время перенастройки, жестко заданная форма конфигураций и нулевая поддержка режимов энергосбережения. Из-за этих ограничений разрабатываются архитектуры, методы разработки и инструменты, которые можно динамически перенастраивать, а также области применения динамической реконфигурации [5].

Но модернизация для программируемых систем ведет к повышению экономических затрат, глобальной перенастройке аппаратной части. Наиболее рациональным будет корректировка управляющей программы таким образом, чтобы ее можно было использовать для технических систем с неизбыточной периферией. Для реализации этой идеи применимы различные математические методы, которые позволят скорректировать управляющий алгоритм [6].

Метод Монте-Карло основан на выполнении большого числа случайных выборок для получения приближенных решений. Он широко используется в задачах, где невозможно получить точное аналитическое решение или оно сложно для вычисления. Этот метод работает следующим образом: определяется пространство поиска решений, генерируются случайные точки внутри этого пространства, вычисляются значения функции в каждой точке, результаты усредняются для получения окончательного результата. При большом потоке данных метод Монте-Карло может оказаться неэффективным из-за своей медленной сходимости. Постоянно меняющиеся входные параметры также усложняют получение стабильных результатов, так как каждое изменение требует нового набора случайных чисел и повторных вычислений [7].

Интервальный метод предназначен для нахождения гарантированных оценок решений в рамках заданных интервалов. Вместо точечного значения функция оценивается на всем интервале. Необходимо задание интервала для входных данных. Далее происходит оценка функции на всем интервале. Метод устойчив к погрешностям округления, но возникает эффект обертывания, приводящий к неограниченному росту ширины интервалов. Эффект обертывания становится серьезной проблемой при большом количестве данных и частых изменениях параметров, так как ширина интервалов может расти экспоненциально, делая результаты практически бесполезными. Это делает интервальные методы малоэффективными при исследовании детерминированных и стохастических систем [8, 9].

Метод Тейлора основан на разложении функции в ряд Тейлора для получения аппроксимации решения. Выполняется разложение функции в окрестности начальной точки. Используются несколько первых членов ряда Тейлора, оцениваются остаточные члены. Метод обладает высокой аналитической точностью, возможно использование функций высокого порядка. Но он не подходит для задач с большим потоком данных и постоянными изменениями параметров из-за высокой вычислительной сложности. Постоянные изменения параметров приводят к необходимости пересчета рядов Тейлора, что увеличивает нагрузку на ресурсы и замедляет процесс [10, 11].

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

Размеры сегментов данных меняются по двум событиям. Первое событие связано с наличием потоков, направленных в систему. Второе событие инициируется внутренним перемещением между сегментами. Из базового сегмента некоторое количество данных nij(T) перемещается в соседний сегмент в следующий момент времени. Некоторое количество данных njk+1(T) исключается из базового сегмента как неактуальное. Тогда набор данных в текущем сегменте в следующий момент состоит из оставшихся, прошедших критериальный отбор, значений и вновь появившихся актуальных данных n0i(Т + 1).

В результате можно описать состояние потока входных данных в результате критериального отбора в текущий и следующий момент времени (1):

Число оставшихся в базовом сегменте данных будет определяться по формуле (2):

 (2)

Потоки перехода между сегментами отобранных данных управляются совокупностью факторов:

– количество переходов связано с вакантным диапазоном nik+1(T);

– автоматический переход в связи с повышением актуальности.

Последнее будет выбрано основным допущением модели в связи с большей вероятностью осуществления в реальной системе. Тогда соотношение между потоками и уже классифицированными данными определяется как nij(T)/ni(T) (i = 1, 2, …, k + 1) и является константой (если в модели не учитывать статистические колебания).

Спрогнозируем размеры диапазонов данных. Если учитывать коэффициент пропорциональности, то модель детерминированная, но когда ее свойства не будут адекватны реальной системе и модель будет генерировать неточные данные для долгосрочного моделирования, то есть появятся значительные изменения при разных ni(T) (уход одного значения из базы данных не предсказуем), то есть в модели появляется элементы стохастичности.

Поэтому необходимые методы теории вероятности, которая позволит количественно оценить неопределенности. Допустим, что перемещения в сегментах данных не связаны между собой причинно-функциональной зависимостью. Отдельные данные в исходном сегменте характеризуется вероятностью pij-перехода в следующий сегмент в течение одного момента времени по установленной временной шкале. Вероятность ухода одного из значений ωi будет определяться статистической выборкой [12]. Тогда такое развитие событий описывается формулой (3):

 (3)

Отдельные данные могут оставаться в уже занятом сегменте, а при изменении критериев отбора переместиться в следующий сегмент или покинуть базу данных в связи с неактуальностью.

Новый набор данных будет описываться по формуле (4) общим количественным входным потоком и способом распределения по сегментам. Если входной поток является фиксированной величиной, то число новых данных соответствует числу выбывших:

 (4)

Распределение новых данных описывается формулой (5) и соответствует допущениям, принятым выше:

 (5)

Модель поведения данных в сегментированном хранилище при изменении их актуальности позволила:

– учесть детерминированные и стохастические характеристики технической системы;

– применить генетический алгоритм, используемый для формирования и корректировки управляющего сигнала.

Для тестирования предлагаемого алгоритма использовалась модель системы управления движущимся объектом (рис. 1 а). В качестве пути рассматривалось прохождение произвольной траектории в лабиринте (рис. 1 б).

Объект управления получал управляющий сигнал от устройства управления о начале движения. Его координаты фиксировались посредством датчиков, наличие препятствий определялось через срабатывание датчиков. В данном эксперименте можно выделить следующие параметры: входные сигналы хi, описывающие момент срабатывания датчиков; выходные сигналы yj, описывающие результат срабатывания системы; основные события в системе. Состояния системы меняются в результате появления любого входного сигнала и полностью совпадают со значениями yj, поэтому здесь они не описываются. Определены основные события в системе:

Каждое событие инициируется набором входных сигналов хi. Наличие того или иного сигнала соответствует логической единице. Фрагмент псевдокода вероятностной модели скоростного движения объекта управления показан на рис. 2. Результаты реакции на препятствие без корректирующего алгоритма показаны на рис. 3. Реализация процесса цифровой фильтрации данных на основе генетического алгоритма и результаты тестирования показаны на рис. 4.

Алгоритм строится на базе знания о весе каждой точки входного сигнала и процессе распределения по методу генетического отбора через программируемую функцию взвешивания. Результаты тестирования измененного входного сигнала показывают определение препятствий с большей точностью, что позволило выстроить относительно равномерную траекторию движения объекта управления.

Таким образом, в рамках исследования раскрыты основные аспекты, использующиеся при исследовании динамических систем с неопределенными параметрами, приведены сферы их применения; описан алгоритм формирования диапазонов данных в зависимости от их актуальности для динамической системы. Выполнен анализ методов, которые используются при моделировании процессов функционирования сложных технических систем, изучены возможные способы их применения; проведен детальный анализ методов, которые используются при моделировании процессов с неопределенными параметрами, меняющимися в процессе функционирования или при запуске нового цикла; изучены и описаны наиболее важные факторы, влияющие на процессы корректировки управляющего сигнала. Рассмотрены средства моделирования динамических систем.

В дальнейшем необходимо описать критерии оценки динамических систем с неопределенными параметрами, выбрать наиболее существенные параметры для моделирования и оценки; выполнить анализ внешних помех и степень их влияния на динамическую систему с неопределенными параметрами; выполнить численный анализ изменения внутренних состояний технической системы под воздействием внешних факторов; выполнить анализ степени влияния динамических параметров на статические характеристики, произвести корректировку констант; выполнить моделирование поведения системы в предельных диапазонах, определить критические точки работы технической системы; выполнить анализ неопределенных параметров, вызывающих случайное поведение технической системы. Это позволит более точно выполнить программную реализацию алгоритмов исследования состояний имитационной модели многокомпонентной динамической системы с неопределенными параметрами.