咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 电气工程
    • 1 篇 电子科学与技术（可...

主题

  • 3 篇 形式化校验
  • 2 篇 智能配电网
  • 2 篇 自愈
  • 1 篇 可调度性分析
  • 1 篇 fpga
  • 1 篇 模拟
  • 1 篇 模型检测
  • 1 篇 实时系统

机构

  • 1 篇 上海市电力公司浦...
  • 1 篇 国网浙江乐清市供...
  • 1 篇 电力传输与功率变...
  • 1 篇 华东电网有限公司
  • 1 篇 东北大学

作者

  • 1 篇 洪俊
  • 1 篇 侯勇
  • 1 篇 刘东
  • 1 篇 高帅鸿
  • 1 篇 南周羽
  • 1 篇 凌万水

语言

  • 3 篇 中文
检索条件"主题词=形式化校验"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
形式化校验技术在智能配电网自愈中的应用
收藏
分享
引用
电力系统自动化 2012年 第18期36卷 62-66页
作者： 凌万水 刘东 洪俊 侯勇 电力传输与功率变换控制教育部重点实验室上海交通大学电子信息与电气工程学院 上海市电力公司浦东供电公司 华东电网有限公司
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
形式化校验技术在智能配电网自愈中的应用
收藏
分享
引用
农村电气化 2014年 第1期 43-44页
作者： 南周羽 国网浙江乐清市供电公司 浙江乐清325600
目前我国智能配电网自愈需要在大范围的分布式控制系统操纵下实现优化,在这种基础下,形式化校验技术能够在目前智能配电网系统中实现逻辑控制以及验证的双重作用力,通过介绍形式化校验技术的工作原理,解析智能配电网自愈技术的发展,了... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
可重配置硬件系统调度算法的模拟与分析
可重配置硬件系统调度算法的模拟与分析
收藏
分享
引用
作者： 高帅鸿 东北大学
学位级别：硕士
可编程逻辑门阵列FPGA器件已成为嵌入式系统设计领域关注的热点,同时一些计算密集型任务可以在FPGA上灵活的实现并执行。硬件任务使传统的软硬件协同设计领域发生了重大变革。实时调度算法是实时系统中的关键而且调度分析是实时应用设... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件