CC BY
85
ISSN 1992-6502 (P ri nt)_
2014. Т. 18, № 4 (65). С. 125-133
Ъыьмт QjrAQnQj
ISSN 2225-2789 (Online) http://journal.ugatu.ac.ru
УДК 004.65
Разработка формальной интегральной модели
производственного процесса машиностроительного предприятия
а. в. Речкалов , в. в. Антонов , а. в. Артюхов
1 2 ФГБОУ ВПО «Уфимский государственный авиационный технический университет» (УГАТУ) 3 ОАО «Уфимское моторостроительное производственное объединение» (УМПО)
Поступила в редакцию 30 июня 2014 г.
Аннотация. Практика внедрения автоматизированных систем управления на крупных машиностроительных предприятиях показывает, что, несмотря на усложнение моделей управления снабженческими и сбытовыми функциями, маркетинговыми и финансовыми операциями, наиболее трудоемким и сложным разделом системы управления остается управление производством. В статье рассматривается вопрос построения формальной модели производственного процесса с применением интегрального подхода, требующего всестороннего анализа и системного развития. Сложность построения таких моделей заключается в необходимости учета значительного количества динамических условий производственного процесса и обеспечения оперативного реагирования систем на возникающие возмущения.
Ключевые слова: интегрированная обработка информации; атрибутивная трансляция; предметная область; производство; семантическая модель; категория множеств.
ВВЕДЕНИЕ
Применение информационных технологий в авиастроении, в частности в авиационном дви-гателестроении, сопровождается сегодня накоплением и хранением больших объемов технической и производственной информации. Причем в отдельных базах данных и хранилищах указанная информация, как правило, структурирована (или слабоструктурирована) и семантически понятна предметно-ориентированным специалистам. Для решения же интегральных задач, например задачи оптимизации проектирования новых производственных процессов и их интеграции в производственную среду, задачи обеспечения поддержки принятия решений на основе поиска и анализа производственных прецедентов (ситуаций), требуются новые подходы и модели.
Указанные задачи связаны с известными проблемами построения экспертных систем, основу которых составляют базы данных и базы знаний соответствующей предметной области. Дальнейшим развитием экспертных систем являются искусственные интеллектуальные системы. Известно, что основу последних составляет модельная гипотеза, определяющая форму представления знаний о предметной области, их
пополнения и модификации в среде имеющихся знаний и др. Система моделей предметной области должна дополняться моделями механизмов мышления, такими как метапроцедуры целенаправленного поиска (ассоциативного поиска) в заданном информационном пространстве, метапроцедурами классификации объектов и элементов предметной области по структурным и др. признакам [1].
Для представления знаний об исследуемой предметной области разработаны и применяются различные подходы и методы, на основе которых создаются соответствующие формализованные графо-аналитические предметные метаязыки для системного моделирования (описания) [1]. Можно отметить, что формальные логические и операционные свойства и правила применения таких языков базируются на основных положениях теории множеств, теории категорий и формальных грамматик Н. Хомского второго типа [3]. При этом прежде всего определяют концептуальную (понятийную) модель предметной области, как правило, в виде кортежа множеств: имен объектов X = {х | / = 1,...,пх |, имен существенных свойств (признаков) С = {с | / = 1,..., пс } этих объектов, имен отношений Я = {г | / = 1,..., пк },
в которые могут вступать эти объекты, имен действий О = | / = 1,..., па}, которые допустимы над множеством данных объектов:
г,, _ о = ( х, с, я, о). (1)
Модель состояния предметной облас-
ти
Spr _ o —
pr_О I • _
i —1,...,n
в каждый мо-
мент времени может быть представлена кортежем
Spr_o(t)-{X(t),C(t),R(t)) . (2)
Модель задачи Z может быть представлена кортежем множеств имен начальных состояний
предметной области S — {^ | i — 1,..., ns }, имен
целевых состояний предметной области
F — {f |i — 1,...,np}, имен операторов
G — {g | i — 1,..., nG}, переводящих предметную область из начальных состояний в целевые:
Z — (S, G, F) .
(3)
Несложно показать, что границы и, соответственно, мощность концептуальной модели предметной области будут определяться гранями многомерного куба в декартовой системе координат. Здесь в роли осей могут выступать номинативные шкалы, определяемые множествами имен X, С, Я, О. Например, общее количество составных имен для концептуальной модели предметной области (1) составит п = пх х пс х п х па . Можно также отметить,
что концептуальная модель предметной области (1), модель состояния (2) и модель задачи (3) соответствуют математической, то есть формальной модели категории множеств [5].
С другой стороны, при высокой степени зрелости использования информационных технологий на предприятии открывается возможность построения интеллектуальных информационных систем. При этом, например, для предприятий, находящихся на уровне зрелости использования информационных технологий выше среднего, показателем эффективности их применения может являться отношение себестоимости информационного сервиса к экономически оцениваемым преимуществам, которые получает предприятие за счет этого сервиса.
Необходимым условием применения информационных технологий, реализующих ИИС, является наличие систем интеллектуального поиска и идентификации, необходимых для управления информацией в существующем
контенте предметной области. Эта проблема требует решения 2 задач:
• структурирование и классификация контента для заданного класса производственных задач;
• формирование правил для поисковых запросов, которые, по сути, должны соответствовать структуре и основным параметрам модели идентифицируемых производственных объектов.
В работе предлагается формальный метод построения системной модели для предметной области производственной деятельности, на основе которой решается задача структурирования и классификации располагаемого производственного контента, определяются правила поиска класса сходных (похожих) моделей. Мерой кластеризации выступает схожесть структуры и соответствующий данной структуре алфавит (символьный). Для решения задачи в данной постановке более всего подходит математическая теория категорий множеств [5]. В основе такой модели лежит формальный графоаналитический метаязык с символьным базисом и логикой нулевого порядка.
Эта модель является интегральной моделью-категорией верхнего уровня, которая включает в себя в качестве подкатегорий существующие на предприятии формальные системы (автоматизированная система управления ВАА^ кон-структорско-технологическая программа Юни-графикс и др.)
СОСТОЯНИЕ ВОПРОСА
Сформулируем на первом этапе основные положения формального графо-аналитического метаязыка, базирующегося на основных положениях математической теории категорий и ориентированного на исследуемую предметную область - «производственный процесс».
В основе такого подхода может лежать классическая модель производственного процесса, представленная как процесс взаимодействия производственных ресурсов: Средств труда; Предмета труда и Труда. В результате чего реализуется цель производственного процесса -Продукт (рис. 1).
Введем обозначения: St = {stj | / = 1,..., }
как множество средств труда, в которых овеществлен прошлый труд, и которые используются в процессе производства для преобразования предмета труда в товар, Pt = {р | / = 1,..., пР1}
как множество предметов труда (взаимосвязанные объекты производственного процесса).
J
Средства труда
Предметы труда
Производственный процесс
Продукт
ТРУД
Рис. 1. Схема представления производственного процесса
Обозначим Tru = | i = 1,..., щт J как
множество целенаправленных действий человека (рабочего) по реализации производственного процесса (практически выступают в роли правил взаимодействия). Обозначим
Pro = |pro | i = 1,.., nPro J как множество
продуктов (это цель и результат производственного процесса);
Tm = {tmi | i = 1,..., щт J как множество технологических методов;
To = {to | i = 1,.., По J как множество технологических операций;
Otr = {otr | i = 1,..., n0fr J как множество
орудий труда; Uch = {uchi | i = 1,..., nUch J как
множество участков, оснащенных и оборудованных для выполнения работ;
Podr = {podr | i = 1,..., nPodr J как множество подразделений организации;
SvPodr = {svpodri | i = 1,..., nSvPodr J как
множество взаимосвязей подразделений организации;
Chr = {chr | i = 1,..., nchr J - численность категорий работников;
Rpodr = {rodri | i = 1,..., nRpodr J - размещение (привязка к условным координатам) подразделений на территории предприятия.
Далее Ресурсы производственного процесса структурируются и представляются документами в рамках регламентов Единой системы технологической документации (ЕСТД) [6]. Они принимаются за основу классификации элементов производственного процесса при формировании интегральной модели. Так, при введенных обозначениях множество технологических процессов Tpr = {tpr | i = 1,..., J может быть представлено кортежем
Tpr = (St, Pt,Tru, Pro, Tm,To), множество средств труда Ctr = \сЩ | i = 1,..., nctr} кортежем Ctr = (Utr, Tpr), организационная структура кортежем Octr = {Podr, SvPodr). Тогда множество рабочих мест [7]
Rm = |rmt | i = 1,..., nRm } представимо в виде
Rm = (Uch, Octr) , а статическая модель производственного процесса, представленная понятием "Производственная структура" [7]
Pctr = {pctr | i = 1,..., nPctr}, - кортежем Pctr = (Octr, Chr, Rpodr). Таким образом, если процесс преобразования исходных предметов труда можно именовать динамической моделью производственного процесса, то производственная структура по сути представляет собой статическую модель производственного процесса Pr = |prt | i = 1,..., nPr}, как определенным образом организованную и отраженную в технологической документации совокупность элементарных составляющих: организационной структуры, технологических методов, рабочих мест, производственных операций, т. е. кортежа Pr = (Tpr, Pctr). Приведенная на рис. 2 статическая интегральная модель производственного процесса показывает отношения элементов, формирующих производственную структуру.
Рис. 2. Графическое представление статической интегральной модели производственного процесса
Она дает целостное представление о структуре и взаимосвязях элементов модели и может быть последовательно сформирована на основе создания моделей взаимосвязи пар элементарных составляющих производственного процесса и взаимосвязи созданных моделей. Например,
отношения рабочих мест и организационной структуры формируют модель рабочего центра Rceпtr = {Rm, , а отношения модели тех-
нологического процесса с отношением технологических методов и рабочих центров формируют модель производственной структуры
PRstr = (Гф^Тт, Rm)) .
Таким образом, интегральная модель производственного процесса представляет собой многомерную модель взаимосвязи производственных ресурсов, представленную в виде последовательного построения трех двухмерных матриц (моделей): модели рабочих центров, модели технологических операций, модели технологических процессов. Формирование интегральной модели хорошо прослеживается в процессе последовательного формирования моделей в виде ортогональных двухмерных матриц.
ФОРМИРОВАНИЕ МОДЕЛЕЙ РАБОЧИХ ЦЕНТРОВ, ТЕХНОЛОГИЧЕСКИХ ОПЕРАЦИЙ И ПРОЦЕССОВ
Элементарные производственные процессы являются процессами взаимодействия предметов труда Pt = {ptj | / = 1,..., пл | с ресурсами
"Рабочее место" Rm = {гщ 11 = 1,..., пКт } .
Структура рабочих мест содержит состав элементарных объектов средств труда и рабочих, взаимодействующих с элементарным предметом труда: складские
Ят' =
ГЩ] | I = 1,. ГЩ] 11 = 1, ГЩ] | I = 1,
производственные Ятр =
ГЩр | 7 = 1 р 11=1,
гт.
, п
, п
,п
, п
, п
Имеет место формула: Ят = ^Ят1, Ятр ^ .
Графически модель рабочего центра можно представить в виде традиционного иерархического представления организационной структуры предприятия.
В этой иерархической схеме мы можем выделить горизонтальные и вертикальные бизнес-процессы, которые представляют собой структурированное описание заданной последовательности выполняемых бизнес-операций, то есть горизонтальную иерархию внутренних и зависимых между собой функциональных действий.
При этом бизнес-процесс, рассматриваемый как совокупность последовательно выполняемых цепочек операций, может трактоваться как множество взаимодействующих подсистем, т.е. в виде дискретной динамической системы, изменяемой в пространстве и времени. Вертикальные бизнес-процессы выполняют функции консолидации горизонтальных процессов, учета дополнительно появляющихся атрибутов, описывающих правила взаимодействия информационных характеристик объектов.
Рис. 3. Графическое представление модели рабочего центра
Организационная структура
Ос^ = (Рвёг, SvPodr}
может быть представлена в виде многоуровневого списка подразделений предприятия, участвующих в производственном процессе: склада закупаемых предметов труда
PodrSz = {podr1Sz,..., podrSl}, склада реализуемых предметов труда
PodrSR ,..., podr^ },
консигнационного склада
PodrSK ={podrlSK 11 = 1,...,пж},
] 1
изолятора брака PodrI ={podrl,...,podrIn¡},
цеха PodrSC = {podr1SC,..., podrSC }. Имеет место формула:
Р и _/PodrSz,PodrSR,PodrSK,\ = \ PodrI, PodrSC /.
Модель рабочих центров MRC может быть представлена в виде двухмерной матрицы, отражающей взаимосвязь модели рабочих мест и модели организационной структуры предприятия MRC = (Rceпtr, Ос&). Анализ множества
элементарных производственных процессов как процессов взаимосвязи предметов труда может быть проведен методом анализа вариантов преобразования исходного ресурса предмета труда в целевой ресурс. Определим варианты преобразования предметов труда термином «Модель технологической операции». В основе процессов планирования и управления производством лежат объекты управления, которые могут представлять собой как отдельные элементарные предметы труда, так и их совокупность. Технологический состав элементарных предметов труда Pt, обеспечивающих осуществление производственного процесса, приведен в [8]:
• Ptml - материал, покупной предмет труда, потребляемый для изготовления изделия;
• Ptpf - полуфабрикат, покупной предмет
труда, подлежащий дальнейшей обработке на предприятии-потребителе;
• Ptki - комплектующее изделие, покупное изделие, которое поступает на предприятие в готовом виде;
• Ptdt - деталь, изготавливаемый на предприятии предмет труда, который не может быть разделен на части, составная часть изделия;
• Ptce - сборочная единица, изготавливаемый на предприятии предмет труда, представляющий собой разъемное или неразъемное сопряжение между собой деталей и сборочных единиц, составная часть изделия;
• Ptck - сборочный комплект, создаваемый на предприятии предмет труда, группа составных частей изделия, которые необходимо подать на рабочее место для сборки изделия или его составной части;
• Pt . - готовое изделие, законченный
комплект, подготовленный к продаже, прошедший сборку, испытания и окончательный контроль.
Имеет место формула
Pt = (Ptml, Ptpf, ^, Ptdt, Ptce, ^ ск ?
Анализ технологических документов, определяющих разнообразие взаимосвязей элементарных предметов труда в процессе выполнения технологических операций, позволяет выделить шесть типов взаимосвязей или шесть моделей технологических операций.
Модель технологической операции 1 представляет собой модель, когда производственная операция преобразует один предмет труда в другой предмет труда. Данная модель характерна для операций преобразования материала, полуфабриката или комплектующего изделия в деталь и может быть представлена формулой
Po1 = (St, Pt1, Pt2, 7га, Рго) .
Модель технологической операции 2 представляет собой процесс, когда выполнение производственной операции не изменяет предмета труда как объекта производственного процессе и не меняет его идентификатора. Данная модель характерна для операции хранения или транспортировки предметов труда и может быть представлена формулой
Po2 =(St, Pt1 ,Тгы, Рго) .
Модель технологической операции 3 представляет собой процесс, когда один предмет труда преобразуется в другой предмет труда без изменения основного идентификатора (обозначения), но при этом физическое их различие определяется номером выполненной технологической операции. Данная модель характерна для операции обработки детали или сборочной единицы в технологическом процессе и может быть представлена формулой
Po3 =(St,Pt1 ,Тгы,Рго).
Модель технологической операции 4 представляет собой процесс, когда несколько предметов труда в процессе соединения создают новый предмет труда и может быть представлена
формулой PoA
= (St, Pt1, Pt2, Pt3, PtA, Тты, Рго).
При этом соединение может быть как разъемным (например, для операции комплектования), так и неразъемным (например, для операций клепки, пайки, сварки, покрытия) (рис. 4).
Рис. 4. Модель технологической операции 4
Модель технологической операции 5 представляет собой процесс, когда несколько предметов труда создают новый предмет труда с кодом основного предмета труда и добавлением номера операции и может быть представлена
формулой Po5 = (St, Pt1, Р^, Pt3, Тти, Рго) .
Такая модель характерна для операций комплектования или сборки в технологическом процессе сборки.
Модель технологической операции 6 представляет собой процесс, когда один предмет труда преобразуется в несколько других предметов труда и может быть представлена формулой
Ро6 =( St, Pt1, Pt2, Ptг, Тти, Рго) .Такая модель
характерна для операций разборки сборочной единицы, разделения заготовки на несколько деталей или на деталь и отход.
Во всех предыдущих шести моделях присутствует фиксированные или альтернативные нормативы взаимодействия предметов труда. В то же время для модели 4 имеет место ситуация, когда нормативы взаимодействия определяются некоторым полем размерности, и при этом норматив взаимодействия одного предмета труда зависит от норматива другого предмета труда (модель 7). Такая модель характерна для операции шихтовки при подготовке шихтового состава для операции плавки (рис. 5) и может быть представлена формулой
Роп =(St, , Р^, Р{3, Р^, Тти, Рго) .
Рис. 5. Модель технологической операции 7
Построение модели технологических процессов требует анализа и построения модели каждого технологического метода. Выделим из состава технологических методов неповторяющиеся с точки зрения взаимодействия предметов труда процессы. Определим перечень базовых технологических методов для формирования модели технологических процессов: Ттау\ - литье, Ттау\ - формование, Ттау\ -
обработка резанием, Ттау2 - обработка давлением, Тта\\ - раскрой, Тта\\ - слесарная об-
работка, Trav\ - электрофизическая обработка, Trav3 - электрохимическая обработка, Trav\ -гальванопластика, Trav\ - нанесение покрытия, Trav\ - сборка, Trav\ - испытания, Trav\ -технический контроль, Trav\ - комплектование, Trav\0 - разборка, Trav\, - транспортировка, Trav\2 - хранение. Имеет место формула
Tm =
(Trav\, Travf ), (Trav\,
(Trav\, Travl),
Trav3, Travl, Trav2)
2 )■>
Trav\,..., Trav\n
Построение модели технологического процесса представляет собой формирование совокупности моделей технологических операций для каждого технологического метода. Такая модель может быть создана в графическом виде или представлена в виде двухмерной матрицы для построения модели производственной структуры.
Так, модель литейного процесса состоит из последовательности операций, которые могут быть представлены в виде совокупности моделей технологических операций: шихтовка, плавка (получение неразделимой совокупности компонентов сплава как предмета труда), заливка (распределение сплава по литейным формам и получение блоков заготовок), обрубка (разделение блоков на отдельные заготовки). Модель литейного технологического процесса может быть представлена формулой
Трт, ={ Ро 4, Ро, РОз, Ро6),
см. рис. 6.
Другой пример модели - это процесс обработки давлением, который состоит из моделей технологических операций раскроя (получение заготовок для ковки из материала), обработки (получение единичной заготовки или блока заготовок деталей методом горячего прессования), обрубки (получение готовой заготовки или нескольких заготовок деталей путем удаления облоя). Модель процесса обработки давлением может быть представлена формулой
Трт2 =(Ро1,Ро1,Ро6) .
Следующий пример - это процесс обработки резанием, представляет собой процесс превращения заготовки или материала в деталь методом снятия стружки на операциях без изменения основного идентификатора детали. Модель
процесса обработки резанием может быть представлена формулой Тртъ Рог,Ро3,Ро3) .
Модели технологических процессов могут быть представлена в виде двухмерной матрицы, представляющей взаимосвязь модели технологических операций и технологических методов.
Рис. 6. Модель литейного процесса
0
Рис. 7. Схема однопредметного рабочего центра
Модель производственной структуры по существу представляет собой отражение взаимосвязей производственных операций и рабочих центров. Она по сути является статической моделью производственного процесса и отражает потребности в наименованных ресурсах (материальных, трудовых и мощностях) для производства единичного изделия. Рассмотрим взаимосвязь операций и рабочих центров, опреде-
ляющих особенности организации производства. Если на рабочем центре выполняется только одна или несколько последовательных операций одного предмета труда, то такой рабочий центр и, соответственно, производственный процесс, может быть представлен формулой Ясен^ =(Р^,Рг2,То^ (см. рис. 7).
Если на рабочем центре выполняются операции нескольких предметов труда, то такой рабочий центр и, соответственно, производственный процесс может быть представлен формулой ЯсепЩ = ( Р^, Рг2, То, РЦ, Р^ ) .
Далее, в соответствии с требованиями стандарта ИСО\МЭК-15288 [9], в целях организации планирования, обеспечения, функционирования и поддержки производства, модели процессов обработки (как модели жизненного цикла системы) могут быть сегментированы на стадии, что обеспечивает упорядоченное продвижение во времени. Стадии имеют ответственного за их выполнение. Каждая стадия посвящена только одной функции, а число интерфейсов между стадиями держится минимальным. Таким образом, основная функция каждой стадии может быть описана как специфическая цель и набор действий. В нашем случае речь идет о дальнейшей композиции моделей производственных процессов в процессы предприятия, в проектные процессы и технические процессы. Отметим, что речь идет об информационном подходе для формализации предметной области, где первичными являются категории объектов и отношения между ними, т. е. когда формально система может быть представлена множеством объектов предметной области и множеством отношений между ними. Далее - это описание свойств объектов и их отношений. Такое описание тождественно описанию между математическими объектами, не зависящими от внутренней структуры объектов, используемых в теории категорий. Согласно [9, 10] множество моделей технических процессов и отношений между ними может быть представлено формулой в виде упорядоченного множества
ТР =< ТР ТР ТР ТР ТР
^ -1 А М?* А гра?* А гра?* А тех Iх сот >
ТР ТР ТР ТР ТР ТР >
11ует,11 рет,11уа1,11 го,11 (хр > .
В нашем случае речь идет о процессе реализации элементов системы ТР , который состоит из цели процесса ТР^ = {тея\}, результата процесса ТР^ = {тея^,...,тех2А} и деятельности в процессе ТР^ = {теХ^,..., тех3}.
В ходе этого процесса происходит преобразование заданных поведенческих, интерфейсных и производственных ограничений в действия по реализации, в результате которых в соответствии со сложившимися правилами и технологией создается элемент системы. Системный элемент конструируется или адаптируется путем обработки материалов и (или) информации, соответствующих выбранной технологии реализации, и использования соответствующих технических приемов и дисциплин. Результатом процесса является элемент системы, удовлетворяющий как архитектурным решениям, что подтверждается при верификации, так и требованиям правообладателей, что подтверждается при валидации. А именно - параметра те^ деятельности в процессе ТР^ = (те^3,...,тesi5}. Граф
взаимных связей и отношений приведенных объектов приведен на рис. 8.
Рис. 8. Граф взаимных связей и отношений объектов
ЗАКЛЮЧЕНИЕ
Обобщая результаты исследований, можно отметить, что для каждой пары объектов А,В существует множество морфизмов Нотс(А,В), причем каждому морфизму соответствует единственные А и В. В нашем случае речь идет о ка-
тегории множеств, элементами которых является знаковый алфавит и семантические определения исследуемой предметной области. Таким образом, Объектами в этой категории являются множества, морфизмами - отображения множеств. Причем в каждом случае может быть построена многомерная матрица (OLAP-куб), измерениями которого являются приведенные к определенной мере (оцифрованные) знаковые показатели объектов. Значениями кубов являются на низшем уровне элементарные значения, на более высоких уровнях иерархии - OLAP-кубы более низкого порядка.
Модель производственной структуры может быть представлена в виде матрицы взаимосвязи модели рабочих центров и моделей технологических процессов. Необходимо подчеркнуть, что все рабочие центры в данной модели являются многопредметными.
Нетрудно показать, что символьная теоретико-множественная модель является эквивалентной иерархической структуре семантического словаря данных соответствующего графоаналитического языка, описанного выше. При этом выполняются все необходимые требования формальной грамматики Н. Хомского. А это в символьном базисе (с Декартовым произведением) будет эквивалентно OLAP-кубу. Семантической основой этого куба будет являться словарь данных, составленный из алфавита моделируемой предметной области и последующих семантических определений-проекций (частные структур). Эти символьно-синтакситические структуры могут выполнять роль моделей для интеллектуальной конфигурации (настройки) поискового сервера в производственном информационном контенте предприятия.
Таким образом, разработан формальный метод моделирования производственных процессов.
СПИСОК ЛИТЕРАТУРЫ
1. Болотова Л. С. Системы искусственного интеллекта: модели и технологии, основанные на знаниях. М.: Финансы и статистика, 2012, 664 с.[ L. S. Bolotova, Artificial intelligence systems: models and technologies based on knowledge, (in Russian). Moscow: Finansy i statistika, 2012. ]
2. Бениаминов Е. М. Алгебраические методы в теории баз данных и представлении знаний. М.: Научный мир, 2003, 184 с. . [ E. M. Beniaminov, Algebraic methods in the theory of databases and knowledge representation, (in Russian). Moscow: Nauchni mir, 2003. ]
3. Хомский Н. Язык и проблема знания // Вестник МГУ . 1996. Вып. 6. С. 157-185. [ N. Chomsky, « The language and the problem of knowledge," (in Russian), Vestnik MGU, no. 6, pp. 157-185, 1996. ]
4. Погонин В. А. Модели диспетчерского управления роботами. // Информационные процессы и управление: интернет-журнал. 2006. № 1. С. 45-57. .[ V. A. Pogonon, "The model of Supervisory control robots," (in Russian), Internet-journal of Information processes and control, no. 1, pp. 4557, 2006. ]
5. Википедия. Категория множеств [Электрон. ресурс]. URL: http://ru.wikipedia.org/wiki/Категория_множеств (дата обращения 09.04.14). [ Wikipedia. Category of sets [Online]. Available: http://ru.wikipedia.org/wiki/Категория_множеств]
6. ГОСТ 3.1001-2011. Единая система технологической документации. Общие положения. М.: Стандартинформ, 2011. 8 с. [ Unified system for technological documentation. General provisions, GOST 3.1001-2011, (in Russian). Moscow: Standatrinform, 2011. ]
7. Речкалов А. В. Дифференциация типов производств при формировании системы оперативного управления машиностроительным предприятием // Проблемы улучшения использования математических методов ЭВМ в народном хозяйстве области: тез. докл. IV обл. науч.-техн. конф. Тюмень, 1984. С. 16-17. [ A. V. Rechkalov, "The different types of industries in the formation of the system of operational control engineering company," (in Russian), in Problems of improving the use of mathematical methods of computers in the national economy region: abstracts IV regional scientific and technology conf. Tyumen, pp. 16-17, 1984. ]
8. ГОСТ 3.1123-84. Единая система технологической документации. Формы и правила оформления технологических документов, применяемых при нормировании расхода материалов. М.: Госстандарт СССР , 1984. 212 с. [ Unified system for technological documentation. Forms and rules of design and technological documents used in the valuation of material consumption, (in Russian), Federal standard R GOST 3.1123-84. Moscow: Goststandart USSR, 1984. ]
9. ГОСТ Р ИСО/МЭК 15288-2005. Информационная технология. Системная инженерия. Процессы жизненного цикла систем. М.: Стандартинформ, 2006. 54 с. [ Information technology. System engineering. System life cycle processes, (in Russian), Federal standard R ISO/IEC 15288:2008. Moscow: Standatrinform, 2006. ]
10. Антонов В. В., Куликов Г. Г., Антонов Д. В. Теоретические и прикладные аспекты построения моделей информационных систем. LAP LAMBERT Academic Publishing GmbH & Co.KG, Germany, 2011, 134 с. [ G. G.Kulikov, V. V. Antonov, D. V. Antonov, Theoretical and applied aspects of building models of information systems, (in Russian). LAP LAMBERT Academic Publishing GmbH & Co.KG, Germany, 2011. ]
ОБ АВТОРАХ
РЕЧКАЛОВ Александр Васильевич, проф. каф. АСУ, дир. по развитию бизнеса компании GMCS. Дипл. инж. Д-р техн. наук по автоматиз. и упр. технол. процессами и производствами (УГАТУ, 2001). Иссл. в обл. упр. технол. процессами и производствами.
АНТОНОВ Вячеслав Викторович, доц. каф. АСУ. Дипл. математик (Баш. гос. ун-т, 1979). Канд. техн. наук по упр. в соц. и экон. системах (УГАТУ, 2007). Иссл. в обл. автом. систем управления.
АРТЮХОВ Александр Викторович, ген. дир. - упр. дир. Дипл. инженер (УГАТУ, 1996). Иссл. в обл. упр. технол. процессами и производствами.
METADATA
Title: Development of formal integrated model of production of the machine-building enterprise.
Authors: A. V. Rechkalov1, V. V. Antonov1, A. V. Artuhov2
Affiliation:
1 Ufa State Aviation Technical University (UGATU), Russia.
2 Ufa Engine Industrial Association (UMPO), Russia.
Email: 1 [email protected] .
Language: Russian.
Source: Vestnik UGATU (scientific journal of Ufa State Aviation Technical University), vol. 18, no. 4 (65), pp. 125-133, 2014. ISSN 2225-2789 (Online), ISSN 1992-6502 (Print).
Abstract: Practice of introduction of the automated control systems at the large machine-building enterprises shows, that, despite of complication of models of management by supplying and marketing functions, marketing and financial transactions, the most toilful and complex section of a control system there is a production management. In article the question of construction of formal model process with application of the integrated approach demanding the all-round analysis and system development is considered. Complexity of construction of such models consists in necessity of the account of a fair quantity of dynamic conditions of production and maintenance of operative reaction of systems on arising indignations.
Key words: attributive translation; a subject domain; semantic model; a category of sets.
About authors:
RECHKALOV, Alexander Vasil'evich, the professor of faculty of ASU (UGATU). Dr. of Tech. Sci. Sciences, the director on development of business of company GMCS. ANTONOV, Vyacheslav Viktorovich, docent faculty of ASU(UGATU). Cand. Tech. Sci. (UGATU, 2007). ARTUHOV, Alexander Viktorovich, the general director of open joint stock company "Ufa motor-building production Association".
