На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

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

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

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

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

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

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

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

1. Web-ориентированная система формирования контента единого цифрового пространства научных знаний [№3 за 2020 год]
Авторы: Власова С.А., Калёнов Н.Е., Сотников А.Н.
Просмотров: 6573
В статье рассматривается web-ориентированный программный комплекс «Экспертиза», пред-назначенный для экспертной оценки объектов различного вида, подлежащих включению в единое цифровое пространство научных знаний. В качестве оцениваемых объектов могут выступать электронные публикации, каталоги библиотечных фондов, БД и информационные системы, относящиеся к конкретному научному направлению, и другие виды ресурсов. Оценка объектов осуществляется в рамках сессии, под которой понимается процесс экспертизы, характеризуемый заданны-ми сроками и определенным составом экспертов и объектов. Программный комплекс состоит из двух модулей – административного и пользовательского и поддерживает две БД – экспертов и объектов. Административный комплекс обеспечивает настройку системы на определенную сессию (формирование профилей метаданных экспертов и объектов, таблиц оценок, текста писем, автоматически рассылаемых экспертам), ввод и редактирование атрибутов экспертов и объектов в соответствии с установленными профилями метаданных, просмотр присвоенных объектам оценок, формирование рейтинговых списков оцененных объектов. Пользовательский блок ориентирован на работу авторизованных экспертов. Он предоставляет возможность оценить объект, выбрав одну из оценок из нормализованной таблицы. Каждая оценка состоит из пары элементов – словесное выражение и соответствующее ему числовое. Интерфейс пользовательского блока позволяет каждому эксперту при необходимости изменить свою оценку, ранее присвоенную объекту. В статье приводятся подробное описание функциональности комплекса «Экспертиза» и технология работы с ним, иллюстрируемая конкретными примерами. В 2019 году программный комплекс был опробован на двух всероссийских конкурсах – на лучшую научную монографию и на лучшую студенческую квалификационную работу. На конкурсы было представлено несколько сотен работ, в их оценке участвовали несколько десятков экспертов из различных регионов страны.

2. Параллельные процессы и программы: модели, языки, реализация на системах [№3 за 2020 год]
Авторы: Кутепов В.П., Ефанов А.А.
Просмотров: 5553
Предлагаются модели и языки параллельных процессов и программ, имеющие более широкие возможности для описания параллелизма по сравнению с известными моделями и языками, созданными для этой цели. Понятие актора, выполнение актов и взаимодействие акторов при выполнении процесса – базовые элементы описания процессов. В качестве общей формы задания процессов используются си-стемы рекурсивных уравнений, правыми частями которых являются группы взаимодействующих при выполнении процесса акторов. Графическая и текстовая формы описания процессов и принцип инициализации выполнения акта по готовности поступающих на входы соответствующего ему актора сигналов (данных) от влияющих на него акторов создает необходимые условия для эффективного описания процессов, их анализа, модификации и параллельного выполнения. Интерпретация акторов процесса как процедур обеспечивает прямой переход от языка процессов к высокоуровневому языку модульного потокового параллельного программирования. Рассмотрены главные проблемы реализации предложенных языков на компьютерных системах: однозначное именование порождаемых при взаимодействии процессов актов, организация управления процессами на компьютерных системах. В статье рассматриваются более общие (в отличие от классических) модель и язык процессов. Они позволяют описывать группы взаимодействующих процессов при задании общего процесса в виде системы процессных уравнений. Динамически порождаемое структурное описание причин-но-следственных зависимостей между акторами процесса в группах и использование механизма активизации актора при поступлении необходимых сигналов (данных) на соответствующие его входы обеспечивают без ограничений реализацию параллелизма и асинхронности при выполнении актов процесса. Использование рекурсивных определений переменных в системе уравнений, описывающей процесс, создает условия для динамического порождения групп процессов. На основе описанной в статье модели процессов создан язык параллельного программирования, реализуемый на компьютерных системах.

