全文获取类型
收费全文 | 2383篇 |
免费 | 222篇 |
国内免费 | 91篇 |
出版年
2024年 | 9篇 |
2023年 | 49篇 |
2022年 | 27篇 |
2021年 | 58篇 |
2020年 | 47篇 |
2019年 | 22篇 |
2018年 | 17篇 |
2017年 | 23篇 |
2016年 | 26篇 |
2015年 | 60篇 |
2014年 | 111篇 |
2013年 | 111篇 |
2012年 | 144篇 |
2011年 | 134篇 |
2010年 | 131篇 |
2009年 | 110篇 |
2008年 | 209篇 |
2007年 | 134篇 |
2006年 | 111篇 |
2005年 | 155篇 |
2004年 | 128篇 |
2003年 | 141篇 |
2002年 | 129篇 |
2001年 | 279篇 |
2000年 | 73篇 |
1999年 | 50篇 |
1998年 | 33篇 |
1997年 | 42篇 |
1996年 | 36篇 |
1995年 | 27篇 |
1994年 | 30篇 |
1993年 | 13篇 |
1992年 | 15篇 |
1991年 | 3篇 |
1990年 | 5篇 |
1989年 | 3篇 |
1988年 | 1篇 |
排序方式: 共有2696条查询结果,搜索用时 78 毫秒
851.
时态逻辑形式化描述并发系统性质 总被引:1,自引:0,他引:1
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. 相似文献
852.
本文根据是否需要决策者的主观判断 ,将区间数据包络分析的求解方法分为主观方法和客观方法。基于一种能反映决策者满意度的区间数序关系 ,给出了求解方法。最后将这两种方法应用于基地伪装方案的选择问题。 相似文献
853.
战争工程:信息时代的战争方法学 总被引:7,自引:3,他引:4
胡晓峰 《军事运筹与系统工程》2004,18(2):3-7
战争工程是随着信息时代的进步而产生与发展起来的必然产物 ,反过来它将成为促进信息化战争和武器装备发展的新的动力。这种建立在系统理论基础之上 ,利用现代信息技术 ,以综合集成和战争模拟为主要方法和手段的战争工程思想 ,应该成为信息时代的战争方法学。本文给出了战争工程的定义 ,研究了战争工程产生的原因 ,描述了主要的特征和内容 ,并提出了需要注意的几个问题。 相似文献
854.
GABAA受体是中枢神经系统重要的抑制性神经递质GABA的受体,是配体门控的氯离子通道,它是由镶嵌于神经细胞双类脂原生质膜中的5个亚基(来自8个亚基族)组成的五边形异质性多肽类寡聚体,主要由GABA识别位点、BDZ识别位点和氯离子通道3部分组成。目前已知至少有4类药物的结合位点存在于该受体复合物上,包括镇静剂安定类、抑制剂巴比妥类、痉挛剂印防己毒素(picrotoxin)、神经活性甾体类,因此具有丰富的药理学内涵。 相似文献
855.
Link-16数据链及其有效干扰方法分析 总被引:2,自引:0,他引:2
本文对Link-16数据链路的功能、特点进行了介绍,对现有的干扰方式进行了分析.然后在此基础上对如何更加有效地干扰Link-16数据链路进行了深入的探讨。 相似文献
856.
857.
858.
自党中央提出建设学习型党组织后,各级都在大抓党员干部的学习。民兵预备役部队也不甘落后,学习氛围渐浓。但学习是有科学态度和科学方法的,缺乏科学的态度和方法,学习就可能事倍功半。近读《论语》,发现有很多治学之道,现择选几条,供大家在学习中参考借鉴。 相似文献
859.
邹南 《武警工程学院学报》2011,(1):22-25
武警法究竞是否独立的部门法,是由来已久且必须回答的重要命题。《中华人民共和国人民武装警察法》的颁布为武警法的独立性提供了实证。武警法与相关法律部门,如军事法、行政法、警察法有本质的区别。武警法是我国法律体系中具有独立地位的部门法。 相似文献
860.