刘震

作品数：3被引量：10H指数：1
导出分析报告
供职机构：合肥工业大学电气与自动化工程学院更多>>
发文主题：变桨距控制风速测量风力发电系统风力发电基于神经网络更多>>
发文领域：自动化与计算机技术电气工程更多>>
发文期刊：《中国电力》《合肥工业大学学报（自然科学版）》更多>>
所获基金：国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于神经网络的风力发电系统风速软测量被引量：9
《中国电力》2010年第11期87-91,共5页刘震 汪令祥 
"十一五"国家支撑计划资助项目(2006BAA01A20)
对风力发电并网系统的有效风速测量问题进行研究。鉴于神经网络可应用于非线性系统的模型与辨识,不受非线性模型类的限制,且可给出工程上易于实现的学习算法,提出基于神经网络的有效风速软测量。对实时采集的风力发电机组的风速样本参...
关键词：风力发电 风速测量 神经网络 软测量 变桨距控制 
常压炉加热系统形式建模的验证
《合肥工业大学学报（自然科学版）》2010年第10期1501-1505,共5页刘震 方敏 罗来豹 李加良 
文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压...
关键词：形式验证 常压炉 混合系统 混合自动机 
形式验证中近似流管道的算法研究被引量：1
《合肥工业大学学报（自然科学版）》2010年第10期1506-1509,1535,共5页罗来豹 方敏 刘震 
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多面体2种状态可达...
关键词：形式验证 可达集 有向矩形壳 凸多面体 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部