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