Статьи журнала - Программные системы: теория и приложения

Все статьи: 441

Применение высокопроизводительного вычислительного комплекса к анализу информационной динамики нейронных сетей мозга

Применение высокопроизводительного вычислительного комплекса к анализу информационной динамики нейронных сетей мозга

Савихин Степан Александрович, Терентьев Александр Борисович, Дмитриенко Роман Михайлович, Климашов Виталий Юрьевич

Статья научная

Данная статья описывает возможные методы моделирования нейронных сетей мозга с учетом различных биологических свойств клеток нейронов и реализации построенных моделей на ЭВМ. Приведены принципы передачи импульса внутри нейронных сетей и их обработки нейронами.

Бесплатно

Применение логики построений на графах к исполнению моделей бизнес-процессов

Применение логики построений на графах к исполнению моделей бизнес-процессов

Кочуров Евгений Владимирович

Статья научная

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

Бесплатно

Применение механизма многокомпонентности МИС Интерин PROMIS для крупных ЛПУ с филиалами

Применение механизма многокомпонентности МИС Интерин PROMIS для крупных ЛПУ с филиалами

Комаров Сергей Иванович, Алимов Дмитрий Владимирович

Статья научная

Статья посвящена анализу особенностей крупных лечебно-профилактических учреждений (ЛПУ), имеющих в своей структуре филиалы, а также применению механизма поддержки мультипликативных структур низкого уровня в медицинской информационной системе (МИС) Интерин PROMIS при информатизации таких ЛПУ.

Бесплатно

Применение нейронных сетей сиамской архитектуры в задачах классификации продуктов различных категорий на прилавках универсама

Применение нейронных сетей сиамской архитектуры в задачах классификации продуктов различных категорий на прилавках универсама

Смирнов А.В., Тищенко И.П.

Статья научная

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

Бесплатно

Применение параллельных вычислений при решении задач защиты информации

Применение параллельных вычислений при решении задач защиты информации

Бабенко Людмила Климентьевна, Ищукова Евгения Александровна, Сидоров Игорь Дмитриевич

Статья научная

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

Бесплатно

Применение распределенной системы обработки данных в задаче построения автоматизированной системы видеонаблюдения

Применение распределенной системы обработки данных в задаче построения автоматизированной системы видеонаблюдения

Кондратьев Алексей Анатольевич, Беззубцев Артм Юрьевич, Смирнов Александр Владимирович

Ред. заметка

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

Бесплатно

Применение сиамских нейронных сетей для классификации биомассы растений по визуальному состоянию

Применение сиамских нейронных сетей для классификации биомассы растений по визуальному состоянию

Смирнов А.В., Тищенко И.П.

Статья научная

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

Бесплатно

Применение суперкомпьютерной обработки данных от измерительных систем для проведения экспериментов с обратной связью

Применение суперкомпьютерной обработки данных от измерительных систем для проведения экспериментов с обратной связью

Щапов Владислав Алексеевич, Евграфова Анна Валерьевна, Масич Григорий Федорович, Павлинов Александр Михайлович, Попова Елена Николаевна, Сухановский Андрей Николаевич, Чугунов Денис Петрович

Статья научная

Цель разработки - создание технологии сопряжения измерительных систем и суперкомпьютера для проведения экспериментов с обратной связью. Технология используется для экспериментального исследования формирования циклонического вихря над локализованным источником тепла при наличии связи между интенсивностью нагрева и скоростью течения. Характеристики течения, полученные в результате обработки на суперкомпьютере изображений методом цифровой трассерной визуализации (Particle Image Velocimetry PIV), служат входными параметрами для системы нагрева лабораторной установки в ходе проведения измерений. Основная сложность при реализации данного подхода связана с решением целого ряда научно-технических задач, которые рассматриваются в данной статье.

Бесплатно

Принципы организации системы ввода/ вывода параллельной потоковой вычислительной системы

Принципы организации системы ввода/ вывода параллельной потоковой вычислительной системы

Змеев Дмитрий Николаевич, Левченко Николай Николаевич, Окунев Анатолий Семенович, Стемпковский Александр Леонидович

Статья научная

В статье рассматриваются основные принципы работы блока ввода/вывода данных параллельной потоковой вычислительной системы «Буран», приводится анализ влияния различных алгоритмов ввода данных на эффективность решения задач. Описываются средства, позволяющие уменьшать необходимый размер ассоциативной памяти ключей и анализируются результаты экспериментов на программной модели параллельной потоковой вычислительной системы. Ключевые слова и фразы: блок ввода/вывода, алгоритмы ввода данных, ассоциативная память, параллельная потоковая вычислительная система

