На правах рекламы:
Матрицы 15.6 для ноутбуков
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
17 Июня 2024

Статьи из выпуска № 2 за 2022 год.

Упорядочить результаты по:
Дате публикации | Заголовку статьи | Авторам

1. Разработка прототипа решателя для расширенных шаговых теорий логики высказываний [№2 за 2022 год]
Авторы: Фоминых И.Б., Алексеев Н.П., Гулякина Н.А., Кравченко К.С., Фомина М.В.
Просмотров: 2664
В настоящее время проводятся активные исследования возможностей использования неклассических логик в моделировании рассуждений когнитивного агента. В статье рассматривается проблема разработки и реализации прототипа решателя расширенных шаговых теорий в случае, когда решения по управлению сложным техническим объектом принимаются в условиях жестких временных ограничений. Рассматривается логическая система, основанная на использовании шаговых теорий с двумя видами отрицания, – система расширенных шаговых теорий. Использование двух видов отрицания позволяет выводить как истинные факты, так и факты-убеждения, что важно при моделировании рассуждений человека. Основное внимание уделяется вопросу организации процедуры вывода на основе использования неклассических логик в моделировании рассуждений когнитивного агента. Приводятся основные этапы разработки прототипа расширенных шаговых теорий с использованием литералов логики высказываний. Для каждого компонента решателя описаны его функции, задачи, входные и выходные данные. Обоснован выбор системы вывода clingo, поддерживающей формирование расширенных логических программ Answer Set Programming (ASP) как инструмента реализации решателя. Приведены алгоритмы трансляции расширенных шаговых теорий в логическую программу, соответствующую синтаксису ASP. При организации логического вывода использован алгоритм циклической обработки множеств убеждений расширенных шаговых теорий в среде clingo. Основные этапы работы этого алгоритма рассмотрены на примере, где разбираются этапы работы решателя и приводятся результаты, представленные в синтаксисе clingo. Пример работы решателя демонстрирует основные особенности расширенных шаговых теорий в задачах жесткого реально-го времени, такие как отказ от логического всеведения, самопознание и темпоральная чувствительность. В дальнейшем планируется рассмотреть применимость созданного решателя к более сложной формальной системе – логике предикатов первого порядка.

2. An optimized design of serial logic comparator [№2 за 2022 год]
Authors: Niyonsaba T., Akimana A., Kibeya H., Uwizeyimana P.
Просмотров: 1764
В статье рассматривается один из важнейших элементов информационной системы – компаратор. Это комбинационная схема, которая используется для сравнения значений, принимая два числа в качестве входных данных и определяя, каким является каждое из них: больше, меньше или равно другому числу. Компараторы имеют множество применений в основной электронике и в современных цифровых СБИС, таких как пороговый детектор, детектор пересечения нуля, генератор релаксации, триггер Шмитта, процессоры цифровых сигналов. Анализируются основные научные работы о проектировании компаратора. Во многих из них, направленных на минимизацию потерь энергии и площади проектируемого компаратора, подчеркивается актуальность проблемы. Представлена эффективная конструкция 8-разрядного последовательного компаратора, основанная на методах блочной оптимизации. На первом этапе предлагаемый компаратор преобразует параллельные данные в последовательные. На втором этапе реализуется переключение для размещения данных в сдвиговом регистре. Только значения старшего бита двух регистров сравниваются через однобитовую ячейку компаратора в качестве третьего этапа. Предложенные миниатюрные схемы последовательного компаратора были реализованы с использованием программного обеспечения DSCH 3.5 и Microwind 2.0 и продемонстрировали хорошую работу. В статье рассматриваются также моделирование компоновки и параметрический анализ предлагаемой конструкции 8-битного компаратора. Предложенный последовательный компаратор требует меньше площади, количества циклов и потребляемой мощности по сравнению с существующими подходами.

