Опубликован:
2010-09-01
Статьи
-
Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам.
-
В статье предлагается протокол формирования сетевого ключа по открытым каналам связи с ошибками. Дана постановка задачи формирования сетевого ключа. Предлагается включить в протокол три временные фазы. Первая фаза устанавливает криптосвязность в независимых группах объектов связи (ОС). Вторая фаза устанавливает криптосвязность между независимыми группами ОС. Третья фаза выбирает сетевой ключ из множества сформированных ключей и передает его всем ОС сети. Рассматривается протокол формирования сетевого ключа. Предлагаются модель канальной связности и процедуры этого протокола. Выполняется оптимизация параметров протокола и обсуждается его эффективность.
-
Представлено развернутое описание информационных моделей компонент комплекса «информационная система – персонал», находящегося под угрозой социоинженерный атак. Рассмотрены информационные модели пользователя, групп пользователей, контролируемых зон, информационных объектов (систем документов), программно-аппаратного обеспечения и самой информационной системы. Указанные информационные модели входят в состав базы для анализа защищенности информационной системы при угрозах социоинженерных атак. Иерархия этих моделей позволяет описать сцену (контекст), в которой развивается социоинженерная атака, перебрать возможные атаки (деревья атак) и, на основе полученных результатов, изучить возможные подходы к оценке степени защищенности комплекса «информационная система – персонал» от социо-инженерных атак.
-
Ряд задач искусственного интеллекта, включающих в себя такие задачи как распознавание образов, медицинская диагностика, анализ рынка, сведены к доказательству выполнимости формул исчисления предикатов, имеющих простую структуру. Рассмотрены некоторые алгоритмы решения этих задач и доказаны верхние оценки числа шагов этих алгоритмов.
-
В статье предлагается критерий оптимизации для информационных систем. Показывается возможность использования показателя энтропии обрабатываемой информации при оценке сложностных показателей. Дается пример оценки информационной системы по обработке речевого сигнала. Показывается его эффективность.
-
В работе построены сплайны лагранжева типа нулевого порядка, доказана вложенность пространств сплайнов на последовательности укрупняющихся/измельчающихся неравномерных сеток, построена простая реализация системы функционалов, биортогональная системе сплайнов, получены вэйвлетные разложения и алгоритмы декомпозиции и реконструкции потоков информации в случаях бесконечного потока с сеткой, заданной на открытом интервале и конечного потока с сеткой, заданной на отрезке.
-
Алгебраические байесовские сети представляют собой логико-вероятностную графическую модель систем знаний с неопределенностью и позволяют работать в том числе с интервальными оценками вероятности. Существенной для их работы является вторичная структура, представляемая в виде графа смежности. Данная статья исследует ребра клик минимальных графов смежности для спецификации различных типов клик. В частности, было доказано, что у определенного класса клик, которые являются основными с точки зрения построения множества минимальных графов смежности, множество вершин совпадает с множеством концов особых ребер, вес которых совпадает с весом клики.
-
Существует эффективный алгоритм построения множества минимальных графов смежности по заданному набору максимальных фрагментов (при помощи само-управляемых клик), однако он может быть улучшен путем привлечения результатов активно разрабатывающейся теории глобальной структуры алгебраической байесовской сети. Целью данной работы является разработать улучшенную версию этого алгоритма за счет усовершенствованного построения множества вершин, входящих в клики: вместо полного перебора всех весов клик и вершин производить поиск для каждой клики ее потомков среди других клик. Предложенное улучшение легко в основу нового алгоритма построения множества минимальных графов смежности при помощи самоуправляемых клик-собственников, корректность которого также была доказана.
-
В работе осуществлено обобщение известного преобразования направленного цикла в БСД со случайными бинарными элементами в узлах в цепь фрагментов знаний алгебраической байесовской сети на более общий математический объект--- случайные многозначные элементы в узлах исходного цикла. В предположении, что случайные многозначные элементы представлены в виде конъюнкций случайных бинарных элементов, обобщенное преобразование состоит из тех же шагов, что и его исходный вариант: на основе тензоров условных вероятностей формируется стохастическая матрица; последовательно вычисляется произведение стохастических матриц, которое само по себе тоже будет стохастической матрицей; вычисляется собственный вектор последней матрицы, соответствующий собственному числу 1, причем из возможных собственных векторов выбирается стохастический; выбранный вектор представляет собой маргинальное распределение означиваний одного из узлов цикла~--- на его основе вычисляются маргинальные распределения вероятностей означиваний других узлов и маргинальные распределения совместных вероятностей означиваний пар соседних узлов; на основе набора совместных вероятностей формируется цикл фрагментов знаний АБС, наконец, последний цикл преобразуется в цепь фрагментов знаний АБС.
-
Рассмотрена задача построения систем анализа динамики котировок индексов фондовых бирж, обладающих повышенной устойчивостью к вариациям их вероят-ностных характеристик. Качество восстановления системной составляющей наблюдаемых процессов определяется на основе терминальных торговых показателей и непосредственно связано с параметрами используемой торговой стратегии. В основу алгоритмов устойчивого формирования системной составляющей положена технология робастного оценивания.
-
Интеллектуальная система автоматизированного проведения конференций представляет собой интерактивную систему проведения конференций в помещении, оборудованном двумя большими экранами и возможностью выводить на них изображение. Первый экран используется для вывода презентации докладчика, а второй – для программы конференции. Система базируется на платформе Smart-M3, разработанной исследовательским центром компании Nokia. Для взаимодействия участников с системой используются персональные мобильные устройства (коммуникаторы, сотовые телефоны или персональные компьютеры), на которые устанавливается пользовательская часть интеллектуальной системы автоматизированного проведения конференций. В статье представлена архитектура и онтологии основных компонент системы автоматизированного проведения конференций.
