ГОСТ Р ИСО 18629-44-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 44. Дефинициональные расширения: расширения ресурсов

ГОСТ Р ИСО 18629-44-2011

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы промышленной автоматизации и интеграция

ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА

Часть 44

Дефинициональные расширения: расширения ресурсов

Industrial automation systems and integration. Process specification language. Part 44. Definitional extension. Resource extensions

ОКС 25.040.40

Дата введения 2012-09-01

Предисловие

1ПОДГОТОВЛЕН Научно-техническим центром "ИНТЕК" на основе собственного перевода на русский язык англоязычной версии стандарта, указанного в пункте 4

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 100 "Стратегический и инновационный менеджмент"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 22 декабря 2011 г. N 1613-ст

4 Настоящий стандарт идентичен международному стандарту ИСО 18629-44:2006* "Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 44. Дефинициональные расширения: расширения ресурсов" (ISO 18629-44:2006 "Industrial automation systems and integration - Process specification language - Part 44: Definitional extension: Resource extensions", IDT).

________________

* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - .

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты, сведения о которых приведены в дополнительном приложении ДА

5 ВВЕДЕН ВПЕРВЫЕ

6 ПЕРЕИЗДАНИЕ. Апрель 2020 г.

Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г. N 162-ФЗ "О стандартизации в Российской Федерации". Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)

Введение

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

В настоящем стандарте установлены описания дефинициональных расширений языка программирования, относящихся к расширениям действий в соответствии с комплексом стандартов ИСО 18629.

Все части комплекса ИСО 18629 не связаны с какой-либо конкретной моделью компьютерного представления технологического процесса в рассматриваемом техническом приложении. Все вместе указанные части ИСО 18629 обеспечивают структурную технологическую взаимосвязь процессов производства для улучшения оперативной совместимости рассматриваемых технических приложений.

1 Область применения

Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном в ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629.

Настоящий стандарт распространяется на:

- определения понятий, установленных в ИСО 18629-11, ИСО 18629-12 и ИСО 18629-14 и связанных с ресурсами, множествами ресурсов и соотношениями между ресурсами и действиями;

- определения понятий, установленных в ИСО 18629-11, ИСО 18629-12 и ИСО 18629-14, характеризующих соотношения между ресурсами и действиями.

2 Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие стандарты. Для датированных ссылок применяют только указанное издание ссылочного стандарта, для недатированных - последнее издание (включая все изменения).

ISO/IEC 8824-1, Information technology - Abstract Syntax Notation One (ASN.1) - Part 1: Specification of basic notation [Информационные технологии. Нотация абстрактного синтаксиса версии 1 (ASN.1). Часть 1. Спецификация базовой нотации]

___________________

Заменен на ISO/IEC 8824-1:2015.

ISO 15531-1, Industrial automation systems and integration - Industrial manufacturing management data - Part 1: General overview (Системы промышленной автоматизации и интеграция. Управляющая информация промышленным производством. Часть 1. Общий обзор)

ISO 18629-1:2004, Industrial automation systems and integration - Process specification language - Part 1: Overview and basic principles (Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 1. Обзор и основные принципы)

ISO 18629-11:2005, Industrial automation systems and integration - Process specification language - Part 11: PSL core (Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 11. Ядро PSL)

ISO 18629-12, Industrial automation systems and integration - Process specification language - Part 12: Outer core (Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро)

ISO 18629-14, Industrial automation systems and integration - Process specification language - Part 14: Resource theories (Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 14. Теории ресурсов)

3 Термины, определения и сокращения

3.1 Термины и определения

В настоящем стандарте применены следующие термины с соответствующими определениями:

3.1.1 аксиома (axiom): Точно сформулированное аналитическое выражение на формальном языке, устанавливающее ограничения к интерпретации символов в словаре языка.

[ИСО 18629-1]

3.1.2 установленная лексика (defined lexicon): Набор символов в нелогической лексике, обозначающих установленные понятия.

Примечание - Описываемая лексика включает константы, функции и символы соотношений.

Пример - Термины с консервативными определениями [ИСО 18629-1].

[ИСО 18629-1]

3.1.3 дефинициональное расширение (definitional extension): Расширение ядра PSL, представляющее новые лингвистические понятия, которые могут быть определены с помощью терминов ядра PSL.

Примечание - Дефинициональные расширения не добавляют выразительную силу ядру PSL и используются для подробного описания семантики и терминологии в области применения.

[ИСО 18629-1]

3.1.4 расширение (extension): Расширение ядра PSL, содержащее дополнительные аксиомы.

Примечание 1 - Ядро PSL представляет собой относительно простой набор аксиом, достаточный для представления широкого круга основных процессов. Однако для представления более сложных процессов требуются дополнительные ресурсы, отсутствующие в ядре PSL. Ядро PSL с каждым понятием следует использовать для описаний того или иного процесса, а для описания разнообразных модульных расширений следует использовать расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой язык, который соответствует требованиям к выразительности.

Примечание 2 - Все расширения являются теориями ядра или дефинициональными расширениями.

[ИСО 18629-1]

3.1.5 грамматика (grammar): Правила совместного использования логических символов и словарных терминов для составления точно сформулированных аналитических выражений.

[ИСО 18629-1]

3.1.6 язык (language): Сочетание лексики и грамматики.

[ИСО 18629-1]

3.1.7 лексика (lexicon): Набор символов и терминов.

