Опубликован:
2005-04-01
Статьи
-
Идеал цепочек конъюнкций с оценками вероятностей его элементов является одной из математических моделей фрагмента знаний с вероятностной неопределенностью. Цепи и сети таких идеалов являются математическим моделями баз фрагментов знаний и называются алгебраическим байесовскими сетями. В статье рассматриваются экстремальные задачи, возникающие при пропагации свидетельств и их кортежей (апостериорном выводе) в идеалах цепочек конъюнкций; предложено обобщение этого подхода на цепи и ациклические сети идеалов. Изначально возникающие задачи формулируются как задачи гиперболического программирования, но их удаётся свести к серии задач линейного программирования. В статье также описана индексация элементов идеала, позволяющая представить множество ограничений относительно оценок их вероятности на основе требований аксиоматики вероятностной логики, в виде, удобном для формальной записи рассматриваемых экстремальных задач.
-
В статье подробно рассмотрены байесовские сети, представляемые в виде линейной цепочки фрагментов знании. Рассмотрены как байесовские сети доверия, основанные на условных вероятностях, так и алгебраические байесовские сети, основанные на маргинальных совместных вероятностях. Показана взаимосвязь между этими объектами. Явно выписаны семейства вероятностей, отвечающих линейным цепочкам фрагментов знаний в обоих случаях.
-
В статье анализируются основные проблемы поиска if-then правил в данных: проблема сегментации признаков, проблема перебора вариантов, отсутствие критериев для оценки отдельных правил, проблема ложных закономерностей в многомерных данных, работа с нечеткими правилами и др. На примере системы Deep Data Diver раскрываются перспективы в рассматриваемой области.
-
Рассматриваются принципы построения средств автоматического распараллеливания последовательных программ на основе грaфа программы и графа информационных потоков. Разработан макет системы автоматизированного распараллеливания программ, написанных на языке C. На исходный текст накладываются ограничения структурного программирования.
-
Определяются задачи, решаемые в ходе выполнения проекта разработки программного изделия с помощью математических моделей. Приводятся схемы технологического и информационного взаимодействия моделей. Определяются основные характеристики проекта. Дается описание моделей, входящих в комплекс (модели оценивания и отслеживания).
-
В работе рассмотрен сегментный принцип построения автоматизированных систем с многоуровневым доступом, направленный на решение проблемы недекларированных возможностей системо-образующего ПО, прежде всего ОС и СУБД. Главной особенностью предложенного подхода является возможность использования в составе критичных систем несертифицированных компонентов для обработки секретной информации различного уровня доступа при исключении взаимодействия между сегментами либо при использовании в качестве посредников такого взаимодействия специальных компонентов, называемых шлюзами безопасности.
-
Рассмотрены основные цели, решаемые системами высокой готовности. Как пример приведена архитектура и принципы работы кластера с различным количеством узлов. Проведено экспериментальное исследование зависимости критерия готовности от архитектуры кластера. Рассмотрено изменение этой зависимости при различных порядковых отношениях между исходными характеристиками.
-
В статье дан анализ существующих методов оценки производительности вычислительных систем. Рассмотрены основные компьютерные подсистемы, выбраны характеристики и критерии для оценки производительности. Предложен новый метод оценки, основанный на анализе значений характеристик и свертке этих значений в интегральный показатель. Рассмотрены такие характеристики поведения системы, как эффективность, стабильность и доминирование нагрузки.
-
Представлен формализм построения абстрактного автомата, реализующего функциональность оперативной памяти ЭВМ, построено метрическое множество таких автоматов, определены операции сложения и умножения. Рассмотрены вопросы использования полученных формальных решений в практике распределенных вычислений.
-
В статье описана информационная технология "погружения" произвольного синтезированного на компьютере виртуального объекта, в том числе робота-манипулятора, в реальную внешнюю среду. Разработанная технология обеспечивает как визуальный, так и тактильно-силовой эффект восприятия. Эта технология реализует так называемую добавленную реальность (Augmented Reality), быстро развивающееся направление виртуальной реальности (Virtual Reality). Виртуальный объект в этом случае является добавлением к реальности. В отличие от известных вариантов, описанная в статье технология обеспечивает более реалистичное восприятие виртуального объекта в реальном мире и является менее затратной. В этом выпуске представлена вторая часть статьи, содержащая экспериментальные результаты.
-
В качестве регулятивных компонентов разрабатываемой разновидности методологии системного анализа рассматриваются: системная парадигма и принципы системного анализа, уточненные на основе определения организационно-технической системы. Развивая аналогичные общеметодологические средства системного анализа, предложенные регулятивы способствуют снижению степени неопределенности и повышению степени конструктивности анализа и синтеза систем, согласованности получаемых в ходе его проведения результатов. Применение данных регулятивов в структурно-целевом анализе рыбохозяйственных комплексов показало их практическую значимость.
-
В пространстве состояний (ПС) нелинейных нестационарных динамических объектов исследуются численные алгоритмы их оптимального управления при наличии ограничений. Управляющие воздействия ограничиваются классом кусочно-постоянных функций, в виде положительных и отрицательных импульсов, порождающих в ПС бинарные деревья. Динамический процесс интерпретируется как рост бинарного дерева. По мере роста бинарного дерева, его узлы попадают в различные области ПС (кластеры). Целью управления является попадание, в процессе роста бинарного дерева, одного или нескольких узлов в заданный кластер. В работе рассматривается новый численный метод поиска оптимального управления при адаптации к ограничениям внешней среды, названный методом бинарных деревьев.
-
Сформулирован общий принцип пространственно-угловой зеркальной симметрии полей поляризованного излучения для плоского неоднородного слоя конечной оптической толщины. На этой основе в классическую теорию переноса поляризованного излучения введены новые понятия - поляриметрические инварианты. Проведена модификация основной краевой задачи теории переноса излучения для нахождения этих величин. Показаны существенные упрощения при численном моделировании полей поляризованного излучения в случае использования поляриметрических инвариантов. Проведено также обобщение сформулированного принципа зеркальной симметрии для информативности полей поляризованного излучения и вероятностей выхода квантов из среды. На основе развитой инвариантной трактовки показана возможность описания поляризованного поля излучения плоского однородного слоя с помощью единой поляриметрической функции.
-
Рассмотрена проблема обобщения локальных свойств зеркальной симметрии элементарного процесса рассеяния поляризованного излучения на уровень процессов многократного рассеяния в плоском однородном слое конечной оптической толщины. Введены новые понятия в классическую теорию переноса поляризованного излучения — единая поляриметрическая функция и поляриметрические инварианты. Как пример их использования рассмотрено поле поляризованного излучения системы «атмосфера-подстилающая поверхность».
-
Рассматриваются проблемы информационной калибровки данных дистанционного спектрометрирования Земли на основе фундаментальных решений уравнения переноса излучения. Формулируются задачи поиска инвариантов информативности в пространстве решений оператора переноса излучения с зеркальной симметрией. Предлагаемый подход является естественным развитием формализованных процедур получения информационно- динамических моделей полей излучения природных сред, позволяющих с единых методологических позиций проводить планирование, сопоставление и оценку аэрокосмической информации, инвариантной к пространственно-временной и спектральной изменчивости относительно условий дистанционного зондирования.
-
Проведены исследования ограничений, связанных с применимостью и ошибками нормировки спектральных характеристик, вегетационных индексов и коэффициентов яркости, используемых при тематической интерпретации дистанционной аэрокосмической информации и в задачах построения геоинформационных систем (ГИС). Показаны условия использования информационно-энтропийного синергетического подхода для моделирования информационных характеристик дистанционной индикации параметров развитого экологического процесса.
-
На основе методов иммунокомпьютинга предложены новые индексы, характеризующие риск развития дезадаптационных нарушений у подростков в условиях нахождекния в «жесткой» образовательной среде. Применение индексов наглядно продемонстрировано на данных психологического обследования учащихся Военно-космического кадетского корпуса им. Петра Великого г. Санкт-Петербурга
-
Представлена модель для определения энергетических трат организма диких северных оленей, связанных с поддержанием термостабильности и активностью животных в зависимости от температуры воздуха, скорости ветра, состояния снежного покрова, солнечной радиации. Приводятся результаты расчетов в широком диапазоне изменения метеофакторов и оценки границ толерантности животных.
-
Рассмотрена технологическая схема обработки результатов зондирования поверхностных вод в видимом и ближнем инфракрасном диапазонах спектра при естественном освещении. Технология основана на численном решении уравнения переноса излучения в атмосфере и водной среде и включает формирование специализированных баз данных, ускоряющих процесс восстановления состояния водной массы.
-
Рассмотрен новый подход к формированию математических моделей технологических установок. На его основе построена математическая модель управления технологическим процессом на установке каталитического риформинга нефтеперерабатывающего предприятия. Полученные математические и алгоритмические решения реализованы в виде системы поддержки принятия решений в интересах повышения эффективности управленческих решений руководящего и технического персонала.
-
Рассмотрена задача построения программного стенда, предназначенного для испытаний, отладки и верификации математических моделей, используемых в различных задачах наблюдения и управления. Стенд включает в себя базу знаний математических моделей, программный генератор тестовых сигналов и анализатор качества функционирования моделей. Реализация стенда осуществлена на основе java-технологий.
-
Статья посвящена оценке взаимоотношений между среднелатентными и длиннолатентными слуховыми потенциалами в модели избирательного внимания. В таких условиях топографическое картирование мозга служит аппроксимацией прямых и обратных влияний нейронных популяций на процессы обработки акустической информации. Обсуждаются механизмы восприятия целевых и нецелевых акустических сигналов в головном мозгу на различных временных интервалах.
