Научная статья на тему 'Технология проектирования автоматизированных систем подготовки производства'

Технология проектирования автоматизированных систем подготовки производства Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
120
42
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ АЛГОРИТМОВ И ПРОГРАММ / TECHNOLOGY OF ALGORITHM DESIGN / ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ / SOFTWARE / АЛГОРИТМИЧЕСКИЙ МОДУЛЬ / ALGORITHMIC MODULE / ПРОГРАММНЫЙ МОДУЛЬ / PROGRAM MODULE / ИНСТРУМЕНТАЛЬНАЯ СИСТЕМА / INSTRUMENTAL SYSTEM

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Падун Борис Степанович

Рассматриваются основные положения технологии построения программных комплексов, проектирования алгоритмов и программных компонентов, организации информационного взаимодействия программных комплексов и компонентов, формирования схем решения технологических задач.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Падун Борис Степанович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Technology of Computer-Based System Design for Preproduction

Basic principles are considered to be applied in technology of program complex development, design of algorithms and program components, organization of informational interaction of program complexes and components, and creation of schematic solution for technological tasks.

Текст научной работы на тему «Технология проектирования автоматизированных систем подготовки производства»

УДК 65.011.56:621.9

Б. С. Падун

ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ПОДГОТОВКИ ПРОИЗВОДСТВА

Рассматриваются основные положения технологии построения программных комплексов, проектирования алгоритмов и программных компонентов, организации информационного взаимодействия программных комплексов и компонентов, формирования схем решения технологических задач.

Ключевые слова: технология проектирования алгоритмов и программ, программное обеспечение, алгоритмический модуль, программный модуль, инструментальная система.

Введение. Система автоматизированного проектирования (САПР) технологической подготовки производства (ТПП) включает большое число составных разнородных элементов и имеет сложное управление, ее компоненты имеют разный уровень формализации, ее пользователи — это специалисты в различных областях знания, при решении задач используются разные (порой противоречивые) критерии, система может допускать ошибки, ей необходимо адаптироваться к внешним условиям и развиваться во времени.

Когда решаются локальные задачи технологического проектирования или когда они решаются только в диалоговом режиме, разработчик практически не задумывается о технологии проектирования алгоритмов и программных компонентов. Но переход к созданию интегрированной системы сразу „вскрывает" проблемы проектирования, вызванные отсутствием такой технологии.

Цель настоящей статьи — сформулировать основные положения технологии проектирования САПР ТПП [1, 2].

1. Формирование состава и структуры программного обеспечения (ПО) САПР ТПП. В работах [2, 3] САПР ТПП определена как совокупность программных, информационных, лингвистических и технических слоев. Программные слои обеспечивают связь пользователя с абсолютными ресурсами. Такой подход известен как подход Е. Дейкстра. В раборах [2, 3] предложена организация связи САПР ТПП с системами управления базами данных через специальный слой, который был назван интерфейсным. Связь пользователя и программных компонентов обеспечивается специальными языковыми средствами (лингвистическими слоями).

Применение слоевого подхода позволяет решить задачу независимости программного приложения от способа хранения данных и используемых СУБД, создает предпосылки для эффективного использования инвариантных программных средств и повышает адаптивные свойства системы.

2. Определение структуры и состава пакета и управления пакетом программ. В работе [4] предлагалось использовать для САПР ТПП два варианта организации пакета: простой для локальных систем и сложный — для комплексных и интегрированных. Состав задач ТПП и последовательность их решения определяются динамически во время выполнения работ. Для этого управляющая программа пакета реализует программную грамматику, где словарь (терминальные символы) — это имена компонентов ПО; классы (нетерминальные символы) — это имена функций ТПП; аксиома — это имя составной части управляющей программы „монитор", классы „система" и „аварийное завершение"; правила подстановки — это возможные структурные варианты терминальных и нетерминальных символов, которые разбиты по классам.