Бесплатно

Принципы создания технологии моделирования и прогнозирования развития региональных топливно-энергетических комплексов России и Монголии с учетом энергетического сотрудничества двух стран

Принципы создания технологии моделирования и прогнозирования развития региональных топливно-энергетических комплексов России и Монголии с учетом энергетического сотрудничества двух стран

Казаков Александр Леонидович, Лемперт Анна Ананьевна, Столбов Александр Борисович, Санеев Борис Григорьевич, Попов Сергей Петрович

Статья научная

Статья посвящена разработке вычислительной технологии для сценарного моделирования и прогнозирования взаимосвязанного развития национальных топливно-энергетических комплексов России и Монголии с учетом межстрановой торговли топливно-энергетическими ресурсами. Целью исследования является создание методологической базы для определения наиболее перспективных вариантов двухстороннего взаимодействия, которая позволит давать обоснованные оценки эффективности проектам сотрудничества России и Монголии в области энергетики. Научной основой для создаваемой технологии послужили принципы агентного имитационного моделирования, в соответствии с которыми изучаемые объекты рассматриваются как элементы многоагентной системы.Для создания агентной имитационной модели (АИМ) топливно-энергетического комплекса России и Монголии выбрано инструментальное средство разработки агентных имитационных моделей Adskit. Проведено обоснование выбора программных средств, разработаны методические принципы и архитектура АИМ. Построена математическая модель для задачи прокладки маршрутов протяженных энергетических объектов, имеющая вид специальной задачи вариационного исчисления, для её решения предложен авторский алгоритм на основе принципов геометрической оптики.

Бесплатно

Принципы формирования универсального бесшовно программируемого и кибербезопасного алгоритмического пространства

Принципы формирования универсального бесшовно программируемого и кибербезопасного алгоритмического пространства

Затуливетер Юрий Семенович, Фищенко Елена Алексеевна

Статья научная

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

Бесплатно

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

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

Стегайлов Владимир Владимирович, Норман Генри Эдгарович

Статья научная

За прошедшее десятилетие активная господдержка ускорила развитие суперкомпьютерной отрасли в России. Сегодня в стране работают несколько суперкомпьютеров большой производительности, на которых решается все большее число научно-технических задач. Набирает силу суперкомпьютерное образование в ВУЗах. В то же время можно констатировать «однобокое» развития отрасли в отношении представленных в стране суперкомпьютерных архитектур и недостаточное развитие работ в области развития массового параллелизма при решении прикладных задач. В статье кратко рассмотрены основные тенденции того, как развивалась архитектура и коммутационные сети лучших суперкомпьютеров мира, начиная с 1990х гг. Выделено главное направление, которое побеждает в условиях жесткой конкуренции возрастающего спроса на вычисления, использующие все большее число процессоров (вычислительных ядер) в одной задаче. Сформулированы предложения того, что нужно предпринять, чтобы суперкомпьютерная отрасль в России не отстала бы от мирового уровня, а встала бы на это же главное направление. Критический настрой статьи ни в коей мере не нацелен на преуменьшение достигнутых успехов в развитии суперкомпьютерной отрасли нашей страны. Задача авторов состоит в попытке акцентирования внимания суперкомпьютерного сообщества России на вызовах, которые чувствует сегодня российский ученый, использующий высокопроизводительные вычисления, при проведении исследований, которые могли бы стать конкурентными в международном контексте.

Бесплатно

Программа анализа геномного распределения хромосомных контактов в ядре клетки по данным, полученным по технологиям ChIA-PET и Hi-C

Программа анализа геномного распределения хромосомных контактов в ядре клетки по данным, полученным по технологиям ChIA-PET и Hi-C

Кулакова Екатерина Викторовна, Спицина Анастасия Михайловна, Богомолов Антон Геннадьевич, Орлова Нина Геннадьевна, Дергилев Артур Игоревич, Чадаева Ирина Витальевна, Бабенко Владимир Николаевич, Орлов Юрий Львович

Ред. заметка

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

Бесплатно

Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители

Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители

Мешвелиани Сергей Давидович

Ред. заметка

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

Бесплатно

Программирование графических процессоров (GPU) на языке MC#

Программирование графических процессоров (GPU) на языке MC#

Сердюк Юрий Петрович

Статья научная

