?
Метод определения противоречий в DEMO-моделях бизнес-процессов
Бизнес-информатика. 2014. № 2. С. 33–43.
В статье дается анализ методов и предложено решение проблемы обнаружения логических противоречий в моделях бизнес-процессов системы здравоохранения. Практической целью разрешения проблемы является повышение эффективности управления данными и процессами в муниципальных учреждениях здравоохранения при реализации комплексных услуг. Методология основана на формальных инструментах реляционной логики, в качестве формализма задействована методология описания бизнес-процессов DEMO. Использована существенным образом система моделирования MIT Alloy Analyzer. Проанализированы бизнес процессы конкретной организации, приведены рекомендации о ликвидации противоречий.
Приоритетные направления:
бизнес-информатика
Язык:
русский
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С., Труды Института системного программирования РАН 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 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С., PROGRAMMING AND COMPUTER SOFTWARE 2025 Vol. 51 No. 4 P. 224–241
Добавлено: 30 октября 2026 г.
Исследуется проблема живучести распределенных сетей. Распределенная система моделируется конечным связным неориентированным графом, вершины которого делятся на два типа: хосты и коммутаторы. Хосты выполняют вычислительные функции, а коммутаторы обеспечивают доставку сообщений между хостами. Под живучестью системы понимается ее способность выполнять свои основные функции по передаче сообщений после выхода из строя некоторых ребер графа. Решение проблемы живучести ...
Добавлено: 30 октября 2026 г.
M.: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд), 2025.
«Программирование и компьютерное программное обеспечение» (Programming and Computer Software) — рецензируемый научный журнал, посвященный широкому спектру проблем в различных областях компьютерных наук: операционным системам, технологии компиляции, программной инженерии, искусственному интеллекту и т. д. В журнале публикуются как оригинальные статьи на английском языке, так и материалы, переведенные из других изданий. Источник каждого материала указывается непосредственно в ...
Добавлено: 30 октября 2026 г.
Карминский А. М., Черников Б. В., М.: НИЦ Инфра-М, 2026.
Рассмотрены методологические вопросы создания финансово-экономических информационных систем, проблемы информатизации производственной и дистрибьютерской деятельности, темы адаптации типовых систем в бизнес-структурах, в том числе систем поддержки офисной деятельности. Для студентов учреждений среднего профессионального образования, обучающихся по укрупненным группам специальностей 09.02.00 «Информатика и вычислительная техника», 38.02.00 «Экономика и управление», экономистов, юристов, предпринимателей и финансистов, а также специалистов и ...
Добавлено: 30 октября 2026 г.
Guerreiro I., Sergey Skorokhod, di Volo M. и др., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 Article 110954
Добавлено: 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 г.
Дерябин А. И., [б.и.], 2026.
Учебно-методическое пособие предназначено для студентов бакалавриата и магистратуры образовательных программ «Бизнес-информатика» и «программная инженерия» изучающих дисциплины «Архитектура предприятия», «Анализ и совершенствование бизнес-процессов» и «Совершенствование архитектуры предприятия».
Рассматриваются основы проектирования, разработки и оптимизации исполнимых моделей бизнес-процессов, реализованных на языке BPMN-2,0.
Изучается методика планирования и проведения имитационных экспериментов со схемами бизнес-процессов. Даны основные приемы использования компьютерной программы моделирования исполнимых ...
Добавлено: 5 марта 2026 г.
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
В статье определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время проведение ...
Добавлено: 5 ноября 2025 г.
Внимание к охране природы принимает все большую значимость для бизнеса с одной стороны в связи с ужесточением в природоохранном законодательстве, а с другой в связи с использованием ESG рейтингов при принятии решений о коммерческой деятельности компаний. Составление рейтинга LLM систем, способных оказывать консультационные услуги в области природоохраны и ESG, позволяет осуществить выбор такой системы для ...
Добавлено: 18 сентября 2025 г.