В процессе проектирования ТПП некоторые компоненты ПО или пользователь в режиме диалога задают правила подстановки. „Монитор" реализует предложение, состоящее из

терминальных и нетерминальных символов. Передача управляющих данных выполняется через коммуникационную область памяти, проблемных — через общую область.

3. Выбор способа построения программного компонента, решающего конкретную задачу ТПП. В работе [2] предложены правила определения способа построения программного компонента, которые основаны на согласовании классификаций задач проектирования и типов программных компонентов. Задачи разделяются на четыре группы (рис. 1):

— инвариантные по отношению к производственным условиям, где эти задачи решаются, поэтому программные компоненты строятся как неизменяемые (оригинальные);

— с неизменяемым составом параметров, по которым принимаются решения, и схемой решения, но с изменяемыми пороговыми значениями параметров. В этом случае строятся оригинальные программные компоненты, для которых пороговые значения параметров выбираются из базы данных или передаются через формальные параметры;

— с изменяемой схемой решения, но с возможностью многократного использования. Алгоритмы решения этих задач следует реализовывать инвариантными программными средствами, имеющими в своем составе унифицированный набор обрабатывающих программ;

— с изменяемой схемой решения, но с возможностью одноразового использования. Алгоритмы решения этих задач реализуются программными компонентами, которые вызываются пользователем в процессе решения задачи. Для вызова программных компонентов могут использоваться языки, приближенные к естественному языку пользователя, меню или справочники.

I Задачи технологической подготовки производства

инвариантные с инвариантной схемой решения, но с изменяемым пороговыми значениями с оригинальными схемами решения и пороговыми значениями

1-1-1

многоразового использования одноразового использования

: : ; ;

оригинальные оригинальные с передачей параметров извне инвариантные инвариантные со средствами вызова

I__' ■ ■

Программные компоненты САПР ТПП |

Рис. 1

Использование данного положения позволяет создать минимально необходимый и достаточный состав программных и алгоритмических средств, на основе которых строится САПР ТПП, это увеличивает адаптивные свойства последней.

4. Формирование схемы решения задачи на основе принципа неокончательных решений. В этом случае схема решения задачи представляется в виде последовательности алгоритмов, где каждый алгоритм решает только часть задачи и определяет допустимое множество решений. Укрупненная модель решения задачи в общем случае представляется в виде

Ь к 1 п к Гг 0 У

Гг = Г 2г Г1г

п к Гг 0 у =

г

где Ь — диалоговый оператор уточнения или корректировки решений; К — глобальный критерий оценки решений; К — частный критерий оценки решений 1-й задачи; Г — алгоритм решения 1-й задачи; Оj — у'-й объект, относительно которого принимается решение; г) — у'-е решение; Я — множество допустимых решений. Наличие членов П К Г 0' и

Г = Г^у ... Г2г- Г^- говорит о том, что процесс принятия решений может быть соответственно параллельным и последовательным. Алгоритмы могут быть реализованы путем синтеза, выбора и поиска решений, порождения новых множеств, вычисления и т.д., которые являются инвариантными по отношению к конкретным алгоритмам.

5. Унификация представления алгоритмического и программного модулей САПР ТПП. Алгоритмический модуль (АМ) в общем случае включает блоки, представленные на рис. 2, а. Назначение блоков понятно из их названия, исключение составляет блок 6. Он описывает действия, направленные на изменение условий проектирования, к которым автор относит те свойства информационных объектов, которые изменяются после применения выбранного решения. Например, во время проектирования технологических процессов после применения выбранного инструментального перехода изменяется состояние заготовки. При возможности изменения условий проектирования после выбора решения работа алгоритмов становится независимой от предыстории развития процесса проектирования. Работа алгоритма — это самостоятельная и независимая часть процесса проектирования.

а)

б)

АМ

ПМ

1

Описание пространства признаков, в котором решается задача

Г

Ввод необходимых данных

2

Описание правил проектирования решений

С

1

Формирование кортежа признаков

Е

3

Допустимые решения

При

2

