Cтраница 1
Алгебраические модели широко применяются при исследованиях, связанных с интуиционистской логикой. Существенную роль играет в таких исследованиях понятие псевдобулевой ( в другой терминологии - брауэровой) алгебры ( см., например, [1]), относящееся к интуиционистской логике высказываний так же, как понятие булевой алгебры к классической логике высказываний. При этом в конкретных приложениях обычно используются специальные представления псевдобулевых алгебр: алгебры открытых подмножеств топологических пространств, модели Крипке [2], модели Бета [ 3, с. Основными объектами применения алгебраической техники являются суперинтуиционистские и модальные логики высказываний, реже - исчисление предикатов первого порядка. [1]
Все функциональные алгебраические модели для языка НА, которые мы рассмотрим ниже, будут иметь одну и ту же объектную область, т.е. в моделях А ( В, D, F, Cnst, Pr) функция D будет одной и той же. Интуитивно говоря, канал изображает константу - натуральное число, о котором ничего не известно. [2]
Определение алгебраической модели закончено. [3]
В алгебраической модели, обычно называемой клеточной или мозаичной моделью, пространство представляется как двумерный бесконечный массив одинаковых квадратных клеток, а время по предположению изменяется дискретно. Каждая клетка сама является простой абстрактной машиной, способной в каждый момент находиться в одном из конечного числа состояний и обмениваться сигналами с каждой из четырех соседних клеток. Поведение каждой клетки полностью определено функцией перехода, которая предписывает, что в каждый следующий момент времени состояние клетки должно изменяться в зависимости только от текущих состояний ее самой и ее четырех соседей. Одно из возможных состояний клетки называется состоянием покоя - клетка в этом состоянии может считаться пустой. [4]
Факт согласованности алгебраических моделей с интуиционистской логикой выражается следующей теоремой. [5]
Наряду с алгебраическими моделями в последнее время широкое распространение для описания турбулентного переноса импульса и тепла в дисперсной фазе получили дифференциальные модели. Данные модели основаны на использовании уравнений баланса энергии пульсаций дисперсной фазы или вторых моментов пульсаций скорости и температуры частиц. [6]
Здесь мы определим алгебраические модели программ с процедурами. Принадлежащие им схемы, в отличие от о. [7]
Третья часть посвящена алгебраической модели базы данных, исследовавшейся автором и другими рижскими алгебраистами. База данных здесь рассматривается как определенная алгебраическая структура. Модель, представленная в виде алгебраической структуры, должна приближать нас к пониманию природы баз данных, и вместе с тем нужно, чтобы она позволяла на абстрактном уровне решать различные задачи теории баз данных. Эта модель не должна быть громоздкой, и важно, чтобы в каждом конкретном случае база данных выглядела как естественный организм со своей индивидуальностью. [8]
Настоящий пункт выполняется для алгебраической модели описания движения газа по простым трубопроводам. [9]
Технологическая постановка задачи идентификации параметров алгебраической модели сложного ЛУ многониточной структуры полностью аналогична постановке задачи идентификации параметров эталонной модели того же участка. Неизменными остаются списки известных и искомых величин. Изменяются лишь соотношения, описывающие технологический процесс транспорта газа на подучастке. [10]
Все эти понятия основаны на алгебраической модели базы данных, и они используют обычные алгебраические подходы. Речь здесь идет о конкретных базах данных в том смысле, как они определялись в предыдущих двух главах. [11]
С логической структурой базы данных связана ее алгебраическая модель. Такая модель позволяет, например, хорошо определить такие понятия, как изоморфизм и эквивалентность баз данных. Здесь имеется в виду эквивалентность по отношению к информационным возможностям. Понятия изоморфизма и эквивалентности связаны с важной задачей о наиболее удачном выборе базисной информации. [12]
Предложенный в работе [40] метод идентификации параметров алгебраической модели сложного ЛУ является универсальным, поскольку, во-первых, вид функций фг, ф2, ф3 в соотношениях (5.3.47) - (5.3.49) может быть произвольным; во-вторых, нет необходимости полагать равными коэффициенты эффективности и теплопередачи на различных нитках ЛУ. [13]
Вычисление рейнольдсового теплового потока производится при помощи алгебраических моделей в веде аналогии Рейнольдса, которая основана на подобии между переносом тепла и импульса. [14]
Вычисление рейнольдсового массового потока компоненты производится при помощи алгебраических моделей в виде аналогии Рейнольдса, которая основана на подобии между переносом компоненты и импульса. [15]