Cтраница 3
При реализации самой процедуры вывода на печать возможно установление типа используемого устройства ( принтера) с определением его свойств ( с привлечением соответствующих средств операционной среды), задание диапазона выводимых страниц, задание числа копий печатаемого документа. [31]
Работает ли ваша процедура вывода в прямом или в обратном направлении, она будет иметь дело с ненадежными данными, и здесь начинается самое интересное. Слишком долго специалисты по вычислительной технике пытались втиснуть мягко очерченный мир, в котором мы на самом деле живем, в жесткие рамки строго очерченной памяти компьютера. [32]
Как видно из процедуры вывода инверсионных формул Радона для задач нечетной и четной размерности п, имеет место явное различие конечных результатов, формально обусловленное разной структурой операторов Г0 и 1 е, которыеописываютспособы дифференциальных и интегро-дифференциальных преобразований проекционных данных. Под этим подразумевается, что при нечетном п для восстановления nD распределения g в точке х достаточно знать интегралы функции g по сколь угодно близким к х гиперплоскостям. При п четном для достижения той же цели необходимо знать интегралы уже но всем гиперплоскостям. [33]
Оператор используется в процедуре вывода оператора SORT для получения отдельных записей в рассортированном порядке из конечной фазы сортировки. [34]
Подробнее проблему абдукции и процедуры абдуктивного вывода мы рассмотрим ниже. Этот результат получается благодаря применению теоремы дедукции и аксиомы контрапозиции. [35]
Покажите, как модифицируется процедура вывода формул ( 9) - ( 16) из разд. В частности, определите при указанных условиях ожидаемые средние затраты в единицу времени и выведите формулы, позволяющие определять оптимальное значение объема заказа на пополнение запасов и оптимальное значение критического уровня запасов. [36]
Доказана полнота и состоятельность процедуры вывода на графе связей. Вышеприведенный алгоритм является недетерминированным. Для реализации его на детерминированной машине он нуждается в детерминированной процедуре выбора резольвируемой связи. В данном вопросе возможно использование нескольких основных методик, например, выбор связи, активация которой приведет к уменьшению количества дизъюнктов в графе, количества связей или количества вхождений предикатов в дизъюнкты. Также к упрощению графа приводит слияние одинаковых предикатов из дизъюнктов-родителей. Еще одним фактором, влияющим на выбор связи, является единственность связи для предиката, что приводит, как сказано ранее, к удалению дизъюнкта, содержащего этот предикат после резольвирования. В случае, когда упрощения графа добиться не удается, следует выбрать связь, резольвирование которой приведет к минимальному усложнению графа связей. [37]
Чтобы обеспечить достаточную гибкость процедуры вывода информации на самописец, в программе предусмотрена возможность нулевого сдвига шкалы и изменения масштаба по горизонтали. [38]
Что касается передачи ЭВМ процедуры вывода уравнений, соответствующих конкретной гипотезе о механизме реакции [51], то эта задача нами уже выполнена ( см. стр. [39]
Как можно заключить из самой процедуры вывода волнового уравнения (10.13) или (10.14), электромагнитные волны представляют собой поля Е и В в вакууме и тем самым принципиально отличаются от других известных волновых движений, например, звуковых волн. [40]
Несмотря на то, что процедура вывода модели взаимосвязи основывается на достаточно произвольных допущениях, в работе приводится ряд практических соображений, подтверждающих ее целесообразность. Она дает возможность однозначно вычислять безусловные вероятности событий, согласованность которых с информацией о взаимном влиянии гарантируется автоматически. Здесь проверка согласованности и коррекция р и х объединены в одну процедуру, заключающуюся в последовательном повторении одного базового цикла до тех пор, пока не будут получены устойчивые оценки безусловных вероятностей и пока эксперт не согласится с ними. Эта процедура реализована на ЭВМ. [41]
При выводе в качестве параметров процедуры вывода указываются переменные или выражения, значения которых требуется вывести. Процедура вывода осуществляет автоматическое преобразование выводимых значений в строку символов и выводит эту строку. При этом допускается задавать дополнительные параметры, позволяющие управлять расположением данных. [42]
Имеется перевод: Кук С. А. Сложность процедур вывода теорем. [43]
Имеется перевод: Кук С. А. Сложность процедур вывода теорем: Киб. [44]
Читателю предлагается еще раз проанализировать процедуру вывода формулы ( IX) и уточнить, на каком этапе нами была использована теорема о том, что математическое ожидание суммы случайных величин равняется сумме математических ожиданий этих величин. При доказательстве ( 32) обычно вначале устанавливают соотношение ( 33), а затем Е [ п ] делят на К. [45]