Возможность - формализация - Большая Энциклопедия Нефти и Газа, статья, страница 3
Если тебе трудно грызть гранит науки - попробуй пососать. Законы Мерфи (еще...)

Возможность - формализация

Cтраница 3


Каждый из этих конфликтов многомерен, содержит в себе не один, а несколько кризисов и противоречий, каждый уникален по своему характеру. Переговоры, консультации, посредничество, соглашения и т.п. средства урегулирования обнаруживают здесь свою весьма низкую эффективность. Их действенность определяется возможностями формализации конфликта, придания ему официального статуса, четкого определения его причин и идентификации бесспорных легитимных представителей сторон - то есть как раз тем, что, как правило, оспаривается участниками рассматриваемых конфликтов. Отсутствует ясность и относительно протагонистов конфликтов, их главных действующих лиц. Боевики, мафиозные группировки, сепаратисты, бандформирования и т.п. термины отражают не столько понимание проблемы, сколько ее эмоциональное восприятие.  [31]

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

Освещены аналитические аспекты молекулярной масс-спектрометрии с использованием электронного удара. Основное внимание уделено методам, основанным на взаимодействии ионов с молекулами исследуемого соединения при повышенном давлении в ионном источнике. Рассматривается также ионизация ускоренными атомами и другие виды десорбционной масс-спектрометрии. Обсуждается возможность формализации закономерностей образования масс-спектров, полученных нетрадиционными методами, и установления полуэмпирических правил для разработки методов качественного и количественного анализа в сочетании с новейшими приемами вычислительной техники.  [33]

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

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

Так был создан классический язык структурной химии, столь привычный и естественный в настоящее время. Возможность формализации на его основе химических объектов ( молекул) с помощью математических объектов ( графов) позволяет использовать методы теории графов для определения числа различных изомеров. Это обстоятельство позволило блестящему английскому математику Кэли еще в 1874 г. решить классическую задачу структурной химии о перечислении изомеров углеводородов, что является первым известным примером применения математических методов к исследованию изомерии.  [36]

III выполнен анализ процесса проектирования, в гл. XIV изучены его особенности, определен объем и содержание проекта, в гл. XIX и XX рассмотрена возможность формализации процесса проектирования, в гл.  [37]

Читатели, знакомые с теорией рекурсивных функций, без труда увидят, что наши теоремы принадлежат этой теории и легко могут быть переведены на ее язык. Ввиду этого доказательства получают двоякое значение. С другой стороны, их можно рассматривать как указания, исходя из которых, можно теоремы, сформулированные на языке теории рекурсивных функций, доказать формально средствами этой теории. Такие формальные доказательства не приводятся, чтобы не отвлекать читателя от содержания работы. Однако возможность формализации ясна всякому, кто знаком с теорией рекурсивных функций.  [38]

Второй способ упрощения, являющийся разновидностью первого, состоит в том, что число пространственных координат сокращается до одной. В качестве модели развития процессов переноса в направлении отброшенных координат принимаются эмпирические закономерности. Численные значения коэффициентов критериальных уравнений определяются на основе обработки экспериментальных данных или данных имитационного моделирования задач, полученных в приближениях пограничного слоя, с привлечением теории размерностей и подобия. Уравнение движения 3) в системе (2.2.1) исключается, а осевая скорость движения среды усредняется по сечению аппарата. Данный метод нашел широкое применение в инженерном подходе к моделированию теплообменных и мас-сообменных аппаратов и представляется нам едва ли не единственным при построении полных математических моделей динамики объектов химической технологии. Его преимущества видятся не только в том, что при принятых посылках относительно просто достигается численная реализация математического описания, в котором учитываются причинно-следственные связи между звеньями и их элементами, но и в том, что открывается возможность формализации процедуры построения открытых математических моделей химико-технологических аппаратов. Эта процедура может быть выполнена в виде следующего обобщенного алгоритма.  [39]



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