Формализация

Предлагаемая читателю монография представляет восьмую книгу в единой серии работ авторов под общим названием Системный анализ процессов химической технологии , выпускаемых издательством Наука с 1976 г. Семь предыдущих монографий 1. Основы стратегии, 1976 г. 2. Топологический принцип формализации, 1979 г. 3. Статистические методы идентификации объектов химической технологии, 1982 г. 4. Процессы массовой кристаллизации из растворов и газовой фазы, 1983 г. 5. Процессы измельчения и смешения сыпучих материалов, 1985 г. 6. Применение метода нечетких множеств, 1986 г. 7. Энтропийный и вариационный методы неравновесной термодинамики в задачах анализа химических и биохимических систем, 1987 г.) посвящены отдельным вопросам теории системного анализа химико-технологических процессов и его практического применения для решения конкретных задач моделирования, расчета, проектирования и оптимизации технологических процессов, протекающих в гетерогенных средах в условиях сложной неоднородной гидродинамической обстановки. [c.3]

Для специалиста по ТРИЗ азбучная истина нельзя принимать на веру формулировку, в которой предлагают задачу. В письме упоминаются активизация творческого процесса, формализация, использование ЭВМ, создание автоматизированного рабочего места для художника...Клубок проблем Между тем задача должна содержать только одну проблему, но — центральную, изначальную, ключевую. В письме эта проблема даже не названа... [c.37]

Для того чтобы приблизиться к их формализации языка первого порядка L, следует допустить, что L снабжен списком определителей, которые являются условиями с одной свободной переменной (многоместные случаи мы здесь не учитываем), причем с каждым из определителей связан список дескрипторов. Так, условие <а — цвет будет определителем, а связанными с ним дескрипторами будут выражения сс — красный , X — красновато-коричневый и т. д. Естественно дополнить наше определение интерпретации требованием, согласно которому предполагаемая интерпретация М является интерпретацией только в том слу- [c.86]

Цель автоматизированного проектирования. Непременные условия научно-технического прогресса в промышленности — повышение эффективности и качества вновь разрабатываемого оборудования, резкое сокращение сроков создания новых машин и, в частности, этапа их проектирования. Важнейшим средством достижения этой цели является использование систем автоматизированного проектирования (САПР). Применение САПР рационально при проектировании сложных технических объектов, которыми, в частности, являются технологические линии химических производств и отдельные агрегаты, входящие в эти линии. Сущность этого метода проектирования заключается в систематическом применении ЭВМ в процессе проектирования при научно обоснованных распределении функций между проектировщиком и ЭВМ и выборе методов машинного решеиия задач. Таким образом, речь идет о сочетании труда человека при решении творческих задач с работой машины, за которой закрепляют решение тех вопросов, которые поддаются формализации. Использование вычислительной техники резко сокращает затраты времени на сбор исходной информации и позволяет проводить параметрический, а в некоторых случаях и структурный синтез с высокой надежностью и точностью, поскольку можно отказаться от упрощений, вводимых при традиционных методах расчета. В САПР каждую задачу проектирования решают как оптимизационную, т. е. 35 [c.36]

Задачи, решение которых пока не поддается полной формализации. [c.103]

В последние годы в Советском Союзе издан ряд книг по вопросам математического моделирования, расчета и оптимизации химических реакторов. Тем не менее, перевод и издание монографии Р. Ариса, крупного американского специалиста в этой области, представляется весьма целесообразным. Предлагаемая читателю книга отличается от других книг этого направления тем, что в ней с максимальной последовательностью проводится строгий математический подход в постановке и решении рассматриваемых задач. Некоторое абстрагирование от излишних физических и химических деталей предмета и четкая формализация проблемы представляются особенно необходимыми сейчас, в период становления научных основ проектирования и эксплуатации химических реакторов и отхода в этой области техники от чисто эмпирических методов. Вероятно, наибольшую ценность такой подход имеет при обучении студентов и аспирантов, для которых автор и предназначает свою книгу. [c.5]

Формализация задачи моделирования [c.104]

Особенности исследуемого объекта — многочастичные совокупности — обусловили способ формализации задачи вероятностно-статистическое моделирование. [c.104]

