Информатика, вычислительная техника и управление. Рубрика в журнале - Advanced Engineering Research (Rostov-on-Don)

Публикации в рубрике (154): Информатика, вычислительная техника и управление
все рубрики
Теоретические основы организации ветвлений и повторений в программах на языке логического программирования пролог

Теоретические основы организации ветвлений и повторений в программах на языке логического программирования пролог

Здор Д. В.

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

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

Бесплатно

Техническое обслуживание технологических машин на базе цифровизации

Техническое обслуживание технологических машин на базе цифровизации

Тугенгольд А.К., Волошин Р.Н., Юсупов А.Р., Круглова Т.Н.

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

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

Бесплатно

Технология раздельного формирования многомерных данных

Технология раздельного формирования многомерных данных

Зыкин Сергей Владимирович, Мосин Сергей Владимирович, Полуянов Андрей Николаевич

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

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

Бесплатно

Типизация проектов перехода на облачные сервисы

Типизация проектов перехода на облачные сервисы

Воронова А.Г.

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

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

Бесплатно

Управление качеством при разработке программного обеспечения

Управление качеством при разработке программного обеспечения

Бируля М.Д.

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

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

Бесплатно

Ускоренный препроцессинг в задаче поиска подстрок в строке

Ускоренный препроцессинг в задаче поиска подстрок в строке

Мазуренко А.В., Болдырихин Н.В.

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

Введение. Бурное развитие таких систем, как Yandex, Google и пр., предопределило актуальность задачи поиска подстрок в строке. На сегодняшний день активно исследуются подходы к ее решению. Эта задача используется при создании систем управления базами данных, поддерживающих ассоциативный поиск. Кроме того, она применима при решении вопросов информационной безопасности, создании антивирусных программ. Алгоритмы поиска подстрок в строке используются в задачах обнаружения, основанного на сигнатурах.Материалы и методы. Решение задачи базируется на алгоритме Ахо - Корасик, который представляет собой классический способ осуществления поиска подстрок в строке. Вместе с тем применен новый подход в части, касающейся предварительной обработки.Результаты исследования. Показана возможность построения функции перехода и суффиксных ссылок при помощи суффиксных массивов и специальных отображений. Исследована взаимосвязь между префиксным деревом и суффиксными массивами. Это дало возможность разработать принципиально новый способ построения функций перехода и ошибок...

Бесплатно

Усовершенствование диаграмм business process model and notation с помощью подхода «узел – функция – объект»

Усовершенствование диаграмм business process model and notation с помощью подхода «узел – функция – объект»

Жихарев А.Г., Малкуш Е.В., Маторин С.И.

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

Введение. При моделировании бизнес-процессов широко используется нормативная система (нотация) BPMN. Однако она недостаточно выразительна для представления технических и производственных механизмов. BPMN плохо описывает параллельные потоки с жесткими ресурсными ограничениями, слабо поддерживает моделирование физических параметров и технологических условий. Эти и другие недочеты ухудшают анализ производительности и надежности, снижают применимость моделей для оптимизации и верификации. Цель представленной работы — создать метод, который задействует альтернативную нотацию и таким образом ограничит влияние перечисленных недостатков BPMN при моделировании производственных процессов. Материалы и методы. Базой нового решения было сопоставление BPMN и нотации для системы «узел – функция – объект» (УФО). Элементы диаграмм — это перекрестки некоторых связей (узлы). В них расположены функциональные элементы (функции, процессы), имеющие в некоторых случаях и характеристики субстанции (объекты). Сравнительный анализ нормативных систем BPMN и УФО показал возможность взаимного преобразования диаграмм. Процессы визуализировали с помощью CASE-инструмента (от англ. computer aided software engineering) NFO-toolkit (от англ. набор инструментов УФО) и программы Stormbpmn по правилам BPMN. УФО-диаграмму описали на языке XPDL1. Результаты исследования. Разработаны шесть последовательных операций для преобразования УФО-диаграммы в BPMN и четыре — для обратной трансформации. В контексте и декомпозиции показана схема выпуска комплектующих — от требования на разработку технологического процесса до выдачи изделий. Представлены декомпозиции УФО-элементов «Термопластавтомат», «Мастер» и «Отдел разработки», каждому из которых соответствует декомпозиция одноименной дорожки пула BPMN-нотации. Доказано, что преобразование диаграммы BPMN в УФО улучшает описание процесса в целом и с любой степенью подробности. УФО-подход не обращается к графической системе обозначений BPMN, из-за которой возрастают трудозатраты и риски ошибок моделирования. На языке XPDL описаны процессы, соединители, разветвители, связи, внешняя сущность и другие элементы УФО-диаграмм. Обсуждение. Основные преимущества УФО-нотации перед BPMN-подходом: более легкая процедура создания моделей и лучшая их наглядность. Простой графический набор УФО сокращает время моделирования и повышает его точность. УФО-подход ориентирован на учет информационных и материальных связей. Значит, можно проводить функционально-стоимостной CASE-анализ, что невыполнимо методом BPMN. Язык XPDL подходит для описания элементов УФО-диаграмм, причем решение можно русифицировать. Заключение. Содержательная избыточность и другие недостатки нотации BPMN исключаются при использовании более универсальной и удобной нотации — УФО. Итоги исследования будут способствовать развитию теории и практики графоаналитического моделирования производственных процессов, позволят упростить процедуру их разработки и автоматизации.

