全文获取类型
收费全文 | 837篇 |
免费 | 203篇 |
国内免费 | 50篇 |
出版年
2024年 | 14篇 |
2023年 | 28篇 |
2022年 | 28篇 |
2021年 | 69篇 |
2020年 | 45篇 |
2019年 | 25篇 |
2018年 | 7篇 |
2017年 | 32篇 |
2016年 | 31篇 |
2015年 | 26篇 |
2014年 | 49篇 |
2013年 | 45篇 |
2012年 | 57篇 |
2011年 | 52篇 |
2010年 | 55篇 |
2009年 | 51篇 |
2008年 | 70篇 |
2007年 | 48篇 |
2006年 | 37篇 |
2005年 | 35篇 |
2004年 | 37篇 |
2003年 | 26篇 |
2002年 | 27篇 |
2001年 | 40篇 |
2000年 | 20篇 |
1999年 | 17篇 |
1998年 | 21篇 |
1997年 | 21篇 |
1996年 | 16篇 |
1995年 | 11篇 |
1994年 | 11篇 |
1993年 | 9篇 |
1992年 | 9篇 |
1991年 | 6篇 |
1990年 | 2篇 |
1989年 | 11篇 |
1988年 | 1篇 |
1987年 | 1篇 |
排序方式: 共有1090条查询结果,搜索用时 15 毫秒
351.
时态逻辑形式化描述并发系统性质 总被引:1,自引:0,他引:1
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. 相似文献
352.
基于ISP技术的某型防空导弹模拟检测系统研究 总被引:5,自引:1,他引:4
龚红兵 《军械工程学院学报》2004,16(6):37-39
给出了某型防空导弹模拟测试系统的总体设计方案和具体电路的实现技术。系统运用ISP技术实现了信号控制和逻辑控制,并重点阐述了导弹模拟信号的控制电路和串行数据的可靠接收及非有效数据剔除电路。 相似文献
353.
世界军事科研领域的科学家、战略思想家和未来学家们认为:“五种常常重叠的技术最有可能在今后15—20年使军队发生革命性的变化。这五种技术为:机器人技术、先进的动力与推进技术、微型化技术、移动和自适应数字网络、飞速发展的生物科学。”无人传感器系统就是20世纪90年代由美国等国家开始发展的融合了上述技术的新概念武器,它不但在基础理论、设计、制造与试验技术等方面是革命性创新,而且将对21世纪的战争模式带来革命性的影响。传感器是将各种非电量穴包括物理量、化学量、生物量雪按一定规律转换成便于处理和传输的另一种物理量穴一般… 相似文献
354.
热解吸是一种现代样品前处理技术,由于它能实现全部进样,极大地提高了分析的检测限,因此广泛应用于环境样品中低浓度挥发性有毒有害污染物的检测与分析.通过实验研究了热解吸一气相色谱法测定环境空气中的沙林,实验结果表明该方法线性关系良好,灵敏度高,最低检测量可达485pg,而且该方法采样方便,操作简单. 相似文献
355.
356.
滤器内防毒炭在长期存放和使用过程中,会吸湿空气中的水分逐渐陈化变质导致防毒性能下降。依据氢原子核对快中子具有特殊慢化作用原理,研究了对滤器中炭层湿度无损检测技术。 相似文献
357.
声表面波(SAW)传感器技术是检测毒剂的一种新方法,它具有体积小、灵敏度高、便于携带、易集成化等特点而受到人们的重视。自1979年Wohltjen和Dessy首次提出了将声表面波(SAW)技术用作气体传感器的论文后,各国的科研人员对以SAW技术检测毒剂进行了大量基础和应用方面的研究工作。 相似文献
358.
359.
360.