Полиномиальные инварианты линейных циклов
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Полиномиальные инварианты линейных циклов
|
|
Creator |
Львов, М.С.
|
|
Subject |
Программно-технические комплексы
|
|
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. |
|
Date |
2013-06-10T18:58:11Z
2013-06-10T18:58:11Z 2010 |
|
Type |
Article
|
|
Identifier |
Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45252 004.421.6 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|