时磊
- 作品数：2 被引量：11H指数：2
- 供职机构：华北电力大学控制与计算机工程学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家电网公司科技项目国家自然科学基金更多>>
- 相关领域：电气工程自动化与计算机技术更多>>
- Spark环境下并行立方体计算方法被引量：5
- 2016年
- 针对传统联机分析处理(OLAP)处理大数据时实时响应能力差的问题,研究基于分布式内存计算框架Spark加速的数据立方体计算方法,设计基于Spark内存集群的自底向上构造(BUC)算法——BUCPark,来提高BUC的并行度和大数据适应能力。在此基础上,为避免内存中迭代的立方体单元膨胀,基于内存重复利用和共享的思想设计改进的BUCPark算法——LBUCPark。实验结果表明:LBUCPark算法性能优于BUC算法和BUCPark算法,能够胜任大数据背景下的快速数据立方体计算任务。
- 萨初日拉周国亮时磊王刘旺石鑫朱永利
- 关键词：SPARK联机分析处理数据立方体
- 基于行为树的IEC 61850智能电子设备互操作性描述与验证被引量：6
- 2013年
- IEC 61850智能电子设备(IED)间的互操作是IEC 61850实施的关键。为解决在IED生产后对其进行互操作性测试成本高和测试周期长的问题,提出了基于形式化方法行为树(BT)的IED互操作性描述与验证方法,在IED设计阶段对其互操作性进行描述和验证。首先对参与交互应用的IED的外部行为特征及分布式功能的交互模型采用图形化BT进行建模,然后将交互模型的BT模型转化为通信顺序进程(CSP)模型,进而采用过程分析工具(PAT)对交互模型进行死锁及可达性等交互性验证。以变电站定时过流保护IED交互模型为例进行了建模与验证,结果表明该方法能有效检测IED设备设计中存在的交互性缺陷。
- 熊海军朱永利张凡王德文时磊
- 关键词：通信顺序进程IEC智能电子设备互操作
