SCI Библиотека

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

Актуальность темы исследования обусловлена необходимостью корректировки основных направлений развития ИСОД МВД России в целях дальнейшего повышения уровня информационно-аналитического обеспечения деятельности МВД России и экономической эффективности использования информационно-телекоммуникационных технологий. Авторами предложены основные направления дальнейшего развития данной информационно-коммуникационной системы и определены задачи, решение которых обеспечит их реализацию. Особое внимание уделено ключевому направлению развития - повышению уровня обеспечения информационной безопасности органов внутренних дел, в том числе кибербезопасности.

Целью настоящего исследования является разработка нового метода редукции информации в системах сбора данных технологических параметров, реализованных на базе сетей полевого уровня на основе стандарта ANSI/TIA/EIA-485 для снижения количества избыточной информации, формируемой вторичными преобразователями измерительных приборов на основе показаний первичных преобразователей, транспортируемой в сетях передачи данных и хранимой в устройствах хранения. Для решения указанной задачи предлагается применение нового метода обработки исходных данных на этапе дискретизации при помощи модифицированного микропрограммного обеспечения встроенной микро-ЭВМ вторичного преобразователя измерительного прибора. В основе предлагаемого метода - выбор из ряда исходных дискретных величин такого количества дискретных значений (опорных точек), относительно которых существует возможность описания остальных значений каким-либо математическим способом с контролем точности восстановления значений расчетным путем на каждом шаге с последующим отбрасыванием элементов ряда, не являющихся опорными точками (редукцией). С целью проверки изложенного метода разработан способ снижения избыточности информации в сетях полевого уровня с сохранением требуемой точности измерений на базе линейной аппроксимации. Программная реализация разработанного способа показала его применимость для редукции данных в системах реального времени в потоке преобразования дискретных величин исходного сигнала. Разработанный способ, основанный на предложенном методе, обеспечивает значительное сокращение объема избыточной информации, тем большее, чем более равномерны изменения величин значений исходного ряда. Это позволяет сократить количество хранимых дискретных значений, снизить нагрузку на сетевые коммуникации систем реального времени, обеспечить возможность опроса большего количества устройств, подключенных к сети полевого уровня шинной топологии без изменения скорости обмена данными.

Работа направлена на изучение подходов по сокращению времени исполнения программ с помощью инструкций из набора AVX-512 для повышения эффективности векторизации программного кода. Векторизация является основной низкоуровневой оптимизацией, с помощью которой возможно кратно ускорить выполнение программы, а набор инструкций AVX-512 обладает рядом уникальных особенностей, позволяющих применять векторизацию в сложных программных контекстах. В работе исследуется программный контекст специального вида - плоский цикл, который при удовлетворении ряда требований может быть векторизован с помощью инструкций AVX-512 при практически произвольной сложности тела. Однако довольно часто оптимизирующий компилятор не в состоянии выполнить автоматическую векторизацию плоских циклов по причине наличия в них сложного управления, вызовов функций, гнезд циклов и других конструкций. Это приводит к тому, что векторизацию приходится выполнять вручную с использованием специальных функций-интринсиков. Эффективность векторизации напрямую зависит от плотности масок векторных операций, которые оказываются разреженными при сильно разветвленном управлении внутри тела плоского цикла. В работе предлагается инструментарий, позволяющий параллельно создавать скалярную и векторную версии плоского цикла и анализировать эффективность выполненной векторизации. При этом поддерживаются два режима сборки тестируемого кода: скалярная версия с эмуляцией и мониторингом векторных инструкций и векторная версия для исполнения на целевой машине. С одной стороны, это позволяет контролировать корректность выполненных преобразований кода, а с другой - отслеживать пути исполнения программы с низкой вероятностью для их локализации или выноса из тела цикла. С помощью созданного инструментария удалось выделить горячие плоские циклы ряда реальных приложений и повысить эффективность их векторизации.

Работа посвящена повышению эффективности выполнения современных расчетных приложений на высокопроизводительных вычислительных системах. В качестве инструмента повышения эффективности рассматривается векторизация программного кода. С ее помощью однотипные скалярные операции объединяются в векторные аналоги, кратно повышая производительность. Целевой платформой являются современные микропроцессоры Intel, для которых поддержан уникальный набор векторных инструкций AVX 512. Предлагается подход к векторизации газодинамического решателя, использующего метод погруженных границ и противопотоковую схему Steger-Warming в трехмерном виде. Решатель обладает сложным программным контекстом, автоматическая векторизация которого невозможна. Рассматриваются реализация решателя, а также подходы к организации кода и приведению его к виду, пригодному для автоматической векторизации компилятором icc. Для обеспечения автоматического применения векторизации к программному коду решателя были применены три основных эквивалентных преобразования. Во-первых, вычисления, одинаковые для всех итераций проведения расчетов, включая матричные операции, были локализованы и вынесены на этап подготовки вычислений. Во-вторых, основные функции решателя были организованы в виде плоских циклов, а структуры данных представлены в виде наборов массивов. В-третьих, к гнездам циклов была применена оптимизация расщепления по условию, с помощью которой можно уменьшить степень разветвленности управления внутри тела цикла. Данные преобразования позволяют компилятору автоматически применять векторизацию кода. В результате выполненной работы достигнуто ускорение решателя в три раза за счет векторизации при вычислениях на вещественных числах двойной точности.

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