Примечание - Лексика состоит из логических (например, Булевы выражения и квантификаторы) и нелогических символов. В комплексе стандартов ИСО 18629 нелогическая часть лексики состоит из выражений (констант, функциональных символов и реляционных символов), необходимых для представления основных понятий онтологии.

[ИСО 18629-1]

3.1.8 производство (manufacturing): Функция или действие, предусматривающие перевод или превращение материала из сырья или заготовки в завершенное состояние.

[ИСО 15531-1]

3.1.9 производственный процесс (manufacturing process): Структурированный комплекс видов деятельности или работ, выполняемых с материалом для перевода его из сырья или заготовки в завершенное состояние.

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

[ИСО 15531-1]

3.1.10 примитивная концепция (primitive concept): Лексический термин, не имеющий консервативного определения.

[ИСО 18629-1]

3.1.11 примитивная лексика (primitive lexicon): Набор символов в нелогическом словаре, обозначающих элементарные понятия.

Примечание - Примитивная лексика включает в себя постоянные, функциональные и реляционные символы.

[ИСО 18629-1]

3.1.12 процесс (process): Структурированный ряд видов деятельности, включающий в себя различные сущности предприятия, предназначенный и организованный для достижения конкретной цели.

Примечание - Данное определение аналогично определению, приведенному в ИСО 10303-49. Тем не менее ИСО 15531 нуждается в понятии структурированного набора деятельностей без какого-либо предопределенного отношения ко времени или этапам. С точки зрения управления потоком некоторые свободные процессы могут требовать синхронизации в отношении цели, хотя в действительности они ничего не выполняют (задачи-призраки).

[ИСО 15531-1]

3.1.13 ресурс (resource): Любые устройство, инструмент и средства, за исключением сырья и компонентов конечной продукции, имеющиеся в расположении предприятия для производства товаров и услуг.

Примечание 1 - Рассматриваемое понятие ресурса адаптировано по отношению к ИСО 15531-1. Понятие ресурса, введенное в ИСО 15531-1, не включает сырьевые материалы, продукты и компоненты, являющиеся (с точки зрения системной теории) элементами окружающей среды и, таким образом, не являющиеся частью системы. В настоящем стандарте данное допущение снято. Более того, определение, принятое в ИСО 15531-1, во многом использует определение, принятое в ИСО 10303-49, при этом оно включается в определение, принятое в настоящем стандарте. В дополнение к понятию ресурса, принятому в ИСО 15531, понятие ресурса, принятое в настоящем стандарте, включает сырьевые и расходуемые материалы в соответствии с ИСО 18629-14.

Примечание 2 - Ресурсы в соответствии с приведенным выше определением включают также рабочую силу, рассматриваемую как особое средство с заданными возможностями и заданной производительности. Указанные средства рассматриваются как целесообразные для использования в процессе производства на основании технического задания. Данное определение не включает какого-либо моделирования индивидуального или группового поведения человеческого ресурса, за исключением его способности выполнять заданную работу в процессе производства (например, преобразование сырого материала или полуфабриката, обеспечение логистических услуг и т.п.). Это означает, что человеческие ресурсы, как и другие, рассматриваются с точки зрения их функций, их возможностей и их состояния (например, занят, свободен). При этом исключается какое-либо моделирование или представление какого-либо аспекта индивидуального или группового социального поведения.

[ИСО 15531-1]

3.1.14 теория (theory): Набор аксиом и определений, относящийся к данному понятию или набору понятий.

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

[ИСО 18629-1]

3.2 Сокращения

KIF - формат обмена знаниями (Knowledge Interchange Format).

4 Общая информация об ИСО 18629

Части с 41 по 49 комплекса международных стандартов ИСО 18629 определяют дефинициональные расширения, необходимые для формулировки точных определений и родственных аксиом непримитивных понятий ИСО 18629. Дефинициональные расширения определены ИСО 18629-11 и ИСО 18629-12, где вводятся новые элементы лексики. Данные элементы дефинициональных расширений могут быть полностью определены в соответствии с ИСО 18629-11 и ИСО 18629-12. Дефинициональные расширения дают точные семантические определения элементов, используемых в спецификациях индивидуальных технических приложений или типов технических приложений, при обеспечении совместных работ. Дефинициональные расширения существуют в следующих категориях:

- расширения действий;

- временные расширения и расширения, основанные на состоянии;

- упорядочивание действий и расширение продолжительности;

- назначения ресурса;

- наборы ресурсов;

- расширения действий обрабатывающей программы (процессора).

Индивидуальным (групповым) пользователям комплекса международных стандартов ИСО 18629 может потребоваться расширение ИСО 18629 для спецификации понятий, которое отсутствует в настоящее время в частях 41-49 комплекса международных стандартов ИСО 18629. Для этих целей они должны использовать элементы, определенные в других частях комплекса международных стандартов ИСО 18629. Пользовательские расширения и их определения устанавливают дефинициональные расширения, которые не должны быть включены в части 41-49 комплекса международных стандартов ИСО 18629.

Примечание - Пользовательские расширения должны удовлетворять требованиям ИСО 18629 в соответствии с ИСО 18629-1:2004 (подразделы 5.1 и 5.2).

Части 41-49 комплекса международных стандартов ИСО 18629 распространяются на:

