全文获取类型
收费全文 | 204篇 |
免费 | 9篇 |
国内免费 | 34篇 |
专业分类
电工技术 | 1篇 |
综合类 | 12篇 |
化学工业 | 4篇 |
金属工艺 | 6篇 |
机械仪表 | 2篇 |
建筑科学 | 6篇 |
轻工业 | 3篇 |
石油天然气 | 3篇 |
无线电 | 17篇 |
一般工业技术 | 6篇 |
冶金工业 | 1篇 |
自动化技术 | 186篇 |
出版年
2024年 | 2篇 |
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 3篇 |
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 6篇 |
2014年 | 8篇 |
2013年 | 9篇 |
2012年 | 8篇 |
2011年 | 11篇 |
2010年 | 7篇 |
2009年 | 24篇 |
2008年 | 19篇 |
2007年 | 9篇 |
2006年 | 13篇 |
2005年 | 10篇 |
2004年 | 12篇 |
2003年 | 15篇 |
2002年 | 8篇 |
2001年 | 11篇 |
2000年 | 11篇 |
1999年 | 2篇 |
1997年 | 9篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1993年 | 3篇 |
1992年 | 2篇 |
1991年 | 5篇 |
1990年 | 2篇 |
1989年 | 17篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
排序方式: 共有247条查询结果,搜索用时 0 毫秒
11.
类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析. 相似文献
12.
13.
14.
15.
16.
量子可逆逻辑电路综合的快速算法研究 总被引:4,自引:0,他引:4
可逆逻辑有许多应用,尤其在量子计算领域,量子可逆逻辑电路是构建量子计算机的基本单元,量子可逆逻辑电路综合就是根据电路功能,以较小的量子代价自动构造量子可逆逻辑电路.文中结合可逆逻辑电路综合的多种算法,提出了一种新颖高效的算法,自动构造正极性Reed-Muller展开式(RM),在生成量子可逆逻辑电路的解空间树上,采用总体层次遍历,局部深度搜索,借鉴模板优化技术,构造限界函数快速剪去无解或非最优解的分枝,优先探测RM中的因子,以极高的效率生成最优电路.以国际公认的3变量可逆函数测试标准,该算法不仅能够生成全部最优电路,而且运行速度远远超过同类算法. 相似文献
17.
基于完备抽象解释的模型检验CTL公式研究 总被引:1,自引:0,他引:1
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的. 相似文献
18.
一种随机TBFL方法 总被引:2,自引:2,他引:0
许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。 相似文献
19.
20.