?
Dynamic Composition and Analysis of Modern Service-Oriented Information Systems
P. 67–98.
Bernardinello L., Irina Lomazova, Roman Nesterov и др., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
Добавлено: 8 июня 2023 г.
Raskina A. V., Videnin S. A., Chzhan E. A. и др., Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева 2020 Vol. 21 No. 1 P. 21–27
Добавлено: 12 октября 2022 г.
Белов А. В., Рудаков М. В., Вестник славянских культур 2021 Т. 62 С. 87–100
Статья посвящена анализу французской диаспоры, сформировавшейся в Москве к концу XVIII в. и оказывавшей исключительное влияние на все стороны ее жизни. «Русские французы» как явление отечественной культуры, неоднократно подмеченное уже современниками, не получило достаточной оценки в историографии и нуждается в комплексном анализе. Целью исследования стало рассмотрение специфики формирования, состава и форм участия московской колонии французов, а ...
Добавлено: 7 июля 2022 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351–375
Добавлено: 5 мая 2022 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776–785
Добавлено: 17 января 2022 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Никишина Е. А., В кн.: Contrastes. Etudes de linguistique slavo-romane.: Edizioni dell'Orso, 2019. С. 171–187.
Добавлено: 8 ноября 2020 г.
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 г.
Лифшиц А. Л., В кн.: Складчина. Сборник статей к 50-летию профессора М.С. Макеева.: М.: ОГИ, 2019. С. 186–192.
Статья посвящена новой интерпретации композиционного устройства классического романа. ...
Добавлено: 6 декабря 2019 г.
Протасов В. Ю., Shirokov M., Doklady Mathematics 2019 Vol. 100 No. 3 P. 1–4
Two transforms of functions on a half-line are considered. It is proved that their composition gives a concave majorant for every non-negative function. In particular, this composition is an identical transform on the class of non-negative functions. Applications of this result in the operator theory of Hilbert space and in the theory of quantum systems are mentioned. ...
Добавлено: 5 декабря 2019 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences, Allerton Press Inc., United States 2019 Vol. 53 No. 7 P. 663–675
One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a nite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions. A behaviour of such a reactive system displays itself in the correspondence between ows of control signals ...
Добавлено: 17 октября 2019 г.
Захаров В. А., Винарский Е. М., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 257–260.
Конечные автоматы Мили, представляющие собой простейшую математическую модель преобразования потоковых данных, широко используются во многих областях информатики. Но для некоторых приложений большое значение имеют не только значения обрабатываемых данных и порядок их следования, но также интервалы времени, которые отделяют события, присходящие по ходу вычисления автомата. Такие свойства уже не описывается явно средствами классической теории конечных ...
Добавлено: 17 октября 2019 г.
Гнатенко А. Р., Захаров В. А., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 263–266.
Описаны синтаксис и семантика нового расширения Reg-CTL* темпоральной логики деревьев вычислений CTL*, предназначенного для спецификации и верификации вычислений последовательных реагирующих систем. Поеказано, что задача верификации моделей автоматов-преобразователей относительно выполнимости формул логики CTL* является PSPACE-полной. ...
Добавлено: 17 октября 2019 г.
Roman A. Nesterov, Irina A. Lomazova, , in: Proceedings of the MACSPro Workshop 2019Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 62–73.
Process models discovered from event logs of multi-agent systems may be complicated and unreadable. To overcome this problem, we suggest using a compositional approach. A system model is composed from agent models w.r.t. an interface. Morphisms guarantee that composition of correct models is correct. This study contributes to the practical implementation of the morphism-based compositional ...
Добавлено: 10 октября 2019 г.
Boris Ulitin, Eduard Babkin, Tatiana Babkina и др., , in: Lecture Notes in Business Information ProcessingIssue 365: Perspectives in Business Informatics Research.: Switzerland: Springer, 2019. P. 59–73.
Добавлено: 30 сентября 2019 г.
Abrosimova Polina, Шаляева И. М., Лядова Л. Н., , in: The IEEE 12th International Conference on Application of Information and Communication Technologies / AICT 2018: Conference Proceedings.: Almaty: Institute of Electrical and Electronics Engineers Inc., 2018. P. 108–113.
Добавлено: 18 января 2019 г.
Камкин А. С., М.: МАКС Пресс, 2018.
Книга является учебным пособием по формальным методам верификации программ и основана на курсах лекций, читаемых автором на факультете ВМК МГУ имени М.В. Ломоносова, ФУПМ МФТИ и ФКН ВШЭ. В ней изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации ...
Добавлено: 2 ноября 2018 г.
Захаров В. А., Гнатенко А. Р., , in: Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018.: Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018. P. 29–36.
Добавлено: 26 октября 2018 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2018 Т. 25 № 5 С. 506–524
О выразительных возможностях некоторых расширений линейной темпоральной логики // Моделирование и анализ информационных систем. — 2018. — Т. 25, № 5. — С. 506–524. Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности элементарных действий, являются простейшей моделью вычислений, пригодной для описания поведения реагирующих систем. Это поведение проявляется в соответствии между потоком входных сигналов и последовательностью элементарных действий, выполняемых ...
Добавлено: 26 октября 2018 г.
Кулямин В. В., Lavrischeva E. M., Mutilin V. S. и др., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 189–208
This paper regards problems of analysis and verification of complex modern operating systems, which should take into account variability and configurability of those systems. The main problems of current interest are related with conditional compilation as variability mechanism widely used in system software domain. It makes impossible fruitful analysis of separate pieces of code combined ...
Добавлено: 11 августа 2018 г.
Гуляев В. Ю., Каликова А. Р., Симонова Н. А., В кн.: Математика и междисциплинарные исследования – 2018 [Электронный ресурс]: материалы Всерос. науч.-практ. конф. молодых ученых с междунар. участием (г. Пермь, 14–19 мая 2018 г.).: Пермь: ПГНИУ, 2018. С. 253–256.
В работе представлены промежуточные итоги работы по реализации Интернет-портала для проведения корпусных исследований академического английского языка. Формулируются требования к реализации, представлена архитектура решения, описываются технологические подходы к решению поставленных задач. Архитектура портала предполагает совместное функционирование множество гетерогенных компонентов: хранилище корпусов, компонент идентификации стилистических маркеров, компонент сбора статистики, компонент визуализации, компонент по взаимодействию с пользователем и ...
Добавлено: 26 июня 2018 г.