Cтраница 4
Инфологическая модель позволяет специфицировать один или несколько фильтров. Они в процессе интерпретации плеяд Контролируют соблюдение заданных ограничений. Отличие от большинства других моделей заключается здесь в том, что последние предусматривают выполнение контроля на этапе ввода данных. Инфологическая модель данных допускает возможность ввода данных, ошибочных или противоречивых в определенном контексте. С помощью фильтров, специфицированных для этапа интерпретации, устанавливается истинность и непротиворечивость этих данных в других контекстах. [46]
В первую очередь при интерпретации необходимо уяснить пространственное положение реальной траектории в толще пород, так как она может существенно отличаться от проектной. Во-вторых, в процессе интерпретации уточняются геологические параметры пересекаемых пластов вблизи ГС, а в благоприятных ситуациях - и сам геологический профиль разреза. [47]
Отдельные сейсмограммы в процессе интерпретации располагали непосредственно рядом друг с другом уже давно ( рис. 1.19), но было очень трудно охватить их единым взором из-за больших размеров каждой сейсмограммы и различий в скорости протяжки фотобумаги и в качестве записей. [48]
Действительно, для того чтобы получить новую информацию о модели, необходим целый ряд операций с формальной системой, выполняемых независимо от процесса ее интерпретации. Точно так же независимо от процесса интерпретации происходит доказательство истинности содержательной системы ( модели) и новой информации о ней, полученной посредством формальной системы. Первая операция осуществляется до, вторая - после интерпретации формальной системы. Таким образом, несвязанная с выполнением исследовательских задач непосредственно интерпретаторская функция составит отдельный тип. Причем функция интерпретации в принятом здесь понимании реализуется моделями лишь на одном ( теоретическом) уровне. Эффективность методов теории моделей подтвердили результаты, полученные при применении логических исчислений для исследования систем высказываний арифметики, алгебры, математического анализа, геометрии, топологии. [49]