Логическая модель

Cтраница 3

В рамках логической модели знания представляются в системе логики предикатов первого порядка. Приведенные ниже примеры являются логическими моделями представления фактов ( в данном случае - Петров посещает лекции и Петров - студент) с помощью предикатов и носят название атомарной формулы. [31]

Для построения логической модели системы должна быть задана ее функциональная схема, каждому блоку которой ставится в соответствие совокупность логических блоков таким образом, чтобы выходной сигнал каждого логического блока характеризовался только одним параметром. Оценку технического состояния объекта производят на основе допускового метода контроля. [32]

В качестве простейшей логической модели, раскрывающей данные взаимосвязи, лучше всего подходит описание экономической ситуации в торговле. Предприниматель получает выручку от продаж. При этом появляются зависящие от выручки затраты в виде комиссионных, скидок, бонусов и сконто. После вычитания этих величин из выручки остается чистая выручка. При закупке товара у предпринимателя затраты тем больше, чем больше он продает. Чем выше объемы продаж, тем выше затраты на реализацию, связанные с поставками. Закупочные цены товара являются в торговом бизнесе пропорциональными, или предельными, затратами. Как результат превышения чистой выручки над затратами приобретения реализованной продукции возникает сумма покрытия, часто называемая в торговле валовым доходом. Предприниматель покрывает за счет сумм покрытия прежде всего постоянные затраты, такие, как аренда магазина, затраты на оплату труда персонала, канцтовары, амортизация и проценты. После того как он покроет эти затраты, оставшаяся сумма покрытия образует прибыль. [33]

При построении логической модели состояния технологического процесса задачу АСТД предлагается решать в две стадии. [34]

Сетевое моделирование - логическая модель, используемая как метод планирования и управления в условиях неопределенности. [35]

Понятно, что атомарная логическая модель не была для него, по сути, описанием реального языка. И все же Рассел и Витгенштейн считали эту модель идеальным выражением глубочайшей внутренней основы языка. [36]

В процессе создания логической модели автоматизированные процедуры формируют определенные отчеты. [37]

Построение отношений по ассоциациям типа М.| Композиционная модель. [38]

В окончательный вариант логической модели не включаются те из построенных отношений, которые являются подмножествами ( проекциями) других построенных отношений. [39]

Процедура определения структуры логической модели должна иметь средства для получения из словаря отредактированной информации о неструктурированных элементах данных, представленных в виде поименованных совокупностей ( локальные представления), таким образом, чтобы построение композиционной модели происходило обычным способом. [40]

В силу этих причин логическая модель знаний получила широкое распространение в системах логического вывода. В дальнейшем будут рассматриваться знания, представленные именно логическим способом. [41]

В области информации разработана логическая модель информационной системы, ориентированная на использование компьютеров. Эта модель постепенно заполняется конкретным материалом. Собрана информация о потоках угля, железорудных концентратов и частично - о потоках сырья для производства минеральных удобрений. [42]

Безусловно, на основе логической модели можно решать и другие задачи, например задачу вывода всех возможных ( как правильных, так и неправильных и неосмысленных) следствий из некоторых посылок. Практически это очень полезно, так как позволяет, например, обыграть все возможные неправильные истолкования некоторого документа, уточнить терминологию, исключить дублирование определений, найти противоречия, тавтологии в определениях. [43]

Очевидно, если инерционность логической модели не учитывается, то изменение ул будет одновременным с изменением хл и моделировать цифровую часть нужно не на каждом интервале hn, a лишь в случае изменения хл, устанавливаемого по результатам схемотехнического моделирования. [44]

Связи между системами в логической модели называются физическими соединениями. [45]

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