• 1. formal semantics: 形式语义 | 形式语意学
• 2. Introduction to Formal Semantics: 形式语义学引论
• 3. On Formal Semantics: 论形式语义学

更多释义

• 1.The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
  文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
  dict.yoduao.com
• 2.By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets.
  通过利用OWL分类，它能够提供额外的词汇表和正式的语义来描述xml模型资源。
  dict.yoduao.com
• 3.The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
  它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
  dict.yoduao.com

©2026 网易公司