Integrated generic resource: Numerical analysis | ISO/DIS 10303-53 © ISO |
*)
SCHEMA product_analysis_schema;
REFERENCE FROM
product_property_definition_schema;
--
ISO 10303-41
REFERENCE FROM
support_resource_schema;
--
ISO 10303-41
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
product_property_definition_schema ISO 10303-41 support_resource_schema ISO 10303-41
NOTE 2 See Annex D for a graphical representation of this schema.
Temporal spatial domain
The subject of an engineering analysis is a temporal spatial domain that is defined by a set of properties. An analysis model of a temporal spatial domain is derived from these properties.NOTE 1 The set of properties that define a temporal spatial domain may include shape.
Hence a temporal spatial domain is a class. A particular physical individual is a member of the class if it possesses the defining properties. An analysis model of a temporal spatial domain is assumed to be valid for each member of the class.NOTE 2 The properties that define a temporal spatial domain may be obtained by measurements made on a particular physical individual, and may include features such as cracks. Nonetheless, if another physical individual were found with identical properties, the same analysis model would be equally applicable to it.
Because a temporal spatial domain is a class, some properties may have statistical measures, such as mean, variance, and range.Physical domain
A physical domain is a representation of a temporal spatial domain with assumptions about the nature of the temporal spatial domain that allow analysis.EXPRESS specification:
*)
ENTITY behavioural_decomposition_of_temporal_spatial_domain;
parts : SET[2:?] OF temporal_spatial_domain;
whole : temporal_spatial_domain;
END_ENTITY;
(*
Attribute definitions:
parts: the instances of temporal_spatial_domain that are assembled to give the whole;
whole: the entire temporal_spatial_domain that is decomposed into the parts.
EXAMPLE The specification of the temperature distribution within the solid parts of engine type XYZ.123 during the start-up activity is a domain_property. This varies with respect to space and time.
EXPRESS specification:
*)
ENTITY domain_property;
domain : temporal_spatial_domain;
property_type : general_property;
END_ENTITY;
(*
Attribute definitions:
domain: the temporal_spatial_domain;
property_type: the type of the property.
EXAMPLE the specification of the start-up activity for engine type XYZ.123 (including the fluids within it) is a physical_action_domain.
temporal_spatial_domainEXPRESS specification:
*)
ENTITY physical_action_domain
SUBTYPE OF (temporal_spatial_domain);
final : physical_state_domain;
initial : physical_state_domain;
END_ENTITY;
(*
Attribute definitions:
final: the physical_state_domain that exists at the end of the physical_action_domain.
initial: the physical_state_domain that exists at the beginning of the physical_action_domain.
NOTE a physical_product_domain is often the specification for a manufactured item.
EXAMPLE The specification of the solide parts of engine type XYZ.123 is a physical_action_domain.
EXPRESS specification:
*)
ENTITY physical_product_domain
SUBTYPE OF (temporal_spatial_domain);
temporal_parts : SET[0:?] OF physical_action_domain;
END_ENTITY;
(*
Attribute definitions:
temporal_parts: the instances of physical_action_domain that are performed by the physical_product_domain.
EXAMPLE the specification of the displacements, stresses and strains with the solid parts of engine type XYZ.123 when running is a physical_state_domain.
EXPRESS specification:
*)
ENTITY physical_state_domain
SUBTYPE OF (temporal_spatial_domain);
END_ENTITY;
(*
EXAMPLE The specification of the start-up activity for engine type XYZ.123 (including the fluids within it) is a temporal_spatial_domain. For this activity, there are distributions of temperature, flow velocity and stress within the solid parts of the engine, and distributions of temperature, flow and velocity and pressure within the contained fluids.
The specification of the start-up activity for the solids parts of engine type XYZ.123 is a temporal_spatial_domain. This is a part of the start-up activity of the assembly of solid parts and the contained fluids
EXPRESS specification:
*)
ENTITY spatial_decomposition_of_temporal_spatial_domain;
parts : SET[2:?] OF temporal_spatial_domain;
whole : temporal_spatial_domain;
END_ENTITY;
(*
Attribute definitions:
parts: the instances of temporal_spatial_domain that are assembled to give the whole.
whole: the whole temporal_spatial_domain that is decomposed into the parts.
EXPRESS specification:
*)
ENTITY temporal_decomposition_of_action_domain;
parts : LIST[2:?] OF physical_action_domain;
whole : physical_action_domain;
END_ENTITY;
(*
Attribute definitions:
parts: the instances of physical_action_domain that are assembled to give the whole.
whole: the whole physical_action_domain that is decomposed into the parts.
EXAMPLE 1 the specification of the volume of air/fuel/combustion products mixture within engine type XYZ.123 during transient T3 is a temporal_spatial_domain. This temporal_spatial_domain has distributions of chemical composition, pressure, density, velocity and temperature.
EXAMPLE 2 The specification of the volume of space (not occupied by matter) within the electrodynamic device type D_1234 in state S3 is a temporal_spatial_domain. This temporal_spatial_domain has distributions of electrical and magnetic field strengths.
EXPRESS specification:
*)
ENTITY temporal_spatial_domain;
id : identifier;
name : text;
description : text;
WHERE
wr1: definitions_for_temporal_spatial_domain(SELF);
END_ENTITY;
(*
Attribute definitions:
id: an identifier.
name: user-specified instance identifier.
description: annotation.
Formal propositions:
wr1: The temporal_spatial_domain shall be associated with a product_definition via an idealisation_relationship.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT sc1_temporal_spatial_domain FOR temporal_spatial_domain;
ABSTRACT SUPERTYPE;
END_SUBTYPE_CONSTRAINT;
(*
EXPRESS specification:
*)
FUNCTION definition_for_temporal_spatial_domain (domain : temporal_spatial_domain) :BOOLEAN;
LOCAL spatial_set : SET OF spatial_decomposition_of_temporal_spatial_domain; behavioural_set : SET OF behavioural_decomposition_of_temporal_spatial_domain; domains : SET OF temporal_spatial_domain := []; idealising : BAG OF idealisation_relationship; spatial_bag : BAG OF spatial_decomposition_of_temporal_spatial_domain; behavioural_bag : BAG OF behavioural_decomposition_of_temporal_spatial_domain; END_LOCAL; idealising := USEDIN(domain, 'ANALYSIS_PRODUCT_RELATIONSHIPS_SCHEMA.IDEALISATION_RELATIONSHIP.IDEALISATION'); IF SIZEOF(idealising) > 0 THEN RETURN (TRUE); END_IF; spatial_bag := USEDIN(domain, 'PRODUCT_ANALYSIS_SCHEMA.SPATIAL_DECOMPOSITION_OF_TEMPORAL_SPATIAL_DOMAIN.PARTS'); IF SIZEOF(spatial_bag) > 0 THEN spatial_set := spatial_bag; REPEAT i := 1 TO HIINDEX(spatial_set); domains := domains + spatial_set[i].whole; END_REPEAT; END_IF; behavioural_bag := USEDIN(domain, 'PRODUCT_ANALYSIS_SCHEMA.BEHAVIOURAL_DECOMPOSITION_OF_TEMPORAL_SPATIAL_DOMAIN.PARTS'); IF SIZEOF(behavioural_bag) > 0 THEN behavioural_set := bag_to_set(behavioural_bag); REPEAT i := 1 TO HIINDEX(behavioural_set); domains := domains + behavioural_set[i].whole; END_REPEAT; END_IF; IF SIZEOF(domains) > 0 THEN REPEAT i := 1 TO HIINDEX(domains); IF definition_for_temporal_spatial_domain(domains[i]) THEN RETURN (TRUE); END_IF; END_REPEAT; END_IF; RETURN (FALSE);
END_FUNCTION;
(*
Argument definitions:
domain: (input) the temporal_spatial_domain to be checked.
*)
END_SCHEMA; -- product_analysis_schema
(*
© ISO 2009 — All rights reserved