Принятие множества возможных решений

4

Описание правил оценки и выбора оптимального решения

г3

Выбор допустимых решений

5

Описание правил оформления решения

6

4

Оценка решений и выбор оптимального решения

<-

Описание правил изменения условий проектирования

Оформление решения

6

к

Изменение условий проектирования

В

7

Вывод данных во внешнюю память

БЗ

е т с и с

а

рг

о роп

рп

Рис. 2

Заметим, что если в блоке 2 будут описаны правила, позволяющие выбрать допустимые (т. е. не зависящие от производственных условий) варианты решений, то алгоритм, кроме блока 3, может тиражироваться. Адаптация к конкретным производственным условиям произво-

0

дится заменой блока 3. Следовательно, можно создать библиотеку алгоритмов, которые следует рассматривать как хранилище универсальных технологических знаний. При этом упрощается процесс развития алгоритмов, их обслуживания, распространения и описания.

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

6. Организация информационного взаимодействия программных комплексов и компонентов САПР ТПП, в которой можно выделить четыре уровня представления данных (рис. 3): 0 — уровень пользователя, 1 — общий уровень системы, 2 — уровень комплексов, 3 — уровень компонентов (Т — трансляторы, Ж — программы вывода данных, Е1 и Е2 — редакторы, А — программы формирования пространства признаков, Г — программы формирования результата).

Рис. 3

Для каждого комплекса в общем случае формируется оригинальное представление заданий, а также входных и выходных данных. Это необходимо для удобства эксплуатации ПО, минимизации состава данных об объектах и процессах, возможности представления результатов в форме выходных документов.

Таким образом реализуются принципы независимости и открытости САПР ТПП, но принцип системного единства требует описания исходных данных на едином языке системы J (1-й уровень). Следовательно (рис. 4), язык Зп п-го программного комплекса (2-й уровень) системы должен являться либо составной частью языка системы J (Jп ^ J), либо между языками должно быть взаимно-однозначное соответствие о J). То же должно быть справедливо и для выходного языка, т.е. либо язык Оп комплекса п (2-й уровень) является подмножеством выходного языка системы G (1-й уровень) ^ G), либо должно существовать между ними взаимно-однозначное соответствие о- G).

Языки J и G называются предметными языками описания полной модели объекта или процесса, а языки и {0„} — предметными языками описания частных моделей объекта или процесса. Для перехода от языка J к языкам J„ и от языков Оп к языку G описания данных необходимы редакторы (на рис. 3 — это Е1 и Е2). В этом случае модель описания объекта или процесса на языках J„ или G„ называется производной. Языки J„ и G„ должны иметь единый синтаксис, так как по мере развития системы будут добавляться новые языки, что требует открытости языков J и G.

Каждый компонент также может иметь оригинальное представление данных. Для перехода к 3-му уровню служат программы формирования пространства признаков задачи А, а для перехода от 3-го уровня — программы формирования результата Г. Технология проектирования

алгоритмов и программ должна обеспечивать явное выделение пространства признаков решения задачи и правил формирования массивов результатов. Это согласуется с предложенным способом представления АМ и ПМ (см. рис. 2), где блок 1 АМ реализуется программами группы А, а блок 5 АМ — программами группы F.

О

'И'

Управляющий компонент

Jl

Программный комплекс 1

I

Программный комплекс п

Gl

I

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Программный комплекс N

G„

Рис. 4

7. Декомпозиция алгоритмов. Алгоритмы решения задач ТПП разделяются на части по правилу: „каждая часть алгоритма должна являться функцией признаков, относящихся к объектам одного класса".

Например, решение задачи назначения инструментального перехода P = _/(0, B, I) зависит от параметров детали D, от возможностей оборудования B и параметров инструмента I. Можно эту задачу представить как композицию трех задач P = PIPвPD. В задаче PD по параметрам детали и заготовки определяются способ обработки, интервальные значения режимов резания и требования к режущему инструменту. В задаче Pв по параметрам оборудования уточняются режимы резания и требования к инструменту. В задаче PI по требованиям к режущему инструменту определяются его параметры. Как видно, в этом случае каждая последующая задача доопределяет решение предыдущей.

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

