【摘要】 变电站通信网络和系统系列标准——IEC 61850正在成为变电站自动化的一个重要标准。文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。提出“语义空间”的概念,给出“语义空间”构成“偏序集”的推断,并从语义空间的数据通信基础、语义空间的结构、语义空间的可伸缩条件等方面对IEC 61850模型的语义空间做出分析,与传统自动化系统进行比较,发现和挖掘上述几个方面与“互操作性”的关系,寻找满足IEC 61850“互操作性”的基本语义形式。更多还原

【Abstract】 The standard IEC 61850, the communication networks and system for substations, is becoming an important standard for substation automation. The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics. The concept of "semantic space" and the inference that "semantic spaces are a partial sequential set" are presented. The semantic space in IEC 61850 is analyzed with respect to the data communication base of the semantic space, its structure and flexibility. It is compared with the conventional automatic system to find its relationship with "interoperability" as well as the basic semantic form to meet the requirement for the "interoperability" characteristic of IEC 61850.更多还原