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

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

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

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

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

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

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

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

1. Problem solving experience in data visualization using ArcGIS software [№1 за 2019 год]
Author: Youssef Al-Damlakhi
Просмотров: 4856
Большинство пользователей программных средств геоинформационных систем, в частности ArcGIS, используемых для реализации тех или иных приложений и для визуализации 3D-данных, не уделяют большого внимания совместимости входных данных. В частности, это касается системы координат и проекций, которые являются основой работы в геоинформационных системах. В результате возникают проблемы, особенно у пользователей, работающих с программами геоинформационных систем без опыта или базовых знаний в области картографии и геодезии. В настоящей статье представляются некоторые из возможностей компоненты ArcScene для визуализации и отображения 3D-данных. Кроме того, рассматриваются наиболее часто встречающиеся проблемы, с которыми приходится сталкиваться пользователям, например, при отображении визуализации 3D-данных в компоненте ArcScene, а также при отображении уклонов поверхности земли с учетом данных слоя цифровых моделей рельефа в компоненте ArcMap. В работе приводятся примеры, подробно описываются причины и способы разрешения трудностей.

2. Модель надежности отказоустойчивого кластера с миграцией виртуальных машин [№1 за 2019 год]
Авторы: Алексанков С.М., Богатырев В.А., Деркач А.Н.
Просмотров: 6907
Обеспечение высокой надежности, отказоустойчивости и непрерывности вычислительного процесса компьютерных систем поддерживается при объединении вычислительных ресурсов в кластеры и основывается на использовании технологии виртуализации в результате перемещения виртуальных ресурсов, служб или приложений между физическими серверами при поддержке непрерывности вычислительных процессов. В качестве объекта исследования рассматривается отказоустойчивый кластер, который в простейшем случае состоит из двух физических серверов (основного и резервного), связанных через коммутатор. В каждом сервере установлен локальный жесткий диск. На локальных дисках серверов развернута распределенная система хранения данных с синхронной репликацией данных с исходного сервера на резервный. На кластере запущена виртуальная машина. Система предполагает запуск теневой копии виртуальной машины на резервном сервере, что позволяет в случае отказа основного сервера продолжить вычислительный процесс на виртуальной машине резервного сервера. В качестве показателя надежности используются коэффициенты стационарной и нестационарной готовности. Предложена марковская модель надежности отказоустойчивого кластера, учитывающая издержки на миграцию виртуальных машин, а также механизмы, обеспечивающие непрерывность вычислительного процесса (сервиса) в кластере в случае отказа одного физического сервера. В результате миграции в памяти поддерживаются две копии виртуальной машины, расположенные на разных физических серверах, чтобы в случае отказа одного из них продолжить работу на другом. Построена упрощенная модель отказоустойчивого кластера, пренебрегающая издержками на миграцию виртуальных машин при восстановлении кластера и дающая верхнюю оценку надежности. Показано существенное влияние на надежность отказоустойчивого кластера (оцениваемую по нестационарному коэффициенту готовности) процесса ми-грации виртуальных машин. Полученные результаты могут быть использованы при обосновании выбора технологии обеспечения отказоустойчивости и непрерывности вычислительного процесса компьютерных систем кластерной архитектуры.

3. Сравнение эффективности адаптивных алгоритмов светофорного регулирования в среде AnyLogic [№1 за 2019 год]
Автор: Андронов С.А.
Просмотров: 5469
В статье рассматриваются моделирование и управление транспортным потоком в зависимости от интенсивности дорожного движения. Разработаны и реализованы имитационные модели в среде пакета программ AnyLogic ряда адаптивных алгоритмов управления транспортным потоком, таких как мягкое программирование светофорных объектов с использованием нечеткой логики, разъезда очередей, поиска разрывов в транспортном потоке, поисковой оптимизации с использованием формулы Вебстера, прямой минимизации транспортных задержек в процессе имитации и мягкое программирование светофорных объектов с использованием нечеткой логики. В процессе имитационного моделирования, в том числе в условиях движения на реально существующих перекрестках мегаполиса, выполнено сравнение возможного эффекта от применения перечисленных адаптивных алгоритмов с работой светофора с фиксированной длительностью фаз при различной загруженности транспортной сети. Приведены диаграммы границ эффективности рассмотренных алгоритмов в широком диапазоне изменения параметров. Сравниваемые алгоритмы упорядочены по эффекту пропускной способности перекрестка в диапазонах принятых исходных данных. Результаты моделирования показывают, что установка систем адаптивного регулирования позволяет уменьшить время простоя автомобилей (нагрузку на двигатели, расход бензина, вредные выбросы) по сравнению с обычным светофором в среднем от 5 до 50 %. Оптимизационный принцип построения адаптивного регулирования показывает значительно больший эффект повышения пропускной способности перекрестка по сравнению с работой алгоритмов типа «пропуск очередей» и «поиск разрывов» в широком диапазоне изменения интенсивностей транспортного потока. Про-межуточное положение занимает алгоритм работы светофора с нечеткой логикой. Эксперимент «анализ чувствительности» в программе AnyLogic демонстрирует достаточно пологую зависимость критерия оптимизации транспортного потока от оптимального значения интенсивности проехавших транспортных средств.

