Повнотекстовий пошук
Пошуковий запит: (<.>AT=Львов Анализ линейно определенных итеративных$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Львов M. C. Анализ линейно определенных итеративных циклов [Електронний ресурс] / M. C. Львов // Кибернетика и системный анализ. - 2016. - Т. 52, № 1. - С. 122-136. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2016_52_1_15 Розглянуто новий метод доведення інваріантності системи лінійних нерівностей, а також завершуваності лінійно визначених ітеративних циклів імперативних програм. Тіло циклу - лінійний оператор, що перетворює вектор змінних програми. Метод враховує передумову циклу, а також умову повторення циклу у вигляді сукупності систем лінійних нерівностей. Метод базується на побудові та аналізі спектра цього лінійного оператора та обчисленні кількості ітерацій циклу, після виконання яких інваріантність або забезпечується, або спростовується. Теоретичний матеріал роботи проілюстровано прикладами.
|
|
|