Cтраница 2
Так будем называть уравнения, установленные в [257, 259] на основе системы допущений, принятых для пакета слоев в целом и позволяющих учесть не только поперечные сдвиговые деформации, но и обжатие нормали. Будем рассматривать класс тонких весьма пологих ортотроп-ных оболочек, относя отсчетную поверхность и к системе координат х1, х2, связанной с линиями ее кривизн, и отождествляя метрику на поверхности с евклидовой. В этом случае А1 А2 1, поэтому компоненты тензоров совпадают с их физическими составляющими. Пуассона, характеризующие сокращение линейных размеров тела в одном главном направлении упругости ( 2 - й индекс) при его растяжении в другом таком направлении ( 1 - й индекс); G12, G31, G32 - модули сдвига для главных плоскостей х х2, x z, x2z соответственно. [16]
Третьим последствием принятия такой диалектической организации программы является то, что система допущений становится аддитивной. Такая система никогда не отбрасывает аргументов, а накапливает их и использует тогда, когда это возможно, что дает возможность направлять будущую полемику путем предохранения ее от повторения более ранних споров. Но каждый аргумент входит в состав системы допущений, поскольку мы выводим из этих аргументов текущее множество допущений. Поэтому все изменения допущений происходят путем добавления новых аргументов в монотонно возрастающее хранилище аргументов. [17]
С проблемой рационального разделения объекта на звенья тесно связана задача принятия системы допущений. Допущения представляют компромисс между требуемой или желаемой точностью описания свойств объекта и возможностью как количественной оценки физико-химических явлений, так и решения получающихся уравнений. [18]
При построении решателя задач, который бы использовал такого рода модели систем допущений, мы сталкиваемся с проблемой описания того, как добавления к таким моделям влияют на содержащиеся в них допущения, как происходит пересмотр допу щений внутри модели системы допущений. К счастью, механизм представления подтверждений в виде явных допущений, введенный в разд. [19]
С проблемой рационального расчленения объекта на звенья тесно связана задача принятия системы допущений. [20]
Для каждого SL-подтверждения J ( ( SLIO)) для N в системе допущений U мы создаем вершину UB [ J ], представляющую сведение о содержании подтверждения J в системе допущений U. Затем мы подтверждаем UB [ N ] с помощью ( SLL ()), где L содержит вершину UB [ J ], вершины UB [ M ] для каждой вершины М из I и вершины HUB [ M ] для каждой вершины М из О. [21]
ВМ СН является практически невозможным, то необходимую и важную часть ИСА составляет система допущений. [22]
Кривая 3 соответствует области равновесной кристаллизации ( / с k k0) и пфанновской системе допущений [ 41, с. [23]
При построении математической модели объекта экспериментально-аналитическим методом анализируют все процессы, протекающие в нем, формулируют систему допущений, дают математическое описание всех явлений, существенных для целей моделирования, на основе чего и составляют модель. [24]
Для того чтобы представить некоторую другую систему допущений внутри нашей собственной системы, мы используем входящие в нашу систему допущения о допущениях и подтверждениях в другой системе. [25]
После выбора типовой модели ( или комбинации нескольких) для описания исследуемого процесса ( условно разделенного на ряд звеньев) и принятия системы допущений для упрощения и обоснования принятой структурной схемы, а также для решения системы составленных дифференциальных уравнений, берется определенный ( обычно Алгол-60) алгоритм, пользуясь которым и составляют программу для ЭВМ. В соответствии с этой программой машина последовательно выполняет операции, дающие информацию о ходе процесса и конечных его результатах. Следующий этап моделирования с помощью аналоговой или цифровой ( см. стр. [26]
После выбора типовой модели ( или комбинации нескольких) для описания исследуемого процесса ( условно разделенного на ряд звеньев) и принятия системы допущений для упрощения и обоснования принятой структурной схемы, а также для решения системы составленных дифференциальных уравнений, разрабатывается определенный моделирующий алгоритм, пользуясь которым и составляют программу для ЭВМ. Если математическое описание процесса представляет собой сложную систему конечных и дифференциальных уравнений, то от возможности построения достаточно надежного моделирующего алгоритма зависит применимость математической модели. В соответствии с составленной программой машина последовательно выполняет опеоа-ции, дающие информацию о ходе процесса и конечных его результатах. Следующий этап моделирования с помощью аналоговой или цифровой вычислительной машины состоит в проверке адекватности выбранной модели исследуемому процессу или аппарату и ее коррекции. [27]
Таким образом, изменения, произведенные в отдельных допущениях из системы допущений, автоматически приводят к изменениям в тех допущениях, которые представляют вытекающие изменения в системе допущений. [28]
Для каждого SL-подтверждения J ( ( SLIO)) для N в системе допущений U мы создаем вершину UB [ J ], представляющую сведение о содержании подтверждения J в системе допущений U. Затем мы подтверждаем UB [ N ] с помощью ( SLL ()), где L содержит вершину UB [ J ], вершины UB [ M ] для каждой вершины М из I и вершины HUB [ M ] для каждой вершины М из О. [29]
При построении решателя задач, который бы использовал такого рода модели систем допущений, мы сталкиваемся с проблемой описания того, как добавления к таким моделям влияют на содержащиеся в них допущения, как происходит пересмотр допу щений внутри модели системы допущений. К счастью, механизм представления подтверждений в виде явных допущений, введенный в разд. [30]