?
Метод определения противоречий в DEMO-моделях бизнес-процессов
Бизнес-информатика. 2014. № 2. С. 33–43.
В статье дается анализ методов и предложено решение проблемы обнаружения логических противоречий в моделях бизнес-процессов системы здравоохранения. Практической целью разрешения проблемы является повышение эффективности управления данными и процессами в муниципальных учреждениях здравоохранения при реализации комплексных услуг. Методология основана на формальных инструментах реляционной логики, в качестве формализма задействована методология описания бизнес-процессов DEMO. Использована существенным образом система моделирования MIT Alloy Analyzer. Проанализированы бизнес процессы конкретной организации, приведены рекомендации о ликвидации противоречий.
Приоритетные направления:
бизнес-информатика
Язык:
русский
Ronglin Z., Wei L., Jiahong C. и др., Journal of Signal Processing Systems 2026 Vol. 98 P. 1–15
Добавлено: 16 мая 2026 г.
Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66
Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...
Добавлено: 16 мая 2026 г.
Neal N. X., Weiqing L., Dacheng H. и др., Algorithms 2026 Vol. 19 No. 5 P. 1–22
Добавлено: 13 мая 2026 г.
Velichkov B., Nikolova-Koleva I., Slavcheva M., Shumen: INCOMA Ltd, 2025.
Добавлено: 12 мая 2026 г.
Степанянц В. Г., Долгов И. М., Хорошилов Г. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 95–110
На рынок постепенно выходят высокоавтоматизированные и подключенные транспортные средства (ТС). В настоящее время предлагаются решения, позволяющие использовать эти технологии для совместного управления дорожным движением, что может значительно повысить его безопасность. В статье анализируются требования к интегрированной среде моделирования подключенных и высокоавтоматизированных ТС и совместной автоматизации управления дорожным движением с высокодетализированным учетом влияния окружающих объектов. Проанализированы ...
Добавлено: 12 мая 2026 г.
Тихонов Р. А., Efendiev M. T., Fedotenkov A. A., 2026 International Russian Smart Industry Conference (SmartIndustryCon) 2026 P. 542–547
Добавлено: 11 мая 2026 г.
Los Alamitos: IEEE Computer Society, 2026.
Добавлено: 10 мая 2026 г.
Карцева М. А., Пересецкий А. А., / Высшая школа экономики. Серия WP2 "Количественный анализ в экономике". 2026. № WP2/2026/01.
В данной работе исследуется связь между здоровьем одиноко проживающих пожилых людей и владением домашним питомцем (кошка, собака). Для анализа используются результаты обследования «Использование суточного фонда времени населением», проведенного Росстатом (Federal State Statistics Service, Rosstat) в 2019 г., которые содержат данные о более чем 10 000 одиноких пожилых людей возрастом более 60 лет в России, включая информацию ...
Добавлено: 8 мая 2026 г.
Авдошин С. М., Песоцкая Е. Ю., Информационные технологии 2026 Т. 32 № 4 С. 185–194
С развитием ИИ, и в особенности глубокого обучения, появились модели, способные давать крайне точные
прогнозы. Однако их внутренняя логика остается трудной для понимания — и это серьезная проблема, особенно в сферах, где от корректности алгоритма зависят критиче ски важные решения. Одним из перспективных
путей ее решения считается направление Explainable Artificial Intelligence (XAI) — разработка подходов, позволяющих прояснять ...
Добавлено: 8 мая 2026 г.
Авдошин С. М., Песоцкая Е. Ю., Business Informatics 2026 Vol. 20 No. 1 P. 7–28
Добавлено: 8 мая 2026 г.
Ismagilov T., Mukosey A., Смирнов Ф. А. и др., International Journal of High Performance Computing Applications 2026 Vol. 40 No. 2 P. 240–253
Добавлено: 7 мая 2026 г.
Феурра М., Перевознюк Г. С., Рагимова А. А. и др., Scientific Reports 2026 No. 16 Article 13098 (2026)
Добавлено: 5 мая 2026 г.
Ясницкий Л. Н., Голдобин М. А., Мезенцев А. С., Прикладная математика и вопросы управления 2025 № 2 С. 99–116
Представлен обзор современных методов и основанных на них программных
инструментах, применяемых для математического моделирования серийных производственных процессов с целью снижения брака и повышения качества производимых изделий. Перечисляются группы работ, нацеленных на обнаружение и классификацию дефектов, работ, в которых решаются задачи прогнозирования образования дефектов и определения значимости параметров, работ направленных на поиск
оптимального сочетания технологических параметров изготовления изделий, ...
Добавлено: 5 мая 2026 г.
Монахова Э. А., Монахов О. Г., Рзаев Э. Р. и др., Прикладная дискретная математика 2026 Т. 71 С. 112–127
В настоящей работе исследовано совместное конструирование топологий семейств оптимальных по диаметру циркулянтных сетей $C(N; \pm 1, \pm s_2)$ и реализуемых для них оптимальных алгоритмов маршрутизации сложности $O(1)$. Предлагаемый алгоритм маршрутизации основан на использовании масштабируемых параметров $L$-образных шаблонов плотной укладки графов на плоскости для семейств оптимальных сетей.
Определены аналитические формулы зависимости этих параметров от диаметра графов семейств ...
Добавлено: 4 мая 2026 г.
Добавлено: 4 мая 2026 г.
Мультимодальные фундаментальные модели и медицинские мультимодальные большие языковые модели формируют новый класс диагностических систем поддержки принятия решений, способных работать с разнородными источниками данных: медицинскими изображениями (рентген, КТ, МРТ, УЗИ, гистология), сигналами (ЭКГ, ЭЭГ), текстом (история болезни, протоколы, выписки), лабораторными показателями, данными молекулярного профилирования и др. В статье систематизированы архитектуры и стратегии обучения, обеспечивающие переносимость между ...
Добавлено: 4 мая 2026 г.
Honolulu: IEEE, 2025.
Добавлено: 3 мая 2026 г.
Дерябин А. И., [б.и.], 2026.
Учебно-методическое пособие предназначено для студентов бакалавриата и магистратуры образовательных программ «Бизнес-информатика» и «программная инженерия» изучающих дисциплины «Архитектура предприятия», «Анализ и совершенствование бизнес-процессов» и «Совершенствование архитектуры предприятия».
Рассматриваются основы проектирования, разработки и оптимизации исполнимых моделей бизнес-процессов, реализованных на языке BPMN-2,0.
Изучается методика планирования и проведения имитационных экспериментов со схемами бизнес-процессов. Даны основные приемы использования компьютерной программы моделирования исполнимых ...
Добавлено: 5 марта 2026 г.
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
В статье определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время проведение ...
Добавлено: 5 ноября 2025 г.
Внимание к охране природы принимает все большую значимость для бизнеса с одной стороны в связи с ужесточением в природоохранном законодательстве, а с другой в связи с использованием ESG рейтингов при принятии решений о коммерческой деятельности компаний. Составление рейтинга LLM систем, способных оказывать консультационные услуги в области природоохраны и ESG, позволяет осуществить выбор такой системы для ...
Добавлено: 18 сентября 2025 г.
Марон А. И., Файнбург Г. Д., Бизнес-информатика 2025 Т. 19 № 1 С. 22–33
Статья посвящена проблеме определения последовательности реализации проектов в программе совершенствования бизнес-процессов организации. Актуальность исследования обусловлена тем, что в сегодняшних условиях наличие совершенных бизнес-процессов является условием даже не успеха, а выживания организации. Совершенствование бизнес-процессов – высокозатратная программа проектов. Проекты программы не могут быть начаты одномоментно из-за ограниченности бюджета и трудовых ресурсов. Возникает задача определения последовательности поэтапной ...
Добавлено: 17 мая 2025 г.
Соколов Б. О., / Series OSF "SocArXiv". 2025.
This paper reviews various estimands used in modern scientific and applied research to operationalize causal inquiries within the Rubin Causal Model framework. I first introduce the most widely utilized average treatment effects, such as ATE, ATT, and ATC. I then describe their popular extensions, including those targeting local and conditional treatment effects; causal interactions and mediation; effects ...
Добавлено: 6 мая 2025 г.
Ковалев Д. Ю., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории Материалы XXIII Международной конференции, посвящённой 80-летию профессора Александра Ивановича Галочкина и 75-летию профессора Владимира Григорьевича Чирского.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2024. С. 74–78.
В работе определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время, проведение ...
Добавлено: 28 апреля 2025 г.