Специальная операция

Cтраница 3

ГЕДЕЛЯ ИНТЕРПРЕТАЦИЯ интуиционистской арифметики - специальная операция, переводящая формулы интуиционистской арифметики в формулы вида jxyy А ( х, у, z), где х, у я z - наборы переменных по вычислимым функциям специального вида. При этом выводимые формулы переводятся в истинные формулы в смысле нек-рой четко описанной семантики. Эта интерпретация, к-рая была использована К. Godel) для нового доказательства непротиворечивости арифметики формальной, представляет также значительный интерес как нек-рая семантика для языка формальной арифметики. [31]

В наборе машинных операций предусматриваются специальные операции обмена данными между оперативной и внешней памятью. [32]

В технологии изготовления вентилей предусмотрена специальная операция выжигания слабых участков и короткозамкнутых мостиков в р-п переходе. С этой целью на вентиль в запирающем направлении многократно разряжают конденсатор. Некоторые вентили прожигаются в нескольких местах. В технических условиях оговаривается количество прожогов на вентилях разных размеров. Если на вентиле наблюдается не прекращающееся искрение, то это означает весьма сильное повреждение запирающего слоя. Такой вентиль должен быть заменен. [33]

В описываемом технологическом процессе отсутствует специальная операция стабилизации эфира, которая необходима в производстве АЦ, при применении H2SO4 в качестве катализатора. Как уже указывалось, при этерификации в присутствии серной кислоты образуются сульфаты и сульфоацетаты целлюлозы-крайне нестойкие и вредные вещества, которые необходимо удалить. [34]

Схема вакуумной камеры магазинного типа для электронной сварки тридцати изделий. / - место сварки. 2-электронная пушка. 3 - магазин со свариваемыми изделиями. [35]

При данном способе изготовления отпадает специальная операция откачки прибора и обеспечивается высокое качество сварки. [36]

Станок для сварки стеклянных изделий. [37]

Некоторыми фирмами сконструированы станки для специальных операций. В Англии изготовлен уникальный станок, у которого ось шпинделя может принимать разные положения: от горизонтального до вертикального, в зависимости от характера выполняемых работ. [38]

Эти команды служат для выполнения арифметических и специальных операций над десятичными числами, представляемыми в упакованном формате в виде полей переменной длины. Команды десятичной арифметики инициируют следующие арифметические операции: сложение десятичное, вычитание десятичное, умножение десятичное, деление десятичное, сравнение десятичное, сложение с очисткой. Признак результата формируется при сложении, вычитании, сравнении и сравнении с очисткой. Операция сравнения служит для получения только признака результата. Операция сложения с очисткой эквивалентна сложению с нулем - второй операнд помещается на место первого операнда. Для преобразования десятичных чисел используются две специальные операции: отредактировать и отредактировать и отметить. Первая операция служит для преобразования числа из упакованного формата в формат с зоной, обеспечивая вставку запятых и точек, а также ликвидацию незначащих нулей. [39]

Упрощенная блок-схема устройства управления. [40]

БФТ прекращается также и при специальных операциях, например, операции обмена информацией между внутренним и внешним ЗУ, при вводе исходного материала и выводе результатов решения из машины. В этих случаях пуск работы осуществляется медленно действующими внешними устройствами, а БФТ с приходом запускающего импульса обеспечивает выработку такта машины. Необходимо отметить, что, если сигнал останов придет в середине такта ( например, сигнал останов подан с ПУС), то БФТ обеспечит выполнение текущего такта до конца и после этого остановит машину. [41]

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

Разумеется, арифмоквайнируя, вы проделывете специальную операцию замены, о которой мы упомянули ранее. [43]

Для занесения кодов на регистры приращений служит специальная операция, имеющая код 57 и называемая операцией изменения регистров приращений. Выполнение этой операции приводит к занесению кодов на регистры приращений, что обеспечивает выборку из различных запоминающих устройств. В М-20 команда с кодом 57 является командой остановки. [44]

Структура одноадресной команды.| Блок-схема цифровой вычислительной машины. [45]

Страницы: 1 2 3 4