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