全文获取类型
收费全文 | 5912篇 |
免费 | 481篇 |
国内免费 | 249篇 |
学科分类
工业技术 | 6642篇 |
出版年
2024年 | 98篇 |
2023年 | 339篇 |
2022年 | 376篇 |
2021年 | 323篇 |
2020年 | 305篇 |
2019年 | 409篇 |
2018年 | 399篇 |
2017年 | 163篇 |
2016年 | 196篇 |
2015年 | 250篇 |
2014年 | 506篇 |
2013年 | 422篇 |
2012年 | 396篇 |
2011年 | 380篇 |
2010年 | 410篇 |
2009年 | 375篇 |
2008年 | 404篇 |
2007年 | 206篇 |
2006年 | 167篇 |
2005年 | 140篇 |
2004年 | 85篇 |
2003年 | 83篇 |
2002年 | 62篇 |
2001年 | 41篇 |
2000年 | 23篇 |
1999年 | 7篇 |
1998年 | 8篇 |
1997年 | 22篇 |
1996年 | 14篇 |
1995年 | 4篇 |
1994年 | 10篇 |
1993年 | 5篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1989年 | 3篇 |
1981年 | 1篇 |
排序方式: 共有6642条查询结果,搜索用时 859 毫秒
81.
82.
83.
Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明. 相似文献
84.
为解决结构相似度算法的图像质量评价缺陷,提出了一种基于变差函数全局纹理增强的结构相似度图像质量评价。该方法首先利用改进的对数变差函数模型提取原图像和失真图像在水平0°、垂直90°和对角45°、135°四个方向的纹理信息特征,然后分别求出对应的纹理增强图像,最后改进SSIM中的结构信息来确定纹理区域的明显失真,计算得到整幅图像的VSSIM值。目前大多数的全参考评价方法不能对数据库中的所有失真类型进行评价,只能对某一类固定的失真类型来评价。本方法对LIVE数据库中的五种失真类型都适用,仿真实验表明,该算法对五种不同失真类型的评价结果具有一定的合理性,并且与主观评价数据库较为一致,其性能也优于其他质量评价模型。 相似文献
85.
针对城市给水管线不同管段在灾后对于管网整体可靠度影响的差异性,为了能够较好地评价不同管段对管网系统连接可靠度的贡献,引入失效概率重要度和关键重要度,建立了基于历史经验方法的管网可靠度及管线失效概率重要度、关键重要度计算模型。实例计算结果表明,该模型计算的管网连接可靠度结果与其他文献方法的计算结果基本一致,验证了模型的合理性、有效性。进而应用该模型计算出各段管线的失效概率重要度、关键重要度,对管线防灾等级划分,给出了管网分割方法与管网震后恢复策略。研究结果为编制给水管网抗震防灾规划、震后管网恢复计划及制定出相应的抗灾应急措施提供依据。 相似文献
86.
87.
刘洋 《电子制作.电脑维护与应用》2015,(5)
在线考试系统可以实现教考分离和办公自动化。本文结合我校的在线考试系统,详细介绍了系统的设计及实现过程,具有一定的实际应用价值。 相似文献
88.
在化工行业中,自控仪表起着重要的作用,其安装调试质量直接决定着其后期运行情况。基于此,从实际出发,着重探讨自控仪表的安装调试技术要点,以期给自控仪表运行带来积极作用。 相似文献
89.
90.