Cтраница 2
Пусть существует относительная изоморфная и рекурсивная интерпретация ф рекурсивно совершенной модели Ж Af; Рх. [16]
Покажите, что локальная стратифицируемость не является необходимым условием существования совершенной модели. [17]
Теорема 11.6. Если множество S локально стратифицируемо, оно имеет единственную совершенную модель. [18]
Более того, часто оказывается, что для практики целесообразнее пользоваться менее совершенной моделью, отражающей только отдельные черты оригинала и совсем непохожей на оригинал с других точек зрения. [19]
Заметим, что стратифицируемость является достаточным, но не необходимым условием существования единственной совершенной модели. [20]
Дейталога 1 Р, которая не является локально стратифицируемой, но имеет совершенную модель. [21]
![]() |
Сечения рештаков основных типов конвейеров. [22] |
Конвейеры, предусмотренные ГОСТом, являются итогом анализа и отбора наиболее прогрессивных образцов и установления параметров наиболее новых и совершенных моделей, подлежащих освоению. [23]
В 1946 - 1948 гг. автомобильная промышленность, не прекращая производства автомобилей, перешла к выпуску автомобилей НСЕЫХ совершенных моделей, наиболее полно отвечающих растущим требованиям народного хозяйства. [24]
Поэтому, как правило, уравнения, связывающие кинетические параметры со свойствами среды, базируются на более или менее совершенных моделях, учитывающих ограниченное число факторов. [25]
Даже при наличии вполне устойчивой организационной структуры, правил и реакций людей, определяющих главные динамические характеристики системы, нельзя представить себе столь совершенную модель, чтобы в ней была бы доподлинно известна любая взаимосвязь. Поэтому приходится иметь дело с моделями, в которых каждая функция решения, по крайней мере в принципе, содержит шум или некоторый неопределенный компонент. Истинная природа этого шума неизвестна, первопричина его не обнаружена. Мы можем иметь лишь данные о его величине и некоторые статистические характеристики. Компоненты шумов используются в модели так же, как и другие ее составные части. Структура и характеристики модели определяют природу ее реакции на эти шумы. [26]
Их метод расширяет подход, основанный на стратификации, для произвольных логических программ с отрицанием. Эти модели совпадают с совершенными моделями, рассмотренными в разд. [27]
Любая математическая модель приближенно описывает технологический процесс. На практике целесообразно пользоваться менее совершенной моделью, отражающей основные характеристики стороны процесса для данной внешней ситуации. Один и тот же процесс в различных ситуациях следует описывать с помощью различных моделей. [28]
Тогда множество Р и Е имеет единственную совершенную модель, которая совпадает с моделью М, определенной в разд. [29]
Однако ясно, что такая модель не может содержать в себе все характерные черты моделируемого явления или объекта. Из истории науки нам известно, что совершенных моделей не существует. Ни абстрактная модель, воспроизводящая идею, ни материальная модель из пластмассы и проволоки не может полностью отвечать действительности. Поэтому мы пробуем разные модели, чтобы посмотреть, насколько хорошо они выражают реальные явления и процессы. [30]