Логическая модель процесса

Глава 4 ЛОГИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССА ПОИСКА ИНФОРМАЦИИ [c.64]

Алгоритм управления процессом имеет следующий вид. Пусть В а, v), ГВ Ь, V) —соответственно предикаты, выражающие готовность аппаратов а н Ь к транспорту вещества, классифицируемому как некоторое взаимодействие. Рассмотрим логическую модель процесса взаимодействия двух последовательно соединенных технологических аппаратов периодического действия (см. рис. 2.21, а). Пусть по мере готовности в аппарате Л промежуточный продукт должен передаваться в аппарат А-2. Взаимодействие аппаратов Л и Лг начинается тогда, когда открывается клапан k[ иа выходе аппарата А и закрывается клапан /го иа выходе аппарата Л2- [c.140]

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

Предложенной логической модели процесса горения и принятым допущениям отвечает математическая модель в виде системы нз следующих дифференциальных уравнений [Л. 51]. [c.350]

Математические модели основных технологических процессов имеют вид конечных, дифференциальных, интегральных или интегрально-дифференциальных уравнений их построение требует значительных затрат труда и в исследуемых системах далеко не всегда оказывается возможным, что обусловлено отсутствием необходимой информации о процессе, сложностью и существенной нестационарностью. При затруднении или невозможности построения адекватной математической модели технологического процесса в виде упомянутых классов уравнений используют либо статистические модели (уравнения регрессии того или иного вида), либо так называемые информационно-логические модели. Деятельность обслуживающего персонала по эксплуатации ГАПС является предметом эвристического моделирования. [c.44]

Логические модели. Удобным средством моделирования процесса смены функциональных состоянии технологических аппаратов периодического действия является математическая логика [24], [c.114]

Логико-вероятностные модели надежности ХТС представляют собой некоторые логические выражения, которые отображают влияние отказа каждого элемента на отказ всей системы [1, 204]. При использовании логико-вероятностных моделей процессы функционирования сложной системы в отношении надежности описываются при помощи функций алгебры логики (ФАЛ) [204]. ФАЛ — это логические функции, принимающие только двоичные значения и определяемые различными наборами двоичных аргументов, которые могут находиться также только в двух несовместных состояниях (0У1). Для количественной оценки показателя надежности системы используются операции отображения ФАЛ через вероятности состояний элементов с применением теории вероятностей. Эти модели, как правило, используют для исследования надежности систем, находящихся только в двух дискретных состояниях. Однако эти модели могут быть применимы и для исследования систем, процесс функционирования которых, как и их составных элементов, отображается непрерывным или дискретным множеством состояний [204]. [c.159]

Указанное определило необходимость системного подхода к автоматическому управлению. Основы этого подхода заложены в кибернетике — науке об управлении в широком смысле этого слова. Если ручное управление базировалось на логических моделях, рожденных опытом и носивших субъективный характер, то совершенное автоматическое управление, естественно, должно базироваться на объективных представлениях, основанных на природе происходящих процессов. Таким образом возникла необходимость в математическом описании -- -процессе нахождения взаимной связи между параметрами того или иного процесса. Математическое описание реального процесса или схематического представления о нем на основе упрощенной физической модели этого процесса получило название математической модели. Если возьмем реальный процесс и, не вникая в природу этого процесса, найдем опытным (экспериментальным или статистическим) путем связи между выходными и входными параметрами процесса, обычно легко измеряемыми, то можем получить математическую модель, пригодную для управления, однако в тех пределах изменения параметров, которые были предметом экспериментальных исследований. Полученная математическая модель называется функциональной и соответствует реальному процессу. Функциональная модель имитирует поведение объекта вне зависимости от его структуры. Недостаток подобных математических моделей заключается в невозможности анализировать влияние пара- [c.14]

Сетевой график представляет собой динамическую модель процесса разработки, контроля и аиализа выполнения определенной производственной программы. Его формируют в виде сети событий и работ. Событие — конечный результат какой-то работы и обозначается кружком, работа показывается стрелкой между двумя событиями, пунктирной стрелкой показываются логическая связь между работами (фиктивная работа) и время ожидания. Любая последовательность работ на графике со- [c.276]

Рис. VI- . Логическая схема построения математической модели процесса с учетом кинетики химических реакций.

Многоуровневый иерархический подход с позиций современного системного анализа к построению математических моделей позволяет предсказывать условия протекания процесса в аппаратах любого типа, размера и мощности, так как построенные таким образом модели и коэффициенты этих моделей позволяют корректно учесть изменения масштаба как отдельных зон, так и реактора в целом. Конечно, данный подход весьма непрост в исполнении. Чтобы сделать его доступным для широкого круга специалистов, необходимо сразу взять ориентацию на использование интеллектуальных вычислительных комплексов, которые должны выполнять значительную часть интеллектуальной деятельности по выработке и принятию промежуточных решений. Спрашивается, каков конкретный характер этих промежуточных решений Наглядные примеры логически обоснованных шагов принятия решений, позволяющих целенаправленно переходить от структурных схем к конкретным математическим моделям реакторов с неподвижным слоем катализатора, содержатся, например, в работе [4]. Построенные в ней математические модели в виде блоков функциональных операторов гетерогенно-каталитического процесса совместно с дополнительными условиями представлены как закономерные логические следствия продвижения ЛПР по сложной сети логических выводов с четким обоснованием принимаемых решений на каждом промежуточном этапе. Каждый частный случай математической модели контактного аппарата, приводимый в [4], сопровождается четко определенной системой физических допущений и ограничений, поэтому итоговые математические модели являются не только адекватными объекту, но обладают большой прогнозирующей способностью. Приведенная в работе [4] логика принятия промежуточных решений при синтезе математических описаний гетеро- [c.224]

С целью логического представления процессов, происходящих в электродной системе по электрической модели, напомним [c.72]

Давая ретроспективную оценку рассмотренных методов, нужно иметь в виду, что расхождение приборной точки росы с термодинамической исключало возможность построения логических закономерностей и математической модели процесса в целом, что послужило тормозом в развитии понимания вопроса. Вместе с тем метод Джонстона длительное время являлся единственным инструментом исследований сернокислотной коррозии и по сей день успешно применяется для рещения ряда задач прикладного значения. [c.250]

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

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

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

Логическая модель (кинетическая схема процесса). [c.650]

Функциональная модель предназначена для выявления последовательности операций в процессе проектирования. Детализированная функциональная модель системы (подсистемы) с учетом циркулирующей информации представляет собой общую логическую схему и может быть преобразована в алгоритм, т. е. в модель процесса проектирования, на основе которой составляются предложения по его автоматизации. Таким образом, моделирование позволяет построить процесс проектирования так, чтобы он был рационально организован и запрограммирован для комплексного использования кибернетических методов, вычислительной и организационной техники в автоматизированной системе. [c.147]

Синтезируя модели объектов, в процессе проектирования находят оптимальные проектные рещения. Завершение логической модели — математическая модель, отражающая качественные характеристики свойств объектов. [c.147]

Продукционные модели представления знаний — это множество правил вида ЕСЛИ... (условие применимости) ТО... (простое действие), содержащее левую и правую части. Если левая часть — посылка, а правая — заключение, то мы имеем дело с элементарным логическим актом. Если левая часть — ситуация, а правая — действие, то такая продукция может описывать процесс управления. В диагностике левая часть продукции — симптом правая — диагноз. Подобного рода продукции присущи всем областям знания и сферам деятельности. Например, в области химической технологии это правило может звучать так ЕСЛИ протекающая реакция является экзотермической, И следующая реакция требует более низкой температуры, ТО добавить теплообменник к маршруту технологического потока . Часто правила применяются не на отдельных этапах, а в цепочках индукции или дедукции Например, ЕСЛИ А и В ТОГДА С ЕСЛИ С ИЛИ D ТОГДА Е ЕСЛИ В ТОГДА F ЕСЛИ Е И F ТОГДА G. Значения одних продукций могут входить в условия других, в результата могут образовываться сложные логические цепочки. Вывод может быть прямым (от условия к заключению) или обратным — от гипотетического заключения назад к фактам, которые могли бы обусловить его. Одна и та же форма ЕСЛИ—ТО используется для обоих видов логического вывода прямое построение цепочки действует со стороны оператора ЕСЛИ, а обратное — со стороны оператора ТО. Реализация прямого и обратного логического вывода в интеллектуальных системах возлагается на специальную программу-планировщик [30—34]. [c.43]

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

Для расчета и оптимизации показателей надежности ХТС, которые могут в процессе функционирования находиться только в одном из двух возможных состояний — отказа и работоспособности, используем топологическую модель надежности ХТС в виде блок-схемы надежности или расчетно-логической схемы надежности системы. Структура блок-схемы или расчетно-логической схемы надежности сложных ХТС в большинстве случаев принципиально отличается от структуры технологической схемы ХТС — объекта исследования надежности. [c.47]

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

Сложнее вопрос о точности модели решается при отсутствии экспериментальных данных, это именно тот вопрос, который особенно важен при решении задач проектирования. В настоящее время не существует готовых математических или логических методов контроля точности моделей. Практические методы разрабатываются индуктивно на основе обобщения опыта моделирования и имеют форму эвристических рекомендаций, которые, в общем-то, не гарантируют оптимальности построенной модели. Стратегия поиска оптимальной по сложности и точности математической модели может быть следующей. В результате анализа исходных предпосылок создается полный математический образ проектируемого процесса в виде ППП. При выполнении программ производится оценка результатов, их соответствие ограничениям, количественным и качественным характеристикам проекта. При несоответствии результатов проектирования заданным требованиям создается новый образ процесса, который оценивается аналогично. Альтернативой такому подходу является создание упрощенного образа процесса, который будет усложняться по мере оценки результатов проектирования. Усложнение будет проводиться до тех пор, пока не выполнятся все требования, предъявляемые к проекту, или не исчерпаются ресурсы проектирования (программное обеспечение). В последнем случае решение о дальнейших действиях принимает пользователь. Развиваемые в работах [10—13] практические принципы достижения компромисса между сложностью и точностью моделей основаны именно на таком подходе. Основным при этом является принцип наименьшей сложности, в соответствии с которым рациональным выбором модели Т считается такой, что [c.263]

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

Информационно-логические модели в виде конъюнкц[1и информационных признаков процессов и аппаратов и их нечеткомножественные аналоги используются при синтезе гибких химико-технологических систем для автоматизированного выбора типов технологического оборудования. На основе информацион- [c.87]

Процесс смены функциональных состояний аппарата периодического деистБИЯ можно изобразить в виде логической модели. Если обозначить упорядоченную последовательность технологических операций 0 = 0 , Ог,. .., 0 , а множеств достижимых результирующих состояний аппарата периодического действия 5= 5о, где 5о — начальное состояние аппарата, то каждое следующее состояние 5 достигается как результат предыдущего состояния 5, 1 н технологической операции 0 поэтому процесс смег1ы состояний аппарата формально можно записать в виде импликации, нл1[ секвенции [c.123]

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

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

На цифровых вычислительных машинах (ЦВМ) в принципе возможно решать любые типы задач моделирования каталитических процессов. Являясь дискретной машиной, ЦВМ позволяет выполнять все расчеты о очень большой точностью и обладает очень большишлогическими возможностями. Универсальность, большая точность вычислений и широкие логические возможности - основное достоинство ЦВМ. Но являясь машиной последовательного действия, ЦВМ неудобна для использования ее в качестве математической модели процесса программирование на ЦВМ гораздо сложнее, результаты решения представляются в ненаглядной форме в виде колонок цифр, гораздо сложнее управление, невозможно менять коэффициенты в процессе решения, скорость вычислений в несколько раз меньше, чем ва АВМ. Например, решение задачи по дегидрированию бутилена в дивинил занимает на АВМ - 2 часа машинного времени, и на ЦВМ -более 6-ти часов 9. Особенно чувствуются эти недостатки ЦВМ по затратам [c.500]

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

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

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

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

Эффективный подход к разработке интерактивной диалоговой системы для решения задач химической технологии, обеспечи-ваюш ей организацию вычислительного процесса и ведение диалога на языке, близком по синтаксису к профессиональному языку химика-технолога предложены в [4, 5]. Структурная схема данной системы приведена на рис. 6.2. Она состоит из подсистемы проектирования (анализа и синтеза ХТС), включаюш,ей функциональную среду (ФС) и банк данных (БД), и подсистемы диалогового взаимодействия, включающей семантические модели БД и ФС, блоки лингвистического и логического анализа. Связь между подсистемами осуществляется на уровне интерпретатора /, ввод— вывод происходит посредством дисплея. Блок лингвистического анализа выполняет обработку входного предложения, а блок логического анализа предназначен для управления семантическими моделями БД и ФС. [c.257]

Все задачи на экспертных моделях решаются в два этапа — планирование (поиск кандидатов на применение правила вывода) и интерпретация (применение правила вывода). В случае отсут ствия истинностной интерпретации ищут новых кандидатов на применение правил вывода, и процесс повторяется. В процессе логического вывода в экспертной модели участвуют два мпоже- [c.346]

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

Формальная модель, на основе которой формируется алгоритм управления, нмеет вид системы аксиом логики предикатов пе 1Вого порядка и логического вывода. Доказательство правильности логического вывода из данной системы аксиом, означающее управляемость процессом комбинаторного взаимодействия технологических аппаратов, может быть выполнено любым нз известных методов, например, методом резолюций (см. гл. 2). [c.269]

Математические модели надежности ХТС являются результатом создания формально-математического описания процесса функционирования ХТС с определенной степенью приближения к реальности. Математические модели надежности ХТС подразделяются на два больших класса [1] символические ито-лологические. Символические модели надежности ХТС [1, 2] представляют собой совокупность алгебраических, интеграль-Бых или дифференциальных уравнений либо логических выражений, которые позволяют определять вероятность нахождения [c.149]

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

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

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