Найти

Результаты поиска

• ОГРАНИЧЕНИЕ КОЛИЧЕСТВА РАЗЛИЧНЫХ ОПРОБУЕМЫХ ВЕКТОРОВ ДЛЯ ПОЛУЧЕНИЯ ВСЕХ РЕШЕНИЙ СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ ВТОРОЙ КРАТНОСТИ НА МНОГОПРОЦЕССОРНОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЕ

  А.К. Мельников

  2021-07-18

  Аннотация ▼

  Статья посвящена нахождению всех целочисленных неотрицательных решений сис-
  темы линейных уравнений второй кратности типов, далее с.л.у., методом последователь-
  ного опробования векторов на принадлежность к решениям системы. Рассматривается
  количество различных векторов, опробование которых на принадлежности к решениям
  с.л.у. приведет к получению всех решений с.л.у. Вектор опробований с.л.у. состоит из эле-
  ментов определяющих число знаков алфавита, имеющих одинаковое число вхождений в
  выборку. С.л.у. связывает между собой число вхождений элементов всех типов в рассмат-
  риваемую выборку, мощность алфавита, объём выборки и ограничение на максимальное
  число вхождений знаков алфавита в выборку. Решение с.л.у. является основой расчета
  точных распределений вероятностей значений статистик и их точных приближений ме-
  тодом второй кратности, где в качестве точных приближений выступают Δточные
  распределения, отличающиеся от точных распределений не более чем на заранее заданную,
  сколь угодно малую величину Δ. Величина, выражающая количество опробуемых векторов,
  является одной из величин определяющих алгоритмическую сложность метода второй
  кратности, без знания значения которой нельзя определить параметры выборок, для ко-
  торых при ограничениях на вычислительный ресурс могут быть рассчитаны точные рас-
  пределения и их точные приближения. Количество различных опробуемых векторов рас-
  сматривается в условиях ограничения на максимальное значение числа вхождений элемен-
  тов алфавита в выборку, так и без ограничений. Найдены аналитические выражения, по-
  зволяющие для любых значений мощности алфавита, объёма выборки и ограничения на
  значение максимального числа вхождений знаков алфавита в выборку вычислять количест-
  во опробований различных векторов для получения всех целочисленных неотрицательных
  решений системы линейных уравнений второй кратности типов. Вид полученного анали-
  тического выражения для количества опробований векторов позволяет использовать его
  при изучении алгоритмической сложности расчетов точных распределений и их точных
  приближений с заранее указанной точностью Δ.

• КОМПЛЕКС СРЕДСТВ ТРАНСЛЯЦИИ ПРОГРАММ НА ЯЗЫКЕ C В ПРОГРАММЫ НА ЯЗЫКЕ ПОТОКА ДАННЫХ COLAMO

  А. И. Дордопуло, A.A. Гуленок, А.В. Бовкун, И.И. Левин, В. А. Гудков, С.А. Дудко

  2021-02-25

  Аннотация ▼

  Рассматриваются программные средства трансляции последовательных программ
  на языке C в масштабируемые параллельно-конвейерные программы на языке программи-
  рования реконфигурируемых вычислительных систем COLAMO. В отличие от существую-
  щих средств высокоуровневого синтеза, результатом трансляции является не IP-ядро
  фрагмента задачи, а комплексное решение задачи для многокристальных реконфигурируе-
  мых вычислительных систем с автоматической синхронизацией информационных и управ-
  ляющих сигналов. Рассмотрены основные этапы трансляции последовательной программы
  на языке C: преобразование в информационный граф, анализ информационных зависимо-
  стей и выделение функциональных подграфов, преобразование в масштабируемую ресурсо-
  независимую параллельно-конвейерную форму и масштабирование программы на языке
  COLAMO для заданной многокристальной реконфигурируемой вычислительной системы.
  Масштабирование программы осуществляется с помощью методов редукции производи-
  тельности абсолютно-параллельной формы задачи – информационного графа, который
  адаптируется под архитектуру реконфигурируемой вычислительной системы. Разрабо-
  тан ряд правил, позволяющих существенно сократить число шагов преобразований при
  масштабировании задачи и обеспечить плотный поток обработки данных в функциональ-
  ных подграфах задачи. Созданный комплекс средств трансляции программ на языке C в
  конфигурационные файлы ПЛИС позволяет существенно сократить время синтеза вычис-
  лительной структуры задачи для многокристальных РВС и обеспечить сокращение общего
  времени решения задачи.