?
Математика программных систем: Межвузовский сборник научных трудов
Вып. 13.
Пермь :
Пермский государственный национальный исследовательский университет, 2016.
Научный редактор: А. И. Миков
Ответственный редактор: Лядова Л. Н.
В сборник включены статьи, представленные исследователями из нескольких университетов Российской федерации и Болгарии. Основная тематика статей - моделиррованием процессов и систем, телекоммуникационных сетей. Опубликованы также работы, посвящённые технологиям разработки информационных систем, проектированию архитектуры предприятий.
Главы книги
Saranova E. T., Poryazov S. A., Zamyatina E.B., , in: Математика программных систем: Межвузовский сборник научных трудовВып. 13.: Пермь: Пермский государственный национальный исследовательский университет, 2016. P. 4–11.
Добавлено: 26 января 2017 г.
Порязов С. А., Нестеров Р. А., Лядова Л. Н., В кн.: Математика программных систем: Межвузовский сборник научных трудовВып. 13.: Пермь: Пермский государственный национальный исследовательский университет, 2016. С. 12–21.
Рассматривается подход к разработке моделей сложных систем, позволяющий снизить трудоёмкость создания моделей. Подход основан на трансформации графических моделей в аналитические модели, пригодные для исследования средствами математических пакетов, а также в имитационные модели. ...
Добавлено: 26 января 2017 г.
Замятина Е. Б., Мальцев Г. А., Порязов С. А. и др., В кн.: Математика программных систем: Межвузовский сборник научных трудовВып. 13.: Пермь: Пермский государственный национальный исследовательский университет, 2016. С. 22–38.
В данной работе рассматриваются SDN-сети и SON-сети, а также средство имитационного моделирования TriadNS, в котором разрабатывается имитационная модель SDN-сети. Рассмотрен алгоритм маршрутизации SBARC, который подходит для SDN-сетей, и его реализация в СИМ TriadNS. Работа будет полезна при построение имитационных моделей компьютерных сетей в СИМ TriadNS. ...
Добавлено: 26 января 2017 г.
Плаксин М. А., Пономарева О. А., В кн.: Математика программных систем: Межвузовский сборник научных трудовВып. 13.: Пермь: Пермский государственный национальный исследовательский университет, 2016. С. 39–52.
В статье описана модель программного проекта, использующего информационную базу Team Foundation Server для регистрации таких проектных артефактов, как релиз, задача, ошибка. Описан порядок работы с информационной базой в ходе реализации проекта и возможность использования хранящихся в ней данных для управления процессом реализации программного проекта, оценки успешности этого процесса и выявления возникающих проблем, как во время ...
Добавлено: 26 января 2017 г.
Сахипова М. С., В кн.: Математика программных систем: Межвузовский сборник научных трудовВып. 13.: Пермь: Пермский государственный национальный исследовательский университет, 2016. С. 53–62.
Проведен сравнительный анализ существующих методик проектирования системной архитектуры предприятия. Для анализа методик использовался метод анализа иерархий. Системная архитектура состоит из связанных архитектур – архитектуры приложений и технологической архитектуры. Для разработки системной архитектуры необязательно применять только одну методику. Можно комбинировать методики для проектирования каждой отдельной архитектуры. Так как системная архитектура предприятия напрямую влияет на эффективность его ...
Добавлено: 26 января 2017 г.
Научное направление:
Компьютерные науки
Язык:
русский
Добавлено: 30 сентября 2026 г.
Джамбонг Тенке Х., Institute for System Programming of the RAS, 2026.
Добавлено: 29 сентября 2026 г.
Иванашев Я. М., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2026 Т. 529 С. 93–101
Язык L является нижним для релятивизируемого сложностного класса C, если CL=C. Для классов #P, GapP и SpanP известны точные нижние классы языков: Low(#P) = UP ∩ coUP, Low(GapP) = SPP и Low(SpanP) = NP ∩ coNP. В этой статье мы доказываем, что Low(TotP) = P, и приводим характеризации нижних классов функций для #P, GapP, TotP ...
Добавлено: 28 сентября 2026 г.
Piliugin L., Antropov A., Lobashev E. и др., Journal of Nuclear Materials 2026 Vol. 632 Article 156876
Добавлено: 28 сентября 2026 г.
Kashpurovich I., Oleynichenko A., Стегайлов В. В., Supercomputing Frontiers and Innovations 2026 Vol. 13 No. 1 P. 52–73
Добавлено: 28 сентября 2026 г.
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Силаков Д. В., Системный администратор 2026 С. 84–89
Пользователи социальных сетей редко задумываются о том, что стоит за красивым фасадом с лентами активностей, пестрящими фотографиями и видеоисториями. Однако массовое увлечение подобными платформами порождает огромное количество всевозможного контента, который надо хранить, оперативно обрабатывать и отображать, а в эру ИИ — еще и активно помогать в его создании и адаптации.
Неудивительно, что последние десятилетия разработчики ведущих социальных сетей стабильно являются поставщиками инфраструктурных программных продуктов, многие из которых распространяются ...
Добавлено: 28 сентября 2026 г.
Prokhorov A., Wei Z., Sang H. и др., Journal of Productivity Analysis 2026 Vol. 65 P. 1–16
Добавлено: 28 сентября 2026 г.
Qian X., Guan X., Zhang B. и др., Journal of Global Optimization 2026
Добавлено: 27 сентября 2026 г.
М.: РУДН, 2026.
В научном электронном издании представлены материалы XXIX Международной научной конференции «Распределенные компьютерные и телекоммуникационные сети: управление, вы числение, связь» по следующим направлениям:
Алгоритмы и протоколы телекоммуникационных сетей
Управление в компьютерных и инфокоммуникационных системах
Анализ производительности, оценка QoS / QoE и эффективность сетей
Аналитическое и имитационное моделирование коммуникационных систем последующих поколений
Эволюция беспроводных сетей в направлении 5G;
Технологии сантиметрового и миллиметрового диапазона ...
Добавлено: 26 сентября 2026 г.
Switzerland: Springer Cham, 2026.
Добавлено: 25 сентября 2026 г.
Добавлено: 25 сентября 2026 г.
Дубич Е. В., Щагин Д. В., Славянский форум 2026 № 2 (52) С. 560–565
В статье сравниваются протоколы HTTP/2 и HTTP/3 при передаче статических файлов в условиях программно моделируемой сетевой деградации. Эксперимент показал, что HTTP/3 не является универсально более быстрым, но устойчивее проявляет себя при росте задержки и потерь пакетов. ...
Добавлено: 25 сентября 2026 г.
Joulitov A.K., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4(2) P. 215–224
В майнинге процессов (process mining) графы непосредственного следования (Directly-Follows Graph, DFG) популярны благодаря своей простоте и наглядности. Однако, если процесс является ациклическим, но содержит параллельные события, стандартные алгоритмы построения DFG-моделей могут генерировать «ложные» циклы, которыe не представлены в журнале событий. Такие циклы мешают анализу информационных процессов, значительно снижая интерпретируемость и точность (precision) модели. Эта проблема ...
Добавлено: 24 сентября 2026 г.
Добрина Д. Н., Нестеренко А. Ю., Прикладная дискретная математика. Приложение 2026 № 19 С. 151–159
Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов. ...
Добавлено: 24 сентября 2026 г.
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
Паршаков П. А., Паклина С. Н., International Journal of Human-Computer Interaction 2026 P. 1–17
Добавлено: 23 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.