- семантические определения (на основе понятий, установленных в ИСО 18629-11 и ИСО 18629-12), элементы которых являются характерными для шести понятий, определенных выше;

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

Части 41-49 комплекса международных стандартов ИСО 18629 не распространяются на:

- определения и аксиомы для понятий, определенных ИСО 18629-11 и ИСО 18629-12;

- элементы, не определенные в соответствии с ИСО 18629-11 и ИСО 18629-12;

- пользовательские расширения.

5 Структура настоящего стандарта

В настоящем стандарте рассмотрены следующие дефинициональные расширения:

- назначение ресурса;

- согласованность действий, основанная на емкости ресурса;

- совместное использование ресурса;

- действия, обусловленные набором ресурсов;

- взаимозаменяемые ресурсы;

- гомогенные множества;

- набор материально-производственных ресурсов;

- объединенные ресурсы;

- действия обрабатывающей программы (процессора);

- пути ресурса.

Все требования, приведенные в настоящем стандарте, являются расширениями ИСО 18629-14, а также расширениями ИСО 18629-12 и ИСО 18629-11.

6 Назначение ресурса

Данный раздел характеризует определения, обусловленные назначением ресурса.

В контексте ИСО 18629 объектом рассмотрения являются ресурс и соответствующие действия (процессы), которые используют данный ресурс. Поэтому никакая аксиоматизация свойств ресурсов (например, рассмотрение дискретных и непрерывных ресурсов) не рассматривается. Назначение ресурса является одним из путей формализации, когда действию ставится в соответствие ресурс. Интуитивно ясно, что в основе аксиоматизации назначения ресурса лежит классификация взаимовлияния действий по отношению к ресурсу, который они делят. В особенности множество назначений ресурса, определенное в данном разделе, задает классификацию интерферирующих действий (когда эффекты одного действия искажают входные условия для другого действия).

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

6.1 Примитивная лексика назначения ресурса

Лексика назначения ресурса не требует никаких примитивных соотношений.

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

В данном разделе определены следующие соотношения:

- (reusable ?r ?а);

- (possibly_reusable ?r ?а);

- (renewable ?r ?а);

- (weakly_reusable ?r ?а);

- (consumable ?а);

- (possibly_consumable ?r ?а);

- (weakly consumable ?r ?а);

- (wearable ?r ?a).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

6.3 Теории ядра, обусловленные назначением ресурса

Для данного расширения необходимы:

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

6.4 Дефинициональные расширения, обусловленные назначением ресурса

Назначения ресурса не требуют никаких дефинициональных расширений.

6.5 Определения понятий для назначения ресурса

Для назначения ресурса определены нижеследующие понятия.

6.5.1 reusable

Какой-либо ресурс ?r может быть использован повторно действием ?а, если какое-либо другое действие, также требующее ?r, может выполниться после завершения выполнения ?а в любом случае в будущем.

Пример - Повторно используемым ресурсом может быть станок, не требующий повторного запуска между действиями. Как только одно действие закончено, всегда возможно выполнить и другое действие.

6.5.2 possibly_reusable

Какой-либо ресурс ?r может быть использован повторно действием ?а, если какое-либо другое действие, также требующее ?r, может быть выполнено после завершения действия ?а в некотором случае в будущем.

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

6.5.3 renewable

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

Пример - Обновляемым ресурсом является солнечная батарея. Если ее заряд истощен, то всегда есть возможность в будущем перезарядить батарею (с помощью солнца), тогда ею снова можно будет пользоваться.

6.5.4 weakly_reusable

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

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

6.5.5 consumable

Какой-либо ресурс ?r является потребляемым действием ?а, если какое-либо другое действие, также требующее ?r, не может быть выполнено после завершения ?а.

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

6.5.6 possibly_consumable

Какой-либо ресурс ?r является возможно потребляемым по отношению к некоторому действию ?а1, если после завершения ?а1 возникает ситуация, в которой любое действие, требующее ?r, становится неосуществимым.

6.5.7 weakly_consumable

Какой-либо ресурс ?r является слабо потребляемым по отношению к некоторому действию ?а1, если после завершения ?а1 всегда возможна ситуация в будущем, когда какое-либо другое действие, требующее ?r, становится невозможным.

Пример - Слабо потребляемым ресурсом является кисть для рисования. Если не положить ее в растворитель после использования, то любое действие в будущем, требующее данной кисти, становится невозможным.

6.5.8 wearable

Какой-либо ресурс ?r является изнашиваемым по отношению к некоторому действию ?а1 тогда и только тогда, когда после завершения ?а1 всегда возможны ситуации в будущем, когда какое-либо другое действие, требующее ?r, становится невозможным.

Пример - Изнашиваемым ресурсом является бита дрели. В любом случае в будущем всегда возможна ситуация, когда бита будет изношена до предела и далее не может быть использована.

7 Согласованность действий, основанная на емкости ресурса

_______________

В настоящем стандарте термин "согласованность" используется в значении "взаимосовместимость".

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

7.1 Примитивная лексика согласованности действий, основанной на емкости ресурса

Лексика согласованности действий, основанной на емкости ресурса, не требует никаких примитивных соотношений.

7.2 Определяемая лексика понятий для согласованности действий, основанной на емкости ресурса

В данном подразделе определены следующие соотношения:

- (exclusive_use ?а ?r);

- (capacity_based ?а ?r);

- (unary_resource ?r);

- (capacitated ?r);