В статье рассматриваются базовые принципы и средства программирования графических процессоров (graphical processor units – GPU) на языке MC#, являющимся расширением языка C#. Приводится пример программы на языке MC#, предназначенной для исполнения на GPU, и разбираются средства задания конфигурации GPU, средства работы с разделяемой памятью и использование CUDA-средств в MC#-программах. В заключение, перечисляются нерешенные вопросы и пути дальнейшего развития системы программирования MC# для GPU.

Бесплатно

Программирование основ вычислительной алгебры на языке с зависимыми типами

Программирование основ вычислительной алгебры на языке с зависимыми типами

Мешвелиани Сергей Давидович

Статья научная

В статье описываются главные черты разработанной автором на основе доказательного программирования библиотеки вычислительной алгебры. Обсуждается опыт доказательного программирования некоторых классических категорий вычислительной алгебры («группа», «кольцо» и так далее) на основе подхода конструктивизма, применения языка с зависимыми типами, построения машинно-проверяемых доказательств (dependent types, proof carrying code). Выявляются проблемы, связанные с этим подходом, и отмечаются дополнительные возможности, даваемые применением аппарата зависимых типов. В качестве инструмента используется функциональный язык Agda. Статья является продолжением вводной статьи автора в данном журнале за 2014 год

Бесплатно

Программно-техническая платформа высокопроизводительных вычислений для нефтегазовой промышленности

Программно-техническая платформа высокопроизводительных вычислений для нефтегазовой промышленности

Биряльцев Евгений Васильевич, Богданов Павел Борисович, Галимов Марат Разифович, Демидов Денис Евгеньевич, Елизаров Александр Михайлович

Статья научная

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

Бесплатно

Программное обеспечение комплексных исследований социо-эколого-экономических систем на основе моделей "регион": аналитический обзор

Программное обеспечение комплексных исследований социо-эколого-экономических систем на основе моделей "регион": аналитический обзор

Столбов Александр Борисович

Ред. заметка

В статье представлен исторический обзор и текущее состояние в области разработки программных комплексов, предназначенных для обеспечения процесса исследования социо-эколого-экономических систем на основе моделей «Регион». Обзор охватывает разработки в период с середины 1970-х годов по настоящее время. На основе анализа публикаций, отчетов и, где это было возможно, документаций проведен анализ архитектур программных систем, их основных функций и способов реализации. Модели программ представлены на языке UML с применением диаграммы прецедентов и компонентов. К основным задачам, решаемым рассматриваемыми программными комплексами, относятся следующие: вычислительный эксперимент и сценарные расчеты, решение задач оптимизации и нормирования, анализ свойств модели и идентификация параметров. В зависимости от набора решаемых задач и моделируемых компонент социо-эколого-экономических систем выполнена классификация множества программ, сделаны выводы о вкладе отдельных разработок в общий фонд программного обеспечения моделей «Регион», проведена оценка дальнейших перспектив исследований в данном направлении.

Бесплатно

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

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

Климов Юрий Андреевич, Орлов Антон Юрьевич, Шворин Артем Борисович

Статья научная

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

Бесплатно

Программный комплекс обработки изображений на основе модели зрения человека

Программный комплекс обработки изображений на основе модели зрения человека

Маштаков Алексей Павлович, Путинцева Ксения Александровна

Статья научная

Рассматривается задача компьютерного моделирования методов обработки изображений, основанных на принципах работы зрительной системы человека. Предложена структура программного комплекса (ПК), моделирующего первые этапы обработки зрительного сигнала мозгом человека: сглаживание изображений (удаление шума), выделение границ объектов (контуров изображения) и ориентационный анализ (определение угла наклона контуров). Эти этапы моделировались с помощью фильтров Гаусса для сглаживания и представления изображения, аппарата гауссовых производных для выделения границ и фильтра Габора для определения ориентаций. На языке Си, tcl/tk с использованием библиотек http://www.libpng.org/pub/png/libpng.htmllibpng, https://www.gnu.org/software/gsl/libgsl разработан ПК Visual Processing, выполняющий следующие функции: размытие изображений по Гауссу; дифференцирование изображений с помощью гауссовых производных, выделение границ объектов с помощью лапласиана гауссиана (LoG фильтра); определение направления контуров и подъем изображения на группу Ли $SE_2$ с помощью фильтров Габора. ПК основан на принципах открытой архитектуры и является платформой для реализации и тестирования алгоритмов обработки изображений в сфере математического моделирования зрения.

Бесплатно

Журнал