Метод доказательства инвариантности линейных неравенств для линейных циклов

• Published in: Кибернетика и системный анализ
• Date: 2014
• Main Author: Львов, М.С.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2014
• Subjects: Программно-технические комплексы
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/115824
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 180-185. — Бібліогр.: 21 назв. — рос.

Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все соб...