全文获取类型
收费全文 | 76815篇 |
免费 | 9207篇 |
国内免费 | 6516篇 |
专业分类
电工技术 | 6999篇 |
综合类 | 8631篇 |
化学工业 | 9251篇 |
金属工艺 | 5351篇 |
机械仪表 | 5989篇 |
建筑科学 | 5971篇 |
矿业工程 | 3644篇 |
能源动力 | 2034篇 |
轻工业 | 8832篇 |
水利工程 | 2479篇 |
石油天然气 | 2710篇 |
武器工业 | 1349篇 |
无线电 | 8039篇 |
一般工业技术 | 6085篇 |
冶金工业 | 3208篇 |
原子能技术 | 1200篇 |
自动化技术 | 10766篇 |
出版年
2024年 | 522篇 |
2023年 | 1381篇 |
2022年 | 3244篇 |
2021年 | 4259篇 |
2020年 | 2930篇 |
2019年 | 1897篇 |
2018年 | 2053篇 |
2017年 | 2508篇 |
2016年 | 2191篇 |
2015年 | 3541篇 |
2014年 | 4379篇 |
2013年 | 5143篇 |
2012年 | 6574篇 |
2011年 | 6727篇 |
2010年 | 6369篇 |
2009年 | 6021篇 |
2008年 | 6225篇 |
2007年 | 6083篇 |
2006年 | 5183篇 |
2005年 | 4141篇 |
2004年 | 2964篇 |
2003年 | 1974篇 |
2002年 | 1874篇 |
2001年 | 1675篇 |
2000年 | 1421篇 |
1999年 | 514篇 |
1998年 | 127篇 |
1997年 | 103篇 |
1996年 | 79篇 |
1995年 | 54篇 |
1994年 | 43篇 |
1993年 | 49篇 |
1992年 | 38篇 |
1991年 | 27篇 |
1990年 | 33篇 |
1989年 | 41篇 |
1988年 | 18篇 |
1987年 | 14篇 |
1986年 | 10篇 |
1985年 | 11篇 |
1984年 | 13篇 |
1983年 | 8篇 |
1982年 | 7篇 |
1981年 | 10篇 |
1980年 | 20篇 |
1979年 | 14篇 |
1959年 | 11篇 |
1951年 | 15篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
941.
模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则.并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。 相似文献
942.
943.
944.
945.
提出了一种基于小波域的彩色图像数字水印算法,先将图像从RGB色彩空间转化到YIQ色彩空间,在YIQ模型中取其亮度分量Y,依据块能量的大小选取合适的嵌入点,结合JND自适应地嵌入水印,然后再反变回RGB色彩空间。理论分析与仿真结果表明应用该算法实现的水印具有很好的不可见性和鲁棒性。 相似文献
946.
947.
高明 《电脑编程技巧与维护》2008,(15):51-53
面向服务架构下的企业信息集成的方式逐渐从传统的以应用服务器为中心的点对点交互模式,演变为基于企业服务总线(ESB)的总线式消息交换模式。本文首先提出了一个通用的企业服务总线的参考模型;论述了ESB的关键功能和特性;最后给出了借助Java反射机制和XStream设计并实现的一个基于Mule ESB的动态服务代理的关键实现。结果表明基于企业服务总线和动态服务代理的设计模式能够显著降低开发工作量,简化配置,同时提供良好的性能和可扩展性,可以有效地用于企业级的信息集成项目中。 相似文献
948.
随着信息技术的快速发展,压缩编码已成为多媒体存储和传输领域的研究热点。针对视频压缩的编码效率问题,ITU-T与ISO/IEC两大标准组织于2003年联手推出了H.264/AVC视频编码标准。为了能够在目标带宽上有效地传输视频,就必须合理地控制码流的波动强度,以使其尽可能地接近目标带宽。其中码率控制虽然不是标准中的一部分,但由于其一直在视频编码标准的发展过程中占有举足轻重的地位,为此,针对H.264/AVC编码的视频序列码率控制问题,在JVT-G012算法的基础上,提出了一种基于STGS图的自适应地选择基本单元大小的码率控制算法。该算法在编码时产生的码率波动总是与G012算法产生的最小码率波动相当。而且具有较小的运算复杂度,易于实时实现。 相似文献
949.
通过对网络流量的考察.提出使用自适应最小均方误差方法(LMS)对网络流量进行预测,以及如何针对网络流量特性对LMS预测效果进行优化的方法.并分别使用网络仿真实验和实际IP流量数据对LMS的预测效果进行实验研究。实验表明.使用LMS对网络流量进行预测是可行的。 相似文献
950.