Cтраница 2
Формализация, во-первых, позволяет единообразно решать задачи из самых различных областей. Во-вторых, формализованные задачи приспособлены для решения на электронно-вычислительных машинах. Применение вычислительной техники обеспечивает возможность перебора большого числа вариантов и выбора из них наилучшего. Поэтому формализация приводит к резкому повышению эффективности процедуры решения задачи. [16]
Формализация этих расплывчатых предписаний осуществляется в соответствии с [44] на основании использования функций принадлежности. [17]
Формализация этих двух требований приводит к следующему определению. [18]
Формализация этих дополнительных требований не встречает трудностей. R) этим условиям удовлетворяет. [19]
Формализация в данном случае заключается в преобразовании неформального описания обобщенной модели в схему и набор алгоритмов, обладающих повышенной наглядностью, обозримостью. Формальное описание может сопровождаться комментарием на естественном языке и осуществляется пользователем. [20]
Формализация самих законов оптимального управления в виде соответствующих алгоритмов, представляющих собой математически строгое решение задачи управления, является одной из труднейших проблем современной науки из-за их большой размерности, отсутствия универсальных математических методов решения и ограниченных возможностей вычислительных машин. [21]
Формализация и отыскание метода решения задач управления производством являются наиболее сложными научно-техническими проблемами, разработка которых под силу только коллективам высококвалифицированных специалистов - математиков, программистов, инженеров в области управления и др. В настоящий момент уже при решении проблем управления крупными агрегатами, не говоря уже о более высоких ступенях иерархии, выполнение работ должно проводиться в специализированных институтах и в тесном содружестве технологических, конструкторских и системотехнических организаций. [22]
Формализация и стандартизация означают четкое однозначное содержание и формы представления результатов отдельных работ, выполняемых функциональными, специализированными группами разработчиков, выдачу документов в единой стандартной форме, учитывающей требования каждой группы. [23]
Формализация - уточнение содержания познания, осуществляемое посредством того, что изучаемым объектам, явлениям, процессам данной области действительности определенным образом сопоставляются некоторые материальные конструкции, обладающие относительно устойчивый характером и позволяющие в силу этого выявлять и фиксировать существенные и закономерные стороны рассматриваемых объектов. Однако это огрубление является необходимой стороной процесса познания. [24]
![]() |
Структурная схема системы, реализующей принципы ситуационного управления. [25] |
Формализация и алгоритмизация процесса поиска и принятия решения оператором в простых случаях 1 и 2 может быть проведена методами и аппаратом математической логики. [26]
Формализация сводится к описанию на формальном языке общей теории систем трех основных концепций иерархических систем. [27]
Формализация всегда предполагает содержательный подход, важность которого нисколько не снижается от того, что с проникновением в данную область знания кибернетики, математики и логики формализация ( в ее современных видах) начинает играть в них все большую роль. Следует также подчеркнуть, что именно математическая логика и кибернетика делают таким актуальным философский, гносеологический вопрос о познавательном значении и пределах формализации в различных естественных науках. [28]
Формализация, Метод аксиоматический), становится в ряде случаев предметом точного ( пользующегося матем. Следует, впрочем, отметить, что не всякое понятие II. С др. стороны, ряд результатов, важнейшим из к-рых безусловно является теорема Геделя о неполноте ( и непополнимости) формальной арифметики ( в этой связи весьма важны также результаты Черча и Тарского), послужили одним из стимулов к поискам более широких средств формализации науч. Изоморфизм, Категоричность системы аксиом), имеют разнообразные приложения, чем и определяется их науч. [29]
Формализация - уточнение содержания познания, осуществляемое посредством того, что изучаемым объектам, явлениям, процессам данной области действительности определенным образом сопоставляются некоторые материальные конструкции, обладающие относительно устойчивый характером и позволяющие в силу этого выявлять и фиксировать существенные и закономерные стороны рассматриваемых объектов. Однако это огрубление является необходимой стороной процесса познания. [30]