?
Метод определения противоречий в DEMO-моделях бизнес-процессов
Бизнес-информатика. 2014. № 2. С. 33–43.
В статье дается анализ методов и предложено решение проблемы обнаружения логических противоречий в моделях бизнес-процессов системы здравоохранения. Практической целью разрешения проблемы является повышение эффективности управления данными и процессами в муниципальных учреждениях здравоохранения при реализации комплексных услуг. Методология основана на формальных инструментах реляционной логики, в качестве формализма задействована методология описания бизнес-процессов DEMO. Использована существенным образом система моделирования MIT Alloy Analyzer. Проанализированы бизнес процессы конкретной организации, приведены рекомендации о ликвидации противоречий.
Приоритетные направления:
бизнес-информатика
Язык:
русский
Inês G., Скороход С. Н., Matteo d. V. и др., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 P. 1–13
Добавлено: 29 октября 2026 г.
Ковалева Н. Н., Лебедева Д. А., Журнал российского права 2026 Т. 30 № 10 С. 147–161
Доступность медицинской помощи, гарантированная Конституцией России, в условиях цифровизации здравоохранения напрямую зависит от правового регулирования оборота медицинских данных. Цифровая трансформация здравоохранения (единая государственная информационная система в сфере здравоохранения, телемедицина, электронные регистратуры, региональные и коммерческие медицинские аналитические системы) создает новый «правовой ландшафт», повышая доступность указанных услуг. Однако обязательная регистрация на платформах для получения расширенного функционала медицинских ...
Добавлено: 29 октября 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 28 октября 2026 г.
Гаврилова С. А., Буравков С. В., Кошелев В. Б. и др., Регионарное кровообращение и микроциркуляция 2013 Т. 12 № 3 (47) С. 39–46
В работе исследовали динамику экспрессии мозгового нейротрофического фактора в условиях ишемии и нейропротекторное действие "Семакса" через возможное влияние этого пептида на продукцию BDNF в коре больших полушарий у крыс с ишемическим инсультом. В исследовании показана сложная динамика экспрессии мРНК BDNF: снижение в поврежденном полушарии через 3 и 7 часов после ОСМА (окклюзия средней мозговой артерии) ...
Добавлено: 28 октября 2026 г.
Nikitiuk B., Lenev D., Писарев В. В. и др., Journal of Colloid and Interface Science 2026 Vol. 718 Article 140444
Добавлено: 28 октября 2026 г.
Deshchenya V., Nikolay D. Kondratyuk, Sivakova A. и др., Chemical Engineering Sciences 2027 Vol. 337 Article 124616
Добавлено: 28 октября 2026 г.
Zubov A., Zubov A., Малявко, Я. и др., Computer Physics Communications 2025 Vol. 317 Article 109860
Добавлено: 28 октября 2026 г.
Добавлено: 27 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52
Добавлено: 27 октября 2026 г.
IEEE, 2026.
Добавлено: 26 октября 2026 г.
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Scientific data 2026 P. 1–20
Добавлено: 26 октября 2026 г.
Obsie E. Y., Zhan Y., Liu Y., Engineering Research Express 2026 Article 7
Добавлено: 22 октября 2026 г.
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 г.
Сакевич В. И., Демографическое обозрение 2026 Т. 13 № 3 С. 4–28
В статье анализируется современное законодательство в отношении искусственного прерывания беременности в странах мира. В зависимости от оснований, по которым разрешен аборт, выделены пять групп стран. Расчеты показали, что около 60% женщин репродуктивного возраста проживают в странах с либеральным законодательством, где аборт разрешен по желанию женщины или по широким социально-экономическим основаниям, и 40% женщин проживают в ...
Добавлено: 15 октября 2026 г.
Lungu M. M., Давитадзе А. П., Frontiers in Public Health 2026 Vol. 14 Article 1919768
Добавлено: 15 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 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 г.