Моделирование в системах информатики. Рубрика в журнале - Проблемы информатики

Анализ устойчивости явных методов Рунге - Кутты в инструментальной среде ИСМА
Статья научная
Разработаны и программно реализованы алгоритмы исследования устойчивости явных методов Рун- ге − Кутты. Исследованы 13-стадийные методы различных порядков точности на основе стадий Фельберга. Доказана эффективность алгоритмов переменного порядка с контролем точности и устой- чивости.
Бесплатно

Статья научная
Предложен децентрализованный алгоритм самодиагностики крупномасштабных распределенных вычислительных систем, характеризующийся параллельным выполнением фаз тестирования и распространения диагностической информации. Приведены результаты моделирования алгоритма для распространенных топологий распределенных вычислительных систем.
Бесплатно

Имитационные алгоритмы управления малыми и средними нефтегазовыми месторождениями
Статья научная
Представлены имитационные алгоритмы, объединяющие возможности искусственного интеллекта и потребности технологии. Соответствующая автоматизированная система внедрена на участках добычи нефти на месторождениях Восточный Молдабек и Северный Котыртас.
Бесплатно

Компьютерный анализ многомерных гибридных систем явными методами в ИСМА
Статья научная
Рассмотрена задача химической кинетики повышенной размерности. Проведен детальный анализ спосо- бов спецификации и компьютерного моделирования задач такого класса. Показаны эффективность яв- ных методов с переменным порядком и контролем устойчивости на жестких задачах большой размерно- сти, а также высокая эффективность алгоритма локализации точек переключения.
Бесплатно

О влиянии одностороннего движения на величину потока
Статья научная
Рассматривается возможность применения имитационного моделирования для определения правил управления потоками машин в мегаполисе. В основу построения имитационной модели положена нестационарная s-гиперсеть, которая дает возможность вполне адекватно отобразить потоки машин по улицам города.
Бесплатно

Статья научная
Предложен теоретико-множественный подход к описанию больших и сложных дискретных динамических систем, используемый при построении их имитационных моделей. Данный подход, основанный на классификации компонентов имитационной модели по типам поведения, позволяет формализовать описание имитационных моделей таких систем, а также осуществлять развитие изобразительных средств имитационного моделирования с учетом решаемых задач моделирования и с использованием объектно-ориентированных технологий. Приведен пример такого развития изобразительных средств, ориентированного на моделирование телекоммуникационных и информационных систем и сетей различного назначения.
Бесплатно

Статья научная
Рассматривается оператор детализации действий, ставящий в соответствие действиям моделируемой системы на данном уровне абстракции более сложные процессы нижнего уровня, в контексте модели временных стабильных структур событий. Исследуется вопрос инвариантности семейства поведенческих эквивалентностей спектра ``линейного~--- ветвящегося времени'' в семантике частичного порядка. Показано, что известные эквивалентности сохраняются на ряде определенных подклассов, но не на целом классе временных стабильных структур событий. В~результате построены усиленные варианты поведенческих эквивалентностей, устойчивые при детализации действий.
Бесплатно

Статья научная
Предложена оптимизация параметров сильноточного электронного пучка для его транспортировки через нейтральный аргон при низких давлениях. Показано, что эффективная транспортировка пучка зависит от длительности его импульса и давления газа. Приведены результаты расчетов формирования плазменного канала и плотности тока пучка.
Бесплатно

Параллельный метод для расчета надежности сетей с ограничением на диаметр
Статья научная
В статье рассматривается задача точного расчета структурной надежности сети с ненадежными ребрами и абсолютно надежными вершинами. В качестве показателя надежности используется вероятность связности соответствующего случайного графа с ограничением на диаметр. Точный расчет данного показателя - NP-трудная задача, что делает его затруднительным для сетей реальной размерности. Предлагается параллельная реализация для известного метода факторизации и для его модификации, основанной на формировании всех путей между каждой парой полюсов. Разработаны два параллельных алгоритма для расчета на суперЭВМ с распределенной памятью. Результаты численных экспериментов позволили настроить параметры параллельных алгоритмов оптимальным образом и значительно повысить масштабируемость.
Бесплатно

Программные средства анализа отказоустойчивости беспроводных сенсорных сетей
Статья научная
В настоящее время беспроводным сенсорным сетям уделяется повышенное внимание в исследовательских центрах и коммерческих компаниях. Область применения технологий беспроводных сенсорных сетей достаточно обширна. Например, они могут применяться для мониторинга качества воздуха, контроля трафика, в новых методах медицинской диагностики, в системах „умный дом" и др. Однако вопрос безопасности беспроводных сенсорных сетей до сих пор является открытым. При их разработке и внедрении необходимо принимать во внимание как известные, так и потенциальные атаки. В данной статье рассматриваются вопросы разработки программных средств для анализа отказоустойчивости беспроводных сенсорных сетей.
Бесплатно