期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于有效约束识别的电网热稳边界辨识方法
被引量：
2
1
作者
徐渊
谌艳红
+4 位作者
王凯
段志远
鲍威
胡婧雯
胡通华
《电力系统保护与控制》
CSCD
北大核心
2021年第11期54-60,共7页
针对安全约束最优潮流(SCOPF)求解时规模太大、求解难度高的问题,提出了一种基于电网安全运行域的故障态约束过滤方法。首先利用电网故障态约束条件之间的实际物理意义与故障态约束的数学关系,通过预想故障分析选定有效监视支路。进而...
针对安全约束最优潮流(SCOPF)求解时规模太大、求解难度高的问题,提出了一种基于电网安全运行域的故障态约束过滤方法。首先利用电网故障态约束条件之间的实际物理意义与故障态约束的数学关系,通过预想故障分析选定有效监视支路。进而生成不等式约束组成的安全运行域,并利用电网潮流转移特性对故障不等式约束进行剩余系数过滤、转移系数过滤与数学深度过滤的多层筛选,大幅减少不等式约束条件数量。对IEEE118节点系统与实际电网的仿真,验证了该方法在解决工程问题上的实用性,体现了该算法的实用性和鲁棒性。
展开更多
关键词
安全
约束
SCOPF
安全可行域
约束过滤
在线阅读
下载PDF
职称材料
GC-MCR:有向图约束指导的并发缺陷检测方法
2
作者
李硕川
王赞
+4 位作者
马明旭
陈翔
赵英全
王海弛
王昊宇
《软件学报》
EI
CSCD
北大核心
2023年第8期3485-3506,共22页
约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程...
约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法GC-MCR(directed graph constraint-guided maximal causality reduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次数.与现有的J-MCR方法相比,GC-MCR的并发程序缺陷检测效率可以取得显著提升,且不会降低并发缺陷的检测能力,在现有研究方法广泛使用的38组并发测试程序上的测试时间可以平均减少34.01%.
展开更多
关键词
并发程序
最大因果约减
约束
求解
有向图
冲突
约束过滤
在线阅读
下载PDF
职称材料
基于公式化限额和最小裕度最大化的电网热稳定限额计算
被引量：
1
3
作者
曾涛
陈浩
+1 位作者
郭瑞鹏
汪震
《电力系统自动化》
EI
CSCD
北大核心
2024年第3期159-167,共9页
编制热稳定控制限额是电网调度控制中心的重要工作,也是保障电网安全运行的重要手段。针对新能源大规模并网后潮流不确定性大导致热稳定限额制定难度增大的问题,以预想故障分析为基础计算潮流转移关系并建立电网安全约束,进而提出了基...
编制热稳定控制限额是电网调度控制中心的重要工作,也是保障电网安全运行的重要手段。针对新能源大规模并网后潮流不确定性大导致热稳定限额制定难度增大的问题,以预想故障分析为基础计算潮流转移关系并建立电网安全约束,进而提出了基于公式化限额和最小裕度最大化的三阶段电网热稳定限额计算方法,实现了热稳定限额的批量自动计算。第1阶段对输电通道限额进行初始化,第2阶段对故障后易过载的通道按照故障后不超瓶颈设备短时载流能力制定公式化限额要求,第3阶段对转移关系约束存在耦合的通道集合逐次按最小裕度最大化原则计算通道控制限额。对输电资源紧张的通道同时采用公式化限额和通道控制限额要求可以减小保守性,充分释放通道输电能力;对其余通道只采用通道控制限额要求,可减少并简化控制要求。以某区域电网2023年夏季高峰运行方式为例,限额自动计算结果与稳定规程的一致性较好,验证了所提方法的有效性。
展开更多
关键词
热稳定限额
公式化限额
预想故障
最小裕度最大化
冗余
约束过滤
在线阅读
下载PDF
职称材料
题名
基于有效约束识别的电网热稳边界辨识方法
被引量：
2
1
作者
徐渊
谌艳红
王凯
段志远
鲍威
胡婧雯
胡通华
机构
国网江西省电力有限公司
浙江大学电气工程学院
杭州沃瑞电力科技有限公司
出处
《电力系统保护与控制》
CSCD
北大核心
2021年第11期54-60,共7页
基金
国家重点研发计划项目资助(2017YFB0902800)
国网江西省电力有限公司科技项目资助(521810190001)。
文摘
针对安全约束最优潮流(SCOPF)求解时规模太大、求解难度高的问题,提出了一种基于电网安全运行域的故障态约束过滤方法。首先利用电网故障态约束条件之间的实际物理意义与故障态约束的数学关系,通过预想故障分析选定有效监视支路。进而生成不等式约束组成的安全运行域,并利用电网潮流转移特性对故障不等式约束进行剩余系数过滤、转移系数过滤与数学深度过滤的多层筛选,大幅减少不等式约束条件数量。对IEEE118节点系统与实际电网的仿真,验证了该方法在解决工程问题上的实用性,体现了该算法的实用性和鲁棒性。
关键词
安全
约束
SCOPF
安全可行域
约束过滤
Keywords
security constraint
SCOPF
security feasible region
constraint filtering
分类号
TM744 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
GC-MCR:有向图约束指导的并发缺陷检测方法
2
作者
李硕川
王赞
马明旭
陈翔
赵英全
王海弛
王昊宇
机构
天津大学智能与计算学部
南通大学信息科学技术学院
出处
《软件学报》
EI
CSCD
北大核心
2023年第8期3485-3506,共22页
基金
国家自然科学基金(61872263)
天津市智能制造专项资金(20201180)。
文摘
约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法GC-MCR(directed graph constraint-guided maximal causality reduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次数.与现有的J-MCR方法相比,GC-MCR的并发程序缺陷检测效率可以取得显著提升,且不会降低并发缺陷的检测能力,在现有研究方法广泛使用的38组并发测试程序上的测试时间可以平均减少34.01%.
关键词
并发程序
最大因果约减
约束
求解
有向图
冲突
约束过滤
Keywords
concurrent program
maximum causality reduction
constraint solving
directed graph
conflict constraint filtering
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于公式化限额和最小裕度最大化的电网热稳定限额计算
被引量：
1
3
作者
曾涛
陈浩
郭瑞鹏
汪震
机构
浙江大学电气工程学院
国家电网有限公司华东分部
出处
《电力系统自动化》
EI
CSCD
北大核心
2024年第3期159-167,共9页
基金
国家自然科学基金资助项目(52077196)。
文摘
编制热稳定控制限额是电网调度控制中心的重要工作,也是保障电网安全运行的重要手段。针对新能源大规模并网后潮流不确定性大导致热稳定限额制定难度增大的问题,以预想故障分析为基础计算潮流转移关系并建立电网安全约束,进而提出了基于公式化限额和最小裕度最大化的三阶段电网热稳定限额计算方法,实现了热稳定限额的批量自动计算。第1阶段对输电通道限额进行初始化,第2阶段对故障后易过载的通道按照故障后不超瓶颈设备短时载流能力制定公式化限额要求,第3阶段对转移关系约束存在耦合的通道集合逐次按最小裕度最大化原则计算通道控制限额。对输电资源紧张的通道同时采用公式化限额和通道控制限额要求可以减小保守性,充分释放通道输电能力;对其余通道只采用通道控制限额要求,可减少并简化控制要求。以某区域电网2023年夏季高峰运行方式为例,限额自动计算结果与稳定规程的一致性较好,验证了所提方法的有效性。
关键词
热稳定限额
公式化限额
预想故障
最小裕度最大化
冗余
约束过滤
Keywords
thermal stability control limit
formulaic control limit
contingency
maximization of minimum safety margin
redundant constraint filtering
分类号
TM744 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于有效约束识别的电网热稳边界辨识方法
徐渊
谌艳红
王凯
段志远
鲍威
胡婧雯
胡通华
《电力系统保护与控制》
CSCD
北大核心
2021
2
在线阅读
下载PDF
职称材料
2
GC-MCR:有向图约束指导的并发缺陷检测方法
李硕川
王赞
马明旭
陈翔
赵英全
王海弛
王昊宇
《软件学报》
EI
CSCD
北大核心
2023
0
在线阅读
下载PDF
职称材料
3
基于公式化限额和最小裕度最大化的电网热稳定限额计算
曾涛
陈浩
郭瑞鹏
汪震
《电力系统自动化》
EI
CSCD
北大核心
2024
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
