В статье рассматривается задача формирования цифровой тени процесса перемещения человека. Проведен анализ предметной области, который показал необходимость формализации процесса создания цифровых теней для имитации движений человека в виртуальном пространстве, тестировании программно-аппаратных комплексов, функционирующих на основе действий человека, а также в различных системах опорно-двигательной реабилитации. Выявлено, что среди существующих подходов к захвату движений человека нельзя выделить универсальный и стабильно работающий при различных условиях внешней среды. Разработан метод формирования цифровой тени на основе комбинирования и синхронизации данных из трех систем захвата движений (трекеры виртуальной реальности, костюм motion capture и камеры с использованием технологий компьютерного зрения). Объединение перечисленных систем позволяет получить комплексную оценку положения и состояния человека независимо от условий внешней среды (электромагнитные помехи, освещенность). Для реализации предложенного метода проведена формализация цифровой тени процесса перемещения человека, включающая описание механизмов сбора и обработки данных от различных систем захвата движений, а также этапы объединения, фильтрации и синхронизации данных. Научная новизна метода заключается в формализации процесса сбора данных о перемещении человека, объединении и синхронизации аппаратного обеспечения используемых систем захвата движений для создания цифровых теней процесса перемещения человека. Полученные теоретические результаты будут использоваться в качестве основы для программной абстракции цифровой тени в информационных системах для решения задач тестирования, имитации человека и моделирования его реакции на внешние раздражители за счет обобщения собранных массивов данных о его перемещении.
Рассмотрены особенности функционирования космических аппаратов с высоким уровнем автономности как объектов технического диагностирования. Полагается, что бортовые средства контроля и диагностирования функционируют автономно и обращаются к наземным средствам только при невозможности решить задачи распознавания нештатных ситуаций и восстановления работоспособного состояния бортовой аппаратуры. Процесс диагностирования бортовой аппаратуры описывается с помощью графа состояний, учитывающего особенности обнаружения нештатных ситуаций бортовыми и наземными средствами. Разработанная имитационная модель позволяет учитывать накопление последствий отказов бортовой аппаратуры вследствие воздействия факторов внешней среды ближнего космоса и изменение интенсивности их возникновения. Представлены результаты имитационного моделирования процесса диагностирования космических аппаратов совместно бортовыми и наземными средствами системы информационно-телеметрического обеспечения. Показана важность наземного сегмента системы информационно-телеметрического обеспечения управления космических аппаратов при проведении планово-периодического углубленного анализа их технического состояния. По результатам имитационного моделирования проведен анализ влияния достоверности диагностирования бортовой аппаратуры на уровень автономности космических аппаратов дистанционного зондирования Земли.
В статье представлена формальная модель функционирования процесса в операционной системе, построенная на основе применения субъектно-объектного подхода к разделению основных элементов операционной системы. Особенностью представленной модели является высокоуровневая абстракция описания взаимодействия процесса с ресурсами операционной системы, что позволяет применить полученные на ее основе результаты к широкому классу аналогичных систем. Применение данной модели необходимо для совершения перехода от реального процесса к его формальной модели, позволяющей учитывать значимые свойства поведения процесса как на статическом этапе анализа бинарного исполняемого файла, так и на динамическом этапе контроля за его выполнением. Предложена структура системы безопасного исполнения программного кода, являющаяся расширенной композицией таких подходов к обнаружению вредоносного программного обеспечения, как применение метода формальной верификации «Model checking» и использования автомата безопасности для контроля за выполнением исследуемой программы. Применение данной системы позволит использовать в корпоративных информационно-вычислительных сетях только программное обеспечение, уровень доверия к которому подтверждается формальным математическим доказательством и непрерывным контролем за его функционированием.
В статье впервые предложена нелинейная многосвязная мультиагентная модель накопления знаний в научной школе в результате самоорганизации процесса обмена научной информацией. Выделены три группы агентов (научных сотрудников) как носителей знаний, которые нелинейно взаимодействуют между собой и контролируют свою деятельность по накоплению знаний. При этом рассматриваются два режима процесса обмена научной информацией агентами: свободный (в форме дискуссий) и деловой (в форме выполнения совместного проекта). Предложенные модели носят абстрактно-обобщающий характер, представляют собой систему нелинейных дифференциальных уравнений, описывающих процессы накопления знаний в результате обмена научной информацией с соблюдением сложившихся структурных отношений между агентами научной школы. Данная статья преследует цель раскрытия сущности сложного механизма процесса накопления знаний в научной школе за счет различных форм активного взаимодействия агентов, представляющих собой единство «человек-ЭВМ-база знаний».
В работе описан подход, позволяющий сформировать согласованную модель типов требований для конкретного проекта по разработке программ. Использование такой модели призвано разрешить противоречия, вызванные разным пониманием определения «требование к программе», а также скоординировать различные модели типов требований, лежащие в основе отдельных видов документов-спецификаций и методологий работы с ними. Для построения согласованной модели исследованы наиболее часто используемые виды документов-спецификаций и модели требований, лежащие в их основе. В качестве базиса для построения классификации типов требований использована теория полевой структуры частей речи. Сформулировано определение «тип требования». Для этого выделен ряд критериев, пригодных для оценки отдельных экземпляров требований на их принадлежность к типам и полям требований. Такой подход позволяет на основании набора признаков экземпляра требования отнести его к определенному типу, а затем рекомендовать включить в структуру спецификации типы требований, необходимые для обеспечения качества спецификации.
Целью любых аварийно-спасательных и других неотложных работ является спасение людей и оказание помощи пострадавшим, локализация аварий и устранение повреждений, препятствующих проведению спасательных работ, а также создание условий для последующего проведения восстановительных работ. При наличии факторов, угрожающих жизни и здоровью проводящих эти работы людей (спасателей, пожарных и др.) возникает объективная необходимость в применении автоматизированных робототехнических средств транспортировки пострадавших, а отсутствие соответствующего научно-методического и программно-алгоритмического инструментария обусловливает необходимость моделирования указанных средств. В работе представлена модель положения для транспортировки пострадавшего на основе байесовских сетей доверия
Предложен способ аналитического моделирования процесса распространения вирусов в компьютерной сети. Он учитывает особенности сетевой структуры, поведенческие характеристики вирусов и подсистем защиты информации узлов и возможность исходного заражения множества узлов различными вирусами. Способ основан на представлении сети в виде модели с дискретными состояниями и временем переходов, которое распределено по обобщенному закону Эрланга n -го порядка.
Статья посвящена исследованию управляемых подстановочно-перестановочных сетей на основе управляемых элементов F 4/2 в качестве примитива блочных алгоритмов шифрования. Актуальность исследований связана с их ориентацией на проектирование скоростных аппаратных шифров. Научная и практическая значимость полученных результатов заключается в повышении эффективности аппаратной реализации скоростных алгоритмов шифрования, предназначенных для защиты информации в информационно-телекоммуникационных системах и сетях.
Рассмотрены подходы к проведению анализа защищенности информационных систем. Предложена модель процесса анализа защищенности информационных систем на основе теории принятия решений. Рассмотрены существующие методы решения проблемы марковских процессов принятия решений в условиях частично наблюдаемой среды.
DDoS-атаки являются распространённым способом выведения сетевых информационных систем из строя, причём для увеличения эффективности злоумышленники часто используют комбинации из нескольких видов атак. В статье рассматриваются параметры сетевого трафика, позволяющие контролировать состояние системы и отслеживать вторжения. Для этих параметров определены пороговые значения и условия, позволяющие связать поведение параметров с типом атак, которым подвержена система.
Для повышения обоснованности принимаемых решений в ходе синтеза сетей обмена данными управления, обеспечивающих минимизацию затрат ресурсов пропускной способности линий передачи гетерогенных телекоммуникационных систем, необходимо учитывать особенности трафика, формируемого источниками управляющей информации. Предлагаемая в статье модель процесса мультиплексирования протокольных блоков данных в канале связи управления учитывает вариативность интенсивности поступления потока служебных сообщений от источников управляющей информации. Использование модифицированной формулы Энгсета позволяет обеспечить более рациональное распределение канального ресурса, необходимого для организации доставки протоколь-ных блоков данных.
В связи со сложностью процесса агломерации возникает необходимость создания системы наблюдения и мониторинга. В статье представлен подход к разработке двухуровневой нейросетевой модели, обеспечивающей диагностику процесса спекания аглошихты. Нейронная сеть содержит информацию о нарушениях в ходе процесса. Сеть верхнего уровня выполняет задачу распознавания места возникновения нарушения. Идентификация нештатной ситуации производится сетями нижнего уровня.
Рассмотрена задача формирования системной составляющей наблюдаемого случайного процесса, отражающего значимые изменения состояния динамической системы. Показано, что критерии качества формирования системной составляющей должны определяться требованиями иерархически вышестоящей метасистемы. При этом возникает новая постановка задачи оценивания, приводящая к необходимости построения вычислительных схем, существенно отличающихся от известных алгоритмов статистической фильтрации.
Предложена общесистемная структурно-функциональная модель управления состояниями технической системы для штатных условий ее функционирования. Дано определение понятия "нештатная ситуация процесса управления техническими системами". Обоснована система классификации внештатных ситуаций, использование которой позволяет детализировать возможные варианты решений, которые необходимо принимать при возникновении и выявлении таких ситуаций.
В статье рассматриваются основные алгоритмы интеллектуального анализа данных (Data Mining, DM), лежащие в основе нового типа автоматизированного управления многомерными динамическими процессами — аналитического. Существенным отличием аналитического управления является сочетание оперативных управленческих решений, формируемых должностными лицами на основе данных мониторинга текущей ситуации, с результатами глубокого количественного анализа ретроспективных данных (накопленного опыта), реализуемого средствами DM. Сформулированы концептуальные основы аналитического управления, позволяющие выделить DM в качестве самостоятельного подкласса информационных технологий.
Приведена технология построения функциональной модели системы защиты в IDEF и дальнейшей автоматизированной трансформации в UML. Также рассмотрен переход от построенной модели к программному коду.
В статье рассматривается проблема прямого моделирования процесса формирования квантово-размерных наноостровков CdSe на поверхности ZnSe в режиме реального времени. Так же предлагаются возможные методы моделирования, которые позволят решить поставленную задачу.
В статье рассмотрена проблема определения понятия CALS технологий. Предложены основные требования и рекомендации по внедрению технологий, аналогичных CALS, в образовательный процесс и созданию глоссариев в рамках образовательных программ в ВУЗах.
В рамках методологии модели СММ рассматривается проблема создания процесса для проекта разработки программного изделия на основе стандартного процесса организации. Приводится процедура настройки стандартного процесса организации на реальный проект.
Рассматриваются вопросы формирования управления в сетевых организациях. Формируется новое понимание сущности сетевой организации. Предлагаются концептуальная и интегральная модели организации технических средств поддержки вузовского учебного процесса.
Представлены результаты исследований Многофазного метода и робастного алгоритма управления нечеткой логики, основанных на Модели памяти формы, с визуальным наведением для автономных роботов и космических манипуляторов. Также, представлены результаты экспериментов по использованию метода применительно к задаче обучения показом сборочных роботов в режиме реального времени с использованием 6-ти координатной задающей перчатки. Описаны различные варианты задающих реперных устройств. Дающих реперных устройств. Эти исследования направлены на создание нового человеко-машинного интерфейса для мини- и микро- робототехники, сборочных роботов для промышленности и космоса.
Рассматриваются методы и средства организации программ в мультипроцессорной среде с динамической архитектурой. Предлагается объектно- ориентированный метод программирования автотрансформирующихся сетевых программ, отражающих в большей степени структуру решаемой задачи, чем свойства вычислительной среды. Обсуждаются средства поддержки данного подхода на аппаратном уровне и уровне операционной системы и метод графического проектирования параллельно выполняемых программ в сетевом представлении
Рассматривается модель олигополии с произвольным числом рациональных агентов, рефлексирующих по Курно или Штакельбергу, в условиях неполной информации для классического случая линейных функций издержек и спроса. Исследуется проблема достижения равновесия на основе математического моделирования процессов принятия агентами решений. Работы в этом направлении являются актуальными ввиду значимости понимания процессов, происходящих на реальных рынках, и сближения с ними теоретических моделей. В рамках динамической модели рефлексивного коллективного поведения каждый агент в каждый момент времени корректирует свой объем выпуска, делая шаг в направлении выпуска, максимизирующего его прибыль при ожидаемом выборе конкурентов. Допустимая величина шага задается диапазоном. В данной статье ставится и решается задача поиска диапазонов допустимых шагов агентов, которые формулируются как условия, гарантирующие сходимость динамики к равновесию. Новизну исследования определяет использование в качестве критерия сходимости динамики нормы матрицы перехода погрешностей от t -го к ( t +1)-му моменту времени. Показано, что динамика сходится, если норма меньше единицы, начиная с некоторого момента времени, и невыполнение этого критерия особенно проявляет себя при разнонаправленном выборе, когда одни агенты выбирают «большие» шаги движения к своим текущим целям, другие, наоборот, – «малые» шаги. Невыполнение критерия также усиливается с ростом рынка. Установлены общие условия на диапазоны сходимости динамики для произвольного числа агентов и предложен метод построения максимальных таких диапазонов, что также составляет новизну исследования. Представлены результаты решения указанных задач для частных случаев олигополии, которые являются наиболее широко распространенными на практике.
Предложен подход для оценки качества стационарных Марковских моделей без поглощающих состояний на основе меры статистической устойчивости: формулируется описание меры и определяются ее свойства. Показано, что оценки статистической устойчивости моделей описывались разными авторами либо как методологический аспект качества модели, либо в рамках других модельных свойств. При решении практических задач имитационного моделирования, например на основе Марковских моделей, возникает выраженная проблема обеспечения размерности требуемых выборок. На основе введенных формулировок предложен конструктивный подход к решению задач оптимизации объема выборки и анализа статистической волатильности Марковской модели к возникающим аномалиям при ограничениях на точность результатов, что обеспечивает требуемую достоверность и исключение нефункциональной избыточности.
Для анализа вида переходов в матрице переходов введена мера ее дивергенции (нормированная и центрированная). Эта мера не обладает полнотой описания и используется в качестве иллюстративной характеристики моделей определенного свойства. Оценка дивергенции матриц переходов может быть полезна при исследовании моделей с высокой чувствительностью обнаружения исследуемых свойств объектов. Сформулированы ключевые этапы подхода, который связан с исследованием квазиоднородных моделей.
На примере моделирования реального технического объекта с отказами, восстановлениями и профилактикой предложены количественные оценки статистической устойчивости и статистической волатильности модели. Показана эффективность предлагаемых подходов при решении задачи анализа статистической устойчивости в задачах квалиметрического анализа квазиоднородной модели сложных систем. На основе предложенного конструктивного подхода получен оперативный инструмент принятия решений по параметрической и функциональной настройке сложных технических объектов на долгосрочную и краткосрочную перспективы.
Сингулярный спектральный анализ (ССА) является сравнительно новым методом анализа временных рядов. ССА представляет особый интерес в приложении к анализу нестационарных, коротких и зашумлённых рядов. Одной из слабых сторон метода является то, что простые гармонические колебания, как и более сложные компоненты, анализируемого временного ряда раскладываются на более чем одну компоненту, что приводит к необходимости группировки связанных компонент для дальнейшего анализа. Данная проблема частично рассматривается в работе Александрова и Голяндиной (2005), преимущественно в приложении к проблеме идентификации чистых гармонических колебаний.
В данной работе предлагается более гибкий и обобщённый алгоритм для автоматической группировки компонент (а также его модификация), позволяющий группировать не только компоненты, соответствующие гармоническим колебаниям, но и компоненты, соответствующие амплитудно-модулированным колебаниям, затухающим колебаниям и др. Алгоритм был апробирован на искусственных наборах данных, содержащих в себе следующие распространенные формы компонент: гармоническое, амплитудно-модулированное и экспоненциально-затухающее колебания, сумма двух кривых Гаусса, а также их различные аддитивные комбинации. Экспериментально получены оценки качества группировки и показано, что показатели качества группировки у предложенных алгоритмов в среднем лучше на 26%, чем показатели известного алгоритма.
В статье предлагается метод оценки качества технических текстов, основанный на применении подхода аналитического самореферирования. Предлагается эвристический критерий качества текстов, основанный на оценке скорости уменьшения объема реферата текста.
В статье приводится обоснование энтропийного подхода к решению задач слепого разделения на примере задачи фильтрации речевых сигналов.
В статье рассматривается применение концепции интеллектуальных пространств для разработки логистической системы поиска попутчиков для водителей. Система базируется на онтологии информационного пространства, образованного мобильными устройствами участников дорожного движения и информационными каналами связи между этими устройствами. В статье представлено детальное описание архитектуры логистической системы поиска попутчиков для водителей. В описании архитектуры особое внимание уделено алгоритмам поиска совпадающих путей и точек встречи. Ввиду достаточно большой размерности задачи для ее решения предлагается использование эвристик, позволяющих снизить размерность задачи, что дает возможность существенно сократить время работы системы. Для демонстрации возможностей системы был разработан прототип, базирующийся на предложенной архитектуре, алгоритмах и онтологии системы.
1 - 25 из 30 результатов