您的位置: 专家智库 > >

国家自然科学基金(60672110)

作品数:4 被引量:17H指数:2
相关作者:罗贵明崔航王冕何光宇邝宏斌更多>>
相关机构:清华大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电气工程更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇电气工程

主题

  • 2篇递推
  • 1篇递推算法
  • 1篇递推最小二乘
  • 1篇短期负荷预测
  • 1篇有色噪声
  • 1篇噪声
  • 1篇软件模型
  • 1篇软件模型检测
  • 1篇色噪声
  • 1篇自适应控制
  • 1篇最小二乘
  • 1篇系统辨识
  • 1篇负荷预测
  • 1篇ESTIMA...
  • 1篇标号
  • 1篇标号迁移系统
  • 1篇参数辨识
  • 1篇超短期负荷预...
  • 1篇TWO-ST...

机构

  • 3篇清华大学

作者

  • 3篇罗贵明
  • 1篇何光宇
  • 1篇赵玥
  • 1篇王冕
  • 1篇邝宏斌
  • 1篇崔航

传媒

  • 1篇清华大学学报...
  • 1篇电力系统自动...
  • 1篇计算机工程
  • 1篇Scienc...

年份

  • 2篇2009
  • 2篇2008
4 条 记 录,以下是 1-4
排序方式:
并行软件模型检测被引量:6
2008年
并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解,将各组件均衡地分发到若干计算节点,由节点调用MAGIC完成验证。由于保证节点间只有少量的通信与同步,该方法能达到较好的并行加速比,具有良好的可扩展性。实验结果显示,该方法大幅压缩了检测时间,有利于大规模软件的形式化验证。
邝宏斌罗贵明
关键词:软件模型检测标号迁移系统
Recursive algorithm for the two-stage EFOP estimation method
2008年
A recursive algorithm for the two-stage empirical frequency-domain optimal parameter (EFOP) estimation method was proposed. The EFOP method was a novel system identification method for Black-box models that combines time-domain estimation and frequency-domain estimation. It has improved anti-disturbance performance, and could precisely identify models with fewer sample numbers. The two- stage EFOP method based on the boot-strap technique was generally suitable for Black-box models, but it was an iterative method and takes too much computation work so that it did not work well online. A recursive algorithm was proposed for dis- turbed stochastic systems. Some simulation examples are included to demonstrate the validity of the new method.
LUO GuiMing HUANG Jian
基于扩展时序距离法和自适应控制的超短期负荷预测被引量:9
2009年
将扩展时序距离(ETD)算法与自适应控制中的递推最小二乘(RLS)算法相结合,提出了超短期负荷预测算法——RLS&ETD算法。该算法利用自适应控制的动态跟踪特性与ETD算法的周期性,与ETD算法相比,能更充分地利用数据。仿真实验的结果表明,RLS&ETD算法比ETD算法在精度、误差稳定性等方面均有所提高。
崔航王冕罗贵明何光宇
关键词:超短期负荷预测递推最小二乘
有色噪声干扰系统的参数辨识递推算法被引量:2
2009年
为了辨识受有色噪声干扰的系统参数,提出一种递推算法。该算法由系统部分的参数估计和噪声部分的参数估计2部分组成。系统参数估计采用的是包含当前预报误差和之前估计误差的递推算法辨识。噪声部分参数则是采用扩展的最小二乘算法辨识。该文对新的递推算法进行了仿真,实验结果显示该算法能够降低噪声对参数估计的影响,减小估计误差,较精确地辨识出受有色噪声干扰系统的参数。
赵玥罗贵明
关键词:系统辨识有色噪声递推算法参数辨识
共1页<1>
聚类工具0