Cтраница 3
Для этих специфически интуиционистских теорий и их модификаций часто нетривиальным является уже вопрос относительно их непротиворечивости, так как принципы таких теорий противоречат классической семантике. Наличие алгебраической модели интуиционистской теории гарантирует ( с традиционной классической точки зрения) ее непротиворечивость, определяет некоторую нестандартную семантику рассматриваемой теории и, что, может быть, наиболее существенно, позволяет судить о совместности или независимости различных интуиционистских принципов в рамках теории. Алгебраические модели находят интересные применения и в доказательстве устранимости сечения для интуиционистских логик высокого порядка, где непригоден обычный метод, связанный с индукцией по логической сложности основной формулы сечения. [31]
Согласно этой гипотезе турбулентные напряжения зависят только от локальной структуры осредненного течения. Вследствие этого алгебраические модели турбулентности удовлетворительно описывают лишь течения, близкие к равновесным. Для расчета существенно неравновесных течений необходимо введение дополнительных релаксационных членов, включающих конвективные и диффузионные слагаемые. [32]
При этом была принята алгебраическая модель турбулентной вязкости. [33]
Впрочем, для аппарата алгебраической топологии будет важно только то, что они существуют. Картана) была использована конкретная их алгебраическая модель. [34]
Только рассмотренный полуэмпирический подход, по-видимому, использован в прикладных работах. Такие методы развиты в основном для алгебраических моделей, но не нашли пока применения при практическом использовании моделей химико-технологических процессов. [35]
Цель данной главы - изложить основные понятия, связанные с алгебрами Халмоша, привести важные примеры и собрать основные сведения, применяемые в третьей части книги, посвященной базам данных. Некоторое внимание уделяется и цилиндрическим алгебрам, которые также используются в алгебраических моделях баз данных. Модель базы данных существенно связана с идеей типа данных. Эта идея приводит к более общему взгляду на алгебры Халмоша и цилиндрические алгебры, развиваемому в следующей главе. Категорный подход также учитывает связь с типами данных и используется в теории баз данных. [36]
Начальные концентрации веществ В к С равны нулю. Задача параметрической идентификации в этом случае сводится к задаче оценки параметров в алгебраической модели. [37]
Накопленный к настоящему времени опыт проектирования и создания ПТУ с ОРТ позволяет провести априорный выбор типов элементов вне рамок общей задачи оптимизации. В такой постановке технико-экономическая оптимизация является структурно-параметрической, универсальным средством проведения которой служит алгебраическая модель теплоэнергетической установки. [38]
Реляционные языки различного типа хорошо описаны в отечественной литературе. Во второй из этих работ, посвященной некоторым фило-софско-методологическим проблемам построения реляционных баз данных, приведена и формальная алгебраическая модель для реляционных алгебр. [39]
Данная статья ликвидирует этот пробел в теории. В ней предлагается графовая формализация программы с процедурами и решается задача аппроксимации классов таких программ введенными в [1] алгебраическими моделями программ с процедурами. [40]
Излагается одна из возможных точно математически обоснованных математических моделей баз данных - важнейшего понятия программирования. Развиваются алгебраические, в частности, категорные основы теории, различные подходы, направленные на алгебраизацию узкого исчисления предикатов, алгебраические модели базы данных. Дается обзор проблем теории баз данных и сопоставлены различны6 подходы исследований в этой области. [41]
Для этих специфически интуиционистских теорий и их модификаций часто нетривиальным является уже вопрос относительно их непротиворечивости, так как принципы таких теорий противоречат классической семантике. Наличие алгебраической модели интуиционистской теории гарантирует ( с традиционной классической точки зрения) ее непротиворечивость, определяет некоторую нестандартную семантику рассматриваемой теории и, что, может быть, наиболее существенно, позволяет судить о совместности или независимости различных интуиционистских принципов в рамках теории. Алгебраические модели находят интересные применения и в доказательстве устранимости сечения для интуиционистских логик высокого порядка, где непригоден обычный метод, связанный с индукцией по логической сложности основной формулы сечения. [42]
Фактически эта общая алгебраическая конструкция применима не только к интуиционистской логике. Алгебраическую модель можно рассматривать, если задана подходящая логическая матрица ее истинностных значений. [43]
С теорией и практикой баз данных связаны различные области математики. В данной главе рассказывается о некоторых возможностях алгебры в этом плане. В частности, будет намечено определение алгебраической модели базы данных, согласованное с имеющимися интуитивными представлениями. [44]
При разработке моделей течения в восходящей струе используется несколько различных приближенных подходов. Самыми простыми моделями течения являются алгебраические. Они основаны на алгебраических соотношениях, полученных с помощью экспериментальных данных или путем упрощения дифференциальной модели. Алгебраические модели позволяют рассчитать траекторию и ширину струи. Эти модели, основанные на эмпирических зависимостях, становятся ненадежными, когда в реальных условиях температура и концентрации примесей в струе и в окружающей среде сильно отличаются от тех значений, при которых были получены опорные экспериментальные данные. [45]