期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于光纤传感技术的易燃易爆气体泄漏监测研究
被引量:
7
1
作者
刘洋
高文傲
+3 位作者
李登科
李明明
余凡
陈先锋
《爆破》
CSCD
北大核心
2017年第4期22-26,共5页
针对目前易燃易爆气体泄漏监测手段的不足,提出了一种使用光纤光栅传感技术进行实时监测的方法。根据实际工况搭建了管道输气系统,使用空气作为传输介质模拟了易燃易爆气体发生泄漏的过程。通过对监测点管道的振动加速度进行采集,利用...
针对目前易燃易爆气体泄漏监测手段的不足,提出了一种使用光纤光栅传感技术进行实时监测的方法。根据实际工况搭建了管道输气系统,使用空气作为传输介质模拟了易燃易爆气体发生泄漏的过程。通过对监测点管道的振动加速度进行采集,利用降噪和傅里叶、变换的信号处理手段,对振动波形进行分析。结果表明:在管道发生泄漏时,管道振动的振动加速度会发生一定程度的减小,振动主频会略微变大。通过光纤光栅传感技术,对振动特征参数进行分析和计算,可实现管道泄漏点准确定位。
展开更多
关键词
气体
泄漏
光纤光栅
监测
在线阅读
下载PDF
职称材料
光纤透射法监测煤粉爆炸临界浓度及预警系统探讨
被引量:
2
2
作者
余凡
王玉杰
+3 位作者
刘洋
任少峰
董志桥
陈先锋
《爆破》
CSCD
北大核心
2020年第3期141-147,共7页
可燃性粉尘爆炸事故易发生、难控制,事故后果严重。为了监测粉尘的爆炸临界浓度,研发一款基于光纤传感技术的粉尘浓度传感器。介绍了基于光纤透射法的粉尘浓度监测技术基本原理,营造均匀粉尘环境,搭建实验平台对平均粒径为21.583μm、40...
可燃性粉尘爆炸事故易发生、难控制,事故后果严重。为了监测粉尘的爆炸临界浓度,研发一款基于光纤传感技术的粉尘浓度传感器。介绍了基于光纤透射法的粉尘浓度监测技术基本原理,营造均匀粉尘环境,搭建实验平台对平均粒径为21.583μm、40.264μm和63.259μm的煤粉进行浓度实验。结果表明:消光程度与粉尘浓度值呈现良好线性关系,测量值与实际值的实验误差在±10%之内。然后对煤粉爆炸临界浓度进行探讨,开发粉尘爆炸临界浓度预警系统。可实现当浓度达到爆炸临界浓度设定值进行报警,预先防止粉尘爆炸。
展开更多
关键词
光纤传感
透射法
粉尘监测
爆炸临界浓度
预警系统
在线阅读
下载PDF
职称材料
Tulip火焰形成过程中的细微结构特性
被引量:
13
3
作者
陈先锋
孙金华
+1 位作者
姚礼殷
刘洋
《燃烧科学与技术》
EI
CAS
CSCD
北大核心
2008年第4期350-354,共5页
为揭示预混火焰传播的动力学过程以及Tulip火焰的形成规律,采用高速纹影摄像系统并结合离子电流探测等技术手段,对管道内丙烷-空气预混火焰传播过程中的细微结构进行了实验研究.结果表明,在Tulip火焰形成过程中,伴随着层流火焰向湍流转...
为揭示预混火焰传播的动力学过程以及Tulip火焰的形成规律,采用高速纹影摄像系统并结合离子电流探测等技术手段,对管道内丙烷-空气预混火焰传播过程中的细微结构进行了实验研究.结果表明,在Tulip火焰形成过程中,伴随着层流火焰向湍流转变以及火焰结构的变化;层流火焰中的小尺寸涡流增大火焰厚度,而随后大尺寸涡流使火焰发生褶皱与分层;Tulip火焰结构的形成是流动与火焰共同作用的结果,它标志着层流向湍流转变的充分发展.
展开更多
关键词
预混火焰
火焰结构
Tulip火焰
层流向湍流转变
在线阅读
下载PDF
职称材料
一种改进型增强图像处理算法研究与应用
被引量:
14
4
作者
刘洋
余建华
+1 位作者
顾志芹
陈先锋
《激光与红外》
CAS
CSCD
北大核心
2019年第3期381-384,共4页
常规的基于高斯或拉普拉斯模板的锐化或增强算法应用中,都会出现包边的现象,即在与邻域有强烈对比的目标上会出现明显的暗或亮包边问题。常规方法未对该现象进行处理,导致部分场景目标存在明显的包边现象。基于常规算法产生的包边问题...
常规的基于高斯或拉普拉斯模板的锐化或增强算法应用中,都会出现包边的现象,即在与邻域有强烈对比的目标上会出现明显的暗或亮包边问题。常规方法未对该现象进行处理,导致部分场景目标存在明显的包边现象。基于常规算法产生的包边问题的原因分析,发现主要是在获取高频图像信息时,采用高斯或拉普拉斯这种基于位置差异计算权重的方式导致;因此在进行获取高频细节时,通过增加以灰度差值来调整权重方式来获取细节,或采用更简单的高频细节截止的处理方式,可有效改善增强算法中的包边问题。
展开更多
关键词
图像增强
包边
位置权重
灰度权重
在线阅读
下载PDF
职称材料
基于人工智能方法的地下洞室群爆破振动速度预测
被引量:
4
5
作者
马晨阳
张汉斌
+4 位作者
袁青
周玉纯
汪煜烽
吴立
刘洋
《爆破》
CSCD
北大核心
2017年第4期12-16,共5页
特大断面地下洞库爆破开挖工程中涉及到众多的影响因素,为了较准确地预测出爆破振动速度,引入支持向量机理论,建立最小二成支持向量机爆破振动速度预测模型(LS-SVM模型),该模型利用结构风险最小化来提高求解问题的速度和精度。采用该模...
特大断面地下洞库爆破开挖工程中涉及到众多的影响因素,为了较准确地预测出爆破振动速度,引入支持向量机理论,建立最小二成支持向量机爆破振动速度预测模型(LS-SVM模型),该模型利用结构风险最小化来提高求解问题的速度和精度。采用该模型对某地下水封LPG洞库工程进行爆破振动速度预测,并与传统的萨道夫斯基回归公式模型(萨氏模型)和模糊神经网络模型(FNN模型)进行对比分析。分析结果表明:LS-SVM模型、FNN模型与萨氏模型的全局均方根相对误差RMSRE分别为4.68%、14.42%与19.33%;LS-SVM模型有14组数据满足预测模型泛化能力误差阀值(6%)的要求,而FNN模型与萨氏模型均不满足要求。因此LS-SVM模型在爆破振动速度预测中的预测性能和泛化能力均优于FNN模型及萨氏模型,可为多因素影响下类似工程爆破振动速度预测提供借鉴经验。
展开更多
关键词
地下洞室群
爆破振动速度预测
最小二乘支持向量机
模糊神经网络
在线阅读
下载PDF
职称材料
基于GRNN的水下爆炸容器动态响应预测
被引量:
1
6
作者
李琳娜
李甜
+2 位作者
钟冬望
涂圣武
刘洋
《爆破》
CSCD
北大核心
2018年第4期141-146,共6页
为了保证水下爆炸容器在服役期间的安全性,有必要进行容器的动态响应预测。对服役期的水下爆炸容器在不同载荷条件下进行动态响应测试试验,选取时间、药量、加载静水压和应变片位置的11个亚变量,共14个影响因素作为输入变量,容器的最大...
为了保证水下爆炸容器在服役期间的安全性,有必要进行容器的动态响应预测。对服役期的水下爆炸容器在不同载荷条件下进行动态响应测试试验,选取时间、药量、加载静水压和应变片位置的11个亚变量,共14个影响因素作为输入变量,容器的最大应力作为输出变量,建立基于GRNN的水下爆炸容器动态响应预测模型,仿真载荷与容器应变的映射关系,并通过10折交叉验证法验证了该模型具有较好的预测性能。同时对比基于BPNN的预测模型,GRNN模型的拟合与预测性能明显优于BPNN模型,进一步说明了GRNN方法在水下爆炸容器动态响应预测过程中的有效性。
展开更多
关键词
水下爆炸容器
动态响应
广义回归神经网络
在线阅读
下载PDF
职称材料
降低深孔台阶爆破大块率的试验研究
被引量:
12
7
作者
任少峰
杨静
+3 位作者
张义平
于海阔
徐顺心
刘洋
《爆破》
CSCD
北大核心
2018年第4期58-62,共5页
深孔台阶爆破是当前国内外露天矿山开采过程中重要的生产环节,降低深孔台阶爆破的大块率是控制矿山生产成本的关键一步。结合新疆别斯库都克露天煤矿台阶爆破的生产实践,考虑矿山生产实际需求及施工条件,针对台阶顶部存在凸出的"垛...
深孔台阶爆破是当前国内外露天矿山开采过程中重要的生产环节,降低深孔台阶爆破的大块率是控制矿山生产成本的关键一步。结合新疆别斯库都克露天煤矿台阶爆破的生产实践,考虑矿山生产实际需求及施工条件,针对台阶顶部存在凸出的"垛子"、台阶坡面呈现伞状或大脚状的问题,提出使用深孔、浅孔联合布孔的方式降低大块率;对于软弱夹层或较大裂隙岩体,以及沙漏状台阶坡面,通过改善装药结构,采用间隔装药方式,提高炸药爆炸能量的利用效率,从而减少大块的产生。现场实践表明:采用深孔、浅孔联合布置的方式,同时改善装药结构,能有效的降低大块率,减少爆破大块的产生。
展开更多
关键词
软弱夹层
深孔台阶爆破
大块率
间隔装药
联合布置
在线阅读
下载PDF
职称材料
基于变量符号关联分析的程序状态优化方法
被引量:
1
8
作者
郭曦
王盼
《通信学报》
EI
CSCD
北大核心
2018年第6期81-88,共8页
程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高...
程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高的问题,从而影响程序分析的效果。以提高路径分析精度为目标,首先分析不同执行路径对应的路径条件,并提取公共的符号表达式以提高符号关联分析的精度,然后逆向生成依赖条件逻辑表达式集合,使用依赖关联分析算法以提高路径分析的精度。实验结果表明,所提方法相对于传统的路径分析方法,有更准确的时间复杂度和更高的路径分析精度。
展开更多
关键词
程序分析
符号执行
约束求解器
符号分析
在线阅读
下载PDF
职称材料
基于依赖条件重构的程序符号值分析方法
被引量:
1
9
作者
郭曦
王盼
《电子学报》
EI
CAS
CSCD
北大核心
2019年第3期630-635,共6页
符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解....
符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.
展开更多
关键词
程序分析
符号执行
关联依赖
约束求解
在线阅读
下载PDF
职称材料
氧化锌避雷器现场带电测试研究
被引量:
3
10
作者
刘海永
邢振
张家安
《山东煤炭科技》
2005年第5期17-18,共2页
采用可消除现场干扰的氧化锌避雷器在运行电压下带电检测方法,比停电条件下直流泄漏电流的测试具有明显的优势。本文主要分析了相间电容耦合对泄漏电流的影响和消除其影响的方法。
关键词
氧化锌避雷器
带电测试
阻性电流
容性电流
相间电容耦合
在线阅读
下载PDF
职称材料
题名
基于光纤传感技术的易燃易爆气体泄漏监测研究
被引量:
7
1
作者
刘洋
高文傲
李登科
李明明
余凡
陈先锋
机构
武汉电力职业技术学院电力工程系
武汉
理工大学资源与环境
工程
学院
出处
《爆破》
CSCD
北大核心
2017年第4期22-26,共5页
基金
国家重点研发计划(2017KYC0804705)
国家自然科学基金(NSFC51774221)
文摘
针对目前易燃易爆气体泄漏监测手段的不足,提出了一种使用光纤光栅传感技术进行实时监测的方法。根据实际工况搭建了管道输气系统,使用空气作为传输介质模拟了易燃易爆气体发生泄漏的过程。通过对监测点管道的振动加速度进行采集,利用降噪和傅里叶、变换的信号处理手段,对振动波形进行分析。结果表明:在管道发生泄漏时,管道振动的振动加速度会发生一定程度的减小,振动主频会略微变大。通过光纤光栅传感技术,对振动特征参数进行分析和计算,可实现管道泄漏点准确定位。
关键词
气体
泄漏
光纤光栅
监测
Keywords
gas
leakage
fiber grating
monitoring
分类号
TD235.3 [矿业工程—矿井建设]
在线阅读
下载PDF
职称材料
题名
光纤透射法监测煤粉爆炸临界浓度及预警系统探讨
被引量:
2
2
作者
余凡
王玉杰
刘洋
任少峰
董志桥
陈先锋
机构
武汉
理工大学安全科学与应急管理
学院
武汉
理工大学资源与环境
工程
学院
武汉电力职业技术学院电力工程系
西南能矿集团股份有限公司
出处
《爆破》
CSCD
北大核心
2020年第3期141-147,共7页
基金
国家重点研发计划项目(2018YFC0808500)
国家自然科学基金项目(51774221)。
文摘
可燃性粉尘爆炸事故易发生、难控制,事故后果严重。为了监测粉尘的爆炸临界浓度,研发一款基于光纤传感技术的粉尘浓度传感器。介绍了基于光纤透射法的粉尘浓度监测技术基本原理,营造均匀粉尘环境,搭建实验平台对平均粒径为21.583μm、40.264μm和63.259μm的煤粉进行浓度实验。结果表明:消光程度与粉尘浓度值呈现良好线性关系,测量值与实际值的实验误差在±10%之内。然后对煤粉爆炸临界浓度进行探讨,开发粉尘爆炸临界浓度预警系统。可实现当浓度达到爆炸临界浓度设定值进行报警,预先防止粉尘爆炸。
关键词
光纤传感
透射法
粉尘监测
爆炸临界浓度
预警系统
Keywords
optical fiber sensing
transmission method
dust monitoring
critical concentration of explosion
early warning system
分类号
X936 [环境科学与工程—安全科学]
在线阅读
下载PDF
职称材料
题名
Tulip火焰形成过程中的细微结构特性
被引量:
13
3
作者
陈先锋
孙金华
姚礼殷
刘洋
机构
中国科学
技术
大学火灾科学国家重点实验室
武汉电力职业技术学院电力工程系
出处
《燃烧科学与技术》
EI
CAS
CSCD
北大核心
2008年第4期350-354,共5页
基金
国家自然科学基金资助项目(50576093)
火灾科学国家重点实验室开放课题资助项目(HZ2007-KF06)
文摘
为揭示预混火焰传播的动力学过程以及Tulip火焰的形成规律,采用高速纹影摄像系统并结合离子电流探测等技术手段,对管道内丙烷-空气预混火焰传播过程中的细微结构进行了实验研究.结果表明,在Tulip火焰形成过程中,伴随着层流火焰向湍流转变以及火焰结构的变化;层流火焰中的小尺寸涡流增大火焰厚度,而随后大尺寸涡流使火焰发生褶皱与分层;Tulip火焰结构的形成是流动与火焰共同作用的结果,它标志着层流向湍流转变的充分发展.
关键词
预混火焰
火焰结构
Tulip火焰
层流向湍流转变
Keywords
premixed flame
flame structure
Tulip flame
laminar-turbulent transition
分类号
TK401 [动力工程及工程热物理—动力机械及工程]
在线阅读
下载PDF
职称材料
题名
一种改进型增强图像处理算法研究与应用
被引量:
14
4
作者
刘洋
余建华
顾志芹
陈先锋
机构
武汉电力职业技术学院电力工程系
华中科技大学图书馆
武汉
理工大学资源与环境
工程
学院
出处
《激光与红外》
CAS
CSCD
北大核心
2019年第3期381-384,共4页
基金
国家重点研发计划项目(No.2016YFC0802801)
国家自然科学基金项目(No.51774221)资助
文摘
常规的基于高斯或拉普拉斯模板的锐化或增强算法应用中,都会出现包边的现象,即在与邻域有强烈对比的目标上会出现明显的暗或亮包边问题。常规方法未对该现象进行处理,导致部分场景目标存在明显的包边现象。基于常规算法产生的包边问题的原因分析,发现主要是在获取高频图像信息时,采用高斯或拉普拉斯这种基于位置差异计算权重的方式导致;因此在进行获取高频细节时,通过增加以灰度差值来调整权重方式来获取细节,或采用更简单的高频细节截止的处理方式,可有效改善增强算法中的包边问题。
关键词
图像增强
包边
位置权重
灰度权重
Keywords
image enhancement
edge wrapping
position weight
gray weight
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于人工智能方法的地下洞室群爆破振动速度预测
被引量:
4
5
作者
马晨阳
张汉斌
袁青
周玉纯
汪煜烽
吴立
刘洋
机构
中国地质大学(
武汉
)岩土钻掘与防护教育部
工程
研究中心
中国地质大学(
武汉
)
工程
学院
武汉电力职业技术学院电力工程系
出处
《爆破》
CSCD
北大核心
2017年第4期12-16,共5页
基金
国家自然科学基金资助项目(41672260)
中国地质大学(武汉)教学实验室开放基金资助项目(SKJ2014061
SKJ2016091)
文摘
特大断面地下洞库爆破开挖工程中涉及到众多的影响因素,为了较准确地预测出爆破振动速度,引入支持向量机理论,建立最小二成支持向量机爆破振动速度预测模型(LS-SVM模型),该模型利用结构风险最小化来提高求解问题的速度和精度。采用该模型对某地下水封LPG洞库工程进行爆破振动速度预测,并与传统的萨道夫斯基回归公式模型(萨氏模型)和模糊神经网络模型(FNN模型)进行对比分析。分析结果表明:LS-SVM模型、FNN模型与萨氏模型的全局均方根相对误差RMSRE分别为4.68%、14.42%与19.33%;LS-SVM模型有14组数据满足预测模型泛化能力误差阀值(6%)的要求,而FNN模型与萨氏模型均不满足要求。因此LS-SVM模型在爆破振动速度预测中的预测性能和泛化能力均优于FNN模型及萨氏模型,可为多因素影响下类似工程爆破振动速度预测提供借鉴经验。
关键词
地下洞室群
爆破振动速度预测
最小二乘支持向量机
模糊神经网络
Keywords
underground caverns
blasting vibration velocity prediction
least squares support vector machine
fuzzy neural network
分类号
TD235.3 [矿业工程—矿井建设]
在线阅读
下载PDF
职称材料
题名
基于GRNN的水下爆炸容器动态响应预测
被引量:
1
6
作者
李琳娜
李甜
钟冬望
涂圣武
刘洋
机构
武汉
科技大学理
学院
武汉
科技大学冶金工业过程
系
统科学湖北省重点实验室
武汉电力职业技术学院电力工程系
出处
《爆破》
CSCD
北大核心
2018年第4期141-146,共6页
基金
国家自然科学基金资助项目(51404175
51574184)
+1 种基金
冶金工业过程系统科学湖北省重点实验室开放基金资助项目(Y201712)
武汉科技大学国防预研基金资助项目(GF201708)
文摘
为了保证水下爆炸容器在服役期间的安全性,有必要进行容器的动态响应预测。对服役期的水下爆炸容器在不同载荷条件下进行动态响应测试试验,选取时间、药量、加载静水压和应变片位置的11个亚变量,共14个影响因素作为输入变量,容器的最大应力作为输出变量,建立基于GRNN的水下爆炸容器动态响应预测模型,仿真载荷与容器应变的映射关系,并通过10折交叉验证法验证了该模型具有较好的预测性能。同时对比基于BPNN的预测模型,GRNN模型的拟合与预测性能明显优于BPNN模型,进一步说明了GRNN方法在水下爆炸容器动态响应预测过程中的有效性。
关键词
水下爆炸容器
动态响应
广义回归神经网络
Keywords
underwater explosion vessels
dynamic response
general regression neural network
分类号
TD804 [矿业工程—矿山开采]
在线阅读
下载PDF
职称材料
题名
降低深孔台阶爆破大块率的试验研究
被引量:
12
7
作者
任少峰
杨静
张义平
于海阔
徐顺心
刘洋
机构
贵州大学矿业
学院
贵州新联爆破
工程
集团有限公司
武汉电力职业技术学院电力工程系
出处
《爆破》
CSCD
北大核心
2018年第4期58-62,共5页
基金
贵州省高层次创新人才培养资助(编号:黔科合人才(2016)4011号)
文摘
深孔台阶爆破是当前国内外露天矿山开采过程中重要的生产环节,降低深孔台阶爆破的大块率是控制矿山生产成本的关键一步。结合新疆别斯库都克露天煤矿台阶爆破的生产实践,考虑矿山生产实际需求及施工条件,针对台阶顶部存在凸出的"垛子"、台阶坡面呈现伞状或大脚状的问题,提出使用深孔、浅孔联合布孔的方式降低大块率;对于软弱夹层或较大裂隙岩体,以及沙漏状台阶坡面,通过改善装药结构,采用间隔装药方式,提高炸药爆炸能量的利用效率,从而减少大块的产生。现场实践表明:采用深孔、浅孔联合布置的方式,同时改善装药结构,能有效的降低大块率,减少爆破大块的产生。
关键词
软弱夹层
深孔台阶爆破
大块率
间隔装药
联合布置
Keywords
weak interlayer
deep holes bench blasting
bulk rate
interval charge
joint layout
分类号
TD235.3 [矿业工程—矿井建设]
在线阅读
下载PDF
职称材料
题名
基于变量符号关联分析的程序状态优化方法
被引量:
1
8
作者
郭曦
王盼
机构
华中农业大学信息
学院
武汉电力职业技术学院电力工程系
出处
《通信学报》
EI
CSCD
北大核心
2018年第6期81-88,共8页
基金
国家自然科学基金资助项目(No.61502194)
中央高校基本科研业务费专项基金资助项目(No.2662018JC028)~~
文摘
程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高的问题,从而影响程序分析的效果。以提高路径分析精度为目标,首先分析不同执行路径对应的路径条件,并提取公共的符号表达式以提高符号关联分析的精度,然后逆向生成依赖条件逻辑表达式集合,使用依赖关联分析算法以提高路径分析的精度。实验结果表明,所提方法相对于传统的路径分析方法,有更准确的时间复杂度和更高的路径分析精度。
关键词
程序分析
符号执行
约束求解器
符号分析
Keywords
program analysis
symbolic execution
constrain solver
symbolic analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于依赖条件重构的程序符号值分析方法
被引量:
1
9
作者
郭曦
王盼
机构
华中农业大学信息
学院
武汉电力职业技术学院电力工程系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2019年第3期630-635,共6页
基金
国家自然科学基金(No.61502194)
中央高校基本科研业务费专项基金(No.2662018JC028)
文摘
符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.
关键词
程序分析
符号执行
关联依赖
约束求解
Keywords
program analysis
symbolic execution
related dependency
constrain solving
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
氧化锌避雷器现场带电测试研究
被引量:
3
10
作者
刘海永
邢振
张家安
机构
兖矿集团机电设备制造厂
武汉电力职业技术学院电力工程系
出处
《山东煤炭科技》
2005年第5期17-18,共2页
文摘
采用可消除现场干扰的氧化锌避雷器在运行电压下带电检测方法,比停电条件下直流泄漏电流的测试具有明显的优势。本文主要分析了相间电容耦合对泄漏电流的影响和消除其影响的方法。
关键词
氧化锌避雷器
带电测试
阻性电流
容性电流
相间电容耦合
分类号
TM862 [电气工程—高电压与绝缘技术]
TS101.923 [轻工技术与工程—纺织工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于光纤传感技术的易燃易爆气体泄漏监测研究
刘洋
高文傲
李登科
李明明
余凡
陈先锋
《爆破》
CSCD
北大核心
2017
7
在线阅读
下载PDF
职称材料
2
光纤透射法监测煤粉爆炸临界浓度及预警系统探讨
余凡
王玉杰
刘洋
任少峰
董志桥
陈先锋
《爆破》
CSCD
北大核心
2020
2
在线阅读
下载PDF
职称材料
3
Tulip火焰形成过程中的细微结构特性
陈先锋
孙金华
姚礼殷
刘洋
《燃烧科学与技术》
EI
CAS
CSCD
北大核心
2008
13
在线阅读
下载PDF
职称材料
4
一种改进型增强图像处理算法研究与应用
刘洋
余建华
顾志芹
陈先锋
《激光与红外》
CAS
CSCD
北大核心
2019
14
在线阅读
下载PDF
职称材料
5
基于人工智能方法的地下洞室群爆破振动速度预测
马晨阳
张汉斌
袁青
周玉纯
汪煜烽
吴立
刘洋
《爆破》
CSCD
北大核心
2017
4
在线阅读
下载PDF
职称材料
6
基于GRNN的水下爆炸容器动态响应预测
李琳娜
李甜
钟冬望
涂圣武
刘洋
《爆破》
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
7
降低深孔台阶爆破大块率的试验研究
任少峰
杨静
张义平
于海阔
徐顺心
刘洋
《爆破》
CSCD
北大核心
2018
12
在线阅读
下载PDF
职称材料
8
基于变量符号关联分析的程序状态优化方法
郭曦
王盼
《通信学报》
EI
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
9
基于依赖条件重构的程序符号值分析方法
郭曦
王盼
《电子学报》
EI
CAS
CSCD
北大核心
2019
1
在线阅读
下载PDF
职称材料
10
氧化锌避雷器现场带电测试研究
刘海永
邢振
张家安
《山东煤炭科技》
2005
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部