期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
针对智能变电站二次回路故障的高压断路器故障追踪
被引量:
22
1
作者
张晓彤
陈青
+3 位作者
孙梦璇
黄吴镝
王磊
刘博
《电力自动化设备》
EI
CSCD
北大核心
2020年第10期212-217,224,共7页
针对相关二次回路故障导致高压断路器不正确动作的情况进行分析,提出了一种基于有向二分图模型的故障追踪方法,从而对高压断路器不正确动作具体原因进行反向追踪。首先根据面向通用对象的变电站事件报文的传递路径将相关二次回路网络分...
针对相关二次回路故障导致高压断路器不正确动作的情况进行分析,提出了一种基于有向二分图模型的故障追踪方法,从而对高压断路器不正确动作具体原因进行反向追踪。首先根据面向通用对象的变电站事件报文的传递路径将相关二次回路网络分簇为通信网络、保护装置、智能组件及测控装置,并将每一簇作为一个子域。其次利用智能变电站端的相关二次回路异常信息及故障原因之间的逻辑关系,在每个子域内建立基于有向二分图的故障关联模型。最后引入贝叶斯疑似度对故障原因进行计算分析并结合反向推理进行验证,从概率上保证了结果的准确性。案例分析表明,所提故障追踪方法可以及时对高压断路器不正确动作追本溯源,且具有较高的容错性。
展开更多
关键词
智能变电站
有向二分图模型
贝叶斯疑似度
反向推理
高压断路器
二次回路
故障追踪
在线阅读
下载PDF
职称材料
代表性博文选择的博客兴趣建模
被引量:
2
2
作者
卢露
朱福喜
《小型微型计算机系统》
CSCD
北大核心
2011年第10期2012-2015,共4页
随着博客信息源成指数级的增长,在博客空间中的信息检索,知识发现等任务正面临着巨大的挑战.博客特有的格式为以博客为载体的数据挖掘任务带来不便.本文提出挑选最具代表性的m个博文构成的博文集对博客兴趣建模,挑选的标准保证博文集中...
随着博客信息源成指数级的增长,在博客空间中的信息检索,知识发现等任务正面临着巨大的挑战.博客特有的格式为以博客为载体的数据挖掘任务带来不便.本文提出挑选最具代表性的m个博文构成的博文集对博客兴趣建模,挑选的标准保证博文集中博文的重要性和主题多样性,并根据这两个指标来构造博文评估函数,将其转换成实例选择优化问题求解.实验以博客分类为目标,表明通过本文方法预处理后的博客,能够降低时间复杂度,提高分类准确率.
展开更多
关键词
博客兴趣建模
博文选择
有向二分图模型
博客分类
在线阅读
下载PDF
职称材料
面向总线系统的高层次结构化激励生成算法
3
作者
程开丰
罗汉青
梁利平
《湖南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018年第4期148-154,160,共8页
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次...
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.
展开更多
关键词
总线系统
有向二分图模型
等价类划分
高层次功能覆盖率
模型
结构化激励生成
在线阅读
下载PDF
职称材料
Cache一致性验证的结构化激励生成算法
4
作者
程开丰
罗汉青
梁利平
《湖南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018年第10期108-114,共7页
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图...
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.
展开更多
关键词
CACHE一致性
有向二分图模型
等价类划分
高层次功能覆盖率
模型
结构化激励生成
在线阅读
下载PDF
职称材料
题名
针对智能变电站二次回路故障的高压断路器故障追踪
被引量:
22
1
作者
张晓彤
陈青
孙梦璇
黄吴镝
王磊
刘博
机构
山东大学电网智能化调度与控制教育部重点实验室
国网技术学院
北京交通大学电气工程学院
出处
《电力自动化设备》
EI
CSCD
北大核心
2020年第10期212-217,224,共7页
基金
国家自然科学基金资助项目(51877123)。
文摘
针对相关二次回路故障导致高压断路器不正确动作的情况进行分析,提出了一种基于有向二分图模型的故障追踪方法,从而对高压断路器不正确动作具体原因进行反向追踪。首先根据面向通用对象的变电站事件报文的传递路径将相关二次回路网络分簇为通信网络、保护装置、智能组件及测控装置,并将每一簇作为一个子域。其次利用智能变电站端的相关二次回路异常信息及故障原因之间的逻辑关系,在每个子域内建立基于有向二分图的故障关联模型。最后引入贝叶斯疑似度对故障原因进行计算分析并结合反向推理进行验证,从概率上保证了结果的准确性。案例分析表明,所提故障追踪方法可以及时对高压断路器不正确动作追本溯源,且具有较高的容错性。
关键词
智能变电站
有向二分图模型
贝叶斯疑似度
反向推理
高压断路器
二次回路
故障追踪
Keywords
intelligent substation
directed bipartite graph model
Bayesian suspected degree
back reasoning
high-voltage circuit breaker
secondary circuit
fault tracking.
分类号
TM561 [电气工程—电器]
在线阅读
下载PDF
职称材料
题名
代表性博文选择的博客兴趣建模
被引量:
2
2
作者
卢露
朱福喜
机构
武汉大学计算机科学与技术学院
长江大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第10期2012-2015,共4页
基金
国家自然科学基金项目(60773011)资助
文摘
随着博客信息源成指数级的增长,在博客空间中的信息检索,知识发现等任务正面临着巨大的挑战.博客特有的格式为以博客为载体的数据挖掘任务带来不便.本文提出挑选最具代表性的m个博文构成的博文集对博客兴趣建模,挑选的标准保证博文集中博文的重要性和主题多样性,并根据这两个指标来构造博文评估函数,将其转换成实例选择优化问题求解.实验以博客分类为目标,表明通过本文方法预处理后的博客,能够降低时间复杂度,提高分类准确率.
关键词
博客兴趣建模
博文选择
有向二分图模型
博客分类
Keywords
blogger profiling
entry selection
directed bipartite graph model
blog classification
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
面向总线系统的高层次结构化激励生成算法
3
作者
程开丰
罗汉青
梁利平
机构
中国科学院大学微电子研究所
出处
《湖南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018年第4期148-154,160,共8页
基金
国家科技重大专项项目(2013ZX03003015)~~
文摘
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.
关键词
总线系统
有向二分图模型
等价类划分
高层次功能覆盖率
模型
结构化激励生成
Keywords
bus system
directed bipartite graph model
equivalence partition
high level functional coverage model
structural stimuli generation
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
Cache一致性验证的结构化激励生成算法
4
作者
程开丰
罗汉青
梁利平
机构
中国科学院大学中国科学院微电子研究所嵌入式与多核DSP实验室
出处
《湖南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018年第10期108-114,共7页
基金
新一代宽带无线移动通信网国家科技重大专项(2013ZX03003015)。
文摘
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.
关键词
CACHE一致性
有向二分图模型
等价类划分
高层次功能覆盖率
模型
结构化激励生成
Keywords
Cache coherence
directed bipartite graph model
equivalence partition
high level functional coverage model
structural stimuli generation
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
针对智能变电站二次回路故障的高压断路器故障追踪
张晓彤
陈青
孙梦璇
黄吴镝
王磊
刘博
《电力自动化设备》
EI
CSCD
北大核心
2020
22
在线阅读
下载PDF
职称材料
2
代表性博文选择的博客兴趣建模
卢露
朱福喜
《小型微型计算机系统》
CSCD
北大核心
2011
2
在线阅读
下载PDF
职称材料
3
面向总线系统的高层次结构化激励生成算法
程开丰
罗汉青
梁利平
《湖南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
4
Cache一致性验证的结构化激励生成算法
程开丰
罗汉青
梁利平
《湖南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部