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 with better algebraic behavior than the preceding, culminating in a direct efficient conversion-by-rewriting algorithm.
翻译：具有前缀和转换规则的计量单位在分类组理论方面有一个正式的语义模型,界定了基本结构以及自然和或有语义操作。转换规则代表了与类同属性和类同属性的一种长期关系。探索了子类的等级,每个子类的代数行为都比前类的好,最终形成了一种直接高效的逐字转换算法。
相关内容
Arxiv
0+阅读 · 2023年2月22日
Arxiv
0+阅读 · 2023年2月20日
Arxiv
0+阅读 · 2023年2月20日
Arxiv
0+阅读 · 2023年2月19日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2023年2月22日
Arxiv
0+阅读 · 2023年2月20日
Arxiv
0+阅读 · 2023年2月20日
Arxiv
0+阅读 · 2023年2月19日
微信扫码咨询专知VIP会员