?
Структурно-функциональное моделирование в нотации Event-driven Process Methodology как инструмент для генерации кода программ, имитирующих процессную деятельность
Научно-техническая информация. Серия 2: Информационные процессы и системы. 2024. № 12. С. 1–8.
Рассматривается необходимость получения объективных оценок эффективности организации процессной деятельности на основе цифровых двойников. Описана методика установления соответствия между структурно-функциональными моделями в нотации EPM (Event-driven Process Methodology) и знаково-символьным описанием, которое может быть переведено на язык программирования на основе группы правил. Приведены примеры получения знаково-символьного описания и программ на языке R по заданной структурно-функциональной модели, а также результаты статистического исследования процессов, которые они описывают.
No Species Is an Island, Entire of Itself: Genetic Speciation Algorithm with Interplay among Species
International Journal of Engineering, Transactions B: Applications 2027 Vol. 40 No. 5 P. 1437–1460
Добавлено: 12 октября 2026 г.
Добавлено: 12 октября 2026 г.
Александров Д. В., Василевский В. И., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 5 С. 73–90
Ограничения при выполнении задач, требующих точного извлечения информации из сверхдлинных последовательностей, приводят к снижению качества генерации и отладки кода крупных объектно-ориентированных систем, характеризующихся сложными межклассовыми зависимостями и необходимостью анализа длинных трассировок выполнения, превышающих размеры стандартных контекстных окон. Предлагается технология JavaCapsule для генерации и отладки Java-кода, реализующая итеративную отладку на основе структурированной обратной связи, включающей результаты ...
Добавлено: 12 октября 2026 г.
Singapore: Springer Singapore, 2026.
Добавлено: 12 октября 2026 г.
Гусейн-Заде С. М., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Добавлено: 12 октября 2026 г.
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
М.: Юрайт, 2026.
Сборник олимпиадных задач (СОЗ) по теории вероятностей и математической статистики (ТВМС) предлагается в качестве учебно-методического пособия прежде всего для студентов и преподавателей ВУЗов как развивающий дополнительный материал, расширяющий ассортимент решаемых задач в лекционной, семинарской и вне аудиторной самостоятельной работе со студентами в различных формах, в том числе и (в соответствии с названием) в проведении олимпиад ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Kupavskii A., Носков Ф. А., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
Добавлено: 8 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Flamarion M. V., Пелиновский Е. Н., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 7 октября 2026 г.
Приведено описание лабораторных работ модуля 1 «Введение в математическое моделирование систем транспортных средств. Моделирование элементов ходовых систем колёсных машин» курса «Моделирование систем транспортных средств», выполняемых в программном комплексе автоматизированного анализа динамики систем тел «Универсальный механизм». Приведены краткие теоретические сведения, исходные данные, пошаговые инструкции для создания моделей. Для студентов высших учебных заведений, обучающихся по направлениям подготовки ...
Добавлено: 7 августа 2026 г.
Раменская А. В., Бектемиров Р. Р., Корнейченко Е. Н., В кн.: Имитационное моделирование. Теория и практика (ИММОД 2025).: СПб.: АО "ЦТСС", 2025. С. 463–470.
Для стабильного функционирования банкам необходимо анализировать предпочтения и поведение своих клиентов. Высокое значение ключевой ставки отразилось на депозитной политике банков. Цель исследования - разработка имитационной модели поведения клиентов на региональном рынке банковских вкладов. Предложена агентная имитационная модель, описывающая рынок банковских вкладов в регионе с тремя банками и ограниченным количеством потенциальных вкладчиков. Рассмотрены два сценария внедрения ...
Добавлено: 20 апреля 2026 г.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
Бабкина Т. С., Долматов С. Н., Известия Тульского государственного университета. Технические науки 2025 № 9 С. 73–80
Имитационное моделирование является современным инструментом, предназначенным для проведения анализа различных систем. Реализация моделей в области взаимодействия «продавец-покупатель» позволяет моделировать процессы принятия решения покупателем, прогнозировать время ожидания в очереди, обработки заявки и т.п. Методы моделирования позволяют повысить показатели бизнеса, уменьшить или спрогнозировать возможные риски. Средствами пакета AnyLogic построена модель реализации саженцев садовых культурных растений. Разработана дискретно-событийная ...
Добавлено: 13 апреля 2026 г.
Якименко С. И., Информационно-управляющие системы 2026 № 2 С. 36–48
Введение: кеширование позволяет снизить задержку доступа к контенту с помощью его приближения к пользователям и разгрузки облачного уровня сети. Для этого применяются граничные серверы, однако стандартный стек TCP/IP не использует возможности кеширования полностью, поэтому необходимо рассмотреть модель кеша, задействующего более приспособленный для данной функции стек Named Data Networking. Цель: разработать модели для оценки задержек доступа к ...
Добавлено: 9 марта 2026 г.
Тираспольский С.А., Флаксман А. Г., Ермолаев В. Т. и др., Известия высших учебных заведений. Радиоэлектроника 2016 № 1 С. 8–14
Рассмотрены системы связи декаметрового диапазона, работающие в условиях многолучевого
ионосферного пространственного канала. С помощью имитационного моделирования на физическом
уровне исследованы основные характеристики системы (вероятность битовой и блоковой ошибки, про
пускная способность). Показано, что в условиях частотно-селективного канала в полосе 3 кГц линейный
алгоритм эквализации обеспечивает высокую эффективность подавления межсимвольной помехи для
всех скоростей передачи данных, кроме самой высокой. ...
Добавлено: 10 февраля 2026 г.
Абрамова С. В., Бояров Е. Н., Станкевич П. В. и др., В кн.: Современное образование в области безопасности жизнедеятельности: теория, методика, практика. Сборник материалов XXIX Всероссийской научно-практической конференции, Санкт-Петербург, 12 ноября 2025 года.: Каз.: ООО "Бук", 2025. С. 8–14.
В статье рассматриваются фундаментальные основы технологического подхода в образовании по безопасности жизнедеятельности в условиях цифровой трансформации. Проводится сравнительный анализ производственных и социальных (в том числе педагогических) технологий, подчеркивается специфика последних, обусловленная активной ролью обучающегося как объекта воздействия. Обосновывается эволюция понятий «информационные технологии» (ИТ) и «информационно-коммуникационные технологии» (ИКТ), их роль в модернизации образовательного процесса. Представлены многоаспектные ...
Добавлено: 9 декабря 2025 г.
Мыльников Л. А., Кунакбаев Д. Э., Иванов А. А., Информационные технологии и вычислительные системы 2025 № 3 С. 98–112
В статье рассматривается способ количественного исследования эффективности информационной инфраструктуры, систем и процессной деятельности с использованием нотации Event-driven Process Methodology (EdPM) и результатов имитационного моделирования работы структурны-функциональных моделей. Для оценки эффективности используются статистические данные, полученные в результате имитационного моделирования и метолы анализа графов. Приведен способ модификации PageRank алгоритма, который позволил ранжировать узлы по числу обращений, а ...
Добавлено: 25 сентября 2025 г.
Предложен способ построения моделей классификации трех и более упорядоченных классов в случаях, когда исходной выборки достаточно только для построения бинарного классификатора, способного распознавать «крайние» по порядку классы; когда есть информация о распределении всех классов и о частоте возникновения положительного результата у существующей модели классификации по каждому классу. Данный способ основан на генерации недостающей выборки с ...
Добавлено: 8 июля 2025 г.