Наукова періодика України Кібернетика та системний аналіз


Львов M. C. 
Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. - 2014. - Т. 50, № 4. - С. 180-185. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_4_18
Приведен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все собственные значения линейного оператора вещественны. Метод основан на вычислении числа итераций цикла, после выполнения которых инвариантность системы линейных неравенств либо обеспечивается, либо опровергается. Метод использует представление линейного оператора в его жордановой форме.
  Повний текст PDF - 97.974 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Львов M.

  • Бібліографічний опис для цитування:

    Львов M. C. Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. - 2014. - Т. 50, № 4. - С. 180-185. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_4_18.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського