?
Разработка схемы адаптивного конфигурирования загрузки виртуальных машин на основе аппликативного исчисления информационных процессов
Cloud of Science. 2018. Т. 5. С. 704–712.
В работе исследуются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности.
Горчаков Я. В., Таратухина Ю. В., Вестник РГГУ. Серия "Информатика. Информационная безопасность. Математика" (Российская Федерация) 2020 № 2 С. 8–26
В настоящей работе авторами рассматриваются кросскультурные и когнитивные аспекты передачи семиотической информации, а именно то, каким образом происходит обмен и интерпретация информации в контексте бизнес-процессов представителями разных культурных групп. В статье затрагиваются вопросы субъективности восприятия информации, изобразительной эффективности моделей бизнес-процессов и их информативного содержания и то, каким образом культурные факторы влияют на сложность или простоту ...
Добавлено: 16 октября 2020 г.
Рассматриваются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 30 января 2019 г.
Лабутин И. Н., Москвин Д. Н., Омельченко А. В. и др., Записки научных семинаров ПОМИ РАН 2018 Т. 475 С. 99–121
В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них. ...
Добавлено: 30 октября 2018 г.
Долгоруков В. В., Копылова А. О., Логические исследования 2018 Т. 24 № 2 С. 36–58
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии: а именно, поиску адекватной семантической интерпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырех-категорными онтологиями». Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость различения между четырьмя типами сущностей: субстанциальными универсалиями, ...
Добавлено: 26 сентября 2018 г.
Родин А. В., Logique et Analyse 2018 Vol. 242 No. 2 P. 201–231
Добавлено: 26 мая 2018 г.
Зыков С. В., Shapkin P., Ruban S., , in: Procedia Computer Science. Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016Vol. 96.: Amsterdam: Elsevier, 2016. P. 961–967.
Добавлено: 30 сентября 2016 г.
N. Nikitina, A. Mitsyuk, Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 219–236
Модели процессов и графы широко используются для моделирования и визуализации процессов в информационных системах. Модели используются для представления связей между объектами или событиями в рамках процесса. Следовательно, необходимы программы для создания и редактирования моделей.
Данная работа описывает редактор моделей, который позволяет работать с классическими графами, сетями Петри, конечными автоматами и системами взаимодействующих конечных автоматов. Кроме этого ...
Добавлено: 18 августа 2015 г.
I. Shugurov, A. Mitsyuk, Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 237–254
В данной работе представлено приложение для проведения экспериментов в области Process mining и тестирования алгоритмов починки моделей. Подходы и методы Process mining предназначены для извлечения моделей бизнес процессов из логов событий, их анализа и усовершенствования. Починка модели процесса необходима в случаях недостаточного соответствия существующей модели логам событий реального процесса. В статье рассматривается реализация модульного подхода починки ...
Добавлено: 18 августа 2015 г.