Бесплатно

Формирование критериев подобия физических объектов и процессов на основе компьютерной программы NonDimCritFormer 1.0

Формирование критериев подобия физических объектов и процессов на основе компьютерной программы NonDimCritFormer 1.0

Цибирова И.М.

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

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

Бесплатно

Цифровые носимые устройства как инструмент объективной оценки моторных нарушений при болезни Паркинсона: обзор современных исследований

Цифровые носимые устройства как инструмент объективной оценки моторных нарушений при болезни Паркинсона: обзор современных исследований

Щеглов Б.О., Яковенко А.А., Артеменко А.Ф., Ледков Е.А., Биктимиров А.Р.

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

Введение. Болезнь Паркинсона (БП) требует объективного и непрерывного мониторинга моторных симптомов. Носимые сенсоры — перспективный инструмент для повышения точности диагностики и контроля динамики заболевания. Его недостаточно задействуют в клинической практике из-за отсутствия единых стандартов и ограниченной воспроизводимости данных. Представленное исследование заполняет этот пробел. Цели научной работы: анализ современных подходов к использованию носимых систем для мониторинга моторных симптомов БП, выявление ограничений (в том числе по стандартам валидации), определение пути их преодоления для эффективного применения сенсоров в клинической практике. Материалы и методы. По методологии Prisma 2020 выполнен поиск литературы за 2020–2025 годы в базах данных PubMed, Scopus, Web of Science и Elibrary.ru. Изучались рецензируемые исследования по разработке, валидации и применению носимых устройств для оценки походки, тремора, брадикинезии и дискинезии. Для поиска использовались девять ключевых терминов цифровой медицины и нейродиагностики на русском и английском языках: «болезнь Паркинсона», «цифровые биомаркеры», «носимые устройства» и др. В финальной выборке из 48 исследований основное место заняли метааналитические (31 %) и клинические (29 %). В 19 % источников речь шла о разработках систем мониторинга, 15 % — лонгитюдные исследования, 6 % — систематические обзоры. Результаты исследования. Сопоставляются описания девяти носимых устройств для отслеживания особенностей моторики пациентов с БП. Учитываются типы метрик, клинических сценариев и задач. Обозначены две концепции исследуемых гаджетов: минимализм (один датчик, высокий уровень комфорта, фокус на интегральных индексах); детекция в реальном времени (акцент на эпизодах и моментальном распознавании). В двух этих случаях нужны разные эталоны разметки, окна анализа и критерии клинической значимости. Для повышения сопоставимости результатов необходим «минимальный набор валидации», специфический для класса задач. Условия преодоления противоречий: унификация протоколов сбора данных, набора метрик, индикации; внешняя и межцентровая валидация (разметка, критерии точности); устойчивость алгоритмов к смене устройства; критерии клинической полезности. Обсуждение. Массовому использованию носимых устройств для анализа моторных симптомов пациентов с БП препятствуют недостаток стандартов аналитической, клинической валидации и экономическая неоднозначность внедрения. В целом перспективны пять рассмотренных устройств. Однако клинические данные об их эффективности и влиянии на качество жизни недостаточны, т. к. исследуется главным образом потенциал концепций (точность алгоритмов), а не прикладная ценность и готовность к повседневному использованию реальных устройств. Редко изучается внешний (межцентровый) перенос, единые конечные точки и клиническая полезность. Заключение. Систематизированы современные данные о возможностях и ограничениях носимых сенсоров при болезни Паркинсона. Широкое распространение таких гаджетов невозможно без стандартизации, единых критериев эффективности, безопасности и экономической целесообразности. Решение выявленных проблем позволит изменить подход к диагностике и лечению, сделать носимые системы ключевым инструментом персонализированной медицины.

Бесплатно

Численный анализ динамики газового потока пиролиза пропана

Численный анализ динамики газового потока пиролиза пропана

Губайдуллин Ирек Марсович, Нурисламова Лиана Фануровна

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

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

Бесплатно

Численный анализ динамики газового потока пиролиза пропана

Численный анализ динамики газового потока пиролиза пропана

И. М. Губайдуллин, Л. Ф. Нурисламова

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

Исследуется процесс пиролиза пропана в проточном реакторе в режиме подачи энергии через постоянный внешний нагрев. Для комплексного исследования процесса во всевозможных условиях и для обеспечения перехода от лабораторных установок к промышленным необходимо провести численный анализ результатов моделирования течения газа в реакторе с учётом химических процессов. В работе представлены результаты численного моделирования трехмерной динамики газового потока пиролиза пропана в реакторе в программном пакете ANSYS Fluent с использованием компактной кинетической модели.

Бесплатно

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

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

Е. С. Жменя, Н. С. Бузало

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

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

Бесплатно

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

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

Жменя Евгения Сергеевна, Бузало Наталья Сергеевна

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

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

Бесплатно

Экспериментальное исследование возможностей решения многоэкстремальных задач оптимизации эвристическими методами

Экспериментальное исследование возможностей решения многоэкстремальных задач оптимизации эвристическими методами

Нейдорф Рудольф Анатольевич, Черногоров Иван Владимирович, Ярахмедов Орхан Тахир Оглы, Полях Виктор Васильевич

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

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

Бесплатно

Журнал