О структуре полиномиальных инвариантов линейных циклов
Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейн...
Gespeichert in:
| Datum: | 2015 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Schriftenreihe: | Кибернетика и системный анализ |
| Schlagworte: | |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/124827 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О структуре полиномиальных инвариантов линейных циклов / M.C. Львов // Кибернетика и системный анализ. — 2015. — Т. 51, № 3. — С. 143-156. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-124827 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
irk-123456789-1248272017-10-06T03:03:09Z О структуре полиномиальных инвариантов линейных циклов Львов, M.C. Программно-технические комплексы Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейного оператора типа жордановой клетки, а также алгоритм вычисления базисных инвариантов диагонализируемого линейного оператора с неприводимым минимальным характеристическим полиномом. Доказана теорема о строении базиса идеала инвариантов: он состоит из базисных инвариантов жордановых клеток и базисных инвариантов диагонализируемой части рассматриваемого линейного оператора. Розглянуто задачу генерації поліноміальних інваріантів ітераційних циклів з оператором ініціалізації циклу та невиродженим лінійним оператором у тілі циклу. Множина таких інваріантів утворює ідеал кільця поліномів від змінних циклу. Наведено алгоритм обчислення базисних інваріантів для лінійного оператора типу жорданової клітини, а також алгоритм обчислення базисних інваріантів діагоналізовного лінійного оператора з незвідним мінімальним характеристичним поліномом. Доведено теорему про структуру базису ідеалу інваріантів: він складається з базисних інваріантів жорданових клітин і базисних інваріантів діагоналізовної частини лінійного оператора The problem of polynomial invariants generation for iterative loops with loop initial statement and nonsingular linear operator in the loop body is considered. The set of such invariants forms the ideal in polynomial ring in the loop variables. An algorithm to calculate basic invariants for a Jordanian cell linear operator and for the diagonalized linear operator with irreducible minimal characteristic polynomial are presented. The theorem about the structure of the basis of invariants ideal is proved: it consists of basic invariants of Jordanian cells and basis invariants of the diagonalized part for the linear operator under consideration. 2015 Article О структуре полиномиальных инвариантов линейных циклов / M.C. Львов // Кибернетика и системный анализ. — 2015. — Т. 51, № 3. — С. 143-156. — Бібліогр.: 20 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/124827 004.421.6 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Программно-технические комплексы Программно-технические комплексы |
| spellingShingle |
Программно-технические комплексы Программно-технические комплексы Львов, M.C. О структуре полиномиальных инвариантов линейных циклов Кибернетика и системный анализ |
| description |
Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейного оператора типа жордановой клетки, а также алгоритм вычисления базисных инвариантов диагонализируемого линейного оператора с неприводимым минимальным характеристическим полиномом. Доказана теорема о строении базиса идеала инвариантов: он состоит из базисных инвариантов жордановых клеток и базисных инвариантов диагонализируемой части рассматриваемого линейного оператора. |
| format |
Article |
| author |
Львов, M.C. |
| author_facet |
Львов, M.C. |
| author_sort |
Львов, M.C. |
| title |
О структуре полиномиальных инвариантов линейных циклов |
| title_short |
О структуре полиномиальных инвариантов линейных циклов |
| title_full |
О структуре полиномиальных инвариантов линейных циклов |
| title_fullStr |
О структуре полиномиальных инвариантов линейных циклов |
| title_full_unstemmed |
О структуре полиномиальных инвариантов линейных циклов |
| title_sort |
о структуре полиномиальных инвариантов линейных циклов |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2015 |
| topic_facet |
Программно-технические комплексы |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/124827 |
| citation_txt |
О структуре полиномиальных инвариантов линейных циклов / M.C. Львов // Кибернетика и системный анализ. — 2015. — Т. 51, № 3. — С. 143-156. — Бібліогр.: 20 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT lʹvovmc ostrukturepolinomialʹnyhinvariantovlinejnyhciklov |
| first_indexed |
2025-07-09T02:06:37Z |
| last_indexed |
2025-07-09T02:06:37Z |
| _version_ |
1837133251497426944 |