首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   132篇
  免费   22篇
  国内免费   37篇
电工技术   3篇
综合类   12篇
化学工业   38篇
金属工艺   5篇
机械仪表   2篇
建筑科学   1篇
矿业工程   2篇
轻工业   5篇
水利工程   1篇
石油天然气   2篇
无线电   14篇
一般工业技术   2篇
冶金工业   2篇
自动化技术   102篇
  2024年   1篇
  2023年   7篇
  2022年   6篇
  2021年   9篇
  2020年   7篇
  2019年   7篇
  2018年   6篇
  2017年   4篇
  2016年   7篇
  2015年   5篇
  2014年   13篇
  2013年   5篇
  2012年   6篇
  2011年   9篇
  2010年   8篇
  2009年   4篇
  2008年   9篇
  2007年   6篇
  2006年   6篇
  2005年   9篇
  2004年   5篇
  2003年   10篇
  2002年   4篇
  2001年   5篇
  2000年   7篇
  1999年   3篇
  1998年   5篇
  1996年   2篇
  1995年   1篇
  1994年   1篇
  1992年   2篇
  1991年   1篇
  1990年   1篇
  1989年   1篇
  1987年   3篇
  1985年   3篇
  1984年   3篇
排序方式: 共有191条查询结果,搜索用时 15 毫秒
1.
郑炜  陈军正  吴潇雪  陈翔  夏鑫 《软件学报》2020,31(5):1294-1313
软件安全问题的发生在大多数情况下会造成非常严重的后果,及早发现安全问题,是预防安全事故的关键手段之一.安全缺陷报告预测可以辅助开发人员及早发现被测软件中潜藏的安全缺陷,从而尽早得以修复.然而,由于安全缺陷在实际项目中的数量较少,而且特征复杂(即安全缺陷类型繁多,不同类型安全缺陷特征差异性较大),这使得手工提取特征相对困难,并随后造成传统机器学习分类算法在安全缺陷报告预测性能方面存在一定的瓶颈.针对该问题,提出基于深度学习的安全缺陷报告预测方法,采用深度文本挖掘模型TextCNN和TextRNN构建安全缺陷报告预测模型;针对安全缺陷报告文本特征,使用skip-grams方式构建词嵌入矩阵,并借助注意力机制对TextRNN模型进行优化.所构建的模型在5个不同规模的安全缺陷报告数据集上展开了大规模实证研究,实证结果表明:深度学习模型在80%的实验案例中都要优于传统机器学习分类算法,性能指标F1-score平均可提升0.258,在最好的情况下甚至可以提升0.535.除此之外,针对安全缺陷报告数据集存在的类不均衡问题,对不同采样方法进行了实证研究,并对结果进行了分析.  相似文献   
2.
石剑君  计卫星  石峰 《软件学报》2021,32(7):2016-2038
并发错误是程序设计语言和软件工程领域的研究热点之一.近年来,针对应用程序并发错误检测的研究已取得了很大进展.但由于操作系统内核的并发和同步机制复杂、代码规模庞大,与应用程序级并发错误检测相比,操作系统内核的并发错误检测研究仍面临巨大挑战.对此,国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错误的基本类型、检测方法和评价指标,讨论了现有的并发错误检测方法和工具的局限性;接着,从形式化验证、静态分析、动态分析和静态动态相结合四个方面,对现有的操作系统内核并发错误检测的研究工作进行了分类阐述,并作了系统总结和对比分析;最后,探讨了操作系统内核并发错误检测研究面临的挑战,并对该领域未来的研究趋势进行了展望.  相似文献   
3.
随着多核设备的普及,主流软件系统的构建模式已经由单线程串行转为多线程的并行方式.然而,由于并行程序的不确定性,使得调试并行程序错误要比串行程序的错误困难很多.因此,如何高效地调试并行程序错误成为了亟待解决的问题.对并行错误调试技术做了全面的研究与分析.在此基础上,进一步讨论了不同调试技术的优劣,也对并行调试技术可能的发展方向进行展望.  相似文献   
4.
2014年4月8日,OpenSSL爆出其加密代码中一种名为Heartbleed的严重安全漏洞。利用该漏洞,攻击者在对客户端OpenSSL代码进行修改后,就能从内存中读取请求存储位置之外的多达64 KB的数据,这段内存数据可能包含证书私钥、用户名与密码、聊天信息、电子邮件、重要的商业文档、通信等数据。目前,绝大多数的电商以及网络支付的登录服务都是使用OpenSSL协议进行搭建的,所以该漏洞有着极为深远的影响。因此第一时间对该漏洞进行研究,分析,修复,是整个安全领域的首要任务。  相似文献   
5.
The large number of new bug reports received in bug repositories of software systems makes their management a challenging task.Handling these reports manually is time consuming,and often results in delaying the resolution of important bugs.To address this issue,a recommender may be developed which automatically prioritizes the new bug reports.In this paper,we propose and evaluate a classification based approach to build such a recommender.We use the Na¨ ve Bayes and Support Vector Machine (SVM) classifiers,and present a comparison to evaluate which classifier performs better in terms of accuracy.Since a bug report contains both categorical and text features,another evaluation we perform is to determine the combination of features that better determines the priority of a bug.To evaluate the bug priority recommender,we use precision and recall measures and also propose two new measures,Nearest False Negatives (NFN) and Nearest False Positives (NFP),which provide insight into the results produced by precision and recall.Our findings are that the results of SVM are better than the Na¨ ve Bayes algorithm for text features,whereas for categorical features,Na¨ ve Bayes performance is better than SVM.The highest accuracy is achieved with SVM when categorical and text features are combined for training.  相似文献   
6.
李令文 《甘肃冶金》2012,34(6):131-133
随着控制系统现场总线的大量应用,通讯网络稳定性直接关系到控制系统工作的可靠性。本文透过一个具体的自控系统总线设备通讯故障案例,尝试通过实验的方法进行分析总结,力求通过现象探寻问题的本质,为类似问题提供一个解决思路。  相似文献   
7.
"心脏出血"漏洞引起了全球对信息安全的广泛讨论。本文从安全经济学、安全机制、开源安全性和国家安全出发,多角度地对此次事件进行思考和讨论,揭示出信息安全作是一项系统工程,我们不仅要关注技术层面,更需要关注安全事件背后反映出来的深层次问题。  相似文献   
8.
康国柱  戴维 《铁合金》2010,41(5):43-48
锰铁厂的扬尘点很多,大多数除尘点采用布袋除尘器收尘。布袋除尘器是一项成熟的技术,经过净化的废气含尘浓度小于50 mg/m~3,完全符合国家排放标准要求;但由于现场条件的不同和设计的差异,许多锰铁厂的环境仍然不能达标。为保护环境,保护职工身体健康,文中介绍了先进的工程技术和综合管理措施,做到清洁生产。  相似文献   
9.
针对嵌入式系统软件的特点,就嵌入式软件静态测试需要解决的关键技术问题进行研究。提出嵌入式软件的代码整理、静态分析和代码bug检测的实现方法,并在基于ARM的嵌入式软件宿主环境测试平台ARM-TestV1.0上测试实现。测试结果表明,所提出的嵌入式软件静态测试方法行之有效。  相似文献   
10.
汪孙律  杨秋松  李明树 《电子学报》2000,48(12):2417-2424
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Constraint Based Symbolic Execution)优化框架.文件格式信息的缺失会影响符号执行的效率以及测试用例生成,该方法通过分析程序代码自动分析程序读取的格式文件数据块之间的依赖关系并建立相关约束,随后使用这些约束引导符号执行更关注于核心功能代码区域.在KLEE中实现了上述优化框架,并对Tcpdump、Readelf、Elfdump、File、Zlib等7个常用文件处理程序做了检测.和KLEE以及DASE相比,FFCBSE发现了13个之前未知的缺陷,在指令覆盖率和分支覆盖率有10%~225%不同程度的提升.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号