Проблемные и непонятные, малосодержательные вопросы намеренно не подвергаются формализации тот тип вопросов, с которыми мы будем иметь дело, связан, скорее, с поиском определенной порции информации. Поэтому такие на вид простые вопросы, как /(то тот человек, что живет рядом у>, не рассматриваются. Хотя этот вопрос внешне напоминает информационно-поисковый, размышление над ним приводит к выводу, что здесь очень сложно заранее предугадать, какой бы тип ответа удовлетворил спрашивающего хочет ли он узнать имя человека или получить ответ в форме дескрипции. Если в форме дескрипции, то должна ли та включать в себя информацию [c.22]

В течение некоторого времени мы занимались такого рода логической деятельностью, хотя вначале возникла теория доказательств и лишь впоследствии — семантика. История вопроса примерно такова. Довольно давно, в 1962 г., А. Андерсон и я предложили рассмотреть группу выводов, которые мы назвали тавтологическими следствиями, т. е. группу, включающую в себя все разумные выводы (содержащие связки , V. ). которые всякий психически нормальный и достаточно тренированный логик хотел бы сделать. Мы построили различные формализации этих выводов в виде теории доказательств и показали, что восьмизначная матрица достаточна для того, чтобы охарактеризовать эти выводы семантически. [c.225]

Существенной особенностью современных научных методов исследования сложных процессов и систем является ф о р м а л и -3 а ц и я их анализа при помощи математических моделей и составления набора правил-алгоритмов, описывающих изменение состояния изучаемой системы. Инженеру-химику необходимо овладеть этой формализацией, абстрагированием от частностей, для общения со специалистами других более узких специальностей. [c.9]

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

Для формализации понятий средств, результатов и связи между ними вводятся множество альтернатив X = хх, Х2,. . , и множество исходов А — а , а , ч о-г)- Зависимость исходов от альтернатив есть формальное отражение связи средств с результатами. Разные способы связи определяют разные зависимости исходов от альтернатив [17, 18], например 1) каждая альтернатива приводит к единственному исходу 2) каждая альтернатива может привести к одному из нескольких исходов, каждый из которых имеет определенную вероятность появления, т. е. речь идет о стохастической зависимости исходов от альтернатив 3) каждая альтернатива приводит к одному исходов, причем нет никакой (даже стохастической) связи исходов с альтернативами. [c.33]

Такие словесные описания формализуются нечеткими бинарными отношениями и Ях., = 1, / = 1> п, 1 ф ]), где У — прогнозируемая активность. В том случае если выбранные свойства катализатора являются независимыми , то связи между отдельными входными параметрами Ях., х. (1 ф ) должны отсутствовать. Формализация нечетких отношений выполняется [c.109]

Систематизация и формализация знаний о процессе на зерне катализатора [c.149]

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

Уровень требований к расчету и проектированию промышленного оборудования для осуществления контактно-каталитических процессов, интенсивное развитие вычислительной техники и расширение областей ее применения оказывают существенное влияние на задачи математического моделирования гетерогенно-каталитических процессов они становятся намного сложнее, а их решение требует введения новых понятий, методов и средств реализации. Изменяется и сам подход к решению задач математического моделирования. Если до недавнего времени исследователь ставил задачу, исходя из физической сущности каталитического процесса, а затем представлял ее решение математику-вычислителю, то теперь традиционное разделение труда исследователя-химика и математика-вычислителя меняет свой характер, приобретая качественно новые формы. Последнее связано с тем, что построение расчетной модели гетерогенно-каталитического процесса настолько тесно переплетается с разработкой вычислительного алгоритма, что отделить эти стадии друг от друга зачастую невозможно. Для математического моделирования в настоящее время характерна машинно-ориентированная формализация и автоматизация как самой постановки задачи, так и всех процедур, связанных с ее реализацией на ЭВМ. [c.219]

Знания высококвалифицированного специалиста делятся как бы на две части. Одна из них легко описывается словами, и получить ее более или менее легко. Конечно, при этом необходимо уметь представлять в ЭВМ знания, содержащиеся в монографиях, статьях, отчетах и другой научной литературе,— написание статей и книг есть привычный способ овеществления знаний, отчуждения их от носителя и передачи другим специалистам. В настоящее время есть реальные успехи в переводе книжных знаний на языке ЭВМ, что представляет собой одну из ветвей разработок в области искусственного интеллекта [8]. Однако часто значительно большую ценность имеет другая часть знаний специалиста экстракласса — его профессиональная интуиция, опыт, которые трудно выразить словами и которые никак не могут быть зафиксированы. Задача получения такой информации для построения базы знаний ЭС значительно сложнее и требует выработки специальной системы формализации знаний, которая позволяла бы получать и активно использовать эту информацию. В настоящее время хорошо отработанных систем формализации знаний такого рода не существует, хотя некоторые подходы есть. Кратко остановимся на одном из них, в разработке которого принимали участие авторы данной монографии и которому была посвящена отдельная монография из серии Системный анализ процессов химической технологии [9]. [c.225]

