?
Dynamic Composition and Analysis of Modern Service-Oriented Information Systems
P. 67-98.
Кучерская М. А., В кн. : Карабиха: историко-литературный сборник. Вып. IX.: Яр. : ООО "Академия-76", 2016. С. 8-25.
Конечная цель данной работы — продемонстрировать
правомерность некрасовского байронизма как научной темы. Для этого
делается попытка показать, что поэзия Байрона оказала серьезное влияние на поэзию Некрасова, в частности, байроновская поэма определила
ключевые особенности структуры поэмы «Кому на Руси жить хорошо»
(1863–1876). Байроновская поэма тяготеет к драматической композиции,
законченным сценам, включает вставки в виде песен. «Кому на Руси жить
хорошо» также поэма ...
Добавлено: 8 марта 2018 г.
Данилов А. В., Казаков В. А., Тельнов Ю. Ф., Открытое образование 2010 № 6 С. 78-84
В статье представляется сервисно-ориентированная архитектура динамических интеллектуальных систем управления бизнес-процессами на основе применения многоагентной технологии, позволяющая осуществлять гибкую конфигурацию сервисов взаимодействующих агентов бизнес-процесса. В частности, предлагаются новые принципы и методы организации сервисов, гибкого доступа к ним и их координации в динамическом процессе. ...
Добавлено: 7 апреля 2013 г.
Пелепелин И. Е., Феклистов В. В., Кожевников Д. Е., Бизнес-информатика 2012 № 4 С. 18-24
Повышение эффективности создания информационных систем в рамках сервис-ориентированной архитектуры (СОА) является актуальной проблемой. Предложены критерии определения эффективности процессов проектирования и создания компонентов. Определены основные этапы жизненного цикла компонентов. Определено место и преимущества субъектно-ориентированного подхода при моделировании и управлении процессами проектирования и создания компонентов. ...
Добавлено: 25 февраля 2013 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356-371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Добавлено: 3 июля 2014 г.
Тельнов Ю. Ф., Казаков В. А., Данилов А. В., Открытое образование 2012 № 1 С. 31-39
В статье представляются особенности построения динамической интеллектуальной системы управления бизнес-процессами на основе многоагентных технологий и сервисно-ориентированной архитектуры. Рассматриваются механизмы взаимодействия агентов, реализующих функции управления бизнес-процессами, и сервисов, реализующих бизнес-функции. В частности, предлагаются способы коммуникации на основе использования онтологии. ...
Добавлено: 7 апреля 2013 г.
Гнатенко А. Р., Захаров В. А., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 303-324
Добавлено: 14 июня 2018 г.
Зинченко С. А., Stratum Plus 2015 № 1 С. 63-72
Рассматриваются границы применения понятия «композиция» в искусстве палеолита. Вопрос об уместности применения данного понятия давно поднимается в работах специалистов. При описании памятников первобытного искусства встречается как узкое, так и широкое толкование понятия «композиция». Базой данного исследования являются памятники малых форм, поскольку изображения выполнены на ограниченных в размерах плоскостях, формат которых зачастую задан изначально; во-вторых – ...
Добавлено: 10 марта 2015 г.
Yaroslav Gorchakov, Sergey Zykov, , in : International Conference Information Systems 2016 Special Interest Group on Big Data Proceedings. : Dublin : Assiciation of Information Systems Electronic Library (AISel), 2016.
Добавлено: 8 февраля 2018 г.
Захаров В. А., Козлова Д. Г., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 204-206.
Характерная особенность моделей Крипке и большинства темпоральных логик (PLTL, CTL, PDL, mu-исчисление и др.), используемых в качестве формальных языков спецификации, состоит в том, что элементарные свойства вычислений зависят только от состояний модели, но не от вычислений, которыми достигаются состояния. Однако для стороннего наблюдателя поведение реагирующей системы проявляется в соответствии между последовательностями стимулов (сигналов), которыми внешняя ...
Добавлено: 13 октября 2016 г.
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Добавлено: 6 мая 2017 г.
Гуляев В. Ю., Каликова А. Р., Симонова Н. А., В кн. : Математика и междисциплинарные исследования – 2018 [Электронный ресурс]: материалы Всерос. науч.-практ. конф. молодых ученых с междунар. участием (г. Пермь, 14–19 мая 2018 г.). : Пермь : ПГНИУ, 2018. С. 253-256.
В работе представлены промежуточные итоги работы по реализации Интернет-портала для проведения корпусных исследований академического английского языка. Формулируются требования к реализации, представлена архитектура решения, описываются технологические подходы к решению поставленных задач. Архитектура портала предполагает совместное функционирование множество гетерогенных компонентов: хранилище корпусов, компонент идентификации стилистических маркеров, компонент сбора статистики, компонент визуализации, компонент по взаимодействию с пользователем и ...
Добавлено: 26 июня 2018 г.
Berlin : Springer, 2013
This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013.
Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies, and business process management. In monitoring and evaluating business processes ...
Добавлено: 18 ноября 2013 г.
The paper examines the choice problem when the total number of observations and criteria is too large. There are many different procedures, which are used for decision-making process under multiple criteria; however, most of them cannot be applied to large datasets due to their computational complexity while others provide sufficient accuracy. To solve the problem, ...
Добавлено: 20 февраля 2020 г.
Bouajjani A., Monniaux D., Cham : Springer, 2016
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation ...
Добавлено: 29 марта 2017 г.
Абелюк Е. С., Искусство в школе 2013 № 03 С. 48-53
Возможности такого учебного жанра как сочинение по Фотографии (в сопоставлении с сочинением по картине). Анализдетских работ на примере работы о соотношении визуального образ и слова в творчестве Юрия Роста. ...
Добавлено: 20 июня 2013 г.
Гнатенко А. Р., Захаров В. А., В кн. : Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды. : МГУ, МАКС Пресс, 2018. С. 131-133.
Проведено сравнение выразительных возможностей темпоральной логики LP-CTL*. В этой логике были выделены два класса формул (фрагмента) LP-1-LTL и LP-n-LTL и показано, что фрагмент LP-1-LTL превосходит по выразительным возможностям известную темпоральную логику линейного времени LTL, а фрагмент LP-n-LTL имеет такие же выразительные возможности, что и монадическая логика второго порядка с одной функцией следования S1S. ...
Добавлено: 14 июня 2018 г.
A.I. Zobnin, Journal of Mathematical Sciences 2008 Vol. 152 No. 4 P. 522-539
Abstract. We generalize Hoon Hong’s theorem on Gr¨obner bases under composition to the case of differential standard bases in the ordinary ring of differential polynomials F{y}. In particular, we prove that some ideals have finite differential standard bases. We construct special orderings on differential monomials such that ideals generated by some power of a quasi-linear ...
Добавлено: 1 октября 2014 г.
Захаров В. А., Винарский Е. М., В кн. : Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019). : М. : Изд-во механико-математического факультета МГУ, 2019. С. 257-260.
Конечные автоматы Мили, представляющие собой простейшую математическую модель преобразования потоковых данных, широко используются во многих областях информатики. Но для некоторых приложений большое значение имеют не только значения обрабатываемых данных и порядок их следования, но также интервалы времени, которые отделяют события, присходящие по ходу вычисления автомата. Такие свойства уже не описывается явно средствами классической теории конечных ...
Добавлено: 17 октября 2019 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776-785
Добавлено: 17 января 2022 г.
Drozdov D., Dubinin V., Кулагин В. П., , in : 2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings. : M. : HSE, 2016.
This paper proposes an approach to k-bounded Petri nets behavioral equivalence checking using the model checking method and mainstream verifier nuSMV. For the comparison of behavior of two nets, an add-in net is introduced which performs a supervisory control of these two nets. The approach uses an implicit word-to-word comparison of labeled Petri net languages ...
Добавлено: 28 сентября 2016 г.
Пырлина И. В., Бизнес-информатика 2011 № 4 С. 54-61
В статье проведено исследование операционных рисков в рамках сервисного подхода создания информационных систем (ИС) и предложен подход к их классификации, основывающийся на ошибках систем, которые являются поставщиками сервисов для типового приложения с сервисно-ориентированной архитектурой. С использованием предложенной классификации собрана статистика сообщений об ошибках за 5 лет по двум предприятиям нефтегазовой и металлургической отрасли. Проведен опрос ...
Добавлено: 21 ноября 2012 г.
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Добавлено: 30 сентября 2015 г.