Программные продукты и системы

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

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

41. Предпосылки унификации программных средств поддержки принятия решений [№3 за 2013 год]
Авторы: Осипов В.П., Сивакова Т.В., Судаков В.А.
Просмотров: 5519
Рассматриваются вопросы разработки систем поддержки принятия решений(СППР), инвариантных по отношению к предметной области. Предлагается унифицированный подход к созданию СППР, включающий следующие принципы: свобода от субъективизма разработчиков, инвариантность по отношению к предметной области, множественность методов поддержки решений, субъективизм лица, принимающего решения, и дружелюбность по отношению к нему. Архитектура СППР, реализующая указанные принципы, строится на каркасном подходе. Каркас отвечает за механизм описания пространства критериев и параметров модели предметной области, позволяет пользователю выбирать методы поддержки решений и организует информационный обмен между ними, обеспечивает хранение, отображение и редактирование атрибутов альтернатив, обеспечивает контроль доступа. Все множество вариативных поведений СППР выделяется в модули, которые подключаются через точки расширения. Даны некоторые правила качественной разработки СППР. Предложены характеристики оценки качества, включая свойства, присущие методу поддержки решений, и свойства, присущие программной реализации метода. Предложенные методологические основы с успехом применены при создании СППР «Космос», которая используется в ранжировании заявок на научно-прикладные исследования на Российском сегменте Международной космической станции.

42. Определение авторства вредоносного кода с использованием метода сжатия данных [№3 за 2013 год]
Авторы: Осовецкий Л.Г., Стремоухов В.Д.
Просмотров: 8415
Описан метод определения авторства вредоносного кода на основе совмещения исследуемого кода ПО с кодом, реализованным известным для исследователя автором. Метод основан на расчете энтропийной классификации исследуемого ПО и подтвержден модельным экспериментом. Он позволяет сократить поиск автора и локализовать круг возможных разработчиков вредоносного кода, что сокращает затраты на разработку систем защиты информации и определение исходного поля угроз безопасности. Метод способствует повышению объективности локализации автора вредоносного кода и источника угроз. В работе описаны математические алгоритмы для практического использования предлагаемого метода.

43. Многошаговая система поиска альтернатив в информационном каталоге [№3 за 2013 год]
Авторы: Палюх Б.В., Егерева И.А.
Просмотров: 7507
Несмотря на обширно представленное направление каталогизации информации в различных областях, обеспечение поиска данных, являющееся одним из самых главных разделов систематизации информации, осуществляется на основе строго сформулированного посредством языков манипулирования данными запроса пользователя. Зачастую запрос к системе невозможно четко сформулировать, нельзя однозначно указать критерии, на которых базируется поиск информации. Для того чтобы избежать ограничения доступа пользователей к полному объему информации, содержащейся в используемых реестрах и каталогах, целесообразно представлять запрос к системе в качественном виде. В работе представлена программная реализация подходак систематизации разнородной информации. Приведено ее описание в семантическом и параметрическом видах с целью обеспечения формирования максимально точно отвечающего пользовательскому запросу ранжированного списка возможных вариантов решений поставленной задачи. Приводится обоснование целесообразности использования основных принципов теории нечетких систем при выборе решений в реестрах и каталогах. Представлен алгоритм построения многошагового процесса принятия решений поставленной задачи при фиксированном количестве шагов. Продемонстрирован результат применения программной реализации многошаговой системы поиска альтернатив в информационном каталоге.

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

45. Исследование эффективности бионических алгоритмов комбинаторной оптимизации [№3 за 2013 год]
Авторы: Семенкина О.Е., Семенкина О.Э.
Просмотров: 11824
Для решения задачи коммивояжера предлагаются самонастраивающиеся бионические алгоритмы. Самонастройка алгоритмов обеспечивается за счет стохастического выбора настроек и/или параметров в ходе решения задачи в соответствии с распределениями вероятностей применения этих операторов. Распределения вероятностей модифицируются на каждом шаге алгоритма в соответствии с успешностью применения операторов (параметров), определяемой значением пригодности индивидов (решений), построенных с их помощью. Эффективность предложенных алгоритмов сравнивается с известными бионическими алгоритмами – обычным генетическим алгоритмом, муравьиным алгоритмом и алгоритмом умных капель, а также с локальным поиском (эвристикой Лина–Кернигана). На тестовых задачах большой размерности демонстрируется полезность предложенного подхода.

46. Система контроля качества программного обеспечения для эксперимента MPD на коллайдере NICA [№3 за 2013 год]
Авторы: Слепов И.П., Рогачевский О.В.
Просмотров: 6821
Предлагается новый подход к построению системы контроля качества для проекта программного обеспечения (ПО) эксперимента MPD, коллайдера NICA. Данное ПО имеет название MpdRoot и представляет собой оболочку для моделирования работы детектора, реконструкции экспериментальных данных и последующего анализа событий столкновения тяжелых ионов. Авторами частично описывается программно-техническая сторона эксперимента MPD. Рассматривается использование системы управлениясодержимым веб-сайта как платформы для разработчиков проекта, содержащей техническую информацию о проекте, систему управления версиями, тестирования, мони-торинга и другие веб-инструменты. В результате получается полноценная система контроля качества для ПО проекта MpdRoot. Изложенный материал будет полезен для разработчиков ПО с большим количеством участников, которые хотели бы облегчить свой труд и улучшить взаимодействие в команде.