Следовательно, каждая часть алгоритма должна „выбирать" допустимое множество альтернативных решений, что согласуется с четвертым и пятым положениями технологии проектирования. Безусловно, такой подход усложняет проектирование алгоритмов, но при этом значительно повышается их тиражируемость.

8. Организация инвариантных программных комплексов для решения задач ТПП с оригинальными схемами решения и многоразовым использованием. Данные комплексы имеют три уровня: пакеты настройки, обработки и системы управления базами данных и знаний. Пакет обработки выполняет одну из задач ТПП и включает в свой состав лингвистические средства, ориентированные на технолога, и инвариантные программные средства, которые настраиваются на решение конкретной задачи по правилам из базы знаний. Пакет настройки предназначен для настройки пакета обработки на выполнение конкретной функции в кон-

J

Обработка текстовых документов и эволюция автоматизированных систем проектирования 21

кретных производственных условиях. В состав пакета входят средства, ориентированные на разработчика и обеспечивающие накопление баз данных и знаний. Связь между пакетами настройки и обработки осуществляется только через базы данных и знаний. Следовательно, эта связь только информационная. В работе [2] достаточно подробно представлены программные комплексы „Адрес" и „Группа".

Заключение. Соблюдение описанных положений, которые определяют технологию проектирования алгоритмического и программного обеспечения, позволяет генерировать САПР ТПП для конкретного предприятия и осуществлять дальнейшее ее развитие.

СПИСОК ЛИТЕРАТУРЫ

1. Митрофанов С. П., Гульнов Ю. А., Куликов Д. Д., Падун Б. С. Применение ЭВМ в технологической подготовке серийного производства. М.: Машиностроение, 1981. 287 с.

2. Митрофанов С. П., Куликов Д. Д., Миляев О. Н., Падун Б. С. Технологическая подготовка гибких производственных систем. Л.: Машиностроение, 1987. 352 с.

3. Падун Б. С. Программное обеспечение САПР ТПП. Л.: ЛИТМО, 1989. 77 с.

4. Падун Б. С. Математическое обеспечение АСТПП. Л.: ЛИТМО, 1981. 83 с.

Сведения об авторе

Борис Степанович Падун — канд. техн. наук, доцент; Санкт-Петербургский государственный уни-

верситет информационных технологий, механики и оптики, кафедра технологии приборостроения; E-mail: bsp.tps.ifmo@mail.ru

Рекомендована кафедрой Поступила в редакцию

технологии приборостроения 14.12.09 г.

УДК 608.01 519.765

Ю. Е. Котельникова

ОБРАБОТКА ТЕКСТОВЫХ ДОКУМЕНТОВ И ЭВОЛЮЦИЯ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ПРОЕКТИРОВАНИЯ

Исследованы системы обработки текстовой информации, рассмотрены проблемы анализа текстов в производственных задачах.

Ключевые слова: неструктурированные данные, Text Mining, текстовые данные, автоматизированные системы.

Введение. Из всей существующей информации не менее 90 % составляют неструктурированные данные, т.е. совокупность документов, представляющих собой логически объединенный текст без каких-либо ограничений на его структуру. Такая информация хранится в текстовых полях, дальнейшая обработка которых невозможна без потери семантики текста и отношений между его элементами. Для анализа неструктурированных данных на стыке нескольких областей (DataMining, обработка естественных языков, поиск информации, извлечение информации и управление знаниями) разрабатывается особая группа методов — Text Mining.

Программное обеспечение, реализующее методы Text Mining. На настоящий момент существует программное обеспечение, реализующее методы Text Mining, это — масштабируемые системы, имеющие развитые графические интерфейсы, богатые возможности

i Надоели баннеры? Вы всегда можете отключить рекламу.