全文获取类型
收费全文 | 417篇 |
免费 | 28篇 |
国内免费 | 22篇 |
专业分类
电工技术 | 35篇 |
综合类 | 23篇 |
化学工业 | 46篇 |
金属工艺 | 58篇 |
机械仪表 | 25篇 |
建筑科学 | 48篇 |
矿业工程 | 7篇 |
能源动力 | 11篇 |
轻工业 | 19篇 |
水利工程 | 24篇 |
石油天然气 | 34篇 |
武器工业 | 2篇 |
无线电 | 63篇 |
一般工业技术 | 25篇 |
冶金工业 | 14篇 |
原子能技术 | 1篇 |
自动化技术 | 32篇 |
出版年
2024年 | 4篇 |
2023年 | 21篇 |
2022年 | 15篇 |
2021年 | 23篇 |
2020年 | 31篇 |
2019年 | 18篇 |
2018年 | 18篇 |
2017年 | 7篇 |
2016年 | 6篇 |
2015年 | 10篇 |
2014年 | 31篇 |
2013年 | 10篇 |
2012年 | 12篇 |
2011年 | 18篇 |
2010年 | 18篇 |
2009年 | 17篇 |
2008年 | 15篇 |
2007年 | 17篇 |
2006年 | 19篇 |
2005年 | 27篇 |
2004年 | 19篇 |
2003年 | 8篇 |
2002年 | 11篇 |
2001年 | 8篇 |
2000年 | 8篇 |
1999年 | 2篇 |
1998年 | 5篇 |
1997年 | 5篇 |
1996年 | 11篇 |
1995年 | 4篇 |
1994年 | 11篇 |
1993年 | 2篇 |
1992年 | 7篇 |
1991年 | 5篇 |
1990年 | 4篇 |
1989年 | 7篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1986年 | 2篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1975年 | 1篇 |
排序方式: 共有467条查询结果,搜索用时 0 毫秒
1.
一、前言当今世界已进入信息化时代,其标志正是计算机技术。计算机的应用已渗透到航天工业、国防、工业、交通、农业、财贸、商业以及国家机关的企业管理和人类日常生活的各个领域,成为工业发展水平的标志之一,是发展新技术、改造传统工业的强有力武器。计算机 相似文献
3.
4.
水电站二次设备安装工程在机电安装工程中占有重要地位,本文结合向家坝机电安装工程管理实践,介绍了质量管理组织体系建设、图纸审查、设备检验、安装调试、专业间技术协调、推行尾工项目列清单和抓好工程质量验收与评定等质量控制的经验做法。 相似文献
5.
数码相机定位是计算机图形学中的一个重要课题,在图像处理等方面有着广泛的应用,对数码相机进行合理建模分析,并利用双目视觉原理对图像进行标定,最后例证了此方法的有效性和精确性。 相似文献
6.
及时、准确、全面掌握洪涝灾害信息,是做好防汛工作的重要基础工作,是防汛抢险决策的重要依据,是进行科学灾情评估的前提。国家防办已于2011年正式印发《水旱灾害统计报表制度》,统计报表中洪涝灾害统计工作有着内容复杂、时间紧、任务重的特点。全面介绍了洪涝灾害统计报表内容,特别是结合安徽省省情、把握统计报表中的逻辑关系,为做好洪涝灾害统计工作提供保障。 相似文献
7.
8.
9.
在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶迭代运算和中间变量对于分析形式化验证的可用性至关重要.为了验证同步反应式模型,工程师很容易验证控制流模型(即安全状态机).现有工作表明,这类工作无法全面地验证安全关键系统的同步反应式模型,尤其是数据流模型,导致这些方法没有达到工业应用的要求,这成为对工业安全软件进行形式化验证的一个挑战.提出了一种自动化验证方法.该方法可以实现对安全状态机和数据流模型的集成进行验证.采用了一种基于程序综合的方法,其中,SCADE模型描述了功能需求、安全性质和环境输入,可以通过对Lustre模型的程序综合,采用基于SMT的模型检查器进行验证.该技术将程序合成作为一种通用原理来提高形式化验证的完整性.在轨道交通的工业级应用(近200万行Lustre代码)上评估了该方法.实验结果表明,该方法在大规模同步反应式模型长期存在的复杂验证问题上是有效的. 相似文献
10.