Cтраница 3
Необходимость рассмотрения неоднородных баз данных обусловлена и тем, что развитие концепции баз данных сопровождается появлением значительного числа различных моделей данных и их конкретных представителей, каждый из которых поддерживается конкретным типом СУБД. При этом существенно, что модель данных определяется совокупностью двух языков - языка описания и манипулирования данными. Это означает, что любые синтаксические и семантические изменения ЯОД и ЯМД приводят к образованию новых моделей данных. [31]
К необходимости рассмотрения алгоритмов приводит конструктивная трактовка экзистенциальных утверждений. Соответственно установление параметрического утверждения существования ( 13) yxjyA ( х, у) ( для всякого х существует у такой, что А ( х, у)) предполагает указание общего конструктивного процесса, начинающегося с произвольного конструктивного объекта х данного исходного типа и заканчивающегося построением искомого у. Из такой трактовки существования вытекает и конструктивное понимание дизъюнкции: суждение А / В ( Л или JS) считается установленным, только если предъявлен конструктивный процесс, заканчивающийся указанием его верного члена. Дальнейшее разъяснение смысла суждений более сложной структуры и выработка правил обращения с ними, соответствующих исходным конструктивным установкам, составляет задачу конструктивной семантики и конструктивной логики. Приведенная конструктивная трактовка утверждений существования и дизъюнкции существенно отличается от традиционной: в теоретико-множественной математике, напр. Такое доказательство обыкновенно не содержит никакого способа построения искомого конструктивного объекта. Последнее суждение рассматривается в К. [32]
При необходимости безотлагательного рассмотрения вопроса целесообразно вызывать ответственных работников на 15 - 20 мин для принятия решения. [33]
К необходимости рассмотрения уравнений кривых в комплексной форме приводят векторные диаграммы. [34]
При необходимости рассмотрения деталей структуры за пределами разрешающей способности оптических металломикроскопов ( 4 X х 10 - 4 мм) применяют электронный микроскоп, в котором изображение формируется при помощи потока быстро летящих электронов. Различают косвенные и прямые методы исследования структуры. Косвенные методы основаны на специальной технике приготовления тонких слепков - пленок ( реплик), отображающих рельеф травленого шлифа. [35]
При необходимости рассмотрения деталей структуры за пределами разрешающей способности оптических металломикроскопов ( 4 X X 10 - 4 мм) применяют электронный микроскоп, в котором изображение формируется при помощи потока быстро летящих электронов. Различают косвенные и прямые методы исследования структуры. Косвенные методы основаны на специальной технике приготовления тонких слепков - пленок ( реплик), отображающих рельеф травленого шлифа. [36]
При необходимости рассмотрения деталей структуры за пределами разрешающей способности оптических металломикроскопов ( 4ХЮ - 4 мм) применяют электронный микроскоп, в котором изображение формируется при помощи потока быстро летящих электронов. Различают косвенные и прямые методы исследования структуры. Косвенные методы основаны на специальной технике приготовления тонких слепков - пленок ( реплик), отображающих рельеф травленого шлифа. [37]
При необходимости рассмотрения лицензионных материалов несколькими ответственными исполнителями один из них определяется головным. [38]
Именно необходимостью цельного рассмотрения НСС объясняется отнесение данного вопроса к кругу задач обеспечения надежности, решаемых при проектировании нефтепровода. Таким образом, задача обеспечения надежности сводится в большей мере к экономической оценке принимаемых решений. [39]
Иногда встречается необходимость рассмотрения функций, которые могут допускать значения - - оо и - оо. [40]
Это вызывает необходимость рассмотрения задачи в динамическом аспекте в течение года, что позволит определить не только потребные емкости складов, ню и оптимальную динамику их использования. Знание динамики работы складов в течение года дает возможность использовать высвобождаемые складские помещения в тот или иной период времени для хранения других средств материально-технического снабжения сельского хозяйства. [41]
Чем объясняется необходимость рассмотрения вандерваалъсовых сил, если они столь невелики. [42]
Чтобы подчеркнуть необходимость рассмотрения негауссовских моделей, достаточно, например, заметить, что значительная часть исследуемых в прикладных задачах случайных процессов представляет собой результат разнообразных инерционных и безынерционных нелинейных преобразований гауссовского процесса. Свойство гауссовости при нелинейных преобразованиях нарушается; распределения преобразованных процессов становятся негауссовскими, а их характер обычно зависит как от параметров исходного случайного процесса, так и от конкретного вида преобразования. [43]
Чтобы избежать необходимости рассмотрения бесконечно больших напряжений, мы предположим, что начало координат является центром малой сферической полости ( фиг. [44]
Это обуславливает необходимость рассмотрения вопросов влияния естественных физических полей на динамику процессов, протекающих в пластовой системе и определяет требования, предъявляемые при создании ресурсе - и энергосберегающих технологий. Такой подход позволяет для каждого конкретного случая выбрать наиболее рациональное решение по повышению эффективности процесса добычи нефти с учетом особенностей разработки низкопроницаемых коллекторов и трудноизвлекаемых запасов. [45]