基于谓词逻辑的变电站模型表示和变换

提出将IEC 61970的公共信息模型(CIM)元模型和IEC 61850的变电站配置语言(SCL)元模型采用统一的面向对象元元模型来描述,给出了相应的映射方法.用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释.针对不同的元模型定义相应的一阶语言,将具体的模型表示为该语言的解释.在元模型的基础上制定变换规则,规则表示为一个综合考虑了2个元模型的一阶语言上的公式.由于模型和模型变换规则均基于谓词逻辑,模型的变换问题转化为谓词逻辑的运算和消元问题.针对该问题,提出了模型变换的自动化框架,可以在人工制定变换规则的基础上自动完成变电站模型的变换.     

多回直流系统远方集中控制中心设计

对即将在南方电网建立的高压直流远方集中控制中心的发展规划、实施方案等进行探讨,并对所涉及的集控中心的定位和管理方案、自动化管理模式、监控与数据采集(SCADA)系统、通信及信息交换等关键技术进行分析.研究认为,对多个直流系统进行集中控制在技术上是可行的,集控中心的建设完善可以分成3个阶段来实施.直流控制中心的建立有利于将直流系统的控制从目前较低层次的局部控制,逐步向直流高级辅助控制和立足于全电网的交直流协调控制方向推进.     

应用数据融合的计算机取证

计算机取证技术正成为当今国内外研究与开发的热点.融合各个方面的犯罪证据成为计算机取证研究的一个主要内容.本文在数据融合入侵取证模型的基础上重点对融合中心控制台进行分析,包括关联分析、关联簇形成、与防火墙联动的机制、入侵检测系统的主动反馈机制等模块.     

南京供电公司EMS、DMS与控制中心的通信方式

介绍了江苏南京供电公司能量管理系统(EMS)、调度管理系统(DMS)和控制中心的现状,针对南京调度系统的现状提出了4种EMS、DMS与控制中心站的通信方式:由变电站远程测控终端(RTU)直接送往相关的主站系统;TASE.2协议的计算机通信;常规远动规约转发方式;网络规约通信方式。通过对几种方式的比较,决定采取网络规约通信方式,并分析了该方式的优点,阐述了该方式在南京供电系统的实施步骤。     

无锡地铁控制中心大厦设计方案的演变

本文阐述无锡地铁控制中心工程在功能调整后建筑方案的演变过程,说明延续建筑体块组合思路,追求几何图形美的方案创作思路。     

企业资讯

工程机械智能控制中心在徐州通过验收日前,中国机械工业联合会在徐工集团主持召开机械智能控制工程研究中心建设项目验收会,经过专家评审,该中心以较高评分通过验收。     

会展

中国营养科学大会:减盐能否与美味共存本刊讯(记者逯文娟)5月15日,第十一次全国营养科学大会在杭州召开,此次以"饮食与健康国际化趋势:减盐与美味共存"为主题的分会场研讨会由中国营养学会主办,联合利华家乐品牌和联合利华饮食策划联合协办。会议邀请了国际营养科学联合会主席Ibrahim Elmadfa教授,中国营养学会荣誉理事何志谦教授,中国疾病预防控制中心减盐及慢病防控领域的专家马吉祥主任和施小明处     

国家认监委公布首批食品复检机构名录

近日,国家认证认可监督管理委员会发布2011年第26号公告,与卫生部和农业部共同发布了首批食品复检机构名录,首批食品复检机构共104家。     

电气设备机房的电涌保护

在大型电气设备机房的广泛应用的今天,电位差线路中的干扰波迅速动作很大程度来自集成电路的影响。电气设备总控制中心外部瞬态电流峰值超标电位差和内部瞬态电流峰值超标是导致控制中心不能正常工作的主要因素。如何保障控制中心所有设备能正常运转的主要措施,是瞬态电流保护器能否正常工作为前提的。     

山特Array系列IVIP电源系统全新面市

新一代模块化电源系统解决方案——山特Array系列MP全新面市。延续ArraY系列方案产品的定位，MP更为关注客户的需求，全模块化、并联冗余、热插拔等设计细节处处体现了“为客户提供量身定制的电源系统解决方案”的设计理念。采用5kVA×6的系统结构的MP电源系统解决方案，适用于中小型数据中心、大中型企业网络机房、系统控制中心等应用环境。