Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... This paper presents the ontology of the concurrent processes close to Hoare communicating ..."
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... various subject fields, such as automatic control, telecommunications, business processes, are active ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... for ontology population. The system agents correspond to information items of the input data and the rule ..."
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... formal models, namely: in Petri nets, in a dialect of Calculus of Communicating Systems (CCS ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... specify processes which are merging of base system processes, in contrast to simple nonterminals which ..."
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... Mathematical models of distributed computations, based on the calculus of mobile processes (π ..."
 
Том 22, № 3 (2015) АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... probabilistic. We show how such systems can be polynomially transformed to ¯nite state Markov decision processes ..."
 
Том 17, № 3 (2010) Математические модели экономических систем с учетом необратимости протекающих в них процессов Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"... In this paper we consider optimal trading processes in economic systems. The analysis is based ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... Uniform systems of communicating extended finite automata are considered in the paper ..."
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 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)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..."
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... the Hoar concept of communicating sequential processes to the computation control on the data readiness ..."
 
Том 27, № 2 (2020) “VTMine for Visio”: инструмент графического моделирования в области Process Mining Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... the tasks of initialization, end-to-end management and completion of business processes. During ..."
 
Том 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)  похожие документы
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов
"... relationships. Semantically related words are applicable to thesauri, ontologies and intelligent systems ..."
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация  PDF (Rus)  похожие документы
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
"... reaction-diffusion-advection equation arising at the description of gas impurity transfer processes ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... of parallel communicating components of these systems to separate verification of components written ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... исполнения поддерживаемых процессов в виде более или менее детальных списков событий. Такие журналы, как ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... Извлечение и анализ процессов (process mining) - это достаточно новая область компьютерных наук ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... Предлагается алгоритм, позволяющий однозначно преобразовывать событийную модель бизнес-процесса в ..."
 
Том 22, № 1 (2015) Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров
"... . The influence of the problem parameters on these processes are studied. The quantitative and qualitative ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... Извлечение процессов (process mining) – новая и активно развивающаяся область исследований, тесно ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной ..."
 
Том 23, № 3 (2016) Численное моделирование процессов формирования полос адиабатического сдвига в композитах Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов
"... В работе рассматривается процесс локализации пластической деформации в композитном материале ..."
 
Том 25, № 4 (2018) Динамическая модель процессов информационных обменов в пиринговой сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова
"... , причём со временем параметры изменяются. Описан процесс измерения состояния реальных раздач. Показан ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... процессов, появилась необходимость в адаптации существующих методов сравнения графовых моделей для анализа ..."
 
Том 17, № 2 (2010) Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... the elexctrical interacction of pulse neurons is studiexl. Given the spexxl of electrical processes in the system ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... of communicating automata, describing the logic of the program, is already an adequate program model. This fact ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... Creating adequate mathematical models of processes in living nature is an important task of modern ..."
 
Том 20, № 6 (2013) О региональных случайных упаковках Аннотация  PDF (Rus)  похожие документы
Масахару Танемура
"... packing and to other processes are given. The article is published in the author’s wording. ..."
 
Том 15, № 1 (2008) Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор Аннотация  PDF (Rus)  похожие документы
Е. В. Коршунова, А. Н. Куликов
"... boundary value problem is to consider spatial effects when studying processes of macroeconomics ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... over the string of symbols. The rules of the sequential, branching and cyclic processes encoding ..."
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
"... processes. Article is published in the authors’ wording. ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... demonstrate the efficiency of the approaches proposed for accelerating the iterative processes ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... as well as the local clocks of separate processes, the time of which is measured in the number ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
"... with the property of admissibility of periodic processes for linear control systems. The admissibility means ..."
 
