Наукова періодика України | Кібернетика та системний аналіз | ||
Львов M. C. Анализ линейно определенных итеративных циклов / M. C. Львов // Кибернетика и системный анализ. - 2016. - Т. 52, № 1. - С. 122-136. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2016_52_1_15 Розглянуто новий метод доведення інваріантності системи лінійних нерівностей, а також завершуваності лінійно визначених ітеративних циклів імперативних програм. Тіло циклу - лінійний оператор, що перетворює вектор змінних програми. Метод враховує передумову циклу, а також умову повторення циклу у вигляді сукупності систем лінійних нерівностей. Метод базується на побудові та аналізі спектра цього лінійного оператора та обчисленні кількості ітерацій циклу, після виконання яких інваріантність або забезпечується, або спростовується. Теоретичний матеріал роботи проілюстровано прикладами. Цитованість авторів публікації: Бібліографічний опис для цитування: Львов M. C. Анализ линейно определенных итеративных циклов / M. C. Львов // Кибернетика и системный анализ. - 2016. - Т. 52, № 1. - С. 122-136. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2016_52_1_15. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |