»ùÓÚÊýÁ¿Óë¼ÆÁ¿µ¥Î»±¾ÌåµÄ±ê×¼    (21PB)

ÕâÊÇ»ùÓÚÊýÁ¿Óë¼ÆÁ¿µ¥Î»±¾ÌåµÄ±ê×¼£¨Quantity and Unit of Measure Ontology-based Standard£© ¹¤×÷×éµÄÖ÷Ò³    (21P7)

²Î¼û:    (21P8)

ÊÖÍ·×îΪ¹Ø¼üµÄÈÎÎñ    (21PC)

ÐÂÎÅ    (21PE)

ÐèÒª¹Ø×¢µÄÖØÒªÈÕÆÚ    (21PI)


ÏîÄ¿ÈÎÎñ    (21PK)

¿É½»¸¶µÄ¹¤¼þÓëÆÚÏÞ    (21PM)

½øÐÐÖ®ÖеÄÏîÄ¿¹¤×÷    (21PO)

»ùÓÚ³õ²½ÌÖÂÛµÄUMLÄ£ÐÍ²Ý¸å    (21PP)
Ç°ÑÔ    (21PQ)

ÕâÀïÖ¼ÔÚ¶ÔÄ¿Ç°µÄÌÖÂÛÇé¿ö¼ÓÒÔ¸ÅÀ¨¡£Ä¿Ç°£¬ÉÐδ´¦ÀíÏÂÁзdz£ÓÐȤµÄ»°Ìâ/ÏßË÷£º    (21ZX)

×ÊÁÏÀ´Ô´    (21Q5)

µ±Ç°²Ý°¸µÄÖ÷Òª×ÊÁÏÀ´Ô´°üÀ¨£º    (2201)

ÊýÁ¿Ä£ÐͲݰ¸    (21Q6)

ÈçÏÂÊÇÒ»·Ý¹ØÓÚ¡°ÊýÁ¿£¨quantity£©¡±µÄUMLͼ²Ý°¸£º http://ontolog.cim3.net/file/work/UoM/uom_ontoloogy_progress/uom_ontology_progress-files/strawman_UML_for_quantity--DavidLeal_20090724a.gif    (21QY)

¸Ã²Ý°¸ÓëEdËùÌṩµÄԭʼUMLͼ֮¼äµÄ²î±ð°üÀ¨ÏÂÁм¸µã£º    (2205)

Õâ·ùUMLͼ²¢Ã»ÓÐÉù³Æ×Ô¼ºÊÇÒ»²¿±¾Ì壬¶øÊǹØÓÚÄÇЩÓë¡°ÊýÁ¿£¨quantity£©¡±ÓйصĸÅÄîµÄÒ»ÖÖ·ÇÕýʽ±í´ïÐÎʽ¡£µ½Ä¿Ç°ÎªÖ¹£¬ÒѾ­¶ÔÕâЩ¸ÅÄîÒÔ¼°ËüÃǵĹØϵ½øÐÐÁËÌÖÂÛ¡£    (220A)

ÓëÆäÖеÄUML¶ÔÏóÏà¹ØÁªµÄÎÄ×Ö±íʾµÄÊÇÈçÏÂËùʾµÄÒ»¸öÉÐδ½â¾öµÄÎÊÌ⣺    (220B)

¶ÔÓÚÖÊÁ¿À´Ëµ£¬Í¬ÑùÒ²»áÊÇÈç´Ë¡£    (220C)

Á¿Öµ£¨magnitude of quantity£¬Á¿¼¶£©ÓëÊýÁ¿È¡Öµ£¨quantity value£©Ö®¼äµÄÇø±ð    (21Q7)

ÔÚÕâ·ùUMLͼ²Ý°¸Ö®ÖУ¬ÊýÁ¿È¡Öµ£¨quantity value£©ÄËÊÇÒ»ÖÖÓÃÓÚ±í´ïÊýÁ¿Á¿Öµ£¨magnitude of quantity£©µÄÒ»ÖÖÊý¾Ý½á¹¹¡£ÕâÊǶÔVIMµÄÒ»ÖÖÓÐЧµÄ½âÊÍ¡£°´ÕÕÕâÖÖ½âÊÍ£¬5.34 mºÍ534 cm ¾ÍÊÇÊýÁ¿È¡Öµ£¨quantity value£©µÄÁ½¸ö²»Í¬µÄʵÀý£¬¶øÊýÁ¿È¡Öµ£¨quantity value£©±í´ïÊÇͬһ¸öÊýÁ¿Á¿Öµ£¨magnitude of quantity£©¡£    (222S)

