?
Optimal monomial quadratization for ODE systems: extended abstract
ACM Communications in Computer Algebra. 2021. Vol. 54. No. 3. P. 119–123.
Бычков А., Погудин Г. А.
Transformation of a polynomial ODE system to a special quadratic form has been successfully used recently as a preprocessing step for model order reduction methods. However, to the best of our knowledge, there has been no practical algorithm for performing this step automatically with any optimality guarantees.
We present an algorithm that, given a system of polynomial ODEs, finds a transformation into a quadratic ODE system by introducing new variables which are monomials of the original variables. The algorithm is guaranteed to produce an optimal transformation of this form. The algorithm is implemented, and we demonstrate it on examples from the literature.
Язык:
английский
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Belova T., Dementiev Y., Fomin F. и др., , in: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)Vol. 392.: IOS Press, 2024. P. 3461–3468.
Добавлено: 24 октября 2024 г.
Vladlena D. Markvirer, Ekaterina A. Karnaukhova, , in: 023 International Conference on Quality Management, Transport and Information Security, Information Technologies (IT&QM&IS).: Petrozavodsk: IEEE, 2023. P. 152–155.
Добавлено: 25 декабря 2023 г.
Anoshin V. I., Beketova A., Парусникова А. В. и др., Computational Mathematics and Mathematical Physics 2023 Vol. 63 No. 1 P. 86–95
Добавлено: 30 марта 2023 г.
Association for Computing Machinery (ACM), 2021.
Добавлено: 27 сентября 2021 г.
Open Publishing Association, 2021.
This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021.
Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects, etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational ...
Добавлено: 23 сентября 2021 г.
In this article, the notions of tropical mathematics and subtropical mathematics are studied. The main principles of tropical analysis and examples of their application to various problems are considered. ...
Добавлено: 7 февраля 2021 г.
Springer, 2020.
Добавлено: 4 сентября 2020 г.
NY: ACM, 2018.
Добавлено: 1 ноября 2019 г.
Springer, 2019.
Добавлено: 4 августа 2019 г.
Anna Presnova, Valery Afanas'ev, , in: IFAC-PapersOnLineVol. 51. Issue 32.: Editions Elsevier, 2018. Ch. 45 P. 428–433.
Добавлено: 4 ноября 2018 г.
Springer, 2018.
Добавлено: 23 октября 2018 г.
Бабенко М. А., Artamonov S., , in: 28th International Symposium on Algorithms and Computation, ISAAC 2017Vol. 92.: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2017. P. 1–12.
Let G = (V,E) be an undirected graph, T ⊆ V be a set of terminals. Then a natural combinatorial problem consists in finding the maximum number of vertex-disjoint paths connecting distinct terminals. For this problem, a clever construction suggested by Gallai reduces it to computing a maximum non-bipartite matching and thus gives an O ( m ...
Добавлено: 1 марта 2018 г.
Афанасьев В. Н., Матвеева Н. А., Проблемы управления 2018 № 1 С. 37–46
В данной работе рассматривается метод синтеза управления нелинейным объектом с квадратичным функционалом качества, основанный на приеме «расширенной линеаризации» исходной математической модели объекта. При этом параметры нелинейного регулятора определяются решениями матричного уравнения типа Риккати с параметрами, зависящими от состояния. Основная проблема реализации такого регулятора заключается в сложности нахождения решения этого уравнения в темпе функционирования объекта. Предложен ...
Добавлено: 21 декабря 2017 г.
NY: ACM, 2017.
Добавлено: 15 сентября 2017 г.
Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014.
Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum ...
Добавлено: 13 октября 2015 г.
Пономаренко А. А., В кн.: Труды 38-й конференции "Информационные технологии и системы - 2014".: Н. Новгород: ИППИ РАН, 2014. С. 194–200.
Классическим подходом к организации информации для последующего быстрого поиска является построение индекса. Однако этот подход имеет несколько недостатков. Индекс необходимо перестраивать и поддерживать в актуальном виде, что затруднительно в случае разрозненной информации, такой как текстовая информация в WEB. Эти недостатки являются следствием того, что индекс является реорганизованной копией индексируемой информации. В данной работе предлагается способ ...
Добавлено: 10 сентября 2014 г.
Коломейченко М. И., Чеповский А. А., Чеповский А. М., Фундаментальная и прикладная математика 2014 Т. 19 № 1 С. 21–32
В статье предлагается алгоритм нахождения подграфов с заданными свойствами больших графов, описывающих социальные сети. Описывается вычислительный эксперимент, подтверждающий эффективность предлагаемого алгоритма. ...
Добавлено: 16 июня 2014 г.