Identification of property distribution Application Object

A Identification of property distribution is a relationship between:

• a Property_distribution (d: Physical_space ® Property_space);
• a Maths_function (m: Maths_space ® Maths_space);
• a Parameterisation (p: Physical_space ® Maths_space); and
• a Scale (s: Property_space ® Maths_space),

that indicates the Property_distribution is described by the Maths_function with respect to the Parameterisation and the Scale.

Each of Property_distribution, Maths_function, Parameterisation and Scale is a Mapping. A Identification of property distribution indicates a relationship between these mappings as follows:

s(d(x))=m(p(x))

where x denotes a point within Physical_space.

EXPRESS specification:

*)
ENTITY Identification of property distribution
  distribution  :  Property_distribution;
  identifier  :  Maths_function;
  domain  :  Distribution_domain;
  range  :  Scale;
END_ENTITY;
(*

Attribute definitions:

distribution: the Property_distribution that is described by the identifier.

identifier: the Maths_function that describes the distribution.

domain: the Parameterisation or Scale that is used to describe the range of the distribution.

range: the Scale that is used to describe the domain of the distribution.