4. Интеграция САПР для синтеза логических схем с использованием глобальной оптимизации [№1 за 2019 год]
Авторы: Бибило П.Н., Романов В.И.
Просмотров: 9513
Предлагается технология проектирования цифровых устройств, позволяющая выполнять логическое моделирование VHDL-описаний комбинационной логики, формировать соответствующие системы булевых функций, проводить их ло-гическую оптимизацию и синтезировать логические схемы в различных технологических библиотеках логических эле-ментов. Интеграция программных средств в рамках этой технологии основывается на использовании скриптов и BAT-файлов, которые поддерживаются современными САПР. Исходные VHDL-описания могут задавать как алгоритмические, так и функциональные описания – таблицы истин-ности систем полностью либо неполностью определенных булевых функций, системы дизъюнктивных нормальных форм, описания многоуровневых (скобочных) логических уравнений. Как исходные VHDL-описания могут использо-ваться также структурные описания логических схем, синтезированных в различных целевых технологических библио-теках, в этом случае осуществляется их перепроектирование в другой базис логических элементов. Переход от VHDL-описаний к системам булевых функций происходит на основе логического моделирования на всех возможных наборах (полных тестах) значений входных переменных. Для логической оптимизации используются мощные программы совместной и раздельной минимизации систем бу-левых функций в классе дизъюнктивных нормальных форм, а также программы минимизации многоуровневых BDD-представлений систем булевых функций на основе разложения Шеннона. Для проведения проектирования достаточно указать исходное VHDL-описание, способ логической оптимизации и целевую библиотеку логических элементов, используемую в синтезаторе LeonardoSpectrum. На основании полученных данных автоматически формируется BAT-файл, осуществляющий синтез с использованием глобальной логической оп-тимизации. Пользователь может оценить найденное решение, сравнив его с другим, получаемым синтезатором LeonardoSpectrum по исходному описанию без выполнения предварительной оптимизации.

5. О применении жадных алгоритмов в некоторых задачах дискретной математики [№1 за 2019 год]
Автор: Бойков В.А.
Просмотров: 5429
Алгоритмы, основанные на идее локальной оптимальности, кажутся естественными и являются соблазном при решении задач оптимизации. Однако задачи оптимизации, которые будут рассмотрены в данной статье, многошаговые, а получение жадными алгоритмами оптимального решения в многошаговых задачах, вообще говоря, не гарантировано. Это будет показано на примерах решения транспортной задачи, задачи о кратчайшем расстоянии между городами на заданной сети дорог и задачи коммивояжера. Объектами проведенного исследования являются жадные алгоритмы, примененные к решениям таких задач. В работе приводится пример парадоксального решения одной транспортной задачи малой размерности. При ее решении одним из жадных алгоритмов строится план перевозок продукции. Однако этот план не является оптимальным и обладает парадоксальным свойством. А именно: по маршруту, который оказывается самым дешевым в оптимальном плане, перевозка не осуществляется. Оптимальное решение рассмотренной задачи достигается с помощью пакета Mathcad. На примере задачи о кратчайшем расстоянии показано, что жадный алгоритм тоже не приводит к оптимальному пути. А три контрпримера на евклидовых графах показывают, что, вообще говоря, невозможно получить оптимальный марш-рут даже при расчете вариантов на несколько шагов вперед. В качестве третьего примера применения жадного алгоритма для решения задачи коммивояжера рассматривается метод ближайших городов. С его помощью описывается последовательное построение гамильтонова цикла. Приведенная версия алгоритма застрахована от получения несвязных графов в процессе решения. Далее длина полученного гамильтонова цикла используется как верхняя оценка при реализации простейшей версии метода ветвей и границ. Опти-мальность полученного решения проверяется с помощью программы, выполненной в пакете Mathcad. В рассмотренных примерах решения, полученные с помощью жадных алгоритмов, используются в качестве начального приближения для дальнейшей оптимизации целевой функции.

