Архив рубрики: — Все публикации журнала —

ЭКСПЕРТНОЕ ОЦЕНИВАНИЕ И ОПТИМИЗАЦИОННОЕ МОДЕЛИРОВАНИЕ КОНТРОЛЬНО-НАДЗОРНОЙ ДЕЯТЕЛЬНОСТИ ПО ОБЕСПЕЧЕНИЮ КАЧЕСТВА ЛЕКАРСТВЕННЫХ ПРЕПАРАТОВ


УДК 05.13.10
doi: 10.26102/2310-6018/2019.24.1.044

И.В.Сафонов, Я.Е. Львович


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

Ключевые слова: экспертное оценивание, оптимизационное моделирование, задача о минимальном покрытии, контрольно-надзорная деятельность, лекарственные препараты.

Полный текст статьи:
SafonovLvovich_1_19_1.pdf

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


УДК 004.58
ВАК 05.13.18
doi: 10.26102/2310-6018/2019.24.1.043

Т.Е. Есин, И.Н. Глухих

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

Ключевые слова: интеллектуальные образовательные системы, курсы программирования, обратная связь, анализ образовательных данных, learning analytics.

Полный текст статьи:
EsinGlukhikh_1_19_1.pdf

МОДЕЛЬ ДИНАМИЧЕСКОГО СЕВООБОРОТА НА ОСНОВЕ УРАВНЕНИЯ БЕЛЛМАНА С КОНЕЧНЫМ ГОРИЗОНТОМ


УДК 004.4
doi: 10.26102/2310-6018/2019.24.1.042

Ю.С. Скворцов, Н.А. Рындин, К.А. Амоа

Проблемой исследования является определение оптимального плана множественных периодов, которые учитывают экономику объекта исследования в динамической структуре. Вследствие чего, в данной статье описана динамическая модель, на основе уравнения Беллмана с конечным горизонтом. Объектом исследования является севооборот. Максимизируя чистую приведенную ожидаемую текущую и будущую прибыли модифицированное уравнение Беллмана дает оптимальные решения по посадке культур. Эта модель учитывает многолетние севообороты с различным набором культур. Уравнение Беллмана представляет собой дифференциальное уравнение в частных производных с начальными условиями, заданными для последнего момента времени, для функции Беллмана, которая выражает минимальное значение критерия оптимизации, которое может быть достигнуто, при условии эволюции системы из текущего состояния в некоторое конечное. С помощью пакета Matlab проведено моделирование севооборота с помощью средств динамического программирования. MATLAB использует набор инструментов CompEcon для решения задачи динамического программирования с дискретным временем или с дискретной переменной. Учитывая конечное значение текущей и ожидаемой прибыли, задача решается путем многократного применения уравнения Беллмана.

Ключевые слова: цепь Маркова, динамическое программирование, уравнение Беллмана, оптимизация севооборота, дискретное состояние.

Полный текст статьи:
SkvortsovRyndin_1_19_1.pdf

АВТОМАТИЗАЦИЯ СИСТЕМЫ УПРАВЛЕНИЯ ТЕХНИЧЕСКИМ ОБСЛУЖИВАНИЕМ ГРУППОВОГО ОБЪЕКТА


УДК 263.74
doi: 10.26102/2310-6018/2019.24.1.041

М.И. Яцечко, С.В. Ипполитов, Р.В. Репин,В.А. Малышев


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

Ключевые слова: техническое обслуживание, авиационная техника, групповой объект, приоритет.

Полный текст статьи:
YatsechkoSoavtori_1_19_1.pdf

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


УДК 004.5:811
doi: 10.26102/2310-6018/2019.24.1.040

В.И. Свиридов, Е.И. Чопорова, Е.В. Свиридова


Целью данной работы является рассмотрение вопроса оптимизации лингвистического обеспечения автоматизированных систем управления. Несмотря на выведение процесса управления системами на новый уровень, проблема взаимодействия пользователя с компьютером до сих пор является актуальной. Определенному анализу подверглось лингвистическое обеспечение автоматизированных систем управления в рамках диалога компьютера и человека, как малоисследованное средство обеспечения их взаимодействия. Авторами предложена классификация языковых средств систем автоматизированного управления, а также рассмотрены языковые средства как способы поддержания диалога человека с компьютером; определены языковые конструкции, знание которых необходимо пользователю для работы. Таким образом, в статье рассматривается лингвистическое обеспечение автоматизированных систем управления для построения технологий взаимодействия пользователя с компьютером. Определяются специфика и условия функционирования системы в диалоговом режиме. Уточняются проблемные вопросы понятия «диалог» применительно к автоматизированному решению экономических задач с использованием современной вычислительной техники. Были сделаны выводы, что при многопользовательском диалоге с компьютером управленческого персонала организации в автоматизированный процесс управления могут быть включены слабо формализуемые факторы и обстоятельства реальной экономической ситуации наряду с профессиональной компетентностью сотрудников, что накладывает отпечаток на лингвистический характер взаимодействия с компьютером.

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