3. Модуль группового многокритериального анализа решений на основе нечеткого расширения метода TOPSIS [№2 за 2022 год]
Авторы: Шершнев Р.В., Радаев А.В., Коробов A.В., Яцало Б.И.
Просмотров: 2819
Теория группового принятия решений широко применяется в различных областях человеческой деятельности. В рамках данной теории предложены различные методы голосования, оценки консенсуса среди участников группового анализа решений и рекомендаций по выбору/ранжированию альтернатив. Для практической реализации указанных методов разработаны компьютерные системы группового анализа и поддержки принятия решений. В данной работе представлен модуль DecernsFMCDA-G-FT для группового анализа решений с использованием нечеткой многокритериальной модели Fuzzy TOPSIS. Модуль является компонентом разрабатываемой системы поддержки принятия групповых решений DecernsFMCDA-G и содержит необходимый функционал для постановки задачи, сбора экспертной информации, проведения оценок и анализа результатов. Визуализация индивидуальных предпочтений и групповых оценок, а также возможность выбора различных подходов к ранжированию исследуемых альтернатив дают наглядное представление о процессе группового многокритериального анализа. При решении прикладных задач могут быть использованы входные нечеткие величины раз-личной формы, несколько методов вычисления функций от нечетких чисел, а также различные методы ранжирования нечетких величин. В качестве примера решена задача многокритериальной сортировки претендующих на работу кандидатов с использованием модуля DecernsFMCDA-G-FT. Разработанный модуль предназначен для использования в рамках университетских курсов по теории принятия решений, анализу и управлению рисками, а также для многокритериального анализа широкого круга научно-прикладных задач.

4. Нечеткая многокритериальная система поддержки принятия решений DecernsFMCDA [№2 за 2022 год]
Авторы: Грицюк С.В., Коробов А.В., Радаев А.В., Яцало Б.И.
Просмотров: 3635
Управление рисками при решении экологических проблем, задач охраны окружающей среды, реабилитации загрязненных территорий и планирования землепользования требует применения современных компьютерных систем поддержки принятия решений. В статье представлена компьютерная система поддержки принятия решений DecernsFMCDA, которая включает в себя как широко известные методы многокритериального анализа решений, так и оригинальные подходы к анализу неопределенностей, основанные на применении нечетких множеств и вероятностных методов. Сделан обзор доступных на сегодняшний день компьютер-ных систем многокритериального анализа решений, детально описаны структуры системы поддержки принятия решений DecernsFMCDA и ее основных компонент, а также отличия от других систем, реализующих методы многокритериального анализа решений. Перечислены классические, вероятностные и оригинальные нечеткие модели многокритериального анализа решений, реализованные в составе системы, приведены схемы и описания общей модульной архитектуры DecernsFMCDA и оригинальных библиотек многокритериального анализа решений, а также библиотеки работы с нечеткими числами. Практическое применение DecernsFMCDA рассматривается на примере многокритериальной задачи поиска оптимального способа производства одностенных углеродных нанотрубок, при решении которой используются оригинальные нечеткие модели FTOPSIS и FMAVT, реализованные в рамках системы. В настоящее время DecernsFMCDA является единственной системой, в которой фактически реализованы все основные методы для решения дискретных задач многокритериального анализа решений, в том числе в условиях неопределенности. Система позволяет формировать и исследо-вать сценарии с применением различных моделей многокритериального анализа решений, в том числе с разными наборами параметров заданных моделей, для последующего сравнения и анализа выходных результатов в рамках процесса поддержки принятия решений.

5. Разработка программ для поддержки принятия решений на основе байесовских вероятностных моделей [№2 за 2022 год]
Авторы: Кожомбердиева Г.И., Бураков Д.П., Хамчичев Г.А.
Просмотров: 3361
В статье представлены программы, ориентированные на применение в качестве инструмента поддержки принятия решений и реализующие оригинальные подходы к групповому экспертному рейтинговому оцениванию и нечеткому логическому выводу. В основу программ положены вероятностные модели на основе формулы Байеса, ранее предложенные авторами. В этих байесовских моделях входные оценочные данные интерпретируются как свидетельства в пользу той или иной гипотезы из множества возможных, определяемых спецификой модели: гипотез о месте того или иного объекта в рейтинге (в модели группового экспертного рейтингового оценивания) и о возможном значении выходной лингвистической переменной (в модели нечеткого вывода). Полученные свидетельства специфичным для модели способом трансформируются в набор байесовских условных вероятностей, вычисляемых в предположении истинности соответствую-щей гипотезы, а далее рассчитываются апостериорные распределения вероятностей на множестве этих гипотез. Апостериорные распределения используются как основа для несложного вычисления конечного результата: рейтинга объектов (в модели группового экспертного рейтингового оценивания) и дефаззифицированного значения выходной переменной (в модели нечеткого вывода). Обсуждаются особенности программной реализации моделей на платформе Java, отмечаются преимущества моделей.