Том 25, № 1 (2018) Периодические изменения автоволнового фронта в двумерной системе параболических уравнений Аннотация  PDF (Rus)  похожие документы
Алина Александровна Мельникова, Наталья Николаевна Дерюгина
"... processes speeds for the system components. The study of the system is conducted by using the contrast ..."
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
"... of physicochemical processes. Cellular automata-based methods greatly simplify modeling procedures in many cases ..."
 
Том 23, № 3 (2016) Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем Аннотация  PDF (Rus)  похожие документы
А. А. Быков
"... processes in physics, chemistry, biology, for example, magnetic field generation in a turbulent medium ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... provide representation of parallel computation branches as migratory processes, their initial distribution ..."
 
Том 25, № 1 (2018) Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла Аннотация  похожие документы
Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин
"... interactions shows that there is no backscattering processes. We identify these solutions with the edge ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... of the schedule structure algorithm is exponential. The model describes the fuel supply processes to the diesel ..."
 
Том 24, № 3 (2017) Решение вида движущегося фронта двумерной задачи реакция-диффузия Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
"... to model physical processes associated  with the propagation of autowave  fronts, in particular ..."
 
Том 25, № 1 (2018) Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков
"... that allows us to draw a conclusion about the action of processes with different order velocities. We analyse ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... of the functioning of systems depends on vital processes such as the work of hospitals and industrial enterprises ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... bots that automate various business processes or provide information services. In this paper, we ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... Nonlinear convection–diffusion equations are widely used for the description of various processes ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... of different nature, whose behavior is described by continuous and discrete processes. In the article ..."
 
Том 19, № 2 (2012) Уравнение кинетики измельчения с произвольным законом распределения времени ожидания Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Королев, Донат Олегович Бытев
"... Получено обобщенное кинетическое уравнение процесса измельчения для любого заданного закона ..."
 
Том 14, № 2 (2007) Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну Аннотация  PDF (Rus)  похожие документы
С. Е. Ануфриенко, А. С. Мац
"... Предложена модель, описывающая процесс распространения волны возбуждения по разветвляющемуся ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... вызовов. Эти шаблоны используются для идентификации процессов – установления того, что некоторая ..."
 
Том 19, № 6 (2012) Непрерывное уплощение правильного тетраэдра точными отображениями Аннотация  PDF (Rus)  похожие документы
Джин-ичи Ито, Чи Нара
"... непрерывных функций такого процесса складывания для правильного тетраэдра в R³ . Статья публикуется в ..."
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки. ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
"... Проведён анализ автоматизированной системы управления заказами, применяемой в процессе ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... Рассматривается метод нахождения инвариантов модели бизнес-процесса построенной в нотации eEPC ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... фрагменты процесса верификации и синтеза программ сумматоров. Условия корректности программ транслировались ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... для произвольных языков программирования и допускает частичную автоматизацию процесса. Однако ..."
 
Том 19, № 2 (2012) Шары в пространствах последовательностей Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... конечным алфавитом. Введенная в задаче оценивания энтропии дискретных стационарных процессов, эта метрика ..."
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
"... характеристик процесса возникновения высокоамплитудных импульсов позволяет с достаточной степенью точности ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... , основанные на том, что процесс решения хеш-головоломки близок к многократному независимому повторению ..."
 
Том 21, № 1 (2014) Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Елена Викторовна Григорьева
"... колебаний коэффициента запаздывания может происходить неограниченный процесс «рождения» и «гибели ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... облегчают процесс верификации С-программ. Смешанная аксиоматическая семантика предлагает выбор между ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... получаемых уравнений. Обсуждается применимость подхода в реальных процессах промышленных проектов. ..."
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... Рассматривается задача непараметрического оценивания энтропии стационарного эргодического процесса ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... экземпляры процесса могут использовать внешние ресурсы, но не могут за время своей жизни изменить их ..."
 
Том 21, № 1 (2014) Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков
"... пузырьками газа при учете вязкости жидкости и процесса межфазного теплообмена. Исследованы классические и ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..."
 
1 - 75 из 106 результатов 1 2 > >> 

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

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