Контроль - тип
Cтраница 2
Значения вероятностей ошибок результатов контроля типа ложный отказ qn и необнаруженный отказ дп являются функциями точности системы контроля, закона распределения измерений параметров, уровня помех и дру-гих факторов. [16]
Дискуссионные вопросы из области типов данных я контроля типов / / Данные в языках программирования. [17]
Использование объединений является еще одним способом нарушения контроля типов. В случае языка Си вопрос о том, как обмануть трансля1 тор с него, теряет смысл, поскольку большинство трансляторов с языка Си не надо обманывать - они просто пропускают огромное число нарушений, ничуть не заботясь об их выявлении. [18]
Вариантная запись, используемая для обхода системы контроля типов. [19]
Таким путем результаты, полученные на установках контроля типа показанных на рис. 24.5, могут быть записаны и расшифрованы на ЭВМ. Если лист ввиду своих дефектов не подходит для поставки по данному заказу, ЭВМ может взять на себя работу по его переназначению на другой заказ. ЭВМ отыскивает из портфеля заказов подходящий заказ, для которого забракованный лист после вырезки дефекта еще может считаться пригодным. При этом одновременно передается заказ на производство нового листа такого же размера и типа, как забракованный. [20]
Таким образом, во всех подходах к контролю типов обсуждается проблема выяснения возможности применения данной операции к данным аргументам. При этом, однако, молчаливо предполагается, что операция, которую нужно применять к данным аргументам, уже известна. Согласно определению сигнатуры ( см. разд. [21]
 |
Химический состав Agave tequilana. По. [22] |
Были проведены исследования стадии тепловой обработки в целях контроля типа и количества продуцируемых соединений. Образцы экссудата сока агавы анализировались с помощью газовой хроматографии и масс-спектрометрии, и были выявлены среди прочих 5-гидроксиметилфурфурал ( 5 - ГМФ), метил-2 - фуроат, фурфуриловый спирт, 2 ( 5Н) - фуранон 5-ацетоксиметил - 2-фурфурал 3 5-дигидрокси - 2-метил - 4 ( Н) - пиран-4 - он и 2 3-дигидро - 3 5-дигидрокси - 6-метил - 4 ( Н) - пиран-4 - он. К другим соединениям, образующимся в этом экссудате не в результате реакции Майяра, относятся жирные кислоты ( С2 - С 8), альдегиды, спирты, отдельные терпены и ванилин. [23]
Орион, ДМ-2000), аналоговые одно-шкальные приборы вызывного контроля типа АСК с предметным вызовом, индивидуальные аналоговые показывающие и регистрирующие приборы, цифровые приборы и графические регистраторы вызывного контроля с адресным вызовом, устройства цифро-буквенной регистрации. [24]
Такие объявления новых доменов улучшают читабельность программы и обеспечивают контроль типов значений переменных - смешивать в ходе выполнения программы переменные разных типов ( доменов) нельзя. [25]
Модели данных и языки программирования различаются и по мощности контроля типов, который в моделях данных значительно сильнее. [26]
Вторая проблема заключается в том, что в языках со слабым контролем типов, таких как С, вполне допустимо написание процедуры, вычисляющей скалярное произведение двух векторов ( массивов), без указания размеров векторов. Массивы могут, например, ограничиваться специальным символом, известным только вызывающей и вызываемой процедурам. При такой ситуации клиентский суррогат не способен корректно упаковать в сообщение все необходимые параметры, так как у него нет способа определить их размеры. [27]
В этом случае наибольший интерес представляет вопрос, следует ли производить контроль типов параметров ( аналогично тому, как это делается в языках программирования с сильной типизацией) при входе в подпрограмму, представляющую собой в свою очередь формальный параметр. [28]
Соотношения (6.21) и (6.28) показывают, что при использовании одноступенчатого плана контроля типа П ( я, d) [64] невозможно удовлетворить требования поставщика и потребителя одновременно в том случае, когда оценка качества осуществляется на сравнении только с одним параметром qQ: если q qy то качество хорошее, в противном случае - качество плохое. Это вытекает из того, что при решении уравнений (6.21) и (6.28) параметры dn и d6 принадлежат множеству действительных чисел и граничная точка раздела областей А Аг является нецелой. [29]
РУКЦ-П; измеритель уровня вертикальный, цилиндрический, шкальный с механизмом контроля типа ИУВЦ-ШК. [30]
Страницы: 1 2 3 4