检索结果-维普期刊中文期刊服务平台

基于符号执行提高缺陷分析的准确性研究被引量：3: 1; 作者王眉林张旖旎 +2 位作者李明月邵帅刘湿润《北京理工大学学报》 EI CAS CSCD 北大核心 2020年第4期382-385,395,共5页; 静态分析是检测软件代码缺陷和提升软件代码质量的有效方式.由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高.相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确... 展开更多; 关键词静态分析符号执行缺陷检测不可达路径; 在线阅读下载PDF 职称材料

高速架空乘人系统应用研究被引量：6: 2; 作者王眉林冯维钧高建荣《中国煤炭》北大核心 2005年第6期44-45,共2页; 介绍了进口高速架空乘人系统在我国的首次引进研究及应用,着重介绍了系统组成、国产化设计、存在问题及改进等,对国产架空乘人装置的设计应用具有借鉴作用。; 关键词系统应用高速架空乘人装置国产化设计借鉴作用; 在线阅读下载PDF 职称材料

基于机器学习的Android应用组件暴露漏洞分析被引量：10: 3; 作者邵帅王眉林 +2 位作者陈冬青王婷姜鑫《北京理工大学学报》 EI CAS CSCD 北大核心 2019年第9期974-977,共4页; 现阶段已有很多Android应用软件的自动化漏洞检测方法,针对现有漏洞检测方案仍然依赖于先验知识并且误报率较高的问题,本文研究了基于机器学习的Android应用软件组件暴露漏洞的分析方法.在对Android应用软件结构进行全方位分析的基础上... 展开更多; 关键词机器学习组件暴露漏洞 ANDROID应用; 在线阅读下载PDF 职称材料

顺槽连续牵引车系统的研制与应用: 4; 作者王眉林《中国煤炭》 2000年第11期25-26,共2页; 介绍了最新研制的新型高效辅助运输设备──顺槽连续牵引车的主要技术参数、组成和特点。论证了该产品的社会效益和经济效益分析，认为无极绳轨道运输是适合我国国情的辅助运输设备。; 关键词辅助运输无极绳轨道运输顺槽连续牵引车技术参数井下运输; 在线阅读下载PDF 职称材料

煤矿井下液力传动柴油机车动力系统匹配设计: 5; 作者王眉林《煤矿自动化》 1998年第2期58-60,共3页; 通过柴油机与变矩器的匹配计算，机械传动比的确定和副变速装置的设计，介绍煤矿井下液力传动柴油机车动力系统的匹配方法。; 关键词内燃机车动力系统设计煤矿柴油机车匹配; 在线阅读下载PDF 职称材料

MWMD916柴油机及其使用可靠性分析: 6; 作者王眉林顾祖全《煤矿自动化》 1999年第2期37-39,共3页; 介绍了ＭＷＭＤ９１６系列柴油机的性能参数及其在国内的应用情况，着重分析了该系统柴油机在我国煤矿井下辅助运输设备使用中存在的问题及产生原因，结合实际使用和维修经验提出提高柴油机使用可靠性的必要性及措施。; 关键词柴油机辅助运输可靠性分析煤矿; 在线阅读下载PDF 职称材料

液力变矩器在柴油机胶套轮机车上的应用: 7; 作者王眉林顾建国《煤矿自动化》 1998年第4期51-52,共2页; 介绍液力变矩器改型前后与ＭＷＭＤ９１６－４柴油机的匹配情况和改型变矩器的使用效果。; 关键词特性曲线液力变矩器机车胶套轮柴油机; 在线阅读下载PDF 职称材料

胶套轮蓄电池机车及其发展: 8; 作者王眉林《煤矿自动化》 1995年第1期50-53,共4页; 胶套轮蓄电池机车及其发展王眉林（煤科总院常州科试中心）１概述蓄电池机车是煤矿井下常用的一种牵引设备。在高浓度沼气和煤尘爆炸性危险矿井的进回风巷和采区进回巷等主要运输巷道，尤其是在建井初期和井巷延伸工程中，作牵引矿车运... 展开更多; 关键词煤矿机车胶套轮机车蓄电池机车发展; 在线阅读下载PDF 职称材料

