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

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

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

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

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

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

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

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

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

2. Алгоритмическое и программное обеспечение когнитивного агента на основе методологии Д. Пойа [№1 за 2019 год]
Авторы: Курбатов С.С., Фоминых И.Б., Воробьев А.Б.
Просмотров: 8950
В статье описывается оригинальный подход к созданию интегральной системы решения задач. Система (когнитив-ный агент) предполагает тесную интеграцию этапов лингвистической обработки, онтологического представления зада-чи, эвристически-ориентированного решения и концептуальной визуализации. Концепция системы базируется на мето-дологии Пойа, но в трактовке алгоритмического и программного воплощения. Система реализована в макетном вариан-те и протестирована в предметной области «школьная геометрия». Лингвистическая составляющая системы использует метод получения канонического описания задачи путем пере-фразирования и отображения в семантическую структуру. Автоматический поиск решения основан на выполнении правил, отражающих аксиоматику соответствующих пред-метных областей. Выбор правил при поиске решения определяется эвристиками, представленными в онтологии. Эври-стики оформлены как структуры семантической сети, что позволяет организовать многоаспектный поиск подходящего правила, а также обоснование выбора в виде естественно-языкового комментария. Концептуальная (когнитивная) визуализация обеспечивает наглядное отображение решения путем интерпретации текстового файла, содержащего информацию для вывода графических объектов, а также комментарии о процессе реше-ния. Комментарии включают естественно-языковое описание правил (аксиом, теорем), эвристические и эмпирические обоснования их выбора, а также ссылки на визуализируемые объекты. Проведены эксперименты, демонстрирующие возможности визуализации как чертежей задач, так и фрагментов он-тологии, фраз естественного языка, формул математики, в том числе формальной логики. Онтология реализована в про-граммной среде СУБД Progress. Программы визуализации реализованы на JavaScript с использованием JSXGraph и MathJax. Реализация обеспечивает возможность пошагового просмотра решения в различных направлениях с динамиче-ским изменением чертежа и соответствующих комментариев. Разнообразная модификация пользователем чертежа с со-хранением условий задачи позволяет эмпирически продемонстрировать корректность условий.

3. Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений [№1 за 2019 год]
Авторы: Кораблин Ю.П., Шипов А.А.
Просмотров: 6064
Для решения задачи верификации методом проверки на моделях Model Checking сегодня зачастую используются такие временные логики, как логика линейного времени LTL, логика ветвящегося времени CTL и логика CTL*, объединяющая возможности двух первых логик. Однако каждая из этих логик имеет свои недостатки, ограничения и проблемы выразительности, которые возникают ввиду их синтаксических и семантических особенностей. Именно поэтому на текущий момент не существует единой темпоральной логики. Авторы данной статьи убеждены, что использование специальных представлений, основанных на системах рекурсивных уравнений в отношении темпоральных логик, способно не только расширить их выразительную мощность, но и унифицировать синтаксические конструкции, позволив тем самым сформулировать некоторую общую и единую для всех логик нотацию. В статье предложена и рассмотрена специальная RTL-нотация, в основе которой лежат системы рекурсивных уравнений и привычные семантические определения логик LTL и CTL. Задача, которую призвана решить данная нотация, состоит в объединении выразительных возможностей обеих логик, что расширит выразительность каждой из них, а также в унификации их синтаксических конструкций, что даст возможность выработать единообразный подход к решению задачи верификации. Авторами дано подробное определение RTL-нотации, представлены соответствующие аксиомы и теоремы, приведен ряд примеров и утверждений, наглядно демонстрирующих выразительные возможности RTL. Целью статьи является демонстрация ключевых особенностей и возможностей RTL-нотации, которые в дальнейших работах авторов лягут в основу решения проблемы верификации моделей систем.

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

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

6. Гибкость использования в MatLab входных и выходных параметров стандартных и нестандартных функций [№1 за 2019 год]
Автор: Ревинская О.Г.
Просмотров: 7938
На основе анализа публикаций в статье вскрыто противоречие между осознанием широты и гибкости использования входных и выходных параметров стандартных функций и ощущением жесткой предопределенности при описании и использовании аналогичных параметров нестандартных функций MatLab. Это противоречие было разрешено путем детального анализа возможностей, предоставляемых MatLab (в том числе его последними версиями), для того, чтобы параметры функции при ее вызове интерпретировались как обязательные или необязательные, позиционированные или непозиционированные, типизированные или нетипизированные и т.д. Это разнообразие свойств входных и выходных параметров как раз и обеспечивает гибкость применения стандартных функций MatLab. Показано, что по умолчанию MatLab контролирует только формальное превышение количества параметров, использованных при вызове функции (стандартной, нестандартной), над количеством соответствующих параметров, ука-занных при ее описании. Чтобы параметры нестандартной функции обладали определенными свойствами, необходимо специальным образом организовать программный код тела функции: проверить, сколько параметров указано при фактическом вызове функции, информация какого типа поступает в функцию и из нее через параметры; проанализировать, какие из необязательных параметров заданы, а какие нет, и т.д. Такая организация тела функции долгое время оставалась весьма трудоемкой. Поэтому в последних версиях MatLab появились и совершенствуются стандартные функции, автоматизирующие отдельные из выполняемых при этом операций. Таким образом, в статье систематизирован комплекс мер, позволяющих обеспечить параметрам нестандартной функции такую же широту и гибкость использования, как у параметров стандартных функций MatLab. На основе личного опыта прикладного программирования и преподавания MatLab автором подобраны простые примеры, детально иллюстрирующие способы написания нестандартных функций с параметрами, обладающими соответствующими свойствами.

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

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

9. Управление энергозатратами процесса хранения данных при выборе размера физического блока данных [№1 за 2019 год]
Авторы: Татарникова Т.М., Пойманова Е.Д.
Просмотров: 5851
В статье рассматривается иерархия функций процесса хранения данных на физическом уровне. На первом уровне выполняются функции по поддержанию устойчивого состояния минимальных единиц хранения данных. От количества устойчивых состояний минимальной единицы хранения данных зависит количество сохраняемых битов данных. Показано, что минимальные единицы хранения данных различаются в зависимости от типа записи и вида носителя. Приводится выражение, позволяющее оценить минимальную энергию, необходимую для преобразования минимальной единицы хранения. На втором уровне выполняются функции по объединению минимальных единиц хранения данных в физические блоки данных. Показана структура физического блока. Приведен пример изменения размера физического блока, демонстрирующий возможность его регулирования в зависимости от вида хранимой информации и требований к системе хранения. При увеличении физического блока уменьшается доля метаданных, сохраняемых на носитель, и таким образом увеличивается эффективность использования емкости носителя. На третьем уровне выполняются функции по объединению физических блоков в логические блоки данных. Размер логического блока зависит от возможностей установленной файловой системы и определяется при форматировании. На уровне файла задается адресация битов данных, физических и логических блоков, тем самым биты данных логически объединяются в файл. Приведены результаты, демонстрирующие существенное сокращение расхода энергии при увеличении размера блока данных и уменьшении объема метаданных по сравнению с энергозатратами при сохранении исходного файла.

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

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