47. Автоматизированная система планирования полета Российского сегмента международной космической станции [№3 за 2013 год]
Авторы: Станиловская В.И., Беляев А.М., Потоцкий С.И., Козлечков А.Г., Колокольцева О.М., Будникова Т.С.
Просмотров: 13461
Статья посвящена вопросам автоматизации процесса формирования, корректировки и согласования иерархиче-ски упорядоченной системы планов полета Международнойкосмической станции (МКС) на интервале экспедиции, недели и каждых суток полета. Программные средства автоматизированной системы планирования Российского сегмента МКС, разработанной с участием авторов, обеспечивают скоординированное планирование работы всех членов экипажа и функционирования систем наземного ибортового комплекса управления МКС. Средствами сис-темы создаются и планы полета транспортных космических кораблей. В статье рассматриваются вопросы структур-ного построения системы, создания базы данных полетныхопераций и планов различного уровня, а также построе-ния программного редактора, позволяющего производить формирование и корректировку планов, урегулирование конфликтных ситуаций, формирование комплексных полетных операций, представляющих группы работ с заданной последовательностью выполнения и временными интервалами между ними. При этом учитываются факторы, влияющие на эффективность разработки планов, и ограничения, связанные с организацией требуемой последова-тельности работ и обязательным наличием необходимых ресурсов. Описан оригинальный метод систематизации и кодирования полетных операций, позволяющий устанавливать соответствие между вариантами размещения опера-ций в различных версиях планов и проводить автоматизированное сравнение планов. Приведено описание разрабо-танного в составе системы планирования комплекса обмена и согласования планов с международными партнерами, которые участвуют в осуществлении полета МКС.

48. Оценка соответствия существующих информационных систем управления проектами особенностям проектного управления в наноиндустрии [№3 за 2013 год]
Автор: Стоянова О.В.
Просмотров: 11169
Рассмотрены информационные системы управления проектами, получившие наибольшее распространение на российском рынке. Проведен сравнительный многокритериальный анализ данных систем с целью выявления возможностей их эффективного использования для управления проектами наноиндустрии. Описаны особенности проектов наноиндустрии, определяющие выбор характеристик информационных систем управления проектами. Показано, что из-за сложности подобных проектов для управления ими могут быть рекомендованы программные решения, обладающие развитым функционалом планирования, мониторинга, контроля и поддержки принятия решений. Наличие сложных структурных взаимосвязей в сфере наноиндустрии приводит к тому, что многие управленческие задачи могут быть отнесены к мультипроектному управлению, что требует применения программных средств, позволяющих осуществлять управление портфелем проектов. Существенная разнородность участников проектов влияет на выбор технологий доступа к данным, поэтому приложения,обеспечивающие различные возможности такого доступа, в значительной степени востребованы в рассматриваемой сфере. По результатам анализа получена итоговая оценка возможности использования тех или иных систем для управления проектами наноиндустрии.

49. Способ построения защищенных от исследования систем информационной безопасности [№3 за 2013 год]
Автор: Стюгин М.А.
Просмотров: 8302
В статье обозначена проблема исследования в конфликтных системах. Рассмотрены методы противодействия процессу исследования контрагента, а также противодействия противодействию процесса исследования. Определена модель исследователя в конфликте, включающая информационные ограничения при попытке исследовать объект конфликта. Представлены четыре класса, в которых может находиться исследователь с учетом его информационных ограничений. Приведен алгоритм проектирования защищенных от исследования информационных систем. Проблема исследования контрагента в конфликтной системе заключается в возможности использовать этот процесс с целью дезинформации. Это можно сделать, если знать принципы интерпретации исследователем получаемой информации и получить таким образом возможность рефлексивно управлять противником. Аналогично можно получить схему рефлексивного управления процессом рефлексивного управления. Реально управляющий в данный момент субъект находится в состоянии информационного превосходства. Для достижения состояния информационного превосходства субъект должен получить контроль над объектом конфликта, достаточный для корректировки классов модели исследователя контрагента. Корректируя классы модели исследователя, можно добиться состояния, когда дляконтр-агента станет невозможным сформулировать задачу исследования. Если субъект может получить такой контроль, то, используя алгоритм, предложенный в статье, он достигнет состояния информационного превосходства. Предполагается, что наиболее эффективно данный алгоритм можно применить на стадии разработки программных продуктов в области информационной безопасности. С использованием предложенных алгоритмов уже были разработаны системы анализа несанкционированных действий пользователей на интернет-ресурсах и в локальной сети предприятия (программы ReflexionWeb и ExLook).

50. Методика создания моделей на базе модифицированных сетей Петри [№3 за 2013 год]
Авторы: Суконщиков А.А., Кочкин Д.В.
Просмотров: 9614
Одной из основных тенденций современных сетей АСУ предприятием (АСУП) является интеграция технологий системы управления. Для поддержания высокого качества управления необходимы обеспечение совместной работы всех подсистем АСУП и организация бесперебойного информационного обмена с поддержкой дифференцированного обслуживания различных информационных потоков. Технологии QoS (Quality of Service) позволяют решить данную задачу за счет настройки политик обслуживания трафика сетевого оборудования и параметров клиентских машин. Основой для выбора настроек могут быть данные моделирования сети, проведенного с помощью некоторого математического аппарата, в качестве которого авторы предлагают использовать расширение, построенное на основе раскрашенных, нечетких, временных, иерархических и приоритетных сетей Петри. В статье дается формальное описание разработанного математического аппарата модифицированных нечетких сетей Петри и показываются его преимущества при моделировании сетевых устройств. На основании аппарата модифицированных нечетких сетей Петри разработаны методика построения сетевых устройств и их элементов, а также методика композициисетевых устройств. Полученная с помощью разработанных методик модель сети может использоваться для анализа таких характеристик трафика, как задержки, колебание задержки, скорость передачи, и для выявления проблемных участков в сети. Приводятся результаты моделирования различных очередей маршрутизатора, отмечается влияние размеров окна передачи TCP/IP на параметры передачи трафика.

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | 6 | Следующая → ►