È»¶ø£¬¸ºÔð¶¨ÒåÊýÁ¿È¡Öµ£¨quantity value£©µÄÌõ¿îÖ®Öк¬ÓÐÕâÑùÒ»Ìõ×¢ÊÍ£¬"×¢ÊÍ3£º¿ÉÒÔ²ÉÓò»Ö¹Ò»ÖÖ·½Ê½À´³ÊÏÖÊýÁ¿È¡Öµ£¨quantity value£©£¨NOTE 3 A quantity value can be presented in more than one way£©" ¡£²»¹ý£¬ÕâÌõ×¢ÊÍÈ´Òâζ×ÅÒ»ÖÖ²»Í¬µÄÊõÓ¶ø²»ÊÇÒ»ÖÖ²»Í¬µÄÄ£Ðͽṹ¡£¼øÓÚÕâÌõ×¢ÊÍ£º    (222X)

¹ØÓÚÂåÊÏ C Ó²¶È£¨Rockwell C hardness£©µÄÌÖÂÛ    (21Q8)

It seems straightforward that Rockwell_C_hardness_(150kg) is a kind of quantity. Within this kind of quantity, the there is a magnitude of quantity that is expressed by the quantity value (55, Rockwell_C_hardness_(150_kg)). So far so good - this is consistent with the strawman UML model. Note that in this case the reference from the quantity value is not a unit but a measurement procedure.    (21RD)

The difficulty is the relationship between my_lump_of_hard_steel and the magnitude of quantity that is expressed as (55, Rockwell_C_hardness_(150_kg)). One approach is to regard the magnitude of quantity as the class of objects that have the specified response the the measurement procedure. Hence in this case, the link between magnitude of quantity and particular phenomenon body or substance, which is labelled particular quantity', is classification.    (21RE)

The relationship is not always classification, because consider waterline length of a ship. If the ship Medway_Queen has a waterline length of 20 metres, then we have:    (21RF)

The relationship has_waterline_length is a shorthand for something quite complicated. There is a relationship has_extreme_waterline_point_pair between a ship and a point pair. Just as the magnitude of quantity that is expressed as (55, Rockwell_C_hardness_(150_kg)) can be regarded as a class with solid objects as members, the magnitude of quantity that is expressed as (20, metre) can be regarded as a class that has point pairs as members.    (21RJ)

Hence for the ship there are two relationships: has_extreme_waterline_point_pair and classification, which are composed to give has_waterline_length. This seems to be a very common case, where the nature of the relationship between a physical object and a magnitude of quantity embodies a great deal of domain knowledge, and the kind of quantity is simple. For Rockwell hardness the relationship is simply classification, and the domain knowledge is embodied in the kind of quantity. The strawman UML model handles both.    (21RK)

VIM defines kind of quantity as "aspect common to mutually comparable quantities". Hence Brinnel Hardness (653, HBW) and the Rockwell C hardness (60, HRC) are not of the same kind of quantity because they cannot be compared in general, although comparison may be possible for a particular class of material. There is a engineering understanding of the general concept that the Brinnel and Rockwell procedures are intended to measure - i.e. "hardness". This is not a kind of quantity as defined in the VIM, but is a useful concept nonetheless.    (21RL)

ÊýÁ¿Ìåϵ£¨system of quantities£©Ä£ÐͲݰ¸    (21Q9)

A strawman UML diagram for 'system of quantities is: http://ontolog.cim3.net/file/work/UoM/uom_ontoloogy_progress/uom_ontology_progress-files/strawman_UML_for_system_of_quantities--DavidLeal_20090724a.gif    (21RM)

It was pointed out during the discussion that:    (21RN)

Both conclusions are also contained within the VIM. Hence being a base quantity or derived quantity is not a inherent property of a kind of quantity, but a relationship between a kind of quantity and a system of quantities.    (21RQ)

µ¥Î»ÖÆÄ£ÐͲݰ¸    (21QA)

The text in the VIM says that a base unit or derived unit for a system of units correspond to a base quantity or derived quantity respectively. The VIM does not say that there is anything special in the way in which a unit is defined that makes it a base unit or derived unit.    (21RR)

A strawman UML diagram for system of units that is analogous to the diagram for system of quantities is: http://ontolog.cim3.net/file/work/UoM/uom_ontoloogy_progress/uom_ontology_progress-files/strawman_UML_for_system_of_units--DavidLeal_20090724a.gif    (21RS)