Полный текст статьи:
SviridovSoavtori_1_19_1.pdf

МОДЕЛЬ ФОРМИРОВАНИЯ ПЛАНОВ РАЗВИТИЯ ГОРОДСКИХ ТЕРРИТОРИЙ


УДК 519
doi: 10.26102/2310-6018/2019.24.1.039

В.Л. Бурковский, С.A. Баркалов, П.Н. Курочка,М.А. Пинаева


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

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

Полный текст статьи:
BurkovskySoavtori_1_19_1.pdf

АНАЛИЗ ПОДХОДОВ, ИСПОЛЬЗУЕМЫХ ДЛЯ УПРАВЛЕНИЯ ПРОЕКТАМИ В ОРГАНИЗАЦИЯХ


УДК 681.3
doi: 10.26102/2310-6018/2019.24.1.038

А.В. Шаповалов, А.П. Преображенский, О.Н. Чопоров


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

Ключевые слова: проект, управление, портфель проектов, методы оптимизации.

Полный текст статьи:
ShapovalovSoavtori_1_19_1.pdf

ИССЛЕДОВАНИЕ АБСТРАКТНОГО КЛЕТОЧНОГО АВТОМАТА НЕЗАВИСИМОГО ОТ ВРЕМЕНИ


УДК 519.713.1
doi: 10.26102/2310-6018/2019.24.1.037

А.А. Уманов


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

Ключевые слова: клеточный автомат, абстрактный клеточный автомат, правило, состояние, суперпозиция, пространство, время, матрица.

Полный текст статьи:
Umanov_1_19_1.pdf

МЕТОД АУДИТА ЗАЩИЩЕННОСТИ АВТОМАТИЗИРОВАННЫХ СИСТЕМ


УДК 004.56
doi: 10.26102/2310-6018/2019.24.1.036

В.Л. Токарев, А.А. Сычугов


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

Ключевые слова: информационная безопасность, защищенность доступа, оценивание, нечеткие множества.

Полный текст статьи:
TokarevSychugov_1_19_1.pdf

АВТОМАТИЗАЦИЯ БИЗНЕС-ПРОЦЕССОВ ОРГАНИЗАЦИЙ, ПРЕДОСТАВЛЯЮЩИХ ОБРАЗОВАТЕЛЬНЫЕ УСЛУГИ, НА ПРИМЕРЕ АКАДЕМИЧЕСКОГО ПАРТНЕРСТВА КОМПАНИИ DELL EMC


УДК 004:007.5:65.015
doi: 10.26102/2310-6018/2019.24.1.035

И.В. Вершинина,Н.Н. Горлушкина,Г.Н. Смородин


В статье реализован алгоритм и представлены результаты автоматизации одного из основных бизнес-процессов академического партнерства компании Dell EMC, являющегося поставщиком образовательных услуг в сфере информационных технологий. Полученный алгоритм может применяться при проектировании корпоративных информационных систем (КИС) организаций, занимающихся оказанием образовательных услуг. В процессе работы был проведен системный анализ организации на основе матрицы системных характеристик (МСХ) и сформированы функциональные требования к системе. Описан выбор подхода к управлению организацией и программного продукта, соответствующего функциональным требованиям к проектируемой КИС. Регламентирована организационная структура, проведена классификация всех бизнес-процессов организации, построена модель “Как есть” одного из основных бизнес-процессов организации, выявлены узкие места рассматриваемого бизнес-процесса, построена модель “Как будет” данного бизнес-процесса. Бизнес-процесс, выбранный для рассмотрения, исполнен в BPM-системе Elma Community Edition и проведена верификация получаемых данных, что позволило проверить корректность ожидаемых и полученных результатов. Для автоматизации бизнес-процесса использовались графические средства и скрипты на языке C# , предусмотренные в системе ELMA Community Edition, а также VBA-макросы в Excel.

Ключевые слова: автоматизация бизнес-процессов, исполнение бизнес-процессов, BPM система, ELMA Community Edition, BPMN 2.0, скрипты, язык программирования C#, макросы, Excel VBA, Firebird, SQL, образовательные услуги, академическое партнерство Dell EMC.

Полный текст статьи:
Vershinina1Soavtori_1_19_1.pdf