- (uniform_demand ?r ?q);

- (layput ?r ?а).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

7.3 Теории, обусловленные согласованностью действий, основанной на емкости ресурса

Для данной теории необходимы:

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

7.4 Дефинициональные расширения, обусловленные согласованностью действий, основанной на емкости ресурса

Согласованность действий, основанная на емкости ресурса, не требует никаких дефинициональных расширений.

7.5 Определения согласованности действий, основанной на емкости ресурса

Для согласованности действий, основанной на емкости ресурса, определены нижеследующие понятия.

7.5.1 exclusive_use

Ресурс является эксклюзивным для некоторого действия тогда и только тогда, когда запрос ресурса эквивалентен его предоставлению.

Примечание - Если какой-либо ресурс является эксклюзивным по отношению к двум действиям, то эти два действия не могут быть совместными.

7.5.2 capacity_based

Ресурс определяется емкостью некоторого действия тогда и только тогда, когда запрос ресурса меньше его предоставления.

Примечание - Ресурс, определяемый емкостью, можно разделить между несколькими действиями.

7.5.3 unary_resource

Какой-либо ресурс является унарным тогда и только тогда, когда для всех действий, требующих данный ресурс, он является эксклюзивным.

7.5.4 capacitated_resource

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

7.5.5 uniform_demand

Некоторое действие выполняет унифицированный запрос на какой-либо ресурс тогда и только тогда, когда запрос данного ресурса один и тот же во всех случаях.

7.5.6 layout

Некоторое действие является раскладочным для некоторого ресурса тогда и только тогда, когда его запрос зависит от эффектов других действий.

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

8 Совместное использование ресурса

Данный раздел характеризует все определения, обусловленные совместным использованием ресурса.

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

8.1 Примитивная лексика совместного использования ресурса

Лексика совместного использования ресурса не требует никаких примитивных соотношений.

8.2 Определяемая лексика совместного использования ресурса

В данном подразделе определены следующие соотношения:

- (consumes_quantity ?s1 ?s2 ?а);

- (strict_consumes_quantity ?s1 ?s2 ?a);

- (produces_quantity ?occ1 ?occ2);

- (strict_produces_quantity ?occ);

- (uses_quantity ?occ);

- (creates ?occ);

- (destroys ?occ);

- (fixed_quantity ?r);

- (nonreplenishable ?r);

- (uses ?a ?r);

- (consumes ?a ?r);

- (strict_consumes ?a ?r);

- (produces ?a ?r);

- (strict_produces ?a ?r);

- (provides ?a ?r);

- (provides_quantity ?a ?r).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

8.3 Теории, обусловленные совместным использованием ресурса

Для данной теории необходимы нижеследующие расширения:

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

8.4 Дефинициональные расширения, обусловленные совместным использованием ресурса

Совместное использование ресурса не требует никаких дефинициональных расширений.

8.5 Определения для совместного использования ресурса

Для совместного использования ресурса определены нижеследующие понятия.

8.5.1 consumes_quantity

Некоторое действие потребляет некоторое количество ?q какого-либо ресурса тогда и только тогда, когда запрос ресурса равен ?q и предоставление ресурса уменьшается на ?q после завершения действия.

8.5.2 strict_consumes_quantity

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

8.5.3 produces_quantity

Некоторое действие производит некоторое количество ?q какого-либо ресурса тогда и только тогда, когда предоставление ресурса увеличивается на ?q после завершения действия.

8.5.4 strict_produces_quantity

Некоторое действие строго производит некоторое количество какого-либо ресурса тогда и только тогда, когда не существует других действий, потребляющих какое-либо его количество.

8.5.5 uses_quantity

Действие использует некоторое количество ?q какого-либо ресурса тогда и только тогда, когда запрос ресурса равен ?q и предоставление ресурса не меняется при выполнении действия.

Пример - Например, в случае, когда для строительства нужно пять рабочих, так как число рабочих не меняется в процессе работы.

8.5.6 creates

Некоторое действие создает какой-либо ресурс тогда и только тогда, когда оно производит некоторое количество данного ресурса, и количество ресурса до начала выполнения данного действия равнялось нулю.

8.5.7 destroys

Некоторое действие уничтожает какой-либо ресурс тогда и только тогда, когда оно потребляет некоторое количество ресурса, и количество данного ресурса после завершения данного действия равно нулю.

8.5.8 fixed_quantity

Какой-либо ресурс имеет фиксированное количество ?q тогда и только тогда, когда предоставление ресурса неизменно и одно и то же во всех случаях.

8.5.9 nonreplenishable

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

8.5.10 uses

Некоторое действие использует какой-либо ресурс тогда и только тогда, когда оно использует некоторое количество данного ресурса.

8.5.11 consumes

Некоторое действие потребляет какой-либо ресурс тогда и только тогда, когда оно потребляет некоторое количество данного ресурса.

8.5.12 strict_consumes

Некоторое действие строго потребляет какой-либо ресурс тогда и только тогда, когда оно строго потребляет некоторое количество данного ресурса.

8.5.13 produces

Некоторое действие производит какой-либо ресурс тогда и только тогда, когда оно производит некоторое количество данного ресурса.

8.5.14 strict_produces

Некоторое действие строго производит какой-либо ресурс тогда и только тогда, когда оно строго производит некоторое количество данного ресурса.

8.5.15 provides_quantity

