Cтраница 3
Семантика Фиттинга для нормальных логических программ представляет собой трехзначное обобщение моделей Кларка. Эта семантика не является рекурсивно перечислимой. К сожалению, семантика Фиттинга унаследовала некоторые проблемы, связанные с семантикой пополнений Кларка. [31]
Нейтринные моды р - vK4 доминируют в суперсимметричных обобщениях моделей великого объединения. [32]
Кроме того, появилось много существенных исследований по обобщению модели и квантового принципа на другие, более сложные атомные и молекулярные структуры. Эти полукачественные исследования были весьма, успешны и дали мощный импульс к экспериментальному изучению и анализу атомных спектров. [33]
![]() |
Корреляция между зрачковым шумом правого и левого глаза. [34] |
Модель, показанная на рис. 14, является обобщением модели рис. 8, Ее конфигурация определяется следующими экспериментальными фактами. [35]
Описанная выше модель является, по существу, обобщением модели Баркера на системы с вакансиями. Однако отличие от оригинальной модели Баркера состоит не только в учете вакансий. [36]
![]() |
Фазовая диаграмма ( а вукгыльской. [37] |
Математическая модель фильтрации трехкомпонентной углеводородной системы в пористой среде является обобщением модели Баклея - Леверетта фильтрации нефти и воды. Аналогично функции Баклея - Леверетта вводим функцию f /:, U ( C3, С), равную объемной доле тяжелого компонента в потоке. [38]
![]() |
Фазовая диаграмма ( а вуктыль-ской газоконденсатной смеси и фазовая плоскость ( 0 системы уравнений движения. [39] |
Математическая модель фильтрации трехкомпонентной углеводородной системы в пористой среде является обобщением модели Бак-лея - Леверетта фильтрации нефти и воды. [40]
На основе составленной систематизации факторов и условий протекания процесса КРН, обобщения моделей его развития могут быть сформулированы требования к мероприятиям по уменьшению риска стресс-коррозионных разрушений на МГ. [41]
Задача о тупиковых ситуациях, в свою очередь, приводит к обобщению модели дополнительных ресурсов, рассмотренной в гл. [42]
![]() |
Модели трещины ( а, б, в-трещина в идеально хрупком материале. [43] |
Предложенная недавно47 модель трещины ( см. рис. 7 в) является обобщением модели Ребиндера. На явно выраженной границе перехода от свободной поверхности к сплошной среде ( пунктирная линия) происходит разрыв связей. В материале вблизи вершины трещины происходит постепенное медленное увеличение межчастичного расстояния. В момент разрыва связей квазиупругая сила достигает максимального значения и межчастичное расстояние меняется скачком, В результате трещина продвигается на расстояние, соответствующее одному межчастичному расстоянию. [44]
Поэтому параллельно я нелегально занялся завершением начатой еще на заводе работы по обобщению модели Томаса - Ферми. [45]