Cтраница 1
Формальный характер этих ошибок позволяет автоматизировать процесс логического тестирования. Существует большое количество ИС для верификации ( инспекции) наборов правил и базы знаний в целом. Однако в ряде случаев, когда цепочки правил, используемых в процессе вывода, небольшие ( от 3 до 10 правил), целесообразно проводить процесс верификации вручную. [1]
Формальный характер этих элементарных операций заключается в том, что они могут быть выполнены автоматически по раз навсегда заданной таблице сложения цифр, при полном отвлечении от их содержательного смысла. [2]
Формальный характер этих соотношений обусловливает ряд недостатков, которыми они обладают. Так, отсутствуют общие рекомендации по расширению критериальных уравнений на более широкий ( по сравнению с тем, для которого они проверены экспериментально) диапазон изменения значений входных параметров. Для получения более точных соотношений, связывающих значения входных и выходных параметров, необходимо более глубокое изучение гидродинамических и массообменных процессов в барботажном слое. [3]
Недостаточно формальный характер описанной выше процедуры редактирования проспекта допускает неоднозначное толкование и применение противоречивых эвристик. [4]
Формальный характер равенств типа (7.56) связан с тем, что при д: pJeE функции г эр обладают особенностью и соответствующие интегралы теряют смысл. В работе [138] предложено понимать их в некотором специальном предельном смысле. [5]
Формальный характер вексельного обязательства требует, чтобы должник представил специальное доказательство факта предъявления векселя к платежу в отказа основного должника от оплаты - составлений в публичном порядке акт протеста. [6]
Формальный характер объединения людей обусловливает неустойчивость их нравственных отношений. В утверждении нравственных взаимосвязей основную роль должны играть хозяйственный, партийный, комсомольский и профсоюзный активы, передовые работники. На этой стадии становятся заметными те работники, которые претендуют на роль звезд - неформальных организаторов людей. [7]
Формальный характер приведенного вывода мы подчеркнули потому, что на самом деле прямое уравнение не вытекает из наших основных постулатов. [8]
Формальный характер прямых и длительных хозяйственных связей в определенной мере был обусловлен также недостаточным учетом при планировании и организации таких связей всей совокупности экономических факторов, которые объективно определяют выбор и возможности эффективного применения той или иной формы снабжения. [9]
Первое имеет формальный характер и относится к небольшой нестрогости, допущенной при доказательстве того, что Кг есть выпуклый конус. [10]
Первое носит формальный характер. Стоящий в (7.19) справа ряд сходится лишь при д; 1, а при х он расходится. Значит, почленное интегрирование этого ряда, как это и было оговорено, правомерно не во всем сегменте [ - 1, 1], а лишь в пределах, лежащих внутри этого сегмента. [11]
Разногласия носят преимущественно формальный характер и сводятся в конце концов к показателю степени использования технических средств. [12]
Несмотря на исключительно формальный характер этого результата, представляется полезным показать читателю, что это просто формальное утверждение интуитивно правдоподобного факта, касающегося игр. Это прояснит также, почему этот результат должен сыграть определенную роль в данной конкретной ситуации. [13]
Сходство носит чисто формальный характер. В (3.71) прибыль сравнивается не с мистической величиной ЕНК, а с деньгами, которые реально могут быть получены от банка в случае помещения в нем денежной суммы К. [14]
Несмотря на формальный характер диаграммы поворота в плоскости 3 4, она дает возможность графически представить явления фицджеральд-лоренцовского сокращения и замедления времени. Расстояние L0 в системе К при наблюдении из системы / С равно L, поскольку оно представляется горизонтальной линией, соответствующей постоянному времени t в / С. Длина L кажется на фиг. [15]