Cтраница 1
Метод интерпретаций и метод индукции, возможно, два наиболее распространенных и эффективных метода математики, в чем можно убедиться, обратившись к историко-математической литературе. Эти два метода могут быть названы буквально инструментами формирования математического знания, поскольку посредством именно этих двух методов исторически формировались многие математические ( и не только математические) методы и теории. [1]
Метод интерпретаций позволяет также решать вопрос о независимости систем аксиом: для доказательства того, что аксиома А теории Т не выводима из остальных аксиом этой теории и, следовательно, существенно необходима для получения всего объема данной тео-рпи, достаточно построить такую интерпретацию теории Т, в к-рой аксиома А была бы ложна, а все остальные аксиомы этой теории истинны. Упомянутое выше сведение проблемы непротиворечивости геометрии Лобачевского к проблеме непротиворечивости евклидовой геометрии, а этой последней - к вопросу о непротиворечивости арифметики имеет своим следствием утверждение, что V постулат Евклида не выводим из остальных аксиом геометрии, если только непротиворечива арифметика натуральных чисел. [2]
Метод интерпретации отличается простотой и гибкостью, и он не требует большой емкости ОЗУ; недостаток - большая затрата времени на решение задач. [3]
Метод интерпретации заключается в следующем. Подпрограммы записываются во внешнем запоминающем устройстве машины. Кроме выполняемой программы, в оперативную память вводят специальную интерпретирующую программу, назначение которой состоит: 1) в вызове в оперативную память подпрограмм; 2) в переработке их ( если такая требуется) в соответствии с местом оперативной памяти, на котором они размещаются; 3) в обеспечении переходов от основной программы к подпрограммам и обратно. В основной программе должны присутствовать специальные группы кодов, содержащие команду перехода к интерпретирующей программе и информацию, необходимую для ее работы. Эти группы кодов являются псевдокомандами. В некоторых случаях псевдокоманда для своего размещения в памяти требует более одной ячейки. Интерпретирующая программа расшифровывает ( интерпретирует) псевдокоманды, каждая из которых в основной программе заменяет некоторую подпрограмму. [4]
Метод интерпретации геофизических данных, называемый каротажем механических свойств ( фирма Шлюмберже), часто применяют для определения удобного предварительного индикатора устойчивости пород к разрушению при эксплуатации скважины. Однако полная надежность этого метода еще не доказана. Считается, что акустический каротаж - основной элемент изучаемого при этом комплекса геофизических методов, и поэтому сам по себе акустический каротаж может иметь определенную ценность как инструмент прогноза. [5]
Метод интерпретации результатов измерений в случае применения ядер отдачи аналогичен методу вычисления коэффициента диффузии по величине поглощения а-частиц. [6]
Описан метод интерпретации хроматограмм при анализе летучих в-в, образующихся при самоокислении жиров и летучих эфирных в-в плодов. [7]
Этот метод интерпретации индикатора балансового объема предназначен для торговли на краткосрочных циклах. Гранвиллу, успешная торговля на основе краткосрочного анализа OBV требует от инвестора быстрых и решительных действий. [8]
Недостаток метода интерпретации заключается в сравнительно больших затратах машинного времени на перевод псевдопрограммы. Поскольку в этом способе мы не получаем программы, полностью переведенной на язык машины, то каждая псевдокоманда интерпретируется заново при каждом новом ее выполнении. [9]
Применение метода интерпретации требует присутствия программы-интерпретатора в оперативной памяти ЭВМ во время решения задачи. При этом процесс решения замедляется также за счет того, что между отдельными этапами решения задачи управление получает интерпретатор. [10]
Применение метода интерпретации требует присутствия программы-интерпретатора в оперативной памяти ЭВМ во время решения задачи. При этом процесс решения замедляется также за счет того, что между отдельными этапами решения задачи управление получает интерпретатор. [11]
Разработка методов интерпретации каротажных диаграмм с применением счетно-решающих электронных машин позволяет увеличить скорость и повысить надежность геологического истолкования результатов геофизических измерений и тем самым приводит к повышению их эффективности. [12]
Слабая сторона метода интерпретаций состоит в том, что в вопросах непротиворечивости в независимости систем аксиом он дает возможность получать только результаты, носящие относительный характер. Важным достижением этого метода стал тот факт, что с его помощью была выявлена особая роль арифметики как такой математич. [13]
Используя четыре метода интерпретации инклинометрических данных, включая онлайновую, получим четыре варианта пространственного положения ствола в декартовых координатах, приведенных в приложении. Сопоставляя эти данные, видим весьма близкие значения пространственных координат, полученных с использованием трех последних методов. [14]
Одним из методов интерпретации результатов реологических измерений, полученных при исследовании суспензий, служит применение понятия механизма релаксации, хорошо объясняющего свойства вязкоэластичных твердых полимеров. Эти полимеры проявляют одновременно эластические и вязкостные свойства. [15]