?
Математика программных систем: Межвузовский сборник научных трудов
Вып. 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 г.
Научное направление:
Компьютерные науки
Язык:
русский
Stoianova A. D., Trofimets V. Y., Matrokhina K. V., International Journal of Engineering, Transactions A: Basics 2025 Vol. 38 No. 4 P. 701–709
Добавлено: 10 ноября 2026 г.
Добавлено: 10 ноября 2026 г.
Добавлено: 10 ноября 2026 г.
Lukyanchuk V., Норман Г. Э., Кондратюк Н. Д. и др., Scientific Reports 2026 Vol. 16 No. 1 Article 16435
Добавлено: 10 ноября 2026 г.
Avdoshin S.M., Pesotskaya E.Y., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 6, part 2 P. 133–146
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
IEEE Computer Society (Conference Publishing Services, CPS), 2026.
Добавлено: 7 ноября 2026 г.
Sergey Avdoshin, Elena Pesotskaya, Салех Х. М. и др., Procedia Computer Science 2026 Vol. 292 P. 1332–1341
Добавлено: 7 ноября 2026 г.
Колмогорова А. В., Ekaterina Yavshitz, Margolina A. и др., Association for Computational Linguistics, 2026.
Добавлено: 4 ноября 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 3 ноября 2026 г.
Абдулкадиров Т. Н., Рюмина Е. В., Рюмин Д. А. и др., Expert Systems with Applications 2026 Vol. 334 P. 1–29
Добавлено: 3 ноября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6-1 С. 7–20
В статье исследуется длина адаптивной различающей последовательности для семейства инициальных полностью определенных наблюдаемых, возможно, недетерминированных автоматов. Приводится верхняя оценка длины такой последовательности и показывается ее достижимость. Обсуждается, каким образом полученные результаты можно применить при построении адаптивных диагностических тестов на основе конечно-автоматной модели. ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 4-1 С. 7–24
В статье усовершенствуется предложенная в предыдущей статье авторов модель кластеризованной распределённой сети с опросом, соответствующая сервис-ориентированной архитектуре. Целью опроса является нахождение ближайшего узла, готового оказать требуемую услугу (сервис) как можно раньше. Предлагаемые алгоритмы обеспечивают достижимость узлов, отсутствие дублирования сообщений, и обмен сообщениями с найденным узлом по кратчайшему пути. Кластеризованность сети означает, что в графе сети ...
Добавлено: 31 октября 2026 г.
Твардовский А. С., Бурдонов И. Б., Евтушенко Н. В., Труды Института системного программирования РАН 2026 Т. 38 № 4-2 С. 7–22
В статье вводятся понятия установочной и синхронизирующей последовательностей для конечных автоматов с временными ограничениями и таймаутами. Такие последовательности широко используются для идентификации финального состояния исследуемого автомата как при синтезе тестов на основе формальных моделей, так и при обучении конечно-автоматных моделей. Метод синтеза установочных и синхронизирующих последовательностей основан на использовании конечно-автоматной абстракции временного автомата, поскольку методы ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3-1 С. 7–32
В статье предложена модель кластеризованной распределённой сети для обработки запросов. В такой сети узлы являются вычислительными единицами, и каждый узел может запросить ту или иную услугу, которая может быть оказана каким-то другим, но заранее неизвестным, узлом сети. Для этого осуществляется опрос сети аналогичный поиску в ширину для того, чтобы найти ближайший узел с необходимыми свойствами. ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2025 Т. 37 № 5 С. 7–32
Статья является продолжением предыдущей статьи авторов, в которой строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы. Хосты предлагают пользователям пакеты определенных услуг (сервисов), сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации, и настройка узлов определяет множество путей от хоста к хосту, по которым будут пересылаться пакеты. Ситуация моделируется с использованием ...
Добавлено: 30 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2025 Т. 37 № 4-1 С. 7–30
В работе строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы, которая позволяет оценить классы задач, которые необходимо решать в такой сети, принимая во внимание, в том числе, нефункциональные параметры. Предполагается, что хосты предлагают пакеты определенных услуг (сервисов) и сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации. Правило определяет, каким соседним ...
Добавлено: 30 октября 2026 г.
Душакова Н., Шкиль М. Д., Вестник архивиста 2025 № 3 С. 745–760
Статья посвящена проблематизации и уточнению термина «цифровой архив», анализу приоритетных направлений в исследованиях цифровых архивов и вопросам систематизации разрозненных источников в цифровом пространстве. Следствием цифрового поворота и всеобщего роста интереса к сохранению исторического наследия стало распространение новых способов обработки и хранения информации. В создание и популяризацию цифровых архивов включились не только архивы и библиотеки, но ...
Добавлено: 25 октября 2026 г.
Timur Teregulov, Elena R. Loubenets, / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
М.: РУДН, 2026.
В научном электронном издании представлены материалы XXIX Международной научной конференции «Распределенные компьютерные и телекоммуникационные сети: управление, вы числение, связь» по следующим направлениям:
Алгоритмы и протоколы телекоммуникационных сетей
Управление в компьютерных и инфокоммуникационных системах
Анализ производительности, оценка QoS / QoE и эффективность сетей
Аналитическое и имитационное моделирование коммуникационных систем последующих поколений
Эволюция беспроводных сетей в направлении 5G;
Технологии сантиметрового и миллиметрового диапазона ...
Добавлено: 26 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.