新型高效煤矿辅助运输设备被引量：1: 9; 作者练达王眉林顾建国《煤矿自动化》 1997年第3期61-64,共4页; 介绍了最新研制成功的新型高效煤矿辅助运输设备ＣＫ－３０型防爆低污染柴油机胶套轮机车的结构、特点、主要技术参数和用途。; 关键词煤矿机械辅助运输设备技术特性; 在线阅读下载PDF 职称材料

题名基于符号执行提高缺陷分析的准确性研究被引量：3: 1; 作者王眉林张旖旎李明月邵帅刘湿润; 机构中国信息安全测评中心北京邮电大学计算机学院; 出处《北京理工大学学报》 EI CAS CSCD 北大核心 2020年第4期382-385,395,共5页; 基金国家重点研发计划网络空间安全重点专项(2016YFB0800900) 国家自然科学基金面上项目(61672534)。; 文摘静态分析是检测软件代码缺陷和提升软件代码质量的有效方式.由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高.相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确程度,弥补静态分析的不足.为了提高静态分析工具分析程序缺陷的准确性,本文设计并实现了一个代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,综合采用符号执行与静态分析技术以检测源代码中的缺陷.使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析结果的准确性.; 关键词静态分析符号执行缺陷检测不可达路径; Keywords static analysis symbolic execution defects detection infeasible path; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名高速架空乘人系统应用研究被引量：6: 2; 作者王眉林冯维钧高建荣; 机构中国矿业大学常州科研试制中心有限公司; 出处《中国煤炭》北大核心 2005年第6期44-45,共2页; 文摘介绍了进口高速架空乘人系统在我国的首次引进研究及应用,着重介绍了系统组成、国产化设计、存在问题及改进等,对国产架空乘人装置的设计应用具有借鉴作用。; 关键词系统应用高速架空乘人装置国产化设计借鉴作用; 分类号 TD55 [矿业工程—矿山机电] U491 [交通运输工程—交通运输规划与管理]; 在线阅读下载PDF 职称材料

题名基于机器学习的Android应用组件暴露漏洞分析被引量：10: 3; 作者邵帅王眉林陈冬青王婷姜鑫; 机构中国信息安全测评中心北京邮电大学计算机学院; 出处《北京理工大学学报》 EI CAS CSCD 北大核心 2019年第9期974-977,共4页; 基金国家自然科学基金面上项目(61672534); 文摘现阶段已有很多Android应用软件的自动化漏洞检测方法,针对现有漏洞检测方案仍然依赖于先验知识并且误报率较高的问题,本文研究了基于机器学习的Android应用软件组件暴露漏洞的分析方法.在对Android应用软件结构进行全方位分析的基础上,结合组件暴露漏洞模型,建立了相应的机器学习系统,并能够对Android漏洞特征进行提取、数据清理和向量化.结合人工分析与验证,建立了1 000个Android APK样本集,并通过训练实现了组件暴露漏洞的自动化识别,达到了90%以上的精确度.; 关键词机器学习组件暴露漏洞 ANDROID应用; Keywords machine learning component exposure vulnerability Android application; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名顺槽连续牵引车系统的研制与应用: 4; 作者王眉林; 机构常州科研所; 出处《中国煤炭》 2000年第11期25-26,共2页; 文摘介绍了最新研制的新型高效辅助运输设备──顺槽连续牵引车的主要技术参数、组成和特点。论证了该产品的社会效益和经济效益分析，认为无极绳轨道运输是适合我国国情的辅助运输设备。; 关键词辅助运输无极绳轨道运输顺槽连续牵引车技术参数井下运输; 分类号 TD52 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

题名煤矿井下液力传动柴油机车动力系统匹配设计: 5; 作者王眉林; 机构兖矿(集团)常州科研所; 出处《煤矿自动化》 1998年第2期58-60,共3页; 文摘通过柴油机与变矩器的匹配计算，机械传动比的确定和副变速装置的设计，介绍煤矿井下液力传动柴油机车动力系统的匹配方法。; 关键词内燃机车动力系统设计煤矿柴油机车匹配; 分类号 TD524.3 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

