Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация  PDF (Rus)  похожие документы
С. А. Шершаков, В. А. Рубин
"... of these logs. The aims of process mining are to discover, analyze, and improve processes on the basis ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... the information from an event log. The input data for this task are the initial process model (a Petri net ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... Process mining is a new emerging discipline related to process management, formal process models ..."
 
Том 27, № 2 (2020) “VTMine for Visio”: инструмент графического моделирования в области Process Mining Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... system. These problems are studied by the discipline called “Process Mining”. The practical application ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... synthesis is intensively studied in the frame of process mining research, but only models and event logs ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... Process mining is a relatively new field of computer science, which deals with process discovery ..."
 
Том 29, № 4 (2022) Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды Аннотация  PDF (Rus)  похожие документы
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко
"... trajectories that lead to successful or unsuccessful learning outcomes. It is shown how process mining can ..."
 
Том 31, № 3 (2024) Синтез иерархических моделей процессов: подход на основе разбиения событий на множества Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров
"... Process mining is a field of computer science that deals with the discovery and analysis ..."
 
Том 28, № 2 (2021) Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений Аннотация  PDF (Rus)  похожие документы
Хулио С Карраскель, Халил Мешерауи
"... mining. These approaches are based on the holistic analysis of the multiple process instances interacting ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... Process mining is a new direction in the field of modeling and analysis of processes, where ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... , such as image analysis, machine learning, chemicalinformatics. Recently, with the development of process mining ..."
 
Том 28, № 1 (2021) О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... to the process of analyzing a program by an analyst, since it includes the steps of disassembly and translation ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... The algorithm of pattern mining from sequences of system calls is described. Patterns are used ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... Рассматривается новая версия библиотеки поддержки параллельного режима исполнения для программ ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... данной работе представлен новый подход к повышению точности анализа путем исполнения программной модели в ..."
 
Том 31, № 1 (2024) Шаблоны требований в дедуктивной верификации poST-программ Аннотация  PDF (Rus)  похожие документы
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина
"... Process-oriented programming is one of the approaches to developing control software. A process ..."
 
