Полиномиальные инварианты линейных циклов
Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. The problem of generating polynomial invarian...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45252 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-45252 |
|---|---|
| record_format |
dspace |
| spelling |
Львов, М.С. 2013-06-10T18:58:11Z 2013-06-10T18:58:11Z 2010 Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45252 004.421.6 Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. The problem of generating polynomial invariants of special type for an iterative loop with the linear mapping in an iteration body is considered. A technique is proposed to develop such invariants based on the analysis of characteristic polynomials of linear mappings. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы Полиномиальные инварианты линейных циклов Поліноміальні інваріанти лінійних циклів Polynomial invariants for linear loops Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Полиномиальные инварианты линейных циклов |
| spellingShingle |
Полиномиальные инварианты линейных циклов Львов, М.С. Программно-технические комплексы |
| title_short |
Полиномиальные инварианты линейных циклов |
| title_full |
Полиномиальные инварианты линейных циклов |
| title_fullStr |
Полиномиальные инварианты линейных циклов |
| title_full_unstemmed |
Полиномиальные инварианты линейных циклов |
| title_sort |
полиномиальные инварианты линейных циклов |
| author |
Львов, М.С. |
| author_facet |
Львов, М.С. |
| topic |
Программно-технические комплексы |
| topic_facet |
Программно-технические комплексы |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Поліноміальні інваріанти лінійних циклів Polynomial invariants for linear loops |
| description |
Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень.
The problem of generating polynomial invariants of special type for an iterative loop with the linear mapping in an iteration body is considered. A technique is proposed to develop such invariants based on the analysis of characteristic polynomials of linear mappings.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/45252 |
| citation_txt |
Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. |
| work_keys_str_mv |
AT lʹvovms polinomialʹnyeinvariantylineinyhciklov AT lʹvovms polínomíalʹníínvaríantilíníinihciklív AT lʹvovms polynomialinvariantsforlinearloops |
| first_indexed |
2025-12-01T08:12:27Z |
| last_indexed |
2025-12-01T08:12:27Z |
| _version_ |
1850859633888985088 |