6. Использование формулы Байеса при оценивании качества программного обеспечения согласно стандарту ISO/IEC 9126 [№1 за 2019 год]
Авторы: Бураков Д.П., Кожомбердиева Г.И.
Просмотров: 6050
В статье обсуждается способ использования подхода, основанного на применении известной формулы Байеса, для оценивания качества программных продуктов в рамках моделей качества и процесса оценивания, предусмотренных стандартом ISO/IEC 9126 (ГОСТ Р ИСО/МЭК 9126-93). Кратко описываются модели качества ПО и процесса оценива-ния, предлагаемые стандартом ISO/IEC 9126 и заменившим его стандартом ISO/IEC 25010:2011, указывается место применения подхода при реализации процесса оценивания. Оценку качества ПО предлагается представлять в виде распределения вероятностей на множестве гипотез о том, что качество оцениваемого программного продукта достигло одного из предопределенных уровней ранжирования, преду-смотренных моделью. С использованием формулы Байеса формируется апостериорное распределение вероятностей, базирующееся на пересмотренном и уточненном в ходе оценивания качества априорном распределении вероятностей, сформированном перед началом процедуры оценивания. В качестве исходных данных для получения вероятностей ис-пользуются результаты измерения разнородных метрик произвольного набора атрибутов качества, определяемых мо-делью качества, причем подход позволяет использовать как метрики, измеренные непосредственно, так и получившие свои значения в результате экспертного оценивания. Предлагаемый подход позволяет получать осмысленные оценки качества даже в случае наличия неполных, неточных и противоречивых результатов измерения метрик качества.

7. Основные принципы создания систем автоматизации проектирования и управления в машиностроительных производственных системах [№1 за 2019 год]
Авторы: Бурдо Г.Б., Семенов Н.А.
Просмотров: 5220
Современное наукоемкое машиностроение и приборостроение относятся к высокотехнологичной сфере производства и имеют свои особенности, которые предопределяют специфику происходящих в них процессов. Поэтому исследование этих особенностей в настоящее время достаточно актуально и востребовано. В данной статье показаны результаты работы, направленной на выявление процессов, выполняемых в производственных системах, на их автоматизацию и построение эффективных алгоритмов принятия решений. Дана классификация видов процессов производственных систем машиностроения, определены критерии оценки эффективности. Указанные процессы были исследованы как выполняемые в рамках жизненного цикла продукции на этапах конструирования и изготовления изделий надлежащего качества. Рассмотрены шесть направлений совершенствования процедур принятия решений при выполнении процессов в производственной системе. Было установлено, что принятие решений должно основываться на определенных критериях их оценки. Основополагающим критерием, по мнению авторов, должно быть качество изделия, определяющее конкурентоспособность продукции в определенном ценовом диапазоне. Качество и сроки изготовления продукции определяются не только совершенством процессов, но и структурой технологических подразделений производственной системы, поэтому рассмотрены критерии, оценивающие состав этих подразделений. Для интеграции процессов, выполняемых в производственных системах, использован системный подход, алгоритмы выработки решений реализуются с использованием аппарата искусственного интеллекта.

8. Прогнозирование развития технических систем на основе закономерностей их строения при использовании банков фундаментальных знаний [№1 за 2019 год]
Автор: Бутенко Д.В.
Просмотров: 2980
Настоящая статья посвящена применению технологий к инженерно-техническому творчеству как генеральному ат-трактору научно-познавательной деятельности. Инженерное творчество как самостоятельная дисциплина опирается на фундаментальные законы строения, функционирования и развития систем, которые имеют первостепенное значение для практики получения новых решений в любой области знания. В статье на примере химии и химической технологии обосновывается необходимость использования указанных законов, что вытекает прежде всего из требований получения практически пригодных технико-технологических решений, демонстрирующих качественно новые состояния проектируемых систем и новых технических изделий. Применение для химии обусловлено наличием формализации представления информации в данной области знания. Активное использование современных компьютерных технологий позволяет эффективно решать задачи базовой проблематики общих законов строения и развития техники – установление и применение изоморфных закономерностей для технических объектов различной природы, которые, в свою очередь, являются объективной основой для открытий, изобретений и совершенствования техники и технологий. В статье рассмотрены аналогичные современные разработки, показаны их достоинства и недостатки и представлена авторская интеллектуальная технология использования указанных закономерностей в области химической технологии в сочетании с использованием инструментария автоматизированных банков фундаментальных знаний. Описанные результаты открывают общие перспективы технологий технического творчества – возможность получения патентоспособных результатов интеллектуальной деятельности с высокой степенью новизны и конкурентоспособностью, которые могут быть усилены с помощью новейших вычислительных средств.

