论文标题
前缀单位的转换关系理论
A Theory of Conversion Relations for Prefixed Units of Measure
论文作者
论文摘要
具有前缀和转换规则的度量单位是根据分类组理论的正式语义模型。定义了基本结构以及自然和偶然的语义操作。转换规则表示为一类三元关系，具有类似群体和类别的属性。探索了子类的层次结构，每个层次结构满足了比前面的更强有用的代数特性，最终以直接有效的逐源算法转换。
Units of measure with prefixes and conversion rules are given a formal semantic model in terms of categorial group theory. Basic structures and both natural and contingent semantic operations are defined. Conversion rules are represented as a class of ternary relations with both group-like and category-like properties. A hierarchy of subclasses is explored, each satisfying stronger useful algebraic properties than the preceding, culminating in a direct efficient conversion-by-rewriting algorithm.