Некоторое действие обеспечивает некоторое количество какого-либо ресурса тогда и только тогда, когда существует поддействие, которое производит некоторое количество данного ресурса, и другое поддействие, которое потребляет некоторое количество данного ресурса.

8.5.16 provides

Некоторое действие обеспечивает какой-либо ресурс тогда и только тогда, когда оно обеспечивает некоторое количество какого-либо ресурса.

9 Действия, обусловленные набором ресурсов

Данный раздел характеризует все определения для действий, обусловленных набором ресурсов.

9.1 Примитивная лексика действий, обусловленных набором ресурсов

Лексика действий, обусловленных набором ресурсов, не требует никаких примитивных соотношений.

9.2 Определяемая лексика действий, обусловленных набором ресурсов

В данном подразделе определены следующие соотношения:

- (nondet_select ?а);

- (nondet_set_select ?а);

- (nondet_quantity_select ?а);

- (res_requires_set ?а);

- (res_requires_full_set ?а);

- (nondet_res_activity ?а).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

9.3 Теории для действий, обусловленных набором ресурсов

Для данной теории необходимы:

- res_set.th;

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

9.4 Дефинициональные расширения для действий, обусловленных набором ресурсов

Для данного расширения необходимо нижеследующее дефинициональное расширение:

- strong_poset.def.

9.5 Определения для действий, обусловленных набором ресурсов

Для действий, обусловленных набором ресурсов, определены нижеследующие понятия.

9.5.1 nondet_select

Некоторое действие является действием с недетерминированным выбором по отношению к какому-либо набору ресурсов ?r1 тогда и только тогда, когда выполнение данного действия эквивалентно выполнению поддействия, требующего какой-либо ресурс, являющийся элементом набора, ассоциированного с набором ?r1.

9.5.2 nondet_set_select

Некоторое действие является действием с недетерминированным выбором набора по отношению к какому-либо набору ресурсов ?r1 тогда и только тогда, когда выполнение данного действия эквивалентно выполнению поддействия, требующего поднабор ресурсов, включающий элементы набора, ассоциированного с ?r1.

9.5.3 nondet_quantity_select

Некоторое действие является действием с недетерминированным выбором количества по отношению к какому-либо набору ресурсов ?r тогда и только тогда, когда оно является действием с недетерминированным выбором набора ресурсов и количество выбранных элементов поднабора равно ?q.

9.5.4 requires_set

Некоторое действие требует набор ресурсов ?r тогда и только тогда, когда каждое поддействие требует некоторый ресурс, являющийся элементом набора, ассоциированного с ?r.

9.5.5 requires_full_set

Некоторое действие требует полный набор ресурсов ?r тогда и только тогда, когда каждый ресурс, являющийся элементом набора, ассоциированного с ?r, обусловлен некоторым поддействием.

9.5.6 nondet_res_activity

Некоторое действие является действием с недетерминированным ресурсом тогда и только тогда, когда причина, по которой действие является недетерминированным, - это недетерминированный выбор по отношению к некоторому набору ресурсов.

10 Взаимозаменяемые ресурсы

Данный раздел характеризует все определения, обусловленные взаимозаменяемыми ресурсами.

10.1 Примитивная лексика взаимозаменяемых ресурсов

Лексика взаимозаменяемых ресурсов не требует никаких примитивных соотношений.

10.2 Определяемая лексика взаимозаменяемых ресурсов

В данном подразделе определены следующие соотношения:

- (superpose_select ?а);

- (homogeneous_set ?а);

- (set_contention ?а).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

10.3 Теории, обусловленные взаимозаменяемыми ресурсами

Для данной теории необходимы:

- res_set.th;

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

10.4 Дефинициональные расширения, обусловленные взаимозаменяемыми ресурсами

Для данного расширения необходимы: set_action.def.

10.5 Определения для взаимозаменяемых ресурсов

Для взаимозаменяемых ресурсов определены нижеследующие понятия.

10.5.1 superpose_select

Некоторое действие ?а осуществляет выбор с суперпозицией по отношению к какому-либо набору ресурсов ?r тогда и только тогда, когда каждое поддействие недетерминированно выбирает поднабор ресурсов из ?r.

Пример - Некоторое действие, требующее и рабочего, и токарный станок, может выбрать нужный токарный станок из некоторого набора станков. Действия, выбирающие каждый токарный станок, осуществляют выбор с суперпозицией.

10.5.2 homogeneous_set

Какой-либо набор ресурсов является гомогенным тогда и только тогда, когда он обусловлен действием, осуществляющим выбор с суперпозицией.

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

10.5.3 set_contention

Некоторое действие является конкурентным по отношению к какому-либо ресурсу ?r тогда и только тогда, когда входные условия для данного действия требуют, чтобы ?r был гомогенным набором и чтобы ?r был доступным.

11 Гомогенные множества

Данный раздел характеризует все определения, обусловленные гомогенными множествами.

11.1 Примитивная лексика гомогенных множеств

Лексика гомогенных множеств не требует никаких примитивных соотношений.

11.2 Определяемые соотношения для гомогенных множеств

В данном подразделе определены следующие соотношения:

- (pile ?a);

- (stock ?а);

- (pool ?a);

- (pool_demand ?а);

- (uses_pile ?а ?r);

- (consumes_pile ?а ?r);

- (produces_pile ?а ?r).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

