Cтраница 4
Контролепригодность обеспечивается конструкцией машины и используемой системой технической диагностики. Требования контролепригодности должны учитываться на стадиях проектирования, разработки и изготовления машин. [46]
Если при описании какой-либо аксиоматической теории используемая система логических правил предполагается уже известной, мы будем говорить, что эта теория есть неформальная ( содержательная) теория. В математической практике аксиоматические теории обычно описываются в виде неформальных теорий; что же касается предполагаемой при этом логики, то обычно считается, что это та интуитивная логика, которая усваивается в ходе изучения математики. Сказанное отнюдь не имеет характер порочного круга, как это может показаться вначале. Более того, можно привести многочисленные доводы в защиту мнения, согласно которому точное определение логической правильности, выдвигаемое символической логикой, хорошо согласуется с тем интуитивным представлением о строгости рассуждений, которым пользуются математики. Многочисленные примеры, подтверждающие тот тезис, что логические принципы, считающиеся строгими большинством математиков, принимаются в качестве таковых в символической логике ( и наоборот), собраны в книге Дж. На наш взгляд, не будет преувеличением сказать, что в глазах подавляющего большинства математиков современная символическая логика есть попросту формализация того интуитивного способа рассуждений, которого они фактически всегда придерживаются. Это мнение, правда, не выглядит столь убедительным по отношению к тем математикам, которые проводят формальные доказательства и используют для проверки их правильности формальные процедуры исчисления предикатов. Однако и для таких математиков проверка доказательств формальными, механическими методами играет скорее роль некоторой страховки в сложной цепи рассуждений, дополняющей в сложных случаях содержательные методы рассуждений, но не подменяющей их. [47]
Существенное влияние на конструкцию АУ оказывают используемая система счисления, форма представления чисел в машине, тип элементов, способ ввода, характер выполнения операций над разрядами чисел. [48]
При расчете стационарных чисто сверхзвуковых течений используемая система уравнений является гиперболической и без введения времени. Поэтому целесообразно при расчете сверхзвуковых течений применять методы сквозного счета непосредственно для интегрирования уравнений стационарного течения. Необходимо учитывать также, что в сверхзвуковых течениях, как правило, при наличии скачков уплотнения и других особенностей имеет место гораздо большая неравномерность параметров потока по сечению, чем в областях дозвуковых и трансзвуковых течений. Поэтому при расчете сверхзвуковой области методом установления требуется большее число расчетных точек и, как следствие, значительное увеличение времени счета. [49]
Разработанная в НИИхиммаше, широко, используемая система автоматического проектирования ( САПР) Фильтростроение определяет группу и вид фильтра по заданным свойствам суспензии и выполняет основные технологические расчеты процесса фильтрования. Всего существует 90 видов фильтров, внесенных в ОСТы. Ниже описаны преимущественно перспективные модели универсальных фильтров большой единичной мощности, отличающиеся высокой надежностью, максимально механизированные или автоматизированные, обеспечивающие безопасные условия труда. [50]
Константа нулевого указателя, зависящая от используемой системы. [51]