3. Особенности проектирования и программирования при создании информационных систем [№3 за 2020 год]
Автор: Гутгарц Р.Д.
Просмотров: 6084
На рынке функционального ПО, предназначенного для автоматизации различных задач и уровней управления на предприятиях и в организациях, представлено большое количество готовых проектных решений. Такие приложения, как правило, позиционируются как типовые и обеспечивают адаптацию к конкретным условиям на объекте автоматизации путем настройки специальных параметров и (или) сравнительно небольшого объема дополнительного программирования. Однако количество хозяйствующих субъектов велико, все они отличаются производственными мощностями, ассортиментом продукции и другими характеристиками. В рыночной экономике каждый из них заинтересован в сохранении и развитии своих конкурентных преимуществ, поэтому не всегда возможно найти подходящую автоматизированную информационную систему, которая удовлетворяла бы всем требованиям. И тогда возникает необходимость создать систему в соответствии с индивидуальным заказом. В таких случаях ее качество будет полностью зависеть от правильности сформулированных требований со стороны заказчика и профессионализма разработчика. Требования сводятся к алгоритмам для решения задач, а сами алгоритмы определяются и согласуются на этапе проектирования информационной системы. При программировании выполняется только кодирование алгоритмов, то есть их запись в виде формальных конструкций на алгоритмическом языке, пригодных для исполнения на компьютере. В статье показана реальная зависимость этапа программирования от этапа проектирования, поскольку программирование всегда вторично по отношению к проектированию. Исключением является использование технологий для быстрой разработки приложений, когда между двумя этапами образуется неразрывная связь и по существу они объединяются в один. Доказана важность проектирования и рассмотрены некоторые его особенности. Для иллюстрации приведены примеры проектных решений.

4. Структуры данных и модификация метода Квайна–МакКласки при минимизации нормальных форм [№3 за 2020 год]
Авторы: Гданский Н.И., Денисов А.А., Куликова Н.Л.
Просмотров: 4390
Логические методы анализа и синтеза систем самой различной природы обычно основаны на использовании описаний их структур и процессов в них в виде булевых функций, которые для унификации представления эквивалентно приводятся к конъюнктивным нормальным формам. Для исходных систем и процессов, как правило, основным критерием оптимальности является минимальное число составляющих их компонент, при котором упрощается структура, уменьшается стоимость и повышается надежность, поэтому для модельных конъюнктивных нормальных форм большое практическое значение имеет задача их минимизации. Эффективность алгоритмов, обрабатывающих сложные объекты (к которым относятся и конъюнктивные нормальные формы), существенно зависит от основных и вспомогательных структур данных, используемых для представления этих объектов, поэтому на основе анализа существующих структур разработана новая комплексная трехуровневая структура данных для представления конъюнктивных нормальных форм. Нижний уровень всей комбинированной структуры представляет собой структура данных для одиночного дизъюнкта. Средний уровень образуют списки дизъюнктов с одним и тем же числом литер. На верхнем уровне вся конъюнктивная нормальная форма задается массивом списков, упорядоченных по длинам входящих в них дизъюнктов. Использование списков, указателей на них и отдельные элементы, упорядоченность дизъюнктов по длинам дают возможность радикально сократить операции по перезаписи информации, ее упорядочению в процессе преобразования конъюнктивных нормальных форм. На основе разработанной комплексной структуры данных разработана модификация известно-го метода Квайна–МакКласки, применяемого для сокращения совершенных нормальных форм. Совместное применение предложенной структуры данных и модифицированного метода позволяет существенно уменьшить общее число операций при минимизации конъюнктивных нормальных форм по сравнению с базовой версией метода Квайна–МакКласки. Оно достигается за счет сокращения повторной обработки данных, а путем использования специальных логических условий достигается дополнительное сокращение общего числа проверок литер в дизъюнктах при их сравнении.

5. Агентно-ориентированные модели, методика и средства разработки совместимых решателей задач интеллектуальных систем [№3 за 2020 год]
Авторы: Голенков В.В., Шункевич Д.В.
Просмотров: 5975
Статья посвящена созданию агентно-ориентированных моделей, методики и средств разработки совместимых решателей задач интеллектуальных систем, способных решать комплексные задачи. Рассматриваются требования, предъявляемые к таким решателям, модель решателя задач, удовлетворяющего предъявленным требованиям, а также методика и средства разработки и модификации таких решателей. Главной проблемой, рассматриваемой в работе, является низкая согласованность принципов, лежащих в основе реализации различных моделей решения задач. Как следствие, существенно затруднено одновременное использование различных моделей решения задач в единой системе при выполнении одной и той же комплексной задачи, практически невозможно повторно использовать технические решения, реализованные в какой-либо системе, кроме того, фактически нет комплексных методик и инструментальных средств, способных обеспечить процесс разработки решателей задач на всех этапах. Предлагается в качестве основы для решения проблемы совместимости решателей задач использовать мультиагентный подход, а процесс решения любой задачи разделять на логически атомарные действия, которые позволят обеспечить совместимость и модифицируемость разрабатываемых решателей. Решатель предлагается рассматривать как иерархическую систему, состоящую из нескольких взаимосвязанных уровней, что позволяет обеспечить возможность независимого про-ектирования, отладки и верификации компонентов на разных уровнях. Предложенные модели, методика и средства применены при разработке ряда прототипов интеллектуальных систем обучающего назначения, а также прототипа системы автоматизации рецептурного производства.

