Cтраница 2
Теперь заданы все элементы, необходимые для построения алгебраической модели. [16]
Вместе с тем, в теории рассматриваются так называемые алгебраические модели программ с процедурами. [17]
Наиболее простой и удобной формой модели физических процессов является линейная алгебраическая модель. [18]
В в качестве алгебры истинностных значений может рассматриваться как частный случай функциональной алгебраической модели. [19]
Последний раздел листинга на рис. 2.12 содержит данные, подставляемые в алгебраическую модель. Отметим обязательные пробелы между именами - по их числу определяется количество элементов в множестве. Соответственно, С присваиваются два элемента, 5 и 4, значения коэффициентов целевой функции. Не обязательно помещать элементы каждого ограничения в отдельной строке, как в листинге на рис. 2.12. Здесь это сделано для удобства чтения. [20]
Существуют два основных подхода к определению корреляций скорости дисперсной фазы в рамках алгебраических моделей. [21]
В статье Explicit algebraic models for constructive and classical theories with non-standard elements ( Эксплицитные алгебраические модели для конструктивных и классических теорий с нестандартными элементами) предлагается следующая конструктивная трактовка нестандартного анализа и теорий с предикатом достижимости. Предыдущие работы автора позволяют получить, и притом конструктивно, точную модель Мс A iff Thc h А. [22]
Бесконечномерная линейная алгебра входит в фундамент функционального анализа, но особенно полезна в качестве адекватной алгебраической модели для теории линейных топологических пространств, занимающей в функциональном анализе центральное место. [23]
Напомним, что полиадические алгебры Халмоша, как и цилиндрические алгебры, были придуманы из желания построить алгебраическую модель исчисления предикатов первой стунейи. И достойно удивления, что эти алгебры оказались хорошо приспособленными к использованию их в теории и практике баз данных. Прикладная роль полиадических и цилиндрических алгебр, возможно, окажется сравнимой с ролью булевых алгебр в подобных ситуациях, и это, несомненно, стимулирует интерес математиков к таким алгебрам. [24]
Но поскольку из работ В. Н. Решетникова выясняется, что нет эффективных методов решения упомянутых систем линейных уравнений и неравенств, то алгебраическая модель практически ничего не дала в плане создания эффективных алгоритмов поиска, а предложенная В. Н. Решетниковым - структура [90, 91] по сути является сбалансированным деревом поиска, и единственное, что о ней сказано - что в некоторых случаях алгоритм, использующий Z-структуру эффективней перебора. [25]
При построении жестких моделей используют различные классические методы математики: дифференциальные уравнения, линейные разностные уравнения, интегральные уравнения и операторы для сведения к алгебраическим моделям. Эти методы рассматриваются в теории вероятностей и математической статистике. [26]
Лове-ром [158], и, как оказалось, он имеет определенные достоинства, Функторная трактовка алгебр и категорное описание алгебраических теорий могут быть использованы и при построении различных алгебраических моделей, связанных с приложениями. [27]
Тот факт, что АВО ( С) - алгебра, построенная для случая пространства 9 ( SlX), минимальна, является исключительным; в общем же случае построенная алгебраическая модель является лишь свободной алгеброй, которая может иметь образующие нулевой или отрицательной размерности. [28]
В нашей недавней заметке [1], посвященной построению теории бесконечных J-матриц, мы указали, что эта теория представляет, в частности, интерес еще тем, что она может служить алгебраической моделью для соответствующих построений в теории краевых задач с одним сингулярным концом. [29]
Фон Нейман рассмотрел несколько различных моделей машин, две из которых мы опишем здесь; это, во-первых, механическое устройство, созданное обычным методом сборки из более простых частей, и, Во-вторых, абстрактная алгебраическая модель. Преимущество первой модели в том, что она основывается на нашей богатой интуиции, касающейся механических устройств; поэтому основная идея устройства такой самовоспроизводящейся машины будет понята без особого труда. Недостаток ее в том, что подробное конструирование такой машины, скажем на уровне рабочих чертежей, было бы очень сложным и потребовало бы много времени. [30]