Cтраница 2
Согласно следующей лемме классы индуцированного отношения обеспечивают разложение классов обычного отношения Грина. Это указывает одну из причин, по которой следует считать полезным введение индуцированных отношений, но, кроме того, они являются достаточно мощным техническим инструментом. Мы опускаем доказательство леммы 4.3 потому, что оно носит чисто вычислительный характер, и доказательства теорем 4.4, 4.7 и 4.8 - из-за их длины. [16]
Planner, Graph Traverser [13, 14], см. статью Уинстона в этом сборнике, а также ППР-1 [24]), в настоящее время может строить только относительно простые планы, представляющие собой детерминированную последовательность действий, выполняемых в статических средах одним роботом для достижения одной цели. Представляется вероятным, что это обстоятельство объясняется не столько принципиальными для построения систем с искусственным интеллектом трудностями, сколько спецификой используемых подходов, приводящих в конечном счете к ограничению возможностей введения семантических и прагматических отношений между знаками. [17]
В эту зависимость вводятся поправочные коэффициенты, учитывающие наличие пристенного слоя, где проявляется влияние вязкости. Эти поправки даются в виде соответствующих функциональных связей для коэффициентов сопротивлений с учетом современных полуэмпирических теорий турбулентности. Аналогичным образом учитывается и неизотермичность посредством введения отношений физконстант с показателями степеней, основывающимися на экспериментальных данных и взглядах современной молекулярной теории жидкостей и газов. [18]
Выше было отмечено, что сольватация может вносить значительную ошибку в данные расчеты, особенно при сравнении реакций SN и 5 2, в отношении которых ее влияние может быть различным. Вследствие эквивалентности уравнений ( 5) и ( 16) это замечание в одинаковой степени относится к обоим сравниваемым выше методам расчета, ни один из которых не учитывает сольватации частиц. Если принимать во внимание сольватную сферу, то при вычислении по одному способу следовало бы изменить молекулярные массы и моменты инерции, что в другом способе соответствует введению дополнительных отношений частот. Более того, в обоих случаях необходимо было бы в одинаковой степени увеличить число экспоненциальных множителей. Вполне очевидно, что наши современные знания совершенно недостаточны для осуществления подобного полного расчета. [19]
Именно многозначность изученного расширения оправдывает употребление этих общих терминов. Тела, определенные так, как мы сделали выше путем введения отношения эквивалентности между элементами, называются телами частных. Мы встретимся с другим примером такого рода, когда перейдем от кольца многочленов к телу рациональных дробей, членами которых являются многочлены. [20]