2 Графическое представление схемы mathematical_context_schema приведено в приложении D.
Схема mathematical_context_schema определяет отображение между физическим множеством или пространством и математическим пространством.
Физическое множество может представлять собой:
- семейство изделий;
- позиции в изделии;
- состояния в рамках действия или пространства состояний;
- значения физических величин в пространстве физических величин.
Отображение устанавливает идентификационную схему для элементов физического множества. Элемент физического множества идентифицируется математическим значением, принадлежащим математическому пространству.
Примеры
1 Множество поперечных сечений балки XB_1234 идентифицируется с помощью множества действительных чисел в интервале [-1,0, +1,0].
2 Множество состояний при выполнении действия "нормальный запуск двигателя типа XYZ_123" идентифицируется с помощью множества действительных чисел в интервале [0,0, 1,0].
3 Множество температур идентифицируется с помощью множества действительных чисел, больших чем -273,15.
Отображение между физическим множеством и математическим пространством называется параметризацией, если физическое множество представляет собой:
- семейство изделий;
- позиции в изделии;
- состояния в рамках действия или пространства состояний.
Параметризации может быть присвоено имя. Дополнительная информация о параметризации может быть определена двумя способами:
- математическое значение может быть определено для каждого элемента физического множества (обеспечивая тем самым конечность физического множества);
- распределение свойства может быть описано относительно параметризации путем представления математического описания схемы распределения.
Примеры
1 Параметризация определена для множества поперечных сечений балки XB_1234. Описание позиций поперечных сечений на балке для ее исходного недеформированного состояния дает информацию о сути параметризации.
2 Параметризация определена для множества состояний действия "нормальный запуск двигателя типа XYZ_123". Описание длительности состояний действия по запуску двигателя дает информацию о сути параметризации.
Отображение между пространством физических величин и математическим пространством называется шкалой. Шкала может быть:
- стандартной шкалой, установленной ИСО или другой организацией по стандартизации, т.е. определенной с помощью единицы измерения;
- определенной по отношению к другой шкале с помощью преобразования, например трехмерного координатного преобразования.
Примечание - Объекты, определяющие шкалу, установлены в ИСО 10303-43.
Пример - Международная практическая температурная шкала, принятая в 1968 году (МПТШ-68), является отображением между пространством температур и множеством действительных чисел, больших чем -273,15. Базисными точками данной шкалы являются температуры, соответствующие конкретным физическим явлениям, например температуре затвердевания золота. Каждой базисной точке назначается действительное число.
Тип данных space_context_select является наращиваемым списком альтернативных типов данных. Он обеспечивает возможность ссылаться на экземпляры типов данных, входящих в тип данных space_context_select или его расширения.
Примечание - Список объектных типов данных может быть расширен в прикладных ресурсах, использующих конструкции данного ресурса.
EXPRESS-спецификация:
*)
TYPE space_context_select = EXTENSIBLE SELECT
(action,
action_method,
general_property,
product_definition,
representation_item,
shape_aspect);
END_TYPE;
(*
Тип данных value_context_select является наращиваемым списком альтернативных типов данных. Он обеспечивает возможность ссылаться на экземпляры типов данных, входящих в тип данных value_context_select или его расширения.
Примечание - Список объектных типов данных может быть расширен в прикладных ресурсах, использующих конструкции данного ресурса.
EXPRESS-спецификация:
*)
TYPE value_context_select = EXTENSIBLE SELECT
(action,
action_method,
general_property,
product_definition,
representation_item,
shape_aspect);
END_TYPE;
(*
Объект compound_maths_space_context является подтипом объекта maths_space_context, определяемым списком особых экземпляров объекта maths_space_context. Объект maths_space, на который ссылается объект maths_space_context, является пространством кортежей. В объекте maths_space_context для каждого элемента в кортеже имеется соответствующая позиция в списке.
Пример - Рассмотрим два разных экземпляра объекта maths_space_context: P1, представляющий связь между двухмерным множеством точек на поверхности изделия 'my product' и R2, и P2, представляющий связь между одномерным множеством состояний действия my_activity и R. Тогда связь между трехмерным множеством точек на поверхности изделия my_product для состояний действия my_activity и R3 является объектом compound_maths_space_context, определяемым произведением P1 x P2.
EXPRESS-спецификация:
*)
ENTITY compound_maths_space_context
SUBTYPE OF (maths_space_context);
components : LIST[2:?] OF maths_space_context;
END_ENTITY;
(*
Определение атрибута
components - экземпляры объекта maths_space_context, являющиеся компонентами объекта compound_maths_space_context. Объект maths_space_context для отдельного состояния изделия может быть получен из объекта maths_space_context, представляющего контекст математического пространства данного изделия. При этом у данного отдельного состояния должен быть объект compound_maths_space_context со списком компонентов, состоящим из единственной ссылки на объект maths_space_context, который представляет контекст математического пространства данного изделия.
Объект defined_maths_space_context является подтипом объекта maths_space_context, определенным с помощью ссылки на объект representation_context, объект unit или на оба эти объекта.
Примечание - Объект defined_maths_space_context может быть реализован как объект representation_context_defined_maths_space_context, объект unit_defined_maths_space_context или как оба эти объекта.
EXPRESS-спецификация:
*)
ENTITY defined_maths_space_context
SUBTYPE OF (maths_space_context);
END_ENTITY;
(*
Объект explicitly_enumerated_maths_space_context является подтипом объекта maths_space_context, определенным с помощью задания экземпляров объекта maths_value_context, которые являются элементами объекта maths_space_context.
Примечание - Объект explicitly_enumerated_maths_space_context может быть определен только для дискретного объекта maths_space с конечным числом элементов.
EXPRESS-спецификация:
*)
ENTITY explicitly_enumerated_maths_space_context
SUBTYPE OF (maths_space_context);
members : SET[1:?] OF maths_value_context;
END_ENTITY;
(*
Определение атрибута
members - экземпляры объекта maths_value_context, которые являются элементами объекта maths_space_context.
Объект maths_space_context является взаимно-однозначным отображением между физическим пространством и объектом maths_space, которое показывает физическую сущность объекта maths_space.
EXPRESS-спецификация:
*)
ENTITY maths_space_context
SUPERTYPE OF (ONEOF (compound_maths_space_context,
defined_maths_space_context,
explicitly_enumerated_maths_space_context));
id : identifier;
name : label;
description : OPTIONAL text;
abstract_space : maths_space;
physical_space : space_context_select;
END_ENTITY;
(*
Определения атрибутов
id - идентификатор (тип данных identifier) объекта maths_space_context;
name - имя (тип данных label), под которым известен объект maths_space_context;
description - текст (тип данных text), который характеризует объект maths_space_context. Значение данного атрибута может быть не задано;
abstract_space - объект maths_space, каждому элементу которого соответствует один элемент объекта physical_space.
Примечания
1 Схема mathematical_context_schema ссылается на абстрактный объектный тип данных maths_space, определенный в ИСО 10303-50, но не на объектный тип данных, объявленный как SUBTYPE. Прикладной модуль, в котором используется настоящий стандарт, должен определять или ссылаться по крайней мере на один подтип данных.
2 Для каждого из подтипов данных объекта maths_function, определенного в ИСО 10303-50, требуется, чтобы объект maths_space принадлежал к типу данных tuple_space;
physical_space - физическое пространство, каждому элементу которого соответствует один элемент объекта abstract_space.
Объект maths_value_context представляет связь между физической величиной и объектом maths_space. Значение, присваиваемое объекту maths_value данной связью, может быть получено из объекта maths_space_context, элементом которого является объект maths_value_context.
EXPRESS-спецификация:
*)
ENTITY maths_value_context;
id : identifier;
name : label;
description : OPTIONAL text;
abstract_value : maths_value;
physical_value : value_context_select;
END_ENTITY;
(*
Определения атрибутов
id - идентификатор (тип данных identifier) объекта maths_value_context;
name - имя (тип данных label), под которым известен объект maths_value_context;
description - текст (тип данных text), который характеризует объект maths_value_context. Значение данного атрибута может быть не задано;
abstract_value - объект maths_value, который соответствует объекту physical_value;
physical_value - физическая величина, которая соответствует объекту maths_value.
Объект membership_of_maths_space_context представляет связь между объектом maths_value_context и объектом maths_space_context, которая показывает, что объект maths_value_context является элементом объекта maths_space_context.
EXPRESS-спецификация:
*)
ENTITY membership_of_maths_space_context;
space_context : maths_space_context;
value_context : maths_value_context;
END_ENTITY;
(*
Определения атрибутов
space_context - объект maths_space_context, элементом которого является объект maths_value_context;
value_context - объект maths_value_context, являющийся элементом объекта maths_space_context.
Объект normalized_maths_space_context является подтипом объекта defined_maths_space_context, определенным с помощью эталонной физической величины.
Введем следующие обозначения:
P - физическая величина;
P0 - эталонная физическая величина;
V - математическая величина.
Экземпляр объекта normalized_maths_space_context определяет, что:
P = P0 x V.
EXPRESS-спецификация:
*)
ENTITY normalized_maths_space_context
SUBTYPE OF defined_maths_space_context);
normalization_basis : value_context_select;
END_ENTITY;
(*
Определение атрибута
normalization_basis - эталонная физическая величина, которая определяет объект maths_space_context.
Объект representation_context_defined_maths_space_context является подтипом объекта defined_maths_space_context, задающим систему координат. Данный объект определяется с помощью ссылки на объект representation_context.
EXPRESS-спецификация:
*)
ENTITY representation_context_defined_maths_space_context
SUBTYPE OF (defined_maths_space_context);
representation_basis : representation_context;
END_ENTITY;
(*
Определение атрибута
representation_basis - объект representation_context, который определяет объект maths_space_context.
Объект unit_defined_maths_space_context является подтипом объекта defined_maths_space_context, определяемым единственной единицей измерения.
EXPRESS-спецификация:
*)
ENTITY unit_defined_maths_space_context
SUBTYPE OF (defined_maths_space_context);
unit_basis : unit;
END_ENTITY;
(*
Определение атрибута
unit_basis - единица измерения, которая определяет объект maths_space_context.
Примечание - Схема mathematical_context_schema ссылается на тип данных unit, относящийся к типу данных SELECT и определенный в ИСО 10303-41, но не на объектные типы данных, которые выбираются с помощью типа данных unit. Прикладной модуль, использующий настоящий стандарт, должен ссылаться по крайней мере на один из этих объектных типов данных.
*)
END_SCHEMA; -- mathematical_context_schema
(*
Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы mathematical_description_of_distribution_schema и в котором определены все необходимые внешние ссылки.
EXPRESS-спецификация:
*)
SCHEMA mathematical_description_of_distribution_schema;
REFERENCE FROM mathematical_context_schema -- ISO 10303-51
(maths_space_context);
REFERENCE FROM mathematical_functions_schema -- ISO 10303-50
(maths_function);
REFERENCE FROM process_property_schema -- ISO 10303-49
(action_property,
resource_property);
REFERENCE FROM product_property_definition_schema -- ISO 10303-41
(property_definition,
general_property_relationship);
REFERENCE FROM support_resource_schema -- ISO 10303-41
(identifier,
label,
text);
(*
Примечания
1 Схемы, ссылки на которые приведены выше, определены в следующих стандартах комплекса ИСО 10303:
2 Графическое представление схемы mathematical_description_of_distribution_schema приведено в приложении D.
Схема mathematical_description_of_distribution_schema определяет отображение между распределением свойства и математической функцией. Отображение задает семантику математической функции так, чтобы математическая функция описывала или определяла распределение свойства.
Распределение свойства может определяться по отношению к следующим факторам:
- изделие из семейства изделий;
- позиция в изделии;
- состояние в рамках действия или пространства состояний;
- другое свойство;
- сочетание (декартово произведение) вышеперечисленных факторов.
Примеры
1 Изменение выходной мощности по отношению к диаметру выходного отверстия двигателя из семейства XYZ_1 и скорости вращения двигателя, выраженной в герцах, является распределением свойства.
2 Изменение температуры по отношению к позиции в изделии, которая соответствует уплотнительной шайбе двигателя типа XYZ_123, и состоянию при выполнении действия "нормальный запуск двигателя типа XYZ_123" является распределением свойства.
Распределение свойства является физической функцией. Областью определения функции распределения свойства может быть:
- множество изделий;
- множество позиций в изделии;
- множество состояний в рамках действия или пространства состояний.
Диапазон функции распределения свойства является пространством физической величины.
Распределение свойства D:X->P,
где X - область определения;
P - диапазон пространства физической величины,
может быть описано или определено математической функцией F:A->B, где A и B - математические пространства.
Данное описание или определение зависит от:
- взаимно-однозначного отображения U:X->A;
- взаимно-однозначного отображения V:P->B.
Распределение свойства D описывается или определяется математической функцией F тогда и только тогда, когда V(D(x)) = F(U(x)), для всех x из X.
Тип данных property_distribution_select является наращиваемым списком альтернативных типов данных. Он обеспечивает возможность ссылаться на экземпляры типов данных, входящих в тип данных property_distribution_select или его расширения.
Примечание - Список объектных типов данных может быть расширен в прикладных ресурсах, использующих конструкции данного ресурса.
EXPRESS-спецификация:
*)
TYPE property_distribution_select = EXTENSIBLE SELECT
(action_property,
general_property_relationship,
property_definition,
resource_property);
END_TYPE;
(*
Объект maths_space_context_relationship представляет связь между двумя экземплярами объекта maths_space_context.
EXPRESS-спецификация:
*)
ENTITY maths_space_context_relationship;
id : identifier;
name : label;
description : OPTIONAL text;
relating_context : maths_space_context;
related_context : maths_space_context;
END_ENTITY;
(*
Определения атрибутов
id - идентификатор (тип данных identifier) объекта maths_space_context_relationship;
name - имя (тип данных label), под которым известен объект maths_space_context_relationship;
description - текст (тип данных text), который характеризует объект maths_space_context_ relationship. Значение данного атрибута может быть не задано;
relating_context - экземпляр объекта maths_space_context, который связан с объектом related_context;
related_context - экземпляр объекта maths_space_context, который связан с объектом relating_context.
Объект maths_space_context_relationship_description является спецификацией, в которой объект maths_function определяет связь между двумя экземплярами объекта maths_space_context.
Введем следующие обозначения:
- A:P->S1 - связывающий объект maths_space_context;
- B:P->S2 - связываемый объект maths_space_context;
- P - физическое пространство;
- S1 и S2 - два экземпляра объекта maths_space;
- T:S1->S2 (функция maths_function) - описание связи между экземплярами объекта maths_space_context.
Экземпляр объекта maths_space_context_relationship_description определяет, что B(p) = T(A(p)) для любого p из P.
EXPRESS-спецификация:
*)
ENTITY maths_space_context_relationship_description;
id : identifier;
name : label;
description : OPTIONAL text;
described_relationship : maths_space_context_relationship;
describing_relationship : maths_function;
END_ENTITY;
(*
Определения атрибутов
id - идентификатор (тип данных identifier) объекта maths_space_context_relationship_description;
name - имя (тип данных label), под которым известен объект maths_space_context_relationship_description;
description - текст (тип данных text), который характеризует объект maths_space_context_relationship_description. Значение данного атрибута может быть не задано;
described_relationship - объект maths_space_context_relationship_description, представленный данным описанием;
describing_relationship - объект maths_space_context_relationship, представленный данным описанием.
Объект normalized_property_distribution_description определяет, как объект maths_function описывает распределение свойства по отношению к эталонному распределению свойства.
Введем следующие обозначения:
- P (объект product_definition, action, action_method, resource или general_property) - область определения распределения свойства;
- C (объект general_property, представляющий пространство физической величины) - диапазон распределения свойства;
- D:P->C (объект property_definition, action_property, general_property_relationship или resource_property) - распределение свойства;
- D0:P->C (объект property_definition, action_property, general_property_relationship или resource_property) - эталонное распределение свойства;
- A:P->S1 (объект maths_space_context) - параметризация области определения распределения свойства;
- F:S1->S2 (объект maths_function) - описание распределения свойства;
- математические пространства S1 и S2 - область определения и диапазон математической функции.
Экземпляр объекта normalized_property_distribution_description определяет, что D(p) = F(A(p)) x D0(p) для любого p из P.
EXPRESS-спецификация:
*)
ENTITY normalized_property_distribution_description;
id : identifier;
name : label;
description : OPTIONAL text;
abstract_function : maths_function;
domain_context : maths_space_context;
normalization_basis : property_distribution_select;
physical_function : property_distribution_select;
END_ENTITY;
(*
Определения атрибутов
id - идентификатор (тип данных identifier) объекта normalized_property_distribution description;
name - имя (тип данных label), с помощью которого делаются ссылки на объект normalized_property_distribution_description;
description - текст (тип данных text), который характеризует объект normalized_property_distribution_description. Значение данного атрибута может быть не задано;
abstract_function - объект maths_function, который описывает объект physical_function;
domain_context - объект maths_space_context, который используется для интерпретации области определения объекта abstract_function;
normalization_basis - эталонное распределение свойства, которое является базисом для описания объекта physical_function.
Примечание - Объект physical_function тождественен объекту normalization_basis везде, где объект abstract_function принимает значение 1;
physical_function - распределение свойства, представленное с помощью объекта abstract_function.
Объект property_distribution_description определяет, как объект maths_function описывает распределение свойства.
Введем следующие обозначения:
- P (объект product_definition, action, action_method, resource или general_property) - область определения распределения свойства;
- C (объект general_property, представляющий пространство физической величины) - диапазон распределения свойства;
- D:P->C (объект property_definition, action_property, general_property_relationship или resource_property) - распределение свойства;
- A:P->S1 (объект maths_space_context) - параметризация области определения распределения свойства;
- U:C->S2 (объект maths_space_context) - шкала диапазона распределения свойства;
- F:S1->S2 (объект maths_function) - описание распределения свойства;
- математические пространства S1 и S2 - область определения и диапазон математической функции.
Экземпляр объекта property_distribution_description определяет, что D(p) = U - 1(F(A(p))) для любого p из P.
Примечание - Выражение U - 1 является вполне определенным, т.к. U является взаимно-однозначным отображением.
EXPRESS-спецификация:
*)
ENTITY property_distribution_description;
id : identifier;
name : label;
description : OPTIONAL text;
abstract_function : maths_function;
domain_context : maths_space_context;
physical_function : property_distribution_select;
range_context : maths_space_context;
END_ENTITY;
(*
Определения атрибутов
id - идентификатор (тип данных identifier) объекта property_distribution_ description;
name - имя (тип данных label), под которым известен объект property_distribution_description;
description - текст (тип данных text), который характеризует объект property_distribution_description. Значение данного атрибута может быть не задано;
abstract_function - объект maths_function, который описывает объект physical_function;
domain_context - объект maths_space_context, который используется для интерпретации области определения объекта abstract_function;
physical_function - распределение свойства, представленное с помощью объекта abstract_function;
range_context - объект maths_space_context, который используется для интерпретации диапазона объекта abstract_function.
*)
END_SCHEMA; -- mathematical_description_of_distribution_schema
(*
(обязательное)
СОКРАЩЕННЫЕ НАИМЕНОВАНИЯ ОБЪЕКТОВ
В таблице A.1 приведены сокращенные наименования объектов, определенных в настоящем стандарте.
Таблица A.1
Сокращенные наименования объектов
Требования к использованию сокращенных наименований содержатся в стандартах тематической группы "Методы реализации" комплекса ИСО 10303.
Примечание - Наименования объектов на языке EXPRESS доступны в Интернете по адресу: /template/go.php?url=https://www.tc184-sc4.org/Short_Names/.
(обязательное)
РЕГИСТРАЦИЯ ИНФОРМАЦИОННЫХ ОБЪЕКТОВ
B.1 Обозначение документа
Для однозначного обозначения информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:
{iso standard 10303 part(51) version(1)}
Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
B.2 Обозначение схем
B.2.1 Обозначение схемы mathematical_context_schema
Для однозначного обозначения в открытой информационной системе схеме mathematical_context_schema, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:
{iso standard 10303 part(51) version(1) schema(1)
mathematical_context_schema(1)}
Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
B.2.2 Обозначение схемы mathematical_description_of_distribution_schema
Для однозначного обозначения в открытой информационной системе схеме mathematical_description_of_distribution_schema, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:
{iso standard 10303 part(51) version(1) schema(1)
mathematical_description_of_distribution_schema(1)}
Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
(справочное)
МАШИННО-ИНТЕРПРЕТИРУЕМЫЕ ЛИСТИНГИ
В данном приложении приведены ссылки на сайты, на которых находятся листинги наименований объектов на языке EXPRESS и соответствующих сокращенных наименований, установленных или на которые даются ссылки в настоящем стандарте. На этих же сайтах находятся листинги всех EXPRESS-схем, установленных в настоящем стандарте, без комментариев и другого поясняющего текста. Эти листинги доступны в машинно-интерпретируемой форме и могут быть получены по следующим адресам URL:
сокращенные наименования: /template/go.php?url=https://www.tc184-sc4.org/Short_Names/;
EXPRESS: /template/go.php?url=https://www.tc184-sc4.org/EXPRESS/.
Если доступ к этим сайтам невозможен, необходимо обратиться в центральный секретариат ИСО или непосредственно в секретариат ИСО ТК184/ПК 4 по адресу электронной почты: sc4sec@tc184-sc4.org.
Примечание - Информация, представленная в машинно-интерпретированном виде по указанным выше адресам URL, является справочной. Обязательным является текст настоящего стандарта.
(справочное)
Диаграммы, приведенные на рисунках D.1 - D.5, соответствуют схемам на языке EXPRESS, определенным в настоящем стандарте. В диаграммах использована графическая нотация EXPRESS-G языка EXPRESS. Графическая нотация EXPRESS-G определена в ИСО 10303-11, приложение D.
![]() Рисунок D.1 - EXPRESS-G диаграмма схемы
mathematical_context_schema (диаграмма 1 из 2)
![]() Рисунок D.2 - EXPRESS-G диаграмма схемы
mathematical_context_schema (диаграмма 2 из 2)
![]() Рисунок D.3 - EXPRESS-G диаграмма схемы
mathematical_description_of_distribution_schema
(диаграмма 1 из 3)
![]() Рисунок D.4 - EXPRESS-G диаграмма схемы
mathematical_description_of_distribution_schema
(диаграмма 2 из 3)
![]() mathematical_description_of_distribution_schema
(диаграмма 3 из 3)
(справочное)
ССЫЛОЧНЫМ НАЦИОНАЛЬНЫМ СТАНДАРТАМ РОССИЙСКОЙ ФЕДЕРАЦИИ
Таблица ДА.1
Вернуться в "Каталог нормативных документов"
Источник информации: https://internet-law.ru/documents/prod/gost-r_gosudarstvennyj-standart/42/gost_67846.html
На правах рекламы:
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||