Статическая проверка

Cтраница 3

Вариант схемы контроля цифровой управляющей машины. [31]

В вычислительных машинах, предназначенных для управления производственными процессами, у которых поступление информации на вход носит непрерывный характер, статическая проверка правильности работы, подробно рассмотренная выше, является недостаточной. [32]

Информация о свойствах операций, содержащаяся в декларациях, используется в основном для тех же целей, что и информация о свойствах структур данных: упростить управление памятью и статическую проверку типов. [33]

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

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

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

Присваивание () - основная операция для изменения элементов массивов и значений простых переменных. Производится статическая проверка типов, причем неявно происходит преобразование типов в тех случаях, когда тип присваиваемого значения не совпадает с типом переменной или элемента массива, которому присваивается новое значение. [37]

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

Если суммарные эпюры внутренних усилий N Qn M построены правильно, то вся система в целом, ее узлы и элементы будут находятся в равновесии. Поэтому все статические проверки сводятся к проверке выполнения условий равновесия всей системы в целом или вырезанных из нее отдельных узлов и элементов. Например, в рассмотренном выше примере, проверим равновесие всей рамы в целом, узла С и элементов АС. [39]

Каждый символ оператора представляет универсальную операцию. Однако благодаря полному описанию данных можно осуществить статическую проверку типов данных и трансляцию универсальных операций в специфические ( зависящие от типа операндов) операции объектной программы. Автоматического преобразования типов в арифметических выражениях не предусмотрено - слева и справа от оператора должны стоять операнды корректного типа, иначе будет зафиксирована синтаксическая ошибка. [40]

Основное различие между языками заключается в возможности статической проверки типов операндов арифметических операций. Там, где имеются описания типов и возможна их статическая проверка, во время выполнения программы можно использовать специфические операции и обычно не нужны де скрипторы для чисел. Если требуется динамическая проверка типов, должны использоваться универсальные операции, и во время выполнения программ необходимы дескрипторы. [41]

Структурная схема ИПХ. [42]

При этом можно быстро определить участок тракта, вносящий искажения, а также существенно сократить время работы - тракта, требуемое для многочисленных измерений его качественных показателей. Испытательная строка содержит те же сигналы, что и при статической проверке характеристик канала. Однако этот сигнал вводится в канал в течение одной или нескольких строк во время обратного хода развертки по вертикали. [43]

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

Если две материальные точки действуют одна на другую, то действие и противодействие равны между собою и прямо противоположны. Этот общий закон динамики имеет место также и в статике. Он допускает, между прочим, и чисто статическую проверку. [45]

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