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

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

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

41. Моделирование информационных ресурсов при процессной организации системы управления предприятием [№4 за 2014 год]
Авторы: Шведенко В.Н., Веселова Н.С.
Просмотров: 11871
В настоящей работе предлагаются метод моделирования ресурсов при объектно-процессной системе управления предприятием и новая модель объектно-ориентированных данных, в которой бизнес-процессы являются обязательными компонентами модели с заранее установленным регламентом поставки первичных данных в информационную систему. Поставка этих данных осуществляется только в результате исполнения бизнес-процесса в центрах формирования сведений о входных и выходных данных, ресурсах и результатах принятия управленческих решений. Подробно рассмотрена информационно-справочная система предметной области на базе объектно-ориентированной платформы «COBRA++», представлена классификация объектов. Выделены пять групп объектов информационной системы предприятия: простые справочники, сложные справочники, объекты контроля, объекты управления, показатели. Продемонстрированы примеры объектов системы различной сложности, созданные с помощью программного комплекса «COBRA++». Построение модели осуществляется с использованием основных понятий алгебры-логики, описание дается с помощью предикатов. Определены множества объектов системы, описаны правила их построения, формализованы правила, задающие связи объектов. В каждом случае описание предиката сопровождается заданием множества истинности, определяющего четкие критерии пригодности аргументов предиката. Особое внимание уделяется таким характеристикам объектов и свойств, как имя, код и тип. Согласно представленному методу формали-зации объектов, указаны критерии фиксации объекта в системе, а также правила формирования его уникального идентификатора. Предлагается рассмотреть бизнес-процесс как совокупность зафиксированных объектов управления и показателей. С помощью объектно-процессной технологии «COBRA++» реализована математическая модель информационной управляющей системы, включающая описание бизнес-процессов и соответствующих им объектов предметной области, которая дает математическое представление процессов сбора, использования и представления первичных данных, включающая в себя необходимые классифицированные множества объектов и процессов и правил их описания с учетом имеющихся связей.

42. Программное обеспечение акустооптических процессоров [№4 за 2014 год]
Авторы: Шибаев С.С., Помазанов А.В., Волик Д.П.
Просмотров: 8870
В акустооптических процессорах, назначением которых является в основном измерение параметров радиочастотных сигналов, вся необходимая информация о сигнале и его параметрах содержится в аналоговом световом Фурье-распределении в плоскости анализа, в которой с целью дальнейшей обработки устанавливается либо ПЗС-фотоприемник, либо линейка фотодиодов, сигнал с которых в виде распределения амплитуд световой интенсивности оцифровывается бортовыми средствами. Обработка такого цифрового сигнала полностью либо частично возлагается на внешнюю вычисли-тельную систему – персональный компьютер. В таких условиях значительную роль играет специализированное программное обеспечение, которое не только несет нагрузку по извлечению полезной информации из потока принимаемых данных, но и выполняет ряд сервисных функций. В работе рассмотрены структура и возможности приложения для наиболее распространенного класса акустооптических процессоров – измерителя частоты радиосигнала. В программе реализованы функции считывания и отображения амплитудного распределения в режиме реального времени, функция ручного и автоматического измерения частоты сигнала. С ее помощью выполняется несколько видов калибровки, начиная от компенсации темнового фона и заканчивая учетом нели-нейности частотной шкалы. Имеется возможность сохранения полученных распределений в виде файлов с целью их после-дующего анализа в таких известных программных продуктах, как MathCad, MatLab и др. Приложение предоставляет возможность управления внешним лабораторным оборудованием при помощи интерфейса Ethernet, в частности, генераторами Agilent или других фирм, что позволяет перед эксплуатацией измерителя в автоматическом режиме протестировать его характеристики и учесть эти результаты при калибровке прибора.

43. Методика и программный комплекс для динамического поиска уязвимостей в бинарном коде [№4 за 2014 год]
Автор: Шудрак М.О.
Просмотров: 7749
В работе дается описание оригинальной методики для динамического анализа уязвимостей в бинарном коде, которая позволяет проводить тестирование различных приложений, взаимодействующих в сети. Уязвимые сетевые программные продукты представляют огромную угрозу для безопасности различных информационных систем. Уязвимости в web-браузерах или в серверном программном обеспечении могут иметь серьезные последствия. Отличный пример – критическая уязвимость «HeartBleed», обнаруженная в реализации TLS OpenSSL и позволяющая злоумышленнику удаленно и без авторизации получать критическую информацию, в том числе закрытые ключи пользователей на уязвимом сервере. Для решения описанной проблемы используется сочетание технологий динамической бинарной инструментации, анализа покрытия кода и так называемого фаззинга – технологии генерации потенциально ошибочных данных и мо-ниторинга результата. Подход позволяет проводить итеративный анализ для заданного сетевого приложения в тестовой среде с использованием средств виртуализации. Для повышения качества тестирования в работе представлен новый подход к эффективному анализу каждой тестовой итерации с использованием анализа покрытия кода, оценки сложности участка выполненного кода с их после-дующей визуализацией. Описывается реализация методики в виде единого программного комплекса, позволяющего проводить поиск уязвимостей в сетевых и файловых приложениях со значительным уровнем производительности и автоматизации тестирования. Помимо этого, приводится экспериментальная оценка эффективности предложенного решения на 17 тестовых приложениях для различных операционных систем. В результате экспериментов были найдены две ранее неизвестные уязвимости в нескольких популярных приложениях, что подтверждает эффективность использования методики и программного комплекса для решения задачи поиска уязвимостей в бинарном коде.

44. Web-сервис для автоматизированного формирования продукционных баз знаний на основе концептуальных моделей [№4 за 2014 год]
Авторы: Юрин А.Ю., Дородных Н.О.
Просмотров: 13731
В данной статье описан web-сервис для автоматизированного формирования баз знаний продукционного типа на основе результатов концептуального моделирования. Сервис обеспечивает автоматизированный анализ XML-структуры файлов CASE-средства Rational Rose (содержащих описание моделей классов) и системы когнитивного моделирования FreeMind, выделение понятий и отношений, их представление в виде понятий онтологии. На основе сформированной онтологической модели могут быть осуществлены автоматизированное создание продукций и их визуальное моделирование с использованием нотации RVML – Rule Visual Modeling Language. Полученные модели продукций используются для генерации программного кода в формате CLIPS (C Language Production System). В статье описываются функции сервиса, его архитектура и алгоритмы формирования моделей онтологии и продукций, приводятся примеры соответствия элементов концептуальной, продукционной моделей и конструкций CLIPS. Web-сервис может быть рассмотрен как один из модулей системы управления базами знаний, областью применения которого является решение задач извлечения, структурирования и формализации знаний в различных предметных областях. Апробация и тестирование сервиса осуществлены при создании баз знаний продукционных экспертных систем для исследования и обеспечения техногенной безопасности труднодоступных водных объектов.

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5