Проектировать эффективные параллельные программы для многопроцессорных архитектур сложно, так как нет четких формальных правил, которых необходимо придерживаться. Для решения этой проблемы при реализации численных алгоритмов может применяться концепция Q-детерминанта. Данная теория позволяет проводить автоматизированный анализ ресурса параллелизма алгоритма, автоматизированное сравнение ресурсов параллелизма алгоритмов, решающих одну и ту же алгоритмическую проблему, проектировать эффективные программы для реализации алгоритмов с помощью специально разработанного метода проектирования, повысить эффективность реализации численных методов и алгоритмических проблем. Результаты, полученные на основе концепции Q-детерминанта, представляют собой один из вариантов решения проблемы эффективной реализации численных алгоритмов, методов и алгоритмических проблем на параллельных вычислительных системах. Однако пока остается не решенной фундаментальная проблема автоматизированного проектирования и исполнения для любого численного алгоритма программы, реализующей алгоритм эффективно. В статье описана разработка единой для численных алгоритмов программной системы проектирования и исполнения Q-эффективных программ - эффективных программ, спроектированных с помощью концепции Q-детерминанта. Система предназначена для использования на параллельных вычислительных системах с общей памятью. Она состоит из компилятора и виртуальной машины. Компилятор преобразует представление алгоритма в форме Q-детерминанта в исполняемую программу, использующую ресурс параллелизма алгоритма полностью. Виртуальная машина исполняет программу, полученную с помощью компилятора. В статье также приведено экспериментальное исследование созданной программной системы с применением суперкомпьютера «Торнадо ЮУрГУ».

Проблема повышения эффективности параллельных вычислений чрезвычайно актуальна. В статье впервые продемонстрировано применение концепции Q-детерминанта для эффективной реализации алгоритма на графах. Концепция Q-детерминанта основана на унифицированном представлении численных алгоритмов в форме Q-детерминанта. Q-детерминант позволяет выразить и оценить внутренний параллелизм алгоритма, а также показать способ его параллельного исполнения. В работе приведены основные понятия концепции Q-детерминанта, необходимые для понимания приведенного исследования. Также описан основанный на концепции Q-детерминанта метод проектирования эффективных программ для численных алгоритмов. Результатом применения метода является программа, полностью использующая ресурс параллелизма алгоритма. Такая программа называется Q-эффективной. В качестве первого применения метода проектирования Q-эффективных программ для алгоритмов на графах описано проектирование программ для реализации алгоритма Дейкстры на параллельных вычислительных системах с общей и распределенной памятью. Приведены также результаты экспериментального исследования разработанных программ, проведенного с помощью суперкомпьютера «Торнадо ЮУрГУ». На основе анализа результатов экспериментального исследования определяются динамические характеристики разработанных программ и выявляются особенности их выполнения. Проведенные в статье исследования дают возможность сделать вывод, что применение концепции Q-детерминанта с целью разработки эффективных программ возможно не только для численных алгоритмов, но и для алгоритмов на графах.

В условиях негативных изменений, происходящих в биосфере планеты, таких, как загрязнение окружающей среды и атмосферы, потепление климата, истощение энергоресурсов и прочее, к производителям холодильного оборудования предъявляются все более высокие требования, основными из которых являются:
– повышение энергоэффективности холодильного оборудования;
– снижение материалоемкости холодильных установок;
– использование «чистых» и безопасных материалов и холодильных агентов.
Тайваньская компания Fusheng, вот уже на протяжении нескольких десятилетий, является одним из мировых лидеров в производстве винтовых холодильных компрессоров. Специалисты компании постоянно работают над совершенствованием выпускаемого оборудования и внедрением самых современных технологий.
За последнее время наиболее эффективными шагами в этой сфере оказались разработка и освоение выпуска, уникальных в своем роде, двухступенчатых низкотемпературных винтовых компрессоров серии SRT, а также выпуск компактных винтовых компрессоров со встроенным маслоотделителем серии BSR с изменяемой степенью сжатия и полугерметичных винтовых холодильных компрессоров с объёмной производительностью от 85 м3/ч до 1946 м3/ч Серия компрессоров SRT включает в себя 6 моделей с объемной производительностью 1-й ступени 120–759 м3/ч и 2-й ступени 50–300 м3/ч.