CC BY
24
- © В.Н. Костин, Л.П. Волкова, 2014
УДК 622.3.338.3
В.Н. Костин, Л.П. Волкова
РАЗРАБОТКА ИНТЕЛЛЕКТУАЛЬНОГО ПЛАНИРОВЩИКА ДЛЯ САПР СТРУГОВЫХ УСТАНОВОК
Рассмотрен вопрос разработки интеллектуального планировщика. Планировщик позволяет автоматизировать процесс проектирования алгоритма расчета струговой установки по заданным входным и описанию выходных параметров. При реализации алгоритма используется аппарат сетей Петри.
Ключевые слова: автоматизированная, система, проектирование, струговая, установка, интеллектуальный, планировщик, алгоритм, последовательность, проект, сценарий, граф, достижимость, сеть Петри.
Процесс проектирования струговых установок (СУ) в системе автоматизированного проектирования (САПР) представляет собой последовательное применение прикладных модулей для решения задачи проектирования. Данная последовательность определяется как входными данными, так и конечным результатом проектирования.
В работе [1] высказана идея разработки модуля Интеллектуального планировщика для САПР СУ, который может построить алгоритм работы прикладных модулей при задании исходных и описании выходных параметров. Было показано, что модель Планировщика можно представить в виде модельного графа, который, в свою очередь, можно представить соответствующей сетью Петри. В данной работе рассмотрим более подробно реализацию Планировщика для набора прикладных модулей СУ, описанных в работах [2, 3] и дополнительного модуля 9, реализующего расчет динамических режимов.
Последовательность модулей для реализации какого-либо проекта обычно называют «сценарием». Под «сценарием САПР» понимают объединение всех возможных сценариев проектов, которые можно выполнить с помощью данной САПР. При этом сценарий САПР можно представить в виде модельного графа
С = и С> (1),
1=1
где L - количество возможных сценариев проектов, а G. - двудольный граф G = <У,
где V = V1 и ^ и V1 П ^ = 0, содержащий вершины, соответствующие множеству модулей V1 = {уа, v.2, ... ип|, и множеству моделей ^ = {^¡1, ... ^к|, определяющий один из проектов САПР. Причем вершина v. е V1 соединяется дугой v') с вершиной v. е V2, если модуль и в качестве выходной имеет модель, соответствующую вершине v,, и вершина v^ е ^ соединяется дугой (^ vm ) с вершиной vm е V1 , если модуль vm в качестве входной имеет модель, соответствующую вершине vy
Каждому такому двудольному графу можно поставить в соответствие следующую сеть Петри C = ^, T, I, O>, где P = ^ = {^¡1, ... ^к| , т.е. каждой позиции соответствует модель, и T = V1 = {и^ v.2, ... ип|, т.е. каждому переходу соответствует модуль. Сценарию системы, представленному модельным графом (1), можно также поставить в соответствие сеть Петри C = < P, T, I, O >, где
Рис. 1. Сеть Петри для системы САПР СУ, C = (Р, Т, I, O)
с = и С, т = и т, 1 = и I, о = и о,
i=1 i=1 i=1 i=1
На рис. 1 представлена сеть Петри для системы САПР СУ, С = (Р, Т, I, О), где
Р = iP01, Pl3, Р,^ Pз5, Po4, P45,
Т = и, ¿3, ¿4, Ъ ¿7,
P05, P08, Р57, P06, Р87, P67, P07,P09, P97, Р70|;
1^1 = fPol|; О(^1 = {P
= fPlз, Poз|; O(íз = ^
Ш4 = fPз5, Po4|; О^4 = iP
= {Po5, Pз5, P45|; О^5 = {P
= lPo6, P57, P87|; O(Í6 = iP
II(¿7 = ^07, P57, P67, P87, P97|; О(^7 = {P
= {Po8, P35, P45|; О(^8 = {P
ки = fp09, P57, P67, P87|; О^9 = iP
Причем под переходами понимаются следующие прикладные модули:
модуль, определяющий максимальную толщину стружки; ¿3- модуль, определяющий усилия на резцах струга; ¿4- модуль, определяющий параметры грузчика; ¿5- модуль, определяющий усилия в цепи СУ отрывного действия; ¿6- модуль, определяющий мощности электродвигателей; ¿7- модуль, определяющий производительность СУ;
¿8- модуль, определяющий усилия в цепи СУ с наклонной направляющей; ¿9- динамическая подсистема.
Модуль 9 - динамическая подсистема включен в САПР СУ для проверки разработанных конструкций в динамических режимах работы. Поскольку экспериментальная проверка разрабатываемых конструкций нереальна в связи с их большой стоимостью, то большое значение приобретает возможность проверить динамические свойства новых конструкций на цифровой модели. Поэтому все разработанные конструкции на заключительном этапе должны прохо-
13
35
45
57
67
70
87
97
дить динамические испытания на цифровой модели, реализованной в рамках динамической подсистемы САПР струговых установок.
При исследовании динамики электромеханической системы струговых установок прибегают к некоторой идеализации, принимая следующие допущения [5]. Таким образом, в динамическом режиме в качестве модели электромеханической системы струговых установок, может рассматриваться система дифференциальных уравнений 2-го порядка, для решений которой при разработке цифровой модели для САПР струговых установок был выбран метод Рунге-Кутта 4-го порядка. Созданная таким образом математическая модель легла в основу цифровой модели для динамических испытаний проектных образцов струговых установок, разрабатываемых в рамках САПР СУ.
При построении сети Петри для САПР СУ были приняты следующие допущения.
1. У каждого перехода одна выходная позиция. Это допущение вытекает из свойства модуля - каждый модуль может выполнять только одну функцию с определенным набором параметров, ее характеризующую.
2. Обозначения индексов переходов, моделирующих модули, для лучшего понимания алгоритма соответствуют обозначениям соответствующих модулей.
3. Номера позиций, моделирующих модели данных, состоят из двух цифр. Первая цифра индекса позиции представляет номер перехода, для которого она является выходной, вторая цифра представляет номер перехода, для которого она является входной. Первая цифра - ноль показывает, что позиция должна иметь начальную маркировку, а ноль во второй цифре показывает, что это конечная позиция.
В соответствии с сетью Петри САПР СУ процесс проектирования можно представить выполнением сети Петри системы. При этом начальная маркировка определяется множеством входных моделей, которые заданы для выполнения какого-либо проекта. Процесс проектирования заканчивается при наличии хотя бы одной «фишки» в позициях, которые соответствуют выходным моделям проекта ( понятие «фишка» используется для маркировки сети Петри). Тогда задачу интеллектуального планировщика САПР СУ можно решить выполнением сети Петри системы.
В работе рассмотрен упрощенный планировщик для 8 основных проектов, характерных тем, что все они начинаются с использования первого модуля и оканчиваются с использованием седьмого модуля. Исходя из этого, ниже рассмотрено множество начальных маркировок для 8 принятых проектов:
Цн1 = ^ Po3, Po5, P07|; ^н5 = ^ Po3, , Po5, Po6 ,Po7|;
Цн2 = ^ Р03, Р08, Р07|; Цн6 = ^ Р03, , Р04 , Рo5, Рo6 ,Рo7|;
Цн3 = {Р01, Р03, , Р04 ,Р05, Р07|; Цн7 = ^ Рo3, , Рo8, Рo6 ,Рo7|;
Цн4 = {Р07, Р57, Р67, Р87|; Цн8 = {Рol, Рo3, Рo4, Рo8, Рo6 ,Рo7|.
Задача проектировщика решается методом с использованием понятия сокращенного графа достижимости [4]. В качестве примера на рис. 2 представлен сокращенный граф достижимости, соответствующий первому и пятому проектам.
Для решения общей задачи САПР СУ строится объединенный сокращенный граф достижимости, который будет являться основой разработки алгоритма планировщика.
Ч> Ци — { РОЬ Роз» Р05> Р06> Ро? } { Ро, р03, Роз, р06, р07 }
! Р35, роз-. Роб, Ро? I
{ р57, Рой, Р(|7 !
{ р57, Рб7э Р(>7 } { Р70 } { Р70 }
Рис. 2. Сокращенный граф достижимости для первого и пятого проектов
Для того, чтобы по множеству входных моделей p ... p | и выходных моделей {. p.2, ... p | определить возможность реализации какого-либо проекта, необходимо в сокращенном графе достижимости системы найти две вершины v1 с весом ц и с весом ц2, для которых существует путь от вершины v1 к вершине V, и
ц \ (ц П Ц1) с ^ p.2, ... pin|; Ц С Pj2, . Pjm|.
В данном случае мы рассмотрели усеченный вариант проектов, для которых первым модулем всегда является модуль, определенный переходом ¿1, и последний, определяемый ¿7. Задача планировщика определить алгоритмы расчета для этих 8 проектов.
В данной работе рассмотрен алгоритм поиска пути между входными и выходными моделями, осуществляемый снизу вверх, т.е. модули определяются по выходным моделям. Начало поиска осуществляется с выходной модели седьмого модуля САПР СУ. Необходимо отметить, что в случае проектирования струговых установок количество параметров, участвующих в модулях, достаточно велико (несколько десятков). Для упрощения работы Планировщика каждая модель содержит только определяющие параметры, т.е. параметры, которые однозначно присущи только тому или иному объекту струговой установки (стругу, грузчику, цепи и т.д.).
В процессе работы Планировщик генерирует обратную последовательность имен модулей, требуемых для выполнения заданного проекта. При этом последовательность записывается в структуру хранения, называемую стеком, выборка из которого позволяет получить требуемый алгоритм.
Таким образом, разработка Интеллектуального планировщика и включение его в САПР СУ позволит существенно упростить работу конструктора струговых установок.
СПИСОК ЛИТЕРАТУРЫ
1. Волкова Л.П., Костин В.Н. О развитии САПР струговых установок // Горный информационно-аналитический бюллетень. - 2011. - № 10. - С. 352-354.
2. Волкова Л.П., Костин В.Н., Медноногов А.И., Панкрушин П.Ю. Автоматизированное проектирование струговых установок // Информационная математика. - 2009. - № 17.
3. Волкова Л.П., Костин В.Н., Разумов М.В. Разработка САПР струговых установок // Информационная математика. - 2005. - № 1(5).
4. Горбатов В.А., Крылов А.В., Федоров Н.В. САПР систем логического управления - М.: Энергоатомиздат, 1988.
5. Волкова Л.П. Моделирование динамики струговых установок при автоматизированном проектировании // Информационная математика. - 2009. - № 1(7). ВШЕ
КОРОТКО ОБ АВТОРАХ_
Костин Виталий Николаевич - кандидат технических наук, доцент, e-mail: [email protected],
Волкова Людмила Петровна - кандидат технических наук, доцент, e-mail: [email protected], МГИ НИТУ «МИСиС».
UDC 622.3.338.3
ELABORATION OF THE INTELLECTUAL PROGRAM FOR APLANE MACHINE SAPR
Kostin V.N., Candidate of Technical Sciences, Assistant Professor, e-mail: [email protected],
Volkova L.P. , Candidate of Technical Sciences, Assistant Professor, e-mail: [email protected],
Moscow Mining Institute, National University of Science and Technology «MISiS».
The paper deals with the elaboration of intellectual scheduler.
The intellectual scheduler allows you to automate the process of constructing the algorithm for calculation aplane machine on given input and output description parameters. The Petry nets device are used for this task decision.
Key words: elaboration, automation, system, projection, intellectual, scheduler, plane, machine, project, scenario, count, define, use, Petry net, achievement, decide.
REFERENCES
1. Volkova L.P., Kostin V.N. Gornyi informatsionno-analiticheskii byulleten', 2011, no 10, pp. 352-354.
2. Volkova L.P., Kostin V.N., Mednonogov A.I., Pankrushin P.Yu. Informatsionnaya matematika, 2009, no 17.
3. Volkova L.P., Kostin V.N., Razumov M.V. Informatsionnaya matematika, 2005, no 1(5).
4. Gorbatov V.A., Krylov A.V., Fedorov N.V. SAPR sistem logicheskogo upravleniya (CAD for logical control systems), Moscow, Energoatomizdat, 1988.
5. Volkova L.P. Informatsionnaya matematika, 2009, no 1(7).