6. Применение передачи обучения в семиотических моделях к проблеме фуражирования с реальными роботами [№3 за 2020 год]
Авторы: Воробьев В.В., Ровбо М.А.
Просмотров: 5350
В статье рассматриваются особенности применения алгоритма передачи обучения для агентов с семиотическими моделями мира к задаче фуражировки с реальными роботами. Роботу необходимо собирать случайно размещаемую еду, которая при подборе появляется на новом случайном месте в пределах полигона. Мобильный робот управляется агентом с моделью мира, описываю-щей показания с датчиков как предикаты. Агент принимает решения на основе таблицы оценок состояний-действий с Q-обучением. Он предобучен на упрощенной модельной среде с дискретными состояниями, в которой действия выполняются гарантированно с детерминированным исходом. В реальной среде и в ее модели с учетом физики действия могут быть выполнены некорректно в силу ошибки планировщика, погрешностей локализации и других проблем, а состояния среды определяются путем анализа данных с датчиков, работающих с непрерывным миром. Показаны возможность реализации соответствующих интерфейсов и переносимость концепции с упрощенной модельной среды как на ее более полную модель с учетом физики, так и на реального робота. Перенос обучения также происходит успешно, однако итоговые показатели работы снижаются (вероятно, из-за неверности предположения о детерминированности мира в реальной среде) и роботу требуется дообучение. В качестве симулятора реальной среды с учетом физики использовался Gazebo, а реальный полигон был оборудован специальными маркерами и ка-мерами для локализации. Использовались также элементы дополненной реальности в виде модуля виртуальной еды.

7. Семантические модели и метод согласованной разработки баз знаний [№3 за 2020 год]
Авторы: Гулякина Н.А., Давыденко И.Т.
Просмотров: 4420
В работе рассматривается подход к созданию легко модифицируемых гибридных баз знаний на основе семантических сетей с базовой теоретико-множественной интерпретацией. Предложена семантическая модель баз знаний, включающая семейство онтологий верхнего уровня, обеспечивающих совместимость различных видов знаний. Отличительной особенностью модели является использование в качестве базового элемента не атомарных элементов семантической сети, а знаков фрагментов базы знаний, названных структурами. Предложенная модель позволяет обеспечить согласованность различных видов знаний в рамках базы знаний, а также возможность структурирования баз знаний по произвольному набору признаков. Кроме того, в работе рассмотрен метод разработки баз знаний, построенных на основе указан-ной модели, ориентированный на согласованную разработку базы знаний распределенным коллективом разработчиков. Отличительными особенностями метода являются его ориентация на повторное использование разработанных ранее компонентов баз знаний различной степени сложности, а также наличие формальной онтологии, описывающей деятельность разработчиков баз знаний в соответствии с методом. Предложенный метод реализован в виде системы поддержки коллективной разработки баз знаний, которая встраивается как типовая подсистема в каждую разрабатываемую систему и таким образом обеспечивает возможность разработки базы знаний непосредственно в процессе ее эксплуатации. Применение предложенных моделей, метода и средств позволяет обеспечить семантическую совместимость различных фрагментов, включаемых в базу знаний, а также сократить время, затрачиваемое на разработку баз знаний.

8. Особенности SDN-технологии от Cisco Systems [№3 за 2020 год]
Автор: Лисецкий Ю.М.
Просмотров: 7516
Статья посвящена программно-определяемым сетям, занимающим в настоящее время доминирующее положение по сравнению с классическими сетями, которые с их традиционными инструментами управления и автоматизации оказались не готовыми к современной динамике изменений конфигурации и масштабирования, а также к виртуализации. Концепция распределенного управления, при которой вся интеллектуальная составляющая работы сети была распределена по сетевому оборудованию, стала недостаточно эффективной. Именно этим обусловлено появление новой концепции и технологии SDN (Software-defined Networking) – сети, в которой уровень управления отделен от уровня передачи данных и реализован программно. Таким образом, в соответствии с концепцией SDN вся логика управления сетью должна быть изъята из сетевых устройств и реализована на отдельном сервере – SDN-контроллере. В статье рассмотрены SDN-технологии компании Cisco Systems, их развитие и особенности. Существенное отличие этих технологий в их несоответствии основному принципу SDN, который заключается в разделении control-plane c data-plane. В своих технологиях, таких как ACI и SD-Access, Cisco сохраняет на сетевых устройствах значительный cоntrol-plane-функционал, расши-рив его некоторыми дополнительными возможностями. Основой данных технологий являются overlay-сети – логическая топология, используемая для виртуального соединения устройств и по-строенная поверх произвольной физической (underlay) топологии. Новой технологией Cisco в области WAN-сетей является SD-WAN, представляющая собой ре-зультат применения SDN-концепции к распределенным сетям. Среда передачи SD-WAN – овер-лей, работающий через Internet. Как и свойственно SDN-технологиям, в SD-WAN, в отличие от SD-ACCESS, соблюдено разделение control-plane и data-plane с вынесением функционала control-plane на отдельные специализированные устройства. Как результат смены идеологии построения enterprise-сетей компания Cisco представила новую концепцию построения сетей – DNA, которая также дает возможность на основе облачных технологий получать сервисы из облака Cisco.

