Cтраница 1
Нормальные модели этой теории называются полугруппами. [1]
Нормальная модель для мощности от 500 до 2000 kW при 3000 об / мин с колесом Кертиса и барабанным ротором. [2]
Рассчитанные нормальные модели колебаний v /, и v5 приведены на рис. 12 ( см. в [46] - стр. Амплитуда колебаний водородного атома изображена таким образом, чтобы амплитуды колебаний других атомов поместились на рисунке. Были рассчитаны также энергии этих типов колебаний. Энергия колебаний v4 составляет около 51 8 % от энергии валентных колебаний CN и 48 2 % - от энергии деформационных колебаний NH, тогда как энергия v5 - 51 5 % от энергии деформационных колебаний NH и 48 5 % от энергии валентных колебаний CN. Следовательно, полосы поглощения амида II ( 1580 см 1) и амида III ( 1220 см 1) в полипептидах относятся к смешанным видам колебаний, причем это скорее всего деформационные колебания NH в первом случае и валентные колебания CN в последнем. [3]
Случай нормальных моделей и бесконечных конструктивных миров - более интересный. [4]
Понятие нормальной модели вычислений обобщает как нормальные алгоритмы, так и машины Тьюринга. Подробно об этих понятиях см., например, [ Sa ], Гл. В широком смысле, р 6 Р - список подстановок алгоритма Маркова или таблица, определяющая работу машины Тьюринга. Тогда миры С /, /, F состоят из разных слов в рабочем алфавите. [5]
В нормальной модели теории Т аксиомы равенства истинны, так что в одну сторону утверждение теоремы очевидно. Нам осталось показать, что если теория Т совместна с аксиомами равенства, то она имеет нормальную модель. [6]
В карбюраторных нормальных моделях П 3000 - 4000 об / мин при сср 11 - 13 м сек. [7]
В рамках многомерной нормальной модели ( последовательности наблюдений вида ( 1) интерпретируются как случайные выборки из соответствующих многомерных нормальных генеральных совокупностей) построены, напр. [8]
Перестановочное усилие для нормальных моделей равно 10 - 50 w, для малых - 0 5 - 2 н при коэффициенте усиления ( по силе) в 103 и выше. [9]
Верно и обратное: любая нормальная модель теории ТЪ. А) естественно определяет элементарное расширение интерпретации А. В самом деле, пусть дана нормальная модель этой теории с носителем В. Тогда каждый элемент множества А ( точнее, соответствующая этому элементу константа) интерпретируется некоторым элементом множества В. Разным элементам множества А соответствуют разные элементы в В, так как формула Oi ф аз, истинная в А, должна быть истинной и в В. Таким образом, А вкладывается в В и можно отождествить его с некоторым подмножеством множества В. Это отождествление корректно в том смысле, что предикаты и функциональные символы интерпретируются согласованным образом. А, истинны и в В. ТЬ ( А) и потому истинны и в В; ложные в А формулы имеют отрицания в Тп ( А) и потому ложны в В. [10]
Рассмотрим основные принципы построения логарифмически нормальной модели ( ЛНМ) распределения и модели распределения Парето. [11]
Метод проверки гипотезы о соответствии нормальной модели эмпирическим данным с помощью отношений оценок асимметрии и эксцесса к их стандартным отклонениям заключается в совместном выполнении двух предположений. [12]
Из теоремы о полноте для нормальных моделей легко следует аналог теоремы о компактности ( теорема 50, с. [13]
Заметим, что истинность формулы в нормальной модели может зависеть от ее мощности. Например, формула 3a 37 / - i ( a; у) ложна в одноэлементной модели и истинна во всех остальных. Поэтому процедура элиминации кванторов в чистом виде здесь неприменима. [14]
Назовем спектром формулы А совокупность мощностей нормальных моделей, на которых выполнима формула А. [15]