How to make a simple tool for verification of real-time systems

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere

Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028

Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...

Добавлено: 17 февраля 2026 г.

Homogeneous maximizers of the Blaschke-Santalo-type functionals

Колесников А. В., / Series arXiv "math". 2025.

Добавлено: 13 февраля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation

Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.

Добавлено: 3 октября 2025 г.

Wind Speed Analysis Method within WRF-ARW Tropical Cyclone Modeling

Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239

В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...

Добавлено: 10 декабря 2024 г.

Hardware-Software Complex for Prototyping NoCs Using a Few FPGA Chips

Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.

Добавлено: 13 июня 2024 г.

Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems

Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454

Добавлено: 9 октября 2023 г.

Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties

Fedotov I., Anton Khritankov, Barger A., , in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM).: NY: Association for Computing Machinery (ACM), 2022. P. 100–105.

Добавлено: 20 сентября 2022 г.

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021)

Евтушенко Н. В., Burdonov I., Kossachev A. и др., SCITEPRESS – Science and Technology Publications, 2021.

Добавлено: 25 октября 2021 г.

On Security Analysis of Periodic Systems: Expressiveness and Complexity.

AlTurki M. A., Kirigin T. B., Канович М. И. и др., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.

Добавлено: 18 октября 2021 г.

Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021

SciTePress, 2021.

Добавлено: 18 октября 2021 г.

Using an extension of CTL* for specification and verification of sequential reactive systems

Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32

Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...

Добавлено: 9 ноября 2020 г.

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)

CEUR-WS.org, 2020.

Добавлено: 12 августа 2020 г.

Guest Editorial: Special issue on Testing Softwareand Systems

Yenigün H., Nina Yevtushenko, Cavalli A. R., Software Quality Journal 2019 Vol. 27 No. 2 P. 497–499

Добавлено: 31 октября 2019 г.

A Methodology for Automatic Formal Verification of Enterprise Architecture

Бабкин Э. А., Малыженков П. В., Иванова М. И. и др., International Journal of Information System Modeling and Design 2019 Vol. 10 No. 1 P. 1–19

Добавлено: 8 августа 2019 г.