全文获取类型
收费全文 | 288篇 |
免费 | 59篇 |
国内免费 | 40篇 |
专业分类
电工技术 | 1篇 |
综合类 | 27篇 |
化学工业 | 16篇 |
金属工艺 | 1篇 |
机械仪表 | 9篇 |
建筑科学 | 3篇 |
能源动力 | 1篇 |
轻工业 | 3篇 |
水利工程 | 1篇 |
石油天然气 | 5篇 |
无线电 | 36篇 |
一般工业技术 | 7篇 |
冶金工业 | 6篇 |
自动化技术 | 271篇 |
出版年
2023年 | 5篇 |
2022年 | 11篇 |
2021年 | 12篇 |
2020年 | 10篇 |
2019年 | 10篇 |
2018年 | 8篇 |
2017年 | 14篇 |
2016年 | 8篇 |
2015年 | 14篇 |
2014年 | 20篇 |
2013年 | 20篇 |
2012年 | 18篇 |
2011年 | 24篇 |
2010年 | 24篇 |
2009年 | 28篇 |
2008年 | 30篇 |
2007年 | 36篇 |
2006年 | 18篇 |
2005年 | 19篇 |
2004年 | 17篇 |
2003年 | 7篇 |
2002年 | 8篇 |
2001年 | 5篇 |
2000年 | 3篇 |
1998年 | 6篇 |
1997年 | 3篇 |
1996年 | 3篇 |
1995年 | 4篇 |
1992年 | 1篇 |
1991年 | 1篇 |
排序方式: 共有387条查询结果,搜索用时 15 毫秒
2.
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名锁的分析降低漏报和误报;最后,通过控制流分析来抽象访问事件之间的时序关系,并结合程序切片技术对访问事件的发生序关系进行判断,以此避免因忽略线程交互带来的误报。依据该方法,使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中,对JGF和IBM Contest基准测试套件中的raytracer和airline等程序进行数据竞争检测,并与目前已有的数据竞争检测算法和工具(HB算法和RVPredict)进行对比。实验结果表明,与HB算法和RVPredict工具相比,该方法检测到的数据竞争总数分别增加了81%和16%,数据竞争检测的准确率分别提升了约14%和19%,有效地避免了数据竞争检测中的漏报和误报现象。 相似文献
3.
热力膨胀阀是制冷系统的4个基本设备之一,可实现冷凝压力至蒸发压力的节流,控制流向蒸发器的制冷剂流量。由于该重要部件在保证压缩机回气拥有稳定的过热度的同时,还为蒸发器提供最佳的制冷剂,因此热力膨胀阀的体积虽小,但其运行状态却直接决定了整个系统的性能。 相似文献
4.
5.
6.
《应用化工》2015,(8):1421-1426
针对低渗透水驱波及效率低的问题,研究了具有扩大波及体积作用的油包水乳液的形成及对驱油效果的影响。乳化剂浓度、油水比以及岩心渗透率是影响水包油乳液向油包水乳液的转变的重要因素。在高浓度条件下(0.5%和0.3%),乳化剂TC-6和原油形成的分散体系以水包油乳液为主。随着浓度降低,水包油乳液转变为油包水乳液并伴随着分散体系粘度的升高。相同浓度条件下,油水比升高也会引起水包油乳液向油包水乳液的转变。质量浓度0.3%条件下,油水比6∶4时,分散体系以水包油为主;油水比7∶3时,水包油乳液转变为高粘度油包水乳液。乳化剂浓度,油水比渗透率低于50.1 m D时,水包油乳液不稳定,容易发生反相形成油包水乳液。低渗透岩心实验表明,具有扩大波及体积功能的乳化剂能够在水驱基础上提高采收率8.9%,明显高于超低界面张力表面活性剂体系提高采收率效果。同时,乳化剂分子量小、粘度低,本身不存在注入性的问题,因此对于低渗透油藏水驱后扩大波及体积、提高原油采收率具有重要意义。 相似文献
7.
我公司一线2 500t/d生产线于2006年11月23日投产,采用KC型控制流推动篦式冷却机,在窑系统产量正常时,篦冷机可以满足生产的需要。随着窑产量的逐步提高,篦冷机开始出现了一系列的问题。为此,2011年对篦冷机实施了技改。 相似文献
8.
为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。 相似文献
9.
针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图(NLCFG);然后通过基本路径法对控制流图(CFG)进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。 相似文献
10.
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。 相似文献