Конструктивная модель
Cтраница 2
Для исследования свойств комплекта пневмокатков были запроектированы и изготовлены конструктивные модели пневмокат - ков и блок-бокса. [16]
Было замечено, что существуют формулы, не имеющие конструктивных моделей. Следующие две теоремы дают нек-рые достаточные условия существования конструктивных моделей у теорий с рекурсивно перечислимым множеством аксиом. [17]
Она была предложена ( Треолар) на основании рассмотрения конструктивной модели резины как системы связанных друг с другом длинных молекулярных цепочек. [18]
Мальцева Конструктивные алгебры [1] явилась первой обзорной работой по конструктивным моделям, в к-рой были выработаны и систематизированы основные понятия и намечены дальнейшие пути развития этой теории. [19]
Наряду со структурными моделями в планировании и прогнозировании спроса используются конструктивные модели спроса. В основе их лежат уравнения бюджета населения, т.е. такие уравнения, которые выражают очевидное равенство общего денежного расхода ( другими словами, объема потребления) и суммы произведений количества каждого потребленного товара на его цену. [20]
Для пояснения общих соображений, приведенных в предыдущем разделе, рассмотрим сначала некую конструктивную модель ОИС СВЧ, в которой одновременно применяется несколько типов ЛП. [21]
Существенной особенностью примера, о котором говорилось выше, является то, что для этой конструктивной модели можно указать такие формульные предикаты, что рассматриваемая модель с добавленными формульными предикатами уже не будет конструктивной ни при заданной нумерации, ни при какой другой. [22]
Если теория Т сильно V -конечна, а Т - рекурсивно перечнслимое расширение Т, то Т имеет конструктивную модель. [23]
Если Т - рекурсивно перечислимая УЭ-теория, имеющая модель ЗЛ с рекурсивно перечислимой Э - тео-риен, то теория Т имеет конструктивную модель. [24]
Крайзель [ 12 указали пример бесконечной конструктивной модели ( обычная арифметика натуральных чисел и шесть дополнительных примитивно рекурсивных функций), такой, что всякая конструктивная модель ( точнее, всякая модель, для которой существует нумерация, делающая ее конструктивной) изоморфна данной. [25]
Другой круг исследуемых вопросов связан с проблемой существования для заданной модели ЗЛ нумерации v такой, чтобы пара ( 9Л, v) стала ( сильно) конструктивной моделью. [26]
 |
Удельная электропроводность сг водородной плазмы, вычисленная с учетом ( 1 и без учета ( 2 межэлектронных взаимодействий. [27] |
Тем самым были привлечены все простейшие конструктивные модели. [28]
Одно из основных требований к этому языку, которое накладывается перечисленными задачами, состоит в том, чтобы он был близок к языку, которым пользуется человек при работе с изображениями. Поэтому в основе такого формального языка должны лежать конструктивные модели процессов восприятия зрительной информации человеком. [29]
Было замечено, что существуют формулы, не имеющие конструктивных моделей. Следующие две теоремы дают нек-рые достаточные условия существования конструктивных моделей у теорий с рекурсивно перечислимым множеством аксиом. [30]
Страницы: 1 2 3