9. Разработка модификации метода опорных векторов для решения задачи классификации с ограничениями на предметную область [№3 за 2020 год]
Авторы: Михайлов И.С., Зеар Аунг, Йе Тху Аунг
Просмотров: 8490
Метод опорных векторов (support vector machine, SVM) является одним из методов интеллектуального анализа данных для решения задачи классификации. Его основная идея заключается в переводе исходных векторов в пространство более высокой размерности c применением метода ядра для обеспечения линейной разделимости классов и в поиске разделяющей гиперплоскости с максимальным зазором между гиперплоскостью и опорными векторами в этом пространстве. Несмотря на высокую точность работы, метод имеет и недостатки – отсутствие общего подхода к автоматическому выбору ядра, а также высокую вычислительную сложность. В связи с этим разработана модификация алгоритма опорных векторов (алгоритм FS-SVM) для решения задачи классификации с ограничениями на предметную область. Сформулировано ограничение функциональной разделимости классов, накладываемое на предметную область, которое позволит применить алгоритм FS-SVM. Проведено теоретическое исследование обоснованности данных предположений. Введены формальные определения функциональной разделимости на основе непрерывности и монотонности разделяющей функции и производной разделяющей функции. Проведено сравнение понятий функциональной разделимости классов и выпуклости классов. В статье рассмотрены основные блоки предложенного алгоритма FS-SVM: поиск опорных элементов, определение точек разделяющей гиперповерхности, построение разделяющей гиперповерхности как кусочно-линейной функции в проекции на рассматриваемые оси координат. В дальнейшем указанную функцию алгоритма предлагается аппроксимировать многочленом Чебышева для получения гладкой кривой. В качестве примера предметной области, в которой может применяться алгоритм FS-SVM, приводится задача классификации режимов течения нефтеводогазового потока по исходных данным, регистрируемым на устье нефтяной скважины.

10. Экспериментальное сравнение эффективности алгоритмов оптимизации BDD-представлений систем булевых функций [№3 за 2020 год]
Авторы: Бибило П.Н., Ланкевич Ю.Ю.
Просмотров: 5528
В статье описываются результаты экспериментального сравнения программ технологически независимой минимизации сложности многоуровневых представлений систем полностью определенных функций на основе разложения Шеннона. Графической формой таких представлений являются Binary Decision Diagrams (BDD) – диаграммы двоичного выбора. Порядок переменных, по которым ведется разложение Шеннона, влияет на размер BDD, поэтому задача минимизации сложности формы представления сводится к поиску оптимального порядка переменных разложения, при котором количество вершин графа BDD будет минимальным. Для поиска оптимального порядка переменных разложения используются эвристические алгоритмы, поскольку полный перебор для задач большой размерности сложно либо невозможно осуществить за приемлемое время с использованием современных вычислительных средств. Сравниваются результаты, полученные с помощью новых и ранее предложенных эвристик. После получения минимизированных по числу вершин графов BDD, заданных в виде совокупности взаимосвязанных формул разложения Шеннона, выполняется синтез логических схем в одной и той же библиотеке проектирования заказных цифровых КМОП сверхбольших интегральных схем, результаты сравниваются по площади кристалла и по быстродействию (временной задержке). Дополнительного сокращения сложности логических описаний и улучшения результатов синтеза схем во многих случаях можно добиться, выполняя дополнительную логическую минимизацию на основе булевых сетей. Критерием оптимизации в данном случае является число вершин булевой сети без учета инверсий булевых переменных, что хорошо согласуется с критерием «число литералов» при оптимизации многоуровневых логических схем.

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