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

Публикации в рубрике (11): Моделирование в системах информатики
все рубрики
Анализ устойчивости явных методов Рунге - Кутты в инструментальной среде ИСМА

Анализ устойчивости явных методов Рунге - Кутты в инструментальной среде ИСМА

Шорников Юрий Владимирович

Статья научная

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

Бесплатно

Децентрализованный алгоритм самодиагностики для крупномасштабных распределенных вычислительных систем различных топологий

Децентрализованный алгоритм самодиагностики для крупномасштабных распределенных вычислительных систем различных топологий

Молдованова Ольга Владимировна

Статья научная

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

Бесплатно

Имитационные алгоритмы управления малыми и средними нефтегазовыми месторождениями

Имитационные алгоритмы управления малыми и средними нефтегазовыми месторождениями

Амирханова Гульшат Аманжоловна, Гречко Светлана Михайловна

Статья научная

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

Бесплатно

Компьютерный анализ многомерных гибридных систем явными методами в ИСМА

Компьютерный анализ многомерных гибридных систем явными методами в ИСМА

Шорников Юрий Владимирович, Томилов Иван Николаевич, Денисов

Статья научная

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

Бесплатно

О влиянии одностороннего движения на величину потока

О влиянии одностороннего движения на величину потока

Ахмедиярова Айнур Танатаровна, Иванов Николай Игоревич

Статья научная

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

Бесплатно

Об одном способе формализации и представления имитационных моделей больших и сложных дискретных систем

Об одном способе формализации и представления имитационных моделей больших и сложных дискретных систем

Ярославцев Александр Федорович

Статья научная

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

Бесплатно

Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий

Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий

Адреева Мария Владимировна

Статья научная

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

Бесплатно

Оптимизация параметров низкоэнергетического сильноточного электронного пучка для эффективной транспортировки его в аргоне при низком давлении

Оптимизация параметров низкоэнергетического сильноточного электронного пучка для эффективной транспортировки его в аргоне при низком давлении

Звигинцев Илья Леонидович, Григорьев Владимир Петровичв

Статья научная

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

Бесплатно

Параллельный метод для расчета надежности сетей с ограничением на диаметр

Параллельный метод для расчета надежности сетей с ограничением на диаметр

Нестеров Сергей Николаевич, Мигов Денис Александрович

Статья научная

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

Бесплатно

Программные средства анализа отказоустойчивости беспроводных сенсорных сетей

Программные средства анализа отказоустойчивости беспроводных сенсорных сетей

Стрельников Василий Евгеньевич

Статья научная

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

Бесплатно

Программные средства повышения эффективности гидродинамического 3D-моделирования месторождений нефти и газа

Программные средства повышения эффективности гидродинамического 3D-моделирования месторождений нефти и газа

Захарова Алена Александровнаа, Иванов Максим Анатольевич, Ямпольский Владимир Захарович

Статья научная

Рассмотрены проблемы гидродинамического 3D-моделирования нефтегазовых месторождений, предложены программные средства для повышения эффективности процесса моделирования, сделан вывод о целесообразности применения разработанных программно-инструментальных средств.

Бесплатно

Журнал