Метод доказательства инвариантности линейных неравенств для линейных циклов
Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все соб...
Збережено в:
| Дата: | 2014 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/115824 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 180-185. — Бібліогр.: 21 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-115824 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1158242017-04-14T03:02:24Z Метод доказательства инвариантности линейных неравенств для линейных циклов Львов, М.С. Программно-технические комплексы Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все собственные значения линейного оператора вещественны. Метод основан на вычислении числа итераций цикла, после выполнения которых инвариантность системы линейных неравенств либо обеспечивается, либо опровергается. Метод использует представление линейного оператора в его жордановой форме. Представлено новий метод доведення інваріантності системи лінійних нерівностей для ітераційних циклів, визначених над полем раціональних чисел з лінійним оператором у тілі циклу. Метод враховує передумову циклу у вигляді системи лінійних нерівностей. Розгляд обмежено випадком, коли усі власні значення лінійного оператора є дійсними. Метод базується на обчисленні числа ітерацій циклу, після виконання яких інваріантність системи лінійних нерівностей або забезпечується, або спростовується. Метод використовує представлення лінійного оператора у його жордановій формі. A new method is presented to prove the invariance of simultaneous linear inequalities for iteration loops defined over the field of rational numbers with linear operator in the loop body. The method takes into account the loop precondition in the form of simultaneous linear inequalities. The considerations are limited by the case of real eigenvalues of the linear operator. The method is based on computing the number of cycle iterations whose execution either ensures or disproves the invariance of the system of linear inequalities. The method uses the representation of linear operator in its Jordan form. 2014 Article Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 180-185. — Бібліогр.: 21 назв. — рос. http://dspace.nbuv.gov.ua/handle/123456789/115824 004.421.6 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Программно-технические комплексы Программно-технические комплексы |
| spellingShingle |
Программно-технические комплексы Программно-технические комплексы Львов, М.С. Метод доказательства инвариантности линейных неравенств для линейных циклов Кибернетика и системный анализ |
| description |
Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все собственные значения линейного оператора вещественны. Метод основан на вычислении числа итераций цикла, после выполнения которых инвариантность системы линейных неравенств либо обеспечивается, либо опровергается. Метод использует представление линейного оператора в его жордановой форме. |
| format |
Article |
| author |
Львов, М.С. |
| author_facet |
Львов, М.С. |
| author_sort |
Львов, М.С. |
| title |
Метод доказательства инвариантности линейных неравенств для линейных циклов |
| title_short |
Метод доказательства инвариантности линейных неравенств для линейных циклов |
| title_full |
Метод доказательства инвариантности линейных неравенств для линейных циклов |
| title_fullStr |
Метод доказательства инвариантности линейных неравенств для линейных циклов |
| title_full_unstemmed |
Метод доказательства инвариантности линейных неравенств для линейных циклов |
| title_sort |
метод доказательства инвариантности линейных неравенств для линейных циклов |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2014 |
| topic_facet |
Программно-технические комплексы |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/115824 |
| citation_txt |
Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 180-185. — Бібліогр.: 21 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT lʹvovms metoddokazatelʹstvainvariantnostilinejnyhneravenstvdlâlinejnyhciklov |
| first_indexed |
2023-10-18T20:26:17Z |
| last_indexed |
2023-10-18T20:26:17Z |
| _version_ |
1796150195384221696 |