?
An algorithm of automatic workflow optimization
Programming and Computer Software. 2012. Vol. 38. No. 1. P. 43–56.
Kalenkova A.A.
This paper considers an algorithm of automatic workflow optimization that, unlike well-known redesign algorithms for workflows [1, 2], can analyze arbitrary structures containing conditional branches and cycles. This algorithm operates with workflows without structural conflicts and, in the course of operation, uses execution conditions obtained as a result of application of the Boolean verification algorithm (BVA) proposed earlier in [3]. A modified BVA is proposed and its computational complexity is estimated.
Язык:
английский
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...
Добавлено: 10 декабря 2024 г.
Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
Добавлено: 13 июня 2024 г.
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Добавлено: 9 октября 2023 г.
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 г.
Евтушенко Н. В., Burdonov I., Kossachev A. и др., SCITEPRESS – Science and Technology Publications, 2021.
Добавлено: 25 октября 2021 г.
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 г.
SciTePress, 2021.
Добавлено: 18 октября 2021 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Добавлено: 31 октября 2019 г.
Бабкин Э. А., Малыженков П. В., Иванова М. И. и др., International Journal of Information System Modeling and Design 2019 Vol. 10 No. 1 P. 1–19
Добавлено: 8 августа 2019 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115–136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
М., Зеленоград: ИППМ РАН, 2016.
Часть II сборника научных трудов составлена по материалам секций 4 и 5 ("Верификация и тестирование", "Высокопроизводительные вычислительные микроэлектронные системы") VII Всероссийской научно-тенчнической конференции "Проблемы разработки перспективных микро- и наноэлектронных систем -2016" (Москва, Зеленоград 03.10 - 07.10.2016г.). Сборник трудов". Представленные работы выполнены научными сотрудниками и аспирантами РАН, специалистами работающих в России научно-производственных организаций, преподавателями, научными сотрудниками, ...
Добавлено: 27 сентября 2016 г.
Ломазова И. А., Ермакова В. О., , in: CEUR Workshop ProceedingsVol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings.: CEUR Workshop Proceedings, 2016. P. 93–112.
Добавлено: 28 июня 2016 г.
CEUR Workshop Proceedings, 2016.
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Добавлено: 27 июня 2016 г.
Alexander I., Kozhevnikov Anatolij, Tumkovskiy Sergej, , in: 2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings.: M.: HSE, 2016. P. 1–4.
Three methods of operational amplifier (Op amp) slew rate verification are considered. These methods are illustrated through the example of SPICE macro models of Op amp LMH6642 by Texas Instruments and OP37 by Analog Devices. ...
Добавлено: 8 июня 2016 г.
Бочкарев А. Е., Вестник Нижегородского университета им. Н.И. Лобачевского 2016 № 2 С. 192–199
Без обращения к знанию не обходится ни одно исследование значения. Семантике надлежит ответить в этой связи на вопрос, какими преимущественно знаниями руководствоваться в толковании - объективированными в общественной практике таксономическими знаниями или не всегда достоверными мнениями и представлениями. Общепринятого ответа здесь не найти, зато можно попытаться понять, как зависит от типа знания формат толкования, почему ...
Добавлено: 16 февраля 2016 г.
Konnov I. V., Podymov V.V., Volkanov D. Y. и др., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 534–542
Добавлено: 29 сентября 2015 г.
Минченко О. С., Вопросы государственного и муниципального управления 2014 № 4 С. 136–152
В статье рассматриваются проблемы, связанные с отсутствием в законодательстве Российской Федерации четкого определения таких базовых государственных функций, как "государственный контроль", "государственный надзор" и "разрешительные функции государства". Соответствующие понятия не разграничены надлежащим образом и во многом дублируются.
На основании проведенного анализа нормативно-правовой базы, регламентирующей контрольно-надзорные и разрешительные функции государства, а также научных источников, посвященных указанной проблеме, авторами ...
Добавлено: 1 марта 2015 г.