Том 19, № 2 (2012) Шары в пространствах последовательностей Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... alphabet. Emerging from a problem of entropy estimation of a discrete stationary ergodic process ..."
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... their values, a list of channels for the process communication (which, in turn, are characterized by the type ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... of verification-oriented domain-specific process ontologies which are used to describe parallel and distributed ..."
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... (t), quad n = 0, 1, dots $$ The main result of this paper is $$ M_n = n^{log_2 p} e^{-tau(n ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация  PDF (Rus)  похожие документы
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
"... into programs in HDL languages that support the design process of digital chips are presented. The principles ..."
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
"... The process-oriented programming is a paradigm based on the process concept where each process ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... is the dynamic symbolic execution assisted by an automated constraint solver, e. g., an SMT-solver. This process ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... Recently, microtask crowdsourcing has become a popular approach for addressing various data mining ..."
 
Том 31, № 2 (2024) Об исследовании одного способа выявления аномального выполнения программы Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Татьяна Александровна Павлова
"... in the process of a protected program. This algorithm is based on a previously proposed approach, when ..."
 
Том 31, № 4 (2024) Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы Аннотация  PDF (Rus)  похожие документы
Иван Михайлович Черненко, Игорь Сергеевич Ануреев
"... Process-oriented programming is an approach to developing control software in which a program ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... the developers who use this technique. There are several tools providing this functionality, but they all process ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
"... The article considers the analysis of an order management automated system used within the process ..."
 
Том 30, № 4 (2023) Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения Аннотация  PDF (Rus)  похожие документы
Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"...  является периодической от log2 x, а через Γ(x) и ζ(x) обозначаются гамма и дзета-функции. ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Reflex is a process-oriented language that provides a design of easy-to-maintain control software ..."
 
Том 26, № 2 (2019) Об обнаружении атак типа повторного использования исполнимого кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
"... исполнения кода в стеке, реализуемую на программно-аппаратном уровне в современных информационных системах. В ..."
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация  PDF (Rus)  похожие документы
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
"... трассам, а также включает средства анализа результатов исполнения тестов, позволяя автоматизировать полный ..."
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров
"... complexity of this algorithm is O(n log n). 2.            A new class of prefix-free finite transducers ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... машины для исполнения и средства автоматического анализа ис- ходных NP-сетей. ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..."
 
Том 27, № 2 (2020) Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
"... решаться как путем поиска (например, с помощью символьного исполнения) и последующего устранения ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..."
 
Том 28, № 4 (2021) Подход к автонастройке параллельных программ методом проверки моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Петрович Горлач
"... задаётся модель исполнения абстрактной программы на абстрактном процессоре. На втором шаге на языке ..."
 
Том 25, № 3 (2018) О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 Аннотация  PDF (Rus)  похожие документы
Ольга Владимировна Орешкина (Никольская)
"... Delta_i) of the morphism (pi_i) and with a loop around the point (delta in C), we have ((log ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... on relational and NoSQL solutions and lists the limitations of the relational approach to data mining ..."
 
Том 19, № 5 (2012) О работе семинара «Нелинейная динамика и вычислительная геометрия» (Workshop “Nonlinear Dynamics and Computational Geometry”) Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... публикуется в настоящем номере журнала. ..."
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... уникальных путей исполнения, что может быть особенно ценно в методах статического анализа кода алгоритмов с ..."
 
Том 19, № 2 (2012) Уравнение кинетики измельчения с произвольным законом распределения времени ожидания Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Королев, Донат Олегович Бытев
"... A generalized kinetic equation of a grinding process is obtained. The equation is valid ..."
 
Том 14, № 2 (2007) Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну Аннотация  PDF (Rus)  похожие документы
С. Е. Ануфриенко, А. С. Мац
"... We propose a model which demonstrates the process of nerve impulse conduction through the forked ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... Этот номер журнала “Моделирование и анализ информационных систем” содержит расширенные версии ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... условием, что рассматриваемая модель содержит только те исполнения исходной программы, которые отвечают ..."
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... исполнения инструкции break. ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... влияние значений одних переменных на значения других переменных во время исполнения программы за один ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... информационным ресурсам при исполнении данного приложения на многоядерной вычислительной платформе. Структура ..."
 
Том 27, № 4 (2020) Архитектура формально-верифицированной системы распределенного реестра InnoChain Аннотация  PDF (Rus)  похожие документы
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев
"... компилятора CakeML вместо использования виртуальных машин для исполнения смарт-контрактов; (3) реализацию ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... исполнение, основанное на автоматическом распараллеливании циклов Cloud Sisal. Cloud-Sisal-kernel является ..."
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
"... , отражающих информационные и управляющие зависимости. Основным способом их исполнения является интерпретация ..."
 
Том 19, № 6 (2012) Непрерывное уплощение правильного тетраэдра точными отображениями Аннотация  PDF (Rus)  похожие документы
Джин-ичи Ито, Чи Нара
"... by a continuous folding process of polyhedra. In this paper, we give explicit formulas of continuous functions ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
"... г. журнала "Моделирование и анализ информационных систем". ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... The article describes a method of finding business process invariants basing on a given model ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... ) into the process of designing complex distributed software systems to improve the quality of software. We use ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... language and it has the capability of partial automation of the proof process. However, the method ..."
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
"... of the process allows, with enough precision, to distinguish two types of orbits, while their phase portraits ..."
 
Том 19, № 5 (2012) Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Куликов, Александр Степанович Рудый
"... A nanoscale model of surface erosion, simulating the process of surface shaping under ion ..."
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... the design process. ..."
 
Том 14, № 4 (2007) Формальная модель семантики художественного текста (на материале русских пословиц) Аннотация  PDF (Rus)  похожие документы
А. C. Малкова, В. И. Январев
"... kernel in the information system METAPHORA developed to process proverbs at the semantic aspect. ..."
 
Том 28, № 4 (2021) Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Миронов
"... programming interface MPI. This model is based on the concepts of a sequential and distributed process ..."
 
Том 23, № 3 (2016) Численное моделирование процессов формирования полос адиабатического сдвига в композитах Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов
"... The process of plastic flow localization under shear deformations of a composite material ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... for Proof-of-work systems. These ways are based on the process of the multiple and independent repetition ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... -constrained workflow nets (RCWF-nets) is considered, where resources can be used by a process instance ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... -automatic and automatic. The first approach allows a user to automatize the process of finding the place ..."
 
Том 21, № 1 (2014) Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Елена Викторовна Григорьева
"... may lead to an unlimited process of “birth” and “death” steady mode. ..."
 
1 - 75 из 123 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)