CC BY
51
9
G tir в X № в химии и химичесгай технологии. Том XXIV. 2010. №1 (106)
та по кинетическим константам ; б - план эксперимента; Бо - план стартового эксперимента; £ = {сг | - дисперсионно-ковариационная матрица наблюдений; Е-1 = матрица, обратная матрице £;
хп
j
12 J
1т J
, /=/,...,77
(4)
x»=-
ôc('\k,x p(l))
dkf
k=k„
/' = 1,...,N, / = l,...,m
(5)
к/ -/-ая кинетическая константа.
Очевидно, что (Ы М(б) -ф- 0, только при условии, что Ыхп>т.
По результатам стартовых опытов методом нелинейных наименьших квадратов получены оценки всех комплексов параметров кинетической модели реакции синтеза диметилового эфира из метанола, а также выделены элементы информационной матрицы М(б) . При этом максимальное число параметров (или их комбинаций) допускающих оценку, определяется порядком наибольшего невырожденного минора информационной матрицы. Мощность множества, допускающих оценку констант, определяется в свою очередь свойствами плана эксперимента. Она максимальна для оптимального плана, так как максимально число констант со статистически значимой параметрической чувствительностью.
УДК 510.662
JI.O. Хорошавин, М.С. Шишмарев, А.Н. Диев, А.Н. Шайкин
Российский химико-технологический университет им. Д.И. Менделеева, Москва, Россия
МОДЕЛЬ ЛОГИЧЕСКОГО ВЫВОДА
This paper presents a model of logical inference. This model is a bipartite graph. One node type corresponds to predicate symbols. Another type is divided into two subtypes, corresponding to a Clauses and Favorable sets. The proposed model can be used for inference in predicate calculus in accordance with the implemented methods, such as the method of Robinson and the method of Maslov.
В данной работе рассматривается модель логического вывода в виде двудольного графа, где один тип вершин соответствует предикатным буквам, а другой, разбитый на два подтипа, дизъюнктам и благоприятным наборам, соответственно. Предложенная модель
С 1Ь 6 X № в химии и химической технологии. Том XXIV. 2010. № 1 (106)
может использоваться для логического вывода в исчислении предикатов в соответствии с реализованными методами, например Робинсона и Маслова.
Пусть имеется множество дизъюнктов, противоречивость которого необходимо доказать. В данной работе рассматривается модель логического вывода в виде двудольного графа, один тип вершин которого будем обозначать кружками с вписанными в них предикатными буквами или их отрицаниями. Заметим, что каждой предикатной букве будет соответствовать столько кружков, сколько она имела вхождений в множестве дизъюнктов. Другой тип вершин разобьем на два подтипа: квадратные, соответствующие дизъюнктам, и треугольные, в начале вывода соответствующие контрарным парам. Ребрами могут соединяться только кружки с квадратами и кружки с треугольниками. Квадрат, соответствующий дизъюнкту, соединяется ребром с кружком, соответствующим предикату, если этот дизъюнкт содержит этот предикат. При этом каждый кружок соединен не более чем с одним квадратом. Ребру, их соединяющему приписывается кортеж переменных данного предиката в данном дизъюнкте. Треугольник, соответствующий контрарной паре, в начальной стадии соединяется ребрами с двумя кружками, образующими контрарную пару. Этим ребрам приписываются кортежи переменных предикатов, соответствующих инцидентным кружкам с учетом унификации. В случае неунифицируемости треугольник с инцидентными ему ребрами отсутствует.
С(а)
-P(Y);L(a,Y)
-C(X);-H(Y);-L(X,Y)
Р(Ь)
Н(Ь)
OK Close J
Рис. 1. Введение данных
Предложенная модель имеет программную реализацию на языке программирования Delphi 7 в виде приложения Windows ХР. Ввод данных осуществляется через компонент класса ТМето, предназначенный для ввода, редактирования и/или отображения текста. Каждый дизъюнкт вводится в отдельной строке. Предикаты разделяются символом «;», отрицание вводится как «-», имена предикатов и переменных начинаются с большой буквы, имена функций и констант - с малой. Параметры предикатов и функций разделяются запятыми. На основании сделанного ввода заполняются таблицы StringGridl и StringGrid2. Столбцам таблиц соответствуют кружки модели (заголовки столбцов - имена предикатов), строкам таблицы StringGridl соответствуют квадраты (заголовки - номера дизъюнктов), а строкам таблицы StringGrid2 соответствуют треугольники (заголовки - номера контрарных пар). Ячейки таблицы StringGridl заполняются кортежами параметров предикатов, а ячейки таблицы StringGrid2 - ими же, но с учетом унифика-
9
С 11 6 X И в химии и химической технологии. Том XXIV. 2010. № 1 (106)
ции. Имеется возможность сохранять и загружать как начальные, так и промежуточные данные, в виде файлов *.Ш или *.х/л. Отдельно хранятся унифицирующие множества для каждой строки таблицы ^1пп<^(]пс12.
Рис. 2. Размещение данных по таблицам
На примере 2.23 из книги [1] представлено введение данных (рис. 1) и их размещение по таблицам (рис. 2), предусматривающее:
• переименование переменных с целью обеспечения различия переменных для разных дизъюнктов,
• упорядочение предикатов по порядку,
• унификацию кортежей параметров предикатов в таблице ^1пп<^(]пс12.
Рис. 3. Различные варианты упрощения
Для проведения возможных упрощений существует кнопка Simplify. Настройки программы позволяют выбирать различные варианты упрощения, представленные на рисунке, в том числе удаление чистых дизъюнктов, тавтологий, факторизацию, поглощение.
Чистым мы называем дизъюнкт, если он имеет такой предикат, которому в нашей модели соответствует кружок, не соединенный ребром ни с одним треугольником. Под удалением чистого дизъюнкта понимается удаление в модели: квадрата, соответствующего чистому дизъюнкту; ребер, инцидентных этому квадрату; кружков, инцидентных этим ребрам; ребер, инцидентных этим кружкам; треугольников, инцидентных последним ребрам;
9
С 11 6 X U/ в химии и химической технологии. Том XXIV. 2010. № 1 (106)
ребер, инцидентных этим треугольникам. Тавтологией мы называем дизъюнкт, содержащий предикат и его отрицание. При удалении тавтологии происходят те же действия, что и при удалении чистых дизъюнктов. Под факторизацией понимается устранение в дизъюнкте предиката, если дизъюнкт имеет другой предикат, одноименный первому предикату с кортежем переменных, допускающим подстановку, сводящую этот кортеж к кортежу первого предиката. Под поглощением дизъюнкта мы понимаем его удаление с теми же действиями, что и при удалении чистых дизъюнктов, если для этого дизъюнкта найдется другой дизъюнкт такой, что для каждого предиката второго дизъюнкта в первом дизъюнкте найдется одноименный предикат с кортежем переменных, к которому при некоторой подстановке можно свести кортеж предиката второго дизъюнкта.
Для дедуктивного вывода на так введенной модели можно использовать разные методы (например, Робинсона [2] или Маслова [3]). Программа пока не выполняет автоматического вывода с применением различных эвристик, а работает пошагово. На каждом шаге пользователь выбирает приметаемый оператор из числа реализованных.
Библиографические ссылки
1. Достоверный и правдоподобный вывод в интеллектуальных системах / под ред. ВН. Вагина, Д. А. Поспелова. 2-е изд. М.: ФИЗМАТ ЛИТ, 2008.
2. A Machine Oriented Logic Based on the Resolution Principle /Robinson J. A. // Journal of the ACM, 1965. V. 12. (Русский перевод: Машино-ориентированная логика, основанная на принципе резолюции // Кибернетический сб. Нов. сер. 7. М.: Мир, 1970).
3. Маслов С.Ю. Обратный метод установления выводимости в классическом исчислении./ С.Ю. Маслов // ДАН СССР, 1964. 159. № 1.
УДК 615.014.21
A.M. Каталевич, А.Ю. Троянкин, А.А. Диденко
Российский химико-технологический университет им. Д.И. Менделеева, Москва, Россия
АТМОСФЕРНАЯ СУБЛИМАЦИОННАЯ СУШКА КАК ИННОВАЦИОННЫЙ МЕТОД ПОЛУЧЕНИЯ ТОНКОДИСПЕРСНЫХ ФАРМАЦЕВТИЧЕСКИХ ПОРОШКОВ
Atmospheric freeze drying is an innovative way of drying that has several advantages in comparison with the classical vacuum freeze drying in a fixed bed. The experimental installation of our own design is presented. The results of experimental studies are considered.
Атмосферная сублимационная сушка является инновационным способом сушки, обладающим рядом преимуществ по сравнению с классической вакуумной сублимационной