9. Использование нечетко-множественного подхода при управлении заданиями ИТ-проекта [№1 за 2019 год]
Авторы: Диязитдинова А.Р., Лиманова Н.И.
Просмотров: 8225
Распределение и назначение ресурсов относятся к сложным многокритериальным задачам. В связи с этим в управ-лении проектами по созданию программных продуктов актуальной представляется задача разработки эффективных и универсальных методов оптимального распределения работ между исполнителями. Одним из возможных инструментов повышения обоснованности решений, принимаемых руководителем проекта компаний, занимающихся разработкой программных продуктов, может выступить нечеткая логика, которая позволяет оперировать слабоструктурированной и неточной информацией с использованием естественного языка. В статье предлагается модель нечеткой продукционной системы для управления заданиями ИТ-проекта, позволяю-щая оперировать естественно-языковыми категориями с целью повышения эффективности принятия решений в услови-ях неопределенности и снижения затрат при возникновении неблагоприятных ситуаций. Рассмотрены особенности про-екта по созданию программного продукта, разработана типовая схема процесса управления заданиями в ИТ-проекте, показана целесообразность применения аппарата нечетких систем для управления заданиями. Использование матема-тического аппарата нечеткой логики позволит руководителю проекта работать с переменными, выраженными в каче-ственных категориях, без перехода к средним значениям, что будет способствовать повышению качества принимаемых решений при управлении проектом. В рамках работы рассматривается задача оценки успешности выполнения задания (тикета) разработчиками. Выде-лены шесть входных лингвистических переменных и одна выходная, для каждой из которых разработаны терм-множества и функции принадлежности. Построена экспертная база правил, включающая 81 продукционное правило; разработана модель нечеткой продукционной системы для управления заданиями на базе пакета Fuzzy Logic Toolbox for MatLab. В качестве схемы нечеткого вывода использован алгоритм Мамдани. Приведены результаты функционирования модели, которые могут быть полезны руководителям ИТ-проектов на практике.

10. Методика и алгоритмы классификации воздушных объектов системой поддержки принятия решений [№1 за 2019 год]
Авторы: Допира Р.В., Гетманчук А.В., Потапов А.Н., Семин М.В., Семенов В.Ю.
Просмотров: 5181
Статья посвящена разработке методики и алгоритмов классификации воздушных объектов системой поддержки принятия решений АСУ при интенсивных информационных воздействиях. При таких воздействиях признаками информационной перегрузки системы являются количество данных о воздушной обстановке (отметок от воздушных объектов) и качество информации. При решении задачи классификации объектов по каталогу в условиях параметрической неопределенности и пересечения классов использование процедуры последовательного нормирования, основанной на принципе максимизации энтропии, позволяет получить наименее сомнительное распределение вероятностей отнесения каждого из объектов к известным или новым классам. Предложенная в статье комбинация базового метода с основными принципами методов дробящихся эталонов и кластерного анализа позволяет улучшить характеристики классификации. Основа разработанной методики классификации воздушных объектов системой поддержки принятия решений при интенсивных информационных воздействиях состоит во введении в базовый способ понятия параметрического пространства и представления в нем объектов классификации и классов из каталога эталонных значений. При этом на каждом из основных этапов работы методики анализируется взаимное расположение объектов, участвующих в обработке, относительно друг друга, а также относительно классов из каталога эталонных значений. Классификационная матрица представлена в виде совокупности динамических списков, что позволяет сократить вычислительную трудоемкость, не только исключая нулевые элементы матрицы из обработки, но и не выделяя память для их хранения. Расширена функциональность обработки результатов классификации с возможностью дополнения катало-га эталонных значений актуальной информацией. Система поддержки принятия решений, реализующая новую методику, позволяет персоналу АСУ по мере формирования эмпирического знания осуществлять детальную оценку обстановки и на ее основе корректировать работу АСУ.

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