?
Математика программных систем. Межвузовский сборник научных статей
Вып. Специальный выпуск.
Пермь :
Пермский государственный университет, 2008.
Ответственный редактор: Лядова Л. Н.
В сборник включены статьи, относящиеся к двум направлениям научной работы: моделирование и разработка информационных систем; создание систем имитационного моделирования и оптимизация моделей. Большая часть статей подготовлена при поддержке грантов РФФИ (номера проектов 08-07-90006-Бел_а и 08-07-90005-Бел_а). Проекты реализуются совместно с белорусскими партнерами. Представлены результаты, полученные в 2008 г. Материалы сборника могут представить интерес для научных работников, разработчиков информационных систем различного назначения и системных программистов, студентов вузов и аспирантов, интересующихся современными направлениями в области информационных технологий, а особенно тем категориям специалистов, которые работают в области имитационного моделирования, распределенных и параллельных вычислений, программной инженерии.
Главы книги
Сухов А. О., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 84–94.
В статье приведено описание инструментальной среды разработки визуальных языков моделирования, а также рассмотрены базовые операции работы с метамоделями и моделями.
Система MetaLanguage позволяет строить модели, которые достаточно подробно и точно описывают предметную область. Настолько подробно и точно, насколько это нужно в каждом конкретном случае. При этом для различных уровней детализации описаний используются одни и те же ...
Добавлено: 11 сентября 2013 г.
Лядова Л. Н., Сухов А. О., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 40–51.
В работе представлено описание языкового инструментария системы MetaLanguage. Данный метаязык позволяет создавать языки моделирования, которые могут быть настроены на меняющиеся условия эксплуатации и потребности пользователя без перегенерации программного кода системы. При этом пользователь может самостоятельно определять собственный язык для создания ИС или изменять уже существующие языки. Кроме того, создаваемые языки предоставляют возможность работы в терминах ...
Добавлено: 11 сентября 2013 г.
Замятина Е. Б., Ермаков С. А., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 110–119.
Имитационное моделирование (ИМ) — это метод, позволяющий строить модели, описывающие процессы так, как они проходили бы в действительности. ИМ является наиболее мощным, а иногда даже единственным способом исследования динамического поведения сложных систем. Развитие технологий ставит все более сложные задачи перед ИМ, высокие темпы развития делают время определяющим фактором, поэтому вычислительных мощностей одного даже суперкомпьютера не ...
Добавлено: 11 сентября 2013 г.
Замятина Е. Б., Лядова Л. Н., Миков А. И. и др., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 12–23.
Любая бизнес-система представляет собой сложную хозяйственную, организационную, социальную систему, для выживания которой в современных условиях необходимо обеспечить ее эффективную реорганизацию и адаптацию к изменениям внешней среды. Для решения этих задач необходимо применять современные концепции управления, использовать в полной мере возможности современных информационных технологий (ИТ). В данной статье рассматривается задача интеграции информационных систем, основанных на (мета)моделях, ...
Добавлено: 12 сентября 2013 г.
Ланин В. В., Пархачева А. С., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 24–33.
Задача визуализации схем различного содержания чрезвычайно часто возникает при разработке программных комплексов широкого спектра направлений. В существующих системах проблема визуализации схемы решается в каждой разработке отдельно. Такая ситуация связана с тем, что каждая система налагает определенные семантические ограничения на схему и контролирует ее во время работы пользователя. В каждом конкретном случае от схемы требуется специфическое ...
Добавлено: 12 сентября 2013 г.
Лядова Л. Н., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 34–39.
Одной из основных проблем инженерии программного обеспечения (ПО) становится в настоящее время постоянное изменений условий деятельности предприятий и организаций, для автоматизации которых создаются программные средства, информационные системы (ИС). Изменение условий функционирования ИС диктует необходимость быстрой адаптации систем к новым условиям, что, в свою очередь, требует привлечения к процессу производства ПО специалистов
в различных предметных областях и ...
Добавлено: 12 сентября 2013 г.
Замятина Е. Б., Ефимов А. Ю., Козлов А. А., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 120–129.
Высокопроизводительные вычисления завоевывают все более прочные позиции при решении разного рода задач (в том числе задач, в которых применяются методы имитационного моделирования), используя ресурсы нескольких исполнителей для выполнения вычислений. Основная цель использования этих средств – оптимизация времени вычислений. Однако гетерогенность исполнителей (вычислительные узлы имеют разную производительность, линии связи между узлами обладают разной пропускной способностью), гетерогенность ...
Добавлено: 12 сентября 2013 г.
Замятина Е. Б., Стаценко Н. А., Юрков К. Б., В кн.: Математика программных систем. Межвузовский сборник научных статейВып. Специальный выпуск.: Пермь: Пермский государственный университет, 2008. С. 130–136.
В статье рассмотрены особенности задачи балансировки нагрузки на узлах компьютерной сети (многопроцессорной ЭВМ). Описана возможная архитектура мультиагентной системы балансировки на основе системы Triad.Net. А также рассмотрены возможности для расширения предложенной архитектуры с использованием ИНС. Проанализированы задачи, которые должны быть решены, для успешного применения ИНС. Предложены ряд подходов, которые должны быть исследованы в
рамках практических экспериментов. В ...
Добавлено: 12 сентября 2013 г.
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и предназначен для изучения профессиональных модулей «Защита информации в информационно-телекоммуникационных системах и сетях с использованием программных и программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в автоматизированных системах программными и программно-аппаратными средствами».
Содержание учебника включает в себя аксиоматику теории информации, а также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
Мамедов И. Г., Fofanov M., Lukianchenko P. и др., IEEE Access 2026 No. 14 P. 26662–26671
Добавлено: 14 октября 2026 г.
Дмитриев А. В., Корнилов В. В., Batienkov R., Lecture Notes in Civil Engineering 2026 Vol. 886 P. 249–255
Добавлено: 13 октября 2026 г.
Дмитриев А. В., Shulman I., Лебедев А. А., Studies in Computational Intelligence 2026 Vol. 1265 P. 266–273
Добавлено: 13 октября 2026 г.
Makarov D. M., Каликин Н. Н., Fashchevsky K. A. и др., Electrochimica Acta 2026 Vol. 579 Article 150159
Добавлено: 13 октября 2026 г.
Zhang Z., Ильвовский Д. А., Information Processing and Management 2026 Vol. 63 No. 7
Добавлено: 13 октября 2026 г.
No Species Is an Island, Entire of Itself: Genetic Speciation Algorithm with Interplay among Species
Громов В. А., Сохраби М., Fathollahi-Fard A., International Journal of Engineering, Transactions B: Applications 2027 Vol. 40 No. 5 P. 1437–1460
Добавлено: 12 октября 2026 г.
Александров Д. В., Василевский В. И., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 5 С. 73–90
Ограничения при выполнении задач, требующих точного извлечения информации из сверхдлинных последовательностей, приводят к снижению качества генерации и отладки кода крупных объектно-ориентированных систем, характеризующихся сложными межклассовыми зависимостями и необходимостью анализа длинных трассировок выполнения, превышающих размеры стандартных контекстных окон. Предлагается технология JavaCapsule для генерации и отладки Java-кода, реализующая итеративную отладку на основе структурированной обратной связи, включающей результаты ...
Добавлено: 12 октября 2026 г.
Singapore: Springer, 2026.
Добавлено: 12 октября 2026 г.
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 7 октября 2026 г.
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...
Добавлено: 14 мая 2026 г.
Добавлено: 20 апреля 2026 г.
Добавлено: 27 ноября 2024 г.
Influence of anisotropy on the study of critical behavior of spin models by machine learning methods
Суховерхова Д. Д., Щур Л. Н., / Series arXiv "math". 2024. No. 2410.14523.
...
Добавлено: 21 октября 2024 г.