全文获取类型
收费全文 | 51720篇 |
免费 | 6744篇 |
国内免费 | 4732篇 |
专业分类
电工技术 | 4951篇 |
综合类 | 5218篇 |
化学工业 | 6410篇 |
金属工艺 | 3449篇 |
机械仪表 | 3518篇 |
建筑科学 | 3635篇 |
矿业工程 | 1987篇 |
能源动力 | 1231篇 |
轻工业 | 6395篇 |
水利工程 | 1935篇 |
石油天然气 | 2119篇 |
武器工业 | 803篇 |
无线电 | 5706篇 |
一般工业技术 | 4258篇 |
冶金工业 | 2230篇 |
原子能技术 | 1260篇 |
自动化技术 | 8091篇 |
出版年
2024年 | 362篇 |
2023年 | 932篇 |
2022年 | 2125篇 |
2021年 | 2692篇 |
2020年 | 1976篇 |
2019年 | 1336篇 |
2018年 | 1417篇 |
2017年 | 1573篇 |
2016年 | 1452篇 |
2015年 | 2321篇 |
2014年 | 2902篇 |
2013年 | 3395篇 |
2012年 | 4248篇 |
2011年 | 4514篇 |
2010年 | 4420篇 |
2009年 | 4388篇 |
2008年 | 4340篇 |
2007年 | 4257篇 |
2006年 | 3611篇 |
2005年 | 2991篇 |
2004年 | 2162篇 |
2003年 | 1393篇 |
2002年 | 1306篇 |
2001年 | 1318篇 |
2000年 | 939篇 |
1999年 | 335篇 |
1998年 | 62篇 |
1997年 | 70篇 |
1996年 | 57篇 |
1995年 | 41篇 |
1994年 | 27篇 |
1993年 | 32篇 |
1992年 | 21篇 |
1991年 | 16篇 |
1990年 | 19篇 |
1989年 | 28篇 |
1988年 | 12篇 |
1987年 | 11篇 |
1986年 | 17篇 |
1985年 | 2篇 |
1984年 | 4篇 |
1983年 | 11篇 |
1982年 | 2篇 |
1981年 | 12篇 |
1980年 | 11篇 |
1979年 | 8篇 |
1965年 | 1篇 |
1964年 | 1篇 |
1959年 | 7篇 |
1951年 | 19篇 |
排序方式: 共有10000条查询结果,搜索用时 14 毫秒
951.
基于消点法的几何自动推理系统实现 总被引:5,自引:2,他引:3
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。 相似文献
952.
953.
基于Gabor 小波SDF 匹配滤波器的人脸识别 总被引:2,自引:0,他引:2
提出一种基于Gabor 小波特征的综合判别函数(SDF)匹配滤波器人脸识别方法.该方法选用具有代
表性的人脸训练库,在Gabor 特征空间上生成相应的SDF 匹配滤波器;每幅测试图像在这些非正交向量的投影可
以生成一组相关特征向量,用两个相关特征向量的距离来衡量不同人脸图像之间的相似度.Gabor 变换、SDF 匹配
滤波器和类别特征分析法的采用,使得该方法对光照变化、表情变化等因素具有良好的鲁棒性,并具有良好的推广
性.基于FERET 人脸测试库的对比实验结果验证了该方法的有效性. 相似文献
954.
开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法. 相似文献
955.
956.
957.
利用椭圆曲线离散对数问题(ECDLP),设计了一个无可信中心(SDC)的(t,n)门限秘密共享方案。系统的初始化、组成员的私钥、公钥的产生都不需要SDC的参与,利用各成员之间的秘密共享值,构造了秘密共享矩阵,结合Lagrange插值定理,实现了(t,n)门限秘密共享。分析表明,该方案具有较高的安全性和一定的实用价值。 相似文献
958.
集体差异性被认为是集成学习中的一个关键因素,在聚类集成的研究中,生成聚类集体的方法有许多种,但就专门致力于生成高差异性聚类集体的方法研究较少,基于此,本文提出生成高差异性聚类集体的方法CEAN和ICEAN,在算法中通过引入人工数据来增加聚类集体的差异性,用实验比较了CEAN和ICEAN与文献中出现的常用聚类集体生成方法,实验表明CEAN和ICEAN确实能增加生成集体的差异性,从而在相似平均集体成员准确度情况下使得聚类集成的效果更好. 相似文献
959.
罗渊 《自动化技术与应用》2008,27(5):16-20
提出特征结构配置和定量反馈理论相结合的鲁俸控制设计方法,并应用该方法对某型飞机横侧向进行控制律设计,然后通过μ分忻对控制律进行稳定性评估。仿真结果表明:该方法使某飞机不仅具有良好解耦效果和动态响应,而且具有较强的鲁棒性。 相似文献
960.
遗传算法是一种基于自然进化原理的全局搜索随机算法。遗传算法在选址问题、配送问题、调度问题、运输问题、布局问题方面意义重大。在建立物流配送路径优化问题数学模型的基础上,构造了求解该问题的遗传算法。该遗传算法采用常用的二进制编码,在个体选择上结合使用最优个体保留策略和轮盘赌法。最后以这种方法进行了实验计算,通过计算结果表明,用遗传算法进行物流配送路径优化,可以方便有效地求得问题的最优解或近似最优解。 相似文献