题名MWMD916柴油机及其使用可靠性分析: 6; 作者王眉林顾祖全; 机构兖州矿业(集团)公司常州科研所; 出处《煤矿自动化》 1999年第2期37-39,共3页; 文摘介绍了ＭＷＭＤ９１６系列柴油机的性能参数及其在国内的应用情况，着重分析了该系统柴油机在我国煤矿井下辅助运输设备使用中存在的问题及产生原因，结合实际使用和维修经验提出提高柴油机使用可靠性的必要性及措施。; 关键词柴油机辅助运输可靠性分析煤矿; 分类号 TD52 [矿业工程—矿山机电] TD614.3 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

题名液力变矩器在柴油机胶套轮机车上的应用: 7; 作者王眉林顾建国; 机构兖州矿业集团常州科研所; 出处《煤矿自动化》 1998年第4期51-52,共2页; 文摘介绍液力变矩器改型前后与ＭＷＭＤ９１６－４柴油机的匹配情况和改型变矩器的使用效果。; 关键词特性曲线液力变矩器机车胶套轮柴油机; 分类号 TD524.3 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

题名胶套轮蓄电池机车及其发展: 8; 作者王眉林; 机构煤科总院常州科试中心; 出处《煤矿自动化》 1995年第1期50-53,共4页; 文摘胶套轮蓄电池机车及其发展王眉林（煤科总院常州科试中心）１概述蓄电池机车是煤矿井下常用的一种牵引设备。在高浓度沼气和煤尘爆炸性危险矿井的进回风巷和采区进回巷等主要运输巷道，尤其是在建井初期和井巷延伸工程中，作牵引矿车运输原煤、矸石、设备及人员，在煤矿井...; 关键词煤矿机车胶套轮机车蓄电池机车发展; 分类号 TD524.3 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

题名新型高效煤矿辅助运输设备被引量：1: 9; 作者练达王眉林顾建国; 机构煤科总院常州科研试制中心; 出处《煤矿自动化》 1997年第3期61-64,共4页; 文摘介绍了最新研制成功的新型高效煤矿辅助运输设备ＣＫ－３０型防爆低污染柴油机胶套轮机车的结构、特点、主要技术参数和用途。; 关键词煤矿机械辅助运输设备技术特性; 分类号 TD421.6 [矿业工程—矿山机电]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于符号执行提高缺陷分析的准确性研究	王眉林张旖旎李明月邵帅刘湿润	《北京理工大学学报》 EI CAS CSCD 北大核心	2020	3	在线阅读下载PDF 职称材料
2	高速架空乘人系统应用研究	王眉林冯维钧高建荣	《中国煤炭》北大核心	2005	6	在线阅读下载PDF 职称材料
3	基于机器学习的Android应用组件暴露漏洞分析	邵帅王眉林陈冬青王婷姜鑫	《北京理工大学学报》 EI CAS CSCD 北大核心	2019	10	在线阅读下载PDF 职称材料
4	顺槽连续牵引车系统的研制与应用	王眉林	《中国煤炭》	2000	0	在线阅读下载PDF 职称材料
5	煤矿井下液力传动柴油机车动力系统匹配设计	王眉林	《煤矿自动化》	1998	0	在线阅读下载PDF 职称材料
6	MWMD916柴油机及其使用可靠性分析	王眉林顾祖全	《煤矿自动化》	1999	0	在线阅读下载PDF 职称材料
7	液力变矩器在柴油机胶套轮机车上的应用	王眉林顾建国	《煤矿自动化》	1998	0	在线阅读下载PDF 职称材料
8	胶套轮蓄电池机车及其发展	王眉林	《煤矿自动化》	1995	0	在线阅读下载PDF 职称材料
9	新型高效煤矿辅助运输设备	练达王眉林顾建国	《煤矿自动化》	1997	1	在线阅读下载PDF 职称材料