Cтраница 2
![]() |
Подпрограмма проверки таблицы на упорядоченность. [16] |
Эта подпрограмма получает управление при первом прохождении цикла программы на РПГ. Программа на РПГ передает ей имя таблицы и указатель HI, который необходимо включить при нарушении упорядоченности таблицы TABARG. Результатом работы подпрограммы является включенный указатель HI, если таблица не упорядочена, и информация в полях НОМЕР и ARG, в которые соответственно заносится порядковый номер и содержимое элемента таблицы, нарушающего упорядоченность. Память для этих полей зарезервирована в подпрограмме. [17]
Теперь мы исследуем важное свойство инвариантности в циклах программ, которое позволяет более глубоко понять смысл доказательства правильности и логического комментария. Инвариантом цикла программы с одним предикатом является логическое условие ( предикат), которое неизменно удовлетворяется, когда вычисляется этот предикат. [18]
![]() |
Элементы структуры про-граммы. [19] |
Частично проверявшимся элементом структуры может быть базовый маршрут или цикл программы. [20]
![]() |
Последовательность шагов основного цикла ( время в миллисекундах. [21] |
В этом примере мы рассмотрим подробно только наиболее часто работающий цикл программы. Этот цикл состоит из чтения записи входного Основного файла, сравнения с записью новых данных и занесения очередной записи в выходной Основной файл. Полные временные соотношения этого цикла будут рассмотрены в следующем разделе. Для простоты все виды обработки данных, которые вызваны сбоями оборудования, рассматривать не будем. Условия, когда возникает необходимость в такой работе, будут обсуждаться в следующих разделах. На рис. 2.9 дана последовательность шагов основного цикла. [22]
Она играет важную роль в информационном обеспечении участников о циклах программы в разных федеральных агентствах, периодически публикуя анонсированные объявления о направлениях инновационной деятельности, в которых нуждается данное федеральное агентство в каждом новом объявляемом цикле программы, и ежегодно докладывает Конгрессу США о ходе выполнения программы. [23]
Как следует из приведенных выше примеров, в состав каждого цикла программы должна входить группа команд, осуществляющая управление повторениями цикла. [24]
Оператор F есть, как правило, оператор V, находящийся внутри нек-рого цикла программы и изменяющий адресную часть команд этого цикла. Оператор О есть оператор V, находящийся вне нек-рого цикла и восстанавливающий первонач. Операторы Ф вычисляют команды но заранее заданным правилам или по результатам, полученным при выполнении др. операторов, и включают их в состав операторов. [25]
Оператор F есть, как правило, оператор V, находящийся внутри нек-рого цикла программы и изменяющий адресную часть команд этого цикла. Оператор О есть оператор V, находящийся вне нек-рого цикла и восстанавливающий первонач. Операторы Ф вычисляют команды по заранее заданным правилам или по результатам, полученным при выполнении др. операторов, и включают их в состав операторов. [26]
Засылка представляет собой установку начального значения индексного регистра, производимую перед началом цикла программы, управляемого этим регистром. Типичная команда засылки для внутреннего индексного регистра имеет одноадресный формат и состоит из адресной части, указывающей, откуда берется начальное значение индексного регистра, и разрядов, составляющих указатель номера этого регистра. Для команды засылки при предварительной индексации необходим в общем случае двухадресный формат, содержащий адреса ячеек, откуда берется и куда засылается начальное значение. Помимо прямой адресации иногда используется непосредственная адресация, когда в команде указывается не адрес ячейки, хранящей начальное значение, а непосредственно само начальное значение. В этом случае экономятся как место в памяти, так и затраты времени на засылку, однако становится затруднительным использовать в качестве начального значения величину, полученную в результате предыдущих вычислений. [27]
![]() |
Принципиальная схема программного задающего устройства типа РУ5 - 02. [28] |
На рулоне диаграммной ленты во многих случаях наносят несколько следующих друг за другом циклов программы. Программа наносится сплошной полосой шириной около 10 мм. Правая ( рабочая) грань программы должна быть выполнена аккуратно Для улучшения условий работы прибора в крышку реохорда можно залить трансформаторное масло. [29]
Пользователь может репродуцировать поддержку передовых методов работы и повысить эффективность производства путем повтора отлаженного цикла программы Exapilot для создания новых приложений. [30]