11.3 Теории ядра, обусловленные гомогенными множествами

Для данной теории необходимы следующие теории ядра:

- res_set.th;

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

11.4 Дефинициональные расширения, обусловленные гомогенными множествами

Для данного расширения необходимы следующие дефинициональные расширения:

- subst_res.def;

- res_set_action.def;

- res_divisible.def.

11.5 Определения для гомогенных множеств

Для гомогенных множеств определены нижеследующие понятия.

11.5.1 pile

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

11.5.2 stock

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

11.5.3 pool

Какой-либо набор ресурсов является объединенным по отношению к некоторому действию тогда и только тогда, когда он является гомогенным набором по отношению к данному действию, а запрос объединенного ресурса равен количеству элементов поднабора.

11.5.4 pool_demand

Объединенный ресурс используется некоторым действием тогда и только тогда, когда данное действие использует некоторое количество данного объединенного ресурса (необходимо помнить, что объединенные ресурсы сами являются ресурсами).

11.5.5 uses_pile

"Множество" используется некоторым действием тогда и только тогда, когда указанное действие использует некоторое количество данного объединенного ресурса (необходимо помнить, что объединенные ресурсы сами являются ресурсами).

11.5.6 consumes_pile

"Множество" потребляется по отношению к некоторому действию тогда и только тогда, когда данное действие потребляет некоторое количество данного ресурса в объединенном ресурсе (необходимо помнить, что объединенные ресурсы сами являются ресурсами).

11.5.7 produces_pile

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

12 Объединенные ресурсы

Данный раздел характеризует все определения, обусловленные объединенными ресурсами.

12.1 Примитивная лексика объединенных ресурсов

Лексика объединенных ресурсов не требует никаких примитивных соотношений.

12.2 Определяемая лексика объединенных ресурсов

В данном подразделе определены следующие соотношения:

- (resource_pool ?а);

- (conservative_pool ?а);

- (material_pool ?а).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

12.3 Теории, обусловленные объединенными ресурсами

Для данной теории необходимы:

- res_set.th;

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

12.4 Дефинициональные расширения, обусловленные объединенными ресурсами

Нижеследующие дефинициональные расширения обусловлены объединенными ресурсами:

- homogeneous_setdef;

- subst_res.def;

- res_set_action.def.

12.5 Определения для объединенных ресурсов

Для объединенных ресурсов определены нижеследующие понятия.

12.5.1 resource_pool

Объединение ресурсов представляет собой какой-либо набор ресурсов, гомогенный по отношению к некоторому действию ?а. Его емкостные ограничения удовлетворяют следующим условиям:

- предоставление ресурса для объединения ресурсов равно количеству элементов ассоциированного набора;

- запрос объединения ресурсов некоторым действием равен количеству элементов поднабора ресурсов, требуемых данным действием;

- минимальная емкость объединения ресурсов эквивалентна минимальному количеству элементов ассоциированного набора.

Пример - При выполнении типовых производственных действий объединенные ресурсы являются множеством ресурсов повторного использования, таких, как набор токарных станков или набор отверток, которые могут быть выбраны для выполнения заданного действия.

12.5.2 conservative_pool

Объединение ресурсов является консервативным по отношению к некоторому действию тогда и только тогда, когда запрос на объединенный ресурс равен количеству, которое используется или потребляется.

12.5.3 material_pool

Объединение материалов представляет собой объединение ресурсов по отношению к некоторому действию тогда и только тогда, когда объединение ресурсов обусловливает количество по отношению к заданному действию.

13 Набор материально-производственных ресурсов

Данный раздел характеризует все определения, обусловленные набором материально-производственных ресурсов.

13.1 Примитивная лексика набора материально-производственных ресурсов

Лексика набора материально-производственных ресурсов не требует никаких примитивных соотношений.

13.2 Определяемая лексика набора материально-производственных ресурсов

В данном подразделе определены следующие соотношения:

- (inventory_resource ?s1 ?s2 ?а);

- (inventory_pool ?s1 ?s2 ?a);

- (inventory_contains ?s1 ?s2 ?a).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

13.3 Теории, обусловленные набором материально-производственных ресурсов

Для данной теории необходимы:

- res_set.th;

- additive.th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

13.4 Дефинициональные расширения, обусловленные набором материально-производственных ресурсов

Нижеследующие дефинициональные расширения обусловлены набором материально-производственных ресурсов:

- homogeneous_set.def;

- subst_res.def;

- res_set_action.def;

- processor.def.

13.5 Определения для набора материально-производственных ресурсов

Для набора материально-производственных ресурсов определены нижеследующие понятия.

13.5.1 inventory_resource

Материально-производственный ресурс - это либо входной материал, либо выходной материал для некоторого действия.

13.5.2 inventory_pool

Материально-производственный объединенный ресурс - это какой-либо набор ресурсов, являющийся гомогенным по отношению к некоторому действию ?а. Его емкостные ограничения удовлетворяют следующим условиям:

- предоставление объединенного ресурса равно максимальному количеству элементов ассоциированного набора;

- совокупный запрос объединенного ресурса перед выполнением некоторого действия равен количеству элементов набора, ассоциированного с ресурсом в данном состоянии;

- запрос объединенного ресурса некоторым действием равен количеству элементов набора ресурсов, обусловленного данным действием;

- минимальная емкость объединенного ресурса эквивалентна минимальному количеству элементов ассоциированного набора.

