Анализ линейно определенных итеративных циклов
Представлен новый метод доказательства инвариантности системы линейных неравенств, а также завершаемости линейно определенных итеративных циклов императивных программ. Тело цикла — линейный оператор, преобразующий вектор переменных программы. Метод учитывает предусловие цикла, а также условие повтор...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/131398 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Анализ линейно определенных итеративных циклов / M.C. Львов // Кибернетика и системный анализ. — 2016. — Т. 52, № 1. — С. 122-136. — Бібліогр.: 23 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-131398 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1313982018-03-22T03:03:03Z Анализ линейно определенных итеративных циклов Львов, M.C. Программно-технические комплексы Представлен новый метод доказательства инвариантности системы линейных неравенств, а также завершаемости линейно определенных итеративных циклов императивных программ. Тело цикла — линейный оператор, преобразующий вектор переменных программы. Метод учитывает предусловие цикла, а также условие повторения цикла в виде совокупности систем линейных неравенств. Метод основан на построении и анализе спектра этого оператора и вычислении числа итераций цикла, после выполнения которых инвариантность либо обеспечивается, либо опровергается. Теоретический материал работы иллюстрируется примерами. Розглянуто новий метод доведення інваріантності системи лінійних нерівностей, а також завершуваності лінійно визначених ітеративних циклів імперативних програм. Тіло циклу — лінійний оператор, що перетворює вектор змінних програми. Метод враховує передумову циклу, а також умову повторення циклу у вигляді сукупності систем лінійних нерівностей. Метод ґрунтується на побудові та аналізі спектра цього лінійного оператора та обчисленні кількості ітерацій циклу, після виконання яких інваріантність або забезпечується, або спростовується. Теоретичний матеріал роботи проілюстровано прикладами. The paper presents a new method to prove the invariance of the system of linear inequalities and termination of linear definite iterative loops for imperative programs. Loop body is a linear operator that transforms the vector of program variables. The method takes into account the loop precondition, as well as the condition of loop repetition in the form of a set of systems of linear inequalities. The method is based on the construction and analysis of the spectrum of the linear operator and calculating the number of loop iterations after which the invariance is either provided or disproved. The theoretical material is illustrated by examples. 2016 Article Анализ линейно определенных итеративных циклов / M.C. Львов // Кибернетика и системный анализ. — 2016. — Т. 52, № 1. — С. 122-136. — Бібліогр.: 23 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/131398 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 |
2016 |
| topic_facet |
Программно-технические комплексы |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/131398 |
| citation_txt |
Анализ линейно определенных итеративных циклов / M.C. Львов // Кибернетика и системный анализ. — 2016. — Т. 52, № 1. — С. 122-136. — Бібліогр.: 23 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT lʹvovmc analizlinejnoopredelennyhiterativnyhciklov |
| first_indexed |
2023-10-18T21:02:07Z |
| last_indexed |
2023-10-18T21:02:07Z |
| _version_ |
1796151752515387392 |