Cтраница 1
Формализованные записи об изменениях являются основным источником информации об изменениях в инфраструктуре, которая используется для обновления Конфигурационной Базы Дагшых. [1]
А это и есть формализованная запись третьего закона Кеплера: квадраты периодов обращения планет пропорциональны кубам больших осей их орбит. [2]
Таблица состояний представляет собой формализованную запись условий работы системы. В таблицу заранее заносят все возможные комбинации входных сигналов, а затем в соответствии с требованиями к конкретной системе управления для каждой комбинации записывают значение выходного сигнала. В тех случаях, когда в системе управления какая-то конкретная комбинация входных сигналов не встречается, для этой комбинации можно не проставлять значения выходного сигнала. [3]
Информационный массив фактографической АСИС составляется из формализованных записей ( сильно типизированных данных), например, записей базы данных или электронных таблиц. [4]
Введенные выше обозначения позволяют разобраться в формализованной записи задачи, из которой следует, что будет отыскиваться оптимальная программа работы цеха в условиях ограниченных производственных ресурсов; критерием оптимальности является максимум прибыли. [5]
Рассматриваются вопросы снижения размерности задачи и упрощения формализованной записи. [6]
В автоматизированных информационных системах, основанных на формализованной записи сведений, широко используются понятия, выраженные отдельными словами и именными словосочетаниями. В именных словосочетаниях главным словом ( основным носителем смысла) является, как правило, первое слева существительное, а остальные слова служат для уточнения значения главного слова. [7]
Таким образом, ( 2) представляет формализованную запись ПМИА на высшем уровне. Переход на структурно-вычислительный уровень предполагает уточнение каждого оператора. [8]
Знакомство с введенными выше обозначениями позволяет разобраться в формализованной записи задачи, из которой следует, что будет отыскиваться оптимальная программа работы цеха в условиях ограниченных производственных ресурсов: критерием оптимальности является максимум прибыли. [9]
Разработка подобной человеко-машинной системы требует в первую очередь удобной формализованной записи учебных программ, обеспечивающей возможность их ввода в память ЭВМ. [10]
Таблица логических условий ( таблица 14) представляет собой формализованную запись исходных условий. [11]
Черный ящик ( схема к рассматриваемому примеру. [12] |
Таблица логических условий ( таблица 15) представляет собой формализованную запись исходных условий. [13]
Таблица логических условий ( таблица 14) представляет собой формализованную запись исходных условий. [14]
В отличие от обычных программ для ЭВМ, представляющих собой формализованную запись некоторой процедуры ( процедурального знания, как говорят специалисты в области искусственного интеллекта), интеллектуальные программы должны опираться на знания о проблемной среде, которые хранятся в памяти ЭВМ в виде декларативных знаний. Только такое разделение знаний на две составляющие способно обеспечить построение конкретных процедур с помощью метапроцедур, работающих над знаниями о той предметной области, которая доступна ЭВМ. [15]