Процедура - программа
Cтраница 2
Фраза ПРОЦЕДУРА ВЫВОДА оператора СОРТИРОВАТЬ указывает, что для выборки записей в рассортированном порядке и для обработки их после сортировки в разделе процедур программы имеется специальная процедура вывода. [16]
Текст комментария может включать в себя любые символы, допустимые аппаратурными средствами данной машинной конфигурации. Все процедуры программы должны быть идентифицированы метками, через которые процедуре передается управление. [17]
В этом случае центральную процедуру программы - поиск и отбор данных - удобно организовать, если все поисковые признаки также будут представлены в символьном виде, а строки очередной карточки считаны из файла в память ЭВМ. [18]
Некоторые из существующих реализаций более подобны компиляторам, чем интерпретаторам. До начала исполнения они производят предварительный анализ процедур программы с целью образования модулей из машинных кодов, которые включают в себя конкретные шаги унификации, необходимые для резоль-вирования процедур с целевым утверждением. Эти модули затем загружаются в память машины вместе со сравнительно простым управляющим модулем, и получающаяся в результате полная объектная программа исполняется намного быстрее, чем в режиме чистой интерпретации. [19]
Заметим также, что все неразрешимые программы, согласно определению 4, являются частично правильными. С первого взгляда это может показаться довольно странным, поскольку отсюда следует, например, что процедуры программы могут быть бессмысленными по отношению к проблемной области утверждениями, не способными выдать никаких решений целевого утверждения, и тем не менее программа считается частично правильной. Эта очевидная терминологическая аномалия становится приемлемой, если признать, что неразрешимая программа конечно же не является неправильной - программа, не вычисляющая вообще никаких решений, не может вычислить и неправильного решения. Сказать, что логическая программа частично правильна - это значит сказать только то, что она не вычисляет решений, которые противоречили бы спефикации. [20]
Для активизации участия в программе HRA большинство организаций осуществляет рекламу с помощью рекламных листков, плакатов и статей в публикациях, издаваемых компанией. Нередко выдаются призы за выполнение программы ( например, футболки, книги или другие призы) и даже денежные вознаграждения ( например, уменьшение выплат страховых платежей по медицинскому страхованию) за уменьшение риска для здоровья. Некоторые организации проводят встречи с работниками, на которых рассказывается о целях и процедурах программы, и проводится их инструктаж по вопросам заполнения анкеты. При необходимости направляются напоминания о важности заполнения анкет. Это делается с целью обращения на нее дополнительного внимания и стимулирования участия в ней. В любом случае либо в самой организации, либо в организации, предоставляющей услуги по программе HRA, требуется специалист-консультант, способный ответить на вопросы по программе письменно или по телефону. Важно также отметить, что даже в тех случаях, когда анкета возвращается незаполненной, она все равно имеет положительный эффект, т.к. при чтении анкеты человек задумывается о своем здоровье. [21]
Графовы - е модели для подсчета моментов на звеньях механизма и элементах управления можно использовать двумя путями. Первый путь связан с образованием фиктивных режимов и подсчетом по графам скоростей их передаточных отношений, которые затем используются в формулах (3.6), (3.7) и (3.8) для определения моментов. Достоинство такого подхода состоит в том, что как для подсчета скоростей звеньев, так и для вычисления моментов используется одна и та же процедура программы, которая по заданному коду режима производит построение графа, а затем вычисляет его передаточное отношение. К недостаткам можно отнести неоднократное обращение к этой процедуре при вычислении, например, момента на муфте, когда, согласно формуле (3.7), приходится строить два фиктивных режима и находить их передаточные отношения. [22]
 |
Выскакивающее меню активизируется при выборе его мышью. Оно фактически является. [23] |
Как видите, выскакивающее меню состоит из заголовка, который виден в полоске меню и множества пунктов меню, заключенных между операторами begin и end. Пункты меню - это то, что вы видите, когда активизируется выскакивающее меню. Заметьте, что каждый пункт меню ассоциируется с константой, определенной в EMERSON. Эта константа посылается в процедуру WndProc программы, когда пользователь выбирает данный пункт меню. [24]
Применение связки - для реализации отрицания посредством неудачи не ведет к противоречиям в стандартных программах ( на хорновских дизъюнктах) и значительно расширяет ресурсы программиста. Хотя это и не дает той вычислительной силы, которой обладает логическая система со строгим отрицанием, программисты могут тем не менее без ущерба для себя читать - P ( x), как не Р ( х) при условии, что они помнят об операционном эффекте данного символа. Одна из причин уменьшения силы связки -, между прочим, состоит в том, что хотя она позволяет представлять отрицательные запросы, но не предназначается для выражения отрицательных фактов. Более общая логическая система могла бы, напротив, вычислить ответ х: 2, показывающий, что факт - ] Р ( 2) логически следует из процедур программы. [25]
Страницы: 1 2