Формализация понятий системы

Формализация понятий системы [c.26]

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

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

Знания экспертов о социально-экономической системе можно разделить на декларативные и процедурные. Декларативными знаниями являются основные понятия данной предметной области и отношения между ними, формализованные в виде концептуальной модели. Кроме целей формализации, концептуальная модель также необходима для идентификации с точки зрения целей моделирования "существенных" объектов исследуемой предметной области и связей между ними. Закон Парето [75] говорит, что в каждой группе или совокупности существует [c.171]

Формализация понятия "устойчивое развитие" для социально-экономической системы [c.132]

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

В монографии представлены результаты цикла исследований в области динамического моделирования региональных социально-экономических систем - от формализации понятия устой<-11/1вого развития региона до реализации и исследования динамических моделей данной системы. Авторами предложен метод концептуального проектирования струетуры динамической модели, основанный на современных информационных технологиях, позволивший существенно повысить адекватность создаваемых моделей. Дано описание метода системной динамики и примеры реализации средствами системы динамического моделирования Рошег .1т моделей Северного сырьевого региона России (на примере Мурманской области) и типового города Севера России (на примере г Апатиты). [c.2]

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

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

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

В последние годы при разработке фреймовых ЯПЗ для математической формализации ФР используют A- < i v h [13,15, 82, 83]. Каждому <1 Р соответствует свое -опрсдсяснио> ( выражение ). В основе разработанного формализованного языка представления ФР лежит использование Х-конверсии , основными достоинствами которой являются простота понимания и универсальность. В данной системе поддерживается предикатная трактовка ФР и конкретизируется его понятие. ФР рассматривается как ориентированный граф, в котором помечены вершины и дуги. Одна из вершин выделена для предикатного символа. Остальные вершины предназначены для ар17ментов, находящихся в некотором падежном отношении (метка на дуге) с выделенным предикатом. Каждая вершина имеет область допустимых значений, называемую сортом. Сорта, или типы, переменных используются в МПЗ для повышения эффективности алгоритмов поиска знаний и вывода решений (83[. В исчислении предикатов сорта переменных не рассматриваются, а поэтому исчисление предикатов мол/сно рассматривать как односортную логику. С принципиальной точки зрения, сорта переменных могут быть исключены путем введения соответствующих одноместных предикатов. Однако с введением таких дополнительных предикатов падает эффективность алгоритмов поиска решений и вывода. [c.240]

Система функционирует в следующих режимах 1) заполнение БЗ, его осуществляет инженер по знаниям и эксперт после проведения концептуального анализа и формализации ПО (выделение основных понятий, отображаемых фреймами, и формулировка ЭП, отображаемых в виде ПП, формирование текстов вопросов к пользователю) 2) графическое представление результатов КО в виде чертежей, рисунков, схем, диаграмм и пр. 3) програлширование соответствующих функций, осуществляемое инженером по знаниям или системным программистом на языках Фортран или Пролог , а также использование графического пакета Графор А) поиск npomuвope шй в ПП, осуществляемый инженером по знаниям и экспертом на этапе представления знаний 5) интеллектуальный диалог ЭС и ЛПР, осуществляемый в режиме меню лингвистическим процессором и БВР, а также объяснение сгенерированных ГЭС компоновочных решений. [c.341]

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

Став на путь формализации и систематизации, Г. Кёниг и В. Блекуэлл упорядочивают исходные понятия, обозначения и методические приемы. Они разбивают все основные величины по способу их измерения на две группы 1) продольные (параллельные) переменные (напряжения, перемещения, углы поворота, изменения давления и температуры), измерение которых требует одновременного подсоединения прибора в двух точках, и 2) поперечные (последовательные) -переменные (ток, сила, момент, расход жидкости), которые можно измерить последовательным включением прибора с каждым из элементов системы. Далее ими вводится понятие графа электромеханической системы и обобщаются законы Кирхгофа в виде двух следующих постулатов для контуров и вершин 1) сумма продольной переменной вдоль контура и 2) сумма поперечной переменной в вершине равняются нулю. И все содержание книги в методическом плане фактически сводится к рассмотрению (на довольно абстрактном уровне) 10 [c.10]

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

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

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