Схема проектирования цикла - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Схема проектирования цикла. Доклад-сообщение содержит 8 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Схема проектирования цикла с помощью инварианта (проектная модель) Понятие инварианта оказывается очень полезным не только для доказательства корректности готового цикла, но и для его проектирования в процессе разработки программы. Инвариант цикла лежит в основе некоторой схемы проектирования циклов, которую естественно и назвать схемой проектирования цикла с помощью инварианта.

Слайд 2

Описание слайда:

Пусть для написания некоторой программы требуется разработать цикл while с заданной спецификацией (P, Q) : Пусть для написания некоторой программы требуется разработать цикл while с заданной спецификацией (P, Q) : {P} S0; while (B) S; {Q}, где S – тело цикла, S0 – операторы инициализации цикла, а предикат B в соответствии с семантикой цикла while есть условие продолжения цикла. Пусть X – множество переменных программы, X0 – их начальные значения, установленные действием S0. Не ограничивая общности, представим тело цикла в виде X = f(X), где f – функция, описывающая преобразование переменных в теле цикла S.

Слайд 3

Описание слайда:

Введем обозначения: Введем обозначения: M – множество; X  M; P: M  Boolean, где Boolean = {true, false}; т. е. P – предикат, выражающий предусловие; Q: M  Boolean, т. е. Q – предикат, выражающий постусловие. Кроме того, обозначим множества: P = {X  M : P(X) = true}; Q = {X  M : Q(X) = true}; B = {X  M : B(X) = true}; B * = {X  M : B(X) = false}. Рассмотрим предикат inv : M  Boolean и множество I = {X  M : inv (X) = true}. Кроме того, введем некоторую целочисленную функцию переменных программы t: I  N0, где N0 – множество неотрицательных целых чисел.

Слайд 4

Описание слайда:

Предположим, что существуют предикат inv и функция t такие, что справедливы следующие утверждения: Предположим, что существуют предикат inv и функция t такие, что справедливы следующие утверждения: inv & !B  Q; {P} S0 {inv} {inv & B } S {inv}; inv (X) & B(X)  (t(X) > 0); {inv (X) & B(X) & t0 = t(X)} S {0  t(X)

Слайд 5

Описание слайда:

Геометрическая интерпретация схемы цикла с инвариантом

Слайд 6

Описание слайда:

Итак, последовательность преобразований f за число шагов не более чем t (X0) гарантировано приведет к достижению в множестве M точки X  I  B * и при этом I  B *  Q , т. е. X  Q и следовательно Q(X) = true.

Слайд 7

Описание слайда:

Схема проектирования цикла с помощью инварианта На практике разработка цикла с заданными пост- и предутверждениями состоит в следующем. Начинают с придумывания общей стратегии решения задачи и основной идеи алгоритма. При этом на неформальном уровне следует решить, что будет происходить в цикле, какие программные объекты будут изменяться при выполнении цикла.