Пример - В типовом производственном случае объединенные материально-производственные ресурсы представляют собой резервные запасы материалов и прочие наборы входных и выходных материалов.

13.5.3 inventory_contains

Ресурс является содержащимся в объединенном материально-производственном ресурсе, если он входит в набор ресурсов, ассоциированный с данным материально-производственным ресурсом.

14 Действия обрабатывающей программы (процессора)

Данный раздел характеризует все определения, обусловленные действиями процессора.

14.1 Примитивная лексика действий процессора

Лексика действий процессора не требует никаких примитивных соотношений.

14.2 Определяемая лексика действий процессора

В данном подразделе определены следующие соотношения:

- (processor_activity ?occ);

- (processor_resource ?r ?a);

- (input_material ?r ?a);

- (output_material ?r ?a).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

14.3 Теории, обусловленные действиями процессора

Для данной теории необходимы:

- additive .th;

- requires.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

14.4 Дефинициональные расширения, обусловленные действиями процессора

Для данного расширения необходимо: res_role.def.

14.5 Определения для действий процессора

Определены нижеследующие понятия для действий процессора, которые образуют подкласс действий, определенных по отношению к назначению ресурса.

14.5.1 processor_activity

Действие процессора представляет собой класс действий, использующих некоторый набор ресурсов, потребляющих некоторый другой набор ресурсов и производящий набор объектов.

Пример - Действия процессора являются типичными производственными процессами, особенно это относится к поддействиям планов технологического процесса и моделей логистических цепочек.

14.5.2 processor_resource

Объект ?r является ресурсом процессора для некоторого действия ?а, если ?а является действием процессора, использующим ?r.

Пример - В типовом производственном случае ресурсом процессора является станок или инструмент.

14.5.3 input_material

Объект ?r является входным материалом для некоторого действия ?а тогда и только тогда, когда ?а является действием процессора, потребляющим или возможно потребляющим ?r.

Пример - Ресурсы входных материалов определяются строго по назначению ресурса. В типовом производственном случае потребляемые ресурсы (например, сырьевые материалы) следует рассматривать как входные материалы.

14.5.4 output_material

Объект ?r является выходным материалом для некоторого действия ?а, если ?а - это действие процессора, производящее, потребляющее или возможно потребляющее ?r.

Пример - В типовом производственном случае выходной материал - это либо нечто созданное (например, печатная плата), либо нечто возможно потребляемое (например, некоторое сборочное приспособление, на которое устанавливаются вспомогательные детали).

15 Пути ресурса

Данный раздел характеризует все определения, обусловленные путями ресурса.

15.1 Примитивная лексика путей ресурса

Лексика путей ресурса не требует никаких примитивных соотношений.

15.2 Определяемая лексика путей ресурса

В данном подразделе определены следующие соотношения:

- (next_processor_path ?а ?s);

- (pro_precedes ?а ?s);

- (resource_path ?а ?s);

- (initial_resource_path ?a ?s);

- (final_resource_path ?a ?s).

Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой KIF.

15.3 Теории, обусловленные путями ресурса

Для данной теории необходимы:

- additive.th;

- requires.th;

- soo.th;

- act_occ.th;

- complex.th;

- subactivity.th;

- occtree.th;

- disc_state.th;

- psl_core.th.

15.4 Дефинициональные расширения, обусловленные путями ресурса

Для путей ресурса необходимы нижеследующие дефинициональные расширения:

- processor.def;

- res_role.def.

15.5 Определения для путей ресурса

Для путей ресурса определены нижеследующие понятия.

15.5.1 next_processor_path

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

15.5.2 pro_precedes

pro_precedes - оператор частичного упорядочивания событий, заключающихся в выполнении поддействий процессора для ?а по отношению к потоку ресурсов.

15.5.3 resource_path

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

Пример - Пути ресурса включают понятия планов технологического процесса, маршрутизацию и потоки в логистических цепочках.

15.5.4 initial_resource_path

Рассматриваемым событием является инициирующее событие для некоторого действия ?а, если ?а есть какой-либо путь ресурса, а данное событие является начальным для упорядочивания событий, заключающихся в выполнении поддействий.

15.5.5 final_resource_path

Некоторое событие является заключительным событием процессора для некоторого действия ?а, если ?а есть какой-либо путь ресурса, а данное событие является конечным для упорядочивания событий.

Приложение А
(справочное)

ASN.1 Идентификатор настоящего стандарта

Для однозначной идентификации информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор:

iso standard 18629 part 44 version 1

Значение данного идентификатора определено в ИСО/МЭК 8824-1 и детально описано в ИСО 18629-1.

Приложение В
(справочное)

Пример описания технологического процесса в соответствии с настоящим стандартом

В данном приложении рассмотрен подробный сценарий использования языка спецификаций процесса PSL (Process Specification Language) в соответствии с ИСО 18629, а также программное описание конкретного технологического процесса.

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

В данном приложении рассмотрено расширение примера, использованного в ИСО 18629-11:2005 (приложение Е). Пример иллюстрирует технические приложения понятий дефинициональных расширений для спецификации процесса изготовления изделия GT-350.

В.1 Процесс изготовления изделия GT-350