The original UML diagram supplied by Ed contains the text definition "A base unit is defined by a physical phenomenon, i.e., a 'definite description'". Following this approach it is natural to make base unit a subclass of measurement unit. However an "off-system measurement unit" may also be defined by a physical phenomenon. Hence it may be best to add this as: http://ontolog.cim3.net/file/work/UoM/uom_ontoloogy_progress/uom_ontology_progress-files/strawman_UML_for_unit_defined_by_a_physical_phenomenon--DavidLeal_20090724a.gif    (21RT)

±ê³ßÄ£ÐͲݰ¸    (21QB)

The discussion so far has recognised the importance of scales, but has not gone into details. Extracting from the original UML diagram for scales supplied by Ed, and using VIM terminology wherever possible, a strawman UML diagram is: http://ontolog.cim3.net/file/work/UoM/uom_ontoloogy_progress/uom_ontology_progress-files/strawman_UML_for_scale--DavidLeal_20090724a.gif    (21RU)

The object space of values has been added. For most scales, this is a real or integer interval, perhaps unbounded. However, it could be something else, such as a sequence of letters "a", "b", "c", etc..    (21RV)

VIM does not give an example of conventional reference scale. Perhaps ITS90 (http://www.bipm.org/en/publications/its-90.html) is such a scale.    (21RW)

The relationship between scales and units has not been addressed in this strawman.    (21RX)

UML Ä£ÐͲݰ¸Óë UnitsML Ö®¼äµÄ¹Øϵ    (21QC)

UnitsML has much important content relevant to symbols, prefixes and units conversion. However the only those parts of UnitsML relevant to the strawman diagrams for quantity, system of quantities, unit, system of units and scale are considered here. Some relationships between objects and relationships in the strawman and elements and attributes in UnitsML are as follows:    (21RY)

kind of quantity: The object in the strawman corresponds to the element Quantity in UnitsML.    (21RZ)

measurement unit: The object in the strawman broadly corresponds to the element Unit in UnitsML. However, Fahrenheit is regarded as an instance of Unit, whereas in the strawman it would be an instance of scale.    (21S0)

quantity value: The object in the strawman does not corresponds to an element in UnitsML. Instead the presence of a UnitsML Unit element as a child of an element defined elsewhere represents a reference for quantity value relationship.    (21S1)

magnitude of quantity: The object in the strawman is outside the scope of UnitsML, except when it is a measurement unit.    (21S2)

magnitude is within: This relationship between magnitude of quantity and kind of quantity is outside the scope of UnitsML except when the kind of quantity is a measurement unit. In this case, the relationship is provided within UnitsML by the child element QuantityReference of Unit.    (21S3)

quantity dimension: The object in the strawman corresponds to the element Dimension in UnitsML.    (21S4)

has dimension: This relationship between kind of quantity and dimension is provided within UnitsML by the attribute dimensionURL of Quantity. UnitsML allows a dimension to be specified for a Unit. In the strawman, this is superfluous because a a measurement unit is of exactly one kind of quantity for which a dimension can be specified.    (21S5)

UML Ä£ÐͲݰ¸Óë ¼ÆÁ¿µ¥Î»Í³Ò»´úÂ루The Unified Code for Units of Measure£¬UCUM£© Ö®¼äµÄ¹Øϵ    (21QD)

The UCUM has much important content concerning a formal algebra for the derivation of units. The elements unit and base-unit within the UCUM XML schema corresponds to the object measurement unit in the strawman.    (21S6)

UML Ä£ÐͲݰ¸Óë MyMobileWeb ¼ÆÁ¿µ¥Î»±¾Ì壨Measurement Units Ontology£¬MUO£© Ö®¼ä¹Øϵ    (21QE)

The MyMobileWeb has assimulated the UCUM units as instances of a class within a larger ontology. Some relationships between objects and relationships in the strawman and elements and attributes in MUO are as follows:    (21S7)

kind of quantity: The object in the strawman corresponds to the class PhysicalQuality in the MUO. The MUO is admirably precise in specifying that it is not a particular quantity.    (21S8)

measurement unit: The object in the strawman broadly corresponds to the class UnitOfMeasurement in the MUO. However, Fahrenheit is regarded as an instance of UnitOfMeasurement, whereas in the strawman it would be an instance of scale.    (21S9)

quantity value: It is natural to associate this object in the strawman with the class QualityValue in the MUO. This is probably broadly true, but in the MUO QualityValue has the property inTime which specifies when the value occurs. In the strawman, time is more appropriately associated with the particular quantity or with the temporal part of the particular phenomenon body or substance that possesses it.    (21SA)

UML Ä£ÐͲݰ¸Óë SysML Ö® UoM À©Õ¹½¨ÒéÖ®¼ä¹Øϵ    (21QF)

Clause "C.5 Model Library for Quantities, Units, Dimensions and Values (QUDV)" is a proposed addition to the SysML specification . It is currently being considered by the SysML Revision Task Force (RTF). If accepted, it will become a non-normative annex of the SysML 1.2 specification.    (21SB)

Figure C.8 ¨C QUDV Concepts diagram has much the same scope as the strawman UML diagrams. Both are derived from the VIM, and are therefore similar. Some differences are:    (21SC)

In Figure C.10 ¨C QUDV QuantityKind diagram, the class "QuantityKind" has a subclass "DerivedQuantityKind". This is incorrect, because a kind of quantity may be a base quantity in one systems of quantities, but a derived quantity in another. The kind of quantity electric charge is an example of this.    (21SG)

ÓëÊýÁ¿ÓйصĹؼü¸ÅÄîµÄÕýʽ¶¨Òå    (21QG)

Q1 particular quantity: class of individual quantifiable properties of individual things (the tropes)    (21SH)

Examples: The length of my thumb (and no one else's thumb).    (21SI)

Q2 kind of quantity (as class of particular quantity): class whose members are subclasses of particular quantity in which all the members are comparable    (21SJ)

Example: length (as a class of particular quantity). The length of my thumb is a member of length (as a class of particular quantity).    (21SK)

Q3 magnitude of quantity: class whose members are subclasses of particular quantity in which all the members are equal    (21SL)

Note: A member of magnitude of quantity is an equivalence class.    (21SM)

Example: The length magnitude called "5cm", which includes the length of my thumb, the height of my coffee cup, and so on.    (21SN)

Q4 kind of quantity (as class of magnitude): class whose members are subclasses of magnitude of quantity in which all the members are subclasses of the same kind of quantity (as class of particular quantity)    (21SO)

Example: length (as a class of magnitude of quantity). The length magnitude called "5cm" is a member of length (as a class of magnitude of quantity).    (21SP)

Note: measurement unit is a subclass of 'magnitude of quantity. Hence each measurement unit is a member of a kind of quantity (as class of magnitude'''. The metre is a member of length (as a class of magnitude).    (21SQ)

ÌÖÂÛ    (21QH)

The definitions of Q1 to Q4 were proposed by Ed Barkmeyer.    (21SR)

The distinction between Q2 kind of quantity (as class of particular quantity) and Q4 kind of quantity (as class of magnitude) is not made in the strawman UML diagrams. In the UML diagrams there is a relationship magnitude is within beween magnitude of quantity and kind of quantity. The formal meaning of this relationship depends upon the formal definitions, as follows:    (21SS)

¶Ô²»Í¬¡°ÊýÁ¿¡±¸ÅÄîµÄ·ÇÕýʽ½âÊÍ    (21QI)

The class particular quantity has properties of things as members, as shown in http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/particular_quantity.gif    (21SV)

The members of particular quantity can be collected into subclasses which are comparable, as shown in http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/particular_quantity-kind.gif    (21SW)

Each of these subclasses of particular quantity is a kind of quantity (as class of particular quantity, as shown in http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/kind_of_quantity-class_of_particular_quantity.gif    (21SX)

The members of particular quantity can be collected into subclasses which are equal, as shown in http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/particular_quantity-magnitude.gif    (21SY)

Each of these subclasses of particular quantity is a magnitude of quantity, as shown in http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/magnitude_of_quantity.gif    (21SZ)

The members of magnitude of quantity can be collected into subclasses such that the members of each member are comparable. Each of these subclasses is a kind of quantity (as class of magnitude) as shown in http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/kind_of_quantity-class_of_magnitude_of_quantity.gif    (21T0)

ÊýÁ¿¸ÅÄîµÄÔª²ã´Î£¨Meta-levels£©    (21QJ)

The meta-levels of the quantity concepts are illustrated by development of the example provided by Hajo Rijgersberg shown in    (21T1)

http://www.caesarsystems.co.uk/uom_ontology_progress/uom_ontology_progress-files/quantity_meta-levels.gif    (21T2)

The only concrete object is "length of my table at my instant", which is a member of particular quantity. All the others objects are abstractions at different meta-levels. The higher level abstractions may seem unnecessarily complicated, but a justification is as follows:    (21T3)

ÏîÄ¿¼Æ»®    (21QK)

ÍÅ¶Ó    (21QL)

ÍŶӹ¤×÷¿Õ¼ä£ºÌÖÂÛÁÐ±í¡¢´æµµ¡¢Îļþ¹²ÏíÒÔ¼°×ÊÁÏ¿â    (21QM)

×ÊÔ´    (21QN)

µç»°»áÒé¡¢»áÒé¼°ÑÐÌÖ»á    (21QO)