Cтраница 3
Основным методом проверки правильности подготовки задачи, применяемым в большинстве аналоговых машин, является так называемый статический контроль. Метод статического контроля заключается в измерении выходных напряжений выбранных блоков схемы набора машины в предпусковом режиме при задании контрольных значений для переменных ( в частном случае, начальных значений) и последующем сравнении данных напряжений с их расчетными значениями, заранее подсчитанными при математической подготовке задачи. При отсутствии ошибок в схеме машины действительные и расчетные значения выходных напряжений проверяемых блоков должны совпасть. В противном случае выявляются ошибки, которые затем устраняются с последующей повторной проверкой. [31]
Основным методом проверки правильности подготовки задачи, применяемым в большинстве АВМ, является так называемый статический контроль. Метод статического контроля заключается в измерении выходных напряжений выбранных блоков схемы моделирования в предпусковом режиме машины при задании контрольных значений для переменных ( в частном случае начальных значений) и последующем сравнении данных напряжений с их расчетными значениями, заранее подсчитанными при математической подготовке задачи. При отсутствии ошибок в схеме машины действительные и расчетные значения выходных напряжений проверяемых блоков должны совпадать. [32]
С увеличением п точность ряда средних арифметических увеличивается. Этим пользуются при выборочном статическом контроле. [33]
Принцип смешанных вычислений требует, чтобы все возможные вычисления были проведены как можно раньше с переносом остаточную программу только тех вычислений, для осуществления которых в настоящий момент нет данных. Соответственно желательно и проведение полного статического контроля типов программы. Это означает, что все используемые в программе типовые значения должны быть вычислены на этапе компиляции. К сожалению, это не всегда возможно даже для таких простых языков, как Паскаль. В этом языке допускается, что тип переменной, стоящей в левой части оператора присваивания, является отрезком типа выражения, стоящего в правой части оператора присваивания; в общем случае это требует динамической проверки того, что вырабатываемое выражением значение принадлежит данному отрезку типа. Еще меньше возможностей полного статического контроля типов программы остается при допущении типовых переменных, которым в тексте программы присваиваются различные типовые значения. Поэтому чем более гибкие типовые вычисления допускает язык, тем большая доля контроля типов переносится на период выполнения. С другой стороны, когда язык обладает возможностями построения неограниченного количества типов данных с совмещенными знаками операций, статический контроль типов является единственным способом нахождения соответствующей операции во время компиляции программы. Таким образом, соотношение между статическим и динамическим контролем выливается в таких языках в соотношение между компиляцией и интерпретацией программы. [34]
Статический контроль АВМ является аналогом тестового контроля, широко применяемого при контроле цифровых вычислительных машин. Перевод электромоделирующей схемы АВМ в режим статического контроля, осуществляемый для проверки правильности подготовки задачи или, при появлении неисправности АВМ, для локализации данной неисправности, есть не что иное, как установка и решение на АВМ тест-программы. Сравнивая полученные результаты решения установленного теста с расчетными, оператор проверяет готовность АВМ к решению или локализирует имеющуюся неисправность. [35]
Смещение точки Б на кривой срабатывания изменяет ординату этой точки, а смещение точки В ( при условии te ta) не вызывает изменения ее ординаты. При динамической эксплуатации появляется погрешность, отсутствующая при обычном статическом контроле и обусловленная невозможностью абсолютно точно нормировать время te, отводимое на измерение. [36]
При работе со схемой, имеющей элементы для вычислений по методу неявных функций, особое внимание следует уделять правильному их функционированию. Поэтому перед началом решения обязательна проверка работоспособности собранной схемы путем статического контроля. С этой целью вычислим контрольные напряжения. [37]
Существует и другая погрешность, которая появляется при контроле вращающейся детали, несмотря на введение поправки. Точнее говоря, речь идет не о появлении новой по сравнению со статическим контролем погрешности, а о возрастании относительной погрешности, имеющей место и при статическом контроле, поскольку Адин Аст. [38]
Статический контроль типов данных, как отмечалось в разд. Более того, поскольку Атлант обладает возможностями построения потенциально бесконечного количества типов данных с совмещенными знаками операций, статический контроль типов - единственный способ нахождения на этапе компиляции операции, обозначенной данным именем или знаком. [39]
Существует много различных методов выявления утечек нефти и нефтепродуктов из трубопровода. Все известные методы контроля подразделяются на две группы: динамический ( непрерывный) контроль, осуществляемый без остановки перекачки, и статический контроль, осуществляемый во время остановки перекачки продукта по трубопроводу. [40]
Существует и другая погрешность, которая появляется при контроле вращающейся детали, несмотря на введение поправки. Точнее говоря, речь идет не о появлении новой по сравнению со статическим контролем погрешности, а о возрастании относительной погрешности, имеющей место и при статическом контроле, поскольку Адин Аст. [41]
АВМ необходимо контролировать нагрузку ДН и в ряде случаев вводить поправки в коэффициенты передачи. Для этого либо используют график погрешностей А, рассчитанных на основании ( 2 - 24) и приводимых в справочниках, либо фиксируют напряжения на входе ДН и выходе операционного усилителя, который подключен к контролируемому ДН ( см. статический контроль в гл. В последнем случае погрешность в установке коэффициента передачи определяется классом точности используемых вольтметров. [42]
Если тип аргумента может быть вычислен на стадии компиляции, говорят, что аргумент имеет статический тип, в противном случае - динамический тип. В соответствии с этим контроль типов, проводимый в период компиляции, называют статическим, а в период выполнения - динамическим [ 2, с. Статический контроль типов обеспечивает эффективную реализацию таких важных свойств ЯВУ ( языков высокого уровня. Динамический контроль типов, поддерживая универсальность и надежность операций, обеспечивает дополнительно гибкость применения одних и тех же алгоритмов для обработки данных разных типов. [43]
При статическом контроле вначале проверяют правильность соединений набора и установленных коэффициентов; затем контролируют начальные условия, входные и выходные напряжения всех операционных усилителей и решающих блоков в режиме исходное положение ( возврат); в этом же режиме на вход функциональных преобразователей и ячеек типовых нелинейностей подают напряжение, изменяют его в ожидаемом диапазоне и проверяют соответствие выходного напряжения моделируемым характеристикам. Далее на входы интеграторов подают постоянное напряжение и контролируют линейно изменяющееся напряжение на выходе в режиме пуск АВМ; в этом же режиме производится проверка правильности функционирования блоков переменных коэффициентов, на вход которых подают постоянное напряжение. Последняя стадия статического контроля может считаться и тестовым контролем отдельных линейных решающих узлов АВМ. [44]
С С - означает, что все проверки, связанные с корректным использованием типов, связанные с подготовкой программы к выполнению, ртменяются. Этим режимом следует пользоваться очень осторожно, поскольку он может привести к бесконтрольному распространению ошибок при выполнении программы. С означает включение статического контроля типов. [45]