В этой работе авторы поставили перед собой задачу построения элементов интеллектуальной системы, позволяющей преодолеть смысловой барьер между пользователем ЭВМ (химио-технологом, т. е. специалистом экстра-класса в своей узкой области) и матема-тиком-программистом. Проблема состояла в том, как при моделировании процесса на ЭВМ сохранить первичную, наиболее ценную содержательную физико-химическую информацию о процессе, которой обладает специалист в своей области, и как с наименьшими потерями этой информации оперативно преобразовать ее в форму строгих количественных соотношений. В работе [9] была сделана попытка создать своеобразный смысловой транслятор, облегчающий исследователю переводить его понятия о физикохимической сущности процессов в форму строгих математических описаний. Этот смысловой транслятор основан на диаграммной технике, позволяющей любое физическое, химическое, механическое, электрическое, магнитное явление и их произвольное сочетание представлять в виде соответствующего диаграммного образа, несущего в себе строгий математический смысл. Построенная на этой основе, реализованная на ЭВМ и действующая в настоящее время система формализации знаний позволяет 1) предоставить возможность исследователю-пользователю формулировать описание процесса не в форме точных математических постановок, [c.225]

Однажды на моем рабочем столе оказалось письмо, в котором сухо и деловито — без упоминания об Аэлите — излагалась проблема. Нашему проектно-конст-рукторскому институту предложена тема — разработать и внедрить систему автоматизированного проектирования (САПР) для ювелирного завода. Цель состоит в том, чтобы помочь ювелиру-художнику создавать новые изделия... Далее следовала просьба нельзя ли использовать теорию решения изобретательских задач для активизации и формализации творческого процесса создания конструкции в диалоговом режиме на графическом дисплее из автоматизированного рабочего места (АРМ) в союзе с мощной ЭВМ . [c.36]

С позиций системного подхода математическое моделирование можно рассматривать как итеративный процесс, протекающий в три этапа I) формализация изучаемого процесса - составление математического описания его модели 2) разработка алгоритма, моделирующего изучаемый процесс 3) установление адеква 1 ности модели изучаемому объекту. Метода математического моделирования позволяют исследовать различные варианты аппаратурного оформления процесса, изучить его основные особенности и вск нль резервы усовершенствования. При этом всегда гарантируется отыскание оптимальных решений в рамках используемой математической модели. [c.7]

Berlin — Heidelberg — New York, 1978). Таким образом, неклассические логики являются необходимыми средствами формализации различных аспектов теории вопросно-ответных отношений. [c.11]

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

При формализации мы также руководствовались стремлением учитывать определенные разновидности полноты мы хотим, чтобы интеррогативы были пригодны для имитации каждого возможного вопроса и чтобы на каждый вопрос можно было получить каждый возможный ответ . Как показал Харро [1969 Ь] с помощью канторовского диагонального метода, в полном объеме этого нам достичь не удастся, но хотелось бы надеяться, что мы сможем задать любой элементарный вопрос и ответить на него. [c.76]

Чхенкели Т. И. О формализации дескрипторных информационно-поисковых систем средствами многосортных логик.— Семиотика и информатика, 1979, 14, с. 32—43. [c.269]

Иначе говоря, следуя формализации Г. Шеффе] [14], при наличии вектора отклика у, необходимо соответственно рассмотреть для N экспериментов распределения У(гух1) р, о Е) (дисперсионный анализ), y vxl [c.196]

Для формализации данногй подхода можно ввести дополнительный функционал Фг = 2 (0) и тогда за- [c.206]