В данном разделе различные производственные процессы объединены в набор действий высокого уровня, необходимых для создания изделия GT-350. В соответствии с технологической картой изделия GT-350 (см. ИСО 18629-11:2005, приложение D, таблица D.1) компоненты данного изделия либо покупают по контракту, либо изготовляют внутри самого предприятия. Рассматриваемые описания технологических процессов связаны с конкретными действиями, выполняемыми внутри предприятия для изготовления компонентов изделия. Данное рассмотрение технологического процесса в направлении "сверху вниз" дает общую картину происходящего, описание комплексного действия по изготовлению изделия GT-350, состоящего из составляющих действий, выполняемых на уровне более мелких подразделений предприятия.

В соответствии с рисунком В.1, весь процесс изготовления изделия GT-350 организован в шести основных секторах. В первых пяти из них (изготовление интерьера, изготовление привода, изготовление кузова, изготовление двигателя и изготовление шасси) работы могут быть выполнены независимо друг от друга. Одно условие: они должны быть закончены к моменту начала общей сборки изделия.

Представление верхнего уровня технологического процесса с помощью расширения языка программирования PSL имеет вид:

Каждое из указанных абстрактных действий может быть рассмотрено в деталях, однако в данном примере это сделано только в отношении некоторых из них.

Рисунок В.1 - Верхний уровень процесса изготовления изделия GT-350 [4]

На базе представления IDEF3 (в терминах представления технологического процесса) для краткого описания действий, встречающихся на различных стадиях процесса изготовления изделия, в настоящем стандарте приведены некоторые примеры использования языка программирования PSL-Outercore и дефинициональных расширений в соответствии с ИСО 18629-12.

В.2 Абстрактное действие "make_engine" (изготовление двигателя)

Двигатель изделия GT-350 собирается из агрегатов, изготовленных в нескольких подразделениях предприятия. Схема процесса изготовления дана на рисунке В.2. Агрегат состоит из двигательного блока, жгутов и кабелей. Составляющие процессы детально рассмотрены в подразделах ниже. Двигатель изделия GT-350 собирается на сборочном стенде А004. Сборка одного двигателя занимает 5 мин.

Рисунок В.2 - Процесс изготовления двигателя изделия GT-350 [4]

Представление некоторых действий и соответствующих данных технологического процесса на языке PSL на этапе изготовления двигателя имеет вид:

Данное представление формализует технологический процесс, представленный на рисунке В.2.

Процесс изготовления двигателя требует четыре ресурса: блок двигателя, жгут, набор проводов и производственный участок. Производственный участок является повторно используемым ресурсом. Ресурс "engine_block" (блок двигателя) является "possibly_consumable" (возможно потребляемым ресурсом), так как он может быть использован повторно в будущем при модификации данного блока. Однако данный ресурс не может быть использован всеми действиями (после того как некоторые изменения в него были внесены). Ресурс "harness" (жгут) является "consumable" (потребляемым ресурсом), так как никакие последующие действия не смогут использовать жгут повторно после его установки. Ресурс "wires" (набор проводов) - это изнашиваемый ресурс, так как в результате многократного совершенствования процесса "make_engine" (изготовление двигателя) количество проводов в наборе ресурсов уменьшается.

Все указанные ограничения показывают, что действие "make_engine" является действием процессора, в котором жгут и провод являются входными материалами. Объект "engine_block" (блок двигателя) является одновременно и входным материалом, и выходным материалом, так как он модифицируется в процессе изготовления двигателя "make_engine".

Провода представляют собой некоторый набор ресурсов, так как любой поднабор проводов может быть потреблен в процессе "make_engine". Данный набор ресурсов - это "pile" ("куча").

В.2.1 Изготовление блока двигателя "make_block"

Блок изделия GT-350 выполняется как агрегат для сборки двигателя изделия GT-350. Изготовление блока требует выполнения всех технологических операций, начиная от литья заготовки и ее механической обработки (см. рисунок В.3).

Рисунок В.3 - Процесс изготовления блока изделия GT-350 [4] :

Представление некоторых действий и технологических данных на языке программирования PSL:

Данное представление формализует технологический процесс, представленный на рисунке В.3.

Действие "make_block" (изготовление блока) - это действие процессора с путем, включающее последовательность двух поддействий процессора "produce_molded_metal" (прессование металлической заготовки и "machine_block" (механическая обработка блока).

Поддействие "produce_molded_metal" потребляет металлический блок, использует литье и изготовляет прессованный блок.

Поддействие "machine_block" потребляет прессованный блок и использует фрезерный станок.

Литье выполняется только однажды. Оно эксклюзивно используется действием "produce_molded_metal" и, таким образом, является "unary" (унарным) ресурсом.

Фрезерный станок может быть использован многократно, это ресурс с ограниченной пропускной способностью.

В.2.2 Изготовление жгута "make_harness"

Жгут изделия GT-350 (см. рисунок В.4) изготовляется как сборочный агрегат двигателя изделия GT-350. Данный технологический процесс организован в цехе кабелей и проводов. Жгут изделия GT-350 собирается на особом стенде из проводов и кабелей. Сборка одного жгута занимает 10 мин.

Рисунок В.4 - Процесс изготовления жгута изделия GT-350 [4]

Ниже дано представление некоторых действий и соответствующих технологических данных на языке программирования PSL-Outercore:

Приложение ДА
(справочное)

Сведения о соответствии ссылочных международных стандартов национальным стандартам

Таблица ДА.1

Библиография

Электронный текст документа

и сверен по:

, 2020