Конструктивная модель

Cтраница 1

Конструктивная модель отображает пространственные геометрические соотношения между элементами объекта. Функциональная модель подобна объекту в отношении его поведения в различных условиях, реакции выходных переменных на входные воздействия или на изменение внутреннего состояния объекта. [1]

Конструктивную модель ( МОДК) мы изучать не будем, так как она характеризуется постоянными величинами, определяемыми информационными связями, существующими на объекте. С помощью этих констант обрабатывается информация в других частях памяти. В МОДК происходит только считывание информации и, следовательно, нет движения. Поэтому метод регулярной проверки контрольных сумм и дублирование МОДК могут быть достаточными для обеспечения надежности в частях памяти этого класса. [2]

Создание конструктивных моделей этических систем и моделей поступков в среде обитания агентов. [3]

Для произведения конструктивных моделей утверждение почти очевидно. В случае сильно конструктивных моделей хорошо известен метод [8], эффективно сводящий вопрос об истинности формулы на прямом произведении к вопросу об истинности некоторых эффективно строящихся формул на сомножителях, который и дает заключение предложения. [4]

Чтобы построить конструктивную модель, надо отправляться от некоторой конечной ( и непустой) или счетно-бесконечной области D объектов. В качестве D в каждом случае можно взять натуральный ряд чисел N, выбирая, если область D отлична от N, некоторый фиксированный эффективный пересчет этой области ( с повторениями, если она конечна) и рассматривая затем вместо первоначальных объектов их индексы в этом пересчете. Но на практике удобно бывает иметь дело непосредственно с другими областями. Случай конечной области допускает более простое рассмотрение с помощью теоремы 20 § 36, обобщенной таким образом, что в процедуру оценки включаются индивидуальные и функциональные символы. [5]

Схемы неоднородных залежей. блочная ( а и слоистая ( б неоднородности. [6]

В работе [14] предлагаются конструктивные модели явления, количественные методы оценки извлекаемых запасов и стратегии регулирования конечной газоотдачи неоднородных пластов. [7]

Опережающая терминологическая стандартизация устанавливает перспективные конструктивные модели и требования к научно-техническим терминам. [8]

Здесь все f F определяют конструктивные модели ( 2D, Ф, /) и все r R являются вычислимыми отношениями. [9]

С этих позиций представляет интерес конструктивная модель стоимости программного изделия, разработанная Б. У. Боэмом [10] на основе системного анализа большого статистического материала по конкретным разработкам программ в виде готовых к применению изделий. Следует отметить, что практическая проверка работоспособности моделей на проведенных разработках программ для САПР подтвердила приемлемость описанного аппарата для оценки и нормирования процесса разработки ПО САПР. К тому же система рейтингов, включаемая в уточненные модели, хорошо согласуется с понятием НТУ САПР и позволяет оценивать эффективность программного изделия и системы в целом с учетом ее НТУ, а при функционировании - качества системы и ее элементов. [10]

Прямое произведение ( сильно) конструктивных моделей также ( сильно) конструктивно. [11]

Крайзель [ 12 указали пример бесконечной конструктивной модели ( обычная арифметика натуральных чисел и шесть дополнительных примитивно рекурсивных функций), такой, что всякая конструктивная модель ( точнее, всякая модель, для которой существует нумерация, делающая ее конструктивной) изоморфна данной. [12]

Анализ статистических характеристик производственных процессов позволяет построить конструктивные модели и использовать их в оперативном управлении. [13]

Это предложение показывает, что для класса конструктивных моделей несправедлив аналог теоремы о расширении. [14]

Докажем ряд полезных утверждений о ( сильно) конструктивных моделях. [15]

Страницы: 1 2 3