全文获取类型
收费全文 | 3525篇 |
免费 | 309篇 |
国内免费 | 158篇 |
专业分类
电工技术 | 328篇 |
综合类 | 233篇 |
化学工业 | 364篇 |
金属工艺 | 161篇 |
机械仪表 | 267篇 |
建筑科学 | 411篇 |
矿业工程 | 238篇 |
能源动力 | 77篇 |
轻工业 | 310篇 |
水利工程 | 131篇 |
石油天然气 | 196篇 |
武器工业 | 55篇 |
无线电 | 364篇 |
一般工业技术 | 247篇 |
冶金工业 | 112篇 |
原子能技术 | 33篇 |
自动化技术 | 465篇 |
出版年
2024年 | 47篇 |
2023年 | 162篇 |
2022年 | 192篇 |
2021年 | 189篇 |
2020年 | 179篇 |
2019年 | 193篇 |
2018年 | 181篇 |
2017年 | 74篇 |
2016年 | 91篇 |
2015年 | 140篇 |
2014年 | 276篇 |
2013年 | 221篇 |
2012年 | 260篇 |
2011年 | 256篇 |
2010年 | 218篇 |
2009年 | 217篇 |
2008年 | 209篇 |
2007年 | 165篇 |
2006年 | 129篇 |
2005年 | 104篇 |
2004年 | 113篇 |
2003年 | 74篇 |
2002年 | 66篇 |
2001年 | 53篇 |
2000年 | 31篇 |
1999年 | 24篇 |
1998年 | 15篇 |
1997年 | 11篇 |
1996年 | 24篇 |
1995年 | 12篇 |
1994年 | 12篇 |
1993年 | 7篇 |
1992年 | 8篇 |
1991年 | 4篇 |
1990年 | 10篇 |
1989年 | 6篇 |
1988年 | 4篇 |
1987年 | 3篇 |
1986年 | 4篇 |
1985年 | 1篇 |
1984年 | 5篇 |
1983年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有3992条查询结果,搜索用时 0 毫秒
81.
82.
关于正元素对称矩阵正定性的判别法 总被引:2,自引:0,他引:2
文[1]给出判别一般对称矩阵的正定性的“正对角线元严格占优判别法”,文[2]则导出了一个正元素对称矩阵正定性的简单判别法。这两种方法简单实用,但所要求的条件比较强,以至排除了许多对称正定矩阵。本文改进拓广了[1]和[2]所给出的判别方法,导出几个对称矩阵和正元素对称矩阵正定性的充分条件。 相似文献
83.
84.
85.
为了在并行程序的单次执行中找到更多的数据竞争,提出了用可行序关系替代传统的“happens before”序关系来动态地实现数据竞争预测的算法。该算法认为:从技术上讲,如果在观测到的执行轨迹中,两个临界区之间没有可行序的关系,那么这两个临界区的顺序可以被颠倒以构造出其他的执行轨迹;通过判断可行序关系来分析这些构造出来的执行轨迹,就可以找到单次执行中未暴露出来的可能的数据竞争;所有构造出来的执行轨迹中的数据竞争,可以在O(an)的时间内全部检测出来,其中n为程序中所有访存操作的个数,a为每个共享地址上的最大锁集合数。在Java Grande测试程序集上的实验结果说明,上述算法可以找到其他动态检测数据竞争的方法找不到的数据竞争,而且算法时间也完全符合理论上的O(an)时间复杂度。 相似文献
86.
87.
随着决策系统的不断扩大以及复杂化,评价指标以实数值描述稍显欠妥。研究属性权重为实数值、区间数信息下的多属性群决策问题,建立集结区间数信息的非线性规划模型,采用模拟植物生长算法集结各方案中多位专家给出的区间数偏好,并利用得到的偏好区间数构成群决策偏好矩阵。结合已知权重,引入投影理论得到各方案的综合评价值,从而选出最优决策方案。算例结果表明,模拟植物生长算法不仅计算简便、灵活,并且尊重每个专家的意见,较好地保留了信息的完整性,显示出人工智能算法在信息集结方面的有效性。 相似文献
88.
一般逻辑程序是知识表示的重要工具,也是非单调推理研完的领域之一。一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模型论语义的证明过程,并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较,最后给出了此问题进一步的一些研究方向。 相似文献
89.
90.