6. Диагностирование функциональной пригодности развивающихся многофункциональных автоматизированных систем на основе перестраиваемой модели [№2 за 2022 год]
Автор: Логинов И.В.
Просмотров: 2758
В работе рассмотрена проблема недостаточного внимания к диагностической модели функциональной пригодности многофункциональных автоматизированных систем при высокой интенсивности потока заявок на новые сервисы автоматизации. Решить проблему предлагается путем изменения контура диагностики функциональной при-годности многофункциональных автоматизированных систем на основе уточнения границ объекта управления. При этом осуществляется перенос функций выявления изменений требований с внешнего проектирования систем (корректировки целей управления) на структурный синтез модели. Разработан подход к диагностированию функциональной пригодности многофункциональных автоматизированных систем на основе включения в состав модели дополнительных диагностических параметров изменения требований назначения, использования перестраиваемой диагностической модели, изменяющей свою структуру в зависимости от выявленных изменений требований назначения, а также внедрения дополнительных механизмов сбора данных о новых потребностях в автоматизации. Представлено описание облика программного средства информационно-аналитического обеспечения деятельности подразделения администрирования автоматизирован-ной системы, разработанного на положениях нормативных документов. Основой программного средства являются БД, поддерживающая перестраиваемую модель автоматизированной системы, и набор интерфейсов подключения программных средств мониторинга (функционального состояния и требований назначения). Рассмотрены механизмы сбора данных о требованиях назначения и их применение в рамках решения задачи диагностирования функциональной пригодности. Описано применение рассмотренного подхода к АСУ услугами связи, функционирующей на основе модели eTOM. В результате достигнуто снижение времени перестроения диагностической модели за счет применения модуля постобработки данных мониторинга на основе технологии process-mining. Показано, что повышение актуальности диагностической информации обеспечивает рост коэффициента функциональной пригодности автоматизированной системы на 1–6 % при ограничении ресурсов на модернизацию. Предложенный подход к диагностике функциональной пригодности эволюционирующих многофункциональных автоматизированных систем может быть использован при обосновании тактикотехнических требований к перспективным системам, а также при реализации системотехнических решений в рамках процессов их проектирования для обеспечения более высокой информированности инженерного персонала.

7. Об уточнении принципа организации контроля качества программных продуктов [№2 за 2022 год]
Автор: Тиханычев О.В.
Просмотров: 3607
Предметом данного исследования является процесс разработки ПО АСУ. Объект исследования – система контроля качества этого процесса. В настоящее время нормативные документы и модели оценки качества ПО построены на основе принципа, определяющего, что качество программ проверятся на соответствие исключительно требованиям технического задания на их разработку. Но, как показала практика, такой подход не отвечает в полной мере современным условиям, обеспечивая не контроль качества, а проверку соответствия программ ожиданиям заказчика, сформулированным еще на начальном этапе разработки. С учетом того, что требования заказчика могут быть сформулированы недостаточно полно и уточняться в ходе работы, сформированные показатели и критерии, определяющие оценку качества, в подобной ситуации не гарантируют обеспечения качества итоговых оценок. Этот тезис является актуальным при использовании как гибких, так и каскадных методов разработки. Для решения проблемы в статье использованы общенаучные методы анализа и синтеза. На основе анализа существующих подходов к оценке качества разработки ПО синтезированы предложения по уточнению базовых принципов его оценки. Сформулирована постановка научно-практической задачи и предложен один из подходов к ее решению, основанный на уточнении используемого в настоящее время подхода к оценке качества, перехода от заранее задаваемой жесткой модели к расширенной, оценивающей не только требования технического задания, но и условия их выполнения. Практическая значимость предлагаемого подхода в том, что его реализация обеспечит общее повышение эффективности автоматизированного управления за счет повышения эффективности и безопасности применения прикладных программ на основе уточнения базового принципа оценки качества, перехода к применению динамической модели оценки качества разрабатываемого ПО.

8. Оптимизация многомерного статистического контроля рассеяния показателей технологического процесса [№2 за 2022 год]
Авторы: Клячкин В.Н., Алексеева А.В.
Просмотров: 2251
Исследуется контроль стабильности многопараметрического технологического процесса, когда через определенные промежутки времени проводится мониторинг множества показателей этого процесса. При мониторинге рассеяния коррелированных показателей применяется алгоритм обобщенной дисперсии. В статье предложен подход, основанный на поиске оптимальных пара-метров этого алгоритма по критерию минимума затрат, связанных с контролем. Для мониторинга стабильности показателей процесса и выявления нарушений с целью его своевременной корректировки используется статистический контроль – широко распространенный метод диагностики и управления технологическими процессами. При контроле многопараметрического процесса часть его показателей коррелированы, в этом случае для контроля средне-го уровня применяют карты Хотеллинга, а для контроля многомерного рассеяния – алгоритм обобщенной дисперсии. Для минимизации параметров алгоритма обобщенной дисперсии использованы три численных метода оптимизации. Программа написана на языке Python. В работе предложена методика и разработана соответствующая программа для оптимизации параметров многомерного статистического контроля рассеяния процесса по критерию минимизации затрат, связанных с контролем частоты взятия выборок (интервала между выборками), объема выборки и положения контрольных границ. Применение этой методики проиллюстрировано на примере данных конкретного технологического процесса: получены численные значения пара-метров контроля и ожидаемые затраты. Многомерный статистический контроль применяется как для мониторинга стабильности технологических процессов (например, механической обработки, производства лекарств, контроля качества очистки питьевой воды), так и для диагностики функционирования систем различного назначения (например, вибраций гидроагрегата). Этим объясняются актуальность и практическая значимость исследований.

9. Дополнение к алгоритму кластеризации беспроводной сенсорной сети [№2 за 2022 год]
Авторы: Татарникова Т.М., Бимбетов Ф., Горина Е.В.
Просмотров: 2858
В статье предлагается алгоритм, который развивает идею кластеризации беспроводных сенсорных сетей с целью снижения энергопотребления сенсорными узлами. Выбор способа организации информационного взаимодействия является одной из актуальных научных задач при развертывании работы интернета вещей. В свою очередь, беспроводная сенсорная сеть, составляющая физическую основу интернета вещей, имеет серьезное ограничение – требование низкого энергопотребления. От энергопотребления зависит срок службы сети – времени, в течение которого она будет выполнять свои функции. Энергия сенсорных устройств расходуется на прием и передачу данных, их обработку, вычисление маршрута. Требуются новые алгоритмы, направленные на снижение количества операций обработки данных, длины маршрута и т.д. без потери функциональности сети. Одним из таких механизмов является кластеризация беспроводной сенсорной сети, позволяющая снизить энергопотребление за счет передачи части функций на головные узлы кластеров. Предложенный в работе алгоритм роя пчел развивает идею поиска головных узлов кластеров беспроводной сенсорной сети. Согласно ему, в начале цикла определяются сразу глава кластера текущего раунда и потенциальные главы кластеров для остальных раундов цикла. Таким образом, со второго раунда цикла фаза выбора головного узла кластера становится лишней, а сенсорные узлы избавляются от некоторых вычислений, связанных с выбором главы кластера. Результаты имитационного моделирования показали превосходство алгоритма роя пчел в сравнении с известным алгоритмом адаптивной кластеризации с низким потреблением энергии LEACH по показателю продолжительности функционирования беспроводной сенсорной сети.

10. Алгоритмы управления процессами в реагирующих сенсорных сетях для задач защиты объектов [№2 за 2022 год]
Автор: Виноградов Г.П.
Просмотров: 2594
Локализация, классификация и отслеживание объектов вторжения в защищаемую зону особо важных объектов составляют основу системы их защиты. Цель автора статьи – исследование путей повышения эффективности функционирования системы путем использования распределенных сенсорных сетей в составе киберфизических систем. Показано, что достижение этой цели предполагает организацию взаимодействия алгоритмов отслеживания с традиционными алгоритмами инициализации/маршрутизации в сенсорных сетях. Рассматривается проблема совместной обработки данных узлами в распределенных сенсорных сетях. Предметом рассмотрения являются актуальные и сложные методы отслеживания множества движущихся объектов в защищаемой зоне, реализация которых средствами сенсорных сетей предполагает решение ряда проблем, среди которых следует выделить две основные. Первая – это разработка эффективных методов обмена информацией между локальными узлами в зоне вторжения, вторая – организация совместной обработки сигналов группой узлов на основе собранной информации о состоянии среды в зоне их ответственности в результате наступления событий. Показано, что основные этапы процедуры отслеживания состоят из обнаружения целей, их классификации, оценок местоположения и прогнозирования траектории передвижения цели. Модельным примером реализации процедуры принята задача обнаружения, локализации и отслеживания проникновения одного объекта в защищаемую зону. Рассмотрены подходы, лежащие в основе этих алгоритмов, а также основные аспекты их реализации. Предлагаемые решения учитывают ограничения, связанные с возможностями локальных уз-лов, сетью в целом и маршрутизацией. Источником данных для предлагаемых алгоритмов являются сигналы от звуковых, сейсмических, тепловых и т.п. сенсоров, у которых мощность сигнала имеет выраженный максимум в зависимости от расстояния от цели до узла сети. Полученные результаты распространяются на проблему отслеживания множества объектов, что предполагает оценку применимости методов идентификации и классификации в условиях, когда наблюдается наложение воспринимаемых сигналов сенсорами разных объектов. Обсуждаются алгоритмы для решения таких задач.

| 1 | 2 | Следующая →