Качественное различие типов изомерии цо видам Преодолеваемых при изомеризаций препятствий (структурная изомеризация — через разрыв связей, геометрическая — через изменение валентных углов, конформационная — через измененре торсионных углов), положенное возглавляемой И. Уги (ФРГ) международной группой теоретиков в основу формализации логических структур химии (1976 г,), такж(> неприемлемо. Например, проходящая с низким. барьером инверсия пирамидального атома азота в аммиаке входит в сферу конформационного анализа, при этом. [c.135]

Упомянутые теории, рассматриваемые как системы взаимосвязанных причинно-следственных логических выводов строгого п эвристического характера, базирующиеся на некоторых фундаментальных исходных концепциях, носят, как правило, нечеткий, т. е. нестрогий, характер, поэтому сети логических выводов различных теорий могут перекрываться и взаимно дополняться. С этой точки зрения актуальным становится создание разветвленной базы знаний и комплекса экспертных систем, позволяющих с позиций концепции искусственного интеллекта вводить формализацию логических выводов, осуществлять анализ их соответствия физике явлений и проводить сравнение различных теорий для объяснения и прогнозирования тех или иных свойств контактнокаталитических систем. [c.11]

После проведения микро- и макрокинетических исследований химико-технологического процесса и его математической формализации осуществляют собственно математическое моделирование процесса на ЭВМ. Коэффициенты уравнений математической модели процесса находят п корректируют непосредственно на укруп- [c.29]

Пусть активность катализатора в данной реакции определяется некоторыл набором его свойств. Рассмотрим постановку задачи прогнозирования каталитической активности в соответствии с терминологией математического аппарата нечетких множеств. В этой трактовке множество Х1 (г = 1, п) состоит из п характерных признаков катализатора, определяющих скорость рассматриваемой реакции (например, — плотность, — его цвет и т. д.). Каждый из этих признаков представляет собой лингвистическую переменную, имеющую свои множества множество лингвистических значений ( = 1, I = 1, "1). где т — количество значений для -го параметра, каждое из которых является нечетким множеством (например, для параметра х лингвистическими значениями могут быть такие термины, как МАЛАЯ , СРЕДНЯЯ , ВЫШЕ СРЕДНЕЙ и т. д.) и универсальное множество и , г = 1, и (ее количественный диапазон изменения) численных значений. Множество 6" обычно задается в виде 1/1 = иц 2 + + + + где к — количество элементов этого множества, а знак -Н обозначает не арифметическую сумму, а объединение Элементы р ( = 1, тг р = 1, /с) являются базовыми значениями для лингвистической переменной Формализация лингвистических значений (нечетких множеств) Qil осуществляется заданием вида функции степеней принадлежности llQ игр), где — р-й элемент универсального множества / . Функция ( р) каждому элементу и р Ь I ставит в соответствие число из интервала [О, 1], указывающее, с какой степенью элемент относится к нечеткому множеству Qil. Например, [Хмал (4) = 0,7 означает, что число 4 можно отнести к лингвистическому значению малое со степенью 0,7. Аналогично для прогнозируемого параметра (активности) имеем I = 1, та) — множество лингвистических значений, которые может принимать параметр У UY = Ух + + Уг + Л- Уу универсальное множество, где Ур (р = [c.109]

Следующим шагом первого этапа является формирование словаря (т. е. лингвистических значений для каждого параметра) и формализация терминов этого словаря. Одним из главных вопросов прп этом является задание функций степеней принадлежности, так как от того, насколько верно заданы эти функции, зависит в конечном итоге достоверность получаемой оценки активности исследуемого катализатора. Существует неско.т1ько способов задания функций степеней принадлежности [95]. В данном примере эксперту было предлоа оно задавать их в виде функции [c.111]

График этой функции представлен на рис. 2.14, а. Элементы универсального множества щр s Г (i = 1, /г1 р = 1, к) лингвистической переменной x i = = 1, п, откладываются на оси абсцисс, а значения функции степени принадлежности i4p) U = Ь I = i, ш, р = 1, к) — по осп ординат. Абсциссе, равной с /, соответствует значение (сц) = 1, величиной аи (/ = 1, п", I = 1, т) задается участок, на котором значение (щр) = 1. а величиной Ьц — участок, на котором функция u p) изменяется синусоидально от О до 1. Таким образом, для формализации лингвистических значений эксперту необходимо задать значения сц, ац, Ьц (i = 1, п, I = 1, т). Словарь терми-нов Qii II соответствующие им значения с, , ац, Ьц для параметров. г ( = 1, re) и У цредставлены табл. 2.5, а вид функции (uip) и (Ур) — на [c.111]

Нет смысла более подробно останавливаться на деталях данной системы формализации знаний, поскольку они подробно освещены в отдельном издании настоящей серии по системному анализу процессов химической технологии [9]. Отметим только, что этот подход основан на формулировке обобщенной системы уравнений переноса массы, энергии, импульса, момента импульса, электрического и магнитного заряда с учетом всех возможных видов превращений вещества и энергии (исключая внутриатомные), преобразовании обобщенной системы уравнений переноса с помощью локального варианта уравнения Гиббса, получении на этой основе обобщенной диссипативной функции физико-химической системы, декомпозиции обобщенной диссипативной функции на все возможные виды диссипации энергии, введении диаграммной символики для каждого вида диссипации и дополнении этой символики диаграммным изображением сопутствующих явлений недиссинатив- [c.226]

Проектирование промышленного контактно-каталитического агрегата включает в себя значительную долю элементов творческого процессса, который не может быть полностью формализован. Поэтому современная система автоматизированного проектирования (САПР) должна быть ориентирована на работу в режиме диалога с проектировщиком-человеком при активном использовании банка интеллектуальных знаний. Такой диалог возникает в ситуациях, которые не поддаются формализации или их формализация недостаточно эффективна. Режим интеллектуального диалога проектировщик—ЭВМ важен и потому, что оценивание большинства конструкторских разработок промышленного реактора производится проектировщиком сразу по нескольким критериям технологическим, экономическим, энергетическим, экологическим и т. п. Ясно, что при таком оценивании роль опыта, интуиции проектировщика приобретает исключительно важное значение. Выбор оптимальной конструкции контактного агрегата происходит в режиме диалога ЛПР—ЭВМ, в процессе которого в систему поступает дополнительная неформальная информация от лица, принимающего решение [24]. [c.